Gregory W. Moore,Vivek Saxena,Ranveer Kumar Singh
Abstract:We discuss what topological data must be provided to define topologically twisted partition functions of four-dimensional $\mathcal{N}=2$ supersymmetric field theories. The original example of Donaldson-Witten theory depends only on the diffeomorphism type of the spacetime and 't Hooft fluxes (characteristic classes of background gerbe connections, a.k.a. "one-form symmetry connections.") The example of $\mathcal{N}=2^*$ theories shows that, in general, the twisted partition functions depend on further topological data. We describe topological twisting for general four-dimensional $\mathcal{N}=2$ theories and argue that the topological partition functions depend on (a): the diffeomorphism type of the spacetime, (b): the characteristic classes of background gerbe connections and (c): a "generalized spin-c structure," a concept we introduce and define. The main ideas are illustrated with both Lagrangian theories and class $\mathcal{S}$ theories. In the case of class $\mathcal{S}$ theories of $A_1$ type, we note that the different $S$-duality orbits of a theory associated with a fixed UV curve $C_{g,n}$ can have different topological data.
High Energy Physics - Theory,Mathematical Physics,Algebraic Topology,Differential Geometry,Geometric Topology
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are: How to perform topological twisting on any four - dimensional \(N = 2\) supersymmetric field theory, and which topological data the topological correlation functions of these theories depend on.
Specifically, the authors discuss the topological data required to define the topological twisted partition function of four - dimensional \(N = 2\) supersymmetric field theory. The paper points out that the initial examples such as Donaldson - Witten theory only depend on the diffeomorphism type of spacetime and the 't Hooft flux (the characteristic class of the background gerbe connection). However, the example of the \(N = 2^*\) theory shows that, in general, the twisted partition function depends on more topological data. The authors describe the topological twisting of the general four - dimensional \(N = 2\) theory and demonstrate that the topological partition function depends on the following three types of topological data:
1. **Diffeomorphism type of spacetime**: that is, the smooth topological structure of the spacetime manifold \(X\).
2. **'t Hooft flux**: that is, the characteristic class of the background gerbe connection.
3. **Generalized spinc structure**: This is a concept introduced and defined by the authors.
In addition, the authors use specific examples of Lagrangian theory and S - class theory to illustrate these points. For the S - class theory of type A1, the authors note that different S - dual orbits associated with a fixed ultraviolet curve \(C_{g,n}\) can have different topological data.
### Formula Summary
- **Generating function of the topological twisted partition function**:
\[
Z_{\text{tw}}(x)=\left\langle e^{\sum_{i}x_{i}O_{i}}\right\rangle
\]
where \(O_{i}\) is the basis of the operator space \(O\), and \(x_{i}\) is an element in its dual basis \(O^{\vee}\).
- **Topological twisting condition**:
\[
T_{\mu\nu}=\{Q,\Lambda_{\mu\nu}\}
\]
where \(Q\) is a supersymmetric charge that remains invariant, and \(T_{\mu\nu}\) is the energy - momentum tensor.
- **Generalized spinc structure**:
Defined as a homomorphism from \(\text{Spin}(4)\times T_{f}\) to the quotient group of \(\text{Spin}(4)\times SU(2)_R\times G_{f}\), such that under certain conditions, the principal bundle \(P_{\text{tw},bck}\) and the connection \(\nabla_{\text{tw},bck}\) satisfy a specific relationship.
### Key Issues
The core issue of the paper is to clearly answer how to perform topological twisting on any four - dimensional \(N = 2\) field theory and determine which specific topological data the topological correlation functions of these theories depend on. Through rigorous mathematical and physical derivations, the authors prove that the above three types of topological data are both necessary and sufficient.
Hopefully, this summary can help you understand the main objectives and content of the paper. If you have more specific questions or need further explanations, please feel free to let me know!