A unifying 2D action for integrable σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-models from 4D Chern–Simons theory

In the approach recently proposed by K. Costello and M. Yamazaki, which is based on a four-dimensional variant of Chern–Simons theory, we derive a simple and unifying two-dimensional form for the action of many integrable σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-models which are known to admit descriptions as affine Gaudin models. This includes both the Yang–Baxter deformation and the λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-deformation of the principal chiral model. We also give an interpretation of Poisson–Lie T-duality in this setting and derive the action of the E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf {E} $$\end{document}-model.


Introduction
Determining whether a given two-dimensional classical field theory is integrable is somewhat of an art. It requires finding a connection d + L on the two-dimensional space-time Σ, valued in some complex Lie algebra g C , such that: (a) It depends meromorphically on an auxiliary Riemann surface C, (b) It is on-shell flat, (c) The integrals of motion constructed from it are in involution.
In this article, we shall restrict attention to the case when C = CP 1 . We fix a global holomorphic coordinate z on C ⊂ CP 1 , called the spectral parameter.
Given the difficulty of the above task, one can turn the tables around by seeking instead to construct connections with all the above properties and, only a posteriori, identify which classical integrable field theories they correspond to.
Very recently, two different approaches for constructing integrable field theories in this way have been developed.
The first, proposed in [40] and further developed more recently in [11,31], is rooted in the representation theory of untwisted affine Kac-Moody algebras, or more precisely in the theory of Gaudin models associated with such algebras. The basic idea for constructing connections d + L with all of the above desired properties is, roughly, to choose a representation of a certain infinite-dimensional Lie algebra associated with the datum of the Gaudin model and apply it to the corresponding canonical element I A ⊗ I A , where {I A } is a basis of this Lie algebra and {I A } is a basis of its dual. Specifically, under this representation, we obtain [40] where L σ is the component of the 1-form L = L σ dσ +L τ dτ along the spatial direction which we assume here to be a circle S 1 . By construction, it depends meromorphically on the spectral parameter z. The prefactor ω is a meromorphic 1-form which in terms of the spectral parameter z is given by where ϕ is known as the twist function. The latter controls the form of the Poisson bracket of L σ with itself which guarantees property (c). Note that this approach is intrinsically formulated within the Hamiltonian framework. In particular, the temporal component L τ of the on-shell flat connection d + L, which satisfies also (a) and (b) above, is induced by evolution with the Hamiltonian. The second approach, proposed recently in [7], is based on a four-dimensional variant of Chern-Simons theory which was used in the earlier works [2][3][4][5][6]42] to describe integrable lattice models. In fact, two types of integrable field theories were considered in [7], associated with so-called order and disorder defects, respectively. We shall restrict attention to the latter class here. The action of the four-dimensional theory reads (note that we take the same overall factor as used in [41]) (1.2) where C S(A) is the Chern-Simons 3-form and ω is a meromorphic 1-form on CP 1 with zeroes. The four-dimensional g C -valued 1-form A = A σ dσ + A τ dτ + Azdz has no dz-component since it drops out from the action and is therefore ignored. To relate A to a connection on Σ, one can write for some smooth G C -valued function g on Σ × CP 1 and 1-form L = L σ dσ + L τ dτ . The equations of motion derived from the action (1.2) ensure that L satisfies both properties (a) and (b). Crucially, these are accompanied by boundary equations of motion for the values of A σ and A τ at the poles of ω. What determines the integrable field theory in this approach is then the choice of boundary conditions imposed on A σ and A τ to ensure these boundary equations of motion hold. It was shown recently in [41] that the two approaches outlined above are closely related. In particular, the Poisson bracket of L σ with itself derived from a canonical analysis of the action (1.2) coincides with the nonultralocal Poisson algebra obtained in the affine Gaudin model approach, where the 1-forms ω in both approaches are identified. It follows that the connection d + L constructed using the Chern-Simons approach of [7] also satisfies property (c), as required.
The purpose of this article is to show that many of the integrable σ -models which had previously been described as realisations of affine Gaudin models can equally be described using action (1.2). Specifically, we identify the boundary conditions on the 1-form A which give rise to: the principal chiral model with WZ-term (already covered in [7]), the homogeneous Yang-Baxter deformation of the principal chiral model, the Yang-Baxter σ -model with WZ-term, the λ-deformation of the principal chiral model and the bi-Yang-Baxter σ -model.
More precisely, we will suppose that the 1-form ω has at most double poles and consider three general classes of boundary conditions that can be imposed on the 1form A at the set z of poles of ω. These are determined by a choice of Lagrangian subalgebra of either the semi-direct product g g ab , where g is a real form of g C and g ab is an abelian copy of g, the direct sum g ⊕ g or the complexification g C . They are, respectively, imposed at a real double pole, at a pair of real simple poles or at a pair of complex conjugate simple poles.
One of the main results of the present paper, Theorem 3.2, is that if we impose any combination of the above three types of boundary conditions on A, then the fourdimensional action (1.2) reduces to the two-dimensional action where the two-dimensional field g x : Σ → G is defined as the restriction g| Σ×{x} for all x ∈ z and I WZ [g x ] denotes the corresponding Wess-Zumino term. The meromorphic 1-form L can be expressed in terms of the set of fields {g x } x∈z by solving the boundary conditions on A, so that the action is then a functional of these fields only. By construction, the equations of motion for these fields obtained by varying (1.3) are equivalent to the flatness of the connection d + L.
The two-dimensional action (1.3) unifies the actions of many integrable σ -models which had previously been described in the affine Gaudin model approach.
We also give an interpretation of Poisson-Lie T -duality in this context as arising in the case when the Lagrangian subalgebra of either g ⊕ g or g C belongs to a Manin triple, i.e. there is a complementary Lagrangian subalgebra in g ⊕ g or g C .
Finally, we also consider a fourth kind of natural boundary condition on A imposed at a pair of simple poles, and for which the two-dimensional action (1.3) also holds. Imposing this boundary condition, we recover the action for the E-model also from (1.3). We stress, however, that this particular example is on a different footing to all of the others considered in this paper since the 1-form L in this case vanishes on-shell and so trivially satisfies condition (b) above.

The four-dimensional action
Let G C be a complex semisimple Lie group with Lie algebra g C , on which we fix a choice of nondegenerate invariant symmetric bilinear form ·, · : g C × g C → C.
Let CP 1 := C ∪ {∞} denote the Riemann sphere. We shall fix a choice of global holomorphic coordinate z on C ⊂ CP 1 .

Bulk and boundary equations of motion
Consider action (1.2) where ω is a meromorphic 1-form on CP 1 and the Chern-Simons 3-form for the 1-form A = A σ dσ + A τ dτ + Azdz is given by The second equality uses the fact that B ∧ B = 1 2 [B ∧ B] for any g C -valued 1-form B. Note also that for any g C -valued 1-forms B, C and D we have by the invariance and symmetry of the bilinear form ·, · . Varying action (1.2) with respect to the field A, we find The last term comes from applying Stokes's theorem, and we have removed the boundary term using the fact that A vanishes at the boundary of Σ × CP 1 . The variation of the action therefore vanishes provided that is the bulk equation of motion, while Eq. (2.2b) will be referred to as the boundary equation of motion since dω is a distribution supported at the set z of poles of ω (see the proof of Lemma 2.1). More explicitly, thez-, τ -and σ -components of the bulk equation (2.2a) read We have kept the factor of ω in the last two equations since ∂z A σ and ∂z A τ may be distributions on CP 1 , with support at the zeroes of ω.
In order to rewrite the boundary equation of motion (2.2b) more explicitly, we begin by introducing some notation. Let ξ x be a local holomorphic coordinate around x ∈ z.
Explicitly ξ x = z − x for x ∈ z\{∞} and ξ ∞ = z −1 for the point at infinity. It will also be convenient to introduce the shorthand notation f | x := f | Σ×{x} for the function on Σ obtained by evaluating any function f on Σ × CP 1 at x ∈ CP 1 .
where there is an implicit sum over the repeated space-time indices i, j = τ, σ .
Proof The pole part of the 1-form ω at each x ∈ z can be expressed as x ω. Note that this also deals with the point at infinity if ∞ ∈ z. Concretely, since ξ ∞ = z −1 is the local variable at infinity, this means that the pole part of ω there takes the form − p≥0 k (∞) p z p−1 dz. We then have where δ ξ y 0 denotes the Dirac δ-distribution at y, with the property that for any smooth function f : over a small open neighbourhood of z ⊂ CP 1 using the above expression for dω gives the desired result.
When the 1-form ω has at most double poles, which is the case we shall focus on in the present paper, the boundary equation of motion (2.4) simply reads Following the approach of [5,7], we will impose appropriate boundary conditions on the 1-form A to ensure that the boundary equation of motion (2.6) is satisfied. Let us note that for a given meromorphic 1-form ω, different boundary conditions can be chosen, leading to different σ -models. We therefore postpone the detailed description of the various boundary conditions we shall consider until Sect. 4, concentrating for the time being on aspects which are common to all these choices.

Gauge transformations
The group consisting of smooth G C -valued functions u on Σ × CP 1 acts on the space of g C -valued connections d + A, considered in Sect. 2.1, by formal gauge transformations (2.7) Such transformations act on the curvature of A by conjugation, namely Thus, they are symmetries of the bulk equation of motion (2.2a). However, they are in general not symmetries of the boundary equation of motion (2.2b). In the rest of this article, we will use the term 'gauge transformation' to refer to the transformations A → A u which preserve the boundary conditions imposed on the field A at the poles z of ω, while keeping the denomination of 'formal gauge transformation' to describe the most general ones. In particular, only gauge transformations leave action (1.2) invariant and can thus be interpreted as local symmetries of the model.

Lax connection
In order to connect A with the Lax connection of an integrable σ -model, one should work in a formal gauge where the dz-component vanishes. Indeed, if we denote by L the 1-form A in such a formal gauge, then L would only have components along dσ and dτ ; it would be on-shell flat by the first bulk equation of motion (2.3a), and its dependence on CP 1 would be meromorphic by virtue of the remaining two bulk equations of motion (2.3b) and (2.3c). These are exactly the properties of a Lax connection of an integrable σ -model.
It is important to note that L is related to A only by a formal gauge transformation (2.7), which need not preserve the boundary conditions imposed on A. In particular, one cannot compute the value of the action (1.2) in this formal gauge. However, recall from Sect. 2.2 that, crucially, formal gauge transformations preserve the bulk equations (2.3): this is what allowed us to interpret L as a Lax connection in the previous paragraph.
Let us be more explicit about the construction sketched above. Finding the formal gauge mentioned in the previous paragraph means writing the 1-form A in the form for some smooth function g : Σ × CP 1 → G C , denoted by σ −1 in [7], and where L := L σ dσ + L τ dτ has no dz-component, i.e. Lz = 0. Substituting (2.9) into the bulk equation of motion (2.3a) implies that L is on-shell flat, while substituting it into (2.3b) and (2.3c) tells us that ω ∧ ∂zL = 0. (2.10) It follows from (2.10) that L is meromorphic with poles at the zeroes of ω, with the order of each pole of L being at most equal to the multiplicity of the corresponding zero of ω. In other words, ω ∧ L has the same poles as ω and of the same order. It is important to note here that there is, in fact, a large freedom in choosing a smooth G C -valued field g with the property (2.9). Since this will be a crucial point for us, we postpone its detailed discussion until Sect. 3.1.
We can be more explicit about the pole structure of L following [7], by making the choice that the singularity at each zero of ω lies only in one component of L so that ω ∧ C S(A) is regular. Let ζ denote the set of zeroes of the 1-form ω which we assume to be simple. We will allow the meromorphic 1-form L to have the form where ξ y is the local coordinate at y and U τ , U σ , V y : Σ → g C are smooth functions for each y ∈ ζ . Here, each σ y for y ∈ ζ is a linear combination of σ and τ . The situation considered in [7] corresponds to the case where σ y = w = 1 2 (τ + iσ ) for some of the zeroes y ∈ ζ and σ y =w = 1 2 (τ − iσ ) for the others. This is the natural choice to obtain Euclidian invariant theories (see Remark 2.1). Since we are interested in Lorentz invariant theories rather than in Euclidean invariant ones, we will instead always (with the exception of the discussion in Sect. 6) make the choice σ y = σ + for some of the zeroes y ∈ z and σ y = σ − for the other zeroes, where σ ± := 1 2 (τ ± σ ) are the light-cone coordinates.
Remark 2.1 Form (2.11) is consistent with the derivation of integrable σ -model actions from their descriptions as affine Gaudin models [11]. Indeed, the spatial and temporal components of the Lax connection of an affine Gaudin model are given by very similar expressions (see [11, (2.39 for some fixed y ∈ C for all y ∈ ζ . This is equivalent to (2.11) with dσ y = dσ + y dτ . It was also shown in [11,31] that for the affine Gaudin model to describe a relativistic integrable σ -model, we should take y = ±1 for each y ∈ ζ . This analysis can be generalised to show that the theory is Euclidean invariant if y = ±i for each y ∈ ζ . This was precisely the choice made in [7], i.e. σ y = w,w.

Action
We will now express the action (1.2) in terms of g and L. (2.9), the Chern-Simons 3form transforms as

Lemma 2.2 Under a formal gauge transformation as in
Proof The behaviour of the Chern-Simons 3-form under formal gauge transformations, is well known. In the present context, since the 1-form L only has components along dσ and dτ , we have C S(L) = L, dL from which we deduce (2.12). Since this is an essential result on which the derivation of the two-dimensional action in Sect. 3.3 rests, we recall its proof in detail below for completeness. Following [7], it is convenient to use the have We have the identity (valid for any 1-form A decomposed as a sum A = A + A ) (2.13) where in the second line we have made use of (2.1) to rearrange terms. This is to be compared with [7, (8.8) The second term on the right-hand side of (2.13) vanishes by virtue of the fact that F( A) = 0, since A is formally pure gauge. On the other hand, where in the first equality we have used A , A ∧ A = 0, which follows using the fact that A only has dσ -and dτ -components. The second and third equalities are by definition of A and A , while the last equality follows from (2.1). Finally, we have The second equality here uses the fact that Putting all of the above together, we obtain the desired identity (2.12). Consider each term in the sum over y ∈ ζ individually. Since this already contains an explicit dσ y , the corresponding term in L which is singular at y cannot contribute. Thus, only the terms which are regular at y can contribute from L. On the other hand, since y is a simple zero of ω, it follows that ω δ ξ y 0 = 0. Thus, each term in the above sum over y ∈ ζ vanishes, as required.
Substituting (2.12) into action (1.2) and using Lemma 2.3, we thus obtain where in the second line we have used Stokes's theorem and the fact that all fields are assumed to vanish at the boundary of Σ × CP 1 to get rid of the boundary term.

Reality conditions
Action (1.2) is a functional of the complex valued 1-forms ω and A. Without imposing conditions on ω and A, it is certainly not real. However, we will want to use this four-dimensional theory to construct the actions of two-dimensional integrable σ -models. In order to ensure that the latter are all real, we will impose suitable reality conditions on the 1-forms ω and A so as to make the four-dimensional action (1.2) real itself.
Let τ : g C → g C be an anti-linear involutive automorphism of the complex Lie algebra g C . It provides g C with an action of the cyclic group Z 2 . Its fixed point subset is a real Lie subalgebra g of g C , regarded itself as a real Lie algebra. The anti-linear involution τ is compatible with the bilinear form on g C in the sense that for any B, C ∈ g C . We will also denote by τ its lift to an involutive automorphism τ : G C → G C of the Lie group G C and denote by G its fixed point real subgroup. Complex conjugation z →z on C ⊂ CP 1 defines an involution μ t : CP 1 → CP 1 , which also provides CP 1 with a Z 2 -action. We will require both the 1-forms ω and A to be equivariant under this action of Z 2 in the sense that Concretely, in terms of the twist function ϕ, defined from ω in (1.1), the first condition simply states that ϕ(z) = ϕ(z).

Lemma 2.4
The reality conditions (2.16) ensure that the action (1.2) is real.
Proof We have where in the first equality we used the fact that In the middle step here, we have used both the identity (2.15) and the fact that τ is an automorphism of g C . The second step in (2.17) is by the equivariance property (2.16) of ω and A. The very last step in (2.17) uses the fact that μ t has the effect of conjugating the complex structure on CP 1 and thus also of reversing its orientation. Concretely, the integral over μ t CP 1 with measure dz ∧ dz is equal to the integral over CP 1 with measure dz ∧ dz.
Upon writing the 1-form A as in (2.9), to satisfy its equivariance property (2.16), we will impose the equivariance property for the function g : Σ × CP 1 → G C and g C -valued 1-form L = L σ dσ + L τ dτ .

Freedom in the choice of g
Notice that (2.9) is equivalent to saying that Az is of the form The smooth function g : Σ × CP 1 → G C in this expression is by no means unique. On the one hand, we can multiply it on the right by an arbitrary smooth function which is still of form (3.1). In order to preserve the equivariance of g in (2.18), we need h to take values in the real subgroup G ⊂ G C so that τ h = h. Note that such a transformation g → gh does not modify Az and is thus a redundancy in definition (3.1) of g in terms of Az. Recall also that this definition was obtained as the dz-component of (2.9) and that the corresponding dτ -and dσ -components serve as a definition of the Lax connection L in terms of A τ , A σ and g. One easily checks that for fixed A, the redundancy g → gh in the definition of g corresponds to the transformation on L. This is a two-dimensional gauge transformation of the Lax connection L. It is well known that such a freedom on L is always allowed in any integrable field theory, as it preserves its on-shell flatness.
On the other hand, we can also perform a gauge transformation on the connection A by a smooth function u : is still of the form (3.1), explicitly However, it is important to note that u cannot be completely arbitrary here. Indeed, the gauge transformation by u must also preserve the boundary conditions imposed on A (which is why, following the terminology of Sect. 2.2, we call it a gauge transformation and not a formal gauge transformation). For A u to be real, we must also require that u be equivariant under the action of Z 2 .
Note that the transformation g → u g is of a different nature than the transformation g → gh considered in the previous paragraph. Indeed, the latter corresponds to a redundancy in the definition of g in terms of A and does not alter A itself, while the transformation g → u g corresponds to a gauge transformation on A. Moreover, the parameter h considered in (3.2) was a two-dimensional field on Σ, independent of z andz, while the parameter u in (3.4) is a four-dimensional field on Σ × CP 1 . Finally, let us note that contrary to the transformation g → gh, the gauge transformation g → u g does not modify the Lax connection L.

Archipelago conditions
The action (2.14) derived in the previous section holds for an arbitrary meromorphic differential ω, in particular with poles of any order. It is, however, still four-dimensional as the original action (1.2).
In order to reduce action (2.14) to a two-dimensional one, we will exploit the large freedom in the choice of g discussed in Sect. 3.1. Specifically, in the remainder of this section, we will identify sufficient conditions on the function g, which guarantee that the action (2.14) can be explicitly reduced to an action on Σ. In Sect. 4, we will then identify various boundary conditions for which such conditions on g can be made to hold by using the freedom discussed in Sect. 3.1.
We will say that a smooth equivariant function g : Σ × CP 1 → G C is of archipelago type if it satisfies the following three archipelago conditions: g| Σ×U x only depends on σ , τ and the radial coordinate r x := |ξ x |, (iii) There is an open disc V x ⊂ U x for every x ∈ z such that g x := g| Σ×V x only depends on σ and τ . By a slight abuse of notation, we also denote its further restriction g| Σ×{x} to the point x ∈ z as g x .
Lemma 3.1 One can always ensure that the smooth G C -valued function g appearing in (3.1) satisfies the archipelago condition (i).
Proof We will bring the function g to a form which satisfies the archipelago condition (i) by applying a suitable gauge transformation (3.4) for some smooth function u.
Given any disjoint open discs U x around each x ∈ z, we can choose a smooth function u : in some open neighbourhood of Σ × z. The latter condition is there to ensure that the gauge transformation by u preserves the boundary conditions at z. By construction, the new function u g appearing in (3.5) satisfies condition (i).
By contrast, conditions (ii) and (iii) are not always satisfied. Whether or not g can be made to satisfy them depends on the type of boundary conditions that are imposed on the Chern-Simons field A at the poles of ω in order to satisfy (2.4).

Two-dimensional action with WZ-terms
Suppose that g can be chosen to be of archipelago type. We will show that the fourdimensional action (2.14) can then be further simplified to a two-dimensional action with WZ-terms.
Consider, to begin with, the first term in action (2.14). It can be written as using property (i) of the archipelago-type function g, cf. Sect. 3.2, to localise the integral over CP 1 to the individual discs U x around each x ∈ z.
In each disc U x centred on x ∈ z\{∞}, we introduce local polar coordinates We note that only the differential dθ x in dz = e iθ x (dr x + ir x dθ x ) contributes in the above integral for x ∈ z\{∞}. Indeed, since g x is assumed to be independent of θ x in property (ii) of the archipelago type function g, it follows that the 3-form g −1 Therefore, when taking the wedge product with ω, only the dθ x component of ω can contribute. The same is true when x = ∞. We can then rewrite the above integral as where R x is the radius of the disc U x around x ∈ z. Performing the integrals over the angular variables θ x for each x ∈ z, we now deduce that when g is of archipelago type, the first term in action (2.14) reduces to Here, we introduce the standard WZ-term As usual, it depends only on the two-dimensional field g x : Σ → G up to an additive constant which is irrelevant classically. Note that the overall minus sign in the above definition is there to match with the conventions of [11]. Indeed, the boundary of the volume Σ × [0, R x ] being at the origin of the interval [0, R x ] accounts for this extra minus sign.
Consider now the second term in action (2.14). It can be rewritten as where we have used the fact that dω is a distribution with support z to localise the integral over CP 1 to the open discs V x for each x ∈ z from property (iii) of the archipelago-type function g. By writing this distribution explicitly in terms of the local coordinates ξ x at each x ∈ z, as in the proof of Lemma 2.1, substituting this expression into (3.6) we arrive at x ω for each p ∈ Z ≥0 and x ∈ z. Now since g x is independent of the local coordinate ξ x on V x by property (iii), it follows that g −1 x dg x , L is holomorphic in a neighbourhood of the pole x of ω by virtue of (2.10) and we may thus rewrite each term in the above sum over x ∈ z as a residue. Indeed, for any ψ holomorphic at x, we have where in the first equality we made use of the expression (2.5) for the pole part of ω at x, as well as the Taylor expansion of ψ near x. Finally, we thus obtain Notice that the sign has not changed in the last line since we have moved ω past g −1 x dg x but at the same time we have also reversed the orientation of the domain of integration by moving the operation res x , which is given by a contour integral over a small circle around x, past g −1 x dg x also. We have thus shown the following. Theorem 3.2 If g is of archipelago type, then action (2.14) reduces to the sum of a two-dimensional term and a Wess-Zumino term for each point in z, namely

7)
where g x : Σ → G is the restriction of g to Σ × {x} for each x ∈ z.
Remark 3. 1 The notation that we have used for the action in (3.7) suggests that it is only a functional of {g x } x∈z , even though the right-hand side clearly also depends on L. This is because, as we shall see in a case-by-case analysis of all the examples discussed in Sect. 5, the 1-form L can always be expressed in terms of the set of fields {g x } x∈z by solving the boundary condition imposed on A.
It follows from the equivariance properties (2.16) that the set z of poles of ω is invariant under complex conjugation, so that x ∈ z impliesx ∈ z. And using also (2.18), we find that Moreover, from the equivariance property (2.18), it follows that for any x ∈ z we have τ (g x ) = gx and τ ( g x ) = gx . This, together with (3.8), implies that the action (3.7) is real, as expected since it was obtained as a reduction of (1.2), which was real by virtue of the equivariance properties (2.16) imposed on ω and A.

Two-dimensional gauge invariance
Recall from the discussion in Sect. 3.1 that there is a redundancy in definition (2.9) of both the function g and the 1-form L in terms of A, namely for an arbitrary smooth function h : Σ → G. We note that the above transformation on g will spoil the fact that g is of archipelago type. However, by combining it with the gauge transformation by u defined in the proof of Lemma 3.1, we are able to bring gh back to being of archipelago type. Note that the gauge transformation by u leaves invariant the 1-form L so that we obtain the combined transformation As u gh is of archipelago type, action (3.7) therefore holds after performing transformation (3.9) and in particular it makes sense to ask whether it is invariant under such a transformation. More precisely, in terms of the fields {g x } x∈z appearing in action (3.7), transformation (3.9) acts as for all x ∈ z. Here, we used the property that u| x = 1 from the proof of Lemma 3.1. And as noted in Remark 3.1, in all the cases to be considered in Sect. 5 the 1-form L will be completely fixed in terms of {g x } x∈z by solving the boundary condition imposed on A. In this sense, transformation (3.3) on the 1-form L, i.e. the second relation in (3.9), can be seen as a consequence of (3.10). We can fix this gauge invariance by imposing that g x = 1 for some x ∈ z.
Proof We compute S[{g x h} x∈z ] by substituting transformations (3.10) and (3.3) into (3.7). The first term in the action reads The second term on the right-hand side vanishes because ω ∧ (h −1 dh + h −1 Lh) is meromorphic on CP 1 with poles in z, so that the sum of its residues vanishes. On the other hand, by using the Polyakov-Wiegmann formula [33], we find The second term on the right-hand side vanishes using the fact that x∈z res x ω = 0. It now follows from combining the above that

Remark 3.2
In the approach to integrable σ -models based on affine Gaudin models, the gauge transformation (3.10) and its interplay with the integrable structure were studied in detail in [31], expanding on the description of gauge symmetries in affine Gaudin models given in [40]. In particular, it was shown in [31, Proposition 2.2] (see also [40, (4.61)]) that the gauge transformation of the fundamental fields of the σ -model, represented here by {g x } x∈z , acts as d + L → h −1 (d + L)h on its Lax connection, in agreement with the situation considered in the present paper.

Boundary conditions
As already mentioned in Sect. 2.1, we shall restrict attention in this paper to the case when ω has at most double poles, in which case the boundary conditions imposed on A should ensure that (2.6) holds. In the list of examples discussed in Sect. 5, we shall consider two types of boundary conditions. The first is imposed at a double pole x ∈ z of ω and ensures that the corresponding term in the sum of (2.6) vanishes by itself, i.e.
For the discussion of reality conditions, we will assume for simplicity that x lies on the real axis. We discuss the simplest possible boundary condition in Sect. 4.1 and then come back to more general boundary conditions that can be imposed in Sect. 4.5. The second is imposed at a pair of simple poles x + , x − ∈ z of ω and ensures that the corresponding terms in the sum of (2.6) cancel each other out, i.e.
There are two possibilities allowed by the reality conditions, corresponding to the case when x + and x − are both real and when they form a complex conjugate pair. These separate cases are discussed in Sects. 4.2 and 4.3, respectively. In Sect. 4.4, we describe Poisson-Lie T -duality in the present context, as relating different choices of boundary conditions that can be imposed at a pair of simple poles.

Boundary conditions at a real double pole
Let x ∈ z be a real double pole of ω. One way the boundary equation of motion (4.1a) can be satisfied is by demanding that [5,7] for i = τ, σ , noting that we then also have δ A i | x = 0.

Proposition 4.1
Suppose that A satisfies the boundary condition (4.2), and we are given a field g satisfying (3.1) for which the archipelago condition (i) holds. Then, the value of g on the island U x can be modified, without changing its value at x and its value outside U x , so as to also satisfy both of the remaining two archipelago conditions (ii) and (iii).
Proof This will be achieved by applying a suitable gauge transformation (3.4) for some smooth function u : Σ × CP 1 → G C , equal to 1 on the complement of Σ × U x so as not to modify the value of g there. Note, however, that in order for A u to still satisfy the boundary condition (4.2), it is necessary to require that (−∂ i uu −1 )| x = 0 for i = τ, σ . That is, u is an allowed gauge transformation parameter provided for i = τ, σ . Also, for A u to still satisfy the reality condition (2.16), we should require that u be equivariant in the sense that τ u = μ * t u. We are thus seeking a smooth Z 2equivariant G C -valued function u equal to 1 outside Σ × U x and satisfying (4.3), such that u g satisfies the archipelago conditions (ii) and (iii) on the island U x .
Consider the smooth equivariant function g : Σ × CP 1 → G C defined as follows.
x be constant equal to g| x , and extend it to a smooth function on U x such that g := 1 on the complement U x \D s x and g depends only on the radial coordinate |ξ x | around x. More precisely, writing g| x = exp y for some y : Σ → g, we let g := exp( f (|ξ x |)y) where f : [0, R x ] → R is a smooth function equal to 1 on [0, r ] and equal to 0 on [s, R x ].
By construction, g satisfies both of the archipelago conditions (ii) and (iii) on the island U x . It therefore remains to show that u = g g −1 : Σ × CP 1 → G C satisfies (4.3) and is also Z 2 -equivariant. The latter condition is evident from the equivariance of g and g. On the other hand, ∂ i (u| x ) = ∂ i g| x g| −1 x = 0 where in the second equality we used the fact that g = g| x in D r x and hence g| x = g| x .

Boundary conditions at pairs of real simple poles
Let x ± ∈ z be simple poles of ω with x ± ∈ R, so that in particular res x ± ω ∈ R. Also, by the equivariance property (2.16) of A it follows that the components A i | x ± , for i = τ, σ , are valued in the real Lie subalgebra g.
The boundary equation of motion (4.1b) can then be rewritten as where ·, · d;x ± : d × d → R denotes the nondegenerate symmetric invariant bilinear form on the Lie algebra direct sum d := g ⊕ g, defined by for any x, y, x , y ∈ g. In the special case when res x + ω = − res x − ω, this reduces to the usual bilinear form x, x − y, y on d up to an overall factor of res x + ω.
One way of ensuring that (4.4) holds is as follows. Let (d, k) be a Manin pair, i.e. fix a Lagrangian subalgebra k of d. We recall that Lagrangian here means 'maximal isotropic'. We can demand that, for i = τ, σ , noting that we will then also have δ( This then ensures (4.4) holds by virtue of the isotropy of k. The reason for using a Manin pair (d, k) rather than just an isotropic subspace k of d will be explained shortly. Let K denote the subgroup of D = G × G with Lie algebra k ⊂ d.

Proposition 4.2
Suppose that A satisfies the boundary condition (4.5), and we are given a field g satisfying (3.1) for which the archipelago condition (i) holds. Then, the value of g on the islands U x ± can be modified, without changing its value outside, so as to also satisfy the remaining archipelago conditions (ii) and (iii). Furthermore, the value (g x + , g x − ) : Σ → D of the archipelago-type function g at the pair of points x ± can be adjusted using (g x + , g x − ) → a(g x + , g x − ) for any smooth function a : Σ → K .
Proof We will find a gauge transformation (3.4) for some suitable equivariant u : Σ × CP 1 → G C equal to 1 outside Σ × (U x + U x − ) such that u g also satisfies the archipelago conditions (ii) and (iii) on U x ± .
Evaluating (3.4) at the pair of points x ± , we see that, for i = τ, σ , The gauge transformation is allowed provided that this still takes values in k, so that A u still satisfies the boundary condition (4.5). For this, it is sufficient to ensure that both terms on the right-hand side above take values in k. Therefore, we will demand that our gauge transformation parameter u should be such that Note that this then also implies ( . This is where we had to use the fact that k is a subalgebra, and not just a subspace, of d in order to define the corresponding Lie group K . Proceeding as in the proof of Proposition 4.1, we consider the smooth equivariant function g : Σ × CP 1 → G C defined as follows. Let g := g on the complement of for any smooth a : Σ → K of our choice. Note here that g| x ± ∈ G by the equivariance of g since x ± ∈ R. We can then extend the definition of g to Σ × (U x + U x − ) as we did in Sect. 4.1 so that g x ± = g| Σ×U x ± depends only on σ , τ and the radial coordinate |ξ x ± | around x ± . In other words, g satisfies the archipelago conditions (ii) and (iii) on U x ± .
It remains to show that u = g g −1 , i.e. the gauge transformation parameter from g to g, is equivariant and satisfies (4.6). The equivariance is clear from that of g and g. Now note that from the relation g = u g, it follows that (4.7) But since ( g| x + , g| x − ) = a( g| x + , g| x − ), we deduce that (u| x + , u| x − ) = a ∈ K , which is the required condition (4.6).

Boundary conditions at complex conjugate simple poles
Let x ± ∈ z be simple poles of ω with x − = x + , so that res x − ω = res x + ω. By the equivariance property (2.16) of A, it also follows that τ ( The boundary equation of motion (4.1b) can then be rewritten as Here, ·, · g C ;x ± : g C × g C → R is the nondegenerate symmetric invariant bilinear form on the complexification g C , regarded as a real Lie algebra, defined by x, x g C ;x ± := 2 (res x + ω) x, x for any x, x ∈ g C , where we denote by z and z the real and imaginary parts of a complex number z, respectively. When res x + ω = − res x − ω so that res x + ω ∈ iR this reduces, up to an overall factor, to the standard bilinear form x, x on g C . The discussion below is completely analogous to that of Sect. 4.2, just working with the complexification g C rather than the real double d. We will thus be much briefer in the arguments presented and only highlight the differences with Sect. 4.2.
In particular, we can satisfy (4.8) by choosing a Manin pair (g C , k), this time for the complexification rather than the real double, and demanding that for i = τ, σ , noting that this implies δ A i | x + ∈ k.
Let K denote the Lie subgroup of G C with Lie algebra k ⊂ g C .

Proposition 4.3
Suppose that A satisfies the boundary condition (4.9), and we are given a field g satisfying (3.1) for which the archipelago condition (i) holds. Then, the value of g on the islands U x ± can be modified, without changing its value outside, so as to also satisfy the remaining archipelago conditions (ii) and (iii).
Furthermore, the value g x + : Σ → G C of the archipelago-type function g at the point x + can be adjusted using g x + → ag x + for any smooth function a : Σ → K .
defines an allowed gauge transformation. We proceed as in the proof of Proposition 4.2 to construct a smooth equivariant g : Σ × CP 1 → G C , which is equal to g on the complement of Σ × (U x + U x − ) and which satisfies both of the archipelago conditions (ii) and (iii) on the islands U x ± . Referring to the notation introduced in Sect. 4.2, in the present case we let g| D r x + := a g| x + for some smooth a : Σ → K of our choice. The rest of the definition of g over U x + is as in Sect. 4.2, and then we also let g| U x − := τ ( g| U x + ).
The fact that u = g g −1 is equivariant and satisfies (4.10) is established as in Sect. 4.2 with minor changes. Specifically, we have (4.11) But since g| x + = a g| x + , we deduce that u| x + = a ∈ K , which is condition (4.10), as required.

Manin triples and Poisson-Lie T-duality
In all examples where ω has simple poles, we shall be interested in the special case where the Manin pair (d, k) (resp. (g C , k)) can be extended to a Manin triple (d, k, p) (resp. (g C , k, p)). That is, p is another Lagrangian subalgebra of d (resp. g C ) which is complementary to k, i.e. we have a direct sum d = k p (resp. g C = k p). We denote by the direct sum as vector spaces. for every x, y ∈ g, where either c = 1 or c = i. We shall be particularly interested in solutions which are skew-symmetric with respect to the bilinear form ·, · on g, namely such that Rx, y = − x, Ry for any x, y ∈ g. Specifically, in the real case where c = 1, we define It is clear that g δ is a Lie subalgebra of d, and it follows from (4.12) that g R also is. Suppose that d is equipped with its standard bilinear form, namely for any x, y, x , y ∈ g. This corresponds, up to an overall factor, to the bilinear form considered in Sect. 4.2 when res x − ω = − res x + ω. In this case, g δ is clearly isotropic and so is g R by the skew-symmetry of R. It follows that (d, g R , g δ ) is a Manin triple.
In the complex case, we take c = i and define with g ⊂ g C denoting the real subalgebra of g C regarded itself as a real Lie algebra. It follows again from (4.12) that g R is a Lie subalgebra of g C . Suppose, moreover, that g C is equipped with its standard bilinear form, namely x, x g C = x, x for any x, x ∈ g C , which corresponds to the bilinear form considered in Sect. 4.3 with res x − ω = − res x + ω. In this case, we have that g is certainly isotropic and g R also is by the skew-symmetry of R. Therefore, (g C , g R , g) is a Manin triple. Consider the Lie subgroup G δ := {(x, x) | x ∈ G} ⊂ D with the Lie algebra g δ . Also let G R denote the Lie subgroup of D with Lie algebra g R . We will assume that the decomposition d = g R g δ lifts to the Lie group level, i.e. that D = G R G δ , or at least that G R G δ forms a dense subset of D. It then follows that a natural parametrisation of the quotient G R \D in the case c = 1 is given by elements of G δ .
Likewise, in the case c = i, we let G R ⊂ G C denote the Lie subgroup with Lie algebra g R ⊂ g C . Again, we will assume that the decomposition g C = g R g similarly lifts to the Lie group level, i.e. that G C = G R G, or at least that G R G forms a dense subset of G C . A natural parametrisation of the quotient G R \G C is then given by elements of G. An example is provided by the Iwasawa decomposition G C = AN G, where G is the compact real form of G C and G R = AN .
Since a Manin triple (d, k, p) (resp. (g C , k, p)) gives rise to two Manin pairs, namely (d, k) or (d, p) (resp. (g C , k) or (g C , p)), we can apply the construction of Sect. 4.2 (resp., Sect. 4.3) at a pair of simple poles x ± of ω using either of these Manin pairs. We expect the corresponding models obtained as in Sect. 3.3 to be Poisson-Lie T -dual [21,22].
The main example of Poisson-Lie T -duality is provided by Manin triples of the form d = g R g δ or g C = g R g. This includes the Poisson-Lie T -duality between the Yang-Baxter σ -model, discussed in Sect. 5.3, and the λ-deformation of the principal chiral model, discussed in Sect. 5.4. See, for instance, [15,27,38,39].
The Yang-Baxter σ -model with WZ-term, discussed in Sect. 5.6, was also shown in [14] to be Poisson-Lie T -dual to itself for a different choice of parameters. In this case as well, the duality is underpinned by certain choice of Manin triple so that it can also be described in the present formalism.
Let us finally note that another way of ensuring the vanishing of the terms in the boundary equation of motion (2.6) corresponding to a pair of simple poles x ± of ω, is to ask that the terms associated with x + and with x − separately vanish. In other words, instead of (4.1b) one could impose the weaker condition This situation was discussed in detail in [5, §9.1]. In particular, it was argued that (4.13) can be satisfied by fixing a Manin triple (g, l + , l − ), i.e. making a choice of Lagrangian subalgebras l ± ⊂ g with g = l + l − , and requiring that A i | x ± be l ± -valued. In the present language, working with such Manin triples on g, as opposed to ones on g C or d, corresponds to considering skew-symmetric solutions R ∈ End g of the modified classical Yang-Baxter equation (4.12) for which R 2 = 1. The two subalgebras l ± then correspond to the two eigenspaces ker(R ∓ 1) of R.

Generalised boundary conditions at a real double pole
In light of the discussion of boundary conditions at pairs of simple poles in Sects. 4.2 and 4.3, we will now consider more general boundary conditions that can be imposed at double poles. The algebraic setting of this section is similar to the one used in [29] in the context of E-models. Let x ∈ z be a double pole of ω along the real axis, as in Sect. 4.1. One can rewrite the boundary equation of motion (4.1a) in the following way. We consider the semidirect product t := g g ab where g ab is an abelian copy of g on which g acts by the adjoint action. That is, t is isomorphic to the direct sum g⊕g as a vector space with Lie bracket given by [(x, y), for any x, y, x , y ∈ g. By the equivariance property of A in (2.16), since x ∈ R we have A i | x ∈ g. Also where the second step is by the anti-linearity of τ , the third by the equivariance of A and the last step follows because μ t x = x. Hence, (∂ ξ x A i )| x ∈ g. We can therefore regard (A i | x , (∂ ξ x A i )| x ) as valued in t, which allows us to rewrite (4.1a) as where ·, · t;x : t × t → R is the bilinear form on t defined by for every x, y, x , y ∈ g. One checks that this bilinear form is nondegenerate (using the fact that res x ξ x ω = 0 since x is a double pole of ω), symmetric and invariant. Reformulation (4.14) of the general condition (4.1a) leads to a natural way of imposing boundary conditions at the real double pole x, mimicking the discussion of Sects. 4.2 and 4.3 for pairs of simple poles. Specifically, if we have a Manin pair (t, k), i.e. a Lagrangian subalgebra k of t, then we can satisfy (4.14) by requiring that for i = τ, σ , noting that this then also implies δ( For technical reasons to be discussed below, to do with making g of archipelago type, we need to assume that the subalgebra g {0} ⊂ t is complementary to our choice of Lagrangian subalgebra k ⊂ t. That is, we assume that we have a direct sum decomposition Before proceeding, we note that the simple boundary condition (4.2) considered in Sect. 4.1 is a special case of (4.15). Indeed, an obvious choice of Lagrangian subalgebra of t satisfying condition (4.16) is the abelian subalgebra {0} g ab . Imposing condition (4.15) in the case k = {0} g ab is equivalent to requiring (4.2). (4.15), and we are given a field g satisfying (3.1) for which the archipelago condition (i) holds.

Proposition 4.4 Suppose that A satisfies the boundary condition
Then, the value of g on the island U x can be modified, without changing its value outside, so as to also satisfy the remaining archipelago conditions (ii) and (iii).

Proof
In order for A u to satisfy the second condition in (2.16), we should require that the function u : Σ × CP 1 → G C be equivariant, i.e. τ u = μ * t u. Evaluating the latter condition at the real pole x implies that u| x ∈ G since μ t x = x. Also, we have where in the second equality we use the anti-linearity of τ and in the third equality the equivariance of u. Therefore, (∂ ξ x u)| x u| −1 x ∈ g. We thus obtain a function valued in the Lie group T := G g ab with Lie algebra t = g g ab .
Next, we determine conditions on u for A u to still satisfy the boundary condition (4.15). Evaluating (3.4) at x, we obtain On the other hand, differentiating (3.4) first with respect to the local holomorphic coordinate ξ x before evaluating at x, we find Combining (4.17a) and (4.17b), we thus find where the first term on the right-hand side denotes the components of the Darboux derivative of U : Σ → T , while the second term denotes the adjoint action of These are given explicitly by (see, for instance, [29]) for any smooth functions h : Σ → G, v : Σ → g and any elements k ∈ G, w, x, y ∈ g. It now follows from (4.18) that an allowed gauge transformation, in the present case, should have parameter u such that (4.19) where K is the Lie subgroup of T with Lie algebra k ⊂ t. We will assume that decomposition (4.16) lifts to a factorisation at the group level, namely that Having determined the set of allowed gauge transformations, we should find the one which brings the smooth function g to the desired archipelago form in U x .
We proceed exactly as in the proofs of Propositions 4.2 and 4.3, by considering a smooth equivariant g : Σ × CP 1 → G C defined as follows. Let g := g on the complement of Σ × U x . We then define g as being constant in a small open disc D r x ⊂ U x around x by letting ( g| D r x , 0) ∈ G {0} be the representative of the class in K \T of ( g| x , (∂ ξ x g)| x g| −1 x ) ∈ T . Note that here we have made use of property (4.20). The reason we had to choose a representative in G {0} is that we want g to be of archipelago type on the island U x , which by definition means g| D r x is constant along CP 1 so that necessarily (∂ ξ x g g −1 )| D r x = 0. Finally, we can also extend the definition of g to Σ × U x as we did in Sect. 4.1 so that g x = g| Σ×U x depends only on σ , τ and the radial coordinate |ξ x | around x. Therefore, by construction g satisfies both of the archipelago conditions (ii) and (iii) on U x . Now consider the gauge transformation parameter u = g g −1 . Its equivariance is clear from that of g and g. And from the relation g = u g, we obtain The second equality is obtained by computing ∂ ξ x g g −1 in terms of u and g and then evaluating at x, noting that since g is constant along CP 1 in a neighbourhood of x, we have (∂ ξ x g g −1 )| x = 0. By definition of the product in T = G g ab , the above two equations are equivalent to Yet since ( g| x , 0) was defined as the representative in G {0} of the class in K \T of ( g| x , (∂ ξ x g)| x g| −1 x ) ∈ T , condition (4.19) follows.
An important class of Lie subalgebras k ⊂ t with property (4. for every x, y ∈ g. Specifically, given such a solution, we define the Lie subalgebra of t. The fact that it is a subalgebra is a direct consequence of (4.21). Indeed, for any x, y ∈ g, we have In the case when res x ω = 0, which we shall focus on in Sect. 5.2, it is clear that the Lie subalgebra g {0} ⊂ t is isotropic with respect to ·, · t;x . If, moreover, the solution R ∈ End g of (4.21) is skew-symmetric in the sense that Rx, y = − x, Ry for any x, y ∈ g, then the subalgebra g R ⊂ t is also isotropic. In this case, we therefore have a Manin triple (t, g R , g {0}).
Let G R denote the Lie subgroup of T with Lie algebra g R . We will assume, as in (4.20), that the vector space direct sum decomposition t = (g {0}) g R lifts to the Lie group level, namely that T = G R (G {0}), or at least that G R (G {0}) forms a dense subset of T , cf. Sect. 4.4.

Examples
In this section, we rederive the actions of many known integrable σ -models from the four-dimensional Chern-Simons action (1.2). Specifically, our starting point in each case is the 1-form ω given by where ϕ(z) is the twist function of the integrable σ -model that we want to consider, which has at most double poles. We then impose natural boundary conditions on the 1-form A at the poles of ω, of the various types discussed in Sect. 4. In each case, we then compute the corresponding action (3.7) and show that it coincides with the known action of the given integrable σ -model. In all cases, we also find that the meromorphic 1-form L coincides with the Lax connection of the integrable σ -model. In every example, ω will have a pair of simple zeroes, say at y ± ∈ ζ . Since all the σ -models that we want to reconstruct are relativistic, by Remark 2.1 we will thus take σ y ± = σ ± in the notation of (2.11). The reason for not taking σ y ± both equal to σ + or both equal to σ − is that the resulting 1-form L would be quite degenerate, with one of its light-cone components being independent of the spectral parameter. In the absence of a Lax connection, there is no guarantee that the resulting σ -model would be integrable. We will come back in Sect. 6 to considering such a case.

Principal chiral model with WZ-term
Although the action for this model was already derived from (1.2) in [7], we give the derivation of this case in detail as it illustrates the general procedure for constructing the action of an integrable σ -model from the two-dimensional action (3.7) in the simplest possible setting.
Consider the 1-form (see, for instance, [40, §5.1. 3)] and [32] in the case k = 0) where K and k are real parameters. It has a pair of double poles at k ∈ R and ∞. Note that, under the change of variable z → z + k, this can also be brought to the equivalent form with z ± := − k ± 1. This is the 1-form used in [7] to describe the principal chiral model with WZ-term. As discussed in Sect. 4.1, we can satisfy the boundary equations of motion (2.6) by requiring that for i = τ, σ . It follows from Lemma 3.1 and Proposition 4.1 that g can be chosen of archipelago type and, moreover, such that g k = g, g ∞ = 1 for some g : Σ → G. The latter condition is used to fixed the gauge invariance of Proposition 3.3. Evaluating (2.9) at k and ∞, we then find Now the 1-form ω has simple zeroes at ±1, i.e. ζ = {1, −1}. On the other hand, we also know from combining the second equations in (5.1) and (5.2) that L vanishes at infinity. Thus, U σ = U τ = 0 in the general expression (2.11) for the meromorphic dependence of L on CP 1 . As discussed at the start of this section, in the general notation of (2.11) we choose σ ±1 = σ ± , so that the Lax connection in the present case takes the form for some V ±1 : Σ → g. Their expressions in terms of the G-valued field g can now be determined uniquely by solving −∂ i gg −1 + Ad g L i | k = 0 for i = τ, σ , which follows from combining the first two equations in (5.1) and (5.2). We find We now have all the ingredients to compute action (3.7) in the case at hand. Note that the terms in this action corresponding to the pole ∞ ∈ z do not contribute since we chose to set g ∞ = 1. To compute the first term, we thus only need the residue while for the WZ-term we note that res k ω = −2K k. From these expressions and the fact that dσ + ∧ dσ − = 1 2 dσ ∧ dτ , we finally obtain which we recognise as the action of the principal chiral model in the presence of a WZ-term.
The procedure for constructing a homogeneous Yang-Baxter deformation [18] of a given integrable σ -model does not modify the underlying twist function [39]. For this reason, we start from the same 1-form as in Sect. 5.1. However, to simplify the discussion, we set k = 0 and take where K is a real parameter. The discussion of the more general case with k = 0 could be done by proceeding along the same lines as in Sect. 5.6. Now although the 1-form ω is the same as in Sect. 5.1, here we will impose a different boundary condition at its double pole 0 compared to that in (5.1). More precisely, we will replace it with a boundary condition that is associated with a choice of Lagrangian subalgebra of t = g g ab , as discussed in Sect. 4.5.
The bilinear form on t in the present case reads Let us fix any skew-symmetric solution of the classical Yang-Baxter equation (4.21). As recalled at the end of Sect. 4.5, it follows that g R = {(−Rx, x) | x ∈ g} is a Lagrangian Lie subalgebra of t.
We may use this Lagrangian subalgebra g R ⊂ t to satisfy the boundary equations of motion (2.6) by requiring that (see Sect. 4.5) for i = τ, σ . Recall here that ξ 0 = z is the local coordinate at 0. By virtue of Lemma 3.1 and Proposition 4.4, we can choose g to be of archipelago type and, moreover, such that g 0 = g, g ∞ = 1 for some g : Σ → G. The latter condition fixes the gauge invariance of Proposition 3.3. Evaluating (2.9) at 0 and ∞, we then find but also, taking the derivative with respect to z before evaluating at 0 and using the fact that (∂ z g)| 0 = 0 by virtue of the archipelago condition (iii), we obtain Since L is meromorphic with poles in the set ζ = {1, −1} of zeroes of ω and since it vanishes at infinity by the last two equations in (5.3) and (5.4a), it follows from the general expression (2.11) that we can write

Now the first condition in (5.3) implies that
By combining this with (5.4) and the above explicit form of L, we obtain where R g := Ad g −1 •R • Ad g .
Finally, noting that res 0 ω ∧ L = −K (V 1 dσ + + V −1 dσ − ) and res 0 ω = 0, we find that action (3.7) reduces to This is the action of the homogeneous Yang-Baxter deformation of the principal chiral model, as first constructed in [18] in the case of the semi-symmetric space σ -model.

Yang-Baxter -model
The twist function in this case was first computed in [12]. We will follow the conventions of [11, § 4.2.2]. In particular, we take with K , η real parameters and c = 1 or c = i.
We fix a skew-symmetric solution R ∈ End g of the modified classical Yang-Baxter equation (4.12). As res cη ω = − res −cη ω, it follows from Sect. 4.4 that g R is a Lagrangian subalgebra of d when c = 1 (resp. g C when c = i). The boundary equations of motion (2.6) can then be satisfied by requiring that for i = τ, σ , in the case c = 1, or for i = τ, σ , in the case c = i. It follows from Lemma 3.1 and Propositions 4.1, 4.2 and 4.3 that we can choose g to be of archipelago type. Moreover, by the discussion in Sect. 4.4 and Proposition 3.3, we are able to choose our archipelago-type field g such that g ±cη = g, g ∞ = 1 for some g : Σ → G. More precisely, by the last part of Proposition 4.2 (resp. Proposition 4.3), the value of g at the pair of points ±η when c = 1 (resp. at the point iη when c = i) defines a field on Σ valued in G R \D (resp. in G R \G C ). We can parametrise this quotient by the diagonal subgroup G δ (resp. the real subgroup G), which allows us to choose g such that ( g| η , g| −η ) = (g, g) (resp. g| iη = g). In the case c = i, we then use the fact that g is equivariant to obtain also g −iη = τ (g iη ) = g. With this choice, evaluating (2.9) at the poles of ω, we then obtain Now ω has simple zeroes at ±1 so ζ = {1, −1}. Moreover, combining the last two equations in (5.5) and (5.6), we find that L should vanish at infinity. By the same reasoning as in Sect. 5.1, this allows us to write the Lax matrix in the form for some g-valued fields V ±1 to be determined. It follows from the first condition in (5.5) that (R + c)A i | cη = (R − c)A i | −cη . By combining this with the first equation in (5.6) and the above explicit rational form of L, we therefore deduce that By equating the dσ ± -components on both sides, we obtain two equations for the two unknowns V ±1 which can be solved to give where R g = Ad g −1 •R • Ad g as before and j ± = g −1 ∂ ± g.
Since g ∞ = 1, there is no WZ-term in action (3.7) corresponding to the double pole at ∞. On the other hand, as res ±cη ω = ±K /2cη and g cη = g −cη , it follows that the WZ-terms associated with the simple poles ±cη cancel out.

-Deformation of the principal chiral model
The twist function in this case was first computed in [16]. We shall follow here the conventions of [11, §4.4]. In particular, we take with K , α real parameters. Since res α ω = − res −α ω, it follows from Sect. 4.4 that g δ is a Lagrangian subalgebra of d. We can therefore satisfy the boundary condition (2.6) by requiring that In other words, we have A i | α = A i | −α and A i | ∞ = 0. It follows from Lemma 3.1 and Propositions 4.1 and 4.2 that we can choose g to be of archipelago type. Now as in the corresponding discussion of Sect. 5.3, it follows from the last part of Proposition 4.2 that ( g| α , g| −α ) defines a field on Σ valued in G δ \D. A natural parametrisation of this quotient consists of elements of the form (h, 1) for h ∈ G. We can thus choose our archipelago-type field g such that for some g : Σ → G. The condition on g ∞ is imposed by virtue of Proposition 3.3. Evaluating (2.9) at the poles of ω, we thus obtain Using the last equation and the boundary condition at infinity, we get L| ∞ = 0. Since L is meromorphic with simple poles in the set ζ = {1, −1} of zeroes of ω, we deduce its dependence on z to be of the form, cf. Sects. 5.1, 5.2 and 5.3, for some g-valued pair of fields U ± = (α + 1) −1 V ±1 on Σ. The normalising factor of α + 1 is introduced for convenience. In particular, evaluating L at ±α, we find It then follows from the boundary conditions at ±α and the first two equations in (5.7) Equating the coefficients of dσ ± on both sides, solving for U ± and substituting back into (5.8), we find We did not specify L| −α since it will not be needed as g −α = 1. It now follows that using the fact that res α ω = −2k where k = −K /4α. Inserting all of the above into action (3.7), we find it simplifies to It coincides with the action of the λ-deformation of the principal chiral model [37], written using the conventions of [11, §4.4].

Bi-Yang-Baxter -model
We follow the conventions used in [9]. In particular, we take where K ∈ R. The four poles z ± andz ± as well as ζ ∈ R are related to the two real deformation parameters η andη of the model by Choose two skew-symmetric solutions R,R ∈ End g of the modified Yang-Baxter equation (4.12) with c = i. Because res z − ω = − res z + ω and resz − ω = − resz + ω, it follows from Sect. 4.4 that g R and gR are both Lagrangian subalgebras of g C . To satisfy the boundary equations of motion (2.6), we impose that for i = τ, σ . By Lemma 3.1 and Proposition 4.3, we can choose g to be of archipelago type. And by the discussion in Sect. 4.4, see also the corresponding discussion in Sect. 5.3, we can take g such that g z ± = g, gz ± =g (5.11) for some g,g : Σ → G. Evaluating (2.9) at the poles of ω, we obtain The 1-form ω has a simple zero at the origin and at infinity, that is ζ = {0, ∞}. In the present case, the general form (2.11) of the Lax connection therefore reads for some g-valued fields B ± := U τ ± U σ , J + := 2ζ −1 V ∞ and J − := 2ζ −1 V 0 to be determined.
The dσ ± -components of the two equations which follow from (5.10), give us four equations on the four unknowns B ± and J ± . Explicitly, we have where we have introduced j ± := g −1 ∂ ± g andj ± :=g −1 ∂ ±g . Taking the difference of these two equations yields The first equation in (5.14) then also yields B ± = j ± ∓ η 2 R g J ± + ρ J ± . In particular, the Lax connection (5.13) thus coincides with [30, (3.4.9)] or, up to a conventional sign, with [9, (2.18)].
We have res z ± ω = ∓ 2iK η and resz ± ω = ∓ 2iK η . It then follows from (5.11) that the four WZ-terms in action (3.7) cancel in pairs. We also have so that action (3.7) takes the final form This is the action of the bi-Yang-Baxter σ -model as written in [9, (2.2)].
Note that, contrary to the examples discussed in all the previous sections, as well as in Sect. 5.6, we have not fixed the gauge invariance of Proposition 3.3 by fixing the value of g at any of the poles of ω. It follows that the above action still has the gauge invariance of Proposition 3.3 which here takes the form (g,g) −→ (gh,gh) for any smooth h : Σ → G. Fixing this gauge invariance by settingg = 1, we obtain the original action of the bi-Yang-Baxter σ -model [25,26].

Yang-Baxter -model with WZ-term
Consider the 1-form [13] with free parameters K , k, A ∈ R. We shall consider in parallel the cases when c = 1 and c = i. Note that in the limit k → 0 we recover the 1-form of the Yang-Baxter σ -model with A = η, discussed in Sect. 5.3, up to an overall factor.
Besides the double pole at ∞, the 1-form ω has two simple poles at z ± = k ± cA which are both real for c = 1 and complex conjugate for c = i. However, in order to apply the construction of Sect. 4.2 (resp. Sect. 4.3) to the pair of simple poles z ± , we require a Lagrangian subalgebra of d (resp. g C ). But since the residues are such that res z − ω = − res z + ω, the bilinear form ·, · d;z ± on d (resp. ·, · g C ;z ± on g C ) is not the standard one, by contrast with the situations of Sects. 5.3, 5.4 and 5.5. Our analysis, at least in the case c = i, is closely related to that of [28] where the double g C is also equipped with the more general bilinear form ·, · g C ;z ± . A consequence of the bilinear form on d (resp. g C ) not being the standard one is that the diagonal subalgebra g δ ⊂ d (resp. the real subalgebra g ⊂ g C ) is no longer isotropic. Moreover, given any skew-symmetric solution R ∈ End g of the modified classical Yang-Baxter equation (4.12), the corresponding subalgebra g R of d (resp. of g C ) will in general not be isotropic either.
To construct a Lagrangian subalgebra of d (resp. of g C ), we proceed as follows. Let R ∈ End g be a skew-symmetric solution of (4.12) such that R 3 = c 2 R. (5.15) This implies that R is diagonalisable with g = g + g 0 g − its eigenspace decomposition where g ± := ker(R ∓ c) and g 0 := ker R are subalgebras of g, and moreover that [g 0 , g ± ] ⊂ g ± and g 0 is abelian (see, for instance, [30, Proposition C.2.2]). In particular, we can thus write R = c(π + − π − ) where π ± and π 0 are the projections onto the subalgebras g ± and g 0 relative to the eigenspace decomposition of R.
Since π 0 ∈ End g is symmetric, it follows thatR is not skew-symmetric. However, one checks that it still satisfies the modified classical Yang-Baxter equation (4.12), for the same value of c (see, for instance, [30, Theorem C.2.1]). So gR defined as in Sect. 4.4 is a subalgebra of d complementary to the diagonal subalgebra g δ if c = 1 or a subalgebra of g C complementary to the real subalgebra g if c = i.
Moreover, we find that gR is isotropic, and so in fact Lagrangian, with respect to the bilinear form ·, · d;z ± on d (resp. ·, · g C ;z ± on g C ) provided that Of the two solutions for θ ∈ R, the one which is regular in the limit k → 0 reads where the real parameter η is related to the parameters A and k as (see [13,19,20] in the case c = i) It therefore follows that gR, withR ∈ End g defined in (5.16) and for θ ∈ R as above, is a Lagrangian subalgebra of d (resp. of g C ). In other words, we have a Manin pair (d, gR) (resp. (g C , gR)), which we can use in the construction of Sect. 4.2 (resp. Sect. 4.3).
Concretely, we will realise the boundary equations of motion (2.6) by demanding that for i = τ, σ , in the case c = 1, or for some g : Σ → G. We refer to the corresponding discussion in Sect. 5.3 for details. In the case c = i, we used here the equivariance of g to show that g z − = τ (g z + ) = g.
where, for simplicity, we restrict attention to the case z ± ∈ R. The reasoning below can be easily adapted to the case of complex conjugate simple poles. Even though the starting point ω is of the same form as in Sects. 5.3, 5.4 and 5.6, and each of the integrable σ -models considered in those sections is known to be examples of E-models, see [27,28], respectively, we will proceed very differently to construct the underlying E-models themselves.
To begin with, we will impose a very different boundary condition on the 1-form A, at the poles z ± of ω, to those considered in Sects. 5.3, 5.4 and 5.6. In fact, our choice of boundary condition is very closely related to that considered in [34] for deriving the E-model from three-dimensional Chern-Simons theory.
Moreover, the choice of coordinates σ ±1 that we will make for the pair of zeroes ±1 of ω in the general expression (2.11) for L will be different from that used throughout Sect. 5. Indeed, the choice will result in the dσ -component of the 1-form L being trivial.

Boundary condition
Evaluating A at the pair of points z ± yields a d-valued 1-form A := (A| z + , A| z − ) on Σ, whose components we denote In terms of these, we can express the boundary equations of motion (2.6) as A σ , δA τ d;z ± − A τ , δA σ d;z ± = 0, (6.1) where ·, · d;z ± : d × d → R is defined in Sect. 4.2.
Let E : d → d be a linear map such that E 2 = id which is symmetric with respect to the bilinear form ·, · d;z ± on d. We shall impose the boundary conditions at the poles z ± and ∞ of ω to be for i = τ, σ . The first boundary condition provides a simple way of satisfying the boundary equation of motion (6.1), merely as a consequence of the symmetry of the linear map E. Under a gauge transformation with parameter u : Σ ×CP 1 → G C , the components where u := (u| z + , u| z − ) : Σ → D. If we require that u = 1 ∈ D, then the components A u i for i = τ, σ of the gauge-transformed connection A u are trivially seen to satisfy the boundary condition (6.2). Therefore, any gauge transformation with parameter u : Σ ×CP 1 → G C such that u| z ± = 1 is allowed. Using such a gauge transformation, one can then ensure that g : Σ × CP 1 → G C satisfying (3.1) is of archipelago type, by the same arguments as in Sects. 3.2 and 4.1. Without loss of generality, we can also choose the radii of the discs U z ± around the points z ± to be equal, namely R z + = R z − . We shall denote this common radius by R.
As usual, we use Proposition 3.3 to set g ∞ = 1. Then, L i | ∞ = A i | ∞ = 0, where the last step uses the second boundary condition in (6.2). We take L of the form where we have chosen σ 1 = σ −1 = τ in the notation of the general form (2.11).

Action
Since L is regular at the simple poles z ± ∈ z of ω, we have We also let : can be rewritten in the present case as Evaluating (2.9) at the pair of points z ± yields By combining this with the first boundary condition in (6.2), it follows that Finally, substituting this into the above action yields This is the action of the E-model [22,23] in the case of the real double d = g ⊕ g.
Note that since we have set L σ = 0, it follows from the equations of motion (2.3a) expressed in terms of L that we have ∂ σ J τ = 0. If Σ = R 2 and we assume that J τ vanishes at spatial infinity, then it follows that J τ = 0. By virtue of (6.4), this implies the on-shell relation ∂ τ −1 = E(∂ σ −1 ), which we also recognise as the equation of motion of the E-model.

Integrable coupled -models
A general procedure for coupling together an arbitrary number of integrable σ -models in a way that preserves integrability was proposed in [11]. In particular, the action for an integrable σ -model coupling together N copies of the principal chiral model with WZ-term, as given in [10], was constructed by first devising its Hamiltonian as that of an affine Gaudin model and then performing its inverse Legendre transform.
This same action was recently rederived in [7] starting from the four-dimensional action (1.2). In fact, it follows from the results of the present paper that the action for this integrable σ -model can also be obtained directly from the two-dimensional action (1.3) by substituting for ϕ and L the twist function and the Lax connection, respectively, of the affine Gaudin model constructed in [11] or in [31] for the version with gauge invariance.

-Deformations and 'doubled' Chern-Simons
An appealing feature of the two-dimensional action (1.3) is its 'universality'.
The λ-deformation, considered in Sect. 5.4, is a particular example of an integrable σ -model that describes a certain integrable deformation. This was constructed for the principal chiral model in [37], for the symmetric and semi-symmetric space σmodels in [16,17] and more recently for the pure-spinor superstring on the Ad S 5 × S 5 background in [1].
It was, in fact, already known that the actions of λ-deformations can be written in the 'universal' form (1.3), see [36, (3.98)]. Explicitly, in the case of the λ-deformation of the principal chiral model, it follows from Sect. 5.4 that the action reads Interestingly, this action was obtained in [35,36] by starting from that of a 'double' Chern-Simons theory, whose Lagrangian is given by a difference C S(A + ) − C S(A − ) of two Chern-Simons 3-forms for g-valued 1-forms A ± on D × R where D is a disc.
It would be interesting to derive this 'double' Chern-Simons theory starting from the four-dimensional theory of [7]. More generally, one may wonder whether such an intermediate three-dimensional Chern-Simons theory also exists more generally for other integrable σ -models whose action takes the universal form (1.3).
Finally, in connection with the derivation of E-models presented in Sect. 6, it would also be interesting to understand the relationship between the approach of [7], which we have been using, and the formalism of [34] in which E-models can equally be obtained but by starting instead from three-dimensional Chern-Simons theory.

Yang-Baxter-type deformations
In Sects. 5.3, 5.5 and 5.6, we imposed boundary conditions at each pair of simple poles x ± of ω by applying the general procedure outlined in Sect. 4.2 or 4.3 with a choice of Lagrangian subalgebra k of the form g R for some solution R ∈ End g of the modified classical Yang-Baxter equation. This characterises the class of Yang-Baxter-type deformations of integrable σ -models, obtained by splitting a double pole x in ω into two simple poles x ± as in [11,12,39]. Within this class, there is a WZ-term associated with the pair of poles x ± if and only if res x + ω + res x − ω = 0.
Just as Sect. 5.6 generalises Sect. 5.3 by introducing a WZ-term, one could also consider a similar generalisation of the construction of Sect. 5.5 by starting from a more general 1-form ω with two arbitrary pairs of simple poles z ± andz ± (respecting the reality conditions) but with res z + ω + res z − ω = 0 and resz + ω + resz − ω = 0. It is natural to conjecture that this would result in the bi-Yang-Baxter σ -model with WZ-term introduced in [8]. We leave the verification of this conjecture for future work.
In fact, the 1-form ω considered in [7, (14.2)] is precisely of the general type described above (up to a Möbius transformation). The boundary conditions imposed on A at each pair of simple poles z ± andz ± of ω in [7, §14] are associated with a choice of Manin triple (g, l + , l − ) for the Lie algebrag = g ⊕h, whereh denotes an auxiliary copy of the Cartan subalgebra of g (consideringg instead of g allows for a more direct construction of a Manin triple).
As recalled at the end of Sect. 4.4, such boundary conditions correspond in the present language to choosing an R-matrix satisfying R 2 = 1. In light of the above discussion, this suggests that the trigonometric deformation of the principal chiral model constructed in [7, §14] coincides with a certain bi-Yang-Baxter σ -model with WZ-term on the Lie groupG corresponding tog. We note, however, that its description in [7] uses a different parametrisation of the degrees of freedom than the one that we used in Sect. 5.5 to describe the bi-Yang-Baxter σ -model. It would be interesting to make this relation more explicit.

Boundary conditions versus representations
The nonabelian T -dual of the principal chiral model was described in [11] as an affine Gaudin model. Indeed, a particular realisation of the relevant affine Gaudin model, with ω as in Sect. 5.2, was shown to reproduce the Hamiltonian, phase space and action of this σ -model.
We have not considered this particular model here, part of the reason being that we do not expect the two-dimensional action (1.3) to hold in this case. Indeed, since res 0 ω = 0, a natural choice of Lagrangian subalgebra k ⊂ t is given by k = g {0}. The quotient K \T in this case is naturally parameterised by elements of the abelian subgroup {0} g ab ⊂ T . In other words, the field of the resulting integrable σ -model would be g-valued, so it is natural to conjecture that this corresponds to the nonabelian T -dual of the principal chiral model. However, the Lagrangian subalgebra k does not satisfy condition (4.16) which was necessary to bring g to the archipelago form in the proof of Proposition 4.4. More precisely, the choice of representative in {0} g ab for the quotient (G {0})\T is not compatible with the archipelago condition (iii). This is why action (1.3) does not hold. It would be interesting to see how the present construction can be generalised to this case.
More generally, it would be very interesting to understand the precise connection between the choice of boundary condition on A in the setting of [7] and the choice of realisation of a suitable infinite-dimensional Lie algebra in the setting of [40]. Recall, for instance, that affine Toda field theories were shown to admit an affine Gaudin model realisation in [40]. It would be important to clarify what boundary conditions, if any, can be imposed on A in order to derive the action of affine Toda field theories from the four-dimensional action (1.2).
With this in mind, it would also be very interesting to see whether the approach of [7] can be used to furnish new classes of models, for instance by identifying new types of suitable boundary conditions to be imposed on A. It would then also be interesting to understand what the corresponding infinite-dimensional Lie algebra representation is in the affine Gaudin model language.

Quantising integrable -models
Perhaps most importantly, the results of the present paper bring further evidence in support of the connection established in [41] between the two formalisms of [7,40].
And while at present they have mainly been used to describe classical integrable σmodels, one important interest in these new general frameworks lies in their potential in addressing the long-standing open problem of quantising integrable σ -models from first principles. We expect that exploiting the close connection between these two formalisms will be vital in making progress on this important question.