Integral topological quantum field theory for a one-holed torus

DOI10.2140/PJM.2011.252.93MaRDI QIDQ650125zbMATH OpenOpenAlexFDO

Authors Patrick M. Gilmer, Gregor Masbaum

Publication date 25 November 2011

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0908.2796, http://msp.berkeley.edu/pjm/2011/252-1/p06.xhtml

zbMATH Keywords

Frohman-Kania-Bartoszynska idealgraph basesintegral basesintegralitymodular representationsorthogonal lollipop basisSO(3) Reshetikhin-Turaev TQFTTQFT

Mathematics Subject Classification ID

Topological quantum field theories (aspects of differential topology) (57R56)

Abstract: We give new explicit formulas for the representations of the mapping class group of a genus one surface with one boundary component which arise from Integral TQFT. Our formulas allow one to compute the h-adic expansion of the TQFT-matrix associated to a mapping class in a straightforward way. Truncating the h-adic expansion gives an approximation of the representation by representations into finite groups. As a special case, we study the induced representations over finite fields and identify them up to isomorphism. The key technical ingredient of the paper are new bases of the Integral TQFT modules which are orthogonal with respect to the Hopf pairing. We construct these orthogonal bases in arbitrary genus, and briefly describe some other applications of them.

Review text

An \(\text{SO}(3)\) Reshetikhin-Turaev TQFT associates, to a compact oriented surface \(\Sigma\) and to a natural number \(p\), a finite-dimensional vector space \(V_p(\Sigma)\) over a cyclotomic field \(\mathbb Q(\zeta_p)\) where \(\zeta_p\) is a primitive \(p\)th root of unity. When \(p\) is an odd prime, Gilmer refined this TQFT to a functor \({\mathcal S}^+_p\) which associates to \((\Sigma, p)\) a free lattice \({\mathcal S}^+_p(\Sigma)\) over \(\mathbb Z(\zeta_p)\) which is contained in \(V_p(\Sigma)\) [\textit{P. M. Gilmer}, ``Integrality for TQFTs, Duke Math. J. 125, No. 2, 389--413 (2004; Zbl 1107.57020)]. There is a representation \(\rho_p\) of a certain central extention of the mapping class group of \(\Sigma\) on \({\mathcal S}^+_p(\Sigma)\). For every \(N\geq 0\), the representation \(\rho_p\) induces a representation \(\rho_{p,N}\) on \({\mathcal S}^+_p(\Sigma)/h^{N+1}{\mathcal S}^+_p(\Sigma)\), where \(h=1-\zeta_p\). The sequence of representations \(\rho_{p,N}\) may be thought of as an `\(h\)-adic expansion' of \(\rho_p\) at \(p\)th root of unity, and is complete in the sense that if a mapping class is detected by \(\rho_p\) then it is detected by \(\rho_{p,N}\) for large enough \(N\). Representations \(\rho_{p,N}\) are clearly interesting to compute, because they give accessible quantum topological information about mapping class groups. This paper represents one of the first explicit computations in integral TQFT. It computes \(\rho_{p,N}\) for the genus one surface with one boundary component. The formulas give partial information for higher genus as well. To make explicit computations in integral TQFT, one must first choose a `good' basis for \({\mathcal S}^+_p(\Sigma)\). The key technical ingredient in this paper is a modification of the lollipop bases of [\textit{P. M. Gilmer} and \textit{G. Masbaum}, ``Intergral lattices in TQFT, Ann. Sci. Éc. Norm. Supér. (4) 40, No. 5, 815--844 (2007; Zbl 1178.57023)], for arbitrary genus, to bases that are orthogonal with respect to a certain symmetric bilinear form. In the special case \(N=0\), the representation \(\rho_{p,0}\) is on a finite-dimensional vector space over the finite field \(\mathbb {F}_p\). Section 5 identifies \(\rho_{p,0}\) up to isomorphism by showing that these representations factor through \(\text{SL}(2,\mathbb{F}_p)\) and are, in fact, isomorphic to representations of \(\text{SL}(2,\mathbb{F}_p)\) on the space of homogeneous polynomials over \(\mathbb{F}_p\) of appropriate degree.

Recommendations

• scientific article; zbMATH DE number 719382
• Topological quantum field theories
• Quantum field theory on toroidal topology: algebraic structure and applications
• Topological quantum field theory
• Quantum fields in toroidal topology
• TOPOLOGICAL FIELD THEORIES AND THE PERIOD INTEGRALS
• Topological field theories and integrable models
• Topological quantum field theory for the universal quantum invariant
• Topological quantum field theories on manifolds with a boundary
• scientific article; zbMATH DE number 956533

Cited in

(12)

• On the (in)finiteness of the image of Reshetikhin-Turaev representations
• An application of TQFT to modular representation theory
• Dimension formulas for some modular representations of the symplectic group in the natural characteristic.
• On Burau's representations at roots of unity
• Quotients of surface groups and homology of finite covers via quantum representations
• Irreducible factors of modular representations of mapping class groups arising in integral TQFT
• LIMITS OF THE QUANTUM SO(3) REPRESENTATIONS FOR THE ONE-HOLED TORUS
• On the Kauffman bracket skein module of the 3-torus
• Toeplitz operators in TQFT via skein theory
• The Kauffman bracket ideal for genus-1 tangles
• Modular group representations associated to \(\mathrm{SO}(p)_2\)-TQFTS
• Integral lattices in TQFT

This page was built for publication: Integral topological quantum field theory for a one-holed torus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650125)