physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
functorial quantum field theory
Reshetikhin?Turaev model? / Chern-Simons theory
FQFT and cohomology
A deformation of super Yang-Mills theory that yields a topological field theory in 4 dimensions. This is in higher dimensional analogy to how the topological string-twisting of the superstring yields the topological A-model and B-model 2d topological field theories.
Given N=4 D=4 super Yang-Mills theory, the twisting is induced by a choice of subgroup inclusion of the special orthogonal group $SO(4)$ into the R-symmetry group $SO(6)$. Then choose a supersymmetry $Q$ which is invariant under the resulting combined action of $SO(4)$ on spacetime and via R-symmetry and consider the subspace of quantum states/quantum observables which are in the kernel of $Q$. This subspace defines a topological field theory which is called the corresponding twisted topological super Yang-Mills theory.
Before the twisting super Yang-Mills theory depends on the complex coupling constant
(with $\theta$ the theta angle), after the twisting there is an additional complex parameter $t$ encoding the choice of topological supercharge. The twisted theory however only depends on the combination
The resulting 4d TQFT is also called the Kapustin-Witten TQFT.
For N=2 D=4 super Yang-Mills theory the twisting follows the same idea, but is a little but more intricate (Witten 11, section 5.1.1)
gauge theory induced via AdS-CFT correspondence
M-theory perspective via AdS7-CFT6 | F-theory perspective |
---|---|
11d supergravity/M-theory | |
$\;\;\;\;\downarrow$ Kaluza-Klein compactification on $S^4$ | compactificationon elliptic fibration followed by T-duality |
7-dimensional supergravity | |
$\;\;\;\;\downarrow$ topological sector | |
7-dimensional Chern-Simons theory | |
$\;\;\;\;\downarrow$ AdS7-CFT6 holographic duality | |
6d (2,0)-superconformal QFT on the M5-brane with conformal invariance | M5-brane worldvolume theory |
$\;\;\;\; \downarrow$ KK-compactification on Riemann surface | double dimensional reduction on M-theory/F-theory elliptic fibration |
N=2 D=4 super Yang-Mills theory with Montonen-Olive S-duality invariance; AGT correspondence | D3-brane worldvolume theory with type IIB S-duality |
$\;\;\;\;\; \downarrow$ topological twist | |
topologically twisted N=2 D=4 super Yang-Mills theory | |
$\;\;\;\; \downarrow$ KK-compactification on Riemann surface | |
A-model on $Bun_G$, Donaldson theory |
$\,$
gauge theory induced via AdS5-CFT4 |
---|
type II string theory |
$\;\;\;\;\downarrow$ Kaluza-Klein compactification on $S^5$ |
$\;\;\;\; \downarrow$ topological sector |
5-dimensional Chern-Simons theory |
$\;\;\;\;\downarrow$ AdS5-CFT4 holographic duality |
N=4 D=4 super Yang-Mills theory |
$\;\;\;\;\; \downarrow$ topological twist |
topologically twisted N=4 D=4 super Yang-Mills theory |
$\;\;\;\; \downarrow$ KK-compactification on Riemann surface |
A-model on $Bun_G$ and B-model on $Loc_G$, geometric Langlands correspondence |
A formalization of the topological twisting in the framework of perturbative BV-quantization of field theory via factorization algebras of local quantum observables is proposed in (Costello 11, section 15, 16, …).
The definition there essentially amounts to saying that a choice of topological twisting is a choice of action of the semidirect product supergroup
of the multiplicative group acting on the odd-shifted additive group via the given super Poincare Lie algebra.
We notice that this group is the automorphism group of the odd line
for which it is well known that an action of it is equivalent to a choice of differential $Q$ and corresponding grading.
This chosen differential $Q$ among the supersymmetry generators in the super Poincare Lie algebra is the choice of what in the physics literature is called the twisting “BRST operator”.
The twisted theory itself is then defined to be given by the factorization algebra of observables which is essentially the homotopy fixed points of this $\mathbf{Aut}(\mathbb{R}^{0|1})$-infinity-action.
The idea of topological twisting of supersymmetric quantum field theory goes back to
often referred to as “cohomological field theory”
where it is N=2 D=4 super Yang-Mills theory that is twisted and related to Donaldson theory. The analogous twisting of N=4 D=4 super Yang-Mills theory is due to
This Vafa-Witten theory reviewed and further developed in:
The $N=4$-case and one of the possible $N=2$-twists yield instanton invariants captured by the Seiberg-Witten theory generalization of Donaldson theory. Another variant of the $N=2$ twist was described in
and yields a geometric interpretation of the geometric Langlands correspondence, as found in
A detailed analysis of the three twists of the $N=4$ theory is in
Discussion of generalization of the twisting to quantum field theory on curved spacetime is in
Section 2.2.1 of
briefly recalls the topological twisting of N=4 D=4 super Yang-Mills theory. Section 5.1.1 there discusses the twisting of N=2 D=4 super Yang-Mills theory (induced from the 6d (2,0)-superconformal QFT on the M5-brane), which was introduced in section 3.1.2 of
For more on this see the references listed at N=2 D=4 super Yang-Mills theory – References – Construction from 5-branes.
More mathematically formalized discussion of topologically twisted supersymmetric theories in the framework of BV-BRST formalism perturbation theory (and with an eye towards the factorization algebra formulation) is in
More in
In
is discussed that the holomorphically twisted $N=1$ theory is controled by the Yangian in analogy to how Chern-Simons theory is controled by a quantum group.
Last revised on September 16, 2022 at 15:25:15. See the history of this page for a list of all contributions to it.