We study the mixed topological / holomorphic Chern-Simons theory of Costello, Witten and Yamazaki on an orbifold (Σ × C)/Z 2 , obtaining a description of lattice integrable systems in the presence of a boundary. By performing an order calculation we derive a formula for the the asymptotic behaviour of K-matrices associated to rational, quasi-classical R-matrices. The Z 2 -action on Σ × C fixes a line L, and line operators on L are shown to be labelled by representations of the twisted Yangian. The OPE of such a line operator with a Wilson line in the bulk is shown to give the coproduct of the twisted Yangian. We give the gauge theory realisation of the Sklyanin determinant and related conditions in the RT T presentation of the boundary Yang-Baxter equation.
Introduction
The Yang-Baxter EquationInteractions of an integrable spin chain are determined by an object known as an R-matrix. This is a linear mappair of complex vector spaces and z, z ′ complex spectral parameters on which the R-matrix depends meromorphically. The spin chain is integrable if the R-matrix obeys the Yang-Baxter equation (YBE)(1.1) around the identity 1 V ⊗V ′ . R-matrices admitting such an expansion are called quasiclassical, and r(z, z ′ ) is known as the classical r-matrix. This classical r-matrix takes values in g ⊗ g for g a finite dimensional, complex, simple Lie algebra, acting in representations associated to V ⊗ V ′ . Expanding the YBE to second order in shows that the classical r-matrix obeys the classical Yang-Baxter equation,Solutions of the classical Yang-Baxter equations were classified by Belavin & Drinfeld [4], under the (mild) assumption that the r-matrix is non-degenerate. The solutions can be separated into three families, distinguished by whether the classical r-matrix can be written in terms of rational, trigonometric, or elliptic functions. In this work we will concentrate on the rational case. Each family of solutions to is associated with an algebra, which in the rational case is the Yangian Y(g). Indeed, in [5] it was demonstrated that all rational solutions of the YBE of the form (1.1) determine a representation of the Yangian on V , and are themselves determined by such a representation. Accordingly, the line operators in Costello's theory are actually associated with representations of Y(g). These include ordinary Wilson lines in certain representations of g itself, but also more general line operators. As shown in [1-3], the more general line operators arise even in the OPE of two ordinary Wilson lines.Since the YBE is homogeneous, its solutions are defined only up to multiplication by a function f (z 1 , z 2 ) of the spectral parameters. This degeneracy can be removed by required that the R-matrix obeys a constraint known as the quantum determinant condition. In the rational case, for V the defining vector representation of g = sl n (C), the quantum determinant [6] condition is enough to guarantee existence of a unique quasi-classical Rmatrix in this representation for a given classical r-matrix. Similar results e...