Abstract:We show that the approaches to integrable systems via 4d Chern-Simons theory and via symmetry reductions of the anti-self-dual Yang-Mills equations are closely related, at least classically. Following a suggestion of Kevin Costello, we start from holomorphic Chern-Simons theory on twistor space, defined with the help of a meromorphic (3,0)-form $\Omega$. If $\Omega$ is nowhere vanishing, it descends to a theory on 4d space-time with classical equations of motion equivalent to the anti-self-dual Yang-Mills equations. Examples include a 4d analogue of the Wess-Zumino-Witten model and a theory of a Lie algebra valued scalar with a cubic two derivative interaction. Under symmetry reduction, these yield actions for 2d integrable systems. On the other hand, performing the symmetry reduction directly on twistor space reduces holomorphic Chern-Simons theory to the 4d Chern-Simons theory with disorder defects studied by Costello & Yamazaki. Finally we show that a similar reduction by a single translation leads to a 5d partially holomorphic Chern-Simons theory describing the Bogomolny equations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve lies in exploring the connections between integrable systems through the symmetry reduction of the four - dimensional Chern - Simons theory and the anti - self - dual Yang - Mills (ASDYM) equations. Specifically, the authors show that these two methods are closely related at the classical level, and by introducing specific geometric structures (such as the holomorphic Chern - Simons theory on twistor space), these two different perspectives can be unified.
### Core Problems of the Paper
1. **Establishing Connections**: The main objective of the paper is to show how the 4d Chern - Simons theory is related to the ASDYM equations through the holomorphic Chern - Simons theory on twistor space. This not only provides a new perspective in mathematics but also reveals the deep - seated relationships between these theories in physics.
2. **Symmetry Reduction**: By performing symmetry reduction on the 4d Chern - Simons theory, a 2d integrable field theory can be obtained. The paper explores this reduction process in detail and shows how different 2d integrable systems can be obtained by choosing different measures (meromorphic (3,0)-form).
3. **Geometric Interpretation**: The paper emphasizes the geometric significance of the spectral parameter in these theories. In the framework of twistor space, the spectral parameter is naturally interpreted as the coordinates on space - time, which provides a new geometric framework for understanding the properties of integrable systems.
### Main Contributions
- **Unified Framework**: The paper proposes a unified framework that links the 4d Chern - Simons theory and the ASDYM equations, thus providing a new tool for studying integrable systems.
- **Specific Examples**: Through specific calculations and examples, it is shown how to obtain 2d integrable field theories, such as the Principal Chiral Model (PCM) and the Wess - Zumino - Witten (WZW) model, from the 4d Chern - Simons theory through symmetry reduction.
- **Real - World Conditions**: It is discussed how to introduce real - world conditions in spaces with different signatures (such as Euclidean and hyperbolic signatures) to ensure the physical significance of the theory.
### Formula Presentation
- **Measure of Holomorphic Chern - Simons Theory**:
\[
\Omega=\frac{D^{3}Z}{(Z\cdot A)^{2}(Z\cdot B)^{2}}
\]
where \(D^{3}Z = \langle d\pi\pi\rangle\wedge d^{2}x^{A'B'}\pi^{A'}\pi^{B'}/2\) is a standard holomorphic 3 - form.
- **Action of 4d Wess - Zumino - Witten Model**:
\[
S_{\text{WZW}^4}[\sigma]=\frac{1}{2}\int_{E^{4}}\text{tr}(J\wedge *^{4}J)+\frac{1}{3}\int_{E^{4}\times[0,1]}\mu_{\alpha,\beta}\wedge\text{tr}(\tilde{J}^{3})
\]
where \(J = -d\sigma\sigma^{-1}\), \(\mu_{\alpha,\beta}=d^{2}x^{A'B'}\alpha^{A'}\beta^{B'}\).
- **Action of 2d Principal Chiral Model**:
\[
S_{\text{PCM}}[\sigma]=\frac{1}{2}\int_{\Sigma}\text{tr}(J\wedge *^{2}J)+\frac{k}{3}\int_{\Sigma\times[0,1]}\text{tr}(\tilde{J}^{3})
\]
Through these formulas and detailed calculations, the paper shows how to establish connections between different theories and conducts research on integrable systems.