---
title: 5D Holomorphic 2-Chern-Simons Theory
url: https://www.emergentmind.com/topics/five-dimensional-holomorphic-2-chern-simons-theory
type: topic
---

# 5D Holomorphic 2-Chern-Simons Theory

Searching arXiv for recent and foundational papers on five-dimensional holomorphic or semi-holomorphic 2-Chern-Simons theory and related integrability.
Five-dimensional holomorphic 2-Chern-Simons theory is a higher-gauge-theoretic field theory on a product space of a real three-manifold and the Riemann sphere, formulated in terms of a 2-connection \((A,B)\) valued in a strict Lie 2-group or, equivalently, a Lie-algebra crossed module. In the literature summarized here, it appears both as a five-dimensional semi-holomorphic higher Chern-Simons theory on \(X=\mathbb{R}^3\times \mathbb{C}P^1\) and as a five-dimensional holomorphic 2-Chern-Simons theory on \(X_5=\Sigma_3\times \mathbb{C}P^1\). Its defining role is to provide a gauge-theoretic origin for higher Lax connections of three-dimensional integrable field theories, extending the four-dimensional semi-holomorphic Chern-Simons framework of Costello and Yamazaki from two-dimensional to three-dimensional integrable systems [2405.08083].

## 1. Geometric setting and higher-gauge data

The basic geometric background is a five-manifold of the form \(X=M\times C\), with \(M=\mathbb{R}^3\) and \(C=\mathbb{C}P^1\setminus\{\text{zeros of }\omega\}\), or equivalently \(X_5=\Sigma_3\times\mathbb{C}P^1\), where \(\Sigma_3\) is a real 3-manifold with local coordinates \((x^1,x^2,x^3)\) and \(\mathbb{C}P^1\) is the Riemann sphere with complex coordinate \(z\) [2509.19188].

The gauge data are not those of an ordinary principal bundle, but of a strict Lie 2-group, equivalently a crossed module of Lie groups
\[
(G,H,t,\alpha),
\]
with differential crossed module of Lie algebras \((\mathfrak{g},\mathfrak{h},t_*,\alpha_*)\). In the thesis formulation, the same structure is presented as a Lie-algebra crossed module, or strict 2-term \(L_\infty\) algebra,
\[
\mathfrak{G}=(\mathfrak{h}\xrightarrow{\mu_1}\mathfrak{g},\rhd),
\]
where \(\mu_1:\mathfrak{h}\to\mathfrak{g}\) is a Lie homomorphism and \(\rhd:\mathfrak{g}\to\mathrm{Der}(\mathfrak{h})\) is an action satisfying Peiffer identities [2509.19188].

A globally trivial higher connection is a pair
\[
(A,B)\in \Omega^1(X,\mathfrak{g})\oplus \Omega^2(X,\mathfrak{h}),
\]
or, in the thesis conventions,
\[
A\in\Omega^1(X_5)\otimes\mathfrak{g},\qquad B\in\Omega^2(X_5)\otimes\mathfrak{h}.
\]
Under the total grading given by form degree plus Lie degree, both fields sit in degree \(+1\) [2509.19188].

A central algebraic ingredient is a nondegenerate bilinear pairing between the two Lie-algebra components. In one formulation this is a cyclic pairing
\[
\langle\cdot,\cdot\rangle:\mathfrak{g}\otimes\mathfrak{h}\longrightarrow\mathbb{C}
\]
of degree \(+1\), subject to explicit invariance conditions:
\[
\begin{aligned}
&\langle[t_*(y),x],y'\rangle+\langle x,\alpha_*(t_*(y),y')\rangle=0,\\
&\langle\alpha_*(x,y),y'\rangle+\langle y,\alpha_*(x,y')\rangle=0,\\
&\langle t_*(y),y'\rangle=\langle t_*(y'),y\rangle.
\end{aligned}
\]
In the thesis conventions this appears as a nondegenerate pairing
\[
\langle\!\langle\cdot,\cdot\rangle\!\rangle:\mathfrak{g}\otimes\mathfrak{h}\to\mathbb{C}
\]
which is invariant under the \(\mathfrak{g}\)-action [2405.08083].

## 2. Meromorphic input and the five-dimensional action

The extra holomorphic structure is introduced by choosing a meromorphic \((1,0)\)-form on \(\mathbb{C}P^1\),
\[
\omega=\varphi(z)\,\mathrm{d}z,
\]
with poles at points \(\{z_i\}\subset\mathbb{C}P^1\). In the semi-holomorphic formulation, one fixes a meromorphic 1-form \(\omega\in\Omega^1(\mathbb{C}P^1)\) with a finite set of poles \(z\subset\mathbb{C}P^1\), called the defects, and a finite set of zeros \(\zeta\). Pulling it back to \(X\), wedges with \(\omega\) force the action to be semi-holomorphic in the \(\mathbb{C}P^1\)-direction and localize gauge-non-invariance at the poles of \(\omega\) [2405.08083].

The curvature of \(A\) is the ordinary Lie-algebra-valued two-form
\[
F(A)=dA+\frac12[A,A].
\]
The 2-Chern-Simons 4-form is then introduced as
\[
\mathrm{CS}_2(A,B)=\bigl\langle F(A)-t_*(B),B\bigr\rangle-d\langle A,B\rangle.
\]
The five-dimensional semi-holomorphic action is
\[
S_{5d}=\frac{i}{2\pi}\int_X \omega\wedge \mathrm{CS}_2(A,B),
\]
equivalently
\[
S_{5d}=\frac{i}{2\pi}\int_X\omega\wedge\Bigl\langle F(A)-t_*(B),B\Bigr\rangle-\frac{i}{2\pi}\int_X\omega\wedge d\langle A,B\rangle.
\]
In the thesis conventions, the holomorphic 2-Chern-Simons action is written
\[
S_5[A,B]=\frac{1}{2\pi i}\int_{\Sigma_3\times\mathbb{C}P^1}\omega\wedge\big\langle\!\!\big\langle F(A)-\mu_1(B),B\big\rangle\!\!\big\rangle.
\]
The two presentations are notationally different but encode the same structural ingredients: a meromorphic 1-form on \(\mathbb{C}P^1\), a \(\mathfrak{g}\)-valued one-form \(A\), an \(\mathfrak{h}\)-valued two-form \(B\), and a nondegenerate invariant pairing [2509.19188].

A plausible implication is that the adjective “holomorphic” is used in this setting through the dependence on the meromorphic spectral-parameter 1-form \(\omega\) and the special role of the \(\mathbb{C}P^1\) direction, while the term “semi-holomorphic” emphasizes that the theory is holomorphic only in that factor.

## 3. Gauge symmetry, 2-gauge symmetry, and flatness equations

The theory carries both ordinary gauge symmetry and higher gauge symmetry. In the crossed-module formulation, a gauge transformation is a pair \((g,\gamma)\) acting by
\[
(A,B)\longmapsto\Bigl(gAg^{-1}-dg\,g^{-1}-t_*(\gamma),\;\alpha(g,B)-(d\gamma+\tfrac12[\gamma,\gamma])-\alpha_*(g,A;\gamma)\Bigr),
\]
with \(g\in C^\infty(X,G)\) and \(\gamma\in\Omega^1(X,\mathfrak{h})\) [2405.08083].

In the thesis conventions, 1-gauge transformations by \(g:X_5\to G\) act as
\[
A\mapsto g^{-1}Ag+g^{-1}\mathrm{d}g-\mu_1(\Lambda),\qquad
B\mapsto g^{-1}\rhd B+\mathrm{d}\Lambda+A\rhd\Lambda+\tfrac12[\Lambda,\Lambda],
\]
where \(\Lambda\in\Omega^1(X_5)\otimes\mathfrak{h}\) is the 2-gauge parameter. There are also 2-gauge transformations by \(\Lambda\) alone,
\[
\delta A=-\mu_1(\Lambda),\qquad \delta B=\mathrm{d}\Lambda+A\rhd\Lambda.
\]
These formulas make explicit that \(B\) participates directly in the gauge symmetry rather than appearing only as an auxiliary field [2509.19188].

Varying the five-dimensional action yields flatness conditions for the 2-connection. In the semi-holomorphic formulation,
\[
\delta S_{5d}=\frac{i}{2\pi}\int_X\omega\wedge\Bigl\langle a,dB+\alpha_*(A,B)\Bigr\rangle
-\frac{i}{2\pi}\int_X\omega\wedge\Bigl\langle F(A)-t_*(B),b\Bigr\rangle,
\]
so the bulk equations of motion away from poles are
\[
\omega\wedge\bigl(dB+\alpha_*(A,B)\bigr)=0,\qquad
\omega\wedge\bigl(F(A)-t_*(B)\bigr)=0.
\]
After imposing boundary conditions at the poles, one equivalently obtains the on-shell \(M\)-relative flatness conditions
\[
F(A)-t_*(B)=0,\qquad d_M B+\alpha_*(A,B)=0.
\]
In the thesis conventions, the corresponding field equations are
\[
F(A)-\mu_1(B)=0
\quad\text{(fake-flatness)},
\]
and
\[
\mathrm{d}B+A\wedge^{\rhd}B=0
\quad\text{(2-curvature=0)}.
\]
Geometrically this means that \((A,B)\) is a flat 2-connection on the 2-bundle corresponding to \(\mathfrak{G}\) [2509.19188].

## 4. Defects, poles, and admissible boundary data

The poles of \(\omega\) define distinguished three-dimensional loci \(M\times\{x\}\), described as defects. Under gauge transformation, \(\mathrm{CS}_2(A,B)\) shifts by an exact 4-form that is singular only at the poles of \(\omega\), so the action transforms as
\[
S_{5d}\longmapsto S_{5d}+\frac{i}{2\pi}\sum_{x\in z}\int_{M\times\{x\}}\omega_x\wedge(\text{quadratic in }g,\gamma,\ldots).
\]
Gauge invariance is therefore restored by imposing suitable boundary conditions on the pullbacks \(\iota_x^*(A,B)\) and \(\iota_x^*(g,\gamma)\) at each pole [2405.08083].

The boundary conditions are expressed through isotropic crossed submodules. At each pole \(x\in z\), one chooses an isotropic crossed submodule
\[
(G_x,H_x,t,\alpha)\subset (G,H,t,\alpha),
\]
meaning that the restricted pairing \(\langle\cdot,\cdot\rangle\) on \(\mathfrak{g}_x\otimes\mathfrak{h}_x\) vanishes. One then restricts to fields satisfying
\[
\iota_x^*(A,B)\in\Omega^1(M,\mathfrak{g}_x)\oplus\Omega^2(M,\mathfrak{h}_x),
\]
and gauge parameters satisfying
\[
\iota_x^*(g,\gamma)\in C^\infty(M,G_x)\oplus\Omega^1(M,\mathfrak{h}_x).
\]
The thesis account states that boundary conditions are introduced at the poles of \(\omega\) so that only a finite set of edge-modes remain on \(\Sigma_3\), with resulting fields \(h:\Sigma_3\to D\), where \(D\) is the defect Lie 2-group, and a one-form \(\Theta\in\Omega^1(\Sigma_3)\otimes\mathfrak{h}\) [2509.19188].

Admissible meromorphic solutions of the bulk equations of motion are those \((A,B)\) satisfying
\[
\partial_{\bar z}A=\partial_{\bar z}B=0
\]
on \(C\) except at the zeros of \(\omega\), with at most the same pole order as \(\omega\). This meromorphicity condition is the mechanism that turns the coordinate \(z\in\mathbb{C}P^1\) into a spectral parameter for the resulting three-dimensional integrable system [2405.08083].

A common misconception is that the poles of \(\omega\) merely mark singularities of the bulk theory. The formulation given here assigns them a more specific rôle: they are defects where boundary conditions are imposed and where the gauge symmetry is reduced to physical edge-mode symmetries. That interpretation is stated explicitly in the thesis summary [2509.19188].

## 5. Higher Lax connection and conserved quantities

On shell one has
\[
\partial_{\bar z}A=\partial_{\bar z}B=0,\qquad
F(A)-t_*(B)=0,\qquad
d_M B+\alpha_*(A,B)=0.
\]
Hence, for each \(z\) away from the zeros of \(\omega\), one obtains a pair
\[
\mathscr{L}(z)=\bigl(A(z),B(z)\bigr),
\qquad
A(z)\in\Omega^1(\mathbb{R}^3,\mathfrak{g}),\;
B(z)\in\Omega^2(\mathbb{R}^3,\mathfrak{h}),
\]
satisfying flatness conditions on \(\mathbb{R}^3\). This pair is the higher Lax connection, depending meromorphically on the spectral parameter \(z\in\mathbb{C}P^1\) [2405.08083].

In the thesis conventions, the higher Lax connection is denoted \((\mathcal{L}_1,\mathcal{L}_2)\) and depends on a spectral parameter \(\lambda\in\mathbb{C}P^1\). Its defining equations are
\[
\mathrm{d}\mathcal{L}_1+\mathcal{L}_1\wedge\mathcal{L}_1-\mu_1(\mathcal{L}_2)=0,\qquad
\mathrm{d}\mathcal{L}_2+\mathcal{L}_1\wedge^{\rhd}\mathcal{L}_2=0.
\]
These are presented as equivalent to vanishing 2-connection curvature, and the thesis states that the generalised surface-holonomy
\[
V_{\Sigma_2}
=
\mathcal{P}\exp\Big(-\!\int_{\Sigma_2}\mathcal{A}\Big)\in H
\]
is independent of deformations of the surface, where \(\mathcal{A}\) is the path-space connection built from \((A,B)\). Picking a one-parameter family of surfaces gives a tower of conserved charges central to three-dimensional integrability [2509.19188].

The 2-form \(B\) is the source of specifically higher-dimensional conserved quantities. Because
\[
d_M B+\alpha_*(A,B)=0,
\]
the surface-holonomy of \(B\) is time-independent. If \(H\) is Abelian, then for any closed Cauchy 2-surface \(\Sigma\subset\{t\}\times\mathbb{R}^3\),
\[
h_\Sigma=\exp\!\Big(\int_\Sigma B\Big)\in H,
\]
and \(d_t h_\Sigma=0\). More generally, for any invariant polynomial \(p\in\mathrm{Sym}^n(\mathfrak{g})^G\), one obtains the multi-local charge
\[
Q_p=\int_{\Sigma_1\times\cdots\times\Sigma_n}p(B,\dots,B)\in\mathbb{C},
\]
which is again conserved [2405.08083].

The thesis summary sharpens this statement by asserting that from the expansion of the meromorphic surface-holonomies \(V_{\Sigma_2}(\lambda)\), one obtains infinitely many higher-form conserved currents in involution, and that under two-dimensional dimensional reduction these descend to the standard Lax connection and transfer-matrix of a two-dimensional integrable sigma-model [2509.19188].

## 6. Reduction to three-dimensional edge theories and \(\mathcal{E}\)-models

The reduction from the five-dimensional bulk to a three-dimensional boundary or defect theory proceeds in stages. First, boundary conditions at the poles of \(\omega\) are chosen so that only a finite set of edge-modes remain on \(\Sigma_3\). On shell in the five-dimensional bulk, this gives a three-dimensional action
\[
S_3[h,\Theta]
=
\int_{\Sigma_3}
\big\langle\!\!\big\langle \Theta,\hat{\jmath}(h)\big\rangle\!\!\big\rangle
+\tfrac12\,I_{\rm WZ}[h],
\]
where \(\hat{\jmath}(h)\) is a \(\mathfrak{g}\)-valued one-form constructed from \(h\), and \(I_{\rm WZ}\) is a 3D Wess-Zumino term defined by extending \(h\) to a 4-manifold [2509.19188].

Second, one imposes the three-dimensional fake-flatness and 2-flatness conditions on the boundary. Solving these constraints expresses the 2-connection \((A,B)\) in terms of \(h\) alone. The resulting three-dimensional action takes the form of a degenerate or nondegenerate \(\mathcal{E}\)-model. The corresponding equations of motion are
\[
\mathrm{d}\,W_h^+\big(h^{-1}\mathrm{d}h\big)=
\mathrm{d}\,W_h^-\big(h^{-1}\mathrm{d}h\big)=0,
\]
where \(W_h^\pm\) are projectors on \(\mathfrak{d}\) defined by the choice of isotropic subalgebra in the defect algebra [2509.19188].

This construction situates five-dimensional holomorphic 2-Chern-Simons theory within the broader correspondence between Chern-Simons-type theories and integrability. The foundational comparison point is the four-dimensional semi-holomorphic Chern-Simons theory of Costello and Yamazaki, which provides a gauge-theoretic origin for the Lax connection of two-dimensional integrable field theories; the five-dimensional higher theory extends that framework to the setting of three-dimensional integrable field theories [2405.08083].

## 7. Ward’s \((2+1)\)-dimensional integrable chiral model

A first application described in the literature is the recovery of Ward’s \((2+1)\)-dimensional integrable chiral model as an edge-mode theory. The chosen higher-gauge datum is the shifted tangent crossed module \((G,\mathfrak{g},1,\mathrm{Ad})\), so that \(H=\mathfrak{g}\) is Abelian and \(t=1\). The meromorphic 1-form is taken to be
\[
\omega=\frac{(z-a_1)(z-a_2)(z-a_3)}{(z-r)^2(z-s)^2}\,dz,
\]
with four simple zeros \(z=0,a_1,a_2,a_3\) and three double poles \(z=r,s,\infty\) [2405.08083].

Solving the defect boundary conditions yields on \(\mathbb{R}^3\) an edge-mode field \(\kappa\in\Omega^1(\mathbb{R}^3,\mathfrak{g})\), or equivalently a \(G\)-valued function \(k\), such that the induced higher connection is
\[
A_i(u;z)\,du_i=\frac{(r-z)(s-z)}{z-a_i}\;k^{-1}\partial_{u_i}k\,du_i,
\]
and
\[
B_{ij}(u;z)\,du_i\wedge du_j
=\frac{(r-z)(s-z)}{(z-a_i)(z-a_j)}\,\bigl[\kappa\wedge\kappa\bigr]_{ij}.
\]
Its flatness equations,
\[
d_M B+\alpha(A,B)=0,\qquad F(A)-B=0,
\]
reduce to the Ward equation
\[
g^{ij}\,\partial_{u_i}\!\bigl(k^{-1}\partial_{u_j}k\bigr)
+\varepsilon^{ijk}v_k\,
\bigl[k^{-1}\partial_{u_i}k,k^{-1}\partial_{u_j}k\bigr]
=0,
\]
where \(g^{ij}\) is a Lorentzian metric of signature \(( - + +)\) on \(\mathbb{R}^3\) and \(v\) a fixed spacelike unit covector [2405.08083].

The three-dimensional edge-mode action read off from the five-dimensional theory is
\[
S_M[k]=\int_{\mathbb{R}^3}\Bigl\langle \partial_zA\big|_{z=s},d_MA\big|_{z=s}\Bigr\rangle+\cdots,
\]
which is stated to be precisely Ward’s integrable chiral model, and the associated Lax connection generates its infinite set of conserved charges via the 2-surface holonomies of \(B\) [2405.08083].

This example clarifies the principal significance of five-dimensional holomorphic 2-Chern-Simons theory: it does not merely mimic the ordinary Lax formalism in one higher dimension, but organizes three-dimensional integrability around flat 2-connections, defect boundary conditions, and conserved surface-holonomies. The thesis formulation makes the same point in broader terms by describing the theory as a geometric home for higher gauge data \((A,B)\), whose flatness encodes the equations of motion of a family of genuinely three-dimensional integrable field theories and from which the familiar two-dimensional Lax formalism is recovered by further reduction [2509.19188].

Source: https://www.emergentmind.com/topics/five-dimensional-holomorphic-2-chern-simons-theory