4D Chern–Simons theory and afﬁne Gaudin models

We relate two formalisms recently proposed for describing classical integrable ﬁeld theories. The ﬁrst (Costello and Yamazaki in Gauge Theory and Integrability, III, 2019) is based on the action of four-dimensional Chern–Simons theory introduced and studied by Costello, Witten and Yamazaki. The second (Costello and Yamazaki, in Gauge Theory and Integrability, III, 2017) makes use of classical generalised Gaudin models associated with untwisted afﬁne Kac–Moody algebras.


Introduction and summary
It was shown by Costello [11,12], and further developed recently in [13,14,48]b y Costello, Witten and Yamazaki that various integrable lattice models can be understood as originating from a four-dimensional variant of Chern-Simons theory on the product M := ×C of a real two-dimensional manifold and a Riemann surface C equipped with a non-vanishing meromorphic 1-form ω. It was also recently shown in [8] that integrable lattice models with boundaries can be accounted for by putting the gauge theory on an orbifold ( × C)/Z 2 .
Very recently in [15], Costello and Yamazaki extended this approach to describe also integrable field theories on , with spectral plane C, by starting from the same variant of Chern-Simons theory on × C as in [11][12][13][14]48].
The purpose of this note is to show that the framework of [15] is intimately related to the description of classical integrable field theories that we proposed in [47], which is based on Gaudin models associated with untwisted affine Kac-Moody algebras. Since the latter underlies a number of important conjectures and problems in both mathematics and mathematical physics, including the ODE/IM correspondence [25], the problem of non-ultralocality [47] and the formulation of a geometric Langlands correspondence over complex surfaces, establishing its connection to 4D Chern-Simons theory is likely to provide deep insights into these difficult problems.
In order to explain this connection in more detail, we first recall how the gauge theory on × C is defined more explicitly.
For concreteness, we shall let = R × S 1 with global coordinates (τ, σ ) and let C = CP 1 be the Riemann sphere with holomorphic coordinate z on C = CP 1 \{∞}. We also fix a choice of meromorphic differential ω on CP 1 which can be expressed in coordinates as where ϕ is a meromorphic function on CP 1 . As noted in [15], in order to be able to describe a broad family of classical integrable field theories it is crucial in the present context to allow ω to have zeroes.
Let g be a semisimple Lie algebra over C and ·, · : g×g → C be a non-degenerate invariant symmetric bilinear form on g. We extend it to a symmetric bilinear pairing ·, · : g ⊗ p (M) × g ⊗ q (M) → p+q (M).
The bulk action functional of four-dimensional Chern-Simons theory introduced and studied in [11][12][13][14][15]48], for a g-valued 1-form A on M, reads The normalisation factor in front of the action is chosen to match the conventions of [47]. It is interesting to note that it coincides, up to an integer factor, with the normalisation of the action (in the case when ω = dz) motivated from the extension of the standard Chern-Simons action to loop groups [48]. The action (1.1) is trivially invariant under the transformation A → A + ̟ for any 1-form ̟ = fdz∈ 1 ( × CP 1 ) proportional to dz. We can use this freedom to eliminate the (1, 0)-component of A along CP 1 and thereby fix it to be of the form A = A τ dτ + A σ dσ + Azdz. The action is then invariant under gauge transformations of these remaining three components.
The equation of motion ω ∧ F = 0, derived by extremising (1.1), expresses the fact that A is a flat connection on which varies meromorphically on CP 1 .T h i s strongly suggests that, when working in the gauge where Az = 0, one can interpret A τ dτ + A σ dσ as the Lax connection of some classical integrable field theory. Indeed, the proposal of [15] is to describe integrable field theories in this way, as arising from the introduction of specific surface defects along in the four-dimensional Chern-Simons theory on M = × CP 1 .
However, in order to completely characterise the integrable structure of a classical integrable field theory, it is necessary to move to the Hamiltonian framework and to identify the Poisson bracket of A σ with itself. There then exist sufficient conditions on the form of this Poisson bracket [37,38] ensuring that the integrals of motion constructed from A σ are in involution.
In Sect. 2 we perform a Hamiltonian analysis of the four-dimensional Chern-Simons theory of [11][12][13][14][15]48], with ω a generic meromorphic differential on CP 1 . There are first-class constraints associated with the gauge invariance of this theory and second-class constraints coming from the fact that the Lagrangian CS(A) is linear in the time derivative of A. We impose natural gauge fixing conditions and determine the corresponding Dirac bracket {·, ·} ⋆ on the reduced phase space. The latter is parametrised by the g-valued field A σ which, having fixed the gauge, is now meromorphic and such that: the combination ϕ A σ has the same pole structure as ϕ. (1.2) We find that the Dirac bracket on the reduced phase space takes the form where the R-matrix is given explicitly by The factor of 2π in (1.4) is also there to match the conventions of [47]. In other words, the first result of this note is that the spatial component A σ of the Chern-Simons 1-form A can be interpreted as the Lax matrix of a non-ultralocal classical integrable field theory with twist function ϕ.
Furthermore, by adding to the bulk Hamiltonian associated with the action (1.1)a suitable boundary term, fixed by the requirement that the total Hamiltonian has welldefined functional derivatives [41], we find that the Hamiltonian on the reduced phase space is where ζ is the set of zeroes of ω and {ǫ x } x∈ζ is a set of complex numbers entering through the choice of gauge fixing conditions imposed. Let g be the untwisted affine Kac-Moody algebra corresponding to g.Weshowedin [47](seealso [17,33]) that classical integrable field theories with the properties (1.3)-(1.5) can be understood as realisations of various generalisations of the Gaudin model associated with g. Since this result is quite technical, but essential to the discussion, we will recall its main features in Sect. 3.
The result of this note therefore establishes that the general formalisms of [15] and [47] provide equivalent descriptions of classical integrable field theories in the Lagrangian and Hamiltonian formulations, respectively.
More precisely, the action functional (1.1)o f [ 15] can be used to describe those classical integrable field theories which:

123
(i) can be realised as a non-cyclotomic affine Gaudin model in the sense of [47], (ii) satisfy the additional technical condition (1.2).
We do not discuss here the case of cyclotomic affine Gaudin model, let alone dihedral ones, in the terminology of [47]. See Sect. 4.2 for a discussion of this point.
It is, however, interesting to note that the condition (1.2) is known not to hold for certain classical integrable field theories which nevertheless do admit an affine Gaudin model description. This is, for instance, the case for affine Toda field theories which can be described as cyclotomic (in fact dihedral) affine Gaudin models [47]. The generalisation of the present work to the cyclotomic case could therefore provide an explanation as to why these theories, including sine-Gordon theory, do not admit straightforward interpretations in terms of four-dimensional Chern-Simons theory [15].
We end with some comments and discussion of possible future work in Sect. 4.

Bulk action
In order to move to the Hamiltonian framework, we begin by isolating the global time coordinate on the cylinder by writing A = A τ dτ +Â withÂ := A σ dσ + Azdz, and for any η We have whereF :=dÂ +Â ∧Â. The last term in CS(A) can be ignored since it will drop out when taking the wedge product with ω. The bulk action functional (1.1) can then be rewritten as where we ignored a 'boundary term'. Indeed, even though S 1 × CP 1 has no boundary per se, using Stokes theorem we generate a term of the form dτ ∧dω ∧ A τ ,Â in the integrand. Explicitly, we have with the first term vanishing because ∂(S 1 × CP 1 ) =∅ .Butdω is a distribution on CP 1 with support at the poles of ω, so the integral in the second term above localises at these poles. We shall therefore refer to such terms as 'boundary terms'.

Remark 2.1
One could equally describe these 'boundary terms' as actual boundary terms. Let D r be the union of small discs of radius r > 0 around each of the poles of ω, and take the integral in (2.1) to be over M r := S 1 × CP 1 \D r instead. Then where now the second term on the right hand side vanishes becausedω has support inside D r . On the other hand, the first term now gives a boundary integral which in the limit when r → 0 coincides with the 'boundary term' identified above. More generally, in order to allow other singularities in the fields A τ orÂ, as we will do when imposing a gauge fixing condition on A τ later in Sect. 2.7, we should also include in D r small discs of radius r around these additional points.
WritingÂ in terms of its components and working up to 'boundary terms' in the above sense, we can express the action (2.1) more explicitly as where the bulk Lagrangian is given by (2.2b)

Phase space
The conjugate momentum of the three g-valued fields A τ , A σ and Az is given, respectively, by the g-valued fields The initial phase space is parametrised by three pairs of g-valued conjugate fields A i , i ∈ C ∞ (S 1 × CP 1 , g) for i ∈{ τ, σ,z}, whose canonical Poisson brackets can be expressed using standard tensorial index notation as where δ σσ ′ := 1 2π n∈Z e in(σ −σ ′ ) is the Dirac comb, i.e. the Dirac δ-distribution on S 1 , and δ zz ′ is the Dirac δ-distribution on CP 1 with the properties that for any f ∈ C ∞ (S 1 × CP 1 ).Also,C denotes the split Casimir of g.
There are three primary constraints The last two constraints are second class and their Poisson bracket We can therefore set them to zero strongly, which we shall do, provided that we work with the corresponding Dirac brackets, given by (2.5b) Let P denote the resulting phase space, parametrised by the fields A τ , τ , Az and z satisfying the Dirac brackets (2.5). We shall refer to the latter just as a Poisson bracket from now on, but still keep denoting it as {·, ·} * to distinguish it from the original Poisson bracket (2.3) since (2.5b) is now different.
Note that we have thus far fixed the last two of the primary constraints in (2.4), so there remains the primary constraint τ ≈ 0.

Differentiable functionals
Given any pair of functionals F , G : P → C, it follows from (2.5) that their Poisson bracket reads where we have introduced the notation for any g-valued distributions X , Y on S 1 × CP 1 for which this integral makes sense. However, problems could arise if the variational derivatives of F and G involve distributions with overlapping supports. The right-hand side of (2.6) would then be the integral of a product of such distributions, which is typically ill-defined.
In light of Remark 2.1, such distributions can be interpreted as 'boundary terms'. The treatment of boundary terms in the Hamiltonian framework was understood in the seminal work of Regge and Teitelboim [41] in the context of general relativity; see also [9,10]. The application of these ideas to ordinary Chern-Simons theory, directly relevant to the present discussion, was considered in [2,3]; see also [4].
We shall say, in the spirit of [41], that a functional F : P → C is differentiable if its variational derivatives do not involve 'boundary terms', i.e. if we can write but where the variational derivatives δF /δ A i and δF /δ i are smooth functions for i ∈{τ,z}, though possibly with singularities at finitely many points. The resolution of the problem alluded to above is that the Poisson bracket {F , G } * is only defined between differentiable functionals F and G . If a functional F is not differentiable then one should find a suitable boundary term to add to it, so as to cancel off any unwanted boundary terms in its variation δF . This will ensure that it has well-defined Poisson brackets with any other differentiable functional.

Bulk Hamiltonian
The bulk Hamiltonian density is given by the Legendre transform of the bulk Lagrangian (2.2b), namely Here, we have introduced the g-valued field Therefore, the bulk Hamiltonian of four-dimensional Chern-Simons theory reads We will come back to the issue of the differentiability of this functional in Sect. 2.8 after fixing the value of A τ in Sect. 2.7.

Gauge invariance
There is just one constraint on the phase space P, namely τ ≈ 0, which we should ensure is preserved under time evolution. We have This is, however, not quite a pure constraint since it already contains the necessary 'boundary terms' to ensure that ε, γ , for all ε ∈ C ∞ (S 1 ×CP 1 , g), is a differentiable functional in the sense of Sect. 2.3, cf. the computation in Sect. 2.8 below.
On the other hand, γ is the correct 'improved' generator of gauge transformations. Indeed, by using (2.5b) we obtain It follows that the expression 1 2π ε, γ , for every ε ∈ C ∞ (S 1 × CP 1 , g), generates a gauge transformation of four-dimensional Chern-Simons theory since In particular, the bulk Hamiltonian (2.8) is thus a pure gauge transformation with the field A τ playing the role of the gauge parameter. Moreover, the Poisson bracket of γ with itself reads from which it follows that, for any ε,ε ∈ C ∞ (S 1 × CP 1 , g),wehave The second term on the right-hand side is a 'boundary term' localised at the poles of the differential ω, cf. the analogous central extension in the Poisson algebra of the 'improved' constraints in ordinary Chern-Simons theory [2,3]. Let C ∞ (S 1 × CP 1 , g) ω denote the subspace of C ∞ (S 1 × CP 1 , g) consisting of those functions which vanish at the poles of ω (and whose multiplicities at these zeroes is given by the orders of the corresponding poles of ω). The central extension term in (2.11) is then absent if either ε orε belongs to C ∞ (S 1 × CP 1 , g) ω . In particular, we see that the true bulk constraint can be described as the smearing ε, γ ≈ 0 with all possible ε ∈ C ∞ (S 1 × CP 1 , g) ω . This is then first class by (2.11). By an abuse of language, we will still refer to this constraint as γ ≈ 0.

Gauge fixing
We would like to fix the gauge invariance associated with the constraint γ ≈ 0 identified in Sect. 2.5. Concretely, letting z denote the set of poles of ϕ we will fix the constraint γ(σ,z) ≈ 0forz / ∈ z, which is clearly first class by (2.10). We shall do this by imposing the gauge fixing condition This choice is motivated by the fact that, following [15], one would like to interpret the gauge field A of four-dimensional Chern-Simons theory as the Lax connection of an integrable field theory. Since the latter only has dσ and dτ components, we should bring A to this form also by moving to the gauge (2.12). It follows from (2.9b) that We can thus impose the constraint γ ≈ 0 together with the gauge fixing condition (2.12) strongly, provided that we work with the appropriate new Dirac bracket {·, ·} ⋆ .
To define it, we note that (2.13) is invertible since where we have used the fact that (2.14) The subscript '(σ ′ , z ′ )2 ′ on · , · , as defined in (2.7), is used here to indicate that the integration is taken over dσ ′ ∧ dz ′ ∧ dz ′ and the bilinear form ·, · is applied to the second tensor factor. The new Dirac bracket of any g-valued observables U and V is then defined by In order to compute the Dirac bracket of the field z with itself, we note from (2.9a), and using the last constraint in (2.4), that Using the above definition for the Dirac bracket {·, ·} ⋆ , we obtain which is valid for z, z ′ / ∈ z. In view of the constraint Cz ≈ 0in(2.4), this is equivalent to the non-ultralocal algebra (1.3) with R- matrixasin(1.4).
The slightly unconventional factor of 2π in (1.4) matches with the conventions of [47], where (1.3) was derived from purely algebraic considerations, as we shall recall in Sect. 3.1. Note that here δ σσ ′ denotes the Dirac comb, whereas in [47]weusedit to denote the unnormalised Dirac comb, which in the present conventions is 2πδ σσ ′ .
(2. 16) It follows that z is meromorphic on CP 1 with the same pole structure as ϕ. By virtue of the definition of the constraint Cz ≈ 0in(2.4), this is equivalent to (1.2).

Remark 2.2
The condition (1.2) can also be seen in the Lagrangian formalism from the equation of motion ω ∧ F = 0. In the gauge (2.12), this implies that the connection A τ dτ + A σ dσ is flat and that ϕ∂z A σ = ϕ∂z A τ = 0. In other words, A σ and A τ are meromorphic with poles at the zeroes of ϕ (with the order of each pole coinciding with the multiplicity of the corresponding zero of ϕ).

Fixing the Lagrange multiplier
Note that we still have the first class primary constraint τ ≈ 0. The effect of the corresponding gauge transformation is just to change the Lagrange multiplier A τ in the bulk Hamiltonian. We shall impose it strongly by fixing the Lagrange multiplier. Let ζ denote the set of zeroes of ω. We shall assume, for the sake of clarity of the presentation, that ζ ⊂ C, i.e. infinity is not a zero, and moreover that all the zeroes are simple. The latter means that ϕ(x) = 0 while ϕ ′ (x) = 0forx ∈ ζ . The arguments given below and in Sect. 2.8 generalise straightforwardly to the generic case.
Having imposed the constraint Cz ≈ 0in(2.4) strongly, we have The second equality is obtained by performing a partial fraction expansion, noting that z and ϕ have the same pole structure. The explicit form above follows from assuming that ϕ has simple zeroes at points in the set ζ ⊂ C. Note that (2.17)i s exactly equation (2.39) from [17], in view of the discussion of Sect. 3.1 below.
As noted in Remark 2.2, in the Lagrangian formalism two of the three equations of motion on A impose that both components A σ and A τ are meromorphic with poles at the zeroes of ϕ. We see that relation (2.17) is compatible with this property. Similarly, we shall fix the Lagrangian multiplier A τ to be meromorphic with poles at the zeroes of ϕ. More precisely, choosing a set {ǫ x } x∈ζ of complex numbers, we shall use the gauge fixing condition (2.18) (Note that this coincides, up to a sign in the definition of the ǫ x , with (2.40) from [17] by the same remark as for (2.17) above.) In other words, we take a linear combination of the singular parts at each x ∈ ζ of the partial fraction decomposition (2.17) with coefficients ǫ x . Since we are setting the Lagrange multiplier A τ equal to a meromorphic function with poles in ζ , we are technically only specifying its 'boundary value' at the points in ζ . In any case, there is no need to specify its value as a whole on CP 1 since we are already working on the constraint surface γ ≈ 0. We will motivate the choice (2.18) shortly in Sect. 2.8, but for the time being it is interesting to compare with the choices made in [15]. To compare with [15], let us split the set ζ into two disjoint subsets as ζ = ζ + ⊔ ζ − and take ǫ x =± 1f o rx ∈ ζ ± . Let us also note in passing that the latter condition was shown in [17] to imply that the resulting model is relativistic. It follows from comparing (2.17) with (2.18) that A τ ± A σ is regular at each x ∈ ζ ± and has a simple pole at every x ∈ ζ ∓ . This is to be compared with the boundary conditions imposed on the fields A τ ± A σ at the zeroes of ω in [15], where |ζ | is even and |ζ + |=|ζ − |. Note, however, that by contrast with [15] we do not choose to work in a gauge in which the pair of fields A σ ± A τ both vanish at the poles of ω. We will come back to this point in Sect. 4.1 below. Choosing the right gauge in the Hamiltonian formalism is essential since it is known, see e.g. [1], that the form of the Poisson bracket (1.3)-(1.4)isvery sensitive to this choice.
Introducing a Dirac bracket to impose τ ≈ 0 strongly, together with its gauge fixing condition (2.18), it is immediate that the Dirac bracket (2.15) is unmodified.

Reduced dynamics
In a classical field theory with no local degrees of freedom, such as (1.1), it is the choice of boundary condition on the Lagrange multipliers in the Hamiltonian, such as A τ here, which completely determines the dynamics on the reduced phase space. In this sense, the gauge fixing condition (2.18) was chosen so as to produce the correct dynamics on the reduced phase space, as we now show.
The variation of the bulk Hamiltonian (2.8) reads The first term vanishes on the constraint surface. Among all of the other terms, the only potentially problematic one is the one involving ∂z A τ since it could correspond to a 'boundary term', cf. Remark 2.1. And indeed, by using the explicit form of the gauge fixing condition (2.18) and using the identity (2.14 we can rewrite it as This suggests adding a boundary term to the bulk Hamiltonian H bulk ,gi venin(2.8), to cancel off this boundary term in the above variation δ H bulk . Explicitly, we define the new Hamiltonian which is now differentiable in the sense of [41], see Sect. 2.3. The Hamiltonian on the reduced phase space is then given by This can equally be rewritten as which is equivalent to (1.5) using the constraint Cz ≈ 0. In this final form (2.19), it is straightforward to show that the result also holds, as written, in the more generic situation when ω is allowed to have multiple zeroes including at infinity.

Connection with affine Gaudin models
We showed in Sect. 2.6 that the non-ultralocal Poisson algebra (1.3), with R-matrix given by (1.4), naturally arises as the Poisson structure on the reduced phase space of four-dimensional Chern-Simons theory. We then showed in Sect. 2.8 that for a suitable choice of gauge fixing conditions (closely related to conditions imposed in [15]), the Hamiltonian on the reduced phase space takes the very specific form (1.5). By contrast, in [47] we gave a very different, more algebraic, interpretation of this same non-ultralocal Poisson algebra (1.3)-(1.4) and Hamiltonian (1.5). We will briefly review this below. In short, classical integrable field theories with properties (1.3)- (1.5) can equally be understood as particular representation of generalised (non-cyclotomic) affine Gaudin models.

Non-ultralocal algebra
The object which naturally enters in the formalism of [47] is not so much the field A σ but rather the combination L := 4π i z = ϕ A σ . Its Poisson bracket, which follows immediately form (2.15), can be written as We have explicitly removed the superscript '⋆' on the Poisson bracket since in what follows we no longer want to think of it as a Dirac bracket on a reduced phase space.
To explain the origin of the Poisson bracket (3.1) from Gaudin models associated with the untwisted affine Kac-Moody algebra g := g ⊗ C[t, t −1 ]⊕CK ⊕ CD,w e briefly recall how these are defined.
Let {I a } be a basis of g and denote {I a } its dual basis with respect to the bilinear form ·, · . Note that, in terms of these, we can write the split Casimir of g introduced in Sect. 2.2 as C = I a ⊗ I a , where the sum over the repeated index a is implicit.
A basis {I a } of g is then given by I a,−n := I a ⊗ t −n for n ∈ Z together with K and D. Its dual basis with respect to the standard bilinear form (·|·) : g × g → C on g, which we denote by {I a }, consists of I a n := I a ⊗ t n for n ∈ Z together with D and K. Now the Lax matrix of the affine Gaudin model takes the form where the infinite sum over the repeated index a is implicit. The L a (z) are given by very explicit rational functions on CP 1 which are valued in the algebra of observables A of the Gaudin model. For instance, in the simplest case of Gaudin models with regular singularities the algebra of observables A is a completion of S( g) ⊗N where N ∈ Z ≥1 is the number of sites, which are located at z ={z i } N i=1 . We then have where I a(i) denotes the copy of the basis element I a ∈ g in the i th copy of S( g) in the N -fold tensor product S( g) ⊗N . Explicit and simple expressions for L a (z) also exist for other generalisations of the Gaudin model. However, since these are not directly relevant for the present discussion, we refer the reader to [47] for the details. For our purposes, the key property that we shall need of these functions is that the Poisson brackets of the fundamental fields of the Gaudin model (in the above example these 123 are I a(i) ) can be packaged into the following form [47] where C := I a ⊗ I a is the split Casimir of g. The connection with (3.1) is now apparent. Explicitly, let us consider the natural representation ̺ of g in terms of g-valued connections on S 1 , given explicitly in the basis {I a } by where σ is a coordinate on S 1 = R/2π Z. Applying ̺ to both tensor factors of the split Casimir of g yields As recalled above, the definition of δ σσ ′ used here is 1 2π times the one in [47]. Likewise, applying ̺ to the first tensor factor of the formal Lax operator (3.2)gives where again we refer to [47] for the explicit forms of the rational functions D(z), K(z) and L a n (z) valued in the algebra of observables A of the affine Gaudin model. To describe a specific classical integrable field theory, we should also introduce a representationπ of the Poisson algebra A. This should send K(z), which is valued in the centre of A, to a complex number valued rational function. In the example of a Gaudin model with regular singularities mentioned above, this takes the form and the central elements K (i) should be realised as complex numbers. Furthermore,π should realise each L a n (z), n ∈ Z in terms of the Fourier modes of the various fields of the classical integrable field theory in question. Explicitly,π is given by I a n∈Z e −inσ ⊗ L a n (z) −→ L(σ, z), (3.4) where L(z) is the g-valued Lax matrix of the classical integrable field theory and ϕ(z) is its twist function. Combining this with the representation ̺,wehave In other words, the twist function naturally arises as one of the components of the Lax matrix of the affine Gaudin model. Applying ̺ to the first and second tensor factors of the Poisson bracket relation (3.3), labelled respectively by 1 and 2, as well as applyingπ to the third factor which is not explicitly labelled, we now obtain the non-ultralocal Poisson algebra (3.1).

Quadratic Hamiltonians
So far we have only described, though somewhat implicitly (but more explicitly in the case of regular singularities), the kinematics of affine Gaudin models.
The dynamics of an affine Gaudin model is defined by its quadratic Hamiltonians. These are conveniently defined, by using the Lax matrix (3.2), as the coefficients in the partial fraction expansion of the rational function where the bilinear form (·|·) on g is being applied to the pair of first factors of the Lax matrices in (3.2). It follows directly from (3.3) that the quadratic Hamiltonians generate a Poisson commutative subalgebra of A [47]. Since (3.5) is a rational function valued in A, we can apply to it the representation π which, after also multiplying through by the inverse twist function, gives [17] The first term on the right-hand side has poles only at the sites z ={z i } N i=1 , namely at the poles of the twist function ϕ, and is thus regular at the set ζ of zeroes of ϕ. Taking the residue at any x ∈ ζ , we obtain Recalling that we identified L = 4π i z in Sect. 3.1, it now follows that the Hamiltonian (2.19) of four-dimensional Chern-Simons theory on the reduced phase space is given by a linear combination of the quadratic Gaudin Hamiltonians, explicitly This completes the proof of the main result, namely that the classical integrable field theory on the reduced phase space of four-dimensional Chern-Simons theory identified in Sect. 2 can indeed be described as a realisation of an affine Gaudin model. Let us note in passing that higher-spin local integrals of motion in classical Gaudin models of affine type are also intrinsically associated with the set ζ . Indeed, explicit expressions for these were constructed in [34], in the case when g is of classical type, generalising the original construction of [21] on the principal chiral model. Specifically, there exists certain polynomials in the Lax matrix L(σ, z), whose degrees are related to the set of exponents of g, and the evaluation of which at the points in ζ yield the higher local conserved charges. It would be interesting to understand their appearance from the point of view of four-dimensional Chern-Simons theory.

Formal Gaudin model and realisations
Loosely speaking, one talks about a given classical integrable field theory as 'being' an affine Gaudin model if it has all the properties listed in (1.3)-(1.5). However, it is convenient to distinguish the affine Gaudin model formulated at the abstract level of affine Kac-Moody algebras from the classical integrable field theory itself. For this reasons, quantities expressed at the level of Kac-Moody algebras were referred to as being formal in [47].
As recalled in Sect. 3, in order to go from the formal affine Gaudin model to a concrete classical integrable field theory, one needs to make a choice of representation π of the algebra of formal observables A,cf. (3.4). And although the twist function ϕ is an important ingredient in the definition ofπ it does not, by itself, defineπ . Indeed, one also needs a realisation of the formal fields of the Gaudin model in terms of the fundamental fields of a given theory, represented by the second equation in (3.4).
In particular, different classical integrable field theories may share the same twist function. Indeed, given a twist function with at most double poles, there are often various natural ways of defining a corresponding realisationπ . A list of possibilities, which is by no means complete, was given in [17].
One way of definingπ is to try to associate with every double pole of ϕ, or with pairs of simple poles of ϕ, a copy of the cotangent bundle T * LG of the loop group LG where G is a real Lie group with Lie algebra g, which we take here to be real. A general recipe for doing so was given in [46] building on the earlier constructions in [18,19].
Concretely, the group valued field g i parameterising the base of the copy of T * LG associated with a given double pole z i of ϕ can be defined by the requirement that the gauge transformation of the Lax matrix by g i vanishes at z i . Likewise, the group valued field g i associated with simple poles z ± i is defined by requiring that the gauge transformation of the Lax matrix by g i evaluated at the pair of points z ± i takes value in a subalgebra complementary to g in g C or to g diag in g ⊕ g. See [46] for details.
The proposals of [15] for constructing the group valued fields (called σ i there) in both the double and simple pole cases, i.e. rational and trigonometric cases, are very reminiscent of the above general constructions. This serves to highlight again the very close similarity between the two formalisms of [15,47].
Let us also mention that one particular family of classical integrable field theories that were shown in [17](seealso [46]) to be realisations of affine Gaudin models are the so called 'λ-deformations' of the principal chiral model [44], of the symmetric space σ -models [30] and also of the semi-symmetric space σ -models [31];seealso [7] for the λ-deformation of the pure-spinor superstring on Ad S 5 × S 5 . It was argued in [42,43] that the λ-deformation can be seen as the theory at the boundary of a 'doubled' ordinary Chern-Simons theory. It would be interesting to understand the connection with the present analysis in the context of λ-deformations.

Dihedral equivariance
It will be interesting to generalise the analysis of the present note to four-dimensional Chern-Simons theory on the orbifold × CP 1 /Z T for T ∈ Z ≥2 , where Z T here only acts on CP 1 by contrast with the orbifolds considered in [8]. This should amount to A σ being equivariant under an action of the cyclic group Z T in the sense thať where ω is a T th -root of unity andσ a Z T -automorphism of g.
In the language of [47], this would then correspond to considering the family of Z T -cyclotomic affine Gaudin models. The latter encompasses all symmetric and semisymmetric space σ -models and in particular the σ -model of the superstring on Ad S 5 × S 5 [45], but also affine Toda field theories.
We have also not addressed the issue of reality conditions here. In the setting of [47], these are characterised by the Lax matrix A σ also being equivariant under an action of Z 2 , namelyτ (A σ (σ, z)) = A σ (σ,z), whereτ is an anti-linear involution of the complex Lie algebra g that specifies the choice of real form of g. The conditions (4.1) and (4.2) put together imply that A σ is, in fact, equivariant under an action of the dihedral group D 2T = Z T ⋊Z 2 . It was shown, more precisely, in [47] that many classical integrable field theories of interest admit a description as dihedral affine Gaudin models. It will be interesting to connect such affine Gaudin models to four-dimensional Chern-Simons theory. We leave this for future work.

(Dis)order defects and (non-)ultralocality
There are two types of classical integrable field theories discussed in [15], corresponding to two types of surface defects, namely the order and disorder ones, that can be added to the four-dimensional Chern-Simons theory described by the bulk action (1.1). It follows from the results of this note that this dichotomy is essentially the same as the usual one between the ultralocal and non-ultralocal models.
Indeed, the order defects were considered only in the cases when ω has no zeroes, as in the original papers [11][12][13][14]48] on lattice models-see Sect. 4.4 below. Among those, the two cases covered by the formalism of this note are ω = dz (rational) and ω = dz/z (trigonometric). In the former case ϕ(z) = 1s ot h a tt h eδ ′ -term in the Poisson bracket (1.3) of the Lax matrix is absent. In the latter case, the coefficient of the δ ′ -term in (1.3) is constant, i.e. independent of the spectral parameters, and can typically be eliminated by a suitable gauge transformation. A prime example of this, albeit in the cyclotomic case, is given by KdV theory [5].
As noted in [15], however, the collection of classical integrable field theories that can be described using order defects is very limited. Indeed, most theories of interest are described instead, in the language of [15], using so called disorder defects. These were considered in the case when the 1-form ω has zeroes. As we have shown, this is in perfect agreement with the observation made in [47] that a very large family of classical integrable field theories are described by affine Gaudin models, which are intrinsically non-ultralocal. Indeed, the fact that many known non-ultralocal models were recovered in [15], including the multi-parameter family of coupled integrable σmodels introduced in [16], is what originally prompted us to seek a deeper connection between the formalisms of [15,47].
Turning to the problem of quantising these classical integrable field theories, one can expect the quantum inverse scattering method [20,[22][23][24]32], i.e. RTT formalism, to apply as usual in the ultralocal setting. In particular, this formalism should have a reinterpretation in the language of four-dimensional Chern-Simons theory as was the case for lattice models in [14].
In the non-ultralocal setting, however, we expect new techniques to be required, which are ultimately related to the problem of ω having zeroes.

Zeroes of the differential !
The presence of zeroes in ω is known to pose problems in the perturbative quantisation of four-dimensional Chern-Simons theory. Indeed, it was argued heuristically, e.g. in [13], that since the action (1.1) depends on ω through the ratio ω/ , its zeroes correspond to points where →∞ . In light of the discussion of Sect. 4.3,t h i s issue can be seen as a reformulation of the long-standing open problem of quantising non-ultralocal integrable field theories, which in turn is equivalent to the problem of quantising (dihedral) affine Gaudin models [47].
It is interesting that in the lattice model context of [11][12][13][14]48], restricting attention to Riemann surfaces C admitting a non-vanishing differential ω, so as to avoid these difficulties, has led to rediscovering the classification of skew-symmetric solutions to the Yang-Baxter equation due to Belavin and Drinfel'd [6].
By contrast, the presence of zeroes in ω is clearly needed in the context of classical integrable field theories. In the language of [15], it is thus expected that quantising non-ultralocal integrable field theories will require a non-perturbative definition of quantum four-dimensional Chern-Simons theory with action (1.1) for generic ω.
On the other hand, approaching the problem from the perspective of affine Gaudin models, we anticipate from [LVY1, LVY2] that in studying quantum Gaudin models associated with the affine Kac-Moody algebra g, the role of the zeroes of the twist function ϕ should be replaced by twisted homology cycles in CP 1 \z. This may also shed some light on how to tackle the problem from the point of view of four-dimensional Chern-Simons theory.
Finally, it is also expected that Langlands duality should play a central role in the study of Gaudin models in affine type, see for instance [FF, FH, LVY1, LVY2], by direct analogy with the well-studied case of Gaudin models in finite type [FFR, F1, F2, MV1, MV2]. It would therefore be very interesting to see the emergence of Langlands duality also from the four-dimensional Chern-Simons theory.