1: \documentclass[10pt]{article}

2: \setlength{\textheight}{7.8in}

3: \setlength{\textwidth}{5in}

4: \pagestyle{plain}

5: \usepackage[dvips]{graphicx}

6: \usepackage{times}

7: \usepackage{type1cm}

8: \usepackage{amsmath,amsthm,amsfonts,amssymb,amscd}

9: 

10: 

11: \makeatletter

12: \renewcommand{\section}{\@startsection{section}{0}{0mm}{10pt}{5pt}{\normalsize \bf }}

13: \makeatother

14: \renewcommand{\thesection}{\arabic{section}}

15: 

16: 

17: \newtheorem{thm}{\indent Theorem}[section]

18: \newtheorem{cor}[thm]{\indent Corollary}

19: \newtheorem{defn}[thm]{\indent Definition}

20: \newtheorem{exm}[thm]{\indent Example}

21: \newtheorem{lem}[thm]{\indent Lemma}

22: \newtheorem{prop}[thm]{\indent Proposition}

23: \newtheorem{ack}[thm]{\indent Acknowledgments}

24: \newtheorem{conj}[thm]{\indent Conjecture}

25: \newtheorem{rem}[thm]{\indent Remark}

26: \newtheorem{rems}[thm]{\indent Remarks}

27: \renewcommand{\theequation}{\thesection.\arabic{equation}}

28: 

29: 

30: \renewcommand{\figurename}{\footnotesize Fig.}

31: \renewcommand{\refname}{\normalsize \bf References}

32: 

33: 

34: \title{\bf \normalsize COMPUTATIONS OF TURAEV-VIRO-OCNEANU INVARIANTS OF 3-MANIFOLDS 

35: FROM SUBFACTORS}

36: 

37: \author{

38: {\footnotesize NOBUYA SATO}%$^*$ \\

39: \footnote{Supported in part by the

40: Grants-in-Aid for Scientific Research, JSPS.}\\

41: {\footnotesize \it Department of Mathematics and Information Sciences}\\

42: {\footnotesize \it Osaka Prefecture University, Sakai, Osaka, 599-8531, JAPAN}\\

43: {\footnotesize \it e-mail:nobuya@mi.cias.osakafu-u.ac.jp}\\ 

44:  \\ 

45: {\footnotesize MICHIHISA WAKUI}\\

46: {\footnotesize \it Department of Mathematics, Osaka University, Toyonaka, Osaka, 560-0043, JAPAN}\\

47: {\footnotesize \it e-mail:wakui@math.sci.osaka-u.ac.jp}

48: \\ 

49: }

50: 

51: \begin{document}

52: 

53: \maketitle

54: \par \ 

55: \par 

56: \centerline{\normalsize ABSTRACT}

57: \par \ 

58: 

59: \begin{minipage}{4.5in}

60: \footnotesize 

61: \baselineskip=10pt  

62: \qquad  

63: In this paper, we establish a rigorous correspondence between the two tube algebras, 

64: that one comes from the Turaev-Viro-Ocneanu TQFT introduced by Ocneanu 

65: and another comes from the sector theory introduced by Izumi, 

66: and construct a canonical isomorphism between the centers 

67: of the two tube algebras, which is a conjugate linear isomorphism 

68: preserving the products of the two algebras 

69: and commuting with the actions of $SL(2,\mathbb{Z})$. 

70: Via this correspondence and the Dehn surgery formula, 

71: we compute Turaev-Viro-Ocneanu invariants 

72: from several subfactors for basic $3$-manifolds including 

73: lens spaces and Brieskorn $3$-manifolds by using Izumi's data written in terms of sectors.

74: \end{minipage} 

75: 

76: \par \ 

77: \baselineskip=13pt 

78: 

79: \section{\kern-1em .\ \ Introduction} 

80: \par 

81: At the beginning of the 1990's, a $(2+1)$-dimensional 

82: unitary topological quantum field theory, in short, TQFT, was 

83: introduced by A. Ocneanu \cite{Ocneanu1} by using a type II$_1$ subfactor with finite index 

84: and finite depth as a generalization of the Turaev-Viro TQFT \cite{TV} 

85: which was derived from the quantum group $U_q(sl(2,\Bbb{C}))$ at certain roots 

86: of unity. 

87: We call such a TQFT a Turaev-Viro-Ocneanu TQFT. 

88: K. Suzuki and the second author \cite{SuzukiWakui} have found a 

89: Verlinde basis in the sense of \cite{KSW} for the Turaev-Viro-Ocneanu TQFT from an $E_6$-subfactor, and 

90: computed the invariant for basic $3$-manifolds including lens spaces 

91: $L(p,q)$, where $p, q$ are less than or equal to $12$, and 

92: showed that the Turaev-Viro-Ocneanu invariant from the $E_6$-subfactor  

93: distinguishes the lens spaces $L(3,1)$ and $L(3,2)$. So, 

94: the Turaev-Viro-Ocneanu invariant distinguishes orientations for specific manifolds. 

95: That is remarkable result since the original Turaev-Viro invariant cannot distinguish orientations. 

96:  (More precisely, it coincides with the square of absolute value of the 

97: Reshetikhin-Turaev invariant \cite{Turaev}.) 

98: \par 

99: In \cite{KSW}, we showed that a Turaev-Viro-Ocneanu TQFT $Z$ from a subfactor has a Verlinde 

100: basis and that the invariant $Z(M)$ of a closed oriented $3$-manifold $M$ 

101: is given by the formula

102: $$Z(M)=\sum_{i_1,\dots,i_r=0}^m S_{0i_1} \dots S_{0i_r} J(L;i_1, \dots, i_r),$$

103: if $M$ is obtained from the $3$-sphere $S^3$ by Dehn surgery along a framed link $L = L_1 \cup \dots \cup L_r$.  

104: Here, $S_{ij}$ is the matrix component of $Z(S)$ 

105: with respect to a Verlinde basis $\{ v_i \}_{i=0}^m$ of $Z(S^1\times S^1)$, 

106: $S$ is the orientation preserving diffeomorphism on 

107: $S^1\times S^1$ corresponding to the modular transformation $S:\tau \longmapsto -1/\tau $, 

108: and $J(L;i_1,\cdots ,i_r)$ $(i_1,\cdots ,i_r=0,1,\cdots ,m)$ 

109: are framed link invariants of $L$ determined by the Turaev-Viro-Ocneanu invariant of the complement of $L$ in $S^3$. 

110: By the above formula, if we want to compute the Turaev-Viro-Ocneanu invariant 

111: of a closed 3-manifold $M$, we need to compute the $S$-matrix and the framed link 

112: invariants $J(L;i_1, \dots, i_r)$. 

113: Since we know that the method of a concrete construction of Verlinde basis (see \cite{KSW}), 

114: we can compute the $S$-matrix with respect to this Verlinde basis in principle. 

115: So, if a $3$-manifold $M$ is obtained from $S^3$ 

116: by Dehn surgery along an \lq\lq easy'' framed link $L$, then we can compute the 

117: $S$-matrix, the framed link invariants $J(L;i_1, \dots, i_r)$ and $Z(M)$. 

118: \par 

119: The concept of a tube algebra, which plays a crucial role in the Turaev-Viro-Ocneanu TQFT, 

120: was first introduced by Ocneanu \cite{Ocneanu1}. 

121: In analysis of the Longo-Rehren subfactor, which corresponds to 

122: the center construction in the sense of Drinfel'd, M. Izumi \cite{Izumi4}

123: formulated a tube algebra in terms of sectors for a finite closed 

124: system of endomorphisms of a type III subfactor. He also explicitly gave an action 

125: of $SL(2,\mathbb{Z})$ on the center of this tube algebra in the language 

126: of sectors, and derived several formulas on Turaev-Viro-Ocneanu invariants 

127: of lens spaces for concretely given subfactors \cite{Izumi5}. 

128: However, it is not clear how the 

129: $S$-matrix in Izumi's sector theory and the $S$-matrix in the Turaev-Viro-Ocneanu TQFT are related. 

130: \par 

131: In this paper, we establish a rigorous correspondence between the two tube algebras, 

132: that one comes from the Turaev-Viro-Ocneanu TQFT introduced by Ocneanu 

133: and another comes from the sector theory introduced by Izumi, 

134: and construct a canonical isomorphism between the centers of the two tube algebras, 

135: which is a conjugate linear isomorphism preserving the products of the two algebras 

136: and commuting with the actions of $SL(2,\mathbb{Z})$ (see Theorem \ref{Theorem1} and Corollary \ref{Corollary}). 

137: Moreover, we compute Turaev-Viro-Ocneanu invariants from several subfactors for basic $3$-manifolds including 

138: lens spaces and Brieskorn $3$-manifolds by using Izumi's data written in terms of sectors \cite{Izumi5} 

139: and using the Dehn surgery formula. 

140: One of the most important results on computations is that the $3$-sphere $S^3$ 

141: and the Poincar\'{e} homology $3$-sphere $\Sigma (2,3,5)$ are distinguished by the Turaev-Viro-Ocneanu invariant 

142: from the exotic subfactor constructed by Haagerup and Asaeda \cite{Haagerup, AsaedaHaagerup}, 

143: and $L(p,1)$ and $L(p,2)$ are distinguished by the Turaev-Viro-Ocneanu invariant   

144: from a generalized $E_6$-subfactor with $\mathbb{Z}/p\mathbb{Z}$ for $p=3,5$ \cite{Izumi5}. 

145: From this fact, it is natural for us to expect that the lens spaces $L(7,1)$ and $L(7,2)$ are distinguished 

146: by a generalized $E_6$-subfactor with $\mathbb{Z}/7\mathbb{Z}$. 

147: However, we do not know yet that there exists such a subfactor. 

148: \par 

149: This paper is organized as follows. 

150: In Section 2, we review the Turaev-Viro-Ocneanu topological quantum field theory from a subfactor. 

151: In Section 3, we discuss on the fusion algebra associated with the Turaev-Viro-Ocneanu TQFT \cite{KSW}. 

152: The product of the fusion algebra and the representation of $SL(2,\mathbb{Z})$ 

153: associated with the Turaev-Viro-Ocneanu TQFT are concretely calculated by using singular triangulations. 

154: In Section 4, we construct a conjugate linear isomorphism between Izumi's tube algebra and Ocneanu's one 

155: preserving the products of algebras and commuting with the actions of $SL(2,\mathbb{Z})$. 

156: In Section 5, we calculate Turaev-Viro-Ocneanu invariants from several subfactors for some basic $3$-manifolds 

157: including lens spaces and Brieskorn $3$-manifolds based on Izumi's data using the Dehn surgery formula, 

158: and derive formulas in terms of the $S$- and $T$-matrices. 

159: \par 

160: Throughout this paper, we assume that a closed oriented surface is geometrically realized as a polyhedron. 

161: We use the following notations. 

162: The $r$-simplex with vertices $v_0,v_1,\cdots ,v_r$ in an Euclidean space is denoted by $|v_0v_1\cdots v_r|$, and  

163: the simplicial complex consisting of all faces of $|v_0v_1\cdots v_r|$ is denoted by $K(|v_0v_1\cdots v_r|)$. 

164: For a $2$-simplex $|v_0v_1|$ we denote by $\langle v_0,v_1\rangle $ 

165: the oriented edge with the direction from $v_1$ to $v_0$. 

166: \par 

167: We refer to Evans and Kawahigashi's book \cite{EK} as a general reference on subfactor theory, 

168: and refer to Turaev's book \cite{Turaev} as a general reference on topological quantum field theory. 

169: 

170: 

171: 

172: \par \bigskip 

173: \section{\kern-1em .\ \ Turaev-Viro-Ocneanu TQFT's from Subfactors} 

174: \par 

175: In  this section, we review the Turaev-Viro-Ocneanu TQFT's arising from subfactors \cite{EK, Ocneanu1} in terms of sectors. 

176: It is formulated by a similar method of Turaev and Viro \cite{TV} and by using initial data derived from subfactors. 

177: A theory of sectors in subfactor theory was first established by Longo \cite{Longo2} based on ideas 

178: in quantum field theory, and it was developed by Izumi \cite{Izumi1, Izumi3}. 

179: To describe the Turaev-Viro-Ocneanu TQFT's using sectors, we recall some notions in subfactor theory. 

180: \par 

181: Let $M$ be an infinite factor. We denote by $\text{End}(M)_0$ the set of $\ast $-endomorphisms 

182: $\rho :M\longrightarrow M$ such that the index of the subfactor $\rho (M)\subset M$ is finite. 

183: For $\rho ,\sigma \in \text{End}(M)_0$ the {\it intertwiner space} $(\rho ,\sigma )$ is a vector space over $\mathbb{C}$ 

184: defined by 

185: $$(\rho ,\sigma ):=\{ V\in M\ \vert \ V\rho (x)=\sigma (x)V\ \text{for}\ x\in M\} .$$

186: A $\ast $-endomorphism $\rho \in \text{End}(M)_0$ is called {\it irreducible}, if $(\rho ,\rho )=\mathbb{C}id_M$. 

187: If $\rho $ is irreducible, then for any $\sigma \in \text{End}(M)_0$ 

188: the intertwiner space $(\rho ,\sigma )$ is a Hilbert space with the inner product defined by 

189: $$\langle V, W\rangle =W^{\ast }V,\qquad V, W\in (\rho ,\sigma ).$$

190: For $\rho \in \text{End}(M)_0$ we denote by $d(\rho )$ the square root of the minimal index of $M\supset \rho (M)$, 

191: and call it the statistical dimension of $\rho $. 

192: It is known that for every $\rho \in \text{End}(M)_0$ 

193: there exists a $\ast $-endomorphism $\bar{\rho} \in \text{End}(M)_0$ 

194: and a pair of intertwiners $R_{\rho }\in (id, \bar{\rho }\rho )$, 

195: $\overline{R}_{\rho }\in (id, \rho \bar{\rho })$ such that 

196: $$\overline{R}_{\rho }^{\ast}\rho (R_{\rho })=R_{\rho }^{\ast}\bar{\rho }(\overline{R}_{\rho })

197: =\dfrac{1}{d(\rho )},\ R_{\rho }^{\ast }R_{\rho }=\overline{R}_{\rho }^{\ast }\overline{R}_{\rho }=1.$$

198: 

199: Let $\rho _1$ and $\rho _2$ be two elements in $\text{End}(M)_0$. 

200: We say that $\rho _1$ and $\rho _2$ are equivalent if there exists a unitary $u\in M$ such that $u\rho _1(x)=\rho _2(x)u$ for all $x\in M$. 

201: We denote by $\text{Sect}(M)$ the equivalence classes of $\text{End}(M)_0$, and denote by $[\rho ]$ the class of 

202: $\rho \in \text{End}(M)_0$ in $\text{Sect}(M)$. 

203: Each element in $\text{Sect}(M)$ is called a {\it sector} of $M$. 

204: The set $\text{Sect}(M)$ becomes a $\ast $-semiring over $\mathbb{C}$ 

205: with the sum $[\rho ]\oplus [\sigma ]$, 

206: the product $[\rho ][\sigma ]=[\rho \circ \sigma ]$ 

207: and the conjugation $\overline{[\rho ]}=[\bar{\rho}]$ \cite{Izumi1, Longo2}. 

208: 

209: \par 

210: A finite subset $\Delta =\{ \rho _0,\rho _1,\cdots ,\rho _n\}$ of $\text{End}(M)_0$ is called 

211: {\it a finite system of $\text{End}(M)_0$} closed under sector operations 

212: if the following four conditions are satisfied \cite{Izumi4}.

213: 

214: \begin{enumerate}

215: \item[(i)] $[\rho _i]=[\rho _j]$ if and only if $i=j$.

216: \item[(ii)] $\rho_0=id_M$.

217: \item[(iii)] for all $i$ there exists $j$ such that $\overline{[\rho _i]}=[\rho _j]$. 

218: \item[(iv)] there exist non-negative integers $N_{ij}^k$  such that 

219: $$[\rho _i][\rho _j]=\textstyle\bigoplus\limits_{k=0}^nN_{ij}^k[\rho _k].$$

220: \end{enumerate}

221: 

222: We note that the condition (iv) is equivalent to the following condition. 

223: 

224: \begin{enumerate}

225: \item[(iv)$'$] for all $i,j,k=0,1,\cdots ,n$, there exists an orthonormal basis  

226: $\{ (T_{ij}^k)_{\nu }\} _{\nu =0}^{N_{ij}^k}$ of $(\rho _k,\rho _i\rho _j)$ such that 

227: $$\sum\limits_{k=0}^n\sum\limits_{\nu =1}^{N_{ij}^k}(T_{ij}^k)_{\nu }(T_{ij}^k)_{\nu }^{\ast }=1,\ 

228: \rho _i\rho _j=\sum\limits_{k=0}^n\sum\limits_{l=1}^{N_{ij}^k}(T_{ij}^k)_{\nu }\rho _k(T_{ij}^k)_{\nu }^{\ast }.$$

229: \end{enumerate}

230: 

231: If $N\subset M$ is an inclusion of infinite factors with finite index and finite depth, 

232: then we can obtain a finite system of $\text{End}(M)_0$ closed under sector operations 

233: by taking irreducible components in $([\iota ] \overline{[\iota ]})^n$, $([\iota ] \overline{[\iota ]})^n 

234: [\iota ] $, $\overline{[\iota ]} ([\iota ] \overline{[\iota ]})^n $ and 

235: $(\overline{[\iota ]} [\iota ])^n$, where $\iota : N \hookrightarrow M$ is the inclusion 

236: map (See \cite{KSW} for detail). 

237: We call it a {\it finite system of $\text{End}(M)_0$ obtained from $N\subset M$}. 

238: \par 

239: Frobenius reciprocities for sectors were established by Izumi \cite{Izumi3} as an analogue to Frobenius reciprocities  

240: for group representations and bimodules with left and right actions of II$_1$-factors \cite{EK}. 

241: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

242: of an infinite factor $M$ with finite index and finite depth. 

243: For $\rho ,\eta ,\zeta \in \Delta $, let $\mathcal{H}_{\rho \eta }^{\zeta }$ 

244: denote the intertwiner space $(\zeta , \rho \eta )$. 

245: Then, two conjugate linear maps 

246: $(\widetilde{\mathstrut  \cdot })_{\rho \eta }^{\zeta }:\mathcal{H}_{\rho \eta }^{\zeta }\longrightarrow \mathcal{H}_{\bar{\rho } \zeta }^{\eta }$ 

247: and $(\widehat{\mathstrut \cdot })_{\rho \eta }^{\zeta }:\mathcal{H}_{\rho \eta }^{\zeta }\longrightarrow \mathcal{H}_{\zeta \bar{\eta} }^{\rho }$ 

248: are defined by 

249: $$(\widetilde{A})_{\rho \eta }^{\zeta }=\sqrt{\dfrac{d(\rho )d(\eta )}{d(\zeta )}}\bar{\rho }(A^{\ast })R_{\rho },\quad 

250: (\widehat{A})_{\rho \eta }^{\zeta }=\sqrt{\dfrac{d(\rho )d(\eta )}{d(\zeta )}}A^{\ast} \rho (\bar{R}_{\eta })$$

251: for all $A\in \mathcal{H}_{\rho \eta }^{\zeta }$, respectively. 

252: They give rise to an action of the symmetric group $S_3$ of degree $3$ between the following spaces:

253: $$\mathcal{H}_{\rho \eta }^{\zeta }, \mathcal{H}_{\bar{\zeta} \rho }^{\bar{\eta }}, 

254: \mathcal{H}_{\eta \bar{\zeta }}^{\bar{\rho } }, \mathcal{H}_{\bar{\eta} \bar{\rho} }^{\bar{\zeta }}, 

255: \mathcal{H}_{\bar{\rho } \zeta }^{\eta }, \mathcal{H}_{\zeta \bar{\eta }}^{\rho }.$$ 

256: The maps $(\widetilde{\mathstrut \cdot })_{\rho \eta }^{\zeta }$ 

257: and $(\widehat{\mathstrut \cdot })_{\rho \eta }^{\zeta }$ are called the (left) Frobenius reciprocity maps \cite{Izumi3}. 

258: For simplicity, we frequently write $\widetilde{A}$ and $\widehat{A}$ instead of 

259: $(\widetilde{A})_{\rho \eta }^{\zeta }$ and $(\widehat{A})_{\rho \eta }^{\zeta }$, respectively. 

260: 

261: \par \bigskip 

262: We will describe the Turaev-Viro-Ocneanu TQFT's arising from subfactors in the setting of sectors \cite{EK, Ocneanu1}. 

263: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

264: of an infinite factor $M$ with finite index and finite depth. 

265: We fix an orthonormal basis $\mathcal{B}_{\rho  \eta }^{\zeta }$ of $\mathcal{H}_{\rho  \eta }^{\zeta }$ 

266: for each $\rho , \eta , \zeta \in \Delta $.  

267: \par 

268: A simplicial complex $\mathcal{K}$ which edges are oriented is called {\it a locally ordered complex}, 

269: if there is no cyclic order for the $3$ edges of any triangle in $\mathcal{K}$. 

270: By a {\it color} of a locally ordered complex $\mathcal{K}$, we mean a map 

271: $$\xi : \{ \text{the oriented edges and the triangles in $\mathcal{K}$ }\} 

272: \longrightarrow \Delta \cup \bigcup\limits_{\rho ,\eta ,\zeta \in \Delta } \mathcal{B}_{\rho  \eta }^{\zeta }$$

273: satisfying the following two conditions.

274: \begin{enumerate}

275: \item[(i)] $\xi (E)\in \Delta $ for each oriented edge $E$ in $\mathcal{K}$.

276: \item[(ii)] If $\xi (\langle v_0,v_1\rangle )=\rho ,\ \xi (\langle v_1,v_2\rangle )=\eta ,\ 

277: \xi (\langle v_0,v_2\rangle )=\zeta $ for a triangle $|v_0v_1v_2|$ in $\mathcal{K}$, 

278: then $\xi (\vert v_0v_1v_2\vert )\in \mathcal{B}_{\rho  \eta }^{\zeta }$. 

279: \end{enumerate}

280: 

281: We follow the convention that 

282: $\xi (-E)=\overline{\xi (E)}$ for each oriented edge $E$ in $\mathcal{K}$, 

283: where $-E$ denotes the same edge $E$ with opposite orientation. 

284: 

285: 

286: For a color $\xi $ we define a positive real number $d(\xi )$ by 

287: $$d(\xi )=\prod _{e\text{ : edges of $K$}}d(\xi (e)).$$ 

288: 

289: \begin{figure}[hbtp]

290: \setlength{\unitlength}{1cm}

291: \begin{center}

292: \vspace{-0.3cm}

293: \includegraphics[height=3cm]{wsil01.eps}

294: %locally_ordered_tetrahedron.eps

295: \caption{a tetrahedron \label{Figure1}}

296: \end{center}

297: \end{figure}

298: 

299: Let $X$ be a compact oriented $3$-manifold possibly with boundary. 

300: We fix a locally ordered complex $\mathcal{K}$ that is a triangulation of $\partial X$, 

301: and choose a locally ordered complex $\mathcal{T}$ that is a triangulation of $X$ 

302: satisfying $\partial \mathcal{T}=\mathcal{K}$. 

303: To a color $\varphi $ of $\mathcal{T}$ and a tetrahedron $\sigma =\vert

304: v_0v_1v_2v_3\vert $ in $\mathcal{T}$ depicted as in Figure \ref{Figure1}, 

305: we assign a complex number defined by 

306: 

307: $$\dfrac{1}{\sqrt{d(i)d(j)}}A^{\ast }B^{\ast }a(C)D, $$

308: where $\varphi (\langle v_0,v_1\rangle )=a$, $\varphi (\langle v_1,v_2\rangle )=b$, 

309: $\varphi (\langle v_2,v_3\rangle )=c$, $\varphi (\langle v_0,v_2\rangle )=i$, 

310: $\varphi (\langle v_1,v_3\rangle )=j$, $\varphi (\langle v_0,v_3\rangle )=k$, 

311: $\varphi (|v_1v_2v_3|)=A$, $\varphi (|v_0v_1v_2|)=B$, $\varphi (|v_1v_2v_3|)=C$, 

312: $\varphi (|v_0v_1v_3|)=D$ (see Figure \ref{Figure1a}). 

313: We denote the above complex number or its complex conjugate by $W(\sigma ; \varphi  )$ according to compatibility of 

314: orientations for $M$ and $\sigma$. 

315: Here, the orientation for $\sigma $ is given by the order $v_0<v_1<v_2<v_3$. 

316: 

317: \begin{figure}[hbtp]

318: \setlength{\unitlength}{1cm}

319: \begin{center}

320: \vspace{-0.3cm}

321: \includegraphics[height=3cm]{wsil01a.eps}

322: %colored_tetrahedron.eps

323: \caption{a colored tetrahedron \label{Figure1a}}

324: \end{center}

325: \end{figure}

326: 

327: \par 

328: For a color $\xi $ of $\partial \mathcal{T}$, we set 

329: 

330: $$Z(X;\mathcal{T},\xi ):=\lambda ^{-\sharp \mathcal{T}^{(0)}+\frac{\sharp (\partial \mathcal{T})^{(0)}}{2}}\sqrt{d(\xi )}

331: \sum \limits_{\substack{\varphi \text{:color of $\mathcal{T}$}\\ \varphi \vert _{\partial \mathcal{T}}=\xi }}\kern-0.7em

332: d(\varphi \vert _{\mathcal{T}-\partial \mathcal{T}})\kern-0.5em \prod \limits_{\sigma :\text{tetrahedra}}W(\sigma ;\varphi ),$$

333: where $\mathcal{T}^{(0)}$ and $\partial \mathcal{T}^{(0)}$ are the sets of vertices of $\mathcal{T}$ 

334: and $\partial \mathcal{T}$, respectively, and $\lambda =\sum\limits_{i=0}^nd(\rho _i)^2$, 

335: which is called the {\it global index} of $\Delta $. 

336: It is proved that 

337: $Z(X;\mathcal{T},\xi )$ does not depend on the choice of orthonormal bases $\mathcal{B}_{\rho  \eta }^{\zeta }$\ 

338: $(\rho ,\eta ,\zeta \in \Delta )$, 

339: and the choice of triangulations $\mathcal{T}$ of $X$ such that $\partial \mathcal{T}=\mathcal{K}$ \cite{EK}. 

340: In particular, if $X$ is closed, 

341: then $Z(X;\mathcal{T},\xi )$ is a topological invariant of the closed oriented $3$-manifold $X$. So we may denote it by $Z(X)$, 

342: and refer this invariant as the Turaev-Viro-Ocneanu invariant of $X$. 

343: 

344: \par \bigskip 

345: The method of the construction of $Z(X;\mathcal{T},\xi )$ as mentioned above gives rise to a functor

346: $Z^{\Delta }$ that satisfies the axioms of topological quantum field theory as posed by

347: Atiyah \cite{Atiyah}. (Although the same functor was denoted by $Z_{\Delta }$ in the previous paper \cite{KSW}, 

348: we use the notation $Z^{\Delta }$ for such a functor in order to improve the appearance of notations used later.) 

349: We briefly describe the method of constructing such a functor $Z^{\Delta }$ following Turaev and Viro's paper \cite{TV} 

350: and Yetter's paper \cite{Yetter}.

351: \par 

352: Let $\mathcal{P}(\Sigma )$ denote the set of locally ordered complexes 

353: that are triangulations of a closed oriented surface $\Sigma $.  

354: For $\mathcal{K}\in \mathcal{P}(\Sigma )$, we denote by $V(\Sigma ;\mathcal{K})$ 

355: the $\mathbb{C}$-vector space freely spanned by the colors of $\mathcal{K}$. If $\Sigma =\emptyset $, 

356: then we set $V(\Sigma ; \mathcal{K}):=\mathbb{C}$. 

357: By a $(2+1)$-dimensional cobordism with triangulated boundary 

358: we mean a $(2+1)$-dimensional cobordism $(X;\Sigma _1,\Sigma _2)$ 

359: between oriented closed surfaces $\Sigma _1$ and $\Sigma _2$ triangulated by locally ordered complexes 

360: $\mathcal{K}_1$ and $\mathcal{K}_2$, respectively. 

361: We denote it by $(X;\mathcal{K}_1,\mathcal{K}_2)$. 

362: For such a cobordism $W=(X;\mathcal{K}_1,\mathcal{K}_2)$, 

363: a $\mathbb{C}$-linear map $\Phi _W:V(\Sigma _1;\mathcal{K}_1)\longrightarrow V(\Sigma _2;\mathcal{K}_2)$ is defined by 

364: $$\Phi _W(\xi _1)=\sum\limits_{\xi _2\text{ : the colors of $\mathcal{K}_2$}} Z(X;\mathcal{T}, \xi _1\cup \xi _2)\xi _2,$$

365: for all colors $\xi _1$ of $\mathcal{K}_1$, where 

366: $\mathcal{T}$ is a triangulation of $X$ such that $\partial \mathcal{T}=\mathcal{K}_1\cup \mathcal{K}_2$, and 

367: $\xi _1\cup \xi _2$ is the color of $\mathcal{T}$ given by $(\xi _1\cup \xi _2)\vert _{\mathcal{K}_i}=\xi _i\ (i=1,2)$. 

368: \par 

369: For a locally ordered complex $\mathcal{K}\in \mathcal{P}(\Sigma )$ 

370: and a stellar subdivision $\mathcal{K}'$ of $\mathcal{K}$, which is denoted by $\mathcal{K}'\leq \mathcal{K}$, 

371: we have a cobordism with triangulated boundary 

372: $Id_{\mathcal{K}',\mathcal{K}}:=(\Sigma \times [0,1];\mathcal{K}',\mathcal{K})$ such that $\Sigma \times \{ 0\} $ and 

373: $\Sigma \times \{ 1\} $ are triangulated by $\mathcal{K}'$ and $\mathcal{K}$, respectively. 

374: This cobordism induces the $\mathbb{C}$-linear map 

375: $\Phi _{Id_{\mathcal{K}',\mathcal{K}}}:V(\Sigma ;\mathcal{K})\longrightarrow V(\Sigma ;\mathcal{K}')$. 

376: Let $\iota _{\mathcal{K}}:V(\Sigma ;\mathcal{K})\longrightarrow \bigoplus_{\mathcal{K}\in \mathcal{P}(\Sigma )}V(\Sigma ;\mathcal{K})$ be the canonical injection, and 

377: $W(\Sigma )$ the subspace of $\bigoplus_{\mathcal{K}\in \mathcal{P}(\Sigma )}V(\Sigma ;\mathcal{K})$ spanned by 

378: $$\{ \iota _{\mathcal{K}'}(x)-(\iota _{\mathcal{K}}\circ \Phi _{\mathcal{K}',\mathcal{K}})(x)\ \vert \ x\in V(\Sigma ;\mathcal{K}'),\ \mathcal{K},\mathcal{K}'\in \mathcal{P}(\Sigma ),\ \mathcal{K'}\leq \mathcal{K}\} .$$

379: We consider the quotient space 

380: $$Z^{\Delta }(\Sigma )=\bigoplus _{\mathcal{K}\in \mathcal{P}(\Sigma )}V(\Sigma ;\mathcal{K})/W(\Sigma ) .$$ 

381: Since $\Phi _{Id_{\mathcal{K},\mathcal{K}}}^2=\Phi _{Id_{\mathcal{K},\mathcal{K}}}$, the following lemma holds. 

382: 

383: \par \bigskip 

384: \begin{lem}[Yetter \cite{Yetter}]

385: \label{Lemma1}  

386: Let $u_{\mathcal{K}}:V(\Sigma ;\mathcal{K})\longrightarrow Z^{\Delta }(\Sigma )$ be the composition of 

387: $\iota _{\mathcal{K}}$ and the natural projection 

388: $\bigoplus _{\mathcal{K}\in \mathcal{P}(\Sigma )}V(\Sigma ;\mathcal{K})\longrightarrow Z^{\Delta }(\Sigma )$. 

389: Then, $u_{\mathcal{K}}$ is surjective and 

390: $\text{Ker}\kern0.2em u_{\mathcal{K}}=\text{Ker}\kern0.2em \Phi _{Id_{\mathcal{K},\mathcal{K}}}$. 

391: In particular, $Z^{\Delta }(\Sigma )$ is finite-dimensional, and 

392: $Z^{\Delta }(\Sigma )\cong V(\Sigma ;\mathcal{K})/\text{Ker}\kern0.2em \Phi _{Id_{\mathcal{K},\mathcal{K}}}$ 

393: as vector spaces. 

394: \end{lem}

395: 

396: By the above lemma, we can verify that 

397: the linear map $\Phi _W$ induces a linear map 

398: $Z_W^{\Delta }: Z^{\Delta }(\Sigma _1)\longrightarrow Z^{\Delta }(\Sigma _2)$ 

399: for each cobordism with triangulated boundary $W$, and $Z_W^{\Delta }$ does not depend on the choice of triangulations. 

400: \par 

401: Let $f:(\Sigma _1, \mathcal{K}_1) \longrightarrow (\Sigma _2, \mathcal{K}_2)$ be an isomorphism 

402: between closed oriented surfaces $\Sigma _1$  and $\Sigma _2$ 

403: triangulated by locally ordered complexes $\mathcal{K}_1$ and $\mathcal{K}_2$, respectively. 

404: Then, a $\mathbb{C}$-linear isomorphism 

405: $\Phi (f):V(\Sigma _1;\mathcal{K}_1)\longrightarrow V(\Sigma _2;\mathcal{K}_2)$ 

406: is defined by

407: $$\Phi (f)(\xi _1)=\xi _1\circ f^{-1},$$

408: for all colors $\xi _1$ of $\mathcal{K}_1$. 

409: Here, $\xi _1\circ f^{-1}$ is a color of $\mathcal{K}_2$ such that 

410: $(\xi _1\circ f^{-1})(E)=\xi _1(f^{-1}(E))$ for each edge and face $E$ of $\mathcal{K}_2$. 

411: \par 

412: Let $f:\Sigma _1 \longrightarrow \Sigma _2$ be an 

413: orientation preserving PL-homeomorphism between closed oriented surfaces. 

414: For $\mathcal{K}_i\in \mathcal{P}(\Sigma _i)\ (i=1,2)$, 

415: there exists a refinement $\mathcal{K}_i'$ of $\mathcal{K}_i$ such that $f$ is 

416: an isomorphism from $\mathcal{K}_1'$ to $\mathcal{K}_2'$ as a locally ordered complex.

417: Then, we have a linear map

418: $$f_{\#}:=\Phi _{Id_{\mathcal{K}_2',\mathcal{K}_2}}\circ \Phi (f)\circ \Phi_{Id_{\mathcal{K}_1,\mathcal{K}_1'}}.$$

419: 

420: By Lemma \ref{Lemma1}, we can verify that 

421: the linear map $f_{\#}$ induces the linear isomorphism 

422: $Z^{\Delta }(f): Z^{\Delta }(\Sigma _1)\longrightarrow Z^{\Delta }(\Sigma _2)$, and 

423: $Z^{\Delta }(f)$ does not depend on the choice of triangulations. 

424: \par 

425: In the above manner, 

426: we have a functor $Z^{\Delta }$ that assigns 

427: to each closed oriented surface $\Sigma $ the $\mathbb{C}$-vector space $Z^{\Delta }(\Sigma )$, 

428: to each $(2+1)$-dimensional cobordism $W$ the $\mathbb{C}$-linear map $Z_W^{\Delta }$, and 

429: to each orientation preserving PL-homeomorphism $f$ 

430: between closed oriented surfaces the $\mathbb{C}$-linear isomorphism $Z^{\Delta }(f)$. 

431: This functor $Z^{\Delta }$ satisfies the axioms for $(2+1)$-dimensional TQFT. 

432: Furthermore, the TQFT $Z^{\Delta }$ is unitary, since 

433: $Z^{\Delta }(\Sigma )$ becomes a Hilbert space with the inner product induced from the hermitian form on $V(\Sigma ;\mathcal{K})$, which is defined by  

434: $$\langle \xi _0, \xi _1 \rangle _{TQFT}=Z^{\Delta }(\Sigma \times [0,1];\mathcal{K}\times [0,1], \xi _0\cup \xi _1)$$ 

435: for all pairs of colors $\xi _0$ and $\xi _1$ of $\mathcal{K}$ \cite{SuzukiWakui, Turaev}. 

436: 

437: 

438: 

439: \par \bigskip 

440: \section{\kern-1em .\ \ Fusion Algebras Associated with Turaev-Viro-Ocneanu TQFT's}

441: \par 

442: For a short while, we consider a $(2+1)$-dimensional TQFT $Z$ in a general situation apart from subfactors. 

443: We describe the definition of the fusion algebra in the $(2+1)$-dimensional TQFT $Z$, and 

444: introduce our version of Verlinde basis of $Z(S^1\times S^1)$ (see Definition \ref{Definition}). 

445: \par 

446: Let $W$ be the cobordism $(Y\times S^1; \Sigma _1\sqcup \Sigma _2, \Sigma _3)$, where $Y$ is

447: the $3$-holed sphere in $\mathbb{R}^3$

448: depicted in Figure \ref{Figure2} and $\Sigma _i=C_i\times S^1$ for $i=1,2,3$. 

449: Then, $W$ induces a 

450: linear map $Z_W: Z(S^1\times S^1)\otimes Z(S^1\times S^1)\longrightarrow

451: Z(S^1\times S^1)$. It 

452: can be easily verified that the map $Z_W$ gives an associative algebra structure

453: on $Z(S^1\times S^1)$. The identity element of this algebra is given by

454: $Z_{W_0}(1)$, where $W_0:=(D^2\times S^1; \emptyset , S^1\times S^1)$. We

455: call this algebra the {\it fusion algebra associated with $Z$}.

456: 

457: \begin{figure}[hbtp]

458: \begin{center}

459: \includegraphics[height=3cm]{wsil02.eps}

460: %pants4.eps

461: \caption{the compact oriented surface $Y$ \label{Figure2}}

462: \end{center}

463: \end{figure}

464: 

465: Let us recall that the mapping class group $\varGamma_{S^1\times S^1}$ of the torus $S^1\times S^1$ 

466: is isomorphic to the group 

467: $SL(2,\mathbb{Z})$ of integral $2\times 2$-matrices with determinant $1$. 

468: It is well-known that this group is generated by $S=\begin{pmatrix} 0 & 1 \\ -1 & 0

469: \end{pmatrix}$ and $T=\begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix}$ with relations

470: $S^4=I,\ (ST)^3=S^2$. The matrices $S$ and $T$ correspond to the orientation preserving diffeomorphisms 

471: from $S^1\times S^1$ to $S^1\times S^1$ which are defined by 

472: 

473: \begin{equation}

474: S(z,w)=(\bar{w},z), \qquad 

475: T(z,w)=(zw,w) \label{eq1}

476: \end{equation}

477: 

478: \noindent 

479: for all $(z,w)\in S^1\times S^1$, respectively, where 

480: we regard $S^1$ as the set of complex numbers of absolute value $1$. 

481: To define the Verlinde basis, 

482: we need one more orientation preserving diffeomorphism 

483: $U: S^1\times S^1\longrightarrow - S^1\times S^1$ 

484: defined by $U(z,w)=(z,\bar{w})$ for all $(z,w)\in S^1\times S^1$ (see Figure \ref{Figure3}). 

485: 

486: \par \bigskip 

487: \begin{defn}[\cite{KSW}]\ \ 

488: \label{Definition}

489: Let $Z$ be a $(2+1)$-dimensional TQFT. A basis $\{ v_i\} _{i=0}^m$ of $Z(S^1\times S^1)$ 

490: is said to be a {\it Verlinde basis} if it has the following properties. 

491: \begin{enumerate} 

492: \item[(i)] $v_0$ is the identity element of the fusion algebra associated with $Z$. 

493: \item[(ii)] 

494: \begin{enumerate} 

495: \item[(a)] $Z(S)$ is represented by a unitary and symmetric matrix with respect to the basis $\{ v_i\} _{i=0}^m$.

496: \item[(b)] $Z(S)^2v_0=v_0$, and $Z(S)^2v_i\in \{ v_j\} _{j=0}^m$ for all $i$. 

497: \item[(c)] We define $S_{ji}\in \mathbb{C}$ by $Z(S)v_i=\sum_{i=0}^mS_{ji}v_j$. Then, 

498: \begin{enumerate} 

499: \item[1.] $S_{i0}\not= 0$ for all $i$. 

500: \item[2.] $N_{ij}^k:=\sum_{l=0}^m\frac{S_{il}S_{jl}\overline{S_{lk}}}{S_{0l}}\ (i,j,k=0,1,\cdots ,m)$ 

501: coincide with the structure constants of the fusion algebra with respect to $\{ v_i\} _{i=0}^m$. 

502: \end{enumerate}

503: \end{enumerate}

504: \item[(iii)] $Z(T)$ is represented by a diagonal matrix with respect to the basis $\{ v_i\} _{i=0}^m$. 

505: \item[(iv)] $Z(U)v_i=v_{i}^{\ast }$ for all $i$ 

506: under the identification $Z(-S^1\times S^1)\cong Z(S^1\times S^1)^{\ast }$. 

507: \end{enumerate}

508: \end{defn}

509: 

510: \begin{figure}[hbtp]

511: \begin{center}

512: \setlength{\unitlength}{1cm}

513: \includegraphics[height=6cm]{wsil03.eps}

514: %SL(Z,2)2.eps

515: \caption{the action of $SL(2,\mathbb{Z})$ \label{Figure3}}

516: \end{center}

517: \end{figure}

518: 

519: \par \bigskip 

520: \begin{rems}

521: \label{remarks}

522: 1. If $\{ v_i\} _{i=0}^m$ is a Verlinde basis, then $S_{i0}$ is a real number for all $i$.  

523: \par 

524: \noindent 

525: 2. A Verlinde basis is unique up to order of elements, 

526: since $w_i=S_{0i}\sum_{j=0}^m\overline{S_{ji}}v_j$\ $(i=0,1,\cdots ,m)$ 

527: are all orthogonal primitive idempotents in the fusion algebra satisfying $1=w_0+w_1+\cdots +w_m$. 

528: This fact follows from that the $S$-matrix diagonalizes the fusion rules in conformal field theory \cite{Verlinde}. 

529: \par 

530: \noindent 

531: 3. The map $\overline{\mathstrut \ \cdot \ }:\{ 0,1,\cdots ,m\} \longrightarrow \{ 0,1,\cdots ,m\} $ defined by $Z(S)^2v_i=v_{\bar{i}}$ is an involution satisfying $\bar{0}=0$. 

532: \par 

533: \noindent 

534: 4. The last condition (iv) was introduced in \cite{Wakui} and modified in \cite{SuzukiWakui}. 

535: \end{rems}

536: 

537: \par \bigskip 

538: We go back to the setting of subfactors. 

539: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

540: of an infinite factor $M$ with finite index and finite depth. 

541: To calculate the product of the fusion algebra and the representation of $SL(2,\mathbb{Z})$ 

542: associated with the Turaev-Viro-Ocneanu TQFT $Z^{\Delta }$ arising from subfactors, 

543: we show that the fusion algebra associated with $Z^{\Delta }$ 

544: can be regarded as a subalgebra of the tube algebra, 

545: which plays a crucial role in the Turaev-Viro-Ocneanu TQFT. 

546: We review the definition of a tube algebra \cite{KSW} in $Z^{\Delta }$, 

547: which was first introduced by Ocneanu \cite{Ocneanu1}. 

548: \par 

549: The tube algebra $\text{Tube}\Delta $ is a finite-dimensional $C^{\ast }$-algebra over $\mathbb{C}$  

550: which is defined by 

551: $$\text{Tube}\Delta 

552: =\bigoplus\limits_{\rho ,\xi ,\zeta ,\eta \in \Delta }

553: \mathcal{H}_{\rho \eta }^{\zeta }\otimes \mathcal{H}_{\eta \xi }^{\zeta }$$

554: as $\mathbb{C}$-vector spaces. 

555: The product of $\text{Tube}\Delta $ is given by 

556: $$(X_1\otimes X_2)\cdot (Y_1\otimes Y_2)

557: =\delta _{\xi ,\eta }\dfrac{\lambda }{\sqrt{d(\rho )d(\zeta )}d(\xi )} 

558: \sum\limits_{\substack{r,c\in \Delta \\ Z_1\in \mathcal{B}_{\rho c}^r\\ Z_2\in \mathcal{B}_{c \zeta }^r}}

559: Z(D^2\times S^1;{}_{\rho ,a,p,X_1,X_2;\eta ,b,q,Y_1,Y_2}^{\zeta ,c,r,Z_1,Z_2})Z_1\otimes Z_2$$

560: for $X_1\otimes X_2\in \mathcal{H}_{\rho  a}^p\otimes \mathcal{H}_{a \xi }^p$, 

561: $Y_1\otimes Y_2\in \mathcal{H}_{\eta  b}^q\otimes \mathcal{H}_{b \zeta }^q$, 

562: where $\delta _{\xi ,\eta }$ is Kronecker's delta, 

563: $\lambda $ is the global index of $\Delta $, $\mathcal{B}_{\rho c}^r$ and 

564: $\mathcal{B}_{c \zeta }^r$ are orthonormal bases of $\mathcal{H}_{\rho c}^r$ and 

565: $\mathcal{H}_{c \zeta }^r$, respectively, 

566: and $Z(D^2\times S^1;{}_{\rho ,a,p,X_1,X_2;\eta ,b,q,Y_1,Y_2}^{\zeta ,c,r,Z_1,Z_2})$ is 

567: the Turaev-Viro-Ocneanu invariant of the solid torus $D^2\times S^1$ 

568: triangulated by $\mathcal{T}$ with colored boundary illustrated as in Figure \ref{Figure4}. 

569: (Here, the two triangles shaded inside are identified.) 

570: We remark that the normalization of the product is slightly different from one in Ocneanu's definition \cite{Ocneanu1}. 

571: 

572: \begin{figure}[hbt]

573: \setlength{\unitlength}{1cm}

574: \begin{center}

575: \includegraphics[height=4.5cm]{wsil04.eps}

576: %colored_solidtorus2.eps

577: \caption{the coefficient of the product of $\text{Tube}\Delta $ \label{Figure4}}

578: \end{center}

579: \end{figure}

580: 

581: Let $V^{\Delta }(S^1\times S^1)$ denote the subalgebra of $\text{Tube}\Delta $ defined by 

582: $$V^{\Delta }(S^1\times S^1)=\bigoplus\limits_{\rho ,\zeta ,\eta \in \Delta }\mathcal{H}_{\rho \eta }^{\zeta }\otimes \mathcal{H}_{\eta \rho }^{\zeta }.$$

583: We regard $S^1\times S^1$ as a quotient space obtained from a square by identifying the opposite sides. 

584: Then, $V^{\Delta }(S^1\times S^1)$ is canonically identified with $V(S^1\times S^1;\mathcal{K})$ 

585: as a vector space, where $\mathcal{K}$ is the locally ordered complex depicted in Figure \ref{Figure5} 

586: that gives a singular triangulation of $S^1\times S^1$. 

587: 

588: \begin{figure}[htbp]

589: \setlength{\unitlength}{0.7cm}

590: \begin{center}

591: \begin{picture}(5,4)

592: \put(2,1){\framebox(2.5,2.5)}

593: \put(2,1){\line(1,1){2.5}}

594: \put(3.2,2.2){\line(1,0){0.2}}

595: \put(3.2,2.2){\line(0,1){0.2}}

596: \put(0.5,2){$\mathcal{K}$ =}

597: \put(3,0.85){$\ll $}

598: \put(3,3.38){$\ll $}

599: \put(1.8,2.2){$\vee $}

600: \put(4.32,2.2){$\vee $}

601: \end{picture}

602: \caption{a distinguished triangulation $\mathcal{K}$ of $S^1\times S^1$ \label{Figure5}}

603: \end{center}

604: \end{figure}

605: 

606: Under the identification $V^{\Delta }(S^1\times S^1)=V(S^1\times S^1;\mathcal{K})$, 

607: each element $X_1\otimes X_2$ in $V^{\Delta }(S^1\times S^1)$ such that  

608: $X_1\in \mathcal{H}_{\rho a}^p$ and $X_2\in \mathcal{H}_{a\rho }^p$, 

609: corresponds to the color of $\mathcal{K}$ depicted in Figure \ref{Figure6}. 

610: 

611: \begin{figure}[htbp]

612: \setlength{\unitlength}{0.7cm}

613: \begin{center}

614: \begin{picture}(5,4)

615: \put(2,1){\framebox(2.5,2.5)}

616: \put(2,1){\line(1,1){2.5}}

617: \put(3.2,2.2){\line(1,0){0.2}}

618: \put(3.2,2.2){\line(0,1){0.2}}

619: \put(3,0.4){$a$}

620: \put(3,3.8){$a$}

621: \put(3,0.85){$\ll $}

622: \put(3,3.38){$\ll $}

623: \put(1.4,2.2){$\rho $}

624: \put(4.8,2.2){$\rho $}

625: \put(1.8,2.2){$\vee $}

626: \put(4.32,2.2){$\vee $}

627: \put(3.1,2.5){$p$}

628: \put(2.4,2.6){$X_1$}

629: \put(3.4,1.6){$X_2$}

630: \end{picture}

631: \caption{a color of $\mathcal{K}$ \label{Figure6}}

632: \end{center}

633: \end{figure}

634: 

635: 

636: Now, we have two products on $V^{\Delta }(S^1\times S^1)$. 

637: One is obtained from the product of the tube algebra $\text{Tube}\Delta $ by restricting to $V^{\Delta }(S^1\times S^1)$. Another comes from the product of the fusion algebra $Z^{\Delta }(S^1\times S^1)$. They are not same, 

638: but are closely related as follows. 

639: 

640: 

641: \par \bigskip 

642: \begin{prop}

643: \label{Proposition1}  

644: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ of an infinite factor $M$ with finite index and finite depth. 

645: Let $P:V^{\Delta }(S^1\times S^1)\longrightarrow V^{\Delta }(S^1\times S^1)$ be the conjugate linear map defined by $P(X_1\otimes X_2)=X_2\otimes X_1$ for all $X_1\in \mathcal{H}_{\rho a}^p$ and $X_2\in \mathcal{H}_{a\rho }^p$. 

646: Then, the product $m_{\text{tube}}$ of the subalgebra $V^{\Delta }(S^1\times S^1)$ of $\text{Tube}\Delta $ 

647: and the product $m_{\text{fusion}}$ of the fusion algebra associated to $Z^{\Delta }$ 

648: are related by the following commutative diagram. 

649: 

650: \begin{equation*}

651: \begin{CD}

652: V^{\Delta }(S^1\times S^1) \otimes V^{\Delta }(S^1\times S^1)  @>m_{\text{tube}}>> V^{\Delta }(S^1\times S^1) \\ 

653: @VP\otimes PVV @VVPV \\ 

654: V^{\Delta }(S^1\times S^1) \otimes V^{\Delta }(S^1\times S^1)  @. V^{\Delta }(S^1\times S^1) \\ 

655: @Vu\otimes uVV @VVuV \\ 

656: Z^{\Delta }(S^1\times S^1)\otimes Z^{\Delta }(S^1\times S^1) @>m_{\text{fusion}}>> Z^{\Delta }(S^1\times S^1) 

657: \end{CD}

658: \end{equation*}

659: Here, $u$ is the universal arrow associated to $Z^{\Delta }(S^1\times S^1)$ defined as in Lemma \ref{Lemma1}. 

660: \end{prop}

661: 

662: \indent 

663: {\bf Proof.} 

664: The $3$-holed sphere $Y$ in $\mathbb{R}^3$ is obtained as an identifying space of a regular heptagon. 

665: It is triangulated as in the right-hand side of Figure \ref{Figure7}. 

666: 

667: \begin{figure}[hbtp]

668: \setlength{\unitlength}{1cm}

669: \begin{center}

670: \includegraphics[height=4cm]{wsil07.eps}

671: %decomp_of_pants.eps

672: \caption{a triangulation of $Y$ \label{Figure7}}

673: \end{center}

674: \end{figure}

675: 

676: Therefore, the $3$-manifold $Y\times S^1$ is realized in $\mathbb{R}^3$ 

677: by the (singular) locally ordered complex $\tilde{\mathcal{K}}$ illustrated in Figure \ref{Figure8} 

678: (the cube with vertices $\underline{v}_0,\underline{v}_1,\underline{v}_4,\underline{v}_5$, 

679: $\overline{v}_0,\overline{v}_1,\overline{v}_4,\overline{v}_5$ and 

680: the cube with vertices $\underline{v}_2,\underline{v}_3,\underline{v}_5,\underline{v}_6$, 

681: $\overline{v}_2,\overline{v}_3,\overline{v}_5,\overline{v}_6$ are decomposed as product complexes, respectively). 

682: 

683: \begin{figure}[hbtp]

684: \setlength{\unitlength}{1cm}

685: \begin{center}

686: \includegraphics[height=6cm]{wsil08.eps}

687: %decomp_of_fusion6.eps

688: \caption{a triangulation of $Y\times S^1$ \label{Figure8}}

689: \end{center}

690: \end{figure}

691: 

692: Hence, the product of the fusion algebra of $Z^{\Delta }$ is given by the linear map 

693: $$Z_{\text{\scriptsize fusion}}^{\Delta }:Z^{\Delta }(S^1\times S^1)\otimes Z^{\Delta }(S^1\times S^1)

694: \longrightarrow Z^{\Delta }(S^1\times S^1),$$

695: which is induced from the cobordism with triangulated boundary

696: $$W_{\text{\scriptsize fusion}}:=(Y\times S^1;(C_1\times S^1,\mathcal{K}_1)\cup (C_2\times S^1,\mathcal{K}_2), (C_3\times S^1,\mathcal{K}_3)),$$

697: where $\mathcal{K}_i\ (i=1,2,3)$ is the sub-complex of $\tilde{\mathcal{K}}$ such that 

698: \begin{align*}

699: \mathcal{K}_1&=K(|\underline{v_0}\ \overline{v_0}\ \overline{v_1}|)\cup K(|\underline{v_0}\ \underline{v_1}\ \overline{v_1}|) ,\\ 

700: \mathcal{K}_2&=K(|\underline{v_2}\ \overline{v_2}\ \overline{v_3}|)\cup K(|\underline{v_2}\ \underline{v_3}\ \overline{v_3}|), \\ 

701: \mathcal{K}_3&=K(|\underline{v_4}\ \overline{v_4}\ \overline{v_6}|)\cup K(|\underline{v_4}\ \underline{v_6}\ \overline{v_6}|) . \end{align*}

702: 

703: We note that $\mathcal{K}_i$ is a copy of $\mathcal{K}$ for each $i=1,2,3$.

704: \par 

705: Let $\tilde{\mathcal{K}}_1, \tilde{\mathcal{K}}_2, \mathcal{L}$ be the sub-complexes of $\tilde{\mathcal{K}}$ 

706: depicted in Figure \ref{Figure9}. 

707: The geometrical realizations of $\tilde{\mathcal{K}}_1$ and $\tilde{\mathcal{K}}_2$ are $S^1\times S^1\times [0,1]$, 

708: and the geometrical realization of $\mathcal{L}$ is $H\times S^1$, 

709: where $H$ is the quotient space obtained from a $2$-simplex by identifying its three vertices. 

710: Let $Z(S^1\times S^1\times [0,1];{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$ and 

711: $Z(H\times S^1;a,{}_{\rho , p,X_1,X_2;\eta ,q,Y_1,Y_2}^{\zeta ,r,Z_1,Z_2})$ be the Turaev-Viro-Ocneanu invariants 

712: of $S^1\times S^1\times [0,1]$ triangulated by $\mathcal{K}\times [0,1]$ and 

713: of $H\times S^1$ triangulated by $\mathcal{L}$ assigned colors to their boundaries 

714: as in Figure \ref{Figure10}, respectively. 

715: 

716: \begin{figure}[hbtp]

717: \setlength{\unitlength}{1cm}

718: \begin{center}

719: \includegraphics[height=5cm]{wsil09.eps}

720: %decomp_of_fusion4.eps

721: \caption{three sub-complexes of $\tilde{\mathcal{K}}$ \label{Figure9}}

722: \end{center}

723: \end{figure}

724: 

725: \begin{figure}[hbt]

726: \setlength{\unitlength}{1cm}

727: \begin{center}

728: \includegraphics[height=4.5cm]{wsil10a.eps}

729: %colored_id_KK2.eps

730: \qquad \quad 

731: \includegraphics[height=4.5cm]{wsil10b.eps}

732: %colored_solidtorus.eps

733: \caption{triangulations of $S^1\times S^1\times [0,1]$ and $H\times S^1$ with colored boundaries \label{Figure10}}

734: \end{center}

735: \end{figure}

736: 

737: \begin{figure}[hbtp]

738: \setlength{\unitlength}{0.7cm}

739: \begin{center}

740: \begin{picture}(17,3.5)

741: \put(1.0,1){\framebox(2,2)}

742: \put(1.0,1){\line(1,1){2}}

743: \put(1.9,1.9){\line(1,0){0.2}}

744: \put(1.9,1.9){\line(0,1){0.2}}

745: \put(2.1,2.4){$p$}

746: \put(1.8,0.4){$a$}

747: \put(1.8,3.2){$a$}

748: \put(0.45,2.0){$\rho $}

749: \put(3.2,2.0){$\rho $}

750: \put(1.7,0.85){$\ll $}

751: \put(1.7,2.86){$\ll $}

752: \put(0.8,2){$\vee $}

753: \put(2.82,2){$\vee $}

754: \put(1.3,2.4){$X_1$}

755: \put(2.1,1.4){$X_2$}

756: \put(1.8,-0.3){$\mathcal{K}_1$}

757: \put(6.5,1){\framebox(2,2)}

758: \put(6.5,1){\line(1,1){2}}

759: \put(7.4,1.9){\line(1,0){0.2}}

760: \put(7.4,1.9){\line(0,1){0.2}}

761: \put(7.6,2.4){$q$}

762: \put(7.3,0.4){$b$}

763: \put(7.3,3.2){$b$}

764: \put(5.95,2.0){$\eta $}

765: \put(8.7,2.0){$\eta $}

766: \put(7.2,0.85){$\ll $}

767: \put(7.2,2.86){$\ll $}

768: \put(6.3,2){$\vee $}

769: \put(8.32,2){$\vee $}

770: \put(6.8,2.4){$Y_1$}

771: \put(7.6,1.4){$Y_2$}

772: \put(7.3,-0.3){$\mathcal{K}_2$}

773: \put(12.2,1){\framebox(2,2)}

774: \put(12.2,1){\line(1,1){2}}

775: \put(13.1,1.9){\line(1,0){0.2}}

776: \put(13.1,1.9){\line(0,1){0.2}}

777: \put(13.3,2.4){$r$}

778: \put(13.0,0.4){$c$}

779: \put(13.0,3.4){$c$}

780: \put(11.65,2.0){$\zeta $}

781: \put(14.4,2.0){$\zeta $}

782: \put(12.9,0.85){$\ll $}

783: \put(12.9,2.86){$\ll $}

784: \put(12.0,2){$\vee $}

785: \put(14.02,2){$\vee $}

786: \put(12.5,2.4){$Z_1$}

787: \put(13.3,1.4){$Z_2$}

788: \put(13.0,-0.3){$\mathcal{K}_3$}

789: \end{picture}

790: \caption{colors of $\mathcal{K}_1$, $\mathcal{K}_2$ and $\mathcal{K}_3$ \label{Figure11}}

791: \end{center}

792: \end{figure}

793: 

794: \par 

795: \pagebreak 

796: 

797: Then, the Turaev-Viro-Ocneanu invariant of $Y\times S^1$ triangulated by 

798: $\tilde{\mathcal{K}}$ assigned colors as in Figure \ref{Figure11} to 

799: $\mathcal{K}_1,\ \mathcal{K}_2,\ \mathcal{K}_3$ is given by 

800: 

801: \begin{align*}

802: &Z(Y\times S^1;{}_{\rho ,a,p,X_1,X_2;\eta ,b,q,Y_1,Y_2}^{\zeta ,c,r,Z_1,Z_2} )=

803: \dfrac{\lambda }{d(c)}\kern-0.9em \sum\limits _{\substack{\rho ',\eta ', p',q'\in \Delta \\ X_1'\in \mathcal{B}_{\rho 'c}^{p'}, X_2'\in \mathcal{B}_{c\rho '}^{p'}\\ Y_1'\in \mathcal{B}_{\eta 'c}^{q'}, Y_2'\in \mathcal{B}_{c\eta '}^{q'}}}

804: \kern-0.9em Z(H\times S^1;c,{}_{\rho ',p',X_1',X_2';\eta ',q',Y_1',Y_2'}^{\zeta ,r,Z_1,Z_2}) \notag \\ 

805: &\qquad \qquad \quad \qquad \times Z(S^1\times S^1\times [0,1];{}_{\rho ,a,p,X_1,X_2}^{\rho ',c,p',X_1',X_2'}) 

806: Z(S^1\times S^1\times [0,1];{}_{\eta ,b,q,Y_1,Y_2}^{\eta ',c,q',Y_1',Y_2'}). 

807: \end{align*}

808: 

809: Since 

810: 

811: \par 

812: \begin{figure}[hbtp]

813: \setlength{\unitlength}{0.7cm}

814: \begin{center}

815: \begin{picture}(17,3.2)

816: \put(1.5,1){\framebox(2,2)}

817: \put(1.5,1){\line(1,1){2}}

818: \put(2.4,1.9){\line(1,0){0.2}}

819: \put(2.4,1.9){\line(0,1){0.2}}

820: \put(2.6,2.4){$p$}

821: \put(2.3,0.4){$a$}

822: \put(2.3,3.2){$a$}

823: \put(0.95,2.0){$\rho $}

824: \put(3.7,2.0){$\rho $}

825: \put(2.2,0.85){$\ll $}

826: \put(2.2,2.86){$\ll $}

827: \put(1.3,2){$\vee $}

828: \put(3.32,2){$\vee $}

829: \put(1.8,2.4){$X_1$}

830: \put(2.6,1.4){$X_2$}

831: \put(-1,1.9){$\Phi _{Id_{\mathcal{K},\mathcal{K}}}$}

832: \put(0.6,1.9){$\Biggl ($}

833: \put(4,1.9){$\Biggr ) $}

834: \put(4.65,1.9){$=$}

835: \put(4.8,1.9){$\sum\limits_{\substack{\eta ,b,q\in \Delta \\ Y_1\in \mathcal{B}_{\eta b}^q\\ Y_2\in \mathcal{B}_{b \eta }^q}} Z(S^1\times S^1\times [0,1];{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$}

836: \put(14.5,1){\framebox(2,2)}

837: \put(14.5,1){\line(1,1){2}}

838: \put(15.4,1.9){\line(1,0){0.2}}

839: \put(15.4,1.9){\line(0,1){0.2}}

840: \put(15.6,2.4){$q$}

841: \put(15.3,0.4){$b$}

842: \put(15.3,3.2){$b$}

843: \put(13.95,2.0){$\eta $}

844: \put(16.7,2.0){$\eta $}

845: \put(15.2,0.85){$\ll $}

846: \put(15.2,2.86){$\ll $}

847: \put(14.3,2){$\vee $}

848: \put(16.32,2){$\vee $}

849: \put(14.8,2.4){$Y_1$}

850: \put(15.6,1.4){$Y_2$}

851: \put(17,1.4){,}

852: \end{picture}

853: \end{center}

854: \end{figure}

855: 

856: \par \noindent 

857: and 

858: $$Z(H\times S^1;c,{}_{\rho ',p',X_1',X_2';\eta ',q',Y_1',Y_2'}^{\zeta ,r,Z_1,Z_2})

859: =\dfrac{1}{d(c)}\overline{Z(D^2\times S^1;{}_{c,\rho ',p',X_2',X_1';c,\eta ',q',Y_2',Y_1'}^{c,\zeta ,r,Z_2',Z_1'})},$$ 

860: it follows that the following diagram commutes. 

861: 

862: {\small $$\setlength{\unitlength}{0.7mm}

863: \begin{picture}(150,50)(0,0)

864: \put(0,0){\makebox(20,10)[c]{$V^{\Delta }(S^1\times S^1)\otimes V^{\Delta }(S^1\times S^1)$}}

865: \put(0,30){\makebox(20,10)[c]{$V^{\Delta }(S^1\times S^1)\otimes V^{\Delta }(S^1\times S^1)$}}

866: \put(135,30){\makebox(20,10)[l]{$V^{\Delta }(S^1\times S^1)$}}

867: \put(78,0){\makebox(20,10)[c]{$V^{\Delta }(S^1\times S^1)\otimes V^{\Delta }(S^1\times S^1)$}}

868: \put(135,0){\makebox(20,10)[l]{$V^{\Delta }(S^1\times S^1)$}}

869: \put(75,40){$\Phi _{W_{\text{fusion}}}$}

870: \put(-25,20){$\Phi _{Id_{\mathcal{K},\mathcal{K}}}\otimes \Phi _{Id_{\mathcal{K},\mathcal{K}}}$}

871: \put(153,20){$P$}

872: \put(45,35){\vector(1,0){85}}

873: \put(10,30){\vector(0,-1){20}}

874: \put(150,30){\vector(0,-1){20}}

875: \put(42,5){\vector(1,0){15}}

876: \put(119,5){\vector(1,0){15}}

877: \put(43,8){$P\otimes P$}

878: \put(123,8){$\tilde{m}$}

879: \end{picture}

880: $$}

881: 

882: This implies that the diagram in the proposition is commutative. 

883: This completes the proof. 

884: \qed 

885: 

886: \par \bigskip 

887: Let $S$ and $T$ be the orientation preserving diffeomorphisms on $S^1\times S^1$ as in (\ref{eq1}). 

888: We will compute the actions $Z^{\Delta }(S)$ and $Z^{\Delta }(T)$ on $Z^{\Delta }(S^1\times S^1)$ 

889: by using the singular triangulation $\mathcal{K}$ of $S^1\times S^1$ depicted in Figure \ref{Figure5}. 

890: 

891: \par \bigskip 

892: \begin{lem}

893: \label{Lemma2}  

894: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

895: of an infinite factor $M$ with finite index and finite depth. 

896: Let $\tilde{S}_{\#}:V^{\Delta }(S^1\times S^1)\longrightarrow V^{\Delta }(S^1\times S^1)$ and 

897: $\tilde{T}_{\#}^{-1}:V^{\Delta }(S^1\times S^1)\longrightarrow V^{\Delta }(S^1\times S^1)$ be 

898: the $\mathbb{C}$-linear maps defined by 

899: 

900: \begin{align*}

901: \tilde{S}_{\#}(X_1\otimes X_2)

902: &=\sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\bar{a}\rho }^r\\ Z_2\in \mathcal{B}_{\rho \bar{a}}^r}} 

903: \kern-0.2cm \dfrac{\sqrt{d(p)d(r)}}{d(\rho )}Z_2^{\ast }\tilde{X}_2^{\ast }\bar{a}(\hat{X}_1)Z_1\ Z_1\otimes Z_2 ,\\ 

904: \tilde{T}_{\#}^{-1}(X_1\otimes X_2)

905: &=\sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\rho p}^r\\ Z_2\in \mathcal{B}_{p\rho }^r}}

906: \kern-0.2cm \dfrac{\sqrt{d(a)d(r)}}{d(p)}Z_2^{\ast }X_1^{\ast }\rho(X_2)Z_1\ Z_1\otimes Z_2 

907: \end{align*}

908: for all $X_1\in \mathcal{B}_{\rho a}^p$ and $X_2\in \mathcal{B}_{a\rho }^p$. 

909: Then, the actions $Z^{\Delta }(S)$ and $Z^{\Delta }(T)$ on $Z^{\Delta }(S^1\times S^1)$ 

910: are determined by the following commutative diagrams. 

911: 

912: \begin{equation}

913: \begin{CD}

914: V^{\Delta }(S^1\times S^1) @>\tilde{S}_{\#}>> V^{\Delta }(S^1\times S^1) \\ 

915: @VuVV @VVuV \\ 

916: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(S)>> Z^{\Delta }(S^1\times S^1),

917: \end{CD}

918: \label{eq2} \end{equation}

919: \begin{equation}

920: \begin{CD}

921: V^{\Delta }(S^1\times S^1) @>\tilde{T}_{\#}^{-1}>> V^{\Delta }(S^1\times S^1) \\ 

922: @VuVV @VVuV \\ 

923: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(T)^{-1}>> Z^{\Delta }(S^1\times S^1)

924: \end{CD}

925: \label{eq3} \end{equation}

926: Here, $u$ is the universal arrow associated to $Z^{\Delta }(S^1\times S^1)$ defined as in Lemma \ref{Lemma1}. 

927: \end{lem}

928: 

929: \indent 

930: {\bf Proof.} 

931: Let $\mathcal{K}$, $\mathcal{L}_1$ and $\mathcal{L}_2$ be the locally ordered complexes depicted 

932: in Figure \ref{Figure12} that give singular triangulations of $S^1\times S^1$ (the opposite sides are identified).  

933: By considering the lifts of $S$ and $T$ to the universal covering

934: $$\mathbb{R}^2\longrightarrow S^1\times S^1,\ (x,y)\longmapsto (\text{exp}(2\pi iy),\text{exp}(2\pi ix)),$$

935: we see that $S$ and $T^{-1}$ are simplicial maps from $\mathcal{K}$ to $\mathcal{L}_1$ 

936: and from $\mathcal{K}$ to $\mathcal{L}_2$, respectively.  

937: 

938: \begin{figure}[htbp]

939: \begin{center}

940: \setlength{\unitlength}{0.7cm}

941: \begin{picture}(14,3.7)

942: \put(1,1){\framebox(2,2)}

943: \put(1,1){\line(1,1){2}}

944: \put(1.9,1.9){\line(1,0){0.2}}

945: \put(1.9,1.9){\line(0,1){0.2}}

946: \put(0.7,0.5){$v$}

947: \put(3.0,0.5){$v$}

948: \put(0.7,3.2){$v$}

949: \put(3.0,3.2){$v$}

950: \put(2.0,2.2){$E_3$}

951: \put(1.8,0.25){$E_2$}

952: \put(1.8,3.4){$E_2$}

953: \put(0.2,2.0){$E_1$}

954: \put(3.2,2.0){$E_1$}

955: \put(1.7,0.85){$\ll $}

956: \put(1.7,2.85){$\ll $}

957: \put(0.79,2){$\vee $}

958: \put(2.82,2){$\vee $}

959: \put(1.3,2.4){$F_1$}

960: \put(2.2,1.4){$F_2$}

961: \put(1.8,-0.6){$\mathcal{K}$}

962: \put(7,1){\framebox(2,2)}

963: \put(7,3){\line(1,-1){2}}

964: \put(8,2.0){\line(1,0){0.2}}

965: \put(8,2.0){\line(0,-1){0.2}}

966: \put(6.7,0.5){$v$}

967: \put(9.0,0.5){$v$}

968: \put(6.7,3.2){$v$}

969: \put(9.0,3.2){$v$}

970: \put(7.3,2.2){$E_3'$}

971: \put(7.8,0.25){$E_2'$}

972: \put(7.8,3.4){$E_2'$}

973: \put(6.2,2.0){$E_1'$}

974: \put(9.2,2.0){$E_1'$}

975: \put(7.7,0.85){$\ll $}

976: \put(7.7,2.85){$\ll $}

977: \put(6.79,2){$\wedge $}

978: \put(8.82,2){$\wedge $}

979: \put(8.2,2.4){$F_1'$}

980: \put(7.3,1.4){$F_2'$}

981: \put(7.8,-0.6){$\mathcal{L}_1$}

982: \put(13,1){\framebox(2,2)}

983: \put(13,3){\line(1,-1){2}}

984: \put(14,2.0){\line(1,0){0.2}}

985: \put(14,2.0){\line(0,-1){0.2}}

986: \put(12.7,0.5){$v$}

987: \put(15.0,0.5){$v$}

988: \put(12.7,3.2){$v$}

989: \put(15.0,3.2){$v$}

990: \put(13.3,2.2){$E_3''$}

991: \put(13.8,0.25){$E_2''$}

992: \put(13.8,3.4){$E_2''$}

993: \put(12.2,2.0){$E_1''$}

994: \put(15.2,2.0){$E_1''$}

995: \put(13.7,0.85){$\ll $}

996: \put(13.7,2.85){$\ll $}

997: \put(12.79,2){$\vee $}

998: \put(14.82,2){$\vee $}

999: \put(14.2,2.4){$F_1''$}

1000: \put(13.2,1.4){$F_2''$}

1001: \put(13.8,-0.6){$\mathcal{L}_2$}

1002: \end{picture}

1003: \caption{three triangulations of $S^1\times S^1$ \label{Figure12}}

1004: \end{center}

1005: \end{figure}

1006: 

1007: 

1008: \par \ 

1009: \newpage 

1010: So, for the color depicted in Figure \ref{Figure6}, we have 

1011: 

1012: 

1013: \begin{figure}[hbtp]

1014: \setlength{\unitlength}{0.7cm}

1015: \begin{center}

1016: \begin{picture}(13,3.5)

1017: \put(1.5,1){\framebox(2,2)}

1018: \put(1.5,1){\line(1,1){2}}

1019: \put(2.4,1.9){\line(1,0){0.2}}

1020: \put(2.4,1.9){\line(0,1){0.2}}

1021: \put(2.6,2.4){$p$}

1022: \put(2.3,0.4){$a$}

1023: \put(2.3,3.2){$a$}

1024: \put(0.95,2.0){$\rho $}

1025: \put(3.6,2.0){$\rho $}

1026: \put(2.2,0.85){$\ll $}

1027: \put(2.2,2.86){$\ll $}

1028: \put(1.3,2){$\vee $}

1029: \put(3.32,2){$\vee $}

1030: \put(1.8,2.4){$X_1$}

1031: \put(2.6,1.4){$X_2$}

1032: \put(-0.9,1.9){$\Phi (S)$}

1033: \put(0.6,1.9){$\Biggl ($}

1034: \put(4,1.9){$\Biggr ) $}

1035: \put(4.75,1.9){$=$}

1036: \put(6,1){\framebox(2,2)}

1037: \put(6,3){\line(1,-1){2}}

1038: \put(7.0,2){\line(1,0){0.2}}

1039: \put(7.0,2){\line(0,-1){0.2}}

1040: \put(6.8,2.4){$p$}

1041: \put(6.8,0.45){$\rho $}

1042: \put(6.8,3.25){$\rho $}

1043: \put(5.45,2.0){$a$}

1044: \put(8.25,2.0){$a$}

1045: \put(6.7,0.85){$<$}

1046: \put(6.7,2.86){$<$}

1047: \put(5.8,2){$\wedge $}

1048: \put(5.8,2.2){$\wedge $}

1049: \put(7.82,2){$\wedge $}

1050: \put(7.82,2.2){$\wedge $}

1051: \put(7.1,2.4){$X_1$}

1052: \put(6.3,1.4){$X_2$}

1053: \put(8.3,0.9){,}

1054: \end{picture}

1055: \end{center}

1056: \begin{center}

1057: \begin{picture}(13,3)

1058: \put(1.5,1){\framebox(2,2)}

1059: \put(1.5,1){\line(1,1){2}}

1060: \put(2.4,1.9){\line(1,0){0.2}}

1061: \put(2.4,1.9){\line(0,1){0.2}}

1062: \put(2.6,2.4){$p$}

1063: \put(2.3,0.4){$a$}

1064: \put(2.3,3.2){$a$}

1065: \put(0.95,2.0){$\rho $}

1066: \put(3.6,2.0){$\rho $}

1067: \put(2.2,0.85){$\ll $}

1068: \put(2.2,2.86){$\ll $}

1069: \put(1.3,2){$\vee $}

1070: \put(3.32,2){$\vee $}

1071: \put(1.8,2.4){$X_1$}

1072: \put(2.6,1.4){$X_2$}

1073: \put(-1.4,1.9){$\Phi (T^{-1})$}

1074: \put(0.6,1.9){$\Biggl ($}

1075: \put(4,1.9){$\Biggr ) $}

1076: \put(4.75,1.9){$=$}

1077: \put(6,1){\framebox(2,2)}

1078: \put(6,3){\line(1,-1){2}}

1079: \put(7.0,2){\line(1,0){0.2}}

1080: \put(7.0,2){\line(0,-1){0.2}}

1081: \put(7.08,1.92){\line(1,0){0.2}}

1082: \put(7.08,1.92){\line(0,-1){0.2}}

1083: \put(6.77,2.23){$a$}

1084: \put(6.8,0.45){$p$}

1085: \put(6.8,3.25){$p$}

1086: \put(5.45,2.0){$\rho $}

1087: \put(8.2,2.0){$\rho $}

1088: \put(6.7,0.85){$<$}

1089: \put(6.7,2.87){$<$}

1090: \put(5.8,2){$\vee$}

1091: \put(7.82,2){$\vee$}

1092: \put(7.1,2.4){$X_2$}

1093: \put(6.3,1.4){$X_1$}

1094: \put(8.3,0.9){.}

1095: \end{picture}

1096: \end{center}

1097: \end{figure}

1098: 

1099: 

1100: \par 

1101: Let $S_{\# }$ and $T_{\#}^{-1}$ be the linear maps from $V(S^1\times S^1;\mathcal{K})$ 

1102: to $V(S^1\times S^1;\mathcal{K})$ defined by 

1103: $$S_{\#}=\Phi _{\mathcal{L}_1,\mathcal{K}}\circ \Phi (S),\qquad T_{\#}^{-1}

1104: =\Phi _{\mathcal{L}_2,\mathcal{K}}\circ \Phi (T^{-1}).$$

1105: Then we have 

1106: 

1107: \begin{figure}[btp]

1108: \vspace{-1.5cm}

1109: \setlength{\unitlength}{0.7cm}

1110: \begin{center}

1111: \begin{picture}(13,3)

1112: \put(1.5,1){\framebox(2,2)}

1113: \put(1.5,1){\line(1,1){2}}

1114: \put(2.4,1.9){\line(1,0){0.2}}

1115: \put(2.4,1.9){\line(0,1){0.2}}

1116: \put(2.6,2.4){$p$}

1117: \put(2.3,0.4){$a$}

1118: \put(2.3,3.2){$a$}

1119: \put(0.95,2.0){$\rho $}

1120: \put(3.7,2.0){$\rho $}

1121: \put(2.2,0.85){$\ll $}

1122: \put(2.2,2.86){$\ll $}

1123: \put(1.3,2){$\vee $}

1124: \put(3.32,2){$\vee $}

1125: \put(1.8,2.4){$X_1$}

1126: \put(2.6,1.4){$X_2$}

1127: \put(-0.5,1.9){$S_{\#}$}

1128: \put(0.6,1.9){$\Biggl ($}

1129: \put(4,1.9){$\Biggr ) $}

1130: \put(4.75,1.9){$=$}

1131: \put(5.5,1.9){$\sum\limits_{\substack{\eta ,b,q\in \Delta \\ Y_1\in \mathcal{B}_{\eta b}^q\\ Y_2\in \mathcal{B}_{b \eta }^q}} Z(\mathcal{T}_1;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$}

1132: \put(12,1){\framebox(2,2)}

1133: \put(12,1){\line(1,1){2}}

1134: \put(12.9,1.9){\line(1,0){0.2}}

1135: \put(12.9,1.9){\line(0,1){0.2}}

1136: \put(13.1,2.4){$q$}

1137: \put(12.8,0.4){$b$}

1138: \put(12.8,3.2){$b$}

1139: \put(11.45,2.0){$\eta $}

1140: \put(14.2,2.0){$\eta $}

1141: \put(12.7,0.85){$\ll $}

1142: \put(12.7,2.86){$\ll $}

1143: \put(11.8,2){$\vee $}

1144: \put(13.82,2){$\vee $}

1145: \put(12.3,2.4){$Y_1$}

1146: \put(13.1,1.4){$Y_2$}

1147: \put(14.5,1){,}

1148: \end{picture}

1149: \end{center}

1150: \begin{center}

1151: \begin{picture}(13,3)

1152: \put(1.5,1){\framebox(2,2)}

1153: \put(1.5,1){\line(1,1){2}}

1154: \put(2.4,1.9){\line(1,0){0.2}}

1155: \put(2.4,1.9){\line(0,1){0.2}}

1156: \put(2.6,2.4){$p$}

1157: \put(2.3,0.4){$a$}

1158: \put(2.3,3.2){$a$}

1159: \put(0.95,2.0){$\rho $}

1160: \put(3.7,2.0){$\rho $}

1161: \put(2.2,0.85){$\ll $}

1162: \put(2.2,2.86){$\ll $}

1163: \put(1.3,2){$\vee $}

1164: \put(3.32,2){$\vee $}

1165: \put(1.8,2.4){$X_1$}

1166: \put(2.6,1.4){$X_2$}

1167: \put(-0.6,1.9){$T_{\#}^{-1}$}

1168: \put(0.6,1.9){$\Biggl ($}

1169: \put(4,1.9){$\Biggr ) $}

1170: \put(4.75,1.9){$=$}

1171: \put(5.5,1.9){$\sum\limits_{\substack{\eta ,b,q\in \Delta \\ Y_1\in \mathcal{B}_{\eta b}^q\\ Y_2\in \mathcal{B}_{b \eta }^q}} Z(\mathcal{T}_2;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$}

1172: \put(12,1){\framebox(2,2)}

1173: \put(12,1){\line(1,1){2}}

1174: \put(12.9,1.9){\line(1,0){0.2}}

1175: \put(12.9,1.9){\line(0,1){0.2}}

1176: \put(13.1,2.4){$q$}

1177: \put(12.8,0.4){$b$}

1178: \put(12.8,3.2){$b$}

1179: \put(11.45,2.0){$\eta $}

1180: \put(14.2,2.0){$\eta $}

1181: \put(12.7,0.85){$\ll $}

1182: \put(12.7,2.86){$\ll $}

1183: \put(11.8,2){$\vee $}

1184: \put(13.82,2){$\vee $}

1185: \put(12.3,2.4){$Y_1$}

1186: \put(13.1,1.4){$Y_2$}

1187: \put(14.5,1){,}

1188: \end{picture}

1189: \end{center}

1190: \end{figure}

1191: 

1192: \newpage 

1193: \noindent 

1194: where $Z(\mathcal{T}_1;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$ is the Turaev-Viro-Ocneanu invariant 

1195: of $(S^1\times S^1)\times [0,1]$ which boundary is triangulated by $\mathcal{K}$ and 

1196: $\mathcal{L}_1$ assigned to its boundary the color depicted as in the left-hand side of Figure \ref{Figure13}, 

1197: and $Z(\mathcal{T}_2;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$ is the Turaev-Viro-Ocneanu invariant 

1198: of $(S^1\times S^1)\times [0,1]$ which boundary is triangulated by $\mathcal{K}$ and 

1199: $\mathcal{L}_2$ assigned to its boundary the color depicted as in the right-hand side of Figure \ref{Figure13}. 

1200: 

1201: 

1202: 

1203: \begin{figure}[hbt]

1204: \begin{center}

1205: \setlength{\unitlength}{1cm}

1206: \includegraphics[height=5cm]{wsil13.eps}

1207: %colored_ST.eps

1208: \caption{two triangulations $\mathcal{T}_1$ and $\mathcal{T}_2$ of $S^1\times S^1\times [0,1]$ \label{Figure13}}

1209: \end{center}

1210: \end{figure}

1211: 

1212: \par 

1213: By tetrahedral symmetry on quantum $6j$-symbols, it can be proved that 

1214: $$Z(\mathcal{T}_1;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})

1215: =Z(\mathcal{T}_2;{}_{\bar{a} ,p,\rho ,\tilde{X}_2,\hat{X}_1}^{\eta ,b,q,Y_1,Y_2}).$$

1216: 

1217: Let $(\mathcal{T}_3; \mathcal{L}_2,\mathcal{K})$ be the cobordism obtained by gluing one tetrahedron 

1218: to the bottom of $\mathcal{K}\times [0,1]$. 

1219: Then, we have 

1220: $$Z(\mathcal{T}_2;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})

1221: =Z(\mathcal{T}_3;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2}),$$

1222: since the cobordism $(\mathcal{T}_2;\mathcal{L}_2 ,\mathcal{K})$ 

1223: is isomorphic to the cobordism $(\mathcal{T}_3; \mathcal{L}_2,\mathcal{K})$ (see Figure \ref{Figure14}). 

1224: 

1225: \begin{figure}[hbt]

1226: \begin{center}

1227: \setlength{\unitlength}{1cm}

1228: \includegraphics[height=4cm]{wsil14.eps}

1229: %T_2&T_3.eps

1230: \caption{an isomorphism between $(\mathcal{T}_2;\mathcal{L}_2,\mathcal{K})$ and 

1231: $(\mathcal{T}_3;\mathcal{L}_2,\mathcal{K})$ \label{Figure14}}

1232: \end{center}

1233: \end{figure}

1234: 

1235: \par \newpage 

1236: 

1237: 

1238: Since 

1239: 

1240: \vspace{1.5cm}

1241: \begin{figure}[ht]

1242: \setlength{\unitlength}{1cm}

1243: \begin{picture}(13,3.5)

1244: \put(0,3.5){$Z(\mathcal{T}_3;{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})

1245: =\kern-1em\sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\rho p}^r \\ Z_2\in \mathcal{B}_{p\rho }^r}}

1246: \kern-0.5em\sqrt{d(a)d(r)}\ W\kern-0.3mm \Biggl ($}

1247: \put(5.8,2.2){\includegraphics[width=2.5cm]{wsil14a.eps}} %colored_tetrahedron_ex1.eps

1248: \put(8.5,3.5){$\Biggr )\ Z\Biggl ($}

1249: \put(9.4,2.0){\includegraphics[width=3cm]{wsil14b.eps}} %colored_id_KK.eps

1250: \put(12.5,3.5){$\Biggr ),$}

1251: \end{picture}

1252: \end{figure}

1253: 

1254: \noindent 

1255: it follows that 

1256: \vspace{1cm}

1257: \begin{figure}[htbp]

1258: \setlength{\unitlength}{0.7cm}

1259: \begin{center}

1260: \begin{picture}(17,3)

1261: \put(1.4,1){\framebox(2,2)}

1262: \put(1.4,1){\line(1,1){2}}

1263: \put(2.3,1.9){\line(1,0){0.2}}

1264: \put(2.3,1.9){\line(0,1){0.2}}

1265: \put(2.5,2.4){$p$}

1266: \put(2.2,0.4){$a$}

1267: \put(2.2,3.2){$a$}

1268: \put(0.85,2.0){$\rho $}

1269: \put(3.6,2.0){$\rho $}

1270: \put(2.1,0.85){$\ll $}

1271: \put(2.1,2.86){$\ll $}

1272: \put(1.2,2){$\vee $}

1273: \put(3.22,2){$\vee $}

1274: \put(1.7,2.4){$X_1$}

1275: \put(2.5,1.4){$X_2$}

1276: \put(-0.6,1.9){$S_{\#}$}

1277: \put(0.5,1.9){$\Biggl ($}

1278: \put(4,1.9){$\Biggr ) $}

1279: \put(4.75,1.9){$= \sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\bar{a}\rho }^r\\ 

1280: Z_2\in \mathcal{B}_{\rho \bar{a}}^r}} \dfrac{\sqrt{d(p)d(r)}}{d(\rho )}Z_2^{\ast }\tilde{X}_2^{\ast }\bar{a}

1281: (\hat{X}_1)Z_1\ \Phi _{Id_{\mathcal{K},\mathcal{K}}}\kern0.1em \Biggl ( $}

1282: \put(14.9,1){\framebox(2,2)}

1283: \put(14.9,1){\line(1,1){2}}

1284: \put(15.8,1.9){\line(1,0){0.2}}

1285: \put(15.8,1.9){\line(0,1){0.2}}

1286: \put(16.0,2.4){$r$}

1287: \put(15.7,0.4){$\rho$}

1288: \put(15.7,3.4){$\rho$}

1289: \put(14.35,2.0){$\bar{a}$}

1290: \put(17.1,2.0){$\bar{a}$}

1291: \put(15.6,0.85){$\ll $}

1292: \put(15.6,2.86){$\ll $}

1293: \put(14.7,2){$\vee $}

1294: \put(16.72,2){$\vee $}

1295: \put(15.2,2.4){$Z_1$}

1296: \put(16.0,1.4){$Z_2$}

1297: \put(17.4,1.9){$\Biggr ) $}

1298: \put(17.8,1.0){.}

1299: \end{picture}

1300: \end{center}

1301: \end{figure}

1302: 

1303: \noindent 

1304: 

1305: This implies that $S_{\# }=\Phi _{Id_{\mathcal{K},\mathcal{K}}}\circ \tilde{S}_{\#}$, 

1306: and whence, the diagram (\ref{eq2}) commutes. 

1307: \par 

1308: By a similar argument, it is also proved that 

1309: 

1310: \par \ %\newpage 

1311: 

1312: \begin{figure}[hbt]

1313: \setlength{\unitlength}{0.7cm}

1314: \begin{center}

1315: \begin{picture}(17,3)

1316: \put(1.4,1){\framebox(2,2)}

1317: \put(1.4,1){\line(1,1){2}}

1318: \put(2.3,1.9){\line(1,0){0.2}}

1319: \put(2.3,1.9){\line(0,1){0.2}}

1320: \put(2.5,2.4){$p$}

1321: \put(2.2,0.4){$a$}

1322: \put(2.2,3.2){$a$}

1323: \put(0.85,2.0){$\rho $}

1324: \put(3.6,2.0){$\rho $}

1325: \put(2.1,0.85){$\ll $}

1326: \put(2.1,2.86){$\ll $}

1327: \put(1.2,2){$\vee $}

1328: \put(3.22,2){$\vee $}

1329: \put(1.7,2.4){$X_1$}

1330: \put(2.5,1.4){$X_2$}

1331: \put(-0.6,1.9){$T^{-1}_{\#}$}

1332: \put(0.5,1.9){$\Biggl ($}

1333: \put(4,1.9){$\Biggr ) $}

1334: \put(4.75,1.9){$=\kern-0.2em \sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\rho p}^r\\ 

1335: Z_2\in \mathcal{B}_{p\rho }^r}} \dfrac{\sqrt{d(a)d(r)}}{d(p)}Z_2^{\ast }X_1^{\ast }\rho (X_2)Z_1\ 

1336: \Phi _{Id_{\mathcal{K},\mathcal{K}}}\Biggl ( $}

1337: \put(14.7,1){\framebox(2,2)}

1338: \put(14.7,1){\line(1,1){2}}

1339: \put(15.6,1.9){\line(1,0){0.2}}

1340: \put(15.6,1.9){\line(0,1){0.2}}

1341: \put(15.8,2.4){$r$}

1342: \put(15.5,0.4){$p$}

1343: \put(15.5,3.4){$p$}

1344: \put(14.15,2.0){$\rho $}

1345: \put(16.9,2.0){$\rho $}

1346: \put(15.4,0.85){$\ll $}

1347: \put(15.4,2.86){$\ll $}

1348: \put(14.5,2){$\vee $}

1349: \put(16.52,2){$\vee $}

1350: \put(15.0,2.4){$Z_1$}

1351: \put(15.8,1.4){$Z_2$}

1352: \put(17.3,1.9){$\Biggr ) $}

1353: \put(17.7,1.0){,}

1354: \end{picture}

1355: \end{center}

1356: \end{figure}

1357: 

1358: \noindent 

1359: and whence, $T^{-1}_{\# }=\Phi _{Id_{\mathcal{K},\mathcal{K}}}\circ \tilde{T}_{\#}^{-1}$.  

1360: This proves that the diagram (\ref{eq3}) commutes. 

1361: \qed 

1362: 

1363: 

1364: \par \bigskip 

1365: We note that the group $SL(2,\mathbb{Z})$ is not only generated by $S=\begin{pmatrix} 0 & 1 \\ -1 & 0

1366: \end{pmatrix}$ and $T=\begin{pmatrix} 1 & 0 \\ 1 & 1\end{pmatrix}$, 

1367: but also generated by $S'=\begin{pmatrix} 0 & -1 \\ 1 & 0

1368: \end{pmatrix}$ and $T'=\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}$. 

1369: The matrices $S'$ and $T'$ correspond to the orientation preserving diffeomorphisms 

1370: from $S^1\times S^1$ to $S^1\times S^1$ defined by $S'(z,w)=(w,\bar{z})$ and $T'(z,w)=(z,zw)$ 

1371: for all $(z,w)\in S^1\times S^1$, respectively. 

1372: Since $S'$ and $T'$ has also the relations $(S')^4=I,\ (S'T')^3=(S')^2$, 

1373: we have a group isomorphism $Q:SL(2,\mathbb{Z})\longrightarrow SL(2,\mathbb{Z})$ such that $Q(S)=S'$ and $Q(T)=T'$. 

1374: 

1375: \par \bigskip 

1376: \begin{lem}

1377: \label{Lemma3}  

1378: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1379: of an infinite factor $M$ with finite index and finite depth. 

1380: Let $\bar{P}:Z^{\Delta }(S^1\times S^1)\longrightarrow Z^{\Delta }(S^1\times S^1)$ be 

1381: the conjugate linear isomorphism induced from $P$ defined as in Proposition \ref{Proposition1}. 

1382: Then, the following diagram commutes for all $R\in SL(2,\mathbb{Z})$. 

1383: \begin{equation*}

1384: \begin{CD}

1385: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(R)>> Z^{\Delta }(S^1\times S^1) \\ 

1386: @V\bar{P}VV @VV\bar{P}V \\ 

1387: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(R')>> Z^{\Delta }(S^1\times S^1) 

1388: \end{CD}

1389: \end{equation*}

1390: Here, $R'$ denotes the image of $R$ by the group isomorphism $Q:SL(2,\mathbb{Z})\longrightarrow SL(2,\mathbb{Z})$. 

1391: \end{lem}

1392: 

1393: \indent 

1394: {\bf Proof.} 

1395: Let $\mathcal{K}$, $\mathcal{L}_1'$ and $\mathcal{L}_2'$ be the locally ordered complexes 

1396: depicted in Figure \ref{Figure15} that give singular triangulations of $S^1\times S^1$ 

1397: (the opposite sides are identified).  

1398: 

1399: \begin{figure}[hbtp]

1400: \begin{center}

1401: \setlength{\unitlength}{0.7cm}

1402: \begin{picture}(14,3.7)

1403: \put(1,1){\framebox(2,2)}

1404: \put(1,1){\line(1,1){2}}

1405: \put(1.9,1.9){\line(1,0){0.2}}

1406: \put(1.9,1.9){\line(0,1){0.2}}

1407: \put(0.7,0.5){$v$}

1408: \put(3.0,0.5){$v$}

1409: \put(0.7,3.2){$v$}

1410: \put(3.0,3.2){$v$}

1411: \put(2.0,2.2){$E_3$}

1412: \put(1.8,0.25){$E_2$}

1413: \put(1.8,3.4){$E_2$}

1414: \put(0.2,2.0){$E_1$}

1415: \put(3.2,2.0){$E_1$}

1416: \put(1.7,0.85){$\ll $}

1417: \put(1.7,2.85){$\ll $}

1418: \put(0.79,2){$\vee $}

1419: \put(2.82,2){$\vee $}

1420: \put(1.3,2.4){$F_1$}

1421: \put(2.2,1.4){$F_2$}

1422: \put(1.8,-0.6){$\mathcal{K}$}

1423: \put(7,1){\framebox(2,2)}

1424: \put(7,3){\line(1,-1){2}}

1425: \put(8,2.0){\line(-1,0){0.2}}

1426: \put(8,2.0){\line(0,1){0.2}}

1427: \put(6.7,0.5){$v$}

1428: \put(9.0,0.5){$v$}

1429: \put(6.7,3.2){$v$}

1430: \put(9.0,3.2){$v$}

1431: \put(8.0,1.5){$E_3'$}

1432: \put(7.8,0.25){$E_2'$}

1433: \put(7.8,3.4){$E_2'$}

1434: \put(6.2,2.0){$E_1'$}

1435: \put(9.2,2.0){$E_1'$}

1436: \put(7.7,0.85){$\gg $}

1437: \put(7.7,2.85){$\gg $}

1438: \put(6.79,2){$\vee $}

1439: \put(8.82,2){$\vee $}

1440: \put(8.2,2.4){$F_1'$}

1441: \put(7.3,1.4){$F_2'$}

1442: \put(7.8,-0.6){$\mathcal{L}_1'$}

1443: \put(13,1){\framebox(2,2)}

1444: \put(13,3){\line(1,-1){2}}

1445: \put(14,2.0){\line(-1,0){0.2}}

1446: \put(14,2.0){\line(0,1){0.2}}

1447: \put(12.7,0.5){$v$}

1448: \put(15.0,0.5){$v$}

1449: \put(12.7,3.2){$v$}

1450: \put(15.0,3.2){$v$}

1451: \put(14.0,1.5){$E_3''$}

1452: \put(13.8,0.25){$E_2''$}

1453: \put(13.8,3.4){$E_2''$}

1454: \put(12.2,2.0){$E_1''$}

1455: \put(15.2,2.0){$E_1''$}

1456: \put(13.7,0.85){$\ll $}

1457: \put(13.7,2.85){$\ll $}

1458: \put(12.79,2){$\vee $}

1459: \put(14.82,2){$\vee $}

1460: \put(14.2,2.4){$F_1''$}

1461: \put(13.2,1.4){$F_2''$}

1462: \put(13.8,-0.6){$\mathcal{L}_2'$}

1463: \end{picture}

1464: \caption{three triangulations of $S^1\times S^1$ \label{Figure15}}

1465: \end{center}

1466: \end{figure}

1467: 

1468: \par 

1469: Since $S'$ and ${T'}^{-1}$ are simplicial maps from $\mathcal{K}$ to $\mathcal{L}_1'$ 

1470: and from $\mathcal{K}$ to $\mathcal{L}_2'$, respectively, we have 

1471: 

1472: \begin{figure}[hbtp]

1473: \setlength{\unitlength}{0.7cm}

1474: \begin{center}

1475: \begin{picture}(13,3.5)

1476: \put(1.5,1){\framebox(2,2)}

1477: \put(1.5,1){\line(1,1){2}}

1478: \put(2.4,1.9){\line(1,0){0.2}}

1479: \put(2.4,1.9){\line(0,1){0.2}}

1480: \put(2.6,2.4){$p$}

1481: \put(2.3,0.4){$a$}

1482: \put(2.3,3.2){$a$}

1483: \put(0.95,2.0){$\rho $}

1484: \put(3.6,2.0){$\rho $}

1485: \put(2.2,0.85){$\ll $}

1486: \put(2.2,2.86){$\ll $}

1487: \put(1.3,2){$\vee $}

1488: \put(3.32,2){$\vee $}

1489: \put(1.8,2.4){$X_1$}

1490: \put(2.6,1.4){$X_2$}

1491: \put(-0.9,1.9){$\Phi (S')$}

1492: \put(0.6,1.9){$\Biggl ($}

1493: \put(4,1.9){$\Biggr ) $}

1494: \put(4.75,1.9){$=$}

1495: \put(6,1){\framebox(2,2)}

1496: \put(6,3){\line(1,-1){2}}

1497: \put(7.0,2){\line(-1,0){0.2}}

1498: \put(7.0,2){\line(0,1){0.2}}

1499: \put(6.8,2.4){$p$}

1500: \put(6.8,0.45){$\rho $}

1501: \put(6.8,3.25){$\rho $}

1502: \put(5.45,2.0){$a$}

1503: \put(8.25,2.0){$a$}

1504: \put(6.7,0.85){$>$}

1505: \put(6.7,2.86){$>$}

1506: \put(5.8,2){$\vee $}

1507: \put(5.8,2.2){$\vee $}

1508: \put(7.82,2){$\vee $}

1509: \put(7.82,2.2){$\vee $}

1510: \put(7.1,2.4){$X_2$}

1511: \put(6.3,1.4){$X_1$}

1512: \put(8.3,0.9){,}

1513: \end{picture}

1514: \end{center}

1515: \begin{center}

1516: \begin{picture}(13,3)

1517: \put(1.5,1){\framebox(2,2)}

1518: \put(1.5,1){\line(1,1){2}}

1519: \put(2.4,1.9){\line(1,0){0.2}}

1520: \put(2.4,1.9){\line(0,1){0.2}}

1521: \put(2.6,2.4){$p$}

1522: \put(2.3,0.4){$a$}

1523: \put(2.3,3.2){$a$}

1524: \put(0.95,2.0){$\rho $}

1525: \put(3.6,2.0){$\rho $}

1526: \put(2.2,0.85){$\ll $}

1527: \put(2.2,2.86){$\ll $}

1528: \put(1.3,2){$\vee $}

1529: \put(3.32,2){$\vee $}

1530: \put(1.8,2.4){$X_1$}

1531: \put(2.6,1.4){$X_2$}

1532: \put(-1.5,1.9){$\Phi ({T'}^{-1})$}

1533: \put(0.6,1.9){$\Biggl ($}

1534: \put(4,1.9){$\Biggr ) $}

1535: \put(4.75,1.9){$=$}

1536: \put(6,1){\framebox(2,2)}

1537: \put(6,3){\line(1,-1){2}}

1538: \put(7.0,2){\line(-1,0){0.2}}

1539: \put(7.0,2){\line(0,1){0.2}}

1540: \put(6.77,2.23){$\rho $}

1541: \put(6.8,0.45){$a$}

1542: \put(6.8,3.25){$a$}

1543: \put(5.45,2.0){$p$}

1544: \put(8.2,2.0){$p$}

1545: \put(6.7,0.85){$<$}

1546: \put(6.7,2.87){$<$}

1547: \put(5.8,2){$\vee$}

1548: \put(7.82,2){$\vee$}

1549: \put(7.1,2.4){$X_2$}

1550: \put(6.3,1.4){$X_1$}

1551: \put(8.3,0.9){.}

1552: \end{picture}

1553: \end{center}

1554: \end{figure}

1555: 

1556: \par \newpage 

1557: Thus, we have 

1558: 

1559: \begin{figure}[htbp]

1560: \setlength{\unitlength}{0.7cm}

1561: \begin{center}

1562: \begin{picture}(13,3)

1563: \put(-0.5,1){\framebox(2,2)}

1564: \put(-0.5,1){\line(1,1){2}}

1565: \put(0.4,1.9){\line(1,0){0.2}}

1566: \put(0.4,1.9){\line(0,1){0.2}}

1567: \put(0.6,2.4){$p$}

1568: \put(0.3,0.4){$a$}

1569: \put(0.3,3.2){$a$}

1570: \put(-1.05,2.0){$\rho $}

1571: \put(1.7,2.0){$\rho $}

1572: \put(0.2,0.87){$\ll $}

1573: \put(0.2,2.88){$\ll $}

1574: \put(-0.68,2){$\vee $}

1575: \put(1.34,2){$\vee $}

1576: \put(-0.2,2.4){$X_1$}

1577: \put(0.6,1.4){$X_2$}

1578: \put(-2.5,1.9){$S_{\#}'$}

1579: \put(-1.4,1.9){$\Biggl ($}

1580: \put(2,1.9){$\Biggr ) $}

1581: \put(2.75,1.9){$=$}

1582: \put(3.5,1.9){$\sum\limits_{\substack{\eta ,b,q\in \Delta \\ Y_1\in \mathcal{B}_{\eta b}^q\\ 

1583: Y_2\in \mathcal{B}_{b \eta }^q}} Z(\mathcal{T}_1';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$}

1584: \put(9.3,1.9){$\Phi _{Id_{\mathcal{K},\mathcal{K}}}$}

1585: \put(10.75,1.9){$\Biggl ($}

1586: \put(14.1,1.9){$\Biggr ) $}

1587: \put(11.6,1){\framebox(2,2)}

1588: \put(11.6,1){\line(1,1){2}}

1589: \put(12.5,1.9){\line(1,0){0.2}}

1590: \put(12.5,1.9){\line(0,1){0.2}}

1591: \put(12.7,2.4){$q$}

1592: \put(12.4,0.4){$b$}

1593: \put(12.4,3.2){$b$}

1594: \put(11.05,2.0){$\eta $}

1595: \put(13.8,2.0){$\eta $}

1596: \put(12.3,0.87){$\ll $}

1597: \put(12.3,2.88){$\ll $}

1598: \put(11.42,2){$\vee $}

1599: \put(13.44,2){$\vee $}

1600: \put(11.9,2.4){$Y_1$}

1601: \put(12.7,1.4){$Y_2$}

1602: \put(14.5,1){,}

1603: \end{picture}

1604: \end{center}

1605: \begin{center}

1606: \begin{picture}(13,3)

1607: \put(-0.5,1){\framebox(2,2)}

1608: \put(-0.5,1){\line(1,1){2}}

1609: \put(0.4,1.9){\line(1,0){0.2}}

1610: \put(0.4,1.9){\line(0,1){0.2}}

1611: \put(0.6,2.4){$p$}

1612: \put(0.3,0.4){$a$}

1613: \put(0.3,3.2){$a$}

1614: \put(-1.05,2.0){$\rho $}

1615: \put(1.7,2.0){$\rho $}

1616: \put(0.2,0.87){$\ll $}

1617: \put(0.2,2.88){$\ll $}

1618: \put(-0.68,2){$\vee $}

1619: \put(1.34,2){$\vee $}

1620: \put(-0.2,2.4){$X_1$}

1621: \put(0.6,1.4){$X_2$}

1622: \put(-2.6,1.9){${T_{\#}'}^{-1}$}

1623: \put(-1.4,1.9){$\Biggl ($}

1624: \put(2,1.9){$\Biggr ) $}

1625: \put(2.75,1.9){$=$}

1626: \put(3.5,1.9){$\sum\limits_{\substack{\eta ,b,q\in \Delta \\ 

1627: Y_1\in \mathcal{B}_{\eta b}^q\\ Y_2\in \mathcal{B}_{b \eta }^q}} 

1628: Z(\mathcal{T}_2';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$}

1629: \put(9.3,1.9){$\Phi _{Id_{\mathcal{K},\mathcal{K}}}$}

1630: \put(10.75,1.9){$\Biggl ($}

1631: \put(14.1,1.9){$\Biggr ) $}

1632: \put(11.6,1){\framebox(2,2)}

1633: \put(11.6,1){\line(1,1){2}}

1634: \put(12.5,1.9){\line(1,0){0.2}}

1635: \put(12.5,1.9){\line(0,1){0.2}}

1636: \put(12.7,2.4){$q$}

1637: \put(12.4,0.4){$b$}

1638: \put(12.4,3.2){$b$}

1639: \put(11.05,2.0){$\eta $}

1640: \put(13.8,2.0){$\eta $}

1641: \put(12.3,0.87){$\ll $}

1642: \put(12.3,2.88){$\ll $}

1643: \put(11.42,2){$\vee $}

1644: \put(13.44,2){$\vee $}

1645: \put(11.9,2.4){$Y_1$}

1646: \put(12.7,1.4){$Y_2$}

1647: \put(14.5,1){,}

1648: \end{picture}

1649: \end{center}

1650: \end{figure}

1651: 

1652: \noindent 

1653: where $Z(\mathcal{T}_1';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$ 

1654: and $Z(\mathcal{T}_2';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})$ are 

1655: the Turaev-Viro-Ocneanu invariants of $S^1\times S^1\times [0,1]$ based on the triangulations $\mathcal{T}_1'$ and 

1656: $\mathcal{T}_2'$ with colored boundaries as in Figure \ref{Figure16}, respectively. 

1657: 

1658: \begin{figure}[hbt]

1659: \begin{center}

1660: \setlength{\unitlength}{1cm}

1661: \includegraphics[height=5cm]{wsil16.eps}

1662: %colored_S'T'.eps

1663: \caption{two triangulations $\mathcal{T}_1'$ and $\mathcal{T}_2'$ of $S^1\times S^1\times [0,1]$ \label{Figure16}}

1664: \end{center}

1665: \end{figure}

1666: 

1667: \par 

1668: Since 

1669: $$Z(\mathcal{T}_1';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})

1670: =\overline{Z(\mathcal{T}_1;{}_{a,\rho ,p,X_2,X_1}^{b,\eta ,q,Y_2,Y_1})} 

1671: \text{ and } Z(\mathcal{T}_2';{}_{\rho ,a,p,X_1,X_2}^{\eta ,b,q,Y_1,Y_2})

1672: =\overline{Z(\mathcal{T}_2;{}_{a,\rho ,p,X_2,X_1}^{b,\eta ,q,Y_2,Y_1})},$$ 

1673: the following diagrams commute. 

1674: 

1675: \begin{equation*}

1676: \begin{CD}

1677: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(S)>> Z^{\Delta }(S^1\times S^1) \\ 

1678: @V\bar{P}VV @VV\bar{P}V \\ 

1679: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(S')>> Z^{\Delta }(S^1\times S^1), 

1680: \end{CD}

1681: \quad 

1682: \begin{CD}

1683: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(T^{-1})>> Z^{\Delta }(S^1\times S^1) \\ 

1684: @V\bar{P}VV @VV\bar{P}V \\ 

1685: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }({T'}^{-1})>> Z^{\Delta }(S^1\times S^1) 

1686: \end{CD}

1687: \end{equation*}

1688: 

1689: 

1690: This completes the proof. 

1691: \qed 

1692: 

1693: 

1694: 

1695: \par \bigskip \bigskip 

1696: \section{\kern-1em .\ \ Correspondence between Izumi's Tube Algebra and Ocneanu's Tube Algebra} 

1697: \par 

1698: Izumi \cite{Izumi4} translated the notion of Ocneanu's tube algebra \cite{Ocneanu1} into the language of sectors, 

1699: and gave explicit formulas of the tube algebra operations and of the $S$- and $T$-matrices. 

1700: He also showed that $SL(2,\mathbb{Z})$ acts on the center of the tube algebra and 

1701: that the Verlinde identity holds. 

1702: It is a natural question whether Izumi's tube algebra and Ocneanu's one are isomorphic as algebras, 

1703: and whether the centers of these tube algebras are isomorphic as algebras commuting with $SL(2,\mathbb{Z})$-actions. 

1704: In this section, we show that there exists a conjugate linear isomorphism 

1705: between the center of Izumi's tube algebra and that of Ocneanu's one, 

1706: which preserves products of algebras and commutes with $SL(2,\mathbb{Z})$-actions. 

1707: \par 

1708: Let us recall the definition of the tube algebra in sector theory, 

1709: which was introduced by Izumi \cite{Izumi4}.  

1710: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1711: of an infinite factor $M$ with finite index and finite depth. 

1712: The {\it tube algebra} $\text{Tube}_{I} \Delta$ introduced by Izumi is a $C^{\ast }$-algebra defined as follows. 

1713: As a $\mathbb{C}$-vector space, $\text{Tube}_{I}\Delta$ is spanned by 

1714: $$\{ (\xi \zeta \vert X\vert \zeta \eta )\ \vert \ \xi ,\zeta ,\eta \in \Delta ,\ X\in (\xi\zeta ,\zeta \eta )\} .$$

1715: The product of $\text{Tube}_{I}\Delta$ is given by 

1716: $$(\xi \zeta \vert X\vert \zeta \eta )\cdot (\xi '\zeta '\vert Y\vert \zeta '\eta ')

1717: =\delta _{\eta ,\xi '}\sum\limits_{\nu \prec \zeta \zeta '}

1718: \sum\limits_{A\in \mathcal{B}_{\zeta \zeta '}^{\nu }}(\xi \nu \vert A^{\ast }\zeta (Y)X\xi (A)\vert \nu \eta '),$$

1719: where $\delta _{\eta ,\xi '}$ is Kronecker's delta and 

1720: $\nu \prec \zeta \zeta '$ means that $\nu $ appears in the product $\zeta \zeta '$ as an irreducible component. 

1721: The $\ast $-structure is given by 

1722: $$(\xi \zeta \vert X\vert \zeta \eta )^{\ast }

1723: =d(\zeta )(\eta \bar{\zeta }\vert \bar{\zeta }

1724: (\xi (\overline{R}_{\zeta }^{\ast })X^{\ast })R_{\zeta }\vert \bar{\zeta }\xi ).$$

1725: 

1726: Izumi showed that $SL(2,\mathbb{Z})$ acts on the center $\mathcal{Z}(\text{Tube}_{I} \Delta )$ 

1727: of $\text{Tube}_{I} \Delta $ \cite{Izumi4}. The action is given by 

1728: 

1729: $$S'_{\Delta }(\xi \eta \vert X \vert \eta \xi )

1730: =d(\xi )(\bar{\eta }\xi \vert R_{\eta }^{\ast }\bar{\eta }

1731: (X\xi (\bar{R}_{\eta }))\vert \xi \bar{\eta }), $$

1732: 

1733: $$T'_{\Delta }(\xi \eta \vert X \vert \eta \xi )

1734: =\sum\limits_{\zeta \in \Delta }d(\zeta )

1735: (\zeta \bar{\zeta }\vert R_{\zeta }\bar{R}_{\zeta }^{\ast }\vert \bar{\zeta }\zeta )

1736: \cdot (\xi \eta \vert X \vert \eta \xi )$$

1737: for $S'=\begin{pmatrix} 0 & -1 \\ 1 & 0

1738: \end{pmatrix}$ and $T'=\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}$. 

1739: In particular, the action of ${T'}^{-1}$ is given by 

1740: $${T'}^{-1}_{\Delta }(\xi \eta \vert X \vert \eta \xi )

1741: =(\xi p\vert X_1^{\ast }\xi (X_2)\vert p \xi )$$

1742: for $X=X_2X_1^{\ast },\ X_1\in (p, \xi \eta ),\ X_2\in (p,\eta \xi )$ 

1743: and $p,\xi ,\eta \in \Delta $. 

1744: 

1745: 

1746: \par \bigskip 

1747: Izumi's tube algebra is isomorphic to Ocneanu's one in the following sense. 

1748: 

1749: \par \bigskip 

1750: \begin{thm}

1751: \label{Theorem1}  

1752: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1753: of an infinite factor $M$ with finite index and finite depth. 

1754: Let $\varphi :\text{Tube}\Delta \longrightarrow \text{Tube}_I\Delta $ 

1755: be the $\mathbb{C}$-linear map defined by 

1756: $$\varphi (X_1\otimes X_2)=w^{-\frac{1}{2}}\biggl ( \frac{d(a)}{d(p)d(\rho )}\biggr ) ^{1/4}

1757: \biggl ( \frac{d(a)}{d(p)d(\xi )}\biggr ) ^{1/4}\ (\rho a \vert X_2X_1^{\ast}\vert a \rho )

1758: $$

1759: for $X_1\otimes X_2\in \mathcal{H}_{\rho a}^p\otimes \mathcal{H}_{a\xi }^p$. 

1760: Then, $\varphi $ is an algebra isomorphism. Furthermore, the restriction of $\varphi $ to the subspace 

1761: $V^{\Delta }(S^1\times S^1)$ gives rise to an $\mathbb{C}$-linear isomorphism 

1762: $\bar{\varphi }:Z^{\Delta }(S^1\times S^1)\longrightarrow \mathcal{Z}(\text{Tube}_I\Delta )$ 

1763: such that the following diagram commutes for all $R\in SL(2,\mathbb{Z})$. 

1764: \begin{equation*}

1765: \begin{CD}

1766: Z^{\Delta }(S^1\times S^1) @>Z^{\Delta }(R)>> Z^{\Delta }(S^1\times S^1) \\ 

1767: @V\bar{\varphi }VV @VV\bar{\varphi }V \\ 

1768: \mathcal{Z}(\text{Tube}_I\Delta ) @>Q(R)_{\Delta }>>  \mathcal{Z}(\text{Tube}_I\Delta )

1769: \end{CD}

1770: \end{equation*} 

1771: Here, $Q:SL(2,\mathbb{Z})\longrightarrow SL(2,\mathbb{Z})$ 

1772: is the group isomorphism satisfying $Q(S)=S'$ and $Q(T)=T'$. 

1773: \end{thm}

1774: 

1775: \par \bigskip 

1776: To prove the above theorem, we need the following theorem which was announced by Ocneanu \cite{Ocneanu1} 

1777: and was proved in \cite{KSW}. 

1778: This is an important theorem about the tube algebra. 

1779: 

1780: \par \bigskip 

1781: \begin{thm}[\cite{Ocneanu1, KSW}]

1782: \label{Theorem2} 

1783: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1784: of an infinite factor $M$ with finite index and finite depth. 

1785: Then, 

1786: $$Z^{\Delta }(S^1\times S^1)\cong \mathcal{Z}(\text{Tube}\Delta )$$

1787: as vector spaces. 

1788: \end{thm}

1789: 

1790: \indent 

1791: {\bf Proof of Theorem \ref{Theorem1}.} 

1792: First, we show that $\varphi $ is a homomorphism of algebras.  

1793: For $X_1\otimes X_2\in \mathcal{H}_{\rho a}^p\otimes \mathcal{H}_{a\xi }^p$ and 

1794: $Y_1\otimes Y_2\in \mathcal{H}_{\eta b}^q\otimes \mathcal{H}_{b\zeta }^q$, 

1795: the product in $\text{Tube}\Delta $ is given by 

1796: 

1797: \begin{align*}

1798: (X_1\otimes X_2)\cdot (Y_1\otimes Y_2)=&\delta _{\xi ,\eta }\lambda ^{-\frac{1}{2}}

1799: \sqrt{\frac{d(a)d(b)d(r)}{d(c)d(p)d(q)d(\xi )}} \\ 

1800: & \times \sum\limits_{\substack{Z_1\in \mathcal{B}_{\rho c}^r \\ Z_2\in \mathcal{B}_{c\zeta }^r}}Z_2^{\ast }

1801: (\sum\limits_{A\in \mathcal{B}_{a b}^c}A^{\ast }a(Y_2Y_1^{\ast})X_2X_1^{\ast}\xi (A))Z_1\ (Z_1\otimes Z_2).

1802: \end{align*}

1803: 

1804: \noindent 

1805: Thus, we have 

1806: 

1807: \begin{align*}

1808: &d(\rho )^{1/4}d(\zeta )^{1/4}\varphi ((X_1\otimes X_2)\cdot  (Y_1\otimes Y_2)) \\ 

1809: =&\delta _{\xi ,\eta }\frac{\lambda ^{-1}}{\sqrt{d(\xi )}}\sqrt{\frac{d(a)d(b)}{d(p)d(q)}}

1810: \sum\limits_{\substack{Z_1\in \mathcal{B}_{\rho c}^r \\ Z_2\in \mathcal{B}_{c\zeta }^r}}Z_2^{\ast }

1811: (\sum\limits_{A\in \mathcal{B}_{a b}^c} A^{\ast }a(Y_2Y_1^{\ast})X_2X_1^{\ast}\xi (A))Z_1\ 

1812: (\xi c\vert Z_2Z_1^{\ast } \vert c\xi ) \\ 

1813: =&\delta _{\xi ,\eta }\frac{\lambda ^{-1}}{\sqrt{d(\xi )}}\sqrt{\frac{d(a)d(b)}{d(p)d(q)}}

1814: \sum_{\substack{c, r\in \Delta \\ c\prec ab \\ r\prec c\xi }}

1815: \sum\limits_{\substack{Z_1\in \mathcal{B}_{\rho c}^r \\ Z_2\in \mathcal{B}_{c\zeta }^r}}

1816: \sum\limits_{A\in \mathcal{B}_{a b}^c}\ (\xi c\vert Z_2Z_2^{\ast }

1817: A^{\ast }a(Y_2Y_1^{\ast})X_2X_1^{\ast}\xi (A)Z_1Z_1^{\ast } \vert c\xi )  \\ 

1818: =&\delta _{\xi ,\eta }\frac{\lambda ^{-1}}{\sqrt{d(\xi )}}\sqrt{\frac{d(a)d(b)}{d(p)d(q)}}

1819: \sum_{\substack{c\in \Delta \\ c\prec ab}}\sum\limits_{A\in \mathcal{B}_{a b}^c} 

1820: (\xi c\vert A^{\ast }a(Y_2Y_1^{\ast})X_2X_1^{\ast}\xi (A) \vert c\xi ) \\ 

1821: =&d(\rho )^{1/4}d(\zeta )^{1/4}\varphi (X_1\otimes X_2)\varphi (Y_1\otimes Y_2). 

1822: \end{align*}

1823: 

1824: Hence, $\varphi $ preserves the products. 

1825: It is clear that $\varphi $ is bijective. 

1826: Thus, $\varphi $ is an algebra isomorphism. 

1827: \par 

1828: Let $\varphi '$ be the algebra isomorphism from the center of $\text{Tube}\Delta $ 

1829: to the center of $\text{Tube}_I\Delta $ induced from $\varphi $. 

1830: We regard $Z^{\Delta }(S^1\times S^1)$ as a subspace of the center $\mathcal{Z}(\text{Tube}\Delta )$, and 

1831: denote by $\bar{\varphi }$ the restriction of $\varphi '$ to $Z^{\Delta }(S^1\times S^1)$. 

1832: We will show that $\bar{\varphi }$ induces an $SL(2,\mathbb{Z})$-equivariant map from 

1833: $Z^{\Delta }(S^1\times S^1)$ to $\mathcal{Z}(\text{Tube}_I\Delta )$ in the sense of the statement in the theorem. 

1834: By Lemma \ref{Lemma2}, for $X_1\in \mathcal{B}_{\rho a}^p$ and $X_2\in \mathcal{B}_{a\rho }^p$ we have 

1835: 

1836: \begin{align*}

1837: \tilde{S}_{\#}(X_1\otimes X_2)

1838: &=\sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\bar{a}\rho }^r\\ Z_2\in \mathcal{B}_{\rho \bar{a}}^r}}

1839:  \kern-0.2cm \dfrac{\sqrt{d(p)d(r)}}{d(\rho )}Z_2^{\ast }\tilde{X}_2^{\ast }\bar{a}(\hat{X}_1)Z_1\ Z_1\otimes Z_2, \\ 

1840: \tilde{T}_{\#}^{-1}(X_1\otimes X_2)

1841: &=\sum\limits_{\substack{r\in \Delta \\ Z_1\in \mathcal{B}_{\rho p}^r\\ Z_2\in \mathcal{B}_{p\rho }^r}}

1842: \kern-0.2cm \dfrac{\sqrt{d(a)d(r)}}{d(p)}Z_2^{\ast }X_1^{\ast }\rho(X_2)Z_1\ Z_1\otimes Z_2.

1843: \end{align*}

1844: 

1845: It follows immediately from the second equation that 

1846: $\varphi '\circ \tilde{T}_{\#}^{-1}={T_{\Delta }'}^{-1}\circ \varphi '$. 

1847: Since 

1848:  

1849: \begin{align*}

1850: \dfrac{1}{d(\rho )}Z_2^{\ast }\tilde{X}_2^{\ast }\bar{a}(\hat{X}_1)Z_1

1851: &=\dfrac{1}{d(\rho )}\dfrac{d(\rho )d(a)}{d(p)}Z_2^{\ast }( \bar{a}(X_2^{\ast })R_a)^{\ast } \bar{a}(X_1^{\ast }\rho (\overline{R}_a))Z_1 \notag \\ 

1852: &=\dfrac{d(a)}{d(p)}Z_2^{\ast }R_a^{\ast }\bar{a}(X_2)\bar{a}(X_1^{\ast }\rho (\overline{R}_a))Z_1 \\ 

1853: &=\dfrac{d(a)}{d(p)}Z_2^{\ast }R_a^{\ast }\bar{a}(X_2X_1^{\ast }\rho (\overline{R}_a))Z_1 \\ 

1854: &=\dfrac{d(a)}{d(p)d(\rho )}Z_2^{\ast}S_{\Delta}'(\rho a\vert X_2X_1^{\ast }\vert a\rho )Z_1, 

1855: \end{align*}

1856:  

1857: \noindent 

1858: we see also that $\varphi '\circ \tilde{S}_{\#}= S_{\Delta }'\circ \varphi '$. 

1859: Thus, $\bar{\varphi }$ is an $SL(2,\mathbb{Z})$-equivariant homomorphism. 

1860: \par 

1861: Since $\dim Z^{\Delta }(S^1\times S^1)=\dim \mathcal{Z}(\text{Tube}_I\Delta )$ by Theorem \ref{Theorem2} 

1862: and $\bar{\varphi }$ is injective, it follows that $\bar{\varphi }$ is an $SL(2,\mathbb{Z})$-equivariant isomorphism. 

1863: This completes the proof. \qed 

1864: 

1865: \par \bigskip 

1866: By Theorem \ref{Theorem1}, Proposition \ref{Proposition1} and Lemma \ref{Lemma3}, we have : 

1867: 

1868: \par \bigskip 

1869: \begin{cor}

1870: \label{Corollary}  

1871: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1872: of an infinite factor $M$ with finite index and finite depth. 

1873: Let $\varphi :\text{Tube}\Delta \longrightarrow \text{Tube}_I\Delta $ be the algebra isomorphism 

1874: defined as in the above theorem, and 

1875: $P:V^{\Delta }(S^1\times S^1)\longrightarrow V^{\Delta }(S^1\times S^1)$ 

1876: the conjugate linear isomorphism defined as in Proposition \ref{Proposition1}. 

1877: Then, the composition $\varphi \circ P:V^{\Delta }(S^1\times S^1)\longrightarrow \text{Tube}_I\Delta $ 

1878: induces a conjugate linear isomorphism 

1879: $\phi :Z^{\Delta }(S^1\times S^1)\longrightarrow \mathcal{Z}(\text{Tube}_I\Delta )$, 

1880: which preserves the products of these two algebras and commutes with the actions of $SL(2,\mathbb{Z})$. 

1881: \end{cor}

1882: 

1883: 

1884: \par \bigskip 

1885: \begin{rem}

1886: Izumi has introduced an inner product $\langle \ \ ,\ \ \rangle _{\text{Tube}}$ on $\text{Tube}_I\Delta $ 

1887: as follows \cite{Izumi4}. 

1888: $$\langle (\xi \zeta \vert X \vert \zeta \eta ),(\xi '\zeta '\vert Y \vert \zeta '\eta ') \rangle _{\text{Tube}}

1889: =\delta _{\xi ,\xi '}\delta _{\zeta ,\zeta '}d(\xi )^2R_{\zeta }^{\ast }\bar{\zeta }(XY^{\ast })R_{\zeta }.$$ 

1890: Let $\{ v_i\} _{i=0}^m$ be a Verlinde basis of $Z^{\Delta }(S^1\times S^1)$, 

1891: and $\{ w_i\} _{i=1}^m$ the primitive idempotents in the fusion algebra $Z^{\Delta }(S^1\times S^1)$ 

1892: obtained from $\{ v_i\} _{i=0}^m$ by applying the transformation $S$ (see Remarks \ref{remarks}). 

1893: Then, the basis $\{ \frac{\sqrt{\lambda }}{d_i}\phi (w_i)\} _{i=0}^m$ is orthonormal with respect to the inner product 

1894: $\langle \ \ ,\ \ \rangle _{\text{Tube}}$, 

1895: where $d_i=\lambda S_{0i}$ and $Z^{\Delta }(S)v_i=\sum_j{S}_{ji}v_j$ \cite{Izumi4}.  

1896: \par 

1897: On the other hand, since the Verlinde basis $\{ v_i\} _{i=0}^m$ is orthonormal with respect to the inner product 

1898: $\langle \ \ ,\ \ \rangle _{\text{TQFT}}$ based on the TQFT defined as in Section 3, 

1899: and $Z^{\Delta }(S)$ is unitary with respect to the inner product $\langle \ \ ,\ \ \rangle _{\text{TQFT}}$, we have 

1900: 

1901: \begin{align*}

1902: \langle \frac{\sqrt{\lambda }}{d_i}w_i,\ \frac{\sqrt{\lambda }}{d_j}w_j\rangle _{\text{TQFT}}

1903: =&\langle \frac{1}{\sqrt{\lambda }S_{0i}}w_i,\ \frac{1}{\sqrt{\lambda }S_{0j}}w_j\rangle _{\text{TQFT}} \\ 

1904: =&\frac{1}{\lambda }\langle Z^{\Delta }(S)^{\ast }(v_i), Z^{\Delta }(S)^{\ast }(v_j)\rangle _{\text{TQFT}}\\ 

1905: =&\frac{1}{\lambda }\langle v_i, v_j\rangle _{\text{TQFT}} \\ 

1906: =&\frac{1}{\lambda } \delta _{ij}. 

1907: \end{align*}

1908: 

1909: Therefore, $\phi $ does not preserve the inner products. 

1910: \end{rem}

1911: 

1912: 

1913: \par \bigskip 

1914: \section{\kern-1em .\ \ Calculations of Turaev-Viro-Ocneanu invariants of Basic $3$-manifolds}

1915: \par 

1916: Izumi explicitly gave an action 

1917: of $SL(2, \mathbb{Z})$ on the center of the tube algebra in the language 

1918: of sectors, and derived some formulas on Turaev-Viro-Ocneanu invariants of lens spaces 

1919: by applying formulas in \cite{SuzukiWakui} to subfactors constructed by his method \cite{Izumi4, Izumi5}.  

1920: In the previous section, we established a rigorous correspondence between the 

1921: $S$- and $T$-matrices in Izumi's sector theory and the ones in Turaev-Viro-Ocneanu 

1922: $(2+1)$-dimensional TQFT. Via this correspondence and the Dehn surgery formula 

1923: of the Turaev-Viro-Ocneanu invariant, we can compute the Turaev-Viro-Ocneanu invariants 

1924: of $3$-manifolds in the language of sectors. 

1925: In this section, using techniques on sectors due to Izumi \cite{Izumi4, Izumi5}, 

1926: we compute the Turaev-Viro-Ocneanu invariants from several subfactors for basic $3$-manifolds  

1927: including lens spaces and Brieskorn $3$-manifolds. 

1928: One of the most important result is that the homology $3$-sphere $S^3$ and 

1929: the Poincar\'{e} homology $3$-sphere $\Sigma (2,3,5)$ are distinguished by the Turaev-Viro-Ocneanu invariant 

1930: from the exotic subfactor constructed by Haagerup and Asaeda \cite{Haagerup, AsaedaHaagerup}, and 

1931: $L(p,1)$ and $L(p,2)$ are distinguished by the Turaev-Viro-Ocneanu invariant 

1932: from a generalized $E_6$-subfactor with $\mathbb{Z}/p\mathbb{Z}$ for $p=3,5$. 

1933: \par \bigskip 

1934: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1935: of an infinite factor $M$ with finite index and finite depth. Since any finite dimensional $C^*$-algebra 

1936: is semisimple, we may assume that  ${\rm Tube} \Delta =\oplus_{i=0}^r 

1937: \text{M}_{n_i}({\mathbb C})$ as algebras, 

1938: where $\text{M}_{n_i}(\mathbb{C})$ is the set of $n_i\times n_i$-matrices over $\mathbb{C}$. 

1939: From each direct summand of ${\rm Tube }\Delta =\oplus_{i=0}^r 

1940: \text{M}_{n_i}(\mathbb{C})$, we pick up a minimal projection $p_i$. 

1941: Then, we have proved that $\{ p_i\} _{i=0}^r$ is a Verlinde basis of $Z^{\Delta }(S^1\times S^1)$ 

1942: in the sense of Definition \ref{Definition} \cite{KSW}. Thus, we have :

1943: 

1944: 

1945: \par \bigskip 

1946: \begin{thm}[\cite{KSW}]

1947: \label{Theorem3}

1948: Let $\Delta $ be a finite system of $\text{End}(M)_0$ obtained from a subfactor $N\subset M$ 

1949: of an infinite factor $M$ with finite index and finite depth. 

1950: Then, there exists a Verlinde basis of $Z^{\Delta }(S^1\times S^1)$ in the sense of Definition \ref{Definition}. 

1951: \end{thm}

1952: 

1953: \par \bigskip 

1954: Let us recall the Dehn surgery formula of $Z(M)$ \cite{Wakui, KSW}. 

1955: Let $Z$ be a $(2+1)$-dimensional TQFT, and $\{ v_i \}_{i=0}^m$ a basis of $Z(S^1 \times S^1)$.

1956: \par 

1957: We introduce a framed link invariant in the following way. 

1958: Let $L=L_1\cup \cdots \cup L_r$ be a framed link with $r$-components in the 3-sphere $S^3$, 

1959: and $h_i: D^2\times S^1\longrightarrow N(L_i)$ be the framing of $L_i$ for each $i\in \{ 1, \cdots , r\} $, 

1960: where $N(L_i)$ denotes the tubular neighborhood of $L_i$. 

1961: We fix an orientation for $\partial N(L_i)$ such that 

1962: $j_i:=h_i\vert _{\partial D^2\times S^1}:S^1\times S^1\longrightarrow \partial N(L_i)$ 

1963: is orientation preserving. 

1964: Since the orientation for $N(L_i)$ is not compatible with the orientation for the link exterior 

1965: $X:=\overline{S^3-N(L_1)\cup \cdots \cup N(L_r)}$, 

1966: we can consider the cobordism parametrized boundary ${\cal W}_L:=(X; \coprod \limits_{i=1}^r j_i ,\emptyset )$ 

1967: (See \cite{KSW} for detail). 

1968: This cobordism induces a 

1969: $\mathbb{C}$-linear map $Z_{{\cal W}_L}: \bigotimes \limits_{i=1}^rZ(S^1\times S^1)\longrightarrow \mathbb{C}$. 

1970: It is easy to see that for each $i_1,\cdots ,i_r=0,1,\cdots ,m$ 

1971: the complex number $J(L; i_1, \cdots , i_r):=Z_{{\cal W}_L}(v_{i_1}\otimes \cdots \otimes v_{i_r})$  

1972: is a framed link invariant of $L$. 

1973: In this setting, we proved the following proposition. 

1974: 

1975: \par\bigskip 

1976: \begin{prop}[Dehn surgery formula \cite{KSW}]

1977: \label{Proposition2}

1978: Let $Z$ be a (2+1)-dimensional TQFT and $\{ v_i\} _{i=0}^m$ a basis of the fusion algebra $Z(S^1\times S^1)$ 

1979: such that $v_0$ is the identity element in the fusion algebra. 

1980: Let $M$ be a closed oriented 3-manifold obtained from $S^3$ by Dehn surgery along a framed link 

1981: $L=L_1\cup \cdots \cup L_r$. 

1982: Then, the 3-manifold invariant $Z(M)$ is given by the formula

1983: $$Z(M)=\sum_{i_1, \cdots , i_r=0}^m S_{i_10}\cdots S_{i_r0}J(L;i_1, \cdots , i_r),$$ 

1984: where $S_{ji} \in \mathbb{C}$, $i,j=0,1,\cdots ,m$ are defined by $Z(S) v_i=\sum_{j=0}^m S_{ji} v_j$, 

1985: and $S:S^1\times S^1\longrightarrow S^1\times S^1$ is the orientation preserving diffeomorphism defined by 

1986: $S(z,w)=(\bar{w},z)$ for all $(z,w)\in S^1\times S^1$. 

1987: \end{prop}

1988: 

1989: This is a quite general formula which is a conclusion of the axioms of 

1990: $(2+1)$-dimensional TQFT. The right-hand side of this formula looks 

1991: very similar to the formula of the Reshetikhin-Turaev invariant of closed 

1992: 3-manifolds, although many things are missing in the above general formula, 

1993: compared to the Reshetikhin-Turaev formula \cite{RT}. 

1994: (See \cite{KSW, SatoWakui} for more details on the Dehn surgery formula and its applications.)

1995: 

1996: \par 

1997: From Proposition \ref{Proposition2}, if we want to compute the Turaev-Viro-Ocneanu invariant 

1998: of a closed 3-manifold $M$, we need to compute the $S$-matrix and the framed link 

1999: invariants $J(L;i_1,\cdots ,i_r)$. Since we know that 

2000: the existence of the isomorphism $Z^\Delta(S^1 \times S^1)\cong \mathcal{Z}(\text{Tube} \Delta)$ 

2001: by Theorem \ref{Theorem3}, 

2002: we can compute the $S$-matrix with respect 

2003: to a Verlinde basis of $Z^{\Delta }(S^1\times S^1)$ in principle 

2004: (see also Theorem \ref{Theorem1} and Theorem \ref{Theorem2}). 

2005: If a 3-manifold $M$ is obtained from $S^3$ 

2006: by Dehn surgery along an \lq\lq easy'' framed link $L$, then we can compute the 

2007: $S$-matrix, the framed link invariants $J(L;i_1,\cdots ,i_r)$ and $Z(M)$. 

2008: In particular, for $3$-manifolds $M$ such as lens spaces and Brieskorn 3-manifolds

2009:  we have useful formulas for $Z(M)$ as follows. 

2010: 

2011: \begin{figure}[htbp]

2012: \begin{center}

2013: \setlength{\unitlength}{1cm}

2014: \scalebox{0.9}[0.9]{\includegraphics[height=3.5cm]{wsil17.eps}}

2015: %Brieskorn.eps

2016: \caption{the Brieskorn 3-manifold $\Sigma (p,q,r)$ \label{Figure17}}

2017: \end{center}

2018: \end{figure}

2019: 

2020: Let $Z$ be a $(2+1)$-dimensional TQFT with Verlinde basis $\{ v_i\} _{i=0}^m$. 

2021: For $i=0,1,\cdots ,m$, we write 

2022: $$Z(T)v_i=t_iv_i\ \text{and} \ Z(S)v_i=\sum\limits_{j=0}^mS_{ji}v_j.$$ 

2023: Let $p$ and $q$ be coprime positive integers. We present $p/q$ in the continued fraction 

2024: $$\frac{p}{q}= a_1 - 

2025: \cfrac{1}{a_2 - 

2026: \cfrac{1}{a_3 - 

2027: \cfrac{1}{\ddots - 

2028: \cfrac{1}{a_n 

2029: }}}} \ ,$$ 

2030: where $a_1,a_2,\cdots ,a_n\geq 2$ are integers. 

2031: Then, the lens space $L(p,q)$ is obtained by identifying two solid tori $D^2\times S^1$ 

2032: gluing the diffeomorphism 

2033: $f=T^{a_1}ST^{a_2}S \cdots T^{a_{n-1}}ST^{a_n}:S^1\times S^1\longrightarrow S^1\times S^1$ \cite{Rolfsen}. 

2034: It follows from the Dehn surgery formula that 

2035: $$Z(L(p,q))=\sum _{i_1,i_2,\cdots,i_n=0}^m

2036: S_{i_10}t_{i_1}^{a_1}S_{i_1i_2}t_{i_2}^{a_2}S_{i_2i_3}\cdots

2037: t_{i_{n-1}}^{a_{n-1}}S_{i_{n-1}i_n}t_{i_n}^{a_n}S_{i_n0}.$$

2038: In particular, we have 

2039: \par 

2040: $\bullet$\ $Z(L(p,1))=\sum \limits_{i=0}^mt_i^pS_{i0}^2$ for any $p$. 

2041: \par 

2042: $\bullet$\ $Z(L(p,2))=\sum \limits_{i,j=0}^mt_i^{\frac{p+1}{2}}t_j^2S_{i0}S_{j0}S_{ij}$ for any odd integer $p$,

2043: \par 

2044: $\bullet$\ $Z(L(p,3))=\begin{cases} \sum \limits_{i,j,k=0}^mt_i^{\frac{p+2}{3}}t_j^2t_k^2S_{i0}S_{j0}S_{k0}S_{ij}S_{kj} & \text{if }\ p\equiv 1\ (\text{mod}3), \\  

2045: \sum \limits_{i,j=0}^mt_i^{\frac{p+1}{3}}t_j^3S_{i0}S_{j0}S_{ij} & \text{if }\ p\equiv 2\ (\text{mod}3). \end{cases} $ 

2046: 

2047: \par \bigskip 

2048: The Brieskorn 3-manifold 

2049: $\Sigma (p,q,r)=\{ (u,v,w)\in \mathbb{C}^3\ \vert \ u^p+v^q+w^r=0,\ {|u|}^2+{|v|}^2+{|w|}^2=1\} $, where $p,q,r\geq 2$, 

2050:  is obtained from $S^3$ by Dehn surgery along the framed link presented by the diagram depicted in Figure \ref{Figure17} \cite{Rolfsen}. 

2051:  Then, it follows from the Dehn surgery formula that 

2052: \par 

2053: $\bullet$\ $Z(\Sigma (p,q,r))=\sum\limits_{i,j,k,l=0}^mt_i^pt_j^qt_k^rt_l\dfrac{S_{i0}S_{j0}S_{k0}S_{il}S_{jl}S_{kl}}{S_{l0}}.$

2054: \par 

2055: This is obtained as a special case of the following lemma. 

2056: 

2057: \vspace{1cm} \par 

2058: 

2059: \begin{figure}[hbtp]

2060: \begin{center}

2061: \setlength{\unitlength}{1cm}

2062: \scalebox{0.9}[0.9]{\includegraphics[height=5cm]{wsil18.eps}}

2063: %L(q,p_1,...,p_r)2.eps

2064: \caption{the framed link $L(q,p_1,...,p_r)$ \label{Figure18}}

2065: \end{center}

2066: \end{figure}

2067: 

2068: \par \bigskip 

2069: \begin{lem}

2070: \label{Lemma4}

2071: Let $L(q,p_1,\cdots ,p_r)$ be the framed link presented by the diagram as in Figure \ref{Figure18}, and 

2072: $M$ the $3$-manifold obtained from $S^3$ by Dehn surgery along $L(q,p_1,\cdots ,p_r)$, 

2073: where $q,p_1,\cdots ,p_r$ stand for those integral framings.  

2074: Then, $Z(M)$ is given by 

2075: $$Z(M)=\sum\limits_{i_1,\cdots ,i_r,j=0}^mt_{i_1}^{p_1}\cdots t_{i_r}^{p_r}t_j^q\dfrac{S_{i_10}\cdots S_{i_r0}S_{i_1j}\cdots S_{i_rj}}{S_{j0}^{r-2}}.$$ 

2076: \end{lem}

2077: 

2078: \par \medskip \indent 

2079: {\bf Proof.} 

2080: Let $L$ be the framed link $L(0,0,\cdots ,0)$. The framed link $L$ is isomorphic to the framed link 

2081: presented by the diagram as in Figure \ref{Figure19}.  

2082: 

2083: \begin{figure}[hbtp]

2084: \begin{center}

2085: \setlength{\unitlength}{1cm}

2086: \includegraphics[height=5cm]{wsil19.eps}

2087: %L(0,0,...,0).eps

2088: \caption{the framed link $L(0,0,...,0)$ \label{Figure19}}

2089: \end{center}

2090: \end{figure}

2091: 

2092: By fusing the $(r-1)$-th component and $r$-th component, we obtain  

2093: 

2094: \begin{align*}

2095: &J(L;j,i_1,\cdots ,i_{r-2},i_{r-1},i_r) \\ 

2096: &=\sum\limits_{k=0}^mN_{i_{r-1},i_r}^kJ(L';j,i_1,\cdots ,i_{r-2},k) \\ 

2097: &=\sum\limits_{k,l=0}^m\dfrac{S_{li_{r-1}}S_{li_r}\overline{S_{lk}}}{S_{l0}}J(L';j,i_1,\cdots ,i_{r-2},k) \\ 

2098: &=\sum\limits_{k,l=0}^m\dfrac{S_{li_{r-1}}S_{li_r}\overline{S_{lk}}}{S_{l0}}\dfrac{S_{i_1j}\cdots S_{i_{r-2}j}S_{kj}}{S_{j0}^{r-2}} \\ 

2099: &=\sum\limits_{l=0}^m\dfrac{S_{li_{r-1}}S_{li_r}}{S_{l0}}\dfrac{S_{i_1j}\cdots S_{i_{r-2}j}}{S_{j0}^{r-2}}\sum\limits_{k=0}^d\overline{S_{lk}}S_{kj} \qquad \qquad \notag \\ 

2100: &=\dfrac{S_{i_1j}\cdots S_{i_{r-2}j}S_{i_{r-1}j}S_{i_rj}}{S_{j0}^{r-1}}, 

2101: \end{align*}

2102: 

2103: \noindent 

2104: where $L'$ is the framed link from $L$ removing the $r$-th component $L_r$. 

2105: Hence, by induction on $r$ it can be proved that the framed link invariant $J(L;j,i_1,\cdots ,i_r)$ of 

2106: $L=L(0,0,\cdots ,0)$ is given by 

2107: 

2108: \begin{equation}

2109: J(L;j,i_1,\cdots ,i_r)=\dfrac{S_{i_1j}\cdots S_{i_rj}}{S_{j0}^{r-1}}.\label{eq4}

2110: \end{equation}

2111: 

2112: By substituting the equation (\ref{eq4}) into the formula 

2113: 

2114: \begin{align*}

2115: Z(M)

2116: &=\sum\limits_{i_1,\cdots ,i_r=0}^mS_{i_1,0}\cdots S_{i_r,0}J(L(q,p_1,\cdots ,p_r);i_1,\cdots ,i_r) \notag \\ 

2117: &=\sum\limits_{i_1,\cdots ,i_r=0}^mS_{i_1,0}\cdots S_{i_r,0}t_{j}^qt_{i_1}^{p_1}\cdots t_{i_r}^{p_r}J(L;i_1,\cdots ,i_r), \qquad \qquad \qquad \notag 

2118: \end{align*}

2119: 

2120: we obtain  

2121: $$Z(M)=\sum\limits_{i_1,\cdots ,i_r,j=0}^mt_{i_1}^{p_1}\cdots t_{i_r}^{p_r}t_j^q\dfrac{S_{i_10}\cdots S_{i_r0}S_{i_1j}\cdots S_{i_rj}}{S_{j0}^{r-2}}.$$ 

2122: This completes the proof. \qed 

2123: 

2124: \par \bigskip 

2125: We can compute a plenty of 

2126: Turaev-Viro-Ocneanu invariants of some basic manifolds based on Izumi's data 

2127: \cite{Izumi5} of the $S$- and $T$-matrices. 

2128: For example, we have the following list of values for Turaev-Viro-Ocneanu invariants from subfactors 

2129: by partially using the Maple software Release 5 for computations. 

2130: 

2131: \par 

2132: \bigskip 

2133: \noindent \underline{the $D_5^{(1)}$-subfactors \cite[Example 3.2]{Izumi2}}

2134: \par \ 

2135: \par 

2136: $Z^{\text{\normalsize $D_5^{(1)}$}}(L(3,1))

2137: =\overline{Z^{\text{\normalsize $D_5^{(1)}$}}(L(3,2))}

2138: =\dfrac{1+2w^2}{6}$, where $w^3=1$

2139: \par \medskip 

2140: \par 

2141: $Z^{\text{\normalsize $D_5^{(1)}$}}(L(5,1))

2142: =Z^{\text{\normalsize $D_5^{(1)}$}}(L(5,2))

2143: =Z^{\text{\normalsize $D_5^{(1)}$}}(L(7,1))

2144: =Z^{\text{\normalsize $D_5^{(1)}$}}(L(7,2))

2145: =\dfrac{1}{6}$

2146: 

2147: \par \bigskip 

2148: \noindent \underline{the $E_6$-subfactor that $c_2=e^{\frac{7\pi \sqrt{-1}}{12}}$ \cite[Example 3.4]{Izumi2}}

2149: \par \ 

2150: \par 

2151: $Z^{\text{\normalsize $E_6$}}(L(p,1))$

2152: =$\dfrac{1}{12}\{ ((-1)^p+1)e^{-\frac{p\pi i}{3}}+2e^{-\frac{5p\pi i}{6}}+i^p+2(-1)^p+5\} $

2153: \par \medskip 

2154: $Z^{\text{\normalsize $E_6$}}(L(p,2))$

2155: =$\dfrac{1}{4}+\dfrac{(-1)^{\frac{p+1}{2}}i}{12}-\dfrac{\sqrt{3}+i}{12}e^{-\frac{(p+1)\pi i}{6}}$

2156: \par \medskip 

2157: \begin{align*}

2158: &Z^{\text{\normalsize $E_6$}}(L(p,3)) \\ 

2159: =&

2160: \begin{cases}

2161: \frac{1}{24}

2162: (9-3(-1)^{\frac{p-1}{3}}

2163: -\sqrt{3}i(1-(-1)^{\frac{p-1}{3}})

2164: -2\sqrt{3}i^{\frac{p-1}{3}})

2165: &

2166: \text{if }\ p \equiv 1 \ (\text{mod}3)\cr 

2167: \frac{1}{24}

2168: (9-3(-1)^{\frac{p+1}{3}}

2169: +\sqrt{3}i(1-(-1)^{\frac{p+1}{3}})

2170: -2\sqrt{3}i^{\frac{p+1}{3}})

2171: &

2172: \text{if }\ p \equiv 2 \ (\text{mod}3)

2173: \end{cases}

2174: \end{align*}

2175: \par 

2176: \bigskip 

2177: \begin{tabular}{c|cccc}

2178: $(p,q,r)$ &  $(2,3,5)$ & $(2,3,7)$ & $(2,5,7)$ & $(3,5,7)$ \\ 

2179: \hline 

2180: $Z^{\text{\normalsize $E_6$}}(\Sigma (p,q,r))$ & $\frac{2(3+\sqrt{3})+3(1-\sqrt{3})i}{12}$ & $\frac{2(3+\sqrt{3})+3(1-\sqrt{3})i}{12}$ & $\frac{-\sqrt{3}+9+6i}{12}$ & $\frac{2-\sqrt{3}i}{2}$ \\ 

2181: \end{tabular}

2182: 

2183: \par 

2184: \bigskip 

2185: \begin{tabular}{c|ccccc}

2186: $(p,q,r)$ &  $(2,3,8)$ & $(2,3,9)$ &  $(2,4,5)$ & $(2,4,6)$ &  $(2,4,7)$ \\ 

2187: \hline 

2188: $Z^{\text{\normalsize $E_6$}}(\Sigma (p,q,r))$ &  $\frac{(3-\sqrt{3})-(1+\sqrt{3})i}{4}$ & $\frac{3+i}{4}$ &  $\frac{2+i}{2}$ & $\frac{3+i}{2}$ & $\frac{2+i}{2}$  \\ 

2189: \end{tabular}

2190: 

2191: \par 

2192: \bigskip 

2193: \begin{tabular}{c|ccccc}

2194: $(p,q,r)$ & $(2,5,5)$ & $(2,5,6)$  & $(3,3,4)$ & $(3,3,5)$ &  $(3,3,6)$ \\ 

2195: \hline 

2196: $Z^{\text{\normalsize $E_6$}}(\Sigma (p,q,r))$ & $\frac{3+i}{4}$  & $\frac{3-\sqrt{3}i}{3}$ & $\frac{\sqrt{3}(1-i)}{4}$ & $\frac{-\sqrt{3}i}{2}$& $\frac{3-\sqrt{3}}{4}i$ \\ 

2197: \end{tabular}

2198: 

2199: \par 

2200: \bigskip 

2201: \begin{tabular}{c|ccc}

2202: $(p,q,r)$ & $(3,4,5)$ & $(4,4,4)$  & $(3,4,4)$ \\ 

2203: \hline 

2204: $Z^{\text{\normalsize $E_6$}}(\Sigma (p,q,r))$ &  $\frac{2(\sqrt{3}+3)+3(1-\sqrt{3})i}{12}$ & $\frac{3i-\sqrt{3}}{3}$  &  $\frac{3(1+\sqrt{3})+(3-\sqrt{3})i}{6}$ \\ 

2205: \end{tabular}

2206: 

2207: \par \bigskip 

2208: \noindent \underline{a generalized $E_6$-subfactor with $G=\mathbb{Z}/3\mathbb{Z}$ \cite[Example A-1]{Izumi5}}

2209: \par \ 

2210: \par 

2211: $Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(3,1))

2212: =\overline{Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(3,2))}

2213: =\frac{(7-\sqrt{7}i)(\sqrt{21}-1)}{70}$

2214: \par \medskip 

2215: $Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(5,1))

2216: =Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(5,2))

2217: =-\frac{2}{15}+\frac{4\sqrt{21}}{105}$

2218: \par \medskip 

2219: $Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(7,1))

2220: =Z^{\text{\normalsize $E_6,\mathbb{Z}/3\mathbb{Z}$}}(L(7,2))

2221: =\frac{(1+\sqrt{3}i)(\sqrt{21}-1)}{30}$

2222: 

2223: \par 

2224: \par \bigskip 

2225: \noindent \underline{a generalized $E_6$-subfactor with $G=\mathbb{Z}/4\mathbb{Z}$ \cite[ Example A-2]{Izumi5}}

2226: \par \ 

2227: \par 

2228: $Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(3,1))

2229: =Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(3,2))

2230: =\frac{2+\sqrt{2}}{16}$

2231: \par \medskip 

2232: $Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(5,1))

2233: =Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(5,2))

2234: =\frac{2+\sqrt{2}}{16}$

2235: \par \medskip 

2236: $Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(7,1))

2237: =Z^{\text{\normalsize $E_6,\mathbb{Z}/4\mathbb{Z}$}}(L(7,2))

2238: =\frac{2-\sqrt{2}}{16}$

2239: 

2240: \bigskip 

2241: \noindent \underline{a generalized $E_6$-subfactor with $G=\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ 

2242: \cite[Example A-3]{Izumi5}}

2243: \par \ 

2244: \par 

2245: $Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(3,1))

2246: =Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(3,2))

2247: =\frac{2+\sqrt{2}}{16}$

2248: \par \medskip 

2249: $Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(5,1))

2250: =Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(5,2))

2251: =\frac{2+\sqrt{2}}{16}$

2252: \par \medskip 

2253: $Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(7,1))

2254: =Z^{\text{\normalsize $E_6,\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$}}(L(7,2))

2255: =\frac{2-\sqrt{2}}{16}$

2256: 

2257: \par \bigskip 

2258: \noindent \underline{a generalized $E_6$-subfactor with $G=\mathbb{Z}/5\mathbb{Z}$ \cite[Example A-4]{Izumi5}}

2259: \par \ 

2260: \par 

2261: $Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(3,1))

2262: =Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(3,2))

2263: =\frac{\sqrt{5}-7}{55}$

2264: \par \medskip 

2265: $Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(5,1))

2266: =\dfrac{1}{2}Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(5,2))

2267: =\frac{1+3\sqrt{5}}{33}$

2268: \par \medskip 

2269: $Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(7,1))

2270: =Z^{\text{\normalsize $E_6,\mathbb{Z}/5\mathbb{Z}$}}(L(7,2))

2271: =\frac{3}{55}+\frac{\sqrt{5}}{33}$

2272: 

2273: \par \bigskip 

2274: \noindent \underline{the Haagerup subfactor of Jones index $\frac{5+\sqrt{13}}{2}$ \cite[Appendix C]{Izumi5}}

2275: \par \ 

2276: \par 

2277: $Z^{Haagerup}(L(3,1))=Z^{Haagerup}(L(3,2))=\frac{13-\sqrt{13}}{26}$

2278: \par \medskip 

2279: $Z^{Haagerup}(L(5,1))=Z^{Haagerup}(L(5,2))=\frac{13+3\sqrt{13}}{78}$

2280: \par \medskip 

2281: $Z^{Haagerup}(L(7,1))=Z^{Haagerup}(L(7,2))=\frac{13+3\sqrt{13}}{78}$

2282: \par \medskip 

2283: $Z^{Haagerup}(\Sigma (2,3,5))=-\frac{\sqrt{13}}{26}+\frac{7}{6}=Z^{Haagerup}(S^3)+1$

2284: 

2285: 

2286: \par \bigskip 

2287: From the above results of computations, we expect that the following conjecture will hold true. 

2288: 

2289: \par 

2290: \begin{conj} If there exists a generalized $E_6$-subfactor with group symmetry $G=\mathbb{Z}/7\mathbb{Z}$, 

2291: then the lens spaces $L(7,1)$ and $L(7,2)$ will be distinguished by the Turaev-Viro-Ocneanu invariant from the subfactor. 

2292: \end{conj} 

2293: 

2294: 

2295: \begin{thebibliography}{[99]}

2296: {\small 

2297: \bibitem{AsaedaHaagerup}

2298: M. Asaeda and U. Haagerup, 

2299: \textit{Exotic subfactors of finite depth with Jones index $(5+\sqrt{13})/2$ and $(5+\sqrt{17})/2$}, 

2300: Commun. Math. Phys. {\bf 202} (1999) 1--63. 

2301: \bibitem{Atiyah}

2302: M. F. Atiyah, 

2303: \textit{Topological quantum field theories}, 

2304: Publ. Math. I.H.E.S. {\bf 68} (1989) 175--186.

2305: \bibitem{EK} 

2306: D. E. Evans and Y. Kawahigashi,

2307: \textit{Quantum symmetries on operator algebras},

2308: Oxford University Press, 1998. 

2309: \bibitem{Haagerup}

2310: U. Haagerup, 

2311: {\it Principal graphs of subfactors in the index range $4<[M:N]<3+\sqrt{2}$}, 

2312: in \lq\lq Subfactors", ed. by H. Araki, et al., World Scientific, 1994, 1--38.

2313: \bibitem{Izumi1}

2314: M. Izumi, 

2315: {\it Applications of fusion rules to classification of subfactors}, 

2316: Publ. RIMS {\bf 27} (1991) 953--994.

2317: \bibitem{Izumi2}

2318: M. Izumi, 

2319: \textit{\it Subalgebras of finite $C^{\ast}$-algebras with finite Watatani indices, I: Cuntz algebras}, 

2320: Commun. Math. Phys. {\bf 155} (1993) 157--182. 

2321: \bibitem{Izumi3}

2322: M. Izumi, 

2323: \textit{\it Subalgebras of finite $C^{\ast}$-algebras with finite Watatani indices, II: Cuntz-Krieger algebras}, 

2324: Duke Math. J. {\bf 91} (1998) 409--461. 

2325: \bibitem{Izumi4}

2326: M. Izumi, 

2327: \textit{The structures of sectors associated with the Longo-Rehren inclusions I. General theory}, 

2328: Commun. Math. Phys. {\bf 213} (2000) 127--179. 

2329: \bibitem{Izumi5}

2330: M. Izumi, 

2331: \textit{The structures of sectors associated with the Longo-Rehren inclusions II. Examples}, 

2332: Review in Math. Phys. {\bf 13} (2001) 603--674. 

2333: \bibitem{KSW} 

2334: Y. Kawahigashi, N. Sato and M. Wakui, 

2335: \textit{$(2+1)$-dimensional topological quantum field theory 

2336: from subfactors and Dehn surgery formula for 3-manifold invariants}, preprint, 2002.

2337: \bibitem{Longo2}

2338: R. Longo, 

2339: \textit{Index of subfactors and statistics of quantum fields II. 

2340: Correspondences, braid group statistics and Jones polynomial}, 

2341: Commun. in Math. Phys. {\bf 130} (1990) 285--309. 

2342: \bibitem{Ocneanu1}

2343: A. Ocneanu, 

2344: \textit{Chirality for operator algebras}, 

2345: in \lq\lq Subfactors", ed. by H. Araki, et al., World Scientific, 1994, 39--63.

2346: \bibitem{RT}

2347: N. Reshetikhin and V. G. Turaev, 

2348: {\it Invariants of $3$-manifolds via link polynomials and quantum groups}, 

2349: Invent. Math. {\bf 103} (1991) 547--597.

2350: \bibitem{Rolfsen}

2351: D. Rolfsen, 

2352: {\it Knots and links}, 

2353: Publish or Perish, Berkeley, 1976. 

2354: \bibitem{SatoWakui}

2355: N. Sato and M. Wakui, 

2356: \textit{$(2+1)$-dimensional topological quantum field theory with Verlinde basis and 

2357: Turaev-Viro-Ocneanu invariants of $3$-manifolds}, preprint, 2000.

2358: \bibitem{SuzukiWakui}

2359: K. Suzuki and M. Wakui, 

2360: {\it On the Turaev-Viro-Ocneanu invariant of $3$-manifolds derived 

2361: from the $E_6$-subfactor}, Kyushu J. Math. {\bf 56} (2002) 59--81. 

2362: \bibitem{Turaev}

2363: V. G. Turaev, \textit{Quantum invariants of knots and 3-manifolds}, 

2364: Walter de Gruyter, 1994.

2365: \bibitem{TV}

2366: V. G. Turaev and O. Ya. Viro, 

2367: \textit{State sum invariants of 3-manifolds and quantum $6j$-symbols}, 

2368: Topology {\bf 31} (1992) 865--902. 

2369: \bibitem{Verlinde}

2370: E. Verlinde, {\it Fusion rules and modular transformations in 2D conformal field theory}

2371: , Nucl. Phys. {\bf B300} (1988) 360--376.

2372: \bibitem{Wakui}

2373: M. Wakui, 

2374: {\it Fusion algebras for orbifold models (a survey)}, 

2375: in \lq\lq Topology, geometry and field theory" edited by K. Fukaya, M. Furuta, T. Kohno 

2376: and D. Kotschick, World Scientific, 1994, 225--235.

2377: \bibitem{Yetter}

2378: D. N. Yetter, 

2379: \textit{Topological quantum field theories associated to finite groups and crossed $G$-sets}, 

2380: J. Knot Theory and its Ramif. {\bf 1} (1992) 1--20. 

2381: }

2382: \end{thebibliography}

2383: 

2384: 

2385: \end{document}         

2386: 

2387:  

2388: 

2389: