\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{dual gebra}

\hypertarget{dual_gebras}{}\section*{{Dual gebras}}\label{dual_gebras}

\noindent\hyperlink{what_is_this_entry_about}{What is this entry about}\dotfill \pageref*{what_is_this_entry_about} \linebreak
\noindent\hyperlink{algebraic_dual}{Algebraic dual}\dotfill \pageref*{algebraic_dual} \linebreak
\noindent\hyperlink{finite_dual}{Finite dual}\dotfill \pageref*{finite_dual} \linebreak
\noindent\hyperlink{actions_on_duals}{Actions on duals}\dotfill \pageref*{actions_on_duals} \linebreak
\noindent\hyperlink{paired_bialgebras}{Paired bialgebras}\dotfill \pageref*{paired_bialgebras} \linebreak
\noindent\hyperlink{literature}{Literature}\dotfill \pageref*{literature} \linebreak


\hypertarget{what_is_this_entry_about}{}\subsection*{{What is this entry about}}\label{what_is_this_entry_about}

Following Serre, [[gebra]] is a common term for [[associative algebra]]s and coassociative [[coalgebra]]s (also called cogebras), and sometimes more involved variants and combinations, like [[bialgebra]]s (also, more properly, called bigebras) and (co)rings.

When working over a field, finite dimensional algebras are duals to finite dimensional cogebras. When the dimension is infinite, even for algebraic duals, the situation is more complicated. This entry should eventually sort out these issues (for now only the simplest cases are discussed).

\hypertarget{algebraic_dual}{}\subsection*{{Algebraic dual}}\label{algebraic_dual}

For a commutative ring $k$, a coassociative $k$-coalgebra $(C,\Delta)$ and an associative $k$-algebra $(A,m)$ the $k$-module $Hom_k(C,A)$ is equipped with an associative \textbf{convolution product} $\star$ given by $(f\star g)(c) = m(f\otimes g)(\Delta(c))$. In particular, for $k$ a field, the algebraic dual $C^*:= Hom_k(C,k)$ of a $k$-coalgebra $C$ is an associative algebra, called its \textbf{dual coalgebra} whose product is also often referred to as convolution. Correspondence $C\mapsto C^*$ extends to a contravariant functor $Cog_k\to Alg_k$, where for $f:C\to D$, $f^*:D^*\to C^*$ is simply the transpose, hence $f^*(d^*)(c) = d^*(f(c))$.

Now for a $k$-algebra $(A,m)$, its algebraic dual $A^*$ is \emph{not} necessarily a coalgebra; namely the natural candidate for the comultiplication $\Delta$ is the transpose operator $m^*: A^*\to (A\otimes A)^*$ of the multiplication $m: A\otimes A\to A$. There is a canonical injection $A^*\otimes A^*\to (A\otimes A)^*$; over a field $k$ it is an isomorphism (hence taken as an identification) iff $A$ is finite dimensional over $k$. In topological cases (e.g., if $A$ is filtered with filtered pieces finite-dimensional), one can replace the tensor product with some completed tensor product $\hat\otimes$ and define a topological comultiplication $m^*:A^*\to A^*\hat\otimes A^*$. In algebraic situation, one usually employs so called finite dual which is the maximal subspace $A^\circ$ for which $m^*$ factors through $A^\circ\otimes A^\circ$.

\hypertarget{finite_dual}{}\subsection*{{Finite dual}}\label{finite_dual}

If $k$ is a field, the finite dual functor $()^\circ:Alg_k\to Cog_k$ is the [[left adjoint functor]] to the algebraic dual as a functor $()^*:Cog_k\to Alg_k$. $A^\circ\subset A^*=Hom_k(A,k)$ as a vector spaces (actually as functors $Alg_k\to Vec_k$, $()^\circ$ is a [[subfunctor]] of $()^*:Alg_k\to Vec_k$). For a concrete construction below, the statement of adjointness is Theorem 1.5.22 in Dascalescu et al.

We say that a subspace $W$ of a vector space $V$ is of finite codimension if $V/W$ is of finite dimension. As a vector subspace of $A^*$,

\begin{displaymath}
A^\circ = \{ f\in A^* \, | \, Ker(f)\, \text{contains an ideal of finite codimension in}\, A\}
\end{displaymath}
There are several other characterizations of the finite dual. Alternative terminologies are restricted dual and Hopf dual.

\hypertarget{actions_on_duals}{}\subsection*{{Actions on duals}}\label{actions_on_duals}

We define here left actions  (or in \LaTeX\xspace  $\rightharpoonup$),  (LaTeX $\rightharpoondown$) and right actions  (LaTeX $\leftharpoondown$),  (LaTeX $\leftharpoonup$).

(Montgomery 1.6.5) If $C$ is a coalgebra, and $C^*$ the dual algebra, then $C^*$ acts from the left on $C$ by the transpose to the left multiplication

\begin{displaymath}
\langle g, c &#8636; f\rangle = \langle f g, c\rangle
\end{displaymath}
or equivalently by the formula

\begin{displaymath}
f &#8636; c \coloneqq \langle f, c_{(1)}\rangle c_{(2)},
\end{displaymath}
where the [[Sweedler notation]] has been used.

Similarly for the right-hand action:

\begin{displaymath}
f &#8640; c \coloneqq \langle f, c_{(2)}\rangle c_{(1)},
\end{displaymath}
or

\begin{displaymath}
\langle g, f &#8640; c\rangle = \langle f, c_{(2)}\rangle
\langle g, c_{(1)}\rangle = \langle g f, c\rangle
\end{displaymath}
According to the suggestion of Nichols, one reads $f$$c$ as ``$f$ hits $c$'' and $f$$c$ as ``$f$ is hit by $c$''.

Similarly (cf. Montgomery 1.6.6), if $A$ is an algebra and $A^*$ its algebraic dual, one also defines harpoon actions as transposes to left and right multiplications, for example for right multiplication

\begin{displaymath}
\langle h &#8636; f, k\rangle = \langle f, k h\rangle.
\end{displaymath}
Now, if $f\in A^\circ$ is in finite dual, then $\Delta(f)$ makes sense, hence, in Sweedler notation, $h$$f=\langle f_{(2)}, h\rangle f_{(1)}$.

We also define here left and right coadjoint actions and coactions, cf. Majid.

One should also treat rationality: a module is rational if it corresponds to a comodule of the finite dual coalgebra.

\hypertarget{paired_bialgebras}{}\subsection*{{Paired bialgebras}}\label{paired_bialgebras}

For [[bigebra]]s (and [[Hopf algebra]]s n particular) one may consider the duality pairings which are compatible with their structure.

Two $k$-bigebras $B$ and $H$ are \textbf{paired} if there is a bilinear map $\langle,\rangle: B\otimes H\to k$ such that for all $a,b\in B$ and $h,g\in H$ the equations

\begin{displaymath}
\langle a b, h\rangle = \langle a\otimes b,\Delta h\rangle,
\,\,\,\,\,\,\,\,\,\,\langle 1_B,h\rangle = \epsilon(h),
\end{displaymath}
\begin{displaymath}
\langle \Delta a, h\otimes g\rangle = \langle a, h g\rangle,
\,\,\,\,\,\,\,\,\,\,\epsilon(a) = \langle a, 1_H\rangle
\end{displaymath}
They are a \textbf{strictly dual pair of bigebras} if the pairing is in also nondegenerate. If $B$ and $H$ are paired then one can quotient out [[biideal]]s $J_B\subset B$, $J_H\subset H$ of all those elements in each of them which pair as zero with all elements in the other bigebra; the quotients $B'$ and $H'$ will then be strictly paired bigebras.

\hypertarget{literature}{}\subsection*{{Literature}}\label{literature}

Related $n$Lab entries: [[dual]], [[Heisenberg double]], [[gebra]]

Quite detailed treatment of duality of gebras is in

\begin{itemize}%
\item Sorin Dsclescu, Constantin Nstsescu, Serban Raianu, \emph{Hopf algebras: an introduction}, Marcel \& Dekker 2000

\end{itemize}
Other sources are

\begin{itemize}%
\item Susan Montgomery, \emph{Hopf algebras and their actions on rings}, AMS 1994, 240 pp.
\item Shahn Majid, \emph{Foundations of quantum group theory}, Cambridge Univ. Press
\item Eiichi Abe, \emph{Hopf algebras}, Cambridge Tracts in Mathematics 74, 1977

\end{itemize}
and for gebras with involution

\begin{itemize}%
\item A. van Daele, \emph{Dual pairs of Hopf $\ast$-algebras}, Bull. London Math. Soc. (1993) 25 (3): 209-230 \href{http://dx.doi.org/10.1112/blms/25.3.209}{doi}

\end{itemize}
Hit-actions are recently studied in

\begin{itemize}%
\item M. Cohen, S. Westreich, \emph{Hit-actions and commutators for Hopf algebras}, Bull. Math. Soc. Sci. Math. Roumanie \textbf{56}(104) No. 3, 2013, 299--313 \href{http://ssmr.ro/bulletin/pdf/56-3/articol_4.pdf}{pdf}

\end{itemize}
[[Cartier duality]] and related earlier issues on [[linearly compact topological spaces]] due Dieudonn\'e{} are in the first chapter of

\begin{itemize}%
\item [[Jean Dieudonné]], \emph{Introduction to the theory of formal groups}, Marcel Dekker, New York 1973.

\end{itemize}
Some newer applications are in

\begin{itemize}%
\item Lowell Abrams, Charles Weibel, \emph{Cotensor products of modules}, \href{http://arxiv.org/abs/math/9912211}{math.RA/9912211}

\end{itemize}
Duality of dg-algebras vs. dg-coalgebras is studied recently in great detail in

\begin{itemize}%
\item Matthieu Anel, [[André Joyal]], \emph{Sweedler Theory for (co)algebras and the bar-cobar constructions}, 260 pp. \href{http://arxiv.org/abs/1309.6952}{arxiv/1309.6952}; cf. also Boston 2012 \href{http://thales.math.uqam.ca/~anelm/mat/doc/boston.pdf}{slides}

\end{itemize}
Some special cases of finite duals are treated in

\begin{itemize}%
\item Stephen Donkin, \emph{On the Hopf algebra dual of an enveloping algebra}, Math. Proc. Camb. Phil. Soc. (1982), 91, 215-224, \href{http://dx.doi.org/10.1017/S0305004100059260}{doi}
\item Jahn Astrid, \emph{The finite dual of crossed products}, thesis, \href{http://theses.gla.ac.uk/6158/1/2015jahnphd.pdf}{pdf}
\item MathOverflow: \href{http://mathoverflow.net/questions/31237/hopf-algebra-duality-and-algebraic-groups}{Hopf algebra duality and algebraic groups}

\end{itemize}
[[!redirects dual gebras]] [[!redirects Hopf pairing]] [[!redirects dual bialgebra]] [[!redirects dual Hopf algebra]] [[!redirects finite dual]] [[!redirects restricted dual]] [[!redirects Hopf dual]]



\end{document}