nLab
Kapustin-Witten TQFT

Idea

The Kapustin-Witten TQFT is the 4d TQFT obtained by topological twisting from N=4 D=4 super Yang-Mills theory. Its S-duality is supposed to encode, as a special case, geometric Langlands duality.

Upon compactification down to 2d it reproduces, at certain parameters, the A-model and the B-model.

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

Related concepts

• geometric Langlands duality

• A-model, B-model

• quantization via the A-model

References

The TQFT was introduced in

• Anton Kapustin, Edward Witten, Electric-Magnetic Duality And The Geometric Langlands Program , Communications in number theory and physics, Volume 1, Number 1, 1–236 (2007) (arXiv:hep-th/0604151)

Reviews include

• Anton Kapustin, Langlands Duality and Topological Field Theory (2007) (pdf)

The 0-1-2 extended QFT version of $GL$-twisted N=4 D=4 super Yang-Mills theory is considered in

• David Ben-Zvi, David Nadler, The Character Theory of a Complex Group (arXiv:0904.1247)

A discussion formalized in BV quantization of factorization algebras is in

• Kevin Costello, Notes on supersymmetric and holomorphic field theories in dimension 2 and 4 (pdf)