Topological Quantum Field Theories

Topological quantum field theory (TQFT) については, まず Atiyah の [Ati88] がある。 物理の人の書いた解説もいくつかあるが, 数学者にとって分りやすいとは言えない。最近のものでは Brunetti と Fredenhagen の [BF] がある。Elsevier の Encyclopedia of Mathematical Physics の文章らしい。他にはちょっと古いが Dijkgraaf の講演緑 [Dij] も詳しい。Joachim Kock の [Koc04] という本もある。 Orbifold も絡めて書いてあるものとして, Lupercio と Uribe の [LU07] もよい。 Freed は [Fre14] で ここで見ることができる Segal の 2011年の講演のビデオを参照している。

TQFT は, cobordism category から symmetric monoidal category への symmetric monoidal functor であるが, 基本的なのは, 値域の圏が, ある可換環上の module の圏の場合である。 その場合, その環の代数的性質とも関係している。また, 低次元の TQFT については, ある種の代数から構成しようという試みもある。

• \(2\)次元の topological quantum field theory は可換な Frobenius algebra と一対一に対応する。 [Abr99; Dij; Koc04]

Ground ring の環論的性質と TQFT の性質については, Gilmer の [Gil04] という論文がある。ここで, TQFT に対し “almost integral” という概念が定義された。 Reshetikhin-Turaev invariant の拡張である TQFT について, その almost integrality を考えたのが, Chen と Le の [CL05] である。

複素数体上のベクトル空間に値を取る場合は, 多様体の向きを逆にすることと, 複素共役の関係を考えることができる。そのようなものは, Zhu の [Zhu] では Hermitian TQFT と呼ばれている。

• Hermitian TQFT

ある空間上の topological quantum field theory というものもある。 Dumitrescu の [Dum] など。

Reshetikhin-Turaev invariant のような\(3\)次元多様体の不変量を TQFT に拡張しようという試みは色々ある。Kirillov と Balsam の [KB] のように, extended TQFT に拡張しようという試みもある。

• \(3\)次元 TQFT

3次元多様体の不変量が代数的整数になることはよくあることのようであるが, そのようなときに, 元になっている TQFT の integrality について考えるのは自然である。Gilmer の [Gil04; GM07] など。

\(4\)次元 (3+1) の場合は, trialgebra というものを使う [Pfe07], のだろうか? Crane と Frenkel は, [CF94] で\(4\)次元の TQFT を構成するために Hopf category という概念を導入している。

\(4\)次元の場合を考えて, differential TQFT というものを提案している人 [Dav] もいる。Atiyah の公理系では, 4次元多様体の smooth structure が区別できないからである。このKelly Davis の論文と関係して, MathOverflow での議論がある。それによると, 4次元で Atiyah 流の TQFT が不完全であることは, Freedman らにより既に [Fre+05] で示されていたようである。

Lurie と Hopkins によると, より詳しい情報を得るためには cobordism, つまり境界を考えるだけでなく, 境界の境界, そして境界の境界の境界 \(\cdots \) などを全て考えなければならないようである。そのような拡張された cobordism category を定義域として考える場合は, 当然値域も高次の symmetric monoidal category にしなればならない。 Lurie [Lur09] らは, そのようなものを extended topological quantum field theoryと呼んでいる。

• extended topological quantum field theory

一般化としては, 他には commutative ring spectrum 上の module category に値を持つものなどが考えられている。Hu と Kriz と Kriz の [HKK16] や Kriz と Lai の [KL18] などである。

Defect を持つ TQFT というのもある。Carqueville の lecture note [Car] が分かりやすい。最初に functorial formulation が現れたのは Davydov, Kong, Runkel の [DKR11] であるが。 通常の bordism category を用いた (closed) TQFT の拡張になっているだけでなく, open/closed TQFT の拡張にもなっている。

• bordism category with defect
• topological quantum field theory with defect

\(2\)次元の TQFT が commutative Frobenius algebra に対応するように, \(2\)次元の open/closed TQFT が Calabi-Yau category に対応し, \(2\)次元の defect を持つ TQFT は pivotal \(2\)-category に対応するらしい。多様体を2次元のままにしても, 構造を複雑にしていくことで higher category の構造が現れるのは興味深い。 また string diagram も有効に用いられている。

具体的に扱えるものとしては, topological lattice field theory というものがある。 単体分割やより一般の多面体による分割を考えるものである。 分割を細かくしていった極限として topological quantum field theory を得ようというアイデア, らしい。

• \(2\)次元の topological lattice field theory は semisimple associative algebra と一対一に対応する。[BP93; FHK94]

Nonorientable な surface についても定義することができる [KM]。 Group ring の場合に Mednykh の公式と呼ばれる公式が証明できる [Sny] のは面白い。

群作用がある場合も考えられている。Teleman の [Tel14] や, そこに挙げられている文献を参照のこと。 高次の圏を用いた表現論や Langlands dual などが登場する。

References

[Abr99]

Lowell Abrams. “Modules, comodules, and cotensor products over Frobenius algebras”. In: J. Algebra 219.1 (1999), pp. 201–213. arXiv: math/9806044. url: http://dx.doi.org/10.1006/jabr.1999.7901.

[Ati88]

Michael Atiyah. “Topological quantum field theories”. In: Inst. Hautes Études Sci. Publ. Math. 68 (1988), 175–186 (1989). url: http://www.numdam.org/item?id=PMIHES_1988__68__175_0.

[BF]

Romeo Brunetti and Klaus Fredenhagen. Algebraic approach to Quantum Field Theory. arXiv: math-ph/0411072.

[BP93]

C. Bachas and P. M. S. Petropoulos. “Topological models on the lattice and a remark on string theory cloning”. In: Comm. Math. Phys. 152.1 (1993), pp. 191–202. arXiv: hep-th/9205031. url: http://projecteuclid.org/euclid.cmp/1104252315.

[Car]

Nils Carqueville. Lecture notes on 2-dimensional defect TQFT. arXiv: 1607.05747.

[CF94]

Louis Crane and Igor B. Frenkel. “Four-dimensional topological quantum field theory, Hopf categories, and the canonical bases”. In: J. Math. Phys. 35.10 (1994). Topology and physics, pp. 5136–5154. url: http://dx.doi.org/10.1063/1.530746.

[CL05]

Qi Chen and Thang Le. “Almost integral TQFTs from simple Lie algebras”. In: Algebr. Geom. Topol. 5 (2005), 1291–1314 (electronic). arXiv: math/0408357. url: http://dx.doi.org/10.2140/agt.2005.5.1291.

[Dav]

Kelly J. Davis. Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds. arXiv: 1106.2358.

[Dij]

R. Dijkgraaf. Les Houches Lectures on Fields, Strings and Duality. arXiv: hep-th/9703136.

[DKR11]

Alexei Davydov, Liang Kong, and Ingo Runkel. “Field theories with defects and the centre functor”. In: Mathematical foundations of quantum field theory and perturbative string theory. Vol. 83. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 2011, pp. 71–128. arXiv: 1107.0495. url: https://doi.org/10.1090/pspum/083/2742426.

[Dum]

Florin Dumitrescu. On 2-dimensional topological field theories. arXiv: 1008.4920.

[FHK94]

M. Fukuma, S. Hosono, and H. Kawai. “Lattice topological field theory in two dimensions”. In: Comm. Math. Phys. 161.1 (1994), pp. 157–175. arXiv: hep-th/9212154. url: http://projecteuclid.org/euclid.cmp/1104269795.

[Fre+05]

Michael H. Freedman et al. “Universal manifold pairings and positivity”. In: Geom. Topol. 9 (2005), 2303–2317 (electronic). arXiv: math/0503054. url: http://dx.doi.org/10.2140/gt.2005.9.2305.

[Fre14]

Daniel S. Freed. “Anomalies and invertible field theories”. In: String-Math 2013. Vol. 88. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 2014, pp. 25–45. arXiv: 1404.7224. url: http://dx.doi.org/10.1090/pspum/088/01462.

[Gil04]

Patrick M. Gilmer. “Integrality for TQFTs”. In: Duke Math. J. 125.2 (2004), pp. 389–413. arXiv: math/0105059. url: http://dx.doi.org/10.1215/S0012-7094-04-12527-8.

[GM07]

Patrick M. Gilmer and Gregor Masbaum. “Integral lattices in TQFT”. In: Ann. Sci. École Norm. Sup. (4) 40.5 (2007), pp. 815–844. arXiv: math/0411029. url: http://dx.doi.org/10.1016/j.ansens.2007.07.002.

[HKK16]

Po Hu, Daniel Kriz, and Igor Kriz. “Field theories, stable homotopy theory, and Khovanov homology”. In: Topology Proc. 48 (2016), pp. 327–360. arXiv: 1203.4773.

[KB]

Alexander Kirillov Jr. and Benjamin Balsam. Turaev-Viro invariants as an extended TQFT. arXiv: 1004.1533.

[KL18]

Igor Kriz and Luhang Lai. “On the definition and K-theory realization of a modular functor”. In: Rev. Math. Phys. 30.3 (2018), pp. 1850008, 43. arXiv: 1310.5174. url: https://doi.org/10.1142/S0129055X18500083.

[KM]

Vahid Karimipour and Ali Mostafazadeh. Lattice Topological Field Theory on Non-Orientable Surfaces. arXiv: hep-th/9508041.

[Koc04]

Joachim Kock. Frobenius algebras and 2D topological quantum field theories. Vol. 59. London Mathematical Society Student Texts. Cambridge: Cambridge University Press, 2004, p. xiv 240. isbn: 0-521-83267-5; 0-521-54031-3.

[LU07]

Ernesto Lupercio and Bernardo Uribe. “Topological quantum field theories, strings and orbifolds”. In: Geometric and topological methods for quantum field theory. Vol. 434. Contemp. Math. Amer. Math. Soc., Providence, RI, 2007, pp. 73–98. arXiv: hep-th/0605255. url: https://doi.org/10.1090/conm/434/08342.

[Lur09]

Jacob Lurie. “On the classification of topological field theories”. In: Current developments in mathematics, 2008. Int. Press, Somerville, MA, 2009, pp. 129–280. arXiv: 0905.0465.

[Pfe07]

Hendryk Pfeiffer. “2-groups, trialgebras and their Hopf categories of representations”. In: Adv. Math. 212.1 (2007), pp. 62–108. arXiv: math/0411468. url: http://dx.doi.org/10.1016/j.aim.2006.09.014.

[Sny]

Noah Snyder. Mednykh’s Formula via Lattice Topological Quantum Field Theories. arXiv: math/0703073.

[Tel14]

Constantin Teleman. “Gauge theory and mirror symmetry”. In: Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II. Kyung Moon Sa, Seoul, 2014, pp. 1309–1332. arXiv: 1404.6305.

[Zhu]

Honglin Zhu. The Hermitian axiom on two-dimensional topological quantum field theories. arXiv: 2206.07193.