×

Four-dimensional \(BF\) theory as a topological quantum field theory. (English) Zbl 0858.57022

Summary: Starting from a Lie group \(G\) whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that four-dimensional \(BF\) theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah’s axioms to manifolds equipped with principal \(G\)-bundle. The case \(G= \text{GL} (4,\mathbb{R})\) is especially interesting because every 4-manifold is then naturally equipped with a principal \(G\)-bundle, namely its frame bundle. In this case, the partition function of a compact oriented 4-manifold is the exponential of its signature, and the resulting TQFT is isomorphic to that constructed by Crane and Yetter using a state sum model, or by Broda using a surgery presentation of four-manifolds.

MSC:

57N13 Topology of the Euclidean \(4\)-space, \(4\)-manifolds (MSC2010)
81T40 Two-dimensional field theories, conformal field theories, etc. in quantum mechanics
83C45 Quantization of the gravitational field

References:

[1] AshtekarA.: Lectures on Non-perturbative Canonical Quantum Gravity, World Scientific, Singapore, 1991.
[2] AtiyahM.: Topological quantum field theories, Inst. Hautes Études Sci. Publ. Math. 68 (1988), 175-186. · Zbl 0692.53053 · doi:10.1007/BF02698547
[3] Baez, J.: Knots and quantum gravity: progress and prospects, to appear in the Proc. Seventh Marcel Grossman Meeting on General Relativity, Preprint available as gr-qc/9410018.
[4] Barrett, J. and Westbury, B.: Spherical categories, Preprint available as hep-th/9310164.
[5] Barrett, J. and Westbury, B.: The equality of 3-manifold invariants, Preprint available as hep-th/9406019.
[6] Blanchet, C., Habegger, N., Masbaum, G., and Vogel, P.: Topological quantum field theories derived from the Kauffman bracket, Preprint. · Zbl 0887.57009
[7] BlauM. and ThompsonG.: Topological gauge theories of antisymmetric tensor fields, Ann. Phys. 205 (1991), 130-172. · Zbl 0739.53060 · doi:10.1016/0003-4916(91)90240-9
[8] BrodaB.: Surgical invariants of 4-manifolds, in D.Yetter (ed.), Proc. Conference on Quantum Topology, World Scientific, Singapore, 1994.
[9] Cattaneo, A., Cotta-Ramusino, P., and Martellini, M.: Three-dimensional BF theories and the Alexander-Conway invariant of knots, Preprint available as hep-th/9506002. · Zbl 1020.81701
[10] Cattaneo, A., Cotta-Ramusino, P., Fröhlich, J., and Martellini, M.: Topological BF theories in three and four dimensions. To appear in J. Math. Phys., Preprint available as hep-th/9505027. · Zbl 0848.57005
[11] Chari, V. and Pressley, A.: A Guide to Quantum Groups, Cambridge Univ. Press, 1994. · Zbl 0839.17009
[12] Cotta-RamusinoP. and MartelliniM.: BF theories and two-knots, in: J.Baez. (ed), Knots and Quantum Gravity, Oxford Univ. Press, Oxford, 1994.
[13] CraneL., KauffmanL., and YetterD.: Evaluating the Crane-Yetter invariant, in: L.Kauffman and R.Baadhio, (eds), Quantum Topology, World Scientific, Singapore, 1993.
[14] Crane, L., Kauffman, L., and Yetter, D.: State-sum invariants of four-manifolds, I, Kansas State Univ. preprint available as hep-th/9409167. · Zbl 0883.57021
[15] CraneL. and YetterD.: A categorical construction of 4d topological quantum field theories, in: L.Kauffman and R.Baadhio, (eds), Quantum Topology, World Scientific, Singapore, 1993.
[16] Crane, L. and Yetter, D.: On algebraic structures implicit in topological quantum field theories, Preprint available as hep-th/9412025.
[17] HorowitzG.: Exactly soluble diffeomorphism-invariant theories, Comm. Math. Phys. 125 (1989), 417-437. · Zbl 0684.53075 · doi:10.1007/BF01218410
[18] LawrenceR.: Triangulation, categories and extended topological field theories, in: R.Baadhio and L.Kauffman, (eds), Quantum Topology, World Scientific, Singapore, 1993, pp. 191-208.
[19] ReshetikhinN. and TuraevV.: Ribbon graphs and their invariants derived from quantum groups, Comm. Math. Phys. 127 (1990), 1-26. · Zbl 0768.57003 · doi:10.1007/BF02096491
[20] Roberts, J.: Skein theory and Turaev-Viro invariants, Cambridge Univ. preprint, 1993.
[21] Roberts, J.: Refined state-sum invariants of three- and four-manifolds, Cambridge Univ. preprint, 1994.
[22] Roberts, J.: Personal communication.
[23] Sawin, S.: Links, quantum groups and TQFTs. To appear in Bull. Amer. Math. Soc., Preprint available as q-alg/9506002. · Zbl 0872.57002
[24] Turaev, V.: Topology of shadows. Preprint. · Zbl 1145.57018
[25] TuraevV. and ViroO.: State-sum invariants of three-manifolds and quantum 6j-symbols, Topology 31 (1992), 865-902. · Zbl 0779.57009 · doi:10.1016/0040-9383(92)90015-A
[26] Walker, K.: On Witten’s three-manifold invariants. Preprint.
[27] WittenE.: (2+1)-dimensional gravity as an exactly soluble system, Nuclear Phys. B311 (1988), 46-78. · Zbl 1258.83032 · doi:10.1016/0550-3213(88)90143-5
[28] WittenE.: Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121 (1989), 351-399. · Zbl 0667.57005 · doi:10.1007/BF01217730
[29] YetterD.: State-sum invariants of three-manifolds associated to Artinian semisimple tortile categories, Topology Appl. 58 (1994), 47-80. · Zbl 0832.57010 · doi:10.1016/0166-8641(94)90073-6
[30] Yetter, D.: Homologically twisted invariants related to (2+1)- and (3+1)-dimensional state-sum topological quantum field theories, Preprint available as hep-th/9311082.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.