Abstract
We explore 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space B2G of the symmetry group G, and they are classified by cohomology classes of B2G. For finite symmetry groups, 2-form topological theories have a natural lattice interpretation, which we use to construct a lattice Hamiltonian model in (3+1)d that is exactly solvable. This construction relies on the introduction of a cohomology, dubbed 2-form cohomology, of algebraic cocycles that are identified with the simplicial cocycles of B2G as provided by the so-called W -construction of Eilenberg-MacLane spaces. We show algebraically and geometrically how a 2-form 4-cocycle reduces to the associator and the braiding isomorphisms of a premodular category of G-graded vector spaces. This is used to show the correspondence between our 2-form gauge model and the Walker-Wang model.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
M. Atiyah, Topological quantum field theories, Inst. Hautes Etudes Sci. Publ. Math. 68 (1989) 175 [INSPIRE].
J.C. Baez and J. Dolan, Higher dimensional algebra and topological quantum field theory, J. Math. Phys. 36 (1995) 6073 [q-alg/9503002] [INSPIRE].
J. Lurie, Higher topos theory, Princeton University Press, Princeton U.S.A. (2009).
J. Lurie, On the classification of topological field theories, arXiv:0905.0465 [INSPIRE].
D.S. Freed, The cobordism hypothesis, arXiv:1210.5100 [INSPIRE].
D. Gaiotto and T. Johnson-Freyd, Symmetry protected topological phases and generalized cohomology, arXiv:1712.07950 [INSPIRE].
R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology, Commun. Math. Phys. 129 (1990) 393.
Y. Hu, Y. Wan and Y.-S. Wu, Twisted quantum double model of topological phases in two dimensions, Phys. Rev. B 87 (2013) 125114 [arXiv:1211.3695] [INSPIRE].
Y. Wan, J.C. Wang and H. He, Twisted gauge theory model of topological phases in three dimensions, Phys. Rev. B 92 (2015) 045101 [arXiv:1409.3216] [INSPIRE].
S. Eilenberg and S. M. Lane, On the groups H(Π, n), I, Ann. Math. 58 (1953) 55.
S. Eilenberg and S. MacLane, On the groups H(Π, n), II: methods of computation, Ann. Math. 60 (1954) 49.
A. Kapustin and R. Thorngren, Topological field theory on a lattice, discrete theta-angles and confinement, Adv. Theor. Math. Phys. 18 (2014) 1233 [arXiv:1308.2926] [INSPIRE].
O. Aharony, N. Seiberg and Y. Tachikawa, Reading between the lines of four-dimensional gauge theories, JHEP 08 (2013) 115 [arXiv:1305.0318] [INSPIRE].
D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett, Generalized global symmetries, JHEP 02 (2015) 172 [arXiv:1412.5148] [INSPIRE].
H. Pfeiffer, Higher gauge theory and a nonAbelian generalization of 2-form electrodynamics, Annals Phys. 308 (2003) 447 [hep-th/0304074] [INSPIRE].
D.S. Freed, M.J. Hopkins, J. Lurie and C. Teleman, Topological quantum field theories from compact Lie groups, talk given at A Celebration of Raoul Bott’s Legacy in Mathematics, June 9-13, Montreal, Canada (2008), arXiv:0905.0731 [INSPIRE].
K. Walker and Z. Wang, (3 + 1)-TQFTs and topological insulators, arXiv:1104.2632 [INSPIRE].
C.W. von Keyserlingk, F.J. Burnell and S.H. Simon, Three-dimensional topological lattice models with surface anyons, Phys. Rev. B 87 (2013) 045107 [arXiv:1208.5128] [INSPIRE].
D. Gaiotto, A. Kapustin, Z. Komargodski and N. Seiberg, Theta, time reversal and temperature, JHEP 05 (2017) 091 [arXiv:1703.00501] [INSPIRE].
C. Delcamp and A. Tiwari, From gauge to higher gauge models of topological phases, JHEP 10 (2018) 049 [arXiv:1802.10104] [INSPIRE].
F. Benini, C. Córdova and P.-S. Hsin, On 2-Group Global Symmetries and their Anomalies, JHEP 03 (2019) 118 [arXiv:1803.09336] [INSPIRE].
P.-S. Hsin, H.T. Lam and N. Seiberg, Comments on one-form global symmetries and their gauging in 3d and 4d, SciPost Phys. 6 (2019) 039 [arXiv:1812.04716] [INSPIRE].
Z. Wan and J. Wang, Non-abelian gauge theories, σ-models, higher anomalies, symmetries and cobordisms, arXiv:1812.11967 [INSPIRE].
Z. Wan and J. Wang, New higher anomalies, SU(N) Yang-Mills gauge theory and ℂℙN − 1 σ-model, arXiv:1812.11968 [INSPIRE].
M. Guo et al., Fermionic finite-group gauge theories and interacting symmetric/crystalline orders via cobordisms, arXiv:1812.11959 [INSPIRE].
A. Kapustin and R. Thorngren, Anomalies of discrete symmetries in various dimensions and group cohomology, arXiv:1404.3230 [INSPIRE].
V.G. Turaev, Quantum invariants of knots and three manifolds, De Gruyter Stud. Math. 18 (1994) 1.
V.G. Turaev and O.Y. Viro, State sum invariants of 3 manifolds and quantum 6j symbols, Topology 31 (1992) 865 [INSPIRE].
J.W. Barrett and B.W. Westbury, Invariants of piecewise linear three manifolds, Trans. Amer. Math. Soc. 348 (1996) 3997 [hep-th/9311155].
M.A. Levin and X.-G. Wen, String net condensation: a physical mechanism for topological phases, Phys. Rev. B 71 (2005) 045110 [cond-mat/0404617] [INSPIRE].
L. Crane, L.H. Kauffman and D. Yetter, Evaluating the Crane-Yetter invariant, hep-th/9309063 [INSPIRE].
L. Crane and D. Yetter, A categorical construction of 4D topological quantum field theories, hep-th/9301062 [INSPIRE].
L. Crane, L.H. Kauffman and D.N. Yetter, State sum invariants of four manifolds. 1., hep-th/9409167 [INSPIRE].
J.C. Baez and A.D. Lauda, Higher-dimensional algebra V: 2-groups, math/0307200.
J.C. Baez and A.S. Crans, Higher-dimensional algebra VI: Lie 2-algebras, Theor. Appl. Categor. 12 (2004) 492 [math/0307263] [INSPIRE].
J. Baez and U. Schreiber, Higher gauge theory: 2-connections on 2-bundles, hep-th/0412325 [INSPIRE].
C. Delcamp, Excitation basis for (3 + 1)d topological phases, JHEP 12 (2017) 128 [arXiv:1709.04924] [INSPIRE].
P. Deligne, Théorie de Hodge, II, Publ. Math. Inst. Hautes Études Sci. 40 (1971) 5.
F. Thuillier, Deligne-Beilinson cohomology in U(1) Chern-Simons theories, in the proceedings of the Winter School in Mathematical Physics: Mathematical Aspects of Quantum Field Theory , January 29-February 3, Les Houches, France (2015).
P. Mathieu and F. Thuillier, Abelian BF theory and Turaev-Viro invariant, J. Math. Phys. 57 (2016) 022306 [arXiv:1509.04236] [INSPIRE].
U. Pachner, P.L. homeomophic manifolds are equivalent by elementary shellings, Eur. J. Comb. 12 (1991) 129.
D.S. Freed and F. Quinn, Chern-Simons theory with finite gauge group, Commun. Math. Phys. 156 (1993) 435 [hep-th/9111004] [INSPIRE].
A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge U.K. (2002).
A. Kapustin and R. Thorngren, Higher symmetry and gapped phases of gauge theories, arXiv:1309.4721 [INSPIRE].
C. Córdova, T.T. Dumitrescu and K. Intriligator, Exploring 2-group global symmetries, JHEP 02 (2019) 184 [arXiv:1802.04790] [INSPIRE].
A. Bullivant et al., Topological phases from higher gauge symmetry in 3 + 1 dimensions, Phys. Rev. B 95 (2017) 155118 [arXiv:1606.06639] [INSPIRE].
S.X. Cui, Higher categories and topological quantum field theories, arXiv:1610.07628 [INSPIRE].
A. Bullivant et al., Higher lattices, discrete two-dimensional holonomy and topological phases in (3 + 1)D with higher gauge symmetry, arXiv:1702.00868 [INSPIRE].
C. Zhu, T. Lan and X.-G. Wen, Topological non-linear σ-model, higher gauge theory and a realization of all 3 + 1D topological orders for boson systems, arXiv:1808.09394 [INSPIRE].
D.S. Freed, G.W. Moore and G. Segal, Heisenberg groups and noncommutative fluxes, Annals Phys. 322 (2007) 236 [hep-th/0605200] [INSPIRE].
S. Eilenberg and S. MacLane, Relations between homology and homotopy groups, Proc. Natl. Acad. Sci. 29 (1943) 155.
S. Eilenberg and S. MacLane, Relations between homology and homotopy groups of spaces. II, Ann. Math. 51 (1950) 514.
J.P. May, Simplicial objects in algebraic topology, University of Chicago Press, Chicago, U.S.A. (1992).
J.P. May, A concise course in algebraic topology, University of Chicago Press, Chicago, U.S.A. (1999).
X. Chen, Z.C. Gu and X.G. Wen, Local unitary transformation, long-range quantum entanglement, wave function renormalization and topological order, Phys. Rev. B 82 (2010) 155138 [arXiv:1004.3835] [INSPIRE].
F. Quinn, Group categories and their field theories, math/9811047.
S.D. Stirling, Abelian Chern-Simons theory with toral gauge group, modular tensor categories and group categories, Ph.D. thesis, Texas University, U.S.A. (2008), arXiv:0807.2857 [INSPIRE].
C. Galindo and N. Jaramillo Torres, Solutions of the hexagon equation for abelian anyons, arXiv:1606.01414.
D.J. Williamson and Z. Wang, Hamiltonian models for topological phases of matter in three spatial dimensions, Annals Phys. 377 (2017) 311 [arXiv:1606.07144] [INSPIRE].
R. Koenig, G. Kuperberg and B.W. Reichardt, Quantum computation with Turaev-Viro codes, Ann. Phys. 325 (2010) 2707 [arXiv:1002.2816].
T. Lan and X.-G. Wen, Topological quasiparticles and the holographic bulk-edge relation in (2 + 1)-dimensional string-net models, Phys. Rev. B 90 (2014) 115119 [arXiv:1311.1784] [INSPIRE].
B. Dittrich and M. Geiller, Quantum gravity kinematics from extended TQFTs, New J. Phys. 19 (2017) 013003 [arXiv:1604.05195] [INSPIRE].
C. Delcamp, B. Dittrich and A. Riello, Fusion basis for lattice gauge theory and loop quantum gravity, JHEP 02 (2017) 061 [arXiv:1607.08881] [INSPIRE].
D. Aasen, E. Lake and K. Walker, Fermion condensation and super pivotal categories, arXiv:1709.01941 [INSPIRE].
A. Ocneanu, Chirality for operator algebras, Subfactors (Kyuzeso, 1993) (1994) 39.
A. Ocneanu, Operator algebras, topology and subgroups of quantum symmetry-construction of subgroups of quantum groups, Taniguchi Conf. Math. Nara 98 (2001) 235.
V.G. Drinfeld, Quasi Hopf algebras, Alg. Anal. 1N6 (1989) 114.
R. Dijkgraaf, V. Pasquier and P. Roche, Quasi hopf algebras, group cohomology and orbifold models, Nucl. Phys. Proc. Suppl. B 18 (1991) 60.
T.H. Koornwinder and N.M. Muller, Quantum double of a (locally) compact group, q-alg/9605044.
T.H. Koornwinder, F.A. Bais and N.M. Muller, Tensor product representations of the quantum double of a compact group, Commun. Math. Phys. 198 (1998) 157 [q-alg/9712042] [INSPIRE].
T.H. Koornwinder, B.J. Schroers, J.K. Slingerland and F.A. Bais, Fourier transform and the Verlinde formula for the quantum double of a finite group, J. Phys. A 32 (1999) 8539 [math/9904029] [INSPIRE].
C. Delcamp and B. Dittrich, Towards a dual spin network basis for (3 + 1)d lattice gauge theories and topological phases, JHEP 10 (2018) 023 [arXiv:1806.00456] [INSPIRE].
A. Bullivant, private communication.
P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor categories, American Mathematical Society, U.S.A. (2016).
J.C. Baez, D.K. Wise and A.S. Crans, Exotic statistics for strings in 4d BF theory, Adv. Theor. Math. Phys. 11 (2007) 707 [gr-qc/0603085] [INSPIRE].
C. Wang and M. Levin, Braiding statistics of loop excitations in three dimensions, Phys. Rev. Lett. 113 (2014) 080403 [arXiv:1403.7437] [INSPIRE].
J. Wang and X.-G. Wen, Non-abelian string and particle braiding in topological order: modular SL(3, ℤ) representation and (3 + 1) -dimensional twisted gauge theory, Phys. Rev. B 91 (2015) 035134 [arXiv:1404.7854] [INSPIRE].
P. Putrov, J. Wang and S.-T. Yau, Braiding statistics and link invariants of bosonic/fermionic topological quantum matter in 2 + 1 and 3 + 1 dimensions, Ann. Phys. 384 (2017)254 [arXiv:1612.09298] [INSPIRE].
A. Bullivant, J.F. Martins and P. Martin, From Aharonov-Bohm type effects in discrete (3 + 1)-dimensional higher gauge theory to representations of the loop braid group, arXiv:1807.09551 [INSPIRE].
A. Bullivant, A. Kimball, P. Martin and E.C. Rowell, Representations of the necklace braid group: topological and combinatorial approaches, arXiv:1810.05152 [INSPIRE].
B. Yoshida, Topological phases with generalized global symmetries, Phys. Rev. B 93 (2016) 155131 [arXiv:1508.03468] [INSPIRE].
A. Rasmussen and Y.-M. Lu, Classification and construction of higher-order symmetry protected topological phases of interacting bosons, arXiv:1809.07325 [INSPIRE].
J. Whitehead, On simply connected, 4-dimensional polyhedra, Comment. Math. Helv. 22 (1949) 48.
N.E. Steenrod, Products of cocycles and extensions of mappings, Ann. Math. 48 (1947) 290.
A. Yu. Kitaev, Fault tolerant quantum computation by anyons, Annals Phys. 303 (2003) 2 [quant-ph/9707021] [INSPIRE].
J.C. Wang, Z.-C. Gu and X.-G. Wen, Field theory representation of gauge-gravity symmetry-protected topological invariants, group cohomology and beyond, Phys. Rev. Lett. 114 (2015) 031601 [arXiv:1405.7689] [INSPIRE].
A. Tiwari, X. Chen and S. Ryu, Wilson operator algebras and ground states of coupled BF theories, Phys. Rev. B 95 (2017) 245124 [arXiv:1603.08429] [INSPIRE].
A. Tiwari, X. Chen, K. Shiozaki and S. Ryu, Bosonic topological phases of matter: Bulk-boundary correspondence, symmetry protected topological invariants and gauging, Phys. Rev. B 97 (2018) 245133 [arXiv:1710.04730] [INSPIRE].
J. Wang et al., Tunneling topological vacua via extended operators: (spin-)TQFT spectra and boundary deconfinement in various dimensions, PTEP 2018 (2018) 053A01 [arXiv:1801.05416] [INSPIRE].
A. Kapustin and N. Seiberg, Coupling a QFT to a TQFT and duality, JHEP 04 (2014) 001 [arXiv:1401.0740] [INSPIRE].
X. Chen, A. Tiwari and S. Ryu, Bulk-boundary correspondence in (3 + 1)-dimensional topological phases, Phys. Rev. B 94 (2016) 045113 [arXiv:1509.04266] [INSPIRE].
D.S. Freed, Short-range entanglement and invertible field theories, arXiv:1406.7278 [INSPIRE].
D.S. Freed and M.J. Hopkins, Reflection positivity and invertible topological phases, arXiv:1604.06527 [INSPIRE].
C. Schommer-Pries, Tori Detect Invertibility of Topological Field Theories, arXiv:1511.01772 [INSPIRE].
A. Kitaev and J. Preskill, Topological entanglement entropy, Phys. Rev. Lett. 96 (2006) 110404 [hep-th/0510092] [INSPIRE].
M. Levin and X.-G. Wen, Detecting topological order in a ground state wave function, Phys. Rev. Lett. 96 (2006) 110405 [cond-mat/0510613] [INSPIRE].
T. Grover, A.M. Turner and A. Vishwanath, Entanglement entropy of gapped phases and topological order in three dimensions, Phys. Rev. B 84 (2011) 195120 [arXiv:1108.4038] [INSPIRE].
Y. Zheng et al., Structure of the entanglement entropy of (3 + 1)-dimensional gapped phases of matter, Phys. Rev. B 97 (2018) 195118 [arXiv:1710.01747] [INSPIRE].
X. Wen, H. He, A. Tiwari, Y. Zheng and P. Ye, Entanglement entropy for (3+1)-dimensional topological order with excitations, Phys. Rev. B 97 (2018) 085147 [arXiv:1710.11168] [INSPIRE].
S. Dong, E. Fradkin, R.G. Leigh and S. Nowling, Topological entanglement entropy in Chern-Simons theories and quantum Hall fluids, JHEP 05 (2008) 016 [arXiv:0802.3231] [INSPIRE].
X. Wen, S. Matsuura and S. Ryu, Edge theory approach to topological entanglement entropy, mutual information and entanglement negativity in Chern-Simons theories, Phys. Rev. B 93 (2016) 245140 [arXiv:1603.08534] [INSPIRE].
J. Cheeger and J. Simons, Differential characters and geometric invariants, in Geometry and Topology, J. Alexander et al. eds., Springer, Berlin, Germany (1985).
M.J. Hopkins and I.M. Singer, Quadratic functions in geometry, topology and M-theory, J. Diff. Geom. 70 (2005) 329 [math/0211216] [INSPIRE].
J. Simons and D. Sullivan, Axiomatic characterization of ordinary differential cohomology, math/0701077.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1901.02249
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Delcamp, C., Tiwari, A. On 2-form gauge models of topological phases. J. High Energ. Phys. 2019, 64 (2019). https://doi.org/10.1007/JHEP05(2019)064
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP05(2019)064