theory (physics), model (physics)
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
A 4d TQFT obtained by a “topological twist” from 4d 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.
The TQFT was introduced in
Reviews include
The 0-1-2 extended QFT version of -twisted N=4 D=4 super Yang-Mills theory is considered in
A discussion formalized in terms of derived geometry is in