No Access

A pair of homotopy-theoretic version of TQFT’s induced by a Brown functor

Graduate School of Mathematical, Sciences University of Tokyo, Japan

https://doi.org/10.1142/S0129167X21500531Cited by:1 (Source: Crossref)

Abstract

The purpose of this paper is to study some obstruction classes induced by a construction of a homotopy-theoretic version of projective TQFT (projective HTQFT for short). A projective HTQFT is given by a symmetric monoidal projective functor whose domain is the cospan category of pointed finite CW-spaces instead of a cobordism category. We construct a pair of projective HTQFT’s starting from a ${H o p f}_{k}^{b c}$ -valued Brown functor where ${H o p f}_{k}^{b c}$ is the category of bicommutative Hopf algebras over a field $k$ : the cospanical path-integral and the spanical path-integral of the Brown functor. They induce obstruction classes by an analogue of the second cohomology class associated with projective representations. In this paper, we derive some formulae of those obstruction classes. We apply the formulae to prove that the dimension reduction of the cospanical and spanical path-integrals are lifted to HTQFT’s. In another application, we reproduce the Dijkgraaf–Witten TQFT and the Turaev–Viro TQFT from an ordinary ${H o p f}_{k}^{b c}$ -valued homology theory.

Communicated by Yasuyuki Kawahigashi

Keywords:

References

1. J. C. Baez, A. E. Hoffnung and C. D. Walker, Higher-dimensional algebra VII: Groupoidification, preprint (2009), arXiv:0908.4305. Google Scholar
2. B. Balsam and A. Kirillov, Kitaev’s lattice model and Turaev-Viro TQFTs, preprint (2012) arXiv:1206.2308. Google Scholar
3. J. Barrett and B. Westbury , Invariants of piecewise-linear 3-manifolds, Trans. Am. Math. Soc. 348(10) (1996) 3997–4022. Crossref, Web of Science, Google Scholar
4. Y. Bespalov, T. Kerler, V. Lyubashenko and V. Turaev , Integrals for braided Hopf algebras, J. Pure Appl. Algebra 148(2) (2000) 113–164. Crossref, Web of Science, Google Scholar
5. O. Buerschaper, J. M. Mombelli, M. Christandl and M. Aguado , A hierarchy of topological tensor network states, J. Math. Phys. 54(1) (2013) 012201. Crossref, Web of Science, Google Scholar
6. R. Dijkgraaf and E. Witten , Topological gauge theories and group cohomology, Commun. Math. Phys. 129(2) (1990) 393–429. Crossref, Web of Science, Google Scholar
7. D. Freed , Remarks on Chern–Simons theory, Bull. Am. Math. Soc. 46(2) (2009) 221–254. Crossref, Web of Science, Google Scholar
8. D. S. Freed, M. J. Hopkins, J. Lurie and C. Teleman, Topological quantum field theories from compact Lie groups, preprint (2009), arXiv:0905.0731. Google Scholar
9. D. S. Freed and F. Quinn , Chern–Simons theory with finite gauge group, Commun. Math. Phys. 156(3) (1993) 435–472. Crossref, Web of Science, Google Scholar
10. A. Hatcher , Algebraic Topology (Cambridge University Press, 2002). Google Scholar
11. G. Heuts and J. Lurie , Ambidexterity, Contemp. Math. 613 (2014) 79–110. Crossref, Google Scholar
12. M. Kim, An extension of Brown functor to cospans of spaces, preprint (2020), arXiv:2005.10621. Google Scholar
13. M. Kim, Homology theory valued in the category of bicommutative Hopf algebras, preprint (2020) arXiv:2005.04652. Google Scholar
14. M. Kim , Kitaev’s stabilizer code and chain complex theory of bicommutative Hopf algebras, Commun. Math. Phys. (2021), https://doi.org/10.1007/s00220-021-04080-4. Crossref, Web of Science, Google Scholar
15. M. Kim , Integrals along bimonoid homomorphisms, Appl. Categor. Struct. (2021) 1–51. Web of Science, Google Scholar
16. A. Kirillov and B. Balsam, Turaev-Viro invariants as an extended TQFT, preprint (2010), arXiv:1004.1533. Google Scholar
17. A. Y. Kitaev , Fault-tolerant quantum computation by anyons, Ann. Phys. 303(1) (2003) 2–30. Crossref, Web of Science, Google Scholar
18. R. G. Larson and D. E. Radford , Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple, J. Algebra 117(2) (1988) 267–289. Crossref, Web of Science, Google Scholar
19. R. G. Larson and M. E. Sweedler , An associative orthogonal bilinear form for Hopf algebras, Am. J. Math. 91(1) (1969) 75–94. Crossref, Web of Science, Google Scholar
20. S. Monnier , Higher Abelian Dijkgraaf–Witten Theory, Lett. Math. Phys. 105(9) (2015) 1321–1331. Crossref, Web of Science, Google Scholar
21. A. Sharma and A. A. Voronov , Categorification of Dijkgraaf–Witten theory, Adv. Theor. Math. Phys. 21(4) (2017) 1023–1061. Crossref, Web of Science, Google Scholar
22. A. Touzé , On the structure of graded commutative exponential functors, Int. Math. Res. Not. (2019), https://doi.org/10.1093/imrn/rnz301. Crossref, Web of Science, Google Scholar
23. V. G. Turaev and O. Y. Viro , State sum invariants of 3-manifolds and quantum 6j-symbols, Topology 31(4) (1992) 865–902. Crossref, Web of Science, Google Scholar
24. M. Wakui , On Dijkgraaf–Witten invariant for 3-manifolds, Osaka J. Math. 29(4) (1992) 675–696. Web of Science, Google Scholar