# nLab topologically twisted D=4 super Yang-Mills theory

Contents

## Surveys, textbooks and lecture notes

#### Quantum field theory

functorial quantum field theory

## Contents

#### $\infty$-Chern-Weil theory

∞-Chern-Weil theory

∞-Chern-Simons theory

∞-Wess-Zumino-Witten theory

# Contents

## Idea

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.

### For $N = 4$ supersymmetry

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

$\tau = \frac{\theta}{2\pi} + \frac{4 \pi i }{g_{YM}^2}$

(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

$\Psi \coloneqq \frac{\theta}{2 \pi} + \frac{4 \pi i}{g_{YM}^2} \frac{t - t^{-1}}{t + t^{-1}} \,.$

The resulting 4d TQFT is also called the Kapustin-Witten TQFT.

### For $N = 2$ supersymmetry

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)

### Table of relations via holographic, compactifications and twists

gauge theory induced via AdS-CFT correspondence

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 invarianceM5-brane worldvolume theory
$\;\;\;\; \downarrow$ KK-compactification on Riemann surfacedouble dimensional reduction on M-theory/F-theory elliptic fibration
N=2 D=4 super Yang-Mills theory with Montonen-Olive S-duality invariance; AGT correspondenceD3-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

$\,$

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

## Formalization

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

$\mathbb{G}_m \ltimes \Pi \mathbb{G}_{ad}$

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

$\mathbf{Aut}(\mathbb{R}^{0|1}) \simeq \mathbb{G}_m \ltimes \Pi \mathbb{G}_{ad}$

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.

## References

The idea of topological twisting of supersymmetric quantum field theory goes back to

• Edward Witten, Topological quantum field theory, Comm. Math. Phys. Volume 117, Number 3 (1988), 353-386 (Euclid)

often referred to as “cohomological field theory

• Edward Witten, Introduction to cohomological field theory, InternationalJournal of Modern Physics A, Vol. 6,No 6 (1991) 2775-2792 (pdf)

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

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

• Neil Marcus, The other topological twisting of N=4 Yang-Mills, Nucl.Phys. B452 (1995) 331-345 (arXiv:hep-th/9506002)

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 January 16, 2020 at 15:04:50. See the history of this page for a list of all contributions to it.