In mathematical physics, four-dimensional Chern–Simons theory, also known as semi-holomorphic or semi-topological Chern–Simons theory, is a quantum field theory initially defined by Nikita Nekrasov,[1] rediscovered and studied by Kevin Costello,[2] and later by Edward Witten and Masahito Yamazaki.[3][4][5] It is named after mathematicians Shiing-Shen Chern and James Simons who discovered the Chern–Simons 3-form appearing in the theory.

The gauge theory has been demonstrated to be related to many integrable systems, including exactly solvable lattice models such as the six-vertex model of Lieb and the Heisenberg spin chain[3][4] and integrable field theories such as principal chiral models, symmetric space coset sigma models and Toda field theory, although the integrable field theories require the introduction of two-dimensional surface defects.[5] The theory is also related to the Yang–Baxter equation and quantum groups such as the Yangian.

The theory is similar to three-dimensional Chern–Simons theory which is a topological quantum field theory, and the relation of 4d Chern–Simons theory to the Yang–Baxter equation bears similarities to the relation of 3d Chern–Simons theory to knot invariants such as the Jones polynomial discovered by Witten.[6]

Formulation

The theory is defined on a 4-dimensional manifold which is a product of two 2-dimensional manifolds: , where is a smooth orientable 2-dimensional manifold, and is a complex curve (hence has real dimension 2) endowed with a meromorphic one-form .

The field content is a gauge field . The action is given by wedging the Chern–Simons 3-form with :

Restrictions on underlying manifolds

A heuristic puts strong restrictions on the to be considered. This theory is studied perturbatively, in the limit that the Planck constant . In the path integral formulation, the action will contain a ratio . Therefore, zeroes of naïvely correspond to points at which , at which point perturbation theory breaks down. So may have poles, but not zeroes. A corollary of the Riemann–Roch theorem relates the degree of the canonical divisor defined by (equal to the difference between the number of zeros and poles of , with multiplicity) to the genus of the curve , giving

Then imposing that has no zeroes, must be or . In the latter case, has no poles and a complex torus (with a 2d lattice). If , then is the complex projective line. The form has two poles; either a single pole with multiplicity 2, in which case it can be realized as on , or two poles of multiplicity one, which can be realized as on . Therefore is either a complex plane, cylinder or torus.

There is also a topological restriction on , due to a possible framing anomaly. This imposes that must be a parallelizable 2d manifold, which is also a strong restriction: for example, if is compact, then it is a torus.

Surface defects and field theories

The above is sufficient to obtain spin chains from the theory, but to obtain 2-dimensional integrable field theories, one must introduce so-called surface defects. A surface defect, often labelled , is a 2-dimensional 'object' which is considered to be localized at a point on the complex curve but covers which is fixed to be for engineering integrable field theories. This defect is then the space on which a 2-dimensional field theory lives, and this theory couples to the bulk gauge field .

Supposing the bulk gauge field has gauge group , the field theory on the defect can interact with the bulk gauge field if it has global symmetry group , so that it has a current which can couple via a term which is schematically .

In general, one can have multiple defects with , and the action for the coupled theory is then

with the collection of fields for the field theory on , and coordinates for .

There are two distinct classes of defects:

  1. Order defects, which introduce new degrees of freedom on the defect which couple to the bulk gauge field.
  2. Disorder defects, where the bulk gauge field has some singularities.

Order defects are easier to define, but disorder defects are required to engineer many of the known 2-dimensional integrable field theories.

Systems described by 4d Chern–Simons theory

Spin chains

Integrable field theories

Master theories of integrable systems

4d Chern–Simons theory is a 'master theory' for integrable systems, providing a framework that incorporates many integrable systems. Another theory which shares this feature, but with a Hamiltonian rather than Lagrangian description, is classical affine Gaudin models with a 'dihedral twist',[7] and the two theories have been shown to be closely related.[8]

Another 'master theory' for integrable systems is the anti-self-dual Yang–Mills (ASDYM) system. Ward's conjecture is the conjecture that in fact all integrable ODEs or PDEs come from ASDYM. A connection between 4d Chern–Simons theory and ASDYM has been found so that they in fact come from a six-dimensional holomorphic Chern–Simons theory defined on twistor space. The derivation of integrable systems from this 6d Chern–Simons theory through the alternate routes of 4d Chern–Simons theory and ASDYM in fact fit into a commuting square.[9]

See also

References

  1. Nekrasov, Nikita (November 1996). Four Dimensional Holomorphic Theories (PDF) (Thesis). Princeton University.
  2. Costello, Kevin (2013). "Supersymmetric gauge theory and the Yangian". arXiv:1303.2632 [hep-th].
  3. 1 2 Costello, Kevin; Witten, Edward; Yamazaki, Masahito (2018). "Gauge Theory And Integrability, I". Notices of the International Congress of Chinese Mathematicians. 6 (1): 46–119. arXiv:1709.09993. doi:10.4310/ICCM.2018.v6.n1.a6.
  4. 1 2 Costello, Kevin; Witten, Edward; Yamazaki, Masahito (2018). "Gauge Theory And Integrability, II". Notices of the International Congress of Chinese Mathematicians. 6 (1): 120–146. arXiv:1802.01579. doi:10.4310/ICCM.2018.v6.n1.a7. S2CID 119592177.
  5. 1 2 Costello, Kevin; Yamazaki, Masahito (2019). "Gauge Theory And Integrability, III". arXiv:1908.02289 [hep-th].
  6. Witten, Edward (2016). "Integrable Lattice Models From Gauge Theory". arXiv:1611.00592 [hep-th].
  7. Vicedo, Benoît (4 August 2020). "On Integrable Field Theories as Dihedral Affine Gaudin Models". International Mathematics Research Notices. 2020 (15): 4513–4601. arXiv:1701.04856. doi:10.1093/imrn/rny128.
  8. Vicedo, Benoît (24 February 2021). "4D Chern–Simons theory and affine Gaudin models". Letters in Mathematical Physics. 111 (1): 24. Bibcode:2021LMaPh.111...24V. doi:10.1007/s11005-021-01354-9. ISSN 1573-0530. S2CID 254800771.
  9. Bittleston, Roland; Skinner, David (22 February 2023). "Twistors, the ASD Yang-Mills equations and 4d Chern-Simons theory". Journal of High Energy Physics. 2023 (2): 227. arXiv:2011.04638. Bibcode:2023JHEP...02..227B. doi:10.1007/JHEP02(2023)227. S2CID 226281535.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.