1: \documentclass{amsart}
2: \usepackage{amssymb}
3: \usepackage{amscd}
4: \def\labelenumi{(\theenumi)}
5: \def\theenumi{\roman{enumi}}
6: \newtheorem{Theorem}{Theorem}[section]
7: \newtheorem{Lemma}[Theorem]{Lemma}
8: \newtheorem{Corollary}[Theorem]{Corollary}
9: \newtheorem{Proposition}[Theorem]{Proposition}
10: %
11: \theoremstyle{definition}
12: \newtheorem{Definition}[Theorem]{Definition}
13: \newtheorem{Example}[Theorem]{Example}
14: %
15: \theoremstyle{remark}
16: \newtheorem{Remark}{Remark}
17: \renewcommand{\theRemark}{}
18: %
19: %
20: \font\sy=cmsy10
21: \font\fm=eufm10
22: \font\xm=msam10
23: \font\ym=msbm10
24: %
25: \newcommand{\trace}{\hbox{\rm tr}}
26: \newcommand{\Aut}{\hbox{\rm Aut}}
27: \newcommand{\End}{\hbox{\rm End}}
28: \newcommand{\Hom}{\hbox{\rm Hom}}
29: \newcommand{\Spec}{\hbox{\rm Spec}}
30: \newcommand{\bA}{\text{\ym A}}
31: \newcommand{\bB}{\text{\ym B}}
32: %%%%%%%%%%%%%%%%%%%%%%
33: % Curly Font %
34: %%%%%%%%%%%%%%%%%%%%%%
35: \newcommand{\cA}{{\hbox{\sy A}}}
36: \newcommand{\cB}{{\hbox{\sy B}}}
37: \newcommand{\cC}{{\hbox{\sy C}}}
38: \newcommand{\cD}{{\hbox{\sy D}}}
39: \newcommand{\cE}{{\hbox{\sy E}}}
40: \newcommand{\cF}{{\hbox{\sy F}}}
41: \newcommand{\cG}{{\hbox{\sy G}}}
42: \newcommand{\cH}{{\hbox{\sy H}}}
43: \newcommand{\cI}{{\hbox{\sy I}}}
44: \newcommand{\cJ}{{\hbox{\sy J}}}
45: \newcommand{\cK}{{\hbox{\sy K}}}
46: \newcommand{\cL}{{\hbox{\sy L}}}
47: \newcommand{\cM}{{\hbox{\sy M}}}
48: \newcommand{\cN}{{\hbox{\sy N}}}
49: \newcommand{\cO}{{\hbox{\sy O}}}
50: \newcommand{\cP}{{\hbox{\sy P}}}
51: \newcommand{\cQ}{{\hbox{\sy Q}}}
52: \newcommand{\cR}{{\hbox{\sy R}}}
53: \newcommand{\cS}{{\hbox{\sy S}}}
54: \newcommand{\cT}{{\hbox{\sy T}}}
55: \newcommand{\cU}{{\hbox{\sy U}}}
56: \newcommand{\cV}{{\hbox{\sy V}}}
57: \newcommand{\cW}{{\hbox{\sy W}}}
58: \newcommand{\cX}{{\hbox{\sy X}}}
59: \newcommand{\cY}{{\hbox{\sy Y}}}
60: \newcommand{\cZ}{{\hbox{\sy Z}}}
61: %
62: %
63: %
64:
65: %%%%%%%%%%%%%%%%%%%%%%
66: % Greek Font %
67: %%%%%%%%%%%%%%%%%%%%%%
68: \renewcommand{\a}{\alpha}
69: \renewcommand{\b}{\beta}
70: \renewcommand{\c}{\chi}
71: \renewcommand{\d}{\delta}
72: \newcommand{\D}{\Delta}
73: \newcommand{\e}{\epsilon}
74: \newcommand{\f}{\phi}
75: \newcommand{\F}{\Phi}
76: \newcommand{\g}{\gamma}
77: \newcommand{\G}{\Gamma}
78: \newcommand{\h}{\theta}
79: \renewcommand{\H}{\Theta}
80: \renewcommand{\i}{\iota}
81: \renewcommand{\j}{\psi}
82: \newcommand{\J}{\Psi}
83: \renewcommand{\k}{\kappa}
84: \renewcommand{\l}{\lambda}
85: \renewcommand{\L}{\Lambda}
86: \newcommand{\m}{\mu}
87: \newcommand{\n}{\nu}
88: \renewcommand{\o}{\omega}
89: \renewcommand{\O}{\Omega}
90: \newcommand{\p}{\pi}
91: \renewcommand{\r}{\rho}
92: \newcommand{\s}{\sigma}
93: \renewcommand{\t}{\tau}
94: \renewcommand{\v}{\varphi}
95: \newcommand{\x}{\xi}
96: \newcommand{\X}{\Xi}
97: \newcommand{\y}{\eta}
98: \newcommand{\z}{\zeta}
99: %
100: %
101: %
102: %
103: %
104: %%%%%%%%%%%%%%%%%%%%%%%%
105: % Math BoldFace %
106: %%%%%%%%%%%%%%%%%%%%%%%%
107: \newcommand{\C}{{\text{\ym C}}}
108: \newcommand{\K}{{\text{\ym K}}}
109: \newcommand{\N}{\text{\ym N}}
110: %\newcommand{\P}{\text{\ym P}}
111: \newcommand{\Q}{\text{\ym Q}}
112: \newcommand{\R}{\text{\ym R}}
113: \newcommand{\T}{{\text{\ym T}}}
114: \newcommand{\Z}{\text{\ym Z}}
115: %
116: %
117: %
118: %
119: %
120:
121: \title[Tannaka Duals]
122: {Tannaka Duals in Semisimple Tensor Categories}
123: \author[Yamagami Shigeru]{Shigeru Yamagami}
124: \newcommand{\field}{\C}
125: %\includeonly{pptc2}
126: \keywords{Tannaka dual, tensor category, imprimitivity bimodule, orbifold}
127: \subjclass{18D10, 46L37}
128:
129: \begin{document}
130: \maketitle
131: \begin{center}
132: Department of Mathematical Sciences\\
133: Ibaraki University\\
134: Mito, 310-8512, JAPAN\\
135: %e-mail: yamagami@mito.ipc.ibaraki.ac.jp
136: http://suuri.sci.ibaraki.ac.jp/\~{}yamagami/
137: \end{center}
138:
139:
140: \begin{abstract}
141: Tannaka duals of Hopf algebras inside semisimple tensor categories are
142: used to construct orbifold tensor categories,
143: which are shown to include the Tannaka dual
144: of the dual Hopf algebras.
145: The second orbifolds are then canonically isomorphic to the initial tensor
146: categories.
147: \end{abstract}
148:
149: %\baselineskip=18pt
150:
151: \bigskip
152: \noindent{\bf Introduction}
153:
154: The importance of recent studies of Hopf algebras is based on its use
155: as quantum symmetry, which appears more or less in connection with
156: tensor categories.
157: In this respect, finite group symmetry in tensor category is particularly
158: interesting and provides the right place to
159: take out quotients, known as the orbifold construction.
160:
161: When the relevant group is abelian, the dual group appears inside
162: the orbifold tensor category in a simple way
163: and we can apply the orbifold construction
164: again to obtain the second orbifold tensor category, which turns out to
165: recover the initial tensor category, a duality for orbifolds, in \cite{GSTC}.
166:
167: In this paper, we shall extend this kind of duality to the symmetry
168: governed by Hopf algebras.
169:
170: Given a finite-dimensional semisimple Hopf algebra $A$ with its
171: Tannaka dual $\cA$ realized inside a semisimple tensor category $\cT$,
172: we introduce the notion of $\cA$-$\cA$ modules in $\cT$,
173: which is formulated in terms of the existence of trivializing
174: isomorphisms. In the group (algebra) case, this reflects the absorbing
175: property of regular representations.
176:
177: The totality of our $\cA$-$\cA$
178: modules then turns out to constitute a tensor category $\cT\rtimes \cA$
179: with the unit object given by an analogue of
180: the regular representation of $A$.
181: The notation indicates the fact that it is a categorical analogue of
182: crossed products in operator algebras.
183: By the well-known crossed products vs.~fixed point algebras reciprocity,
184: we may interpret $\cT\rtimes \cA$ as presenting the orbifold of $\cT$
185: by the dual Hopf algebra $A^*$.
186:
187: The orbifold tensor category $\cT\rtimes \cA$ in turn admits
188: a canonical realization of the Tannaka dual $\cB$ of the dual
189: Hopf algebra $A^*$,
190: which allows us to take the second orbifold
191: $(\cT\rtimes \cA)\rtimes \cB$ and one of our main results shows the duality
192: $(\cT\rtimes \cA)\rtimes \cB \cong \cT$.
193:
194: In our previous paper \cite{GSTC},
195: we proved this for finite abelian groups
196: by counting the number of simple objects
197: in the second dual $(\cT\rtimes \cA)\rtimes \cB$.
198: Here we shall give a more conceptual proof of duality.
199: The idea has long been known in harmonic analysis of induced representations
200: as imprimitivity bimodules (\cite{F}, \cite{R}).
201:
202: By forgetting the bimodule action of $\cA$ on the unit object to one-sided
203: (say, right) $\cA$-action, we can make it into a right $\cB$-module $M$ with
204: the property of imprimitivity,
205: $M\otimes_\cB M^* \cong I$ and
206: ${}_\cB M^*\otimes M_\cB \cong {}_\cB I_\cB$.
207:
208: If we put $M$ into an off-diagonal corner of a suitable bicategory so that
209: it connects $\cT$ and $(\cT\rtimes \cA)\rtimes \cB$, then the duality
210: is obtained quite easily, though it still contains rich information on
211: orbifold constructions.
212:
213: We remark here that another interesting categorical formulation of
214: imprimitivity bimodules is worked out by D.~Tambara \cite{Tam}, where
215: a different notion of categorical module is used to get
216: an imprimitivity bimodule which relates $\cA$ and $\cB$.
217:
218: For future applications, we also investigate how the rigidity is
219: inherited under the process of taking orbifolds:
220: if the original tensor category $\cT$ is
221: rigid and semisimple, then so is for the orbifold tensor category
222: $\cT\rtimes \cA$.
223:
224: \bigskip
225: {\it Basic Assumptions}
226:
227: We shall work with the complex number field $\C$ as a ground field,
228: though any algebraically closed field of characteristic zero can be used
229: equally well.
230:
231: By a tensor category, we shall mean a linear category
232: with a compatible monoidal structure, which is assumed to be strict
233: without losing generality by the coherence theorem.
234:
235: A tensor category is said to be semisimple if $\End(X) = \Hom(X,X)$
236: is a finite-dimensional semisimple algebra for any object $X$,
237: which is assumed to be closed under taking subobjects and direct sums:
238: To an idempotent $e$ of $\End(X)$,
239: an object $eX$ (the associated subobject)
240: is assigned so that $\Hom(eX,fY) = f\Hom(X,Y)e$ and
241: a finite family $\{ X_j\}_{1 \leq i \leq m}$ of objects gives rise to
242: an object $X_1 \oplus \dots \oplus X_m$ so that
243: \[
244: \Hom(X_1 \oplus \dots \oplus X_m, Y_1 \oplus \dots \oplus Y_n)
245: = \bigoplus_{i,j} \Hom(X_i,Y_j).
246: \]
247:
248: The unit object $I$ in a semisimple tensor category is assumed to be simple,
249: i.e., $\End(I) = \C 1_I$, without further qualifications.
250:
251: \bigskip
252: \input hstc1.tex
253: \input hstc2.tex
254: \input hstc3.tex
255: \input hstc4.tex
256: \input hstc5.tex
257: \input hstc6.tex
258: \input hstc7.tex
259: \input hstcref.tex
260: \end{document}
261: