1: \documentclass[11pt]{pjm}
2:
3: % Remove any % below to load the required
4: %packages
5:
6: \usepackage{epsfig}
7:
8: %\usepackage{graphics}
9: % etc
10:
11: % Put your favorite macros here. We cannot
12: %guess what your macros are
13: % -they all need to be included here!
14:
15: \title[Product-to-sum formula]{A
16: product-to-sum formula for the quantum group of $SL(2,{\mathbb C})$}
17:
18: %For each author, make a block with the
19: %following four macros:
20:
21: \author{R{\u{a}}zvan Gelca}
22: \address{Department of Mathematics and Statistics,
23: Texas Tech University, Lubbock, TX 79409 and Institute of Mathematics
24: of the Romanian Academy, Bucharest, Romania}
25: \email{rgelca@math.ttu.edu}
26: %\urladdr{http://www.math.ttu.edu/~rgelca}
27:
28: %Use \thanks statements for
29: %acknowedgements of grants and
30: %support. They will appear below all the
31: %authors' addresses, so be
32: %specific about which author is thanking
33: %whom:
34:
35: %\thanks{}
36:
37: % Use the standard latex environments for
38: %theorems, etc. Here is one
39: % possible method of declaring them: It
40: %numbers all results by the
41: % section, and uses a common numbering
42: %system for the different
43: % environmentts.
44:
45: \newtheorem{thm}{Theorem}[section]
46: \newtheorem{prop}[thm]{Proposition}
47: \newtheorem{lem}[thm]{Lemma}
48: \newtheorem{cor}[thm]{Corollary}
49:
50: \theoremstyle{definition}
51:
52: \newtheorem{defn}[thm]{Definition}
53: \newtheorem{notation}[thm]{Notation}
54: \newtheorem{example}[thm]{Example}
55: \newtheorem{conj}[thm]{Conjecture}
56: \newtheorem{prob}[thm]{Problem}
57:
58: \theoremstyle{remark}
59:
60: \newtheorem{rem}[thm]{remark}
61:
62:
63: %\date{Received date / Revised version date}
64: % The correct dates will be entered by the
65: %editor
66:
67: \begin{document}
68:
69: \begin{abstract}
70:
71: This paper exhibits a product-to-sum formula for the observables of a
72: certain quantization
73: of the moduli space of flat $SU(2)$-connections on the torus.
74: This quantization was defined using the topological quantum field theory
75: that was developed by Reshetikhin and Turaev from
76: the quantum group of $SL(2,{\mathbb C})$
77: at roots of unity. As a corollary it is shown that the
78: algebra of quantum observables is a subalgebra of the noncommutative
79: torus with rational rotation angle.
80: The proof uses topological quantum field theory with
81: corners, and is based on the description of the matrices of the observables
82: in a canonical basis of the Hilbert space of the quantization.
83:
84: \end{abstract}
85:
86: \maketitle
87:
88: \section{Introduction}\label{intro}
89:
90: In this paper we prove a product-to-sum formula that holds for the
91: quantization of the moduli space of flat $SU(2)$-connections on the torus.
92: A quantization of this moduli space was given by Witten in \cite{Wi}
93: in conjunction with the Jones polynomial, using a path integral
94: on the space of connections. Witten's
95: path integrals were put into rigorous framework
96: by Reshetikhin and Turaev in \cite{RT} using
97: quantum groups. This paper is based on their construction.
98:
99: The algebra of observables is densely generated by the functions
100: of the form $\cos 2\pi (px+qy)$, $p,q$ integers.
101: The quantization of such a function
102: consists of the coloring of the curve of slope $p'/q'$ on the torus
103: by the virtual representation $V^{n+1}-V^{n-1}$, where
104: $n$ is the greatest common divisor of $p$ and $q$, $p'=p/n$, $q'=q/n$,
105: and we denote by $V^{k}$ the $k$-dimensional irreducible
106: representation of the quantum group of $SL(2,{\mathbb C})$.
107: In the work Reshetikhin and Turaev $V^k$ is only defined for
108: $k=1,2,\ldots , r-1$, but we will see below how this definition
109: is extended to all integers. Let us denote by $C(p,q)$ the
110: operator that is associated by the quantization to
111: $\cos 2\pi (px+qy)$.
112:
113:
114: A product-to-sum formula for the version of these operators defined
115: using the Kauffman bracket was discovered in \cite{FG} and that is what
116: inspired the following result.
117:
118: \begin{thm}\label{mainresult}
119: In any level $r$ and for any integers $m,n,p,q$ the following
120: product-to-sum formula holds
121: \begin{eqnarray*}
122: C(m,n)*C(p,q)=t^{|^{mn}_{pq}|}C(m+p,n+q)+t^{-|^{mn}_{pq}|}C(m-p,n-q).
123: \end{eqnarray*}
124: \end{thm}
125:
126: So we see that the quantization of the algebra of
127: the observables on the moduli space of flat $SU(2)$-connections on
128: the torus is isomorphic to a subalgebra of the noncommutative torus
129: defined by Rieffel \cite{rieffel}.
130: To be more rigorous, the above product-to-sum formula
131: induces a $*$-product on the algebra of functions on the character
132: variety on the torus. This $*$-algebra is a subalgebra
133: of the noncommutative torus.
134:
135: The noncommutative torus is
136: a $C^*$-algebra generated by $U$, $V$, $U^{-1}$, $V^{-1}$ where $U$
137: and $V$ are two unitary operators satisfying the exponential form
138: of the Heisenberg noncommutation relations $UV=t^2VU$.
139: The inclusion is given by
140: \begin{eqnarray*}
141: C(p,q)\rightarrow t^{-pq}(U^pV^q+U^{-p}V^{-q}).
142: \end{eqnarray*}
143: The elements $\frac{1}{2}t^{-pq}(U^pV^q+U^{-p}V^{-q})$ are
144: the noncommutative cosines, so Theorem \ref{mainresult} is
145: nothing but the product-to-sum formula for noncommutative cosines.
146: Of course, $t$ root of unity is the situation
147: Rieffel did not consider, for here the rotation angle
148: in the definition of the noncommutative torus is rational.
149:
150: What we consider to be a nice feature of this paper is that the proof
151: of this result about the quantization of moduli spaces
152: uses topological cut-and-paste techniques.
153:
154: \section{The background of the problem}\label{background}
155:
156: Let us briefly discuss the case of the torus and then state the main result.
157: The moduli space of flat $SU(2)$-connections on the torus is
158: the ``pillow case'', the quotient of the complex plane by the lattice
159: ${\mathbb Z}[i]$ and by the symmetry with respect to the origin.
160: This space is the same as the character variety of $SU(2)$-representations
161: of the fundamental group of the torus.
162:
163: The algebra of observables, i.e. the algebra of functions on this
164: space, is generated for example
165: by the functions $\sin 2\pi n(px+qy)/\sin 2\pi (px+qy)$, where $n,p,q$ are
166: integer numbers with $n\geq 0$ and $p,q$ coprime.
167: A function of this form has a geometric interpretation, namely it associates
168: to a conjugacy class of flat connections
169: the trace of the holonomy of the connection along the curve of
170: slope $p/q$, where the trace is computed in the $n$-dimensional irreducible
171: representation of $SU(2)$.
172: Witten defined the path integral
173: only for functions of this form, but the
174: definition can be extended to any (smooth) function on the character variety
175: to yield an operator
176: \begin{eqnarray*}
177: op(f)=\int e^{i{\mathcal L}(A)}f(A){\mathcal D}A
178: \end{eqnarray*}
179: where $f(A)$ is defined using approximations of $f$ by sums of
180: traces of holonomies of the type describe above,
181: \begin{eqnarray*}
182: {\mathcal L}(A)=
183: \frac{k}{4\pi}Tr\int_{{\mathbb T}^2\times I}\left(A\wedge dA +\frac{2}{3}A
184: \wedge A\wedge A\right)
185: \end{eqnarray*}
186: is the
187: Chern-Simmons functional for connections on the cylinder over the torus,
188: $k$ being the level of quantization,
189: and the path integral is taken over all connections $A$ that interpolate
190: between two flat connections on the boundary components of the cylinder
191: over the torus.
192:
193: Witten's construction was made rigorous by Reshetikhin and Turaev using
194: the quantum group of $SL(2,{\mathbb C})$ at roots of unity.
195: Here is how this is done for the torus.
196: Fix a level $r\geq 3$, and let $t=e^{\frac{\pi i }{2r}}$.
197: For an integer $n$ define
198: $[n]=(t^{2n}-t^{-2n})/(t^2-t^{-2})$. The quantum analogue of the universal
199: enveloping algebra of $sl(2,{\mathbb C})$ is the algebra
200: ${\mathbb U}_t$ with generators
201: $X,Y,K, \bar{K}$ satisfying
202: \begin{eqnarray*}
203: & & \bar{K}=K^{-1}, \quad KX=t^2XK, \quad KY=t^{-2}YK\\
204: & & XY-YX=\frac{K^2-K^{-2}}{t^2-t^{-2}}, \quad
205: X^r=Y^r=0, \quad K^{4r}=1.
206: \end{eqnarray*}
207:
208: This is a Hopf algebra, thus its representations form a ring
209: under direct sum and tensor product. Modulo a small technicality
210: where one factors by the part of quantum trace zero,
211: this ring contains a subring generated by finitely many
212: irreducible representations $V^1,V^2, \ldots , V^{r-1}$.
213: The representation $V^k$ has the basis
214: $e_{-\frac{k-1}{2}},
215: e_{-\frac{k-3}{2}}\ldots , e_{\frac{k-1}{2}}$ and ${\mathbb U}_t$ acts
216: on this basis by
217: \begin{eqnarray*}
218: & & Xe_j=[m+j+1]e_{j+1}\\
219: & & Ye_j=[m-j+1]e_{j-1}\\
220: & & Ke_j=t^{2j}e_j.
221: \end{eqnarray*}
222: Using the quantum version of the Clebsch-Gordon theorem,
223: these irreducible representations can be defined recursively
224: by $V^{n+1}=V^2\otimes V^{n}-V^{n-1}$. This definition works
225: only for $2\leq n\leq r-2$.
226:
227:
228: With these representations we color any knot $K$
229: in a 3-dimensional
230: manifold, and the coloring is denoted by $V^n(K)$.
231: Let $\alpha $ be the core $S^1\times \{0\}$ of
232: the solid torus $S^1\times {\mathbb D}$, ${\mathbb D}=
233: \{ z, |z|\leq 1\}$.
234: The Hilbert space of the torus $V({\mathbb T}^2)$
235: has an orthonormal basis given
236: by $V^{k}(\alpha)$, $k=1,2,\ldots, r-1$. Now the convention is made
237: that $V^{r} =0$ and with this in mind we can extend the
238: definition of $V^n(\alpha )$ to all $n$ via the recursion
239: \begin{eqnarray*}
240: V^{n+1}(\alpha )=V^2(\alpha )\otimes V^{n}(\alpha )-V^{n-1}(\alpha).
241: \end{eqnarray*}
242: Here $V^2(\alpha )\otimes V^{n}(\alpha)$ is just $\alpha $ colored by
243: the representation $V^2\otimes V^n$.
244:
245: To make sense of these notations recall the pairing $<\cdot , \cdot >$
246: on $V({\mathbb T}^2)$ obtained by gluing two solid tori such that
247: the meridian of the first is identified with the longitude
248: of the second and vice versa, as to obtain a
249: 3-sphere. This pairing is not an inner product but is nondegenerate.
250: Pairing two elements of $V({\mathbb T}^2)$ yields a colored link
251: in the 3-sphere, and Reshetikhin and Turaev described in \cite{RT} a
252: way of associating a number to this link using the ribbon algebra structure
253: of ${\mathbb U}_t$ (see also \cite{KR}, \cite{Tu}).
254: This number is the value of the pairing.
255: For example
256: it is well known that
257: \begin{eqnarray*}
258: <V^k(\alpha),V^m(\alpha)>=[mn].
259: \end{eqnarray*}
260:
261: Let $p$ and $q$ be two integers, $n$ their greatest common divisor
262: and $p'=p/n$, $q'=q/n$.
263: % Before we proceed with the definition
264: %of operators let us discuss the {\em orientation} on the boundary
265: %of the solid torus. Since the Reshetikhin-Turaev invariants
266: %are defined using surgery on knots, we look at the solid torus as
267: %the complement of the regular neighborhood of the unknot.
268: %We orient the boundary of the solid torus
269: %using the basis (longitude of the unknot, meridian of the unknot).
270: %As such the curve of slope $p'/q'$ winds $p'$ times
271: %in the direction of the longitude of the unknot, and $q'$-times in
272: %the direction of the meridian.
273: We describe now the operator $S(p,q)$ that corresponds to
274: the function $\sin 2\pi n(p'x+q'y)/\sin 2\pi (p'x+q'y)$ ($S$ stands for
275: sine). Since the pairing is nondegenerate, it suffices to
276: describe $<S(p,q)V^k(\alpha), V^m(\alpha)>$. This number is computed
277: by placing the curve of slope $p'/q'$ on the
278: boundary of the solid torus, then gluing another torus to it
279: to obtain the 3-sphere, coloring the $p'/q'$-curve by $V^n$, the
280: core of the first torus by $V^k$ and the core of the second torus
281: by $V^m$ and then evaluating the colored link diagram as in
282: \cite{RT}.
283: %Here the curve of slope $p'/q'$ is defined in the {\em negative} orientation of
284: %the boundary of the solid torus, which is the choice if one thinks
285: %of the solid torus as the complement of a regular neighborhood
286: %of the unknot. The motivation for this convention will be
287: %explained in a future paper, where Theorem
288: %2.2 below will be related to more classical quantization.
289: We neglected the discussion about the
290: framing, and the invariants of Reshetikhin and Turaev are defined for framed
291: knots and links. The curve $\alpha$ will always be framed by the
292: annulus $S^1\times [0,1]$ while the curve of slope $p'/q'$ has
293: the vertical framing (i.e. the framing defined by the vector field
294: orthogonal to the torus).
295:
296: The quantization of the function $f(x,y)=2\cos 2\pi(px+qy)$ is the operator
297: \begin{eqnarray*}
298: C(p,q)=C(np',nq')=S((n+1)p', (n+1)q')-S((n-1)p',(n-1)q').
299: \end{eqnarray*}
300: Here $C$ stands for cosine and the definition
301: is motivated by the trigonometric formula
302: \begin{eqnarray*}
303: 2\cos nx=\frac{\sin (n+1)x}{\sin x}-\frac{\sin(n-1)x}{\sin x}.
304: \end{eqnarray*}
305: %\begin{eqnarray*}
306: %2\cos 2\pi (np'x+nq'y)=\frac{\sin 2\pi (np'x+nq'y)}{\sin2\pi (p'x+q'y)}-
307: %\frac{\sin 2\pi ((n-2)p'x+(n-2)q'y)}{\sin2\pi (p'x+q'y)}.
308: %\end{eqnarray*}
309: These are the operators for which we prove the product-to-sum formula.
310:
311: \section{Proof of the main result}\label{proofofresult}
312:
313: Unlike the case of \cite{FG}, here an easy inductive proof will not
314: work. The proof we give below was inspired by the computation of
315: the colored Jones polynomials of torus knots from
316: \cite{gelca2}. It uses an apparatus called {\em topological quantum field
317: theory with corners}, which enables the computation of quantum invariants
318: of 3-manifolds through a successive application of
319: axioms. This system of axioms is
320: in spirit analogous to the Eilenberg-MacLane system of axioms for homology.
321: The fundamental principles of a TQFT with corners were summarized by Walker
322: in \cite{walker}. The construction of the basic data
323: for the case of the quantum group
324: ${\mathbb U}_t$ was initiated in \cite{FK} and completed in \cite{gelca1}.
325:
326: Let us discuss just the facts about the $SL(2,{\mathbb C})$ TQFT with corners
327: needed in the proof of Theorem \ref{mainresult}.
328: As explained in \cite{atiyah}, a TQFT in dimension three consists of
329: a modular functor $V$ that associates vector spaces to
330: surfaces and isomorphisms to homeomorphisms, and a partition function
331: that associates to each three dimensional manifold a vector in the
332: vector space of its boundary.
333:
334: Walker refined this point of view
335: in \cite{walker}. He considered decompositions of surfaces into disks,
336: annuli, and pairs of pants, called DAP-decompositions, which
337: correspond through the functor to basis' of the vector space.
338: His DAP-decompositions (which should probably be called rigid
339: structures) involve more structure than that. This structure consists of
340: some curves, called seams and drawn like dotted lines in diagrams,
341: which keep track of the twistings that occur and are not detected
342: by the change in DAP-decompositions. Transformations of DAP-decompositions
343: are called moves and have the vector space correspondent of
344: the change of basis. They are useful in preparing the boundary
345: of a 3-manifold for a gluing with corners. Let us point out that
346: for ${\mathbb U}_t$ one needs also an
347: orientation of the decomposition curves, as explained in
348: \cite{gelca1} where it was encoded using the Klein four group, but this
349: fact is irrelevant for all computations below, so we do not
350: refer to it again.
351:
352: Also, Walker considered framed, or extended manifolds, which are
353: pairs $(M,n)$ with $M$ a manifold and $n$ an integer,
354: necessary to make the partition function well defined.
355: In this paper we begin the computation with manifolds with
356: framing zero. The framing only changes when we perform
357: moves on boundary tori, and there the change is computed using the
358: Shale-Weil cocycle. However all relevant changes are performed back and
359: forth, so the framing cancels. Thus we simply ignore it.
360:
361: Following \cite{walker} we denote $X=\sqrt{\sum_{j=1}^{r-1}[j]^2}$
362: (not to be confused with the generator of ${\mathbb U}_t$).
363: The vector space of an annulus has basis $\beta_j^j$, $j=1,2,\ldots, r-1$,
364: with pairing given by
365: \begin{eqnarray*}
366: <\beta_j^j,\beta_k^k>=\delta_{j,k}
367: X/[j].
368: \end{eqnarray*}
369: Gluing the boundaries of an annulus we obtain a torus, with the same
370: basis for the vector space.
371: The vector space of the torus $V({\mathbb T}^2)$
372: is the same as the
373: Hilbert space of the quantization of the moduli space of flat
374: $SU(2)$-connections on the torus.
375: The pairing on the torus makes $\beta_j^j$ an
376: orthonormal basis, but we don't need this fact now.
377: The moves $S$ and $T$ on the torus are described in Figure 1.
378: The
379: $(m,n)$-entry of the matrix of $S$ is $[mn]$. The move $T$ is diagonal
380: and its $j$th entry is $t^{j^2-1}$.
381: %The
382: %minus sign in the exponent of $t$ is correct, since the twist is viewed
383: %as a change of basis not as a homeomorphism (for more details consult
384: %\cite{gelca1}, \cite{gelca3}).
385:
386: \begin{figure}[htbp]
387: \centering
388: \leavevmode
389: \epsfxsize=4.4in
390: \epsfysize=1.1in
391: \epsfbox{fig1.eps}
392:
393: Figure 1.
394: \end{figure}
395:
396: The quantum invariant (i.e. partition function)
397: of the cylinder over a surface is the identity
398: matrix. So the quantum invariant of
399: the cylinder over an annulus is $\sum _{n=1}^{r-1}\frac{[n]}{X}\beta_n^n\otimes
400: \beta_n^n\otimes \beta_n^n\otimes\beta_n^n$ (when taking the cylinder
401: over the annulus the boundary of the solid torus will be canonically
402: decomposed into four annuli).
403: If the DAP-decomposition of a 3-manifold involves two disjoint annuli,
404: then its invariant can be written in the form
405: \begin{eqnarray*}
406: \sum _{k,j=1}^{r-1} \beta_k^k\otimes\beta_j^j \otimes v_{k,j}.
407: \end{eqnarray*}
408: Gluing the two annuli produces a 3-manifold that in the newly
409: obtained DAP-decomposition has the invariant equal to
410: $\sum _{k=1}^{r-1}\frac{X}{[k]}v_{k,k}$.
411:
412:
413: For the proof of the theorem we need the following formula,
414: which can be checked using the
415: fact that the sum of the roots of unity is zero.
416:
417: \begin{lem}\label{rootsofunity}
418: Let $a$, $b$, $c$, $d$ and $e$ be integers. Then
419: \begin{eqnarray*}
420: \sum_{x,y=1}^{r-1} [ax]t^{bx^2}[cy]([x(y+d)]t^{2ey}+[x(y-d)]t^{-2ey})=\\
421: X^2t^{bc^2+be^2-2de}([a(c+e)]t^{2(be-d)c}+[a(c-e)]t^{-2(be-d)c}).
422: \end{eqnarray*}
423: \end{lem}
424:
425: The proof of the main result is based on a theorem that is of
426: interest in itself.
427: It describes how the observable $C(p,q)$ acts on the
428: Hilbert space of the quantization. With our convention
429: for defining
430: $V^k({\alpha})$ for all $k$ we have
431:
432: \begin{thm}
433: In any level $r$ and for any integers $p,q$ and $k$ the following formula
434: holds
435: \begin{eqnarray*}
436: C(p,q)V^k(\alpha)=t^{-pq}\left(t^{2qk}V^{k-p}(\alpha)+t^{-2qk}V^{k+p}(\alpha)
437: \right).
438: \end{eqnarray*}
439: \end{thm}
440:
441:
442: \begin{proof}
443: It suffices to check that
444: the two sides of the equality yield the same results when paired with
445: all $V^m(\alpha)$. We must show that
446: \begin{eqnarray*}
447: & & <C(p,q)V^k(\alpha),V^m(\alpha)>
448: =\frac{t^{-pq}}{t^2-t^{-2}}\\ & & \quad \times \left(
449: t^{2(qk-pm+km)}-t^{2(qk+pm-km)}+t^{2(-qk+pm+km)}-t^{2(-qk-pm -km)}\right)
450: \end{eqnarray*}
451:
452: Let $d$ to be the greatest common divisor of
453: $p$ and $q$, $p'=p/d$ and $q'=q/d$
454: We concentrate first on the computation of
455: \begin{eqnarray}\label{invariant1}
456: <S((d+1)p',(d+1)q')V^k(\alpha),V^{m}(\alpha)>
457: \end{eqnarray}
458: and
459: \begin{eqnarray}\label{invariant2}
460: <S((d-1)p',(d-1)q')V^k(\alpha),V^{m}(\alpha)>
461: \end{eqnarray}
462: Here is the place where we use the topological quantum field
463: theory with corners from \cite{gelca1}.
464:
465: The expression in (\ref{invariant1}) is the invariant
466: of the link that has one component equal to the $(p',q')$-curve on a torus
467: colored by $V^{d+1}$, and the other two components the cores
468: of the two solid tori that lie on one side and the other
469: of the torus knot, colored by $V^k$ (the one inside) and
470: $V^m$ (the one outside). The expression in (\ref{invariant2}) is the invariant
471: of the same link but with the $(p',q')$-curve colored by $V^{d-1}$.
472: % Here again the reader should remember the
473: %convention for the orientation we made at the beginning when we discussed
474: %curves of slope $p'/q'$.
475: It was shown in \cite{gelca2} that this number is equal to $X^{-1}$
476: times
477: the coordinate of $\beta _{d+1}^{d+1}d\otimes \beta_k^k\otimes \beta _m^m$
478: of the vector that is the quantum invariant of the link complement.
479:
480: %\begin{figure}[htbp]
481: %\centering
482: %\leavevmode
483: %\epsfxsize=3in
484: %\epsfysize=1.8in
485: %\epsfbox{fig2.eps}
486:
487: %Figure 2.
488: %\end{figure}
489:
490: Let us produce the complement of this link by gluing together two
491: simple 3-manifolds, whose quantum invariants are easy to compute.
492: Consider first the cylinder over an annulus $A$ and glue its
493: ends to obtain the manifold $A\times S^1$. In the basis of the vector
494: space of $V({\mathbb T}^2\times {\mathbb T}^2)$ determined
495: by the DAP-decomposition
496: $\partial A\times \{1\}$ the invariant of this manifold is
497: $\sum _{k} \beta _k^k\otimes \beta_k^k$.
498: Take another copy of the same manifold.
499: Change the decomposition curves of the exterior torus of the first
500: manifold to the $p'/q'$-curve and of the exterior torus of the second
501: manifold to the longitude.
502: Of course, to do this on the second manifold we
503: apply the $S$-move and so the invariant of the second manifold
504: changes to
505: \begin{eqnarray*}
506: \frac{1}{X}\sum _{\delta,j_{n+1}}[dj_{n+1}]\beta_\delta^\delta \otimes
507: \beta _{j_{n+1}}^{j_{n+1}}.
508: \end{eqnarray*}
509: With the first manifold the story is more complicated. Consider the continued
510: fraction expansion
511: \begin{eqnarray*}
512: \frac{q'}{p'}=-\frac{1}{
513: -a_1-\frac{1}{
514: -a_2-\cdots \frac{1}{-a_n}}}.
515: \end{eqnarray*}
516: The required move on the boundary is then
517: $ST^{-a_n}ST^{-a_{n-1}}S\cdots ST^{-a_1}S$.
518: So the invariant of the first manifold in the new
519: DAP-decomposition is
520: \begin{eqnarray*}
521: X^{-n-1}\sum_{j_1,\cdots ,j_{n+1}} [j_{n+1}j_n]t^{-a_n(j_n^2-1)}[j_nj_{n-1}]
522: \cdots [j_2j_1]t^{-a_1(j_1^2-1)}[j_1k]\beta_k^k\otimes
523: \beta _{j_{n+1}}^{j_{n+1}}.
524: \end{eqnarray*}
525:
526:
527: Now expand one annulus in the exterior tori of each of the two manifolds.
528: Then glue just one annulus from the the first manifold to one
529: annulus from the second. This way we obtain the complement of the
530: link in discussion. One of its boundary tori is decomposed into two
531: annuli. Contract one of them. Since the gluing introduces
532: a factor of $X/[j_{n+1}]$, the invariant of the manifold is
533: \begin{eqnarray*}
534: X^{-n-1}\sum_{j_1,\cdots ,j_{n+1},\delta}\frac{[\delta j_{n+1}]}{[j_{n+1}]}
535: [j_{n+1}j_n]t^{-a_n(j_n^2-1)}[j_nj_{n-1}]
536: \cdots [j_2j_1]t^{-a_1(j_1^2-1)}\\
537: \times [j_1k]\beta _{j_{n+1}}^{j_{n+1}}\otimes
538: \beta_\delta^\delta\otimes \beta_k^k.
539: \end{eqnarray*}
540: At this moment we have the right 3-manifold but with the wrong
541: DAP-decomposition. We need to fix the DAP-decomposition of the torus
542: that corresponds to the basis element $ \beta _{j_{n+1}}^{j_{n+1}}$
543: (the boundary of the regular neighborhood of the $(p',q')$-curve)
544: such as to transform the decomposition curve into the meridian of the link
545: component. For this we apply the move
546: $(ST^{-a_n}ST^{-a_{n_1}}S\cdots ST^{-a_1}S)^{-1}$. We obtain the following
547: expression for the invariant of the extended manifold
548: \begin{eqnarray*}
549: X^{-2n-2}\sum_{j_1,\ldots ,j_{2n+2},\delta,k,m}[mj_{2n+2}][j_{2n+2}j_{2n+1}]
550: t^{a_1j_{2n+1}^2}\cdots [j_{n+2}j_{n+1}]\frac{[\delta j_{n+1}]}{[j_{n+1}]}
551: \\ \times [j_{n+1}j_n]
552: t^{-a_nj_n^2}[j_nj_{n-1}]
553: \cdots
554: [j_2j_1]t^{-a_1j_1^2}[j_1k]\beta_\delta^\delta
555: \otimes\beta_k^k\otimes \beta_m^m
556: \end{eqnarray*}
557: (in this formula we already reduced $t^{a_k}$ and $t^{-a_k} $, $1\leq
558: k\leq n$).
559:
560: It is important to observe that after performing the
561: described operations the seams came right, so no further twistings
562: are necessary.
563:
564:
565: Now fix $k$ and $m$, let $\delta =d\pm 1$ and focus on the coefficients of
566: $\beta_{d\pm 1}^{d\pm 1}\otimes\beta_k^k\otimes \beta_m^m$.
567: Multiplied by $X$ these are
568: the colored Jones polynomial of the link \cite{gelca2} with the
569: $(p',q')$-curve colored by the $d+1$-, respectively $d-1$-dimensional
570: irreducible representation of ${\mathbb U}_t$.
571: %Note that
572: %\begin{eqnarray*}
573: %\frac{[(d+1)j_{n+1}]}{[j_{n+1}]}=\left\{
574: %\begin{array}{clcr}
575: %\Sigma_1^d
576: %(t^{2kj_{n+1}}+t^{-2kj_{n+1}})
577: %\quad \quad \mbox{if } d \mbox{ even}\\
578: %1+ \Sigma_1^d
579: %(t^{2kj_{n+1}}+t^{-2kj_{n+1}}) \quad \mbox{ if }d\mbox{ odd}
580: %\end{array}
581: %\right.
582: %\end{eqnarray*}
583: %where both sums are over all $k$ with $1\leq k\leq d-1$ and $d-k$ odd.
584: Since $C(p,q)=S((d+1)p',(d+1)dq')-S((d-1)p',(d-1)q')$
585: and also
586: \begin{eqnarray*}
587: \frac{[(d+1)j_{n+1}]}{[j_{n+1}]}-\frac{[(d-1)j_{n+1}]}{[j_{n+1}]}=
588: t^{2j_{n+1}}+t^{-2j_{n+1}},
589: \end{eqnarray*}
590: we deduce that
591: the value of $<C(p,q)V^k(\alpha),V^{m}(\alpha)>$
592: is equal to
593: \begin{eqnarray*}
594: X^{-2n-1}\sum_{j_1,\ldots ,j_{2n+2}}[mj_{2n+2}][j_{2n+2}j_{2n+1}]
595: t^{a_1j_{2n+1}^2}\cdots [j_{n+2}j_{n+1}](t^{2dj_{n+1}}+t^{-2dj_{n+1}})
596: \\
597: \times [j_{n+1}j_n]t^{-a_nj_n^2}[j_nj_{n-1}]
598: \cdots
599: [j_2j_1]t^{-a_1j_1^2}[j_1k].
600: \end{eqnarray*}
601: We want to compute these iterated Gauss sums.
602: We apply successively Lemma \ref{rootsofunity}
603: starting with $x=j_n, y=j_{n+1}$, then
604: $x=j_{n-1}, y=j_{n+2}$ and so on to obtain
605:
606: \begin{eqnarray*}
607: & & X^{-2n+1}\sum_{j_1,\ldots ,j_{2n+2}}t^{-a_nd^2}
608: [mj_{2n+2}][j_{2n+2}j_{2n+1}]
609: t^{a_1j_{2n+1}^2}\cdots [j_{n+3}j_{n+2}]\\
610: & & \times ([j_{n-1}(j_{n+2}+d)]t^{-2a_ndj_{n+2}}
611: +[j_{n-1}(j_{n+2}-d)]t^{2a_ndj_n+2}
612: )\\
613: & & \times t^{-a_{n-1}j_{n-1}^2}[j_{n-1}j_{n-2}]
614: \cdots [j_2j_1]t^{-a_1j_1^2}[j_1k]
615: \end{eqnarray*}
616: \begin{eqnarray*}
617: & & =X^{-2n+3}
618: \sum_{j_1,\ldots ,j_{2n+2}}t^{-a_n(a_na_{n-1}-1)d^2}
619: [mj_{2n+2}][j_{2n+2}j_{2n+1}]
620: t^{a_1j_{2n+1}^2}\cdots [j_{n+4}j_{n+3}]\\
621: & & \times
622: ([j_{n-2}(j_{n+3}+a_nd)]t^{-2(a_na_{n-1}-1)dj_n+3}+[j_{n-2}(j_{n+3}-a_nd)]
623: t^{2(a_na_{n-1}-1)dj_n+3}
624: )\\
625: & & \times t^{-a_{n-2}j_{n-2}^2}
626: [j_{n-2}j_{n-3}]
627: \cdots
628: [j_2j_1]t^{-a_1j_1^2}[j_1k]=\cdots
629: \end{eqnarray*}
630: \begin{eqnarray*}
631: & & =
632: X^{-1}\sum_{j_{2n+1},j_{2n+2}}t^{-p'q'd^2}
633: [mj_{2n+2}][j_{2n+2}j_{2n+1}]\\
634: & & \times ([kj_{2n+1}+kdq']t^{-2dp'j_{2n+1}}
635: +[kj_{2n+1}-kdq']
636: t^{2dp'j_{2n+1}})\\
637: & & = X^{-1}
638: t^{-pq}\sum_{j_{2n+1},j_{2n+2}=1}^{r-1}
639: [mj_{2n+2}][j_{2n+2}j_{2n+1}]\\ & & \times
640: ([kj_{2n+1}+kq]t^{-2pj_{2n+1}}
641: +[kj_{2n+1}-kq]
642: t^{2pj_{2n+1}})
643: \end{eqnarray*}
644:
645: This sum is equal to
646: \begin{eqnarray*}
647: t^{-pq}([k(m+q)]t^{-2mp}+[k(m-q)]t^{2mp})
648: \end{eqnarray*}
649: and the theorem is proved.
650: \end{proof}
651:
652: Let us see how Theorem \ref{mainresult} follows from this result.
653: We compute:
654: \begin{eqnarray*}
655: & & C(m,n)*C(p,q)V^k(\alpha)\\
656: & & \quad =C(m,n)t^{-pq}(t^{2kq}V^{k-p}(\alpha)+
657: t^{-2kq}V^{k+p}(\alpha))\\
658: & & \quad = t^{-pq-mn}(t^{2kq+2(k-p)n}V^{k-p-m}(\alpha)+t^{2kq-2(k-p)n}V^{k-p+m}
659: (\alpha)\\
660: & & \quad +
661: t^{-2kq+2(k+p)n}V^{k+p-m}(\alpha)+t^{-2kq-2(k+p)n}V^{k+p+m}(\alpha)).
662: \end{eqnarray*}
663: Also
664: \begin{eqnarray*}
665: & & C(m+p,n+q)V^k(\alpha)\\
666: & & \quad =t^{-(m+p)(n+q)}(t^{2k(n+q)}V^{k-m-p}(\alpha)
667: +t^{-2k(n+q)}V^{k+m+p}(\alpha))
668: \end{eqnarray*}
669: on the one hand, and
670: \begin{eqnarray*}
671: & & C(m-p,n-q)V^k(\alpha)\\
672: & & \quad = t^{-(m-p)(n-q)}(t^{2k(n-q)}V^{k-m+p}(\alpha)
673: +t^{-2k(n-q)}V^{k+m-p}(\alpha))
674: \end{eqnarray*}
675: on the other.
676: An easy check of coefficients shows that the product-to-sum formula holds
677: on the basis of the Hilbert space of the quantization, and we are done.
678:
679: %\begin{rem}
680: %Changing the orientation on the torus to the more natural positive
681: %orientation yields the same product-to-sum formula. The choice of
682: %the orientation is motivated by Theorem 2.2 which has a deeper
683: %significance that will be
684: %revealed in a future paper.
685: %\end{rem}
686: \begin{rem}
687: The same method can be applied to prove the product-to-sum formula
688: for the Kauffman bracket skein algebra of the torus (see \cite{FG})
689: using the topological quantum field theory with corners constructed
690: in \cite{gelca3}.
691: \end{rem}
692: We conclude with a question. Is the product-to-sum formula true
693: when the deformation variable $t$ is not a root of unity?
694: The quantization for arbitrary $t$ is described in \cite{AS}, and
695: a proof of the formula should involve the analysis of the
696: quasitriangular $R$ matrix of ${\mathbb U}_t$.
697:
698:
699: \begin{thebibliography}{000}
700:
701: \bibitem{AS} Alexeev, A. Yu., Schomerus, V., {\em Representation
702: theory of Chern-Simons observables}, Duke Math. Journal, {\bf 85}(1996), No.
703: 2, 447--510.
704:
705: \bibitem{atiyah} M.F. Atiyah, {\em The Geometry and Physics of knots},
706: Lezioni Lincee, Accademia Nationale de Lincei, Cambridge Univ.
707: Press, 1990.
708:
709: \bibitem{FG} Ch. Frohman, R. Gelca, {\em Skein modules and
710: the noncommutative torus}, Transactions Amer. Math. Soc.,
711: {\bf 352}(2000), 4877-4888.
712:
713: \bibitem{FK}
714: Ch. Frohman, J. Kania-Bartoszynska, {\em $SO(3)$ topological quantum
715: field theory}, Commun. Anal.Geom. {\bf 4}(1996), 589--679.
716:
717: \bibitem{gelca1} R. Gelca,
718: {\em Topological $sl(2,C)$ quantum field theory with corners},
719: J. Knot Theor. Ramif, {\bf 7}(1998), 893-906.
720:
721: \bibitem{gelca2} R. Gelca, {\em The quantum invariant
722: of the regular neighborhood of a link}, Topology and its
723: Applications, {\bf 81}(1997), 147--157.
724:
725: \bibitem{gelca3} R. Gelca, {\em
726: Topological quantum field theory with corners
727: based on the Kauffman bracket}, { Comment. Math. Helv.},
728: {\bf 72}(1997), 216--243.
729:
730: \bibitem{KR} A.N. Kirillov, N.Y. Reshetikhin, {\em Representation of
731: the algebra $U_q(sl_2)$, $q$-orthogonal polynomials and invariants of
732: links}, in: Infinite dimensional Lie algebras and groups, (ed. by V.G. Kac),
733: Adv. Ser. in Math. Phys. 7, World Scientific, Singapore 1988, 285--339.
734:
735:
736:
737: \bibitem{RT} N. Yu. Reshetikhin, V.G. Turaev, {\em Invariants of 3-manifolds
738: via link polynomials
739: and quantum groups}, Inventiones Math., {\bf 103}(1991),
740: 547--597.
741:
742: \bibitem{rieffel} M. Rieffel, \textit{ Deformation quantization of
743: Heisenberg manifolds}, Commun. Math. Phys. \textbf{ 122}(1989), 531--562.
744:
745: \bibitem{Tu} V.G. Turaev, {\em Quantum Invariants of Knots and
746: 3-Manifolds}, de Gruyter, 1994.
747:
748: \bibitem{Wi} E. Witten, {\em Quantum field theory and
749: the Jones polynomial},
750: Comm. Math. Phys., {\bf 121}(1989), 351--399.
751:
752: \bibitem{walker} K.
753: Walker, {\em On Witten's 3-manifold invariants}, preprint, 1991.
754:
755:
756: \end{thebibliography}
757:
758:
759: \end{document}
760:
761: % end of file PJMtemplate.tex