Abstract
In the TQFT formalism of Moore–Tachikawa for describing Higgs branches of theories of class \({\mathcal {S}}\), the space associated to the unpunctured sphere in type \({{\mathfrak {g}}}\) is the universal centraliser \({\mathfrak {Z}}_G\), where \({{\mathfrak {g}}}=Lie(G)\). In more physical terms, this space arises as the Coulomb branch of pure \({\mathcal {N}}=4\) gauge theory in three dimensions with gauge group \({{\check{G}}}\), the Langlands dual. In the analogous formalism for describing chiral algebras of class \({\mathcal {S}}\), the vertex algebra associated to the sphere has been dubbed the chiral universal centraliser. In this paper, we construct an open, symplectic embedding from a cover of the Kostant–Toda lattice of type \({{\mathfrak {g}}}\) to the universal centraliser of G—extending a classic result of Kostant. Using this embedding and some observations on the Poisson algebraic structure of \({\mathfrak {Z}}_G\), we propose a free field realisation of the chiral universal centraliser for any simple group G. We exploit this realisation to develop free field realisations of chiral algebras of class \({\mathcal {S}}\) of type \({{\mathfrak {a}}}_1\) for theories of genus zero with \(n=1,\ldots ,6\) punctures. These realisations make generalised S-duality completely manifest, and the generalisation to \(n\geqslant 7\) punctures is conceptually clear, though technically burdensome.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The occurrence of vertex operator algebra (VOA) structures within the operator algebras of supersymmetric quantum field theories in various dimensions (see, e.g., [1,2,3,4,5,6]) has been a major theme in the study of such systems in recent years, and has led to powerful new approaches to the analysis of these (usually strongly coupled) theories. Furthermore, physical intuition can potentially provide new insights into the study of VOAs arising through these correspondences at a purely formal level, and indeed developments in this area have led to a rich dialogue between physics and pure mathematics (see, e.g., [4, 7,8,9,10,11,12,13] for an extremeley incomplete selection).
A surprising property of many VOAs arising in a physical context is their geometric nature. This is perhaps most clearly exemplified through the Higgs Branch Conjecture of [14], which implies that the VOAs arising in connection with four-dimensional \({\mathcal {N}}=2\) SCFTs are chiral quantisations of their Higgs branches (cf. [15]). A related, but less well formalised, idea is that the VOAs arising in this setting admit certain (generalised) free field realisations (FFRs) the structure of which is closely connected with the Poisson geometry of the Higgs branch [16,17,18]. Physically, these free field realisations should be thought of as encoding the operator algebra of an SCFT in terms of degrees of freedom that survive in the effective field theory on the moduli space after (partial) Higgsing. This intuition (and the examples that bear it out) has thus far been primarily restricted to the setting of VOAs associated to four-dimensional \({\mathcal {N}}=2\) SCFTs, but it seems likely that the principle holds somewhat more generally.
In this paper, we will be investigating the application of this free field philosophy to a family of VOAs that are exotic from a four-dimensional perspective, but potentially more conventional in the three-dimensional setting. These are the chiral universal centralisers defined in [7], which were previously identified as the VOAs associated to the sphere in the setting of chiral algebras of class \({\mathcal {S}}\) [2]. The associated variety of this VOA is the universal centraliser \({\mathfrak {Z}}_G\), the definition of which we recall in Sect. 2—this is the holomorphic-symplectic variety associated to the sphere by the Moore–Tachikawa topological field theory for class \({\mathcal {S}}\) Higgs branches [19]. While in the context of class \({\mathcal {S}}\) the sphere is a somewhat pathological case, the universal centraliser appears in a more physically sensible way as the Coulomb branch of pure \({\mathcal {N}}=4\) gauge theory in three dimensions. Thus the chiral quantisation of this space might naturally be expected to appear as a boundary VOA in the sense of [5] for pure gauge theory.
Our approach to constructing a candidate free field realisation for the chiral universal centraliser will follow the general theme of [16]. We start with a detailed understanding of the Poisson geometry of the universal centraliser, an introduction to which we provice in Sect. 2. In Sect. 3, we give an explicit characterisation of a map, \(\varphi \), from the Kostant–Toda lattice to a Zariski-open subset of \({\mathfrak {Z}}_G\). Such a map was known to Kostant for the case when G is of adjoint type, and in Theorem 3.3 we construct a generalisation of [20, Theorem 2.6] for any semi-simple G. This gives rise to Propositions 3.6 and 3.7, in which we show that \(\varphi \) is an open immersion and symplectic.
Altogether, this gives a finite-dimensional analogue of a free field realisation for the Poisson algebra of functions \({{\mathbb {C}}}[{\mathfrak {Z}}_G]\). In Sect. 4 we propose a chiralisation of this construction in terms of a lattice vertex algebra that we call the chiral Kostant–Toda lattice. In particular, we define a sub-VOA of this lattice VOA (by specifying a weak generating set) that we conjecture to match the chiral universal centraliser as defined by Arakawa. In defining this sub-VOA, we encounter an (apparently novel) generalisation of the Miura transform, and in Remark 4.1 we explain how that the usual Miura transform—realising principal \({{\mathcal {W}}}\)-algebras in products of Heisenberg vertex algebras—can be generalised to a family of such embeddings based on the lower central series of the upper nilpotent subalgebra of \({\mathfrak {g}}\).
We verify that our construction reproduces the chiral universal centraliser (defined via Drinfel’d–Sokolov reduction) explicity for the case \(G=\textrm{SL}_2\), and we also study the \(G=\textrm{SL}_3\) case in detail and confirm that the VOA according to our prescription is indeed a chiral quantisation of universal centraliser. Here a direct comparison to the definition in terms of DS reduction would require a detailed analysis of said reduction, and this has not appeared in the literature to date so far as the authors are aware. Some interesting structure regarding gradings and simplicity of these VOAs become apparent in our examples, and we elaborate on this in Sect. 4.4, where we define a “more universal” centraliser that returns the universal centraliser by central quotient.
An additional benefit of our free field construction is that for chiral algebras of class \({\mathcal {S}}\) corresponding to physical theories (so with three or more punctures), the sphere free field realisation can act as the starting point for free field realisations that treat all punctures on equal footing (and so manifest generalised S-duality at the level of FFRs). In Sect. 5 we consider the case of \({{\mathfrak {a}}}_1\) theories with various numbers of punctures. We give free field realisations for these vertex algebras that incorporate the sphere FFR, which leads to a very uniform construction. Analogous realisations for other class \({\mathcal {S}}\) families should arise in much the same way. We conclude in Sect. 6 with several comments and open questions. The proof of Theorem 2.2, regarding Poisson generation in the \(\textrm{SL}_N\) case, is relegated to Appendix A.
The OPE computations in this paper were performed using the OPEdefs package, which was developed by Kris Thielemans [21], for Mathematica.
2 The Universal Centraliser
The universal centraliser admits several equivalent definitions, some of which arise naturally by way of three- and four-dimensional physics. In this section we will review these definitions and some important properties of the universal centraliser, and also establish notation for what follows.
2.1 Background and Definitions
Let G be a simple algebraic Lie group and \({\mathfrak {g}}=\textrm{Lie}(G)\). Let \({\mathfrak {g}}^*\) be the linear dual of \({\mathfrak {g}}\), and using the Killing form \((\cdot ,\cdot )\) one may identify \({\mathfrak {g}}\) with \({\mathfrak {g}}^*\) via the isomorphism \(x\mapsto (x,\cdot )\) for \(x\in {\mathfrak {g}}\).
Furthermore, let \(B\subset G\) be a Borel subgroup with splitting \(B=N\rtimes T\) for a maximal torus T and unipotent group N. The Lie algebra \({\mathfrak {g}}\) admits a Cartan decomposition \({\mathfrak {g}}= \mathfrak {n_+}\oplus {{\mathfrak {t}}}\oplus \mathfrak {n_-}\), where \({{\mathfrak {t}}}=\textrm{Lie}~T\) and \({{\mathfrak {n}}}_+ = \textrm{Lie}~N\). (For future reference, we also denote by \(N_-\) the lower unipotent group with \({{\mathfrak {n}}}_- = \textrm{Lie}~N_-\).)
We denote adjoint and coadjoint actions of G on \({\mathfrak {g}}\) by \(\textrm{Ad}\) and \(\textrm{Ad}^*\), respectively. Similarly, \(\textrm{ad}\) and \(\textrm{ad}^*\) denote the respective \({\mathfrak {g}}\)-actions. The stabiliser, \(G_x\), of an element \(x\in {\mathfrak {g}}^*\) is the subgroup of G that leaves x invariant under the coadjoint action,
The Zariski open subset \({\mathfrak {g}}^*_{\textrm{reg}}\subset {\mathfrak {g}}^*\) is defined to be the set of all elements whose centralisers have dimension equal to the rank of \({\mathfrak {g}}\). This is the complement of the union of non-principal nilpotent orbits in \({\mathfrak {g}}^*\), or alternatively, the union of all non-nilpotent orbits along with the principal nilpotent orbit in \({\mathfrak {g}}^*\).
Let \(T^*G\) be the total space of the cotangent bundle of G; one has the trivialisation \(T^*G\cong {\mathfrak {g}}^*\times G\) using the realisation of \({\mathfrak {g}}\) by left-invariant vector fields on G. On the cotangent bundle \(T^*G\) there are two commuting, Hamiltonian G actions, with moment maps \(\mu _L\) and \(\mu _R\) given by
for \((g,x)\in G\times {\mathfrak {g}}^*\cong T^*G\). Let \(\mu _{\textrm{diag}} = \mu _L - \mu _R\) be the moment map for the diagonal G action. The universal centraliser is then defined as the following diagonal Hamiltonian reduction [22],Footnote 1
This definition gives the universal centraliser the structure of a Poisson variety (and in fact a symplectic variety). Furthermore, \({\mathfrak {Z}}_G\) is naturally a scheme over the orbit space \({\mathfrak {g}}^*_\textrm{reg}/\!\!/G\cong {\mathfrak {g}}^*/\!\!/G\). We let \((P_i)_{i=1}^{\textrm{rk}~{\mathfrak {g}}}\) denote the generators of the \({\mathbb {C}}[{\mathfrak {g}}^*]^G\) (the Harish-Chandra centre) corresponding to the fundamental invariants of \({\mathfrak {g}}\).
In terms of class \({{\mathcal {S}}}\) physics, \({\mathfrak {Z}}_G\) can be formally identified as the Higgs branch associated to an unpunctured sphere. While there is no physical SCFT in four-dimensions for which this is the Higgs branch, one can still interpret such an object in terms of, e.g., the Moore–Tachikawa TQFT.Footnote 2 In that setting, the operation of closing full punctures on the UV curve is implemented by performing Kostant–Whittaker (KW) reduction on the associated symplectic variety with respect to the Hamiltonian G-actions associated to the closed punctures. The sphere can then be obtained, for instance, by closing two punctures on the cylinder, which itself is associated to \(T^*G\). This leads to another definition of \({\mathfrak {Z}}_G\) as the two-sided KW reduction of the cotangent bundle \(T^*G\), as seen in [24]. This perspective will also have the most natural link to the chiralisation of \({\mathfrak {Z}}_G\).
Let us make this characterisation more concrete. Let \(\Delta \) denote the set of (positive) simple roots of \({\mathfrak {g}}\), and let
be the sum of the negative simple roots. By the Jacobson–Morozov theorem, such an f can be completed to an \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\)-triple (e, h, f). Let \(\chi \in {\mathfrak {g}}^*\) be the (Killing) dual of f.
The moment maps on \(T^*G\) can be restricted to \({\mathfrak {n}}_-^*\)-valued moment maps by means of the composition \({{\bar{\mu }}}_{L,R}:T^*G \rightarrow {\mathfrak {g}}^* \twoheadrightarrow {\mathfrak {g}}^*/{{\mathfrak {b}}}_+^*\cong {\mathfrak {n}}^*_-\), where \({{\mathfrak {b}}}_+ = Lie(B)\) is our Borel subalgebra. The maximal (upper) unipotent subgroups of the left and right G-actions are denoted by \(N_L\) and \(N_R\), respectively. The KW realisation of the universal centraliser then takes the following form,
which again encodes \({\mathfrak {Z}}_G\) as a symplectic variety.
Now let \({\mathfrak {g}}^e\subset {\mathfrak {g}}\) be the \(\textrm{ad}_e\)-invariant subspace. The Slodowy slice \(S_f\subset {\mathfrak {g}}^*_\textrm{reg}\subset {\mathfrak {g}}^*\) is the image of \(f+{\mathfrak {g}}^e\) under the Killing isomorphism, or more concretely,
All G-orbits in \({\mathfrak {g}}^*_{\textrm{reg}}\) intersect \(S_f\) transversally [25], so in particular,
This structure leads to Kostant’s isomorphism \({\mathfrak {g}}^*\,/\!\!/\,G \cong S_f\). At the level of varieties (schemes), performing KW reduction on a Hamiltonian G-space X (with respect to the principal nilpotent conjugacy class) is equivalent to taking the fibre-product of X with \(S_f\) over \({\mathfrak {g}}^*\), see [26]. We can perform two-sided KW reduction in stages, and after taking just the reduction by the left action we have
The variety \(G\times S_f\) (with the symplectic structure induced by KW reduction) is also known as the equivariant Slodowy slice [27, 28]. This inherits the right-action moment map, and performing the second reduction then gives
This gives a definition of \({\mathfrak {Z}}_G\) as the group scheme centralising points in \(S_f\), so in particular as a group scheme over \(S_f\cong {\mathbb {C}}^{\textrm{rk}\,{\mathfrak {g}}}\). \(S_f\) can then be thought of as the base of an integrable system on \({\mathfrak {Z}}_G\) with action variables given by the (restriction to \(S_f\) of the) generators of the Harish-Chandra centre.
The universal centraliser of type G also arises in three-dimensional physics as the Coulomb branch of pure \({{\mathcal {N}}}=4\) gauge theory with gauge group \({{\check{G}}}\), the Langlands dual of G. (This is the three-dimensional mirror for the circle compactification of the class \({{\mathcal {S}}}\) theory associated to the two-sphere.) The Coulomb branch of pure \(\textrm{SU}(2)\) gauge theory was identified with the Atiyah–Hitchin manifold in [29], and based in part upon this and further evidence from [30, 31], Teleman predicted in [32] that the Coulomb branch of pure \({\mathcal {N}}=4\) gauge theory for any \({{\check{G}}}\) could be identified with the (spectrum of the) Borel–Moore equivariant homology ring of the affine Grassmannian \(Gr_{{{\check{G}}}}\), which had been computed earlier by Bezrukavnikov–Finkelberg–Mirković (BFM) [22]. This definition, in terms of the affine Grassmannian, is confirmed by the construction of three-dimensional Coulomb branches by Braverman–Finkelberg–Nakajima (BFN) [33,34,35,36].Footnote 3
For completeness, we recall this definition here. Let \({{\check{G}}}({{\mathcal {O}}})= \textrm{Hom}({\mathbb {D}},G)\) and \({{\check{G}}}({{\mathcal {K}}}) = \textrm{Hom}({\mathbb {D}}^\times , G)\) be the spaces of homorphisms from the formal disc, \({\mathbb {D}}= \textrm{Spec}~{\mathbb {C}}[\![t]\!]\) and the formal punctured disc, \({\mathbb {D}}^\times = \textrm{Spec}~{\mathbb {C}}(\!(t)\!)\), respectively, to \({{\check{G}}}\). The affine Grassmannian is the quotient,
The universal centraliser is then identified with (the spectrum of) the \({{\check{G}}}({{\mathcal {O}}})\)-equivariant Borel–Moore homology,
From this definition, realising the symplectic structure on \({\mathfrak {Z}}_G\) is a more elaborate procedure than in the previous classical definitions.
2.2 Examples in Rank One
To make these spaces a bit more tangible, we consider in detail the two rank-one examples: \(G=\textrm{SL}_2\) and \(G=\textrm{PGL}_2\).
By the Killing isomorphism, \(S_f\) is identified with the elements of \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) of the form
The most general element of \(\textrm{SL}_2\) that commutes with such a matrix is of the form
where the overall factor of \(\sqrt{-1}\) is purely conventional. Therefore, \({\mathfrak {Z}}_{\textrm{SL}_2}\subset {{\mathbb {A}}}^3\) can be realised as an affine variety with coordinate ring
which is the presentation appearing in [22].
The Poisson bracket can be computed by carrying out the two sided KW reduction of \(T^*{\textrm{SL}_2}\).Footnote 4
with all other Poisson brackets vanishing. We observe that as a Poisson algebra, \(I_{\textrm{SL}_2}\) is generated by just S and X. This point will arise again later when we discuss the general case for \(\textrm{SL}_N\).
Now for the adjoint case \({\mathfrak {Z}}_{\textrm{PGL}_2}\), we have
where the left action of \(Z({\textrm{SL}_2})= {\mathbb {Z}}/2{\mathbb {Z}}\) is given by left multiplication by \(-\mathbb {1}\) on the fibres. On functions this action is given by
Thus,
The Poisson structure can be obtained by pullback along the quotient map \({\mathfrak {Z}}_{\textrm{SL}_2} \rightarrow Z({\textrm{SL}_2})\backslash {\mathfrak {Z}}_{\textrm{SL}_2} \cong {\mathfrak {Z}}_{\textrm{PGL}_2}\).
2.3 Example in Rank Two
It will be useful in what follows to also have an example in rank two at our disposal. Here we choose the universal centraliser for \(G=\textrm{SL}_3\).
Once again by using the Killing isomorphism, the Slodowy slice \(S_f\) can be identified as an affine subspaces in \({\mathfrak {g}}={{\mathfrak {s}}}{{\mathfrak {l}}}_3\) of the form
Any element of \(\textrm{SL}_3\) that stabilises a point in the slice can be written as
with X, Y, and Z satisfying the following determinant relation,
Thus, we can identify \({\mathfrak {Z}}_{\textrm{SL}_3}\) as an affine variety in \({{\mathbb {A}}}^5\) with coordinate ring
The Poisson structure can again be computed from the two-sided KW reduction, giving
Observe again that \(I_{\textrm{SL}_3}\) is generated, as a Poisson algebra, by the generators S, W of the Harish-Chandra centre and the coordinate X that is conjugate to the bottom left corner of the \(\textrm{SL}_3\) matrix. The algebraic generator Z is a shift of the Poisson bracket \(\{S,Y\}\), but of course one is free to use the generating set \(\big (S,W,X,\{S,X\},\{S,\{S,Y\}\}\big )\) instead.
2.4 Poisson Algebraic Structure for \(\textrm{SL}_N\)
In this section, we will codify some patterns we have observed in the examples of \(\textrm{SL}_2\) and \(\textrm{SL}_3\). We generalise these to statements about \(\textrm{SL}_N\) and discuss their further generalisation to arbitrary simple algebraic Lie groups.
We realise \(\textrm{SL}_N\) as the closed subgroup of \(\textrm{GL}_N\) satisfying the unit determinant condition. Let \((g_{ij})_{i,j=1}^{N}\) be the linear coordinates on \(\textrm{GL}_N\) that are conjugate to the matrix entries. These restrict to linear coordinates functions on \(\textrm{SL}_N\).
In both of the examples \(\textrm{SL}_2\) and \(\textrm{SL}_3\), the ring \(I_G\) was generated by the Slodowy slice generators and the matrix entries in the bottom row of the group element. This observation generalises as follows.
Proposition 2.1
Let \(s\in S_f\). An element, g, of \(\,\textrm{SL}_N\) that stabilises s is completely fixed by specifying the matrix entries of the bottom row of g.
In other words, if \(g_{ij}\) are the coordinate functions conjugate to the matrix entries, then \(I_{\textrm{SL}_N}\) is generated, as a ring, by the restrictions of the fundamental invariants to \(S_f\), \((P_i)_{i=1}^{N}\), and by \((g_{Ni})_{i=1}^{N}\).
Proof
Let \(g\in \textrm{SL}_N\) and \(s\in S_f\), then the condition \(\textrm{Ad}^*_g s = s\) is equivalent to requiring \([g,s]=0\), where we think of g as a matrix of \({{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N\).
The kernel of \([-,s]\) in \({{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N\) is N-dimensional since \(S_f\subset {{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N\) is regular. The proposition will follow if we can show that there is a basis, \((v_i)_{i=1}^{N}\), of \(\textrm{ker}~[-,s]\) consisting of matrices \(v_i\) such that \((v_i)_{Nj}=\delta _{ij}\). In words, \(v_i\) is an element of \(\textrm{ker}~[-,s]\) where the ith entry along the bottom row is equal to one and the rest of the bottom row entries vanish.
We can explicitly construct such a basis. First, let \(v_N = \mathbb {1}\), i.e., the identity matrix. We also fix \(v_{N-1}= s\). It is clear that both \(v_{N-1}\) and \(v_{N}\) commute with s and satisfy the required conditions on the bottom row.
Now consider the matrix product, \(s^k\), the entries \((s^k)_{Ni}\) are zero for \(i<N-k\) and for \(i=N-K+1\). The entry \((s^k)_{N,N-k}=1\) and the entries \(s^k_{Ni}\) for \(k>N-k\) are generically nonzero. By induction, we can take linear combinations,
for \(c_j\in {\mathbb {C}}\) to set all the bottom entries to zero, except the \((N,N-k)\) entry. We set \(v_{N-k}\) equal to this linear combination.
This provides a linearly independent set \((v_i)_{i=1}^N\) which all lie in the kernel of \([-,s]\), since s commutes with all powers \(s^k\). Therefore the \(v_i\) form a basis of \(\textrm{ker}~[-,s]\) and we are done. \(\square \)
Later on this Proposition will yield a significant simplification in the procedure for computing the ring \(I_G\) in terms of Kostant–Toda lattice generators. There is also another simplification to be had.
Theorem 2.2
The Poisson algebra \(I_{\textrm{SL}_N}\) is Poisson generated by \((P_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) and the generator \(X =g_{N1}\).
Proof
The proof of this theorem relies upon machinery that will be introduced in later sections. As such we relegate it to Appendix A. \(\square \)
We expect a generalisation of these results to any simple algebraic Lie group G to hold as well. To justify this, let us characterise this preferred element X in more representation theoretic terms. By the Peter–Weyl decomposition, the coordinate ring of G decomposes into \(G-G\) bi-modules according to
where \(P^+\) is the set of integral dominant weights of \({\mathfrak {g}}\), \(V_{\lambda }\) is the finite-dimensional representation of \({\mathfrak {g}}\) with highest weight \(\lambda \) and \(V_{\lambda }^*\) is the contragredient dual representation. The vector space of functions on \(T^*G\cong {\mathfrak {g}}^*\times G\) therefore takes the form
Let \(V_{F}\) be the lowest dimensional faithful representation of G. If G is not of type \(D_{2n}\) then \(V_{F}\) is irreducible, so let us make this assumption for the moment. Since \(V_F\) is faithful, every irreducible representation \(V_\lambda \) will appear in the decomposition of the tensor powers of \(V_F\). In light of the Peter-Weyl decomposition, this means that one can choose as generators of \({\mathbb {C}}[G]\) the functions transforming in the representation \(V_F\otimes V_F^*\) in (2.27). For example, if \(G=\textrm{SL}_n\) then \(V_F\) is the defining representation. One usually picks the linear coordinates \(\{g_{ij}\}\)—conjugate to the matrix entries—to be generators of \({\mathbb {C}}[\textrm{SL}_n]\), and indeed these constitute precisely the term \(V_F\otimes V_F^*\) in (2.27).
Let \(v_F\in V_F\) be the highest-weight vector, then \(V_F\) is generated, as a \({\mathfrak {g}}\)-module by \(v_F\). Now, suppose \({{\widetilde{X}}}\) is the function in \({\mathbb {C}}[G]\subset {\mathbb {C}}[T^*G]\) transforming in the highest weight state \(v_F\otimes v_F^*\). Then \({{\widetilde{X}}}\) is not in the ideal generated by \({{\overline{\mu }}}_L\) and \({{\overline{\mu }}}_R\), and moreover it is \(N_L\times N_R\) invariant—since it is the highest-weight state. As a result, \({{\widetilde{X}}}\) will descend unmodified to the two-sided KW reduction of \(T^*G\). For \(\textrm{SL}_N\), \({{\widetilde{X}}}\) is the linear coordinate function conjugate to the matrix entry \(g_{N1}\), and after KW reduction it will become the function X introduced in Theorem 2.2.
The bottom row \((g_{Ni})_{i=1}^N\) that algebraically generate (along with the fundamental invariants) \(I_{\mathrm{SL_N}}\) are identified with the vector subspace \(v_F\otimes V_{F}^*\) of \(V_{F}\otimes V_{F}^*\). This provides a more abstract characterisation of the algebraic generators of \(I_{\mathrm{SL_N}}\). For general G these functions are \(N_L\) invariant and can be made \(N_R\) invariant by corrections that are linear in the generators of \(v_f\otimes V_F^*\). We should therefore expect a correspondence between (a subset) of the algebraic generators of \(I_G\) and the weight vectors of \(v_F\otimes V_F^*\).
The Poisson algebra \({\mathbb {C}}[T^*G]\) has two Poisson-commuting subalgebras, each isomorphic to \(\textrm{Sym}~{\mathfrak {g}}\), arising from the moment maps for the left and right G-actions. The subspace \(V_F\otimes V_F^*\subset {\mathbb {C}}[T^*G]\) is generated by the (Poisson) action of the left and right moment maps on \({{\widetilde{X}}}\), and since \(V_F\otimes V_F^*\) generates \({\mathbb {C}}[G]\), we can choose \({{\widetilde{X}}}\) and the generators of the left and right moment map as Poisson generators of \({\mathbb {C}}[T^*G]\). After two-sided KW reduction, what remains of the moment maps are the generators of \({\mathbb {C}}[{\mathfrak {g}}^*]^G\cong {\mathbb {C}}[S_f]\). It seems reasonable, then, to conjecture that X and \({\mathbb {C}}[S_f]\), which are in an appropriate sense the reductions of the Poisson generators of \({\mathbb {C}}[T^*G]\), will be Poisson generators of the reduced algebra.
Let us now return to the case where G is of type \(D_{2N}\). If G is not simply connected, then Z(G) is cyclic and our previous description still holds and \(V_F\) is irreducible. If G is of type \(D_{2N}\) and simply connected then \(V_F\) is not irreducible—it is the Dirac spinor, \(V_{\textrm{s}}\oplus V_{\textrm{c}}\), where \(V_{\textrm{s}}\) and \(V_{\textrm{c}}\) are the smallest spin representations of \(\mathrm Spin(N)\). In this case, we must pick two such highest-weight states, \(X_s\) and \(X_c\) in representations \(V_{\textrm{s}}\otimes V_{\textrm{s}}^*\) and \(V_{\textrm{c}}\otimes V_{\textrm{c}}^*\) respectively. Similarly, the \(N_L\) invariant subspace is now \((v_{\textrm{s}}\otimes V_{\textrm{s}}^*)\oplus (v_{\textrm{c}} \otimes V_{\textrm{c}}^*)\), where \(v_s\) and \(v_c\) are highest weight states of \(V_{\textrm{s}}\) and \(V_{\textrm{c}}\) respectively.
Putting this all together, we have the following conjectures on the algebraic and Poisson algebraic structures of \(I_G\).
Conjecture 2.3
If G is not simply connected, or if G is not of type \(D_{2N}\), then \(I_G\) is generated, as a ring, by the fundamental invariants \((P_{i})_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) and generators \((g_i)_{i=1}^{\textrm{dim}\,V_F}\) which are in one-to-one correspondence with the weight vectors of \( V_F^*\).
If G is simply connected and of type \(D_{2N}\), \(I_G\) is generated, as a ring, by the fundamental invariants \((P_{i})_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) and two sets of generators \((g_{\textrm{s}i})_{i=1}^{\textrm{dim}\,V_{\textrm{s}}}\), and \((g_{\textrm{c}i})_{i=1 }^{\textrm{dim}\, V_{\textrm{c}}}\). The generators \(g_{\textrm{s}i}\) (repectively \(g_{\textrm{c}i}\)) are in one-to-one correspondence with the weight vectors of \( V_{\textrm{s}}^*\) (repectively \( V_{\textrm{c}}^*\)).
Conjecture 2.4
If G is not simply connected, or if G is not of type \(D_{2N}\), then \(I_G\) is Poisson generated by the fundamental invariants \(\big (P_i\big )_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) and X.
If G is simply connected and of type \(D_{2N}\), i.e., if \(G= \textrm{Spin}(2N)\), then \(I_G\) is Poisson generated by the fundamental invariants \(\big (P_i\big )_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\), \(X_s\), and \(X_c\).
3 The Universal Centraliser and the Kostant–Toda Lattice
The geometric structure that apparently underlies the free field realisations in [16] is the existence of some particularly simple Zariski open subset(s) U of the Higgs branch X in terms of which the global functions on X can be realised via the inclusion \({\mathbb {C}}[X]\hookrightarrow {\mathbb {C}}[U]\). These subsets are generally identified (including holomorphic symplectic structure) with cotangent bundles of the form \((T^*{\mathbb {C}}^\times )^n\times (T^*{\mathbb {C}})^m\) with canonical Poisson structures,Footnote 5 so these can be thought of as Darboux (Zariski) neighbourhoods in X. In practice, the expressions for the images of generators of \({\mathbb {C}}[X]\) in terms of \({\mathbb {C}}[U]\) can often be inferred using symmetry data, such as weights under the contracting \({\mathbb {C}}^*\) action on X and the action of additional global symmetries. Such “finite-dimensional free field realisations” form the foundation for a chiral analogue, where the associated VOA is realised in terms of \(\beta \gamma \) systems and isotropic lattice bosons that naturally chiralise \({\mathbb {C}}[U]\). (We will say more about these isotropic lattice VOAs in Sect. 4.)
In previous examples in the literature, the open set U has been defined with reference to a (partial) Higgsing of some global symmetry acting on X. However, it is not at all clear that there is anything fundamental about this particular origin for such Darboux neighborhoods, and a more general story may certainly exist. Indeed, for the case of the universal centraliser, there are no global symmetries to speak of, so a new starting point is needed.
Fortunately, it has been known since work of Kostant (see [20]) that the integrable system of the Kostant–Toda lattice of type \({\mathfrak {g}}\) and the universal centraliser \({\mathfrak {Z}}_G\) (for G of adjoint type) are intimately connected, with the former having precisely the Darboux structure needed. In particular, the level sets of the Kostant–Toda lattice (as an integrable system) can be identified with (open) subsets of stabilisers of elements in \({\mathfrak {g}}^*_{\textrm{reg}}\). Recently, Crooks has provided a complex-analytic embedding of an open dense subset of the Kostant–Toda lattice inside the universal centraliser [38], still with the caveat that G be of adjoint type.
In this section, we will adapt this construction to the algebraic setting and extend the domain of the morphism to the full Kostant–Toda lattice. Generalising further to allow for any simple G (including, e.g., both adjoint and simply-connected forms of the group) will require us to replace the Kostant–Toda lattice with a certain covering space that we define. Our main result is the construction of an open immersion from the (cover of the) Kostant–Toda lattice to the universal centraliser of G, and thus a finite-dimensional free field realisation of the universal centraliser.
3.1 The Kostant–Toda Lattice
Consider a dynamical system of N particles on a line, with Hamiltonian
where \(\psi _i({{\textbf{q}}})\) are linear functions of the canonical position coordinates \({{\textbf{q}}}=(q_1,q_2,\dots ,q_N)\). There is a natural inner product on the vector space spanned by the \(\psi _i\) [25]. When this inner product space agrees with the root system of some real Lie algebra \({\mathfrak {g}}_{{\mathbb {R}}}\) endowed with the Killing form, the \(\psi _i\) define a set of roots for \({\mathfrak {g}}_{{\mathbb {R}}}\), and in this case the representation theory of \({\mathfrak {g}}_{{\mathbb {R}}}\) can be leveraged to integrate Hamilton’s equations. Indeed, the system is integrable in the classical sense.
The complexified phase space \(\textrm{KT}_{\mathfrak {g}}\) of the Kostant–Toda Lattice of type \({\mathfrak {g}}_{{\mathbb {R}}}\) can be identified (adopting the notation of the previous section) with an affine subspace of \({\mathfrak {g}}^*:={\mathfrak {g}}_{\mathbb {C}}^*\),
Let us denote by \((\alpha _i)_{i=1}^{\textrm{rk}~{\mathfrak {g}}}\) the simple roots of \({\mathfrak {g}}\), by \(e_{\alpha _i}\) the corresponding simple root elements of \({{\mathfrak {n}}}_+\), and by \(h_{i}\in {{\mathfrak {t}}}\) the corresponding Cartan elements. Let \(h_i^*\) and \(e_{\alpha _i}^*\) be the Killing duals to \(h_i\) and \(e_{\alpha _i}\), respectively. An element \(y\in \textrm{KT}_{{\mathfrak {g}}}\) is of the form
so \(b_i: \textrm{KT}_{{\mathfrak {g}}}\rightarrow {\mathbb {C}}\) and \(\gamma _i:\textrm{KT}_{{\mathfrak {g}}} \rightarrow {\mathbb {C}}^\times \) furnish a basis of linear coordinates. The coordinate ring is then simply
The Poisson structure descends from the Kirillov–Kostant–Souriau bracket on \({\mathbb {C}}[{\mathfrak {g}}^*]\cong \textrm{Sym}\,{\mathfrak {g}}\) (see, e.g., [20]), and we have
with all other brackets vanishing.Footnote 6 Thus we identify \(\textrm{KT}_{{\mathfrak {g}}}\cong T^*({\mathbb {C}}^\times )^{\textrm{rk}~{\mathfrak {g}}}\) as symplectic varieties. The structure of a complex integrable system on \(\textrm{KT}_{\mathfrak {g}}\) is then manifested through the action variables \(P_i|_{\textrm{KT}_{\mathfrak {g}}}\) for \(i=1,2,\dots ,\textrm{rk}~{\mathfrak {g}}\), which are the restrictions of the generators of the Harish-Chandra centre, \({\mathbb {C}}[{\mathfrak {g}}^*]^G\) to \(\textrm{KT}_{{\mathfrak {g}}}\).
In the construction of [39]—and its chiralisation in [7]—the structure of Higgs branches of class \({{\mathcal {S}}}\) as \(S_f\)-schemes plays an integral role. Here, the structure morphism of \(\textrm{KT}_{\mathfrak {g}}\) as an \(S_f\)-scheme is the composition
where the second morphism is Kostant’s isomorphism \({\mathfrak {g}}^*/\!\!/G\cong S_f\). This structure morphism is thus exactly the map to the base of the aforementioned complex integrable system, up to the identification of the base with \(S_f\).
We have deliberately labelled the Kostant–Toda lattice with the Lie algebra and not the group, whereas the universal centraliser depends on the choice of group G. In [20, 38], the embedding from this lattice targets the universal centraliser of the adjoint group. However, for the purposes of class \({{\mathcal {S}}}\) constructions we expect to be mainly interested in the simply connected group G with \(\textrm{Lie}~G = {\mathfrak {g}}\). To generalise the embedding appropriately, we then need to replace \(\textrm{KT}_{\mathfrak {g}}\) with a suitable cover.
The root lattice of the Lie group G always contains the root lattice of the Lie algebra \({\mathfrak {g}}\) as a sublattice. Let \(\Delta _G\) denote the simple roots of the Lie algebra \({\mathfrak {g}}\) embedded into the root lattice of the Lie group G. Such a simple root, \(\alpha \in \Delta _G\), is then a character \(\alpha :T\rightarrow {\mathbb {C}}^\times \), defined by its action on the simple root generator \(e_\alpha \in {\mathfrak {g}}\) as
Let \(Z_G: T\rightarrow \big ({\mathbb {C}}^\times \big )^{\textrm{rk}\,{\mathfrak {g}}}\) be defined by
This map is an isomorphism for adjoint G, but if G has a nontrivial centre, Z(G), then it is only surjective. For any G, \(Z_G\) is étale and the fibre above a point has cardinality |Z(G)|.
Now consider the map \(\textrm{KT}_{\mathfrak {g}}\twoheadrightarrow \big ({\mathbb {C}}^\times \big )^{\textrm{rk}\,{\mathfrak {g}}}\) that projects to the base of the cotangent bundle in \(\textrm{KT}_{\mathfrak {g}}\cong T^*({\mathbb {C}}^\times )^{\textrm{rk}~{\mathfrak {g}}}\). We define \(\textrm{KT}_G\) to be the pullback of this projection and the map T given above,
The structure sheaf of \(\textrm{KT}_G\) has the structure of an \({{\mathcal {O}}}_{({\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}}\)-module given by
with the \({{\mathcal {O}}}_{({\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}}\)-module structure on \({{\mathcal {O}}}_{T}\) coming from restriction of scalars along \(Z_G^\#:{{\mathcal {O}}}_{({\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}}\rightarrow {{\mathcal {O}}}_T\). Notice that we have the identification
and so \(\textrm{KT}_G\cong \textrm{KT}_{\mathfrak {g}}\) as varieties. (In fact, by a linear redefinition of the coordinate functions b, this isomorphism can be realised as one of symplectic varieties as well.)
However, the canonical projection \(\pi _G:\textrm{KT}_G\rightarrow \textrm{KT}_{\mathfrak {g}}\), coming from the pullback (3.9) is not an isomorphism. Indeed, by standard properties of the pullback \(\pi _G\) is étale, since \(Z_G\) is étale. We should therefore treat \(\textrm{KT}_G\) as a covering space of \(\textrm{KT}_{\mathfrak {g}}\) by way of \(\pi _G\).
From its definition (3.9), we also have a canonical projection
Since \(\pi _T\) is a base change of the surjective morphism \(\textrm{KT}_{\mathfrak {g}}\twoheadrightarrow ({\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}\) (and self-evidently from (3.11)), it too is surjective.
By construction, the fibre of \(\pi _G\) above a point in \(\textrm{KT}_{\mathfrak {g}}\) will contain |Z(G)| many points. These fibres admit a Z(G) action which makes \(\pi _G:\textrm{KT}_G\rightarrow \textrm{KT}_{\mathfrak {g}}\) into a Z(G)-torsor. In particular, let \(y\in \textrm{KT}_{\mathfrak {g}}\). The points in the fibre \(\pi _G^{-1}(y)\) are mapped bijectively by \(\pi _T\) to a Z(G) orbit in T. Let \({{\tilde{y}}}\in \pi _G^{-1}(y)\) and let \(z\in Z(G)\). The Z(G) action is defined uniquely by specifying
By construction, this gives the following:
Lemma 3.1
The map \(\pi _T:\textrm{KT}_G\rightarrow T\) is Z(G)-equivariant.
In light of this, the projection \(\pi _G:\textrm{KT}_G\rightarrow \textrm{KT}_{\mathfrak {g}}\) is just the natural projection to Z(G) orbits, \(\textrm{KT}_G\rightarrow \textrm{KT}_G/\!\!/Z(G)\), where \(\textrm{KT}_{\mathfrak {g}}\) is identified with the quotient space \(\textrm{KT}_G/\!\!/Z(G)\). Letting \((y,t)\in \textrm{KT}_G\), with \(y\in \textrm{KT}_{\mathfrak {g}}\) and \(t\in T\)
Since the map \(\pi _G\) is étale, we can pullback the symplectic form on \(\textrm{KT}_{\mathfrak {g}}\) to a symplectic form on \(\textrm{KT}_G\), endowing its coordinate ring in particular with a Poisson bracket. Furthermore, \(\textrm{KT}_G\) can be made into an \(S_f\)-scheme with structure morphism
We are primarily interested in the case when G is simply-connected; in this case the functions on \(\textrm{KT}_G\) have a more concrete presentation. Let \(\big (\alpha _i\big )_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) be the simple roots of G and \(a_{ij}\) be the matrix elements of the Cartan matrix of \({\mathfrak {g}}\). Let \({{\widetilde{a}}}_{ij}\) be the matrix elements of the inverse Cartan matrix. Then \({{\mathcal {O}}}_{\textrm{KT}_{\mathfrak {g}}}(\textrm{KT}_{\mathfrak {g}})\cong {\mathbb {C}}[b_{\alpha _i},\gamma _{\alpha _i}\,|\, i=1,\dots ,\textrm{rk}\,{\mathfrak {g}}]\) and
where
The map \(\pi _G\), at the level of rings is,
The Poisson structure inherited by \(\textrm{KT}_G\) is just the natural extension of the Poisson bracket on \(\textrm{KT}_{\mathfrak {g}}\) to the \({{\widetilde{\gamma }}}_{\alpha _i}\) by imposing the chain rule.
When G is simply connected, we can also give a more concrete presentation of \(\pi _T\). Let \((t_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) be the generators of the root lattice of G. Since the root lattice of G is isomorphic to the weight lattice of the Lie algebra, \({\mathfrak {g}}\), these generators can be identified with the fundamental weights, \((\omega _i)^{\textrm{rk}\,{\mathfrak {g}}}_{i=1}\), of \({\mathfrak {g}}\). Let \(V_{i}\) be the finite dimensional representation of \({\mathfrak {g}}\) with highest weight \(\omega _i\), and let \(v_i\) be the highest weight vector. Then, if \(h\in T\)
The \(t_i\) are good coordinates on the torus and the map \(\pi _T\) is induced by the ring homomorphism,
Suppose G is neither simply-connected nor of adjoint type. Then G is a quotient of the simply-connected group, \(G_\textrm{sc}\), by some central subgroup \(Z'\subset Z(G_\textrm{sc})\) with \(Z'\ne Z(G_\textrm{sc})\). Coordinates on G are then realised by passing to \(Z'\) invariants of the coordinate ring of the simply-connected group.
3.2 The Embedding in Rank One
To make this abstract construction a bit more concrete, we consider in detail the two rank-one examples: \(G=\textrm{SL}_2\) and \(G=\textrm{PGL}_2\). We will then see directly how these Kostant–Toda lattices embed into the corresponding universal centralisers.
The \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) Kostant–Toda lattice, thought of as a subset of \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) using the Killing form, consists of all elements of the form
with \(b(y) \in {\mathbb {C}}\) and \(\gamma (y)\in {\mathbb {C}}^\times \). The coordinate ring is \({\mathbb {C}}[b,\gamma ^{\pm }]\), with non-vanishing Poisson brackets
For \(G=\textrm{PGL}_2\) the maximal torus is isomorphic to \({\mathbb {C}}^\times \) and the simple root, \(\alpha :{\mathbb {C}}^\times \rightarrow {\mathbb {C}}^\times \), is just the identity morphism. Following the construction above, this means that the structure sheaf \({{\mathcal {O}}}_{\textrm{KT}_{\textrm{PGL}_2}}\) is isomorphic to \({{\mathcal {O}}}_{\textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2}}\) as \({{\mathcal {O}}}_{{\mathbb {C}}^\times }\)-modules. The global sections are just \({\mathbb {C}}[b,\gamma ^{\pm 1}]={{\mathcal {O}}}_{\textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2}}(\textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2})\) and the map \(\pi _{PGL_2}:\textrm{KT}_{\mathrm{PGL_2}}\rightarrow \textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2}\) is an isomorphism. Here we see directly that with \(\mathrm PGL_2\) being of adjoint type, the covering space \(\textrm{KT}_{\mathrm{PGL_2}}\) is exactly identified with \(\textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2}\). The structure morphism to \(S_f\) is given by \(b^2+\gamma \).
Alternatively, for \(G=\textrm{SL}_2\) the simple root \(\alpha \) is given by \(\alpha :{\mathbb {C}}^\times \xrightarrow {z^2} {\mathbb {C}}^\times \). The structure sheaf of \(\textrm{KT}_G\) is \({{\mathcal {O}}}_{\textrm{KT}_G} ={{\mathcal {O}}}_{T}\otimes _{{{\mathcal {O}}}_{{\mathbb {C}}^\times }} {{\mathcal {O}}}_{\textrm{KT}_{\mathfrak {g}}}\), with global sections
which has the obvious module structure over \({\mathbb {C}}[b,\gamma ^{\pm 1}]\). The map \(\pi _{\textrm{SL}_2}\) on rings is just the natural inclusion \(\pi _{\textrm{SL}_2}^\#: {\mathbb {C}}[b,\gamma ^{\pm 1}]\hookrightarrow {\mathbb {C}}[b,\gamma ^{\pm \frac{1}{2}}]\). The Poisson structure, inherited from \(\textrm{KT}_{\mathfrak {g}}\) is
Clearly, with a rescaling of b we have \(\textrm{KT}_{\textrm{SL}_2}\cong T^*{\mathbb {C}}^\times \cong \textrm{KT}_{\textrm{PGL}_2}\) including Poisson structures. However, unlike the adjoint case, here our construction gives \(\textrm{KT}_{\textrm{SL}_2}\) as a 2-cover of \(\textrm{KT}_{{{\mathfrak {s}}}{{\mathfrak {l}}}_2}\) along \(\pi _{\textrm{SL}_2}\). The structure morphism for \(\textrm{KT}_{\textrm{SL}_2}\) is \(b^2+ \gamma ^{\frac{1}{2}}\gamma ^{\frac{1}{2}}\).
Now we turn to the universal centralisers for these two groups. From Sect. 2.2 we know that \({\mathfrak {Z}}_{\textrm{SL}_2}\subset {{\mathbb {A}}}^3\) can be realised as an affine variety with coordinate ring
Similarly, the adjoint version, \({\mathfrak {Z}}_{\mathrm{PGL_2}}\), has coordinate ring
Let \(U_{X}\subset {\mathfrak {Z}}_{\textrm{SL}_2}\) be the elementary open set defined by localising on the ideal \(\langle X \rangle \). In this open subset, the relation \(SX^2-Y^2-1\) can be solved for S according to
So \({{\mathcal {O}}}_{{\mathfrak {Z}}_{\textrm{SL}_2}}(U_X)\cong {\mathbb {C}}[Y,X^{\pm 1}]\).
Constructing an open immersion \(\textrm{KT}_{\textrm{S}_2}\rightarrow {\mathfrak {Z}}_{\textrm{SL}_2}\) is straightforward in this case. The open subset \(U_X\) can be identified with \(\textrm{KT}_G\) as Poisson schemes over \(S_f\) via the map
The Slodowy slice coordinate function is then realised as follows,
This, of course, agrees with the structure morphism of \(\textrm{KT}_{\textrm{SL}_2}\), so this morphism is an open immersion of (Poisson) \(S_f\)-schemes.
Now let \(U_A\) be the elementary open set obtained by localising \(I_{\mathrm{PGL_2}}\) at the ideal \(\langle A\rangle \). In this open set, the relations (3.26) can be solved according to
Therefore, \(U_A \cong \textrm{Spec}~{\mathbb {C}}[B,A^{\pm 1}]\cong T^{*}{\mathbb {C}}^{\times }\) as schemes. We are free to pick generators \(\frac{B}{A}\) and \(A^{\pm 1}\) for the functions on \(U_A\). The Poisson bracket is then determined by
so we can identify \(U_A\) with \(T^*{\mathbb {C}}^\times \) as Poisson schemes. Now to embed \(\textrm{KT}_{\mathrm{PGL_2}}\), we make the following identifications
This extends to
These identifications induce an open immersion of \(S_f\) schemes \(\textrm{KT}_{\mathrm{PGL_2}}\rightarrow {\mathfrak {Z}}_{\mathrm{PGL_2}}\).
Since the open subsets \(U_X\) and \(U_A\) are both isomorphic to \(T^*{\mathbb {C}}^{\times }\) as Poisson varieties, one might at first inquire as to whether there is any reason to introduce a covering space after all. Indeed, one may construct the open immersion \(\textrm{KT}_\mathrm{PGL_2} \rightarrow {\mathfrak {Z}}_{\textrm{SL}_2}\), with image \(U_X\), by making the identificationes
This map is an open immersion of Poisson schemes, however it fails to be a morphism of \(S_f\)-schemes. Namely, the image of S is not \(b^2+\gamma \). Insisting that the open immersion must be a morphism of \(S_f\)-schemes is natural—it preserves some Lie theoretic data, namely the \(\gamma \) can be thought of as linear function on \({\mathfrak {g}}^*\). Furthermore, this ensures that the inclusion \(I_{\textrm{SL}_2}\hookrightarrow {\mathbb {C}}[\textrm{KT}_{\textrm{SL}_2}]\) is a map of \({\mathbb {C}}[{\mathfrak {g}}^*]^G\)-modules; this structure appears to be of general importance in the construction of Higgs branches for theories of class \({{\mathcal {S}}}\).
3.3 The Embedding in the General Case and Some Technicalities
For higher rank cases, the relationship between \(\textrm{KT}_G\) and \({\mathfrak {Z}}_G\) is more intricate. In this section we provide an abstract description of an open immersion \(\textrm{KT}_G\xrightarrow {\varphi }{\mathfrak {Z}}_G\). For G of adjoint type, this map was described in less concrete terms in [20], and our analysis follows and extends that of [38].
We decompose \(\varphi \) into morphisms \(\beta :\textrm{KT}_G\rightarrow S_f\) to the base and \(\lambda :\textrm{KT}_G\rightarrow G\) to the fibre, i.e., for \(y\in \textrm{KT}_G\), \(\lambda (y)\in G_{\beta (y)}\). Let \({{\mathfrak {b}}}^*\) be the image of the Borel subalgebra \({{\mathfrak {b}}}={{\mathfrak {t}}}+{{\mathfrak {n}}}_+\) under the Killing isomorphism. Kostant [25] tells us that there is an isomorphism of affine varieties \(\psi :N\times S_f\xrightarrow {\sim }\chi +{{\mathfrak {b}}}^*\) realised as
Additionally, we have canonical projections \(\pi _{S_f}: N\times S_f\rightarrow S_f\) and \(\pi _{N}: N\times S_f \rightarrow N\). The Kostant–Toda lattice is a subset of \(\chi +{{\mathfrak {b}}}^*\), so we can define a map
Recall the generators \(P_i\) of \({\mathbb {C}}[{\mathfrak {g}}^*]^G\) whose restriction to \(\textrm{KT}_{{\mathfrak {g}}}\) define the map \(P:\textrm{KT}_{\mathfrak {g}}\rightarrow {\mathfrak {g}}^*/\!\!/G\). By [20, Theorem 2.6] this is surjective. The following gives an important compatibility result between these various maps.
Proposition 3.2
([38, Proposition 23]). Consider the triangle
where the diagonal right arrow is the Kostant isomorphism. This diagram commutes, so in particular \(\beta \) is surjective.
The structure morphism for \(\textrm{KT}_{\mathfrak {g}}\) as an \(S_f\)-scheme as introduced previously is the composition of the lower route around this diagram, so can be identified with the map \(\beta \).
The morphism \(\beta :\textrm{KT}_{\mathfrak {g}}\rightarrow S_f\) can be lifted to a morphism \(\textrm{KT}_G\rightarrow S_f\) via the composition \(\textrm{KT}_G\xrightarrow {\pi _G}\textrm{KT}_{\mathfrak {g}}\xrightarrow {\beta }S_f\), which is also surjective. In an abuse of notation, we denote this composition as \(\beta :\textrm{KT}_G\rightarrow S_f\). This \(\beta \) again agrees with the structure morphism of \(\textrm{KT}_G\) as an \(S_f\)-scheme.
For the time being, let us assume G is of adjoint type (subsequently we will describe the generalisation of this story to non-adjoint G, and the more general \(\textrm{KT}_G\) will make an appearance). Then the map \(\beta \) gives us a foliation of \(\textrm{KT}_{\mathfrak {g}}\) over the Slodowy slice, and the fibre above a point \(s\in S_f\) can be shown to be isomorphic to a Zariski open subset of the G-stabiliser of s according to [20, Theorem 2.6]. These isomorphisms of fibres, taken collectively over \(S_f\), leads to an isomorphism of \(S_f\)-schemes between \(\textrm{KT}_{\mathfrak {g}}\) and a Zariski open subset of \({\mathfrak {Z}}_G\) that can be made completely explicit. We now review and elaborate upon this construction following [38] with an eye towards the generalisation to general G.
As we said before, the phase space \(\textrm{KT}_{\mathfrak {g}}\) has a foliation
Each leaf of this foliation can be related to the centraliser of a particular element in \(\chi +{{\mathfrak {t}}}^*\) as follows. Consider the diagram,
where \(\sigma _t\) is the composition \(\chi +{{\mathfrak {t}}}^* \twoheadrightarrow {{\mathfrak {t}}}^*/\!\!/W\xrightarrow {\sim } {\mathfrak {g}}^*/\!\!/G\). Let \(y\in \textrm{KT}_{{\mathfrak {g}}}\) and \(p=P(y)\), then the fibre \(\sigma _t^{-1}(p)\) is nonempty. Let \(\theta _p\) be the point in this fibre such that \(\theta _p-\chi \) lies in the fundamental Weyl chamber.Footnote 7 Then \(\theta _p\) and y are N-conjugate, since \(P(y)=P(\theta _p)\) and both elements are in \(\chi +{{\mathfrak {b}}}^*\). Furthermore, as \(\beta (y)\) and y are also N-conjugate, \(\theta _p\) must be N-conjugate to \(\beta (y)\). Let \(\delta _p\in N\) be the unique group element such that \(\textrm{Ad}_{\delta (p)}^* \theta _p = \beta (y)\). This element is unique since \(\theta _p\in \chi +{{\mathfrak {b}}}^*\cong N\times S_f\), and can be written as follows,
Now let \(w_0\) be the longest element of the Weyl group, i.e., the Cartan element of W(G). There is a unique uplift of \(w_0\) to a \({{\widetilde{w}}}_0\in N_G(T)\), the normaliser of T, such that \(Ad_{{{\widetilde{w}}}_0}e_{\alpha } = e_{w_0 \alpha }\) for any simple root \(\alpha \) and any associated generator \(e_\alpha \in {\mathfrak {n}}_+\). Consider the Zariski open subset \(G^*:= N {{\widetilde{w}}}_0 TN\), which is just the big Bruhat cell in G. For \(x\in {\mathfrak {g}}^*_{\textrm{reg}}\), let \(G^*_x\) be the Zariski open subset of \(G_x\) defined by the intersection \(G^*_x:= G^*\cap G_x\).
Theorem 3.3
[20, Theorem 2.6]. Let \(p\in {\mathfrak {g}}^*/\!\!/G\) and let \(\theta _p\) be as above. The morphism
where \(n^\prime ,n\in N\) and \(h\in T\), is an isomorphism of algebraic varieties.
This theorem relates the fibres of \(\textrm{KT}_{\mathfrak {g}}\) over \({\mathfrak {g}}^*/\!\!/G\) to a Zariski open subset of a stabiliser subgroup of G; we next want to relate this stabiliser subgroup to a stabiliser subgroup of the corresponding point \(\beta (y)\) in the Slodowy slice.
For a given \(p\in {\mathfrak {g}}^*/\!\!/G\), Kostant’s isomorphism gives a unique \(s_p\in S_f\), and once again the previously defined \(\delta _p\) is precisely such that \(\textrm{Ad}^*_{\delta _p} \theta _p = s_p\). Thus the stabilisers of \(s_p\) and p are related by
We can therefore define a Zariski open set, \({\mathfrak {Z}}_G^*:= (G^*\times S_f)\cap {\mathfrak {Z}}_G\), which has foliation
with each fibre isomorphic to \(G^*_{\theta _s}\) under conjugation by \(\delta _s\). By Theorem 3.3 we can therefore construct an open immersion
by sending each leaf of the foliation \(\textrm{KT}_{\mathfrak {g}}\cong \bigsqcup _{p\in {\mathfrak {g}}^*/\!\!/G}P^{-1}(p)\) to the stabiliser \(G^*_{\theta _p}\) and then conjugating by \(\delta _p\). Each step is an isomorphism, so \(\varphi \) is an open immersion with image \({\mathfrak {Z}}_G^*\).
Defining the morphism \(\varphi \) requires an explicit realisation of the inverse \(K_p^{-1}: P^{-1}(p) \rightarrow G_{\theta _p}^*\). To construct the inverse to \(K_p\), we define a few more morphisms. Via the Kostant isomorphism, we have a map \(\rho _N:\textrm{KT}_{\mathfrak {g}}\rightarrow N\) given by the composition
Let \({{\widetilde{\rho }}}_N\) be the further composition
In other words,
Here, \(\pi _T: \textrm{KT}_{\mathfrak {g}}\rightarrow T\) arises from the identification \(\pi _G: \textrm{KT}_{G}\xrightarrow {\sim }\textrm{KT}_{\mathfrak {g}}\), for adjoint G. The inverse \(K_p^{-1}:P^{-1}(p)\rightarrow G_{\theta _p}^*\) is given by
for any \(y\in P^{-1}(p)\). As this expression is a bit opaque, let us try and explain informally why it stabilises \(\theta _p\). A more detailed analysis of its origin can be found in the proof of [38, Lemma 19].
Given \(y\in P^{-1}(p)\) we want an element of \(G^*\) that stabilises \(\theta _p\). Every such element has the form \(n^\prime {{\widetilde{w}}}_0hn\) for some \(n,n^\prime \in N\) and \(h\in T\). In terms of the ingredients appearing in \(K_p^{-1}\), we have
The composite expression for \(K_p^{-1}(y)\) acts on \(\theta _p\) in the following way. First \(\delta _p\) takes \(\theta _p\) to \(s_p\), then \(\rho _N(y)\) takes \(s_p\) to y—this follows from the definitions of \(\rho _N(y)\) and \(\delta _p\). Note that this is precisely the image of the map \(K_p\).
Next the element y gets mapped to another \(y'\in P^{-1}(p)\) by \({{\widetilde{w}}}_0h\), where the form of h is dictated by the requirement that this indeed lands in \(\textrm{KT}_{\mathfrak {g}}\). Finally, \({{\widetilde{\rho }}}_N(y)^{-1}\) is the unique element of N that takes this \(y'\) back to \(s_p\), and \(\delta _p^{-1}\) will conjugate \(s_p\) back to \(\theta _p\)—stabilising \(\theta _p\) as a result.
Now, for any \(y\in \textrm{KT}_{\mathfrak {g}}\), the morphism \(\varphi \) is given by
where \(p = P(y)\). Note that the definition has telescoped, so that the map, \(\lambda :\textrm{KT}_{\mathfrak {g}}\rightarrow G^*\), which identifies leaves of \(\textrm{KT}_{\mathfrak {g}}\) and \({\mathfrak {Z}}_G\), does not depend explicitly on p, \(\theta _p\) or \(\delta _p\). Indeed, the map (3.49) is manifestly algebraic.
Now let us return to the case where G is not necessarily of adjoint type. Then \(p\in {\mathfrak {g}}^*/\!\!/G\) and \(\theta _p\) can be defined as before, while the longest element of the Weyl group, \(w_0\in W\), no longer has a unique uplift to \(N_G(T)\)—there is now a Z(G)-orbit worth of uplifts. We fix \({{\widetilde{w}}}_0\in N_G(T)\) to be the unique uplift of \(w_0\) that lies in the connected component of the identity. The Zariski open \(G^*\subset G\) is defined, as before, as the big Bruhat cell \(N{{\widetilde{w}}}_0TN\) for this choice of \({{\widetilde{w}}}_0\), and if \(x\in {\mathfrak {g}}^*_{\textrm{reg}}\), \(G^*_x:= G^*\cap G_x\).
The map \(K_p:G^*_{\theta _p}\rightarrow P^{-1}(p)\) is no longer an isomorphism; the fibres of the map have cardinality |Z(G)|. Therefore, it cannot be inverted and the previous definition of \(\lambda \) is not fit for purpose. To rectify the wituation we will pass to the cover \(\textrm{KT}_G\). We define the morphism \({{\overline{P}}}:\textrm{KT}_G\rightarrow {\mathfrak {g}}^*/\!\!/G\) as the composite
and for \(p\in {\mathfrak {g}}^*/\!\!/G\), \({{\overline{P}}}^{-1}(p)\) is a cover of \(P^{-1}(p)\) and we will want to define a lift \({{\overline{K}}}_p:G^*_{\theta _p}\rightarrow {{\overline{P}}}^{-1}(p)\) that is an isomorphism. For the purposes of constructing \(\varphi \), we are actually interested in the putative inverse \({{\overline{K}}}_p^{-1}: {{\overline{P}}}^{-1}(p) \rightarrow G^*_{\theta _p}\), so in what follows we will construct \({{\overline{K}}}_p^{-1}\) and show that it is an isomorphism.
The fibres \({{\overline{P}}}^{-1}(p)\) have |Z(G)| many disconnected components, all of which are isomorphic to \(P^{-1}(p)\) as varieties. The strategy will be to identify each component of \({{\overline{P}}}^{-1}(p)\) with a component of \(G^*_{\theta _p}\) in a Z(G)-equivariant way.
To define our inverse morphism, we need to lift \(\rho _N\) and \({{\widetilde{\rho }}}_N\) to the cover, which can be done by precomposition. For convenience, we continue to use \(\rho _N\) to denote the composition \(\textrm{KT}_G\xrightarrow {\pi _G}\textrm{KT}_{\mathfrak {g}}\xrightarrow {\rho _N}N\), and \({{\widetilde{\rho }}}_N\) for the composition
In other words,
Note that now the morphisms \(\rho _N\) and \({{\widetilde{\rho }}}_N\) are both invariant on the Z(G) orbits of \(\textrm{KT}_G\). For \(\rho _N\) this is clear from the definition. For \(\widetilde{\rho _N}\), note that the twisting by \(\textrm{Ad}^*_{{{\widetilde{w}}}_0(\pi _T(y))^{-1}}\) that enters the definition is insensitive to the centre, since the coadjoint action is blind to it.
We now define \({{\overline{K}}}_p^{-1}:{{\overline{P}}}^{-1}(p)\rightarrow G_{\theta _p}^*\), by the same expression as before,
where now the definition applies for any \(y\in {{\overline{P}}}^{-1}(p)\). For adjoint G, of course, this recovers the inverse \({{\overline{K}}}^{-1}_p\). Notice that the map \(\pi _T\) is sensitive to which connected component of \(\textrm{KT}_G\) y lies in, and moreover, it is the only part of the map which is sensitive to this. Recalling the equivariance properties of Lemma 3.1 we can anticipate that this map will target every connected component of \(G^*_{\theta _p}\). We have the following.
Theorem 3.4
Let \(p\in {\mathfrak {g}}^*/\!\!/G\), then \({{\overline{K}}}_p^{-1}:{{\overline{P}}}^{-1}(p)\rightarrow G^*_{\theta _p}\) is an isomorphism.
Proof
The following is based on the proof of [38, Lemma 19], modified to account for the subtleties of G not being of adjoint type.
First, we establish surjectvity. Let \(n^\prime {{\widetilde{w}}}_0hn\in G_{\theta _p}^*\) with \(n^\prime ,n\in N\) and \(h\in T\). Then \(y=Ad^*_n\theta _p\) is some element in \( P^{-1}(p)\) by Theorem 3.3. Since \(n^\prime {{\widetilde{w}}}_0hn\) stabilises \(\theta _p\), we have
Concretely \(\theta _p = \chi + \tau ^*\) for some \(\tau ^*\) in the fundamental Weyl chamber and \(y = \chi + \tau ' + \sum _{\alpha \in \Delta } \gamma _\alpha e_\alpha ^*\). Therefore
with \(c_+\in {{\mathfrak {b}}}^*\). Since this must be equal to \(\theta _p = \chi + \tau \), we must have that
which implies
This means that h can be written as \(\big (\pi _T({{\tilde{y}}})\big )^{-1}\) for some \({{\tilde{y}}}\in \pi ^{-1}_G(y)\). Moreover, this choice of \({{\tilde{y}}}\) must be unique, since \(\pi _T\) is Z(G) equivariant from Lemma 3.1. Since \(\theta _p\) and y are in the same N-orbit of a point on the Slodowy slice, we must have that \(n = \rho _N({{\tilde{y}}})\delta _p\) for every \({{\tilde{y}}}\in \pi _G^{-1}(y)\).
Next, to fix \(n^\prime \) we can follow, with slight modifications for non-adjoint G, the proof of [38, Lemma 19] to establish that
Thus, every element of \(G^*_{\theta _p}\) looks like \({{\overline{K}}}_p^{-1}({{\tilde{y}}})\) for some \({{\tilde{y}}}\in {{\overline{P}}}^{-1}(p)\), and \(K^{-1}_p\) is surjective.
Now to establish injectivity, let \(x,y\in {{\overline{P}}}^{-1}(p)\) such that \({{\overline{K}}}^{-1}_p(x)={{\overline{K}}}^{-1}_p(y)=n^\prime h n\in G^*_{\theta _p}\). We see that \(Ad^*_{n}\theta _p = \pi _G(x)=\pi _G(y)\) and so x, y are both in the fibre of \(\pi _G\) above a common point on \(\textrm{KT}_{\mathfrak {g}}\). But by Lemma 3.1, this means \(\pi _T(x)\) and \(\pi _T(y)\) will differ by an action of Z(G), and so will \({{\overline{K}}}^{-1}_p(x)\) and \({{\overline{K}}}^{-1}_p(y)\). Thus, we conclude that \(x\overset{!}{=}y\) if they map to the same point under \({{\overline{K}}}_p^{-1}\). \(\square \)
To summarise, the map \(\lambda :\textrm{KT}_G\rightarrow G^*\) is defined by
for \(y\in \textrm{KT}_G\) and \(p={{\overline{P}}}(y)\). Unravelling the definitions again gives the more compact and algebraic form,
For any \(y\in \textrm{KT}_G\), we have that \(\lambda (y)\in G^*_{\beta (y)}\), and as an immediate corollary of Theorem 3.4, we have the following:
Corollary 3.5
Let \(p\in {\mathfrak {g}}^*/\!\!/G\) and let \(s_p\in S_f\) be the corresponding Slodowy slice element under Kostant’s isomorphism. Then, the restriction of \(\lambda \) to \({{\overline{P}}}^{-1}(p)\) gives an isomorphism
Proof
Follows immediately from Theorem 3.4 and the definition of \(\lambda \). \(\square \)
Thus, we have the morphism
Let \({\mathfrak {Z}}^*_G\subset G^*\times S_f\) be the closed subscheme,
Note that \({\mathfrak {Z}}_G^* =( G^*\times S_f )\cap {\mathfrak {Z}}_G\) inside \(G\times S_f\), and so is Zariski open in \({\mathfrak {Z}}_G\). The open subset \({\mathfrak {Z}}^*_G\) can alternatively be characterised as the Hamiltonian reduction
Proposition 3.6
The morphism \(\varphi :\textrm{KT}_G\rightarrow {\mathfrak {Z}}_G\) is an open immersion of \(S_f\)-schemes, with image equal to \({\mathfrak {Z}}^*_G\)
Proof
We have a foliation of \(\textrm{KT}_G\),
From Proposition 3.2, the morphism \(\beta \) can be used to rewrite the above as a foliation over \(S_f\),
The leaf \(\beta ^{-1}(s)\) can be identifed with the leaf \({{\overline{P}}}^{-1}(p)\) when \(s=s_p\). By Corollary 3.5, the morphism \(\lambda \) gives an isomorphism between each leaf of this foliation and \(G^*_s\). Thus,
By construction, \(\varphi \) sends the leaf of \(\textrm{KT}_G\) over \(s\in S_f\) to the leaf of \({\mathfrak {Z}}_G^*\) over the same point. Therefore the diagram,
commutes and so \(\varphi \) is a morphism of \(S_f\)-schemes. \(\square \)
We would like \(\varphi \) to not just be an open immersion, but also a symplectic morphism.
Proposition 3.7
For any simple, algebraic Lie group G, \(\varphi :\textrm{KT}_G\rightarrow {\mathfrak {Z}}_G\) is symplectic.
Proof
Let \(G_{ad}\) be a simple algebraic Lie group of adjoint type. From [22], it is known that
is symplectic.
Now let G be a simple algebraic Lie group such that \(\textrm{Lie}~G = \textrm{Lie}~ G_{ad}\). The universal centralisers are related by
where the centre Z(G) acts by left multiplication on the fibres of \({\mathfrak {Z}}_{G}\). Let \(\pi _{\mathfrak {Z}}\) be the projection \({\mathfrak {Z}}_{G}\rightarrow Z(G)\backslash {\mathfrak {Z}}_{G} \cong {\mathfrak {Z}}_{G_{ad}}\), which is symplectic.
Consider the diagram,
Since \(\varphi \) is Z(G) equivariant, the square commutes. Let \(\omega _{{\mathfrak {Z}}_{ad}}\) be the symplectic form on \({\mathfrak {Z}}_{G_{ad}}\), then
where \(\omega _{\textrm{KT}_{\mathfrak {g}}}\) is the symplectic form on \(\textrm{KT}_{\mathfrak {g}}\). Since the symplectic form on \(\textrm{KT}_G\), \(\omega _{\textrm{KT}_G}\), is defined by pullback along \(\pi _G\), we have that
and \(\varphi _{ad}\circ \pi _G\) is symplectic. As the square commutes,
But \(\pi _{{\mathfrak {Z}}}^*(\omega _{{\mathfrak {Z}}_{ad}}) = \omega _{{\mathfrak {Z}}_G}\), where \(\omega _{{\mathfrak {Z}}_G}\) is the symplectic form on \({\mathfrak {Z}}_G\). Therefore,
and \(\varphi \) is symplectic. \(\square \)
3.4 An Algorithmic Construction for \(\varphi \)
With the morphism \(\varphi :\textrm{KT}_G\rightarrow {\mathfrak {Z}}_G\) established, we turn to the more practical problem of finding explicit expressions for the components of this map. Here we will restrict our attention to the case \(G=\textrm{SL}_N\), whose structure as an algebraic group is particularly transparent. In the case of other algebraic Lie groups, this level of explicit detail would entail more work, though the story should be essentially analogous.
The embedding \(\varphi \) consists of two parts, \(\lambda \) and \(\beta \). Let us first discuss \(\beta \). An element \(y\in \textrm{KT}_{\mathfrak {g}}\) has form
when considered as an element of \({\mathfrak {g}}\).Footnote 8 The fibre of the map \(\pi _G\) at y consists of elements \(\{{{\tilde{y}}}_k,~k=0,\ldots ,N-1\}\) that are permuted cyclically under the action of Z(G).
For \(x\in {{\mathfrak {s}}}{{\mathfrak {l}}}_n\) realised as a matrix in \(\textrm{End}({\mathbb {C}}^n)\), the fundamental invariants (up to conventions regarding overall scaling) can be computed as
The components of \(\beta (y)\) are given by \(P_1(y),P_2(y),\ldots P_{\textrm{rk}_{\mathfrak {g}}}(y)\) and for a given value of N can be easily computed by the trace formula above. To compute \(\beta ({{\tilde{y}}}_k)\) we simply project to y by \(\pi _G\) before applying the expression above.
Next let us consider the more elaborate morphism \(\lambda \). The definition (3.60) of \(\lambda \) applied to a point in \(\textrm{KT}_G\) takes the form
From the expression in (3.20), the map \(\pi _T\) is given by
Like \(\beta \), the maps \(\rho _N\) and \({{\widetilde{\rho }}}_N\) only depend on the image of \({{\tilde{y}}}_k\) under \(\pi _G\), whereas \(\pi _T\) satisfies
A key input into the maps \(\rho _N\) and \({{\widetilde{\rho }}}_N\) is the inverse map \(\psi ^{-1}: \chi + {{\mathfrak {b}}}^* \rightarrow N\times S_f\) of the Kostant isomorphism. An element of \(N\times S_f\) can be written as (n, s), where we have
All entries are \({\mathbb {C}}\)-valued. Under \(\psi \) the element (n, s) is taken to the element of \(\textrm{KT}_{\mathfrak {g}}\) whose matrix entries are
The inverse morphism \(\psi ^{-1}\) is determined by systematically solving this equation for the coordinates \(n_{i,j}\) and \(p_i\) on \(N\times S_f\). In practice, equality of diagonals sets \(n_{i,1}=b_i\), and qquating the first superdiagonals then fixes the values of \(n_{i,2}\) and \(p_1\). The next superdiagonal fixes \(n_{i,3}\) and \(p_2\), and so on continuing to higher superdiagonals. At each step, the new unfixed coordinates appear only linearly. The value of \(\rho _N({{\tilde{y}}}_k)\) is then just n, re-expressed in terms of the b and \({{{\tilde{\gamma }}}}\) variables according to this procedure.
The map \({{\widetilde{\rho }}}_N\) can be determined in the same manner. Note that the conjugate \(\textrm{Ad}_{{{\widetilde{w}}}_0(\pi _T({{\tilde{y}}}_0))^{-1}} y\) will be the reflection of y along the antidiagonal. To see this, observe that the element \(\pi _T({{\tilde{y}}}_0)^{-1}\) leaves the \(b_i\) invariant and contracts each \(\gamma _i\) entry to 1 while dilating \(\chi \) to \(\sum _{i=1}^{\textrm{rk}\,{\mathfrak {g}}} \gamma _ie_{-\alpha _i}\) (as the negative simple roots transform with opposite weights). In effect, this reflects y across the diagonal. On the other hand, the element \({{\widetilde{w}}}_0\), acts by sequential reflection across the diagonal and the antidiagonal, so in combination the effect is that \(\textrm{Ad}_{{{\widetilde{w}}}_0(\pi _T({{\tilde{y}}}_0))^{-1}}\) is the antidiagonal reflection. Consequently, in practice the expression for \({{\widetilde{\rho }}}_N(y)\) can simply be obtained from the \(n_{i,j}\) above by making the replacement \((b_i,\gamma _i)\leftrightarrow (-b_{N-1-i},\gamma _{N-1-i})\).
For the purpose of realising the universal centraliser as a symplectic variety, this procedure can be expedited as a result of Proposition 2.1 and Theorem 2.2. These imply that rather than constructing \(\lambda \) in its entirety, it is sufficient to determine just the lower left-hand corner entry.
By definition, both \(\rho _N({{\tilde{y}}}_k)\) and \({{\widetilde{\rho }}}_N({{\tilde{y}}}_k)\) are upper unitriangular matrices, while \({{\widetilde{w}}}_0\big (\pi _T({{\tilde{y}}})_k\big )^{-1}\) is supported along the antidiagonal as in (3.79). The bottom row of the stabilising group element is therefore completely fixed by the first row of the map \(\rho _N\), and what’s more, the lower-left corner entry is just equal to the reciprocal of the upper-left corner entry of \(\pi _T\), so in particular we have
From this and the expression for the \(P_j\) functions, Theorem 2.2 allows us to generate all of \(I_{\textrm{SL}_N}\).
For \(G\ne \mathrm SL_N\) we have a conjectural expression for X, coming from the discussion in Sect. 2.4. Suppose that G is not \(\textrm{Spin}(4N)\), then the lowest dimensional faithful representation, \(V_F\) is irreducible. Let \((a_1,a_2,\dots _,a_{\textrm{rk}\,{\mathfrak {g}}})\) be the components of the highest weight of \(V_F\) in the simple root basis. We conjecture that
For \(G=\textrm{SL}_N\) this specialises to \(X= \prod _{j=1}^{\textrm{rk}\,{\mathfrak {g}}} \gamma _j^{-{{\widetilde{a}}}_{1j}}\), where \({{\widetilde{a}}}_{ij}\) are again the entries of the inverse Cartan matrix. Similarly, if G is \(\textrm{Spin}(4N)\) we define \(X_{\textrm{s}}\) and \(X_{\textrm{c}}\) analogously to (3.84) using the highest weights of \(V_{\textrm{s}}\) and \(V_{\textrm{c}}\) respectively.
3.5 The Embedding for \(\textrm{SL}_3\)
The ring of functions on the Kostant–Toda lattice for \({{\mathfrak {s}}}{{\mathfrak {l}}}_3\) is given by
Following the general prescription, for \(G=\textrm{SL}_3\) the covering space \(\textrm{KT}_G\) comes with coordinate ring
where \({{\widetilde{\gamma }}}_1 = \gamma ^{-\frac{2}{3}}_1\gamma _2^{-\frac{1}{3}}\) and \({{\widetilde{\gamma }}}_2 = \gamma ^{-\frac{2}{3}}_2\gamma _1^{-\frac{1}{2}}\), and the Poisson bracket follows accordingly. We can make explicit the maps involved in the definition of \(\varphi \). For \(\pi _T:\textrm{KT}_{G} \rightarrow T\) we have (at the level of rings of functions)
The longest element of the Weyl group of \(A_2\) can be lifted to \(N_{\textrm{SL}_3}(T)\) as
The coordinate ring of the Slodowy slice, \(S_f\), is embedded (up to normalisation) as
The image of \(\lambda \) is realised as follows. Solving for the matrix \(\rho _N(y)\) as described above, one finds
The group element \({{{\tilde{w}}}}_0(\pi _T(y))^{-1}\) is given as follows,
Solving for the matrix \(\widetilde{\rho _N}(y)\) then produces the result
Putting everything together, this gives the following parameterisation of (an open subset of) stabiliser of the point \(\beta (y)\in S_f\),
where to simplify the expression we have used S and W as defined in (3.89). We define the additional algebraic generators of the coordinate ring as the entries on the bottom row of \(\lambda (y)\),
By Proposition 2.1, only the bottom row is needed to uniquely specify \(\lambda (y)\), and indeed, the remaining rows can be expressed in terms of the S, W, X, Y, Z (and could be determined directly by solving the \([\lambda (y),\beta (y)]=0\)). Altogether, we have for the embedding \(\varphi (y)\),
Note that this agrees with the presentation of Sect. 2.3. The determinantal relation
is satisfied identically by the expressions for S, W, X, Y, Z in terms of \(\textrm{KT}_G\) variables. The Poisson structure is inherited from the structure on \(\textrm{KT}_G\), and one can verify that the Poisson brackets also agree with (2.23).
4 Chiralising the Universal Centraliser
In [7], the (critical level) chiral universal centraliser (\({{\textbf{I}}}_G\), denoted in loc. cit. by \({{\textbf{I}}}_G\)), was defined to be the two-sided quantum Drinfel’d–Sokolov reduction of critical level chiral differential operators (CDOs) on G (\(\mathcal {D}^{ch}_{G,\kappa _c}\)).Footnote 9 The operation of Drinfel’d–Sokolov reduction is a chiral analogue of Kostant–Whittaker reduction, and \(\mathcal {D}^{ch}_{G,\kappa _c}\) represents a chiral quantisation (defined in the following section) of \(T^*G\), so \({{\textbf{I}}}_G\) is indeed a natural chiral analogue of \({\mathfrak {Z}}_G\). By virtue of its definition in terms of DS reduction, it should be identified with the VOA assigned to the sphere of type G in class \({{\mathcal {S}}}\) [2].
In the previous section, we presented a method for realising \(I_G={\mathbb {C}}[{\mathfrak {Z}}_G]\) by way of the Kostant–Toda lattice \(\textrm{KT}_G\). The open immersion \(\varphi :\textrm{KT}_G\rightarrow {\mathfrak {Z}}_G\) gives a realisation of \(I_G\) in terms of functions on an algebraically trivial space, which we think of as a (finite-dimensional, classical) “free field realisation” of \(I_G\). In this section we describe a chiral analogue of this construction, and propose a strategy for producing (chiral, quantum) free field realisations for \({{\textbf{I}}}_G\) for general G. We make this completely explicit for the cases \(G=\textrm{SL}_2\) and \(G=\textrm{SL}_3\).
In this section G will be assumed to be simply connected unless otherwise stated.
4.1 Chiralising the Kostant–Toda Lattice
The Kostant–Toda lattice is isomorphic as a symplectic variety to \((T^*{\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}\). The standard chiral quantisation(s) of this space are given by CDOs on \(({\mathbb {C}}^{\times })^{\textrm{rk}\,{\mathfrak {g}}}\). In [16], these CDOs were presented in terms of a lattice boson system. We will review this construction here in connection with the Kostant–Toda lattice and its refinement.
Let chiral bosons \(\phi _i\), \(\delta _j\) for \(i,j=1,2,\dots ,\textrm{rk}\,{\mathfrak {g}}\) be normalised according to
Let \(\Pi _{\mathfrak {g}}\) be the isotropic lattice vertex algebra generated by \(\partial \phi _i\), \(\partial \delta _i\), and vertex operators, \(e^{n(\phi _i+\delta _i)}\), for \(n\in {\mathbb {Z}}\). Since the \(\phi _i+\delta _i\) operator has regular self-OPE, the exponential vertex operators form a commutative vertex algebra. This is a “half-lattice vertex algebra” in the sense of [41].
In fact, \(\Pi _{\mathfrak {g}}\) is strongly generated by the operators
whose only nonvanishing singular OPEs are given by
and which also satisfy the suggested relation \((\gamma _i^{-1}\gamma _i^{+1})=1\). This presentation is the one relevant to description of this vertex algebra as CDOs on the multiplicative group \(({\mathbb {C}}^{\times })^{\textrm{rk}\,{\mathfrak {g}}}\), which itself can be thought of as the localisation of \(\textrm{rk}\,{\mathfrak {g}}\) many \(\beta \gamma \) systems (i.e., CDOs on \({\mathbb {C}}^{\textrm{rk}\,{\mathfrak {g}}}\) [42]). The lattice representation then arises via Friedan–Martinec–Shenker bosonisation of the \(\beta \gamma \) system.
This presentation in terms of lattice bosons makes the following generalisation natural. We pass to a refined lattice with rational spacings, specifically with denominator |Z(G)| for G simply connected, and define the vertex subalgebra \(\Pi _G\) to be strongly generated by
where, as previously, the \({{\tilde{a}}}_{ij}\) are matrix elements of the inverse Cartan matrix of \({\mathfrak {g}}\). Note that the \(b_i\) are unchanged. For \({\mathfrak {g}}={{\mathfrak {s}}}{{\mathfrak {l}}}_2\), this is precisely the lattice \(\Pi _{\frac{1}{2}}\) appearing in the free field constructions of [16] (and previously in [43]). The vertex algebra \(\Pi _G\) admits a natural action of Z(G) according to the prescription in (3.13), extended to be \({\mathbb {C}}[\partial ]\)-linear.
Now suppose \(G^{\prime }\) is a non-simply connected algebraic Lie group with the same Lie algebra as G. Then \(G^{\prime } \cong Z^{\prime }(G)\backslash G\) for some central subgroup \(Z^{\prime }(G)\subset Z(G)\). Let \(\gamma _i'\) be the generators of the ring \({\mathbb {C}}[{{\widetilde{\gamma }}}_i]^{Z^{\prime }(G)}\). Then we define a lattice vertex subalgebra \(\Pi _{G^{\prime }}\subset \Pi _G\) that is strongly generated by the \(b_i\) and the Z(G) invariants, \((\gamma _i')^{\pm 1}\).
There is an obvious inclusion of vertex algebras \(\Pi _{\mathfrak {g}}\hookrightarrow \Pi _G\), given by
The image of \(\Pi _{\mathfrak {g}}\) inside \(\Pi _G\) is precisely the Z(G) invariant subalgebra of \(\Pi _G\)—indeed, for the case that \(G^{\prime }\) is the adjoint group, we have \(\Pi _{G^{\prime }}=\Pi _{\mathfrak {g}}\).
Our vertex algebras \(\Pi _G\) and the Kostant–Toda lattices are related in the sense that the former is a chiral quantisation of the latter. The relationship between vertex algebras and geometric spaces were explored by Arakawa–Moreau [15, 44,45,46,47]. We shall recall some of the relevant definitions now. For a more pedagogical introduction, we recommend the monograph [48].
For a scheme X over \({\mathbb {C}}\), we denote its arc space by \(J_\infty X:=\textrm{Hom}({\mathbb {D}},X)\), where \({\mathbb {D}}=\textrm{Spec}~{\mathbb {C}}[\![t]\!]\) is the formal disc. For X Poisson, functions on the arc space \({{\mathcal {O}}}(J_\infty X)\) has a canonical vertex Poisson algebra structure [15].
Every vertex algebra has a canonical decreasing filtration, \(F^\bullet \), known as the Li filtration [49]. Specifically, for V a vertex algebra with vacuum \(|0\rangle \), we have
V is separated if \(\bigcap _{i=1} F^i V=0\) and if V is a separated vertex algebra, then the vector space \(R_V:= V/F^1(V)\) is a Poisson algebra, with multiplication arising from the normally ordered product and the Poisson bracket coming from simple poles in the OPE. This Poisson algebra is called the Zhu’s \(C_2\) algebra of V, and \(X_V:= \textrm{Specm}\,R_V\) is the associated variety of V. \({{\overline{X}}}_V:=\textrm{Spec}\,R_V\) is then the associated scheme of V.
Now let X be an affine, Poisson scheme; a vertex algebra V is said to be a chiral quantisation of X [44] if, as Poisson varieties,
It is a strict chiral quantisation of X if furthermore,
A vertex algebra satisfying \(\textrm{Spec}~(\textrm{gr}_F V) \cong J_\infty \textrm{Spec}~{{\overline{X}}}_V\) is also known as classically free.
The vertex algebra \(\Pi _{\mathfrak {g}}\) is a strict chiral quantisation of \(T^*\big ({\mathbb {C}}^{\times }\big )^{\textrm{rk}\,{\mathfrak {g}}}\), and given its definition in terms of strong generators, it is straightforward to see that \(R_{\Pi _G}\cong {\mathbb {C}}[b_i,{{\widetilde{\gamma }}}_j\,|\,i,j=1,\dots ,\textrm{rk}\,{\mathfrak {g}}]\) with the expected Poisson brackets. Therefore, \({{\overline{X}}}_{\Pi _G}\) is reduced and can be identified with \(\textrm{KT}_G\) as a symplectic variety. Moreover, \(\Pi _G\) is classically free, so \(\Pi _G\) is a strict chiral quantisation of \(\textrm{KT}_G\) for any G. Moreover, the inclusion \(\Pi _{\mathfrak {g}}\hookrightarrow \Pi _G\) as the Z(G) invariant subalgebra descends, at the level of associated schemes, to the covering map \(\pi _G^\#: {{\mathcal {O}}}(\textrm{KT}_{\mathfrak {g}})\hookrightarrow {{\mathcal {O}}}(\textrm{KT}_G)\).
Finally, let us briefly remark on the conformal structure of these vertex algebras. Chiral bosons admit a well-known family of conformal vectors, which in our case amount to a \({\mathbb {C}}^{2\textrm{rk}\,{\mathfrak {g}}}\) parameter space of conformal vectors of the form
where \(\alpha _i,\beta _i\in {\mathbb {C}}\) are background charges for \(\phi _i\) and \(\delta _i\), respectively. Tuning the values of \(\alpha _i\) and \(\beta _i\) changes the conformal grading on \(\Pi _G\), and in particular changes the weight of the \(\gamma _i\) operators. To match with the \({\mathbb {C}}^*\) grading on \(\textrm{KT}_G\), we require the weights \(\Delta _{\gamma _i} = 2\) and \(\Delta _{b_i} = 1\), which is accomplished by setting \(\alpha _i+\beta _i=-2\). With no further input, this leaves \(\textrm{rk}\,{\mathfrak {g}}\) many unconstrained background charges, one combination of which could further be constrained by demanding that the central charge match the expected value for the chiral universal centraliser,
where \(\rho _{\mathfrak {g}}\) is the half-sum of positive roots and \(\rho _{\mathfrak {g}}^\vee \) is the half-sum of positive coroots. For simply laced \({\mathfrak {g}}\), we can apply the strange formula of Freudenthal and de Vries to simplify this expression to
where \(h_{\mathfrak {g}}^\vee \) is the dual Coxeter number.
4.2 A Chiral Embedding and Free Field Realisation
The aim in this section is to identify a candidate for a free field realisation of the chiral universal centraliser by constructing a chiral version of the morphism \(\varphi :\textrm{KT}_G\rightarrow {\mathfrak {Z}}_G\). Recall that \(\varphi \) decomposes into a map \(\beta \) to the Slodowy slice \(S_f\) and a map \(\lambda \) to the centraliser in G of \(\beta (y)\). We will treat the chiral version in a similar matter.
The chiral analogue of \({\mathbb {C}}[S_f]\) is the Feigin–Frenkel centre \({\mathfrak {z}}({\mathfrak {g}})\) [50]. Indeed, as \({{\textbf{I}}}_G\) is defined as the two-sided Drinfel’d—Sokolov reduction of \(\mathcal {D}^{ch}_{G,\kappa _c}\), it has a subalgebra isomorphic to \({\mathfrak {z}}({\mathfrak {g}})\) (cf. [7, 13] for discussion of Feigin–Frenkel centres in chiral algebras of class \({{\mathcal {S}}}\)), so there is a map \({\mathfrak {z}}({\mathfrak {g}})\rightarrow {{\textbf{I}}}_G\), the image of which should appear in our free field realisation as a Feigin–Frenkel center subalgebra in \(\Pi _G\).
To construct this Feigin–Frenkel subalgebra, we specify an Ansatz by asserting a chiral version of the map \(\beta \). This Ansatz will be a quantum corrected version of the expressions for the generators of \({\mathbb {C}}[S_f]\), which arise from the ring map \(\beta ^\#: {\mathbb {C}}[S_f]\rightarrow {\mathbb {C}}[\textrm{KT}_G]\).
We make the following observation: the morphism \(\beta \) comes from the restriction of \({\mathbb {C}}[{\mathfrak {g}}^*]^G\) to \(\textrm{KT}_{\mathfrak {g}}\), so in particular the functions on \(\textrm{im}\,\beta \) extend smoothly to the closure \({{\overline{\textrm{KT}}}}_{\mathfrak {g}}= \chi +{{\mathfrak {t}}}^* + \bigoplus _{\alpha \in \Delta }{\mathfrak {g}}_\alpha \). Therefore, the expressions for the generators will only feature positively graded generators of \({\mathbb {C}}[\textrm{KT}_{\mathfrak {g}}]\). Furthermore, the classical map \(\beta \) does not require passage to \(\textrm{KT}_G\), so the expressions for \(\beta ^\#(P_i)\) only feature positive integer powers of the \(\gamma _i\) and \(b_i\).
We can construct a chiral analogue of \(\beta \) in the following manner. Let \(V^{0}({{\mathfrak {b}}})\) be the universal affine vertex algebra associated to the Borel subalgebra \({{\mathfrak {b}}}\) at level zero. This algebra contains a descending chain of vertex ideals, which are chiral analogues of the lower central series of \({{\mathfrak {n}}}\), given by
where the chain terminates in finitely many steps since \({\mathfrak {n}}\) is solvable. The quotient \(V^{0}({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\) is a chiral quantisation of \({{\overline{\textrm{KT}}}}_{\mathfrak {g}}\cong ({{\mathfrak {b}}}/[{\mathfrak {n}},{\mathfrak {n}}])^*\), and there is a corresponding inclusion \(V^0({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\hookrightarrow \Pi _{\mathfrak {g}}\), where we can view \(\Pi _{\mathfrak {g}}\) as a localisation of \(V^0({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\).
Starting with \(V^\kappa ({\mathfrak {g}})\), the universal affine vertex algebra of \({\mathfrak {g}}\) at level \(\kappa \), principal Drinfel’d–Sokolov reduction returns the (universal) principal \({{\mathcal {W}}}\)-algebra \({{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa )\). This \({{\mathcal {W}}}\)-algebra can be realised as a subalgebra of the semi-infinite BRST complex that computes the reduction, with explicit expressions for the generators of this embedded subalgebra computed by the tic-tac-toe algorithm of [51]. In particular, the generators of \({{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa )\) can be expressed entirely in terms of the so-called hatted current subalgebra, which itself is isomorphic to \(V^{\kappa -\kappa _c}({{\mathfrak {b}}})\)—note the shift by the critical level \(\kappa _c\). It was also observed in loc. cit. that passing to the quotient \(V^{\kappa -\kappa _c}({{\mathfrak {b}}})/V({\mathfrak {n}})\cong V^{\kappa -\kappa _c}({{\mathfrak {t}}})\) produces the usual quantum Miura transformation, expressing generators of \({{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa )\) in terms of \(\textrm{rk}\,{\mathfrak {g}}\) many Abelian currents.
At the critical level, the principal \({{\mathcal {W}}}\)-algebra is isomorphic to the Feigin–Frenkel centre, i.e., \({{\mathcal {W}}}_\textrm{prin}(f,\kappa _c) \cong {\mathfrak {z}}({\mathfrak {g}})\). One therefore has an embedding \({\mathfrak {z}}({\mathfrak {g}})\hookrightarrow V^0({{\mathfrak {b}}})\). Since \(V([{\mathfrak {n}},{\mathfrak {n}}])\) is a vertex ideal, this map can be extended to the quotient giving a map \({\mathfrak {z}}({\mathfrak {g}})\hookrightarrow V^0({{\mathfrak {b}}})\twoheadrightarrow V^0({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\), which gives rise to a commutative vertex subalgebra—that is isomorphic to the Feigin–Frenkel centre—contained in \(V^0({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\). Our candidate chiralisation of \(\beta \) is then given by the further composition
Concretely, \(\beta ^{ch}(P_i)= (P_i^{t})|_{{{\mathfrak {b}}}/[{\mathfrak {n}},{\mathfrak {n}}]}\), where \(P_i^{t}\) are the tic-tac-toed expressions for the generators of \({{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa _c)\), as detailed in [51] and \(|_{{{\mathfrak {b}}}/[{\mathfrak {n}},{\mathfrak {n}}]}\) denotes the projection \(V^0({{\mathfrak {b}}})\twoheadrightarrow V^0({{\mathfrak {b}}})/V([{\mathfrak {n}},{\mathfrak {n}}])\). In a sense, \(\beta ^{ch}\) is a deformed version of the Miura transformation. Of course, this construction also applies away from the critical level, giving rise to an embedding \(\beta ^{ch}:{{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa )\hookrightarrow V^{\kappa -\kappa _c}({{\mathfrak {b}}})\).
Remark 4.1
The above construction is actually just one in a series of embedded realisations of principal \({{\mathcal {W}}}\)-algebras. Let \({{\mathfrak {n}}}_i\) be the lower central series of \({\mathfrak {n}}\), i.e.,
for \(j=1,\dots ,d_{\mathfrak {g}}\), where \({\mathfrak {n}}_{d_{\mathfrak {g}}}\) is the last non-zero term. There is a system of embeddings \(\beta ^{ch}_{j}:{{\mathcal {W}}}_\textrm{prin}({\mathfrak {g}},\kappa )\hookrightarrow V^{\kappa -\kappa _c}({{\mathfrak {b}}})/ V({\mathfrak {n}}_k)\) for \(j=1,\dots ,d_{\mathfrak {g}}+1\), which maps generators according to
where \(|_{{{\mathfrak {b}}}/{\mathfrak {n}}_j}\) is the projection \(V^0({{\mathfrak {b}}})\twoheadrightarrow V^0({{\mathfrak {b}}})/V({\mathfrak {n}}_j)\). The usual Miura transform is given by \(\beta ^{ch}_1\), our embedding corresponds to \(\beta ^{ch}_2\), and \(\beta ^{ch}_{d_{\mathfrak {g}}+1}\) is the usual tic-tac-toe embedding from [51].
It would be interesting to know whether these generalised Miura maps have a more geometric interpretation, viz., the relation of the Miura map to opers in the critical case.
In practice, an alternative strategy for calculating these generators would be to write down the most general correction to the classical expression, \(\beta ^\#(P_i)\), and then fix free coefficients by imposing that all OPEs amongst the generators are regular. In principle, one might worry that the “most general correction” may have an infinite number of unfixed parameters, because the vertex algebra \({{\textbf{I}}}_{G}\) is not conical. However, based on our discussion of \(\beta ^{ch}\) we should only look for corrections which contain positive powers of the \((\gamma _i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\)—of which there are only finitely many. In the examples in the following sections, the expressions that one arrives at by imposing these regularity constraints are precisely the ones obtained by actually computing \(\beta ^{ch}\) with the tic-tac-toe algorithm.
With a realisation of the Feigin–Frenkel centre established, we turn to the additional generators of \({{\textbf{I}}}_G\). We shall proceed by defining a free-field expression for X that arises from the finite setting in (3.84). Suppose that G is not simply-connected of type \(D_{2N}\), then \(V_F\) is irreducible. Let \((a_1,a_2,\dots _,a_{\textrm{rk}\,{\mathfrak {g}}})\) be the components of the highest weight of \(V_F\) in the simple root basis. We then define
Similarly, if G is \(\textrm{Spin}(2N)\) we define \(X_{\textrm{s}}\) and \(X_{\textrm{c}}\) analogously to (4.16) using the highest weights of \(V_{\textrm{s}}\) and \(V_{\textrm{c}}\) respectively. We now formulate the chiral version of Conjecture 2.4:
Conjecture 4.2
Suppose G is not \(\textrm{Spin}(2N)\). Then the vertex algebra \({{\textbf{I}}}_G\) is isomorphic to the vertex subalgebra of \(\Pi _{G}\) that is weakly generated by the generators \((\beta ^{ch}(P_i))_{i=1}^{\textrm{rk}\,{\mathfrak {g}}})\) of the Feigin–Frenkel centre and by the generator X.
If G is \(\textrm{Spin}(2N)\), then \({{\textbf{I}}}_G\) is isomorphic to the vertex subalgebra of \(\Pi _G\) that is weakly generated by the generators \((\beta ^{ch}(P_i))_{i=1}^{\textrm{rk}\,{\mathfrak {g}}})\) of the Feigin–Frenkel centre and by the generators \(X_{\textrm{s}}\) and \(X_{\textrm{c}}\).
Again inspired by the finite dimensional setting we have beliefs on the set of strong generators of \({{\textbf{I}}}_G\).
Conjecture 4.3
Suppose G is not \(\textrm{Spin}(2N)\). Then \({{\textbf{I}}}_G\) is strongly generated by the generators \((P_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) of the Feigin–Frenkel centre and generators \(({{\hat{g}}}_{i})_{i=1}^{\textrm{dim}V_F}\) in one-to-one correspondence with the weight vectors of \( V_F^*\).
If G is \(\textrm{Spin}(2N)\), then \({{\textbf{I}}}_G\) is strongly generated by by the generators \((P_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) of the Feigin–Frenkel centre and generators, \(({{\hat{g}}}_{\textrm{s}i})_{i=1}^{\textrm{dim}\,V_{\textrm{s}}}\) and \(({{\hat{g}}}_{\textrm{c}i})_{i=1}^{\textrm{dim}\, V_{\textrm{c}}}\) in one-to-one correspondence with the weight vectors of \( V_{\textrm{s}}^*\) and \( V_{\textrm{c}}^*\) respectively.
Unlike the finite dimensional setting, we will not attempt a proof of these conjectures. This should potentially be dealt with in terms of the (micro-) localisation of \({{\textbf{I}}}_G\) over its associated variety. Such a localisation theory is still in its early stages (see, e.g., [52, 53]) but we hope that a geometric strategy will prove fruitful. For our purposes here, we will be content to consider examples for the low rank cases of \(\textrm{SL}_2\) and \(\textrm{SL}_3\), and leave more extensive analysis of examples to future investigation.
It is known [7] that \({{\textbf{I}}}_G\) is conformal—with critical central charge given by
where \(\rho \) is the half sum of positive roots of \({\mathfrak {g}}\)—i.e., the Weyl vector—and \(\rho ^\vee \) is the half sum of positive coroots. After imposing the \(\textrm{rk}\,{\mathfrak {g}}\) many constraints on (4.9), which fixed \(\Delta _{\gamma _i} = 2\) we are left with \(\textrm{rk}\,{\mathfrak {g}}\) many unfixed background charges. These are fixed by requiring that the quadratic Feigin–Frenkel generator, \(P_1\) is quasiprimary. The residue \(T_{(2)}P_1\) is linear in the background charges and setting it to zero produces \(2\textrm{rk}\,{\mathfrak {g}}\) many linear equations for the background charges. However, these equations are not linearly independent. The expression for \(P_1\) is unchanged under the symmetry \(\partial \phi \mapsto -\partial \delta \) and \(\partial \delta \mapsto \partial \phi \). Thus, the swaps \(\alpha _i\mapsto - \beta _i\) and \(\beta _i\mapsto - \alpha _i\) leaves the system of linear equations invariant. This symmetry cuts the system down to \(\textrm{rk}\,{\mathfrak {g}}\) many linear equations for \(\textrm{rk}\,{\mathfrak {g}}\) many unknowns. In the \(\textrm{SL}_N\) case it is schematically clear that these equations are independent, leading to a unique assignment of background charges. For other choices of G we expect the same argument to hold, but we have not attempted a careful analysis. This assignment of background charges, in the \(\textrm{SL}_N\) case, fixes the central charge to agree with (4.17) without additional input, and the general G case should behave similarly.
The expression (4.9), with the correctly chosen values of \(\alpha _i,\beta _i\), gives a free field realisation of the conformal vector of \({{\textbf{I}}}_G\). On general grounds, we do not expect this to be a strong generator of \({{\textbf{I}}}_G\), but rather it should arise as a composite of the other strong generators. We will verify this explicitly in the case \(G=SL_2\) below.
4.3 Free Field Realisation for \({{\textbf{I}}}_{\textrm{SL}_2}\)
Let us work through the \(\textrm{SL}_2\) case as an illustrative example. The chiralisation of \(\textrm{KT}_G\) is \(\Pi _{\textrm{SL}_2}\), which is strongly generated by
We first find the expression for \(S=\beta ^{ch}(P_1)\), the generator of the Feigin–Frenkel centre. Our prescription above yields (cf. [51, Eqn. (3.4)], with some change of conventions),
We note here that rather than using this deformed Miura map, we could adopt a more bootstrap-inspired approach. The non-chiral image \(\beta (P_1)\) is generated by \(S = b^2 + \gamma \), and we should allow for quantum corrections as the self-OPE of \(bb+\gamma \) is not regular. The most general corrected Ansatz is
for some \(\alpha \in {\mathbb {C}}\). The normalisation is such that the Fourier mode \(S_{(1)}\) acts via the generalised eigenvalue \(\frac{1}{4}\lambda (2\lambda +1)\) on the Weyl module \({\mathbb {V}}_{\lambda }\). Imposing regularity of the \(S\times S\) OPE fixes \(\alpha =1\) and so fixes the corrected S to be precisely of the form returned by the deformed Miura map.
We expect only one additional strong generator, corresponding to the function Y on \({\mathfrak {Z}}_{\textrm{SL}_2}\). This operator appears in the simple pole in the \(S\times X\) OPE, which is the chiral version of the extraction of the non-chiral Y from the Poisson bracket \(\{S,X\}\). Indeed, defining Y as such, the OPEs close and we find a strongly generated vertex algebra with the following generators,
Comparing with (3.28), the expression for Y (and X) in terms of \(\Pi _G\) fields matches precisely the expression in terms of \(\textrm{KT}_G\) previously with no quantum corrections, but this is probably not particularly meaningful. Indeed, Y defined here is not quasiprimary, but rather \(Y+\frac{3}{4} X'\) is instead, and if we worked in terms of that quasiprimary instead there would indeed be quantum corrections.
The OPEs between these strong generators are given by
The determinantal relation \(D_{\textrm{SL}_2} = SX^2 - Y^2 \overset{!}{=}\ 1\) is chiralised here to the relation
The generators S, X, and Y, together with the OPEs and relation above define a genuine strongly generated vertex algebra, which is a vertex subalgebra of \(\Pi _{\textrm{SL}_2}\).
As expected, the free-field conformal vector (with background charges \(\alpha = \frac{3}{2}\) and \(\beta =-\frac{1}{2}\)) can be expressed as the following composite operator in terms of the strong generators,
The central charge is \(c=26\), which agrees with (4.17).
The equivariant affine \({{\mathcal {W}}}\)-algebra for \({\mathfrak {g}}={{\mathfrak {s}}}{{\mathfrak {l}}}_2\) was presented in terms of strong generators and their OPEs in [7]. By performing the Drinfel’d–Sokolov reduction, which is still tractable in this case, one can show that the the resulting vertex algebra is isomorphic to our realisation. We will not review this computation here.
4.4 Interlude: A More Universal Centraliser
It is interesting to observe that the singular OPEs in (4.22) define, abstractly, a strongly generated vertex algebra that we denote \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\) in which the vertex ideal generated by \({{\hat{D}}}_{\textrm{SL}_2}-\mathbb {1}\) is not quotiented out. That is to say, the OPEs satisfy the Jacobi identities without removing any null states. The (now nonvanishing) operator \({{\hat{D}}}_{\textrm{SL}_2}\) is not only null, but is actually central in \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\). Consequently, there is a one parameter family of analogous chiral universal centralisers given by the quotient of \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\) by the ideal \({{\hat{D}}}_{\textrm{SL}_2} - \xi \mathbb {1}\) for \(\xi \in {\mathbb {C}}\). For \(\xi \ne 0\), these quotients are all isomorphic to \({{\textbf{I}}}_{\textrm{SL}_2}\), with the isomorphism realised by rescaling the strong generators X and Y. However, the centreless specialisation \({{\hat{D}}}_{\textrm{SL}_2}=0\) is not isomorphic to \({{\textbf{I}}}_{\textrm{SL}_2}\). This centreless specialisation seems to be something of an oddity; in particular it is not a chiral quantisation of \({\mathfrak {Z}}_{\textrm{SL}_2}\) since the determinant is set to zero.
The conformal vector \(T_0\) does not lift to one in \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\). For example, the cubic pole in the \(T_0 \times T_0\) OPE is proportional to \(\partial {{\hat{D}}}_{\textrm{SL}_2}\) (and the other poles are also polluted by the appearence of \(\partial {{\hat{D}}}_{\textrm{SL}_2}\) and its derivatives). The Virasoro OPE only holds in the quotient. Indeed, \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\) does not have a conformal vector. Any candidate conformal vector must be built out of the S, X, Y, and the OPEs amongst these generators are homogeneous in the number of X and Y fields appearing (i.e., there is an outer U(1) symmetry of this vertex algebra under which X and Y have charge one and S has charge zero). Charge conservation then prevents any candidate conformal vector from realising the Virasoro OPE.
This outer U(1) action leads to a family of gradings on \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\)—the OPEs are compatible with any grading that assign \(|S| = 2\), \(|X| = \Delta \) and \(|Y|=\Delta +1\) for any \(\Delta \in {\mathbb {Z}}\). The simple quotient \({{\hat{D}}}_{\textrm{SL}_2}- \xi \mathbb {1}\), for \(\xi \ne 0\), violates this grading for all choices except \(\Delta =-1\). The centreless specialisation, \(\xi =0\), however, is compatible with this grading for any \(\Delta \in {\mathbb {Z}}\).
From a geometric point of view, this one parameter family arises from a closed embedding of \(\textrm{SL}_N\) into the ambient space of \(\textrm{GL}_N\). The cotangent bundle \(T^*\textrm{GL}_N\cong {{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N^*\times \textrm{GL}_N\) has a splitting
arising from the splitting \({{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N\cong {{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_1 \oplus {{\mathfrak {s}}}{{\mathfrak {l}}}_N\) and \(\textrm{GL}_N\cong \textrm{SL}_N \rtimes \textrm{GL}_1\). Consider the Poisson subalgebra of \({\mathbb {C}}[T^*\textrm{GL}_N]\) generated by the \({\mathbb {C}}[{{\mathfrak {s}}}{{\mathfrak {l}}}_N^*]\otimes {\mathbb {C}}[\textrm{GL}_N]\) factors in the splitting. We denote its spectrum by \({{\widetilde{T}}}^*\textrm{SL}_N\). As varieties, we have that \({{\widetilde{T}}}^*\textrm{SL}_N \cong {\textrm{GL}_1} \times T^*\textrm{SL}_N\cong {{{\mathfrak {s}}}}{{{\mathfrak {l}}}}_N^*\times \textrm{GL}_N\).
This thickened space inherits Hamiltonian left and right action of \(\textrm{SL}_N\), and we can perform the corresponding two-sided Kostant–Whittaker reduction of this ambient space. The \( \textrm{GL}_1\) factor of the splitting is \(N_L\times N_R\) invariant, and lies in the (intersection) \({{\overline{\mu }}}_L^{-1}(\chi )\cap {{\overline{\mu }}}_R^{-1}(\chi )\). Therefore, the two-sided reduction will be isomorphic to \({\mathbb {C}}^\times \times {\mathfrak {Z}}_{\textrm{SL}_N}\), and we denote this space by \({{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\). It is naturally a scheme over \(S_f\) by extending the structure morphism of \({\mathfrak {Z}}_{\textrm{SL}_N}\). The cotangent bundle \(T^*\textrm{SL}_N\) is a closed, Poisson subvariety of \({{\widetilde{T}}}^* \textrm{SL}_N\), so by functoriality of reduction, \({\mathfrak {Z}}_{\textrm{SL}_N}\) is a closed, Poisson, subvariety of \({{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\).
There exist a family of \({\mathbb {C}}^\times \) actions on \(T^*\textrm{GL}_N\), which acts as uniform rescaling of the vector space \({{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N^*\) and as left multiplication by a constant diagonal matrix on \(\textrm{GL}_N\). Under these \({\mathbb {C}}^\times \) actions, the linear functions on \({{{\mathfrak {g}}}}{{{\mathfrak {l}}}}_N^*\) can be assigned unit weight, in which case the Poisson bracket has degree \(-1\), while the weights of the matrix entries, \(g_{ij}\), which generate \({\mathbb {C}}[\textrm{GL}_N]\) are unfixed. Any assignment \(|g_{ij}|= \Delta \) for all \(i,j=1,\dots ,N\) is compatible with the Poisson structure. The fundamental invariants of \({{\mathfrak {s}}}{{\mathfrak {l}}}_N\), \((P_{i})_{i=1}^{N}\) will have weight \(|P_i| = i+1\) for \(i=1,\dots , N\), i.e., the weight is equal to their degree. The thickened space \({{\widetilde{T}}}^*\textrm{SL}_N\) inherits this grading.
Similarly, the fibres of \({{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\) will inherit the grading on \({{\widetilde{T}}}^*\textrm{SL}_N\). Under Kostant–Whittaker reduction the \({\mathbb {C}}^\times \) weights are shifted by the weight associated to the principal \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\)-embedding. Consider, specifically, the bottow row \(g_{Nj}\) whose weights under the \({\mathbb {C}}^\times \) action must satisfy \(|g_{Nj}| = |g_{N1}| + (j-1)\). Denoting \(g_{N1}\) by X, as is our convention, and denoting its weight by \(|X|= \Delta \), any grading where \(|g_{Nj}| = \Delta + (j-1)\) is compatible with the Poisson bracket.
Picking out a closed subvariety by imposing the determinantal relation \(D_{\textrm{GL}_N}\overset{!}{=}1\) is incompatible with this grading—unless \(\Delta = 1-N\). Note that any such relation \(D_{\textrm{GL}_N}\overset{!}{=}\ \xi \), for \(\xi \in {\mathbb {C}}^\times \) forces \(\Delta = 1-N\). The closed subvariety satisfying \(D_{\textrm{GL}_N}=1\) gives a closed embedding \({\mathfrak {Z}}_{\textrm{SL}_N}\hookrightarrow {{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\). In fact, any subvariety \(D_{\textrm{GL}_N} = \xi \) gives a closed embedding of \({\mathfrak {Z}}_{\mathrm{SL_N}}\) inside \({{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\) as schemes over \(S_f\).
The thickened space, \({{\widetilde{T}}}^*\textrm{SL}_N\) has a closure isomorphic to \({\mathbb {C}}\times \textrm{SL}_N\). Performing Kostant–Whittaker reduction on this space gives a closure of \({{\widetilde{{\mathfrak {Z}}}}}_{\textrm{SL}_N}\). In this closure, we have an additional subvariety with vanishing ideal \(D_{\textrm{GL}_N}\). This subvariety of determinant zero matrices is not isomorphic to \({\mathfrak {Z}}_{\textrm{SL}_N}\) and seems fairly exotic.
The geometric construction above reflects many of the properties we have seen in \(\widetilde{{{\textbf{I}}}}_{\textrm{SL}_2}\), namely the auxiliary grading and one-parameter family of quotients. Let us present a schematic chiral version of this construction that should explain the existence of this more general vertex algebra.
Let \(\mathcal {D}^{ch}_{\textrm{GL}_N,-N}\) be CDOs on \(\textrm{GL}_N\) at level \(-N\); these admit a splitting \(\mathcal {D}^{ch}_{\textrm{GL}_N,-N} \cong \mathcal {D}^{ch}({\mathbb {C}}^\times )\otimes \mathcal {D}^{ch}_{\textrm{SL}_N,-N}\). This is the chiral version of the splitting (4.25). Functions on \(T^*{\mathbb {C}}^\times \) are generated by \(D_{\textrm{GL}_N}^{\pm }\) and the fibre coordinate p, with Poisson bracket \(\{p, D_{\textrm{GL}_N}^\pm \} = \pm D_{\textrm{GL}_N}^\pm \). Abusing notation, the CDOs on \({\mathbb {C}}^\times \) are strongly generated by \(D_{\textrm{GL}_N}^\pm \) and p with OPE
Let \({{\overline{\mathcal {D}^{ch}}}}_{SL_N,-N}\subset \mathcal {D}^{ch}_{\textrm{GL}_N,-N}\) be the vertex subalgebra corresponding to \(\textrm{ker}~p_{(0)}\). It is strongly generated by the strong generators of \(\mathcal {D}^{ch}_{\textrm{SL}_N,-N}\) and by \(D_{\textrm{GL}_N}\). To recover \(\mathcal {D}^{ch}_{\textrm{SL}_N,-N}\) we quotient out by the vertex ideal generated by \(D_{\textrm{GL}_N} -\mathbb {1}\). Under Drinfel’d–Sokolov reduction, the \(\mathcal {D}^{ch}_{\textrm{SL}_N,-N}\) subalgebra reduces to \({{\textbf{I}}}_{\textrm{SL}_N}\). Meanwhile, the generator \(D_{\textrm{GL}_N}\) gets corrected to \({{\hat{D}}}_{\textrm{GL}_N}\), which is the composite expression for the determinant inside \({{\textbf{I}}}_{\textrm{SL}_N}\).
Thus, the Drinfel’d–Sokolov reduction of \({{\overline{D}}}_{\textrm{SL}_N,-N}\) yields \({{\textbf{I}}}_{\textrm{SL}_N}\otimes \langle {{\hat{D}}}_{\textrm{GL}_N}\rangle \), where \(\langle {{\hat{D}}}_{\textrm{GL}_N}\rangle \) is a commutative vertex algebra generated by \({{\hat{D}}}_{\textrm{GL}_N}\) and its inverse. The reduction has a one-parameter family of quotients by setting \({{\hat{D}}}_{\textrm{GL}_N}=\xi \mathbb {1}\) for \(\xi \in {\mathbb {C}}^\times \). Each of these quotients is isomorphic to \({{\textbf{I}}}_{\textrm{SL}_N}\), and we can identify this reduction as the more universal centraliser \(\widetilde{\textbf{I}}_{\textrm{SL}_N}\).
4.5 Free Field Realisation for \({{\textbf{I}}}_{\textrm{SL}_3}\)
We return to another example, this time in rakn two. Once again, our starting point is to find expressions for the Feigin–Frenkel generators S and W. Like in the \(\textrm{SL}_2\) case, we can utilise our deformed Miura approach to produce the right expressions. For \(G=\textrm{SL}_3\), the restrictions of the generators of the Harish-Chandra centre to \(S_f\) are given, up to a convention for overall scaling, by
and by performing the tic-tac-toe procedure as in [51, Eqn. (3.10)], we arrive at chiral versions given by
Alternatively, we can start with an Ansatz based on the finite-dimensional expression and add quantum corrections while demanding regularity of the OPEs. The appropriate Ansätze are
where \(\alpha _i\in {\mathbb {C}}\). The corrections are constrained to satisfy the requirement that S be invariant under the outer-automorphism \(b_1 \mapsto b_2\), \(e_1\mapsto e_2\) while W is negated. Requiring regularity of the \(S\times S\) OPE fixes the parameter \(\alpha _1=1/2\), and regularity of \(W\times W\) and \(W\times S\) fixes the remaining coefficients as follows,
which agrees exactly with the expressions arising from \(\beta ^{ch}\).
To complete the construction, we start with the strong generator \(X=-\gamma ^{-2/3}_1\gamma ^{-1/3}_2\), and identify additional strong generators Y and Z by analysing the simple poles in the \(S\times X\) and \(S\times Y\) OPEs, respectively (here we again define Y and Z to not be quasi-primaries, which could be rectified by adding descendants of other generators). The complete set of strong generators then takes the form
The OPEs between the Feigin–Frenkel generators and the others are given by
where we have suppressed the dependence of the residues on the coordinate w for clarity. Similarly, for the OPEs amongst X, Y, and Z, we have
The determinantal null ideal is chiralised to
There is, currently, no expression in the literature to which we can compare our presentation of \({{\textbf{I}}}_{SL_3}\). Nevertheless, our Ansatz has the properties one would expect from computing a schematic two-sided Drinfel’d—Sokolov reduction of \(\mathcal {D}^{ch}_{SL_3,-3}\).
5 Class \({{\mathcal {S}}}\) Free Field Realisations at Genus Zero
We now move on to the construction of free field realisations of chiral algebras of class \({{\mathcal {S}}}\) in the \({{\mathfrak {a}}}_1\) case. In [16], the authors described (amongst other things) a free field realisation of the vertex algebra associated to the four-punctured sphere, \({\textbf{V}}_{{\mathfrak {a}}_1,4}\cong L_{-2}({{\mathfrak {d}}}_4)\), which was inspired by the geometry of the associated variety/Higgs branch (in this case, the closure of the minimal nilpotent orbit in \({{\mathfrak {d}}}_4\)). This amounted to a free field realisation of \({\textbf{V}}_{{\mathfrak {a}}_1,4}\) inside \({\textbf{V}}_{{{\mathfrak {a}}_1},3}\otimes \Pi _{\textrm{SL}_2}\), with \({\textbf{V}}_{{{\mathfrak {a}}_1},3}\) being just a system of symplectic bosons.
More generally, in this section we find evidence for a general inductive free field realisation where the number of punctures can be increased at the expense of introducing extra lattice degrees of freedom,Footnote 10
At the level of Higgs branches/associated varieties, this relation arises from the existence of a Zariski open \(U_n \subset X_n\) such that passing to an étale 2-cover \({{\widetilde{U}}}_n\) gives
The realisations \({\textbf{V}}_{\textrm{SL}_2,s}\hookrightarrow {\textbf{V}}_{\textrm{SL}_2,s-1}\otimes \Pi _{\textrm{SL}_2}\) should then be thought of as being a consequence of localising along \(U_n\hookrightarrow X_{s}\) and passing to an appropriate cover. Here we will not endeavour to make these ideas more precise in the abstract, but instead proceed by example. Furthermore, we will skip directly to the chiral case, from which the corresponding relations of finite-dimensional symplectic varieties can be recovered by passing to the (reduced) \(C_2\)-algebra \((R_V)_{red}\).
In the rest of this section, we will construct genus zero chiral algebras of class \({{\mathcal {S}}}\) of type \({\mathfrak {a}}_1\) using these free field methods. In principle such a program could exploit the fact that in type \({\mathfrak {a}}_1\) the trinion theory is a theory of free hypermultiplets, with associated vertex operator algebra given by symplectic bosons, and so use \({\textbf{V}}_{\textrm{SL}_2,3}\) as a starting point as in [16]. Such an approach obscures some symmetry of the problem—indeed, by generalised S-duality all (full) punctures should be treated equally in the associated vertex algebra, while starting with the trinion VOA privileges the corresponding three “initial” punctures. We instead take the chiral universal centraliser as our starting point, or more precisely its free field realisation from Sect. 4.3. We will therefore present these vertex algebras in free field form in a manner that renders generalised S-duality completely manifest.
5.1 General Structure of Genus Zero Free Field Realisations
We will realise \({\textbf{V}}_{{\mathfrak {a}}_1,s}\) inside \(\bigotimes _{i=0}^s \Pi ^{i}_{\textrm{SL}_2}\), where the superscript i labels the puncture associated to that lattice factor when \(i\ne 0\), and the zeroth copy will be used to construct \({{\textbf{I}}}_{\textrm{SL}_2}\). We can think of ith copy for \(i>0\) being used to construct \({\textbf{V}}_{{\mathfrak {a}}_1,i}\) in an inductive process, though at the end of the day all punctures will be treated symmetrically. For \(i\ne 0\) we denote the weight \(\pm \frac{1}{2}\) generators by \(e_{i}^{\pm \frac{1}{2}}\) and the weight one generator by \(p_i\). For the generators of \(\Pi ^0_{\textrm{SL}_2}\) that are used in the free field realisation of the sphere VOA, we continue to use \(\{\gamma ^{\pm \frac{1}{2}},b\}\) as in Sect. 4.3.
For each \(i>0\), we can realise a critical-level affine \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) subalgebra in \(\Pi ^i_{\textrm{SL}_2}\), generated by the currents
These currents generate the (simple quotient of the) universal current algebra \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\), i.e., the quotient of \(V^{\kappa _c}({\mathfrak {g}})\) where all elements of the Feigin–Frenkel centre are set to zero. The universal \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) is recovered by reintroducing a commutative vertex algebra with generator S that also commutes all of \(\Pi ^i_{\textrm{SL}_2}\). This plays the role of the strong generator of the Feigin–Frenkel centre, and is included in the definition of the lowering operator,
In chiral algebras of class \({{\mathcal {S}}}\), the Feigin–Frenkel generators for the current algebras at each puncture are identified [7, 13], and this is accomplished in the free field realisation by letting the same S appear in each instance of \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\). Indeed, we further identify this with the Feigin–Frenkel generator of \({{\textbf{I}}}_{\textrm{SL}_2}\subset \Pi ^0_{\textrm{SL}_2}\), which gives a realisation of \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) as a subalgebra of \({{\textbf{I}}}_G\otimes \Pi ^i_{\textrm{SL}_2}\).
A conjectured accounting of strong generators for \({\textbf{V}}_{\textrm{SL}_2,s}\) has appeared previously in the literature (see [2, Conjectures 1 & 2]). In particular, there are expected to be s-many sets of \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) currents, the Virasoro stress tensor, and generators \(X^{a_1a_2\dots a_s}\) which transform in the s-fold fundamental representation \({{\textbf{2}}}^{\otimes s}\) of the zero-mode algebra of the \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) currents. Our approach will be to identify free-field candidates for these generators, which can then be checked to strongly generate closed vertex subalgebras.
We start of by constructing the \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) currents \((e_i,h_i,f_i)\) for each puncture \(i=1,\dots ,s\) as above. Next, we identify the highest-weight of the s-fundamental operator,
The remaining components \(X^{a_1a_2\dots a_s}\) of the s-fundamental representation are realised by acting with the \(f_{i,(0)}\) zero modes. In general, we have
For \(s\ne 3\) there are expected to be null relations amongst the composites of the putative strong generators. For small s, we will explicitly identify these null ideals, but in general their structure can be quite intricate. However, the free field realisation constructs a quotiented vertex algebra, so some (conjecturally all) of the the null relations will be automatically satisfied in our realisations of the \({\textbf{V}}_{\textrm{SL}_2,s}\). Finding the exact form of the null relations in the free field realisation amounts to a book-keeping exercise.
The vertex algebras \({\textbf{V}}_{\textrm{SL}_2,s}\) are conformal for all \(s\in {\mathbb {N}}\) with central charge given by
We previously identified the conformal vector of \({\textbf{V}}_{\textrm{SL}_2,0}\cong {{\textbf{I}}}_{\textrm{SL}_2}\) as a canonical free field conformal vector with appropriate background charges chosen. This continues to be the case after introducing punctures, and for \({\textbf{V}}_{\textrm{SL}_2,s}\) we define a conformal vector
Demanding that \(\Delta _{e_i} = \Delta _p = 1\) and fixing the central charge forces the background charges to \(\alpha _{i>0} =0\), and \(\beta _{i>0} = 1\). The background charges \(\alpha _0\) and \(\beta _0\) have been set to \(\frac{3}{2}\) and \(-\frac{1}{2}\) respectively from our arguments in Sect. 4.2.
This conformal vector will generally be included as an additional strong generator for \({\textbf{V}}_{\textrm{SL}_2,s}\). For the special cases \(s=0,1,2,3,4\), the conformal vector is actually redundant, and can be written as a composite of the remaining strong generators, so in these cases there will be a null relation that allows \(T_s\) to be identified with this composite. In our free field realisations, this relation will be automatically satisfied—this was shown above for the case of \(s=0\).
To summarise, we present the following conjectures.
Conjecture 5.1
The vertex algebra \({\textbf{V}}_{\textrm{SL}_2,s}\), for \(s\geqslant 1\), is isomorphic to the subalgebra of \(\Pi _{\textrm{SL}_2}^{\otimes s+1}\) that is weakly generated by the moment maps \(e_i,h_i,f_i\) for \(i=1,\dots ,s\), the highest weight state \(X^{+++\dots +}\). This vertex subalgebra will be simple, with all null relations in its strongly-generated presentation satisfied identically.
Conjecture 5.2
The subalgebra of \(\Pi ^{\otimes s+1}_{\textrm{SL}_2}\) that is weakly generated by \(e_i,h_i,f_i\) for \(i=1,\dots s\) and \(X^{+++\dots +}\) is strongly generated by
-
\(e_i,h_i,f_i\), for \(i=1,\dots ,s\).
-
\(X^{a_1a_2\dots a_s}\), for \(a_i = +,-\).
-
\(T_s\), the conformal vector.
Together, these conjectures imply an algorithmic approach to constructing the strong generators—matching the expectation of [2]—in a free-field realisation of \({\textbf{V}}_{\textrm{SL}_2,s}\) inside \(\Pi ^{\otimes s+1}_{\textrm{SL}_2}\). For \(1\leqslant s\leqslant 4\), we will explicitly verify these statements.
A corollary of these conjectures is that the free field realisations can be performed recursively. Given \({\textbf{V}}_{\textrm{SL}_2,s}\) as a strongly generated vertex algebra, i.e. not as a free field realisation, one can construct a realisation of \({\textbf{V}}_{\textrm{SL}_2,s+1}\), inside \({\textbf{V}}_{\textrm{SL}_2,s}\otimes \Pi _{\textrm{SL}_2}\). The vertex algebra \({\textbf{V}}_{\textrm{SL}_2,s}\) comes with affine currents \(e_i,h_i,f_i\) for \(i=1,\ldots ,s\); let S denote the generator of their common Feigin–Frenkel centre. We can then construct \(e_{s+1},h_{s+1},f_{s+1}\) inside \({\textbf{V}}_{\textrm{SL}_2,s}\otimes \Pi _{\textrm{SL}_2}\) using that common S. Then taking \(X^{a_1a_2\dots a_s}\) to be the state in \({\textbf{V}}_{\textrm{SL}_2,s}\) with weight \(\Delta = \frac{1}{2}(s-2)\), which transforms in the \({{\textbf{2}}}^{\otimes s}\) under the \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) actions provided by \(e_{i,(0)},h_{i,(0)},f_{i,(0)}\), we can define
Letting \(T_s\) be the unique conformal vector of \({\textbf{V}}_{\textrm{SL}_2,s}\) with central charge \(c_s\), then we can define the conformal vector
with central charge \(c_{s+1}\). The vertex algebra \({\textbf{V}}_{\textrm{SL}_2,s+1}\) is isomorphic to the subalgebra of \({\textbf{V}}_{\textrm{SL}_2,s}\otimes \Pi _{\textrm{SL}_2}\) that is strongly generated by \(e_i,h_i,f_i\), for \(i=1,\dots s+1\); the \(X^{a_1a_2\dots a_{s+1}}\); and the conformal vector \(T_{s+1}\).
Note also that this construction makes manifest the action of the symmetric group \(S_s\) on \({\textbf{V}}_{\textrm{SL}_2,s}\). The symmetric group acts by permuting the various affine current algebras as well as by the indices of \(X^{a_1a_2\dots a_s}\). The presence of this automorphism is a consequence of generalised S-duality in four dimensions. The same symmetry is manifest in the construction of [7], which uses s-identical copies of \({\textbf{W}}_{\textrm{SL}_2}\equiv {\textbf{V}}_{\textrm{SL}_2,1}\) as the starting point of its construction of \({\textbf{V}}_{\textrm{SL}_2,s}\).
It is an interesting feature of these free field realisations that the prescription for iterative addition of punctures is a kind of inverse functor to DS reduction—much like in [43]. Given that such an inverse functor has already been provided by the Feigin–Frenkel gluing functor \(\textrm{H}^{\frac{\infty }{2}+0}({{\mathcal {Z}}},{\textbf{W}}_G\otimes -)\) in [7], it is a natural question whether the relation between the two inverse operations can be clarified, and in particular whether the free field approach can be understood as providing a solution to the semi-infinite cohomology problem arising in the Feigin–Frenkel gluing.
5.2 Examples
In the remainder of this section we present details of the implementation of this algorithm for some small values of s, leading to explicit constructions of the corresponding \({\textbf{V}}_{\textrm{SL}_2,s}\). We start with \(s=1\) and work up to \(s=6\) iteratively.
5.2.1 The Cap
The cap vertex algebra was dubbed the equivariant affine \({{\mathcal {W}}}\)-algebra in [7]; here we consider the \({\mathfrak {a}}_1\) case \({\textbf{V}}_{\textrm{SL}_2,1}\simeq {\textbf{W}}_{\textrm{SL}_2}\). A concrete expression for the strong generators and OPEs of this algebra can be found in the appendix of loc. cit., and our realisation will eventually reproduce those results up to field redefinitions. First, however, the general scheme presented above leads to an alternative presentation for \({\textbf{W}}_{\textrm{SL}_2}\).
Let \(e_1\), \(h_1\), \(f_1\) be the strong generators of the \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) subalgebra inside \(\Pi ^0_{\textrm{SL}_2}\otimes \Pi ^1_{\textrm{SL}_2}\) defined as in (5.3) and (5.4). The highest weight state of the generator \(X^a\) (transforming in the fundamental representation of \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\)) is realised by adjoining \(e_1^{\frac{1}{2}}\) to the generator X of \({{\textbf{I}}}_{\textrm{SL}_2}\), while the lowest weight state is recovered by acting with \(f_1\). This gives the following strong generators,
These generators have conformal weight \(-\frac{1}{2}\) and have regular OPEs between themselves. Together with the affine currents, they strongly generate a vertex algebra with a nontrivial center, the generator \(C_{cap}\) of which takes the form
where we have introduced a matrix \(J_1^{ab}\) of \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\) currents according to
and \(X^+\equiv X^1\), \(X^-\equiv X^2\), and where \({{\mathfrak {s}}}{{\mathfrak {l}}}(2)\) indices are lowered according to \(*_a=\epsilon _{ab}*^b\), with \(\epsilon _{+-}=1\). The central quotient of this vertex algebra where we enforce \(C_{cap}=-\mathbb {1}\) will be identified with \({\textbf{W}}_{\textrm{SL}_2}\).
This presentation does not match that of [7], which is due to the amusing fact that this VOA can be equivalently defined to be strongly generated by a different subset of fields. Indeed, the naive expectation for the strong generators of the VOA realised by (one-sided) quantum Drinfel’d–Sokolov reduction from CDOs on \(\textrm{SL}_2\) is that there will be weight \(-\frac{1}{2}\) and a weight \(+\frac{1}{2}\) fundamentals of the remaining \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\), along with a Feigin–Frenkel generator. The extra weight \(+\frac{1}{2}\) generators can be written as \(Y^a = J^{ab}X_b\), which in terms of free fields gives
Meanwhile, the Feigin–Frenkel generator \(S=J^{ab}J_{ab}\) is, of course, given as in \({{\textbf{I}}}_{\textrm{SL}_2}\) by
The \(X^a\), \(Y^a\), and S also strongly generate \({\textbf{W}}_{\textrm{SL}_2}\), with their singular OPEs being given by
The null relation in this case is a lift of (4.23) in \({{\textbf{I}}}_{\textrm{SL}_2}\), and is given by
which can also be thought of as the chiralised version of the determinantal relation in the equivariant Slodowy slice \(\textrm{SL}_2\times S_f\).
In this presentation, the affine currents \(e_1\), \(h_1\), \(f_1\) are realised as composites,
Similarly, the stress tensor \(T_1\) is composite and takes the form
(The conformal vector can also be expressed in terms of just the currents and the \(X^a\), but the form is not particularly illuminating.) This second presentation of the cap agrees precisely with the expressions appearing in the appendix of [7] after making the identifications \(S\mapsto -S\), \(X^i \mapsto - \begin{pmatrix} c \\ a\end{pmatrix}\) and \(Y^i\mapsto \begin{pmatrix} d \\ b \end{pmatrix} \).
5.2.2 The Cylinder
Given \({\textbf{W}}_{\textrm{SL}_2}\), we can construct the cylinder VOA as a subalgebra \(\mathcal {D}^{ch}_{\textrm{SL}_2,-2}\subset {\textbf{W}}_{\textrm{SL}_2}\otimes \Pi _{\textrm{SL}_2}\). This involves first defining a new \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) subalgebra inside \({\textbf{W}}_{\textrm{SL}_2}\otimes \Pi _{\textrm{SL}_2}\)—now with generators \(e_2,h_2,f_2\)—which commutes with the previous affine current algebra. We further define generators
Replacing the \(X^a\) by their free field expressions from the previous subsection, we have
The expressions for \(X^{-+}\) and \(X^{+-}\) are related by performing the permutation \(1\leftrightarrow 2\) on all subscripts. This arises from the manifest permutation symmetry of our construction.
The generators \(X^{ab}\) live in the bifundamental representation of \(({{\mathfrak {s}}}{{\mathfrak {l}}}_2)_1\times ({{\mathfrak {s}}}{{\mathfrak {l}}}_2)_2\), with action given by the zero modes of \(e_i\), \(h_i\), \(f_i\). The OPEs between the \(X^{ab}\) are regular; the only non-trivial OPEs involve \(e_i\), \(h_i\), \(f_i\).
The (central) null ideal in the cap is now lifted to
and the commutative subalgebra generated by the \(X^{ab}\) is identified with the commutative vertex subalgebra \({{\mathcal {O}}}(J_{\infty }\textrm{SL}_2)\), i.e., the chiralisation of \({{\mathcal {O}}}(\textrm{SL}_2)\) inside \(\mathcal {D}^{ch}_{\textrm{SL}_2,-2}\). The \(X^{ab}\) along with the currents, \(e_1,h_1,f_1\), are strong generators of \(\mathcal {D}^{ch}_{\textrm{SL}_2,-2}\).
The conformal vector is again composite, now being given by
Replacing all strong generators with their free field expressions, this reduces exactly to the expression for the canonical \(T_2\) in terms of lattice bosons with background charges.
5.2.3 Three Punctures
Now we reach the traditional starting point of the free field realisation of [16], the three punctured sphere. The vertex algebra \({\textbf{V}}_{\textrm{SL}_2,3}\) is isomorphic to the symplectic bosons associated to the \({{\textbf{2}}}\otimes {{\textbf{2}}}\otimes {{\textbf{2}}}\) representation of \(({{\mathfrak {s}}}{{\mathfrak {l}}}_2)_1\times ({{\mathfrak {s}}}{{\mathfrak {l}}}_2)_2\times ({{\mathfrak {s}}}{{\mathfrak {l}}}_2)_3\). Repeating the same steps that are by now becoming familiar, we define a \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) subalgebra inside \(\mathcal {D}^{ch}_{\textrm{SL}_2,-2}\otimes \Pi _{\textrm{SL}_2}\), generated by \(e_3\), \(h_3\), \(f_3\). We further define trifundamental generators
In terms of the full free field realisation, these generators are given by:
where the other generators are related to the ones displayed by permutations of the lattice variables. The OPEs can be computed direclty, and now take the (expected) exceptionally simple form,
There are no non-trivial null relations amongst the \(X^{abc}\), but the relations in the cylinder now lift to relations identifying the various current subalgebras as composites of the \(X^{abc}\). In particular, we now have
The stress tensor \(T_3\) is just the standard symplectic boson stress tensor, which again reduces to the canonical lattice conformal vector with background charges.
5.2.4 Four Punctures
The free field realisation of \({\textbf{V}}_{\textrm{SL}_2,4}\) inside \({\textbf{V}}_{\textrm{SL}_2,3}\otimes \Pi _{\textrm{SL}_2}\) can be found in [16], but we will revisit the computation in the present context. We again realise a new \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) subalgebra inside \({\textbf{V}}_{\textrm{SL}_2,3}\otimes \Pi _{\textrm{SL}_2}\), and as above, adopt a basis for the currents \(J^{ab}_4\).
The quadrifundamental generators take the usual form,
which can be expressed entirely in terms of free fields as follows
Again one finds free-field expressions for the unlisted generators by applying the appropriate permutation on subscripts. The OPE between the generators is
and taken together with the three sets of \(V^{\kappa _c}({{\mathfrak {s}}}{{\mathfrak {l}}}_2)\) currents these are strong generators of \(L_{-2}({{\mathfrak {d}}}_4)\), the simple quotient of \(V^{-2}({{\mathfrak {d}}}_4)\). The null ideals of this vertex algebra and their relation to Joseph’s minimal realisations [55] were investigated in [16].
5.2.5 Five Punctures
Continuing further, we come to a realisation of \({\textbf{V}}_{\textrm{SL}_2,5}\). We define the usual \(e_5,h_5,f_5\) currents and the generators \(X^{a_1a_2a_3a_4a_5}\) as before. In terms of free-fields, the expressions are somewhat burdensome to write down. (Additionally, it is only the state \(X^{-----}\) that is novel. All other states can be constructed (by appealing to symmetry) from the free-field realisations we have already constructed.)
The nontrivial OPEs are the OPEs of the pentafundamental generators \(X^{a_1a_2a_3a_4a_5}\) amongst themselves, and at this stage the OPEs are very intricate and so to keep the expressions to a manageable length we will suppress all conformal descendants, i.e. we only show contributions from conformal primaries in the OPE. We then have
Here, we have the appearance of a new primary \(S+\frac{1}{4}T_5\). In general, one can show that the state \(S-\frac{6}{c_s}\) is a primary for \(T_s\), with the appropriate value of the central charge.
Finding the exact expression for the generators of the null ideal is now somewhat involved, though largely a book-keeping exercise using the free field expressions. We will not reproduce them here or in the next example.
5.2.6 Six Punctures
We conclude with the realisation of \({\textbf{V}}_{{\mathfrak {a}}_1,6}\), which has strong generators \((e_i,h_i,f_i)\) for \(i=1,2,\dots ,6\), the hexafundamental \(X^{a_1a_2a_3a_4a_5a_6}\), and the stress tensor \(T_6\). The nontrivial OPE is the \(X\times X\) self-OPE of the hexafundamental, which takes the form
where there appear novel primary operators, \(A^{a_ib_i}\), given by
It may be noteworthy that there seems to be some numerology involved in the residues appearing in the OPE. This is not entirely surprising, since the OPEs in the free field realisation are computed by Wick contractions—which are manifestly of a combinatorial nature. It would be interesting to look for a more elegant combinatorial description of these OPEs that makes the n-punctured generalisation immediate, but we will not pursue this for now.
6 Concluding Remarks
6.1 Screening Charges
In many instances, free-field realisations of vertex algebras are accompanied by certain screening charges whose kernel recovers the subalgebra of interest (cf. [43, 50, 56, 57]). One can then often think of a free field realisation of a vertex algebra as a resolution whose first differential is the screening charge.
In the free field realisation of Wakimoto modules, for example, such screening charges exist and admit a geometric interpretation [58]. Namely, they arise from the Cousin–Grothendieck spectral sequence associated to the Bruhat stratification on the flag variety; the free-field realisation is a chiral analogue of the BGG resolution for \({\mathfrak {g}}\)-modules.
A slight modification of the arguments in loc. cit. can be applied to our case. First, we fix some partial ordering \(w_0\ge w_1\ge w_2\ge \dots w_N\) on the Weyl group W, with \(w_0\) the longest element as before. Then G has a stratification
where \(G^i = B w_i B\) and \(G^0\equiv G^*\). Let \(j_i:G^i\hookrightarrow G\) denote the immersions of the strata. If M is a D-module on G, then the Cousin–Grothendieck spectral sequence tells us that M has a resolution
In particular, if \(M={{\mathcal {D}}}_G\) is the sheaf of differential operators on G, then \(j_0^!{{\mathcal {D}}}_G\) can be identified with the sheaf of differential operators on the big cell, \({{\mathcal {D}}}_{G^*}\). From [59, Theorem 5.2.], this lifts to a resolution of the sheaf of (critical level) chiral differential operators on G, \(\mathcal {D}^{ch}_{G,\kappa _c}\). Taking global sections, we have a complex of vertex algebras \((C^\bullet ,\delta _\bullet )\), with \(C^0= \mathcal {D}^{ch}_{G^*,\kappa _c}(G^*)\).
To construct a resolution of the chiral universal centraliser, we can perform the two-sided Drinfel’d–Sokolov reduction on \(\mathcal {D}^{ch}_G(G)\). We form the tri-complex \((C^{\bullet \bullet \bullet },\delta ,d_L,d_R)\), where \(d_{L}\) and \(d_R\) are the BRST differentials computing the left and right DS reductions, respectively. Passing to \(\delta \)-cohomology and then \(d_L\) and \(d_R\) cohomology will, by construction, recover the chiral universal centraliser in cohomological degree zero.
Note that the DS reduction subcomplex is acyclic away from degree zero (see [60] for more detail), so a spectral sequence argument implies that we can algernatively compute the \(d_L\) and \(d_R\) cohomology first before computing the \(\delta \)-cohomology and still realise the chiral universal centraliser in degree zero. Since \(G^*\cong N\times T\times N\), the two-sided DS reduction gives \(\mathcal {D}^{ch}_T(T)\) in degree zero. The resulting complex, \(({{\tilde{C}}}^{\bullet },\delta )\) has zeroth term \({{\tilde{C}}}^0 = \mathcal {D}^{ch}_T(T)\), with
Of course, \(\mathcal {D}^{ch}_T(T)\) is isomorphic to the free field vertex algebra \(\Pi _G\), so the above presentation suggests a reinterpretation of our free-field realisation along with some kind of screening charge \(\delta _0\), i.e., the restriction of the Cousin–Grothendieck differential. However, the above analysis at this level of abstraction does not lead to an explicit expression for a screening charge in the usual sense. We leave a more detailed and concrete analysis for future work.
6.2 Monopoles and Abelianisation
Our realisation of the universal centraliser in terms of functions on the Kostant–Toda lattice is somewhat evocative of Abelianisation-type constructions, in that \(\textrm{KT}_G\cong T^*({\mathbb {C}}^\times )^{\textrm{rk}\,{\mathfrak {g}}}\cong T^*{{\check{T}}}\) and \(T^*{\mathbb {C}}^\times \) may be identified as the Coulomb branch of pure U(1) \({\mathcal {N}}=4\) gauge theory in three dimensions. Indeed, the construction of Braverman–Finkelberg–Nakajima for the Coulomb branches of gauge theories comes with an Abelianisation map. Let \({{\check{T}}}\) be the Langlands dual of the maximal torus T, and let \(\textrm{Gr}_{{{\check{T}}}}= {{\check{T}}}({{\mathcal {K}}})/{{\check{T}}}({{\mathcal {O}}})\) be the affine Grassmannian. Since \({{\check{T}}}\) is abelian, the affine Grassmannian is just a collection of points, parameterised by the coweights of \({{\check{T}}}\). There is a closed embedding \(i:\textrm{Gr}_{{{\check{T}}}}\hookrightarrow \textrm{Gr}_{{{\check{G}}}}\), which gives rise to a dominant morphism [34],
This is actually an isomorphism away from the closed subspace \({{\mathfrak {t}}}^\circ = \bigcup _{\alpha \in \Delta } {{\mathfrak {t}}}_\alpha \), where \({{\mathfrak {t}}}_\alpha \) is the root hyperplane \(\alpha =0\). As a result, \({\mathfrak {Z}}_G\) and \(({{\mathfrak {t}}}\times {{\check{T}}})/\!\!/W\) are birational. In [22], this was used to construct the universal centraliser in terms of a blow up of \(({{\mathfrak {t}}}\times {{\check{T}}})/\!\!/W\).
In the physics literature, \(({{\mathfrak {t}}}\times {{\check{T}}})/\!\!/W\) is just the classical description of the Coulomb branch, which receives quantum corrections from monopole operators [37]. It is tempting, then, to attempt to interpret our free field realisations (and the corresponding finite-dimensional constructions) as an instance of this Abelianisation paradigm. However, such an interpretation is not immediately forthcoming, as in particular for us the Poisson structure on the “Abelian” space (\(\textrm{KT}_G\)) is not corrected, by monopole operators or otherwise.
A construction of Darboux coordinates by Kato has appeared in [61], however this is for the K-theoretic Coulomb branch of pure gauge theory, which is not the universal centraliser.
Nevertheless, it would be interesting to investigate the possibility of a link between the two pictures. This could help frame our construction in terms that are more in keeping with both physics and geometric representation theory, as well as offering the possibility for generalisation away from the case of pure gauge theory.
6.3 Open Questions
In addition to the various conjectures outlined in the main body of the papers, there are a number of issues that remain open to which we hope someone (ourselves or otherwise) will return.
First of all, in starting our construction of chiral algebras of class \({{\mathcal {S}}}\) with the universal centraliser (of type \({\mathrm SL}_2\)), it is clear that the vertex algebras \({\textbf{V}}_{{\mathrm SL}_2,s}\) are sensitive to the choice of the Lie group. Indeed, one could replicate the construction, starting with \({{\textbf{I}}}_{{\mathrm PGL}_2}\), and recover a series of vertex algebras \({\textbf{V}}_{{\mathrm PGL}_2,s}\) which are not isomorphic to \({\textbf{V}}_{{\mathrm SL}_2,s}\). It would seem natural to expect the \({\textbf{V}}_{{\mathrm PGL}_2,s}\) to be finite quotients of the \({\textbf{V}}_{{\textrm{SL}}_2,s}\) with respect to the \({\mathbb {Z}}/2{\mathbb {Z}}\) action of the centre. However, it is unclear whether passing to the \({\mathbb {Z}}/2{\mathbb {Z}}\) invariants in \({\textbf{V}}_{SL_2,s}\) commutes with passing to the Zhu’s \(C_2\) algebra.
The most natural progression is to continue the free-field program for \({\textbf{V}}_{G,s}\) to groups of higher rank. For \(\textrm{SL}_3\), we already have a concrete presentation for the chiral universal centraliser and one could hope in this manner to obtain a presentation of the equivariant affine \({{\mathcal {W}}}\)-algebra as a strongly generated vertex algebra. However, the calculations for \(\textrm{SL}_2\) already become unwieldy at six punctures. To establish the free field realisation on stronger footing we would need to develop a more abstract formalism—rather than the algorithmic approach we have taken so far. We hope to develop such a formalism in upcoming work [62].
The free-field realisations naturally give rise to a construction of a class of vertex algebra modules. Namely, there are natural restriction functors arising from \(\Pi _{\textrm{SL}_2}^{\otimes s}\) modules to modules of \({\textbf{V}}_{\textrm{SL}_2,s}\). There is also, of course, a web of such restrictions, e.g., from \(\Pi _{\textrm{SL}_2}\otimes {\textbf{V}}_{\textrm{SL}_2,s}\) to \({\textbf{V}}_{\textrm{SL}_2,s+1}\) modules. One would hope that the properties of these functors give some partial characterisation of the modules of the chiral algebras of class \({{\mathcal {S}}}\), which are of interest in both four dimensional and three dimensional physics.
Notes
Note that here our \({\mathfrak {Z}}_G\) is denoted by \({\mathfrak {Z}}^G_{\mathfrak {g}}\).
Or alternatively, in terms of compactification of the (2, 0) theory on a Riemann surface of finite size, as in [23].
A physics-motivated computation of the Coulomb branches of \({{\mathcal {N}}}=4\) gauge theories by abelianisation techniques appeared contemporaneously in [37].
One can also obtain the Poisson brackets from the blow-up computation of [22].
As in [16], we take our standard Poisson structure on \(T^*{\mathbb {C}}^\times \) to be \(\{p,e\}=e\) where p is the fibre coordinate and e is the base coordinate.
Note that the \(b_i\), \(\gamma _i\) are linear duals of \(h_i^*\) and \(e_{\alpha _i}^*\), respectively. That is \(b_i(h^*_j)=\delta _{ij}\) and \(\gamma _i(e^*_{\alpha _j}) = \delta _{ij}\), so in particular \(b_i\ne h_i\) under the canonical identification \({\mathfrak {g}}=({\mathfrak {g}}^*)^*\).
Note that \(y\mapsto \theta _p\) does not define an algebraic morphism between \(\textrm{KT}_{\mathfrak {g}}\) and \(\chi +{{\mathfrak {t}}}^*\), since the fundamental domain is not algebraic. Nevertheless, the construction will telescope and \(\theta _p\) itself will not appear in the final definition of the open immersion.
Throughout this section we make liberal use of the Killing isomorphism to represent elements of \({\mathfrak {g}}^*\) as elements in \({\mathfrak {g}}\) without further comment.
The chiral universal centraliser \({{\textbf{I}}}_{\textrm{SL}_2}\) at non-critical level appeared previously in [40] as the regular representation of the Virasoro algebra.
For a selection of values of s, such relations were observed previously by Carlo Meneghelli [54].
By a slight abuse of notation we also denote the natural projection \({{\mathcal {Y}}}\rightarrow {{\mathcal {Y}}}/\!\!/N_L\times N_R\) by \(\pi _{LR}\).
As previously, we append subscripts L and R to distinguish between the generators of \({\mathbb {C}}[(\chi +{{\mathfrak {b}}}^*)_{L/R}]\).
References
Beem, C., Lemos, M., Liendo, P., Peelaers, W., Rastelli, L., van Rees, B.C.: Infinite chiral symmetry in four dimensions. Commun. Math. Phys. 336(3), 1359–1433 (2015). https://doi.org/10.1007/s00220-014-2272-x. arXiv:1312.5344
Beem, C., Peelaers, W., Rastelli, L., van Rees, B.C.: Chiral algebras of class S. JHEP Ser. 05, 020 (2015). https://doi.org/10.1007/JHEP05(2015)020. arXiv:1408.6522
Gaiotto, D., Rapčák, M.: Vertex algebras at the corner. JHEP Ser. 01, 160 (2019). https://doi.org/10.1007/JHEP01(2019)160. arXiv:1703.00982 [hep-th]
Costello, K., Creutzig, T., Gaiotto, D.: Higgs and Coulomb branches from vertex operator algebras. JHEP Ser. 03, 066 (2019). https://doi.org/10.1007/JHEP03(2019)066. arXiv:1811.03958 [hep-th]
Costello, K., Gaiotto, D.: Vertex operator algebras and 3d \( {\cal{N} } \) = 4 gauge theories. J. High Energy Phys. (2019). https://doi.org/10.1007/JHEP05(2019)018
Costello, K., Dimofte, T., Gaiotto, D.: Boundary chiral algebras and holomorphic twists. arXiv:2005.00083 [hep-th]
Arakawa, T.: Chiral algebras of class \({\cal{S}}\) and Moore–Tachikawa symplectic varieties. arXiv e-prints (Nov, 2018), arXiv:1811.01577 [math.RT]
Creutzig, T.: W-algebras for Argyres–Douglas theories. arXiv:1701.05926 [hep-th]
Creutzig, T.: Logarithmic W-algebras and Argyres–Douglas theories at higher rank. JHEP Ser. 11, 188 (2018). https://doi.org/10.1007/JHEP11(2018)188. arXiv:1809.01725 [hep-th]
Xie, D., Yan, W.: W algebras, cosets and VOAs for 4d \( {\cal{N} } \) = 2 SCFTs from M5 branes. JHEP Ser. 04, 076 (2021). https://doi.org/10.1007/JHEP04(2021)076. arXiv:1902.02838 [hep-th]
Xie, D., Yan, W.: 4d \({\cal{N} }=2\) SCFTs and lisse W-algebras. JHEP Ser. 04, 271 (2021). https://doi.org/10.1007/JHEP04(2021)271. arXiv:1910.02281 [hep-th]
Creutzig, T., Dimofte, T., Garner, N., Geer, N.: A QFT for non-semisimple TQFT. arXiv:2112.01559 [hep-th]
Beem, C., Nair, S.: Twisted chiral algebras of class \({\cal{S}}\) and mixed Feigin–Frenkel gluing. arXiv:2201.13435 [hep-th]
Beem, C., Rastelli, L.: Vertex operator algebras, Higgs branches, and modular differential equations. JHEP Ser. 08, 114 (2018). https://doi.org/10.1007/JHEP08(2018)114. arXiv:1707.07679 [hep-th]
Arakawa, T.: A remark on the C2-cofiniteness condition on vertex algebras. Math. Z. 270(1), 559–575 (2012). https://doi.org/10.1007/s00209-010-0812-4
Beem, C., Meneghelli, C., Rastelli, L.: Free field realizations from the Higgs branch. JHEP Ser. 09, 058 (2019). https://doi.org/10.1007/JHEP09(2019)058. arXiv:1903.07624 [hep-th]
Beem, C., Meneghelli, C., Peelaers, W., Rastelli, L.: VOAs and rank-two instanton SCFTs. Commun. Math. Phys. Ser. 377(3), 2553–2578 (2020). https://doi.org/10.1007/s00220-020-03746-9. arXiv:1907.08629 [hep-th]
Beem, C., Meneghelli, C.: Geometric free field realization for the genus-two class S theory of type a1. Phys. Rev. D 104(6), 065015 (2021). https://doi.org/10.1103/PhysRevD.104.065015. arXiv:2104.11668
Moore, G.W., Tachikawa, Y.: On 2d TQFTs whose values are holomorphic symplectic varieties. Proc. Symp. Pure Math. Ser. 85, 191–208 (2012). https://doi.org/10.1090/pspum/085/1379. arXiv:1106.5698 [hep-th]
Kostant, B.: The solution to a generalized Toda lattice and representation theory. Adv. Math. 34(3), 195–338 (1979)
Thielemans, K.: An algorithmic approach to operator product expansions, W algebras and W strings. PhD thesis, Leuven U (1994). arXiv:hep-th/9506159
Bezrukavnikov, R., Finkelberg, M., Mirković, I.: Equivariant (\({K}\)-)homology of affine Grassmannian and Toda lattice. Compos. Math. 141(3), 746–768 (2005). https://doi.org/10.1112/S0010437X04001228. arXiv:math/0306413 [math.AG]
Gaiotto, D., Moore, G.W., Tachikawa, Y.: On 6d \(\cal{N} =\)(2,0) theory compactified on a Riemann surface with finite area. PTEP 2013, 013B03 (2013). arXiv:1110.2657 [hep-th]
Ginzburg, V.: Nil–Hecke Algebras and Whittaker D-Modules, pp. 137–184. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02191-7_6
Kostant, B.: On Whittaker vectors and representation theory. Invent. Math. 48(2), 101–184 (1978). https://doi.org/10.1007/BF01390249
Ginzburg, V.: Harish-Chandra bimodules for quantized Slodowy slices. Represent. Theory (2008). https://doi.org/10.1090/S1088-4165-09-00355-0
Losev, I.V.: Symplectic slices for actions of reductive groups. Mat. Sb. Ser. 197(2), 75–86 (2006). https://doi.org/10.1070/SM2006v197n02ABEH003754
Losev, I.: Quantized symplectic actions and W-algebras. J. Am. Math. Soc. 23(1), 35–59 (2010). https://doi.org/10.1090/S0894-0347-09-00648-1
Seiberg, N., Witten, E.: Gauge dynamics and compactification to three-dimensions. In: Conference on the Mathematical Beauty of Physics (In Memory of C. Itzykson), pp. 333–366. 6, 1996. arXiv:hep-th/9607163
Argyres, P.C., Faraggi, A.E.: The vacuum structure and spectrum of N = 2 supersymmetric SU(n) gauge theory. Phys. Rev. Lett. Ser. 74, 3931–3934 (1995). https://doi.org/10.1103/PhysRevLett.74.3931. arXiv:hep-th/9411057
Martinec, E.J., Warner, N.P.: Integrable systems and supersymmetric gauge theory. Nucl. Phys. B Ser. 459, 97–112 (1996). https://doi.org/10.1016/0550-3213(95)00588-9. arXiv:hep-th/9509161
Teleman, C.: Gauge theory and mirror symmetry. arXiv:1404.6305 [math-ph]
Nakajima, H.: Towards a mathematical definition of Coulomb branches of \(3\)-dimensional \({\cal{N} }=4\) gauge theories, I. Adv. Theor. Math. Phys. Ser. 20, 595–669 (2016). https://doi.org/10.4310/ATMP.2016.v20.n3.a4. arXiv:1503.03676 [math-ph]
Braverman, A., Finkelberg, M., Nakajima, H.: Towards a mathematical definition of Coulomb branches of \(3\)-dimensional \({\cal{N} } = 4\) gauge theories, II. Adv. Theor. Math. Phys. 22, 1071–1147 (2018). https://doi.org/10.4310/ATMP.2018.v22.n5.a1. arXiv:1601.03586 [math.RT]
Braverman, A., Finkelberg, M., Nakajima, H.: Ring objects in the equivariant derived Satake category arising from Coulomb branches (with an appendix by Gus Lonergan). Adv. Theor. Math. Phys. 23, 253–344 (2019). https://doi.org/10.4310/ATMP.2019.v23.n2.a1i. arXiv:1706.02112 [math.RT]
Braverman, A., Finkelberg, M., Nakajima, H.: Coulomb branches of \(3d\)\({\cal{N} }=4\) quiver gauge theories and slices in the affine Grassmannian. Adv. Theor. Math. Phys. 23, 75–166 (2019). https://doi.org/10.4310/ATMP.2019.v23.n1.a3. arXiv:1604.03625 [math.RT]
Bullimore, M., Dimofte, T., Gaiotto, D.: The Coulomb branch of 3d \({{\cal{N} }= 4}\) theories. Commun. Math. Phys. Ser. 354(2), 671–751 (2017). https://doi.org/10.1007/s00220-017-2903-0. arXiv:1503.04817 [hep-th]
Crooks, P.: Kostant–Toda lattices and the universal centralizer. J. Geom. Phys. 150, 103595 (2020). https://doi.org/10.1016/j.geomphys.2020.103595
Ginzburg, V., Kazhdan, D.: Algebraic symplectic manifolds arising in ‘Sicilian theories’ (in preparation)
Frenkel, I.B., Styrkas, K.: Modified regular representations of affine and Virasoro algebras, VOA structure and semi-infinite cohomology. Adv. Math. 206(1), 57–111 (2006)
Berman, S., Dong, C., Tan, S.: Representations of a class of lattice type vertex algebras. J. Pure Appl. Algebra Ser. 176(1), 27–47 (2002)
Malikov, F., Schechtman, V., Vaintrob, A.: Chiral de Rham complex. Commun. Math. Phys. 204(2), 439–473 (1999). https://doi.org/10.1007/s002200050653
Adamović, D.: Realizations of simple affine vertex algebras and their modules: the cases \(\widehat{{{{\mathfrak{s} }}}{{{\mathfrak{l} }}}(2)}\) and \(\widehat{\mathfrak{osp} (1,2)}\). Commun. Math. Phys. 366(3), 1025–1067 (2019). https://doi.org/10.1007/s00220-019-03328-4
Arakawa, T.: Introduction to W-algebras and their representation theory (2017)
Arakawa, T., Moreau, A.: Joseph ideals and lisse minimal \(W\)-algebras. J. Inst. Math. Jussieu Ser. 17(2), 397–417 (2018). https://doi.org/10.1017/S1474748016000025
Arakawa, T., Moreau, A.: Sheets and associated varieties of affine vertex algebras. Adv. Math. 320, 157–209 (2017)
Arakawa, T., Moreau, A.: On the irreducibility of associated varieties of W-algebras. J. Algebra 500, 542–568 (2018). (Special Issue dedicated to Efim Zelmanov)
Arakawa, T., Moreau, A.: Arc spaces and vertex algebras 2021. https://www.imo.universite-paris-saclay.fr/~moreau/CEMPI-arc_space-vertex_algebras.pdf. Draft edition
Li, H.: Abelianizing vertex algebras. Commun. Math. Phys. 259(2), 391–411 (2005). https://doi.org/10.1007/s00220-005-1348-z. arXiv:math/0409140 [math.QA]
Frenkel, E.: Langlands Correspondence for Loop Groups. Cambridge University Press, Cambridge (2007)
de Boer, J., Tjin, T.: The Relation between quantum W algebras and Lie algebras. Commun. Math. Phys. 160, 317–332 (1994). https://doi.org/10.1007/BF02103279. arXiv:hep-th/9302006
Arakawa, T., Kuwabara, T., Malikov, F.: Localization of affine W-algebras. Commun. Math. Phys. 335(1), 143–182 (2015). https://doi.org/10.1007/s00220-014-2183-x
Kuwabara, T.: Vertex algebras associated with hypertoric varieties. Int. Math. Res. Not. 2021(18), 14316–14378 (2020). https://doi.org/10.1093/imrn/rnaa031
Meneghelli, C.: Private communication
Joseph, A.: Minimal realizations and spectrum generating algebras. Commun. Math. Phys. 36(4), 325–338 (1974). https://doi.org/10.1007/BF01646204
Adamović, D.: Classification of irreducible modules of certain subalgebras of free boson vertex algebra. J. Algebra 270(1), 115–132 (2003)
de Boer, J., Feher, L.: Wakimoto realizations of current algebras: an explicit construction. Commun. Math. Phys. Ser. 189, 759–793 (1997). https://doi.org/10.1007/s002200050228. arXiv:hep-th/9611083
Frenkel, E., Gaitsgory, D.: Geometric realizations of Wakimoto modules at the critical level. Duke Math. J. Ser. 143(1), 117–203 (2008). https://doi.org/10.1215/00127094-2008-017
Arakawa, T., Chebotarov, D., Malikov, F.: Algebras of twisted chiral differential operators and affine localization of \({{\mathfrak{g} }}\)-modules. Selecta Math. 17(1), 1–46 (2011). https://doi.org/10.1007/s00029-010-0040-0
Frenkel, E., Gaitsgory, D.: Local Geometric Langlands Correspondence and Affine Kac–Moody Algebras, pp. 69–260. Birkhäuser Boston, Boston (2006). https://doi.org/10.1007/978-0-8176-4532-8_3
Kato, S.: Darboux coordinates on the BFM spaces. arXiv:2008.01310 [math.RT]
Beem, C., Butson, D., Nair, S.: In progress
Acknowledgements
The authors are grateful to Tomoyuki Arakawa, Dylan Butson, Carlo Meneghelli, and Leonardo Rastelli for useful discussions and collaborations on related topics. Christopher Beem’s work is supported in part by grant #494786 from the Simons Foundation, by ERC Consolidator Grant #864828 “Algebraic Foundations of Supersymmetric Quantum Field Theory” (SCFTAlg), and by the STFC consolidated grant ST/T000864/1. Sujay Nair is supported in part by EPSRC studentship #2272671.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Katrin Wendland.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Proof of Theorem 2.2
Proof of Theorem 2.2
In this appendix, we prove Theorem 2.2 regarding the Poisson structure of the universal centraliser for \(G=\textrm{SL}_N\). Namely, we show the following.
Theorem
The Poisson algebra \(I_{\textrm{SL}_N}\) is Poisson generated by \((P_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) and the generator \(X=g_{N1}\).
Proof
Throughout this appendix we adopt the notation \(G=\textrm{SL}_N\) and \({\mathfrak {g}}={{\mathfrak {s}}}{{\mathfrak {l}}}_N\). The proof makes extensive use of the realisation of \({\mathfrak {Z}}_{G}\) as the two-sided Kostant–Whittaker reduction of \(T^*G\). As such, we start with some preliminaries and also recall certain technical details regarding Poisson (coisotropic) reduction in the present setting.
1.1 Preliminaries
Consider the triple \({\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R\times G\), where the subscripts simply distinguish the two \({\mathfrak {g}}^*\) factors. Choose generators \({{\widetilde{g}}}_{ij}\)—conjugate to the matrix elements of a G matrix—for \({\mathbb {C}}[G]\subset {\mathbb {C}}[{\mathfrak {g}}_L^*\times {\mathfrak {g}}^*_R\times G]\). This space is equipped with a Poisson structure by letting linear functions in \({\mathbb {C}}[{\mathfrak {g}}^*_{R/L}]\cong \mathrm Sym~{\mathfrak {g}}\) act according to the left (right) \({\mathfrak {g}}\) action on the \({{\widetilde{g}}}_{ij}\), which then organise themselves into the bifundamental representation \(V_{F}\otimes V_{F}^*\).
The cotangent bundle \(T^*G\) is embedded in \({\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R \times G\) as a closed, Poisson subvariety,
Let \({{\mathcal {J}}}\) be the corresponding defining ideal for \(T^*G\); it is linear in the generators of \({\mathbb {C}}[{\mathfrak {g}}^*_{L/R}]\) and is degree N in the generators, \({{\widetilde{g}}}_{ij}\).
The moment maps for left and right G actions on \(T^*G\) are inherited from the projections \(\pi _{L/R}:{\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R\times G\rightarrow {\mathfrak {g}}^*_{L/R}\), respectively, which are the \({\mathfrak {g}}_L\) and \({\mathfrak {g}}_R\) moment maps of the ambient space. We will study the two-sided KW reduction of this ambient space and carefully analyse the fate of the linear coordinate functions \({{\widetilde{g}}}_{Ni}\) in particular.
Let \({{\mathcal {X}}}:=(\chi +{{\mathfrak {b}}}^*)_L\times (\chi +{{\mathfrak {b}}}^*)_R\times G = \pi _L^{-1}(\chi +{{\mathfrak {b}}}^*)\cap \pi _R^{-1}(\chi +{{\mathfrak {b}}})\), which is a coisotropic subvariety of our ambient space. The two-sided KW reduction is then equivalent to the quotient \({{\mathcal {W}}}:= {{\mathcal {X}}}/\!\!/N_L\times N_R\). Let \(\pi _{LR}\) be the corresponding projection \(\pi _{LR}:{{\mathcal {X}}}\rightarrow {{\mathcal {W}}}\).
To realise the two-sided KW reduction of \(T^*G\), we first define its intersection \({{\mathcal {Y}}}:= T^*G \cap {{\mathcal {X}}}\). The reduction in question is then given by \({{\mathcal {Y}}}/\!\!/N_L\times N_R\cong {\mathfrak {Z}}_G\). Summarising, we have the following base change,Footnote 11
Each square is Cartesian; they both describe \({{\mathcal {Y}}}\) as a fibre product. The arrows directed down and to the left in the diagram are all closed embeddings. Moreover, \(T^*G\rightarrow {\mathfrak {g}}_L^*\times {\mathfrak {g}}_R^*\times G\) is Poisson, so \({\mathfrak {Z}}_G\rightarrow {{\mathcal {W}}}\) is also Poisson by functoriality.
The closed subvariety \(S_f\times S_f\times G\subset (\chi +{{\mathfrak {b}}}^*)_L \times (\chi +{{\mathfrak {b}}}^*)_R\times G\) is a global slice to the \(N_L\times N_R\) action on \({{\mathcal {X}}}\), so \({{\mathcal {W}}}\) can be identified with \( S_f\times S_f \times G\) as varieties. Letting \({{\mathcal {I}}}\) denote the defining ideal of \(S_f\times S_f\times G\) inside \({{\mathcal {X}}}\), the Poisson structure on \({{\mathcal {W}}}\simeq S_f\times S_f \times G\) is then defined in the following (standard) manner.
For every \(a,b\in {\mathbb {C}}[{{\mathcal {W}}}]\) we have canonical extensions \(\pi _{LR}^\#(a), \pi _{LR}^\#(b)\in {\mathbb {C}}[{{\mathcal {X}}}]\). Choose any further extensions \(A,B\in {\mathbb {C}}[{\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R\times G]\). Then the Poisson bracket on \({{\mathcal {W}}}\) is the unique bracket satisfying
In the present case, things are considerably simpler than in general. Since \(G\times S_f\times S_f\) is a slice, the following triangle commutes.
On functions, this means that if \(f\in {\mathbb {C}}[{{\mathcal {W}}}]\) is identified with to \(f'\in {\mathbb {C}}[S_f\times S_f\times G]\) under the isomorphism, then its extension \(\pi ^\#_{LR}(f)\) has the form \(\pi ^\#_{LR}(f) = f' + {{\mathcal {I}}}\). Consequently, determining the extension \(\pi _{LR}^\#\) is equivalent to identifying an injective section
whose image is isomorphic to \({\mathbb {C}}[{{\mathcal {X}}}]^{N_L\times N_R}\).
We are free to choose any further extension to \({\mathbb {C}}[{\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R\times G]\), and in particular we can choose these extensions to live in the Poisson subalgebra \({\mathbb {C}}[{{\mathfrak {b}}}^*\times {{\mathfrak {b}}}^*\times G]^{N_L\times N_R}\) of \({\mathbb {C}}[{\mathfrak {g}}^*\times {\mathfrak {g}}^*\times G]\), which is identified as a ring with \({\mathbb {C}}[{{\mathcal {X}}}]^{N_L\times N_R}\), the target of \(\sigma \).
Summing up, for \(a,b\in {\mathbb {C}}[S_f\times S_f\times G]\), their Poisson bracket can be computed as
where we interpret \(\sigma (a),\sigma (b)\) as elements of the Poisson subalgebra \({\mathbb {C}}[{{\mathfrak {b}}}^*_L\times {{\mathfrak {b}}}^*_R\times G]^{N_L\times N_R}\) as described above. With this technical detail out of the way, we now move on to the proof of Theorem 2.2 itself.
1.2 Reducing Coordinates
Let \(\Phi \) be the set of positive roots of \({\mathfrak {g}}\); we want to introduce some coordinates on \({\mathfrak {g}}^*\). For \({{\mathfrak {t}}}^*\) we shall introduce the linear duals, \((h_i)_{i=1}^{\textrm{rk}\,{\mathfrak {g}}}\) in \({{\mathfrak {t}}}\) (as in the case of \(\textrm{KT}_{\mathfrak {g}}\)). Now for \({\mathfrak {n}}^*\), if \((e_\alpha )_{\alpha \in \Phi }\) are a basis of \({\mathfrak {n}}\) then \(\big ((e_{\alpha },-)\big )_{\alpha \in \Phi }\) form a basis of \({\mathfrak {n}}^*\). Therefore, the linear dual to \((e_{\alpha },-)\) is \(e_{-\alpha }\in {\mathfrak {n}}_-\). We choose \((e_{-\alpha })_{\alpha \in \Phi }\) to be coordinates on \({\mathfrak {n}}^*\). The ideal \({{\mathcal {I}}}\) is generated by \(h_{i,L}\), \(h_{i,R}\) for \(i=1,\ldots N\) along with a linearly independent basis of the differences,Footnote 12
where \(\alpha ,\beta \in \Phi \) are two roots with the same height.
The generator \(P_1\in {\mathbb {C}}[S_f]\) is extended to \({\mathbb {C}}[\chi +{{\mathfrak {b}}}^*]\) as the restricted quadratic fundamental invariant, so the associated left and right versions are realised according to
where we recall that \(\Delta \) is the set of simple roots of \({\mathfrak {g}}\) and \(\kappa ^{ij}\) are the components of the Killing form.
Next consider the coordinate functions on G. We will use \(g_{ij}\) for the generators of \({\mathbb {C}}[G]\subset {\mathbb {C}}[S_f\times S_f\times G]\), and continue to use \({{\widetilde{g}}}_{ij}\) for the generators of \({\mathbb {C}}[G]\subset {{\mathcal {X}}}\). The subalgebra generated by “bottom row” entries \(({{\widetilde{g}}}_{Ni})_{i=1}^{N}\) is \(N_L\)-invariant, while that generated by “left column” entries, \(({{\widetilde{g}}}_{i1})_{i=1}^N\) is \(N_R\)-invariant. In particular, \({{\widetilde{g}}}_{N1}\) is itself \(N_L\times N_R\)-invariant since it is the highest weight vector. So the function \(g_{1N}\) on \(S_f\times S_f\times G\) extends in an \(N_L\times N_R\)-invariant way to all of \({{\mathcal {X}}}\), and \(\sigma (g_{N1})={{\widetilde{g}}}_{N1}\).
Consider now the function \(\sigma (\{P_{1,R},g_{N1}\})\in {\mathbb {C}}[{{\mathcal {X}}}]\)—the Poisson bracket is computed in \({\mathbb {C}}[{\mathfrak {g}}^*_L\times {\mathfrak {g}}^*_R\times G]\) using (A.8), which gives
where \(a_i\) are the components of the highest weight of the fundamental representation of \(\textrm{SL}_N\). By construction, this Poisson bracket must lie in \({\mathbb {C}}[{{\mathcal {X}}}]^{N_L\times N_R}\), and so lies in the image of \(\sigma \). Restricting the expression (A.9) to \(S_f\times S_f\times G\) returns \(g_{N2}\). Since \(\sigma \) is injective, this fixes \(\sigma (g_{N2})\) to the above expression.
The sum of simple negative roots acts on the fundamental representation of \(\textrm{SL}_N\) as a lowering operator, Therefore, from (A.8)
for \(i=1,\ldots ,N-1\) where \(c_i\) are linear in the \((h_j)_{j=1}^{N}\).
Lemma A.1
For \(i=1,\dots ,N\), the extension of \(g_{Ni}\) is of the form
where \(K_{ij}\) are homogeneous, degree j polynomials in the generators of \({{\mathcal {I}}}\).
Proof
We proceed by induction, noting that the case \(i=1,2\) have been verified. Now suppose \(i<N\). From (A.8) and the inductive assumption, we have
The subleading terms are all in \({{\mathcal {I}}}\), except for the final term which we split as \(\{\sigma (P_{1,R}),K_{ij}\} = F_{ij} + {{\mathcal {I}}}\), where \(F_{ij}\) are homogeneous polynomials of degree j in the \((P_{k,R})_{k=1}^N\) (restricted to \(S_f\)). Restricting to \(S_f\times S_f\times G\), we have \(\{ P_{1,R}, g_{Ni}\} = g_{N,i+1} + \sum _{j}^{i-1}F_{ij} g_{Nj}\).
Therefore, the extension of \(g_{N,i+1}\) is
which is in the desired form. \(\square \)
In the proof of Lemma A.1 we argued that for \(i=1,\dots , N-1\), if \(\sigma (g_{Ni})\) have the form of (A.11) then \(\sigma (g_{N,i+1})\) can be written as a linear combination of \(\{\sigma (P_{1,R}),\sigma (g_{N,i+1})\}\) and the \((F_{ij}g_{Nj})_{j=1}^{i-1}\). By restricting to \(S_f\times S_f\times G\), we find an analogous result for the \((g_{Ni})_{i=1}^N\). By induction, this means that each \(g_{Ni}\) are Poisson generated by \(g_{N1}\) and the fundamental invariants, \((P_{i,R})_{i=1}^N\).
All that remains is to consider the restriction of these functions to \({\mathfrak {Z}}_G\subset S_f\times S_f\times G\). The embedding \({\mathfrak {Z}}_G\rightarrow S_f\times S_f\times G\) has image
Since \(S_f\) is transversal to the G-action, two distinct points on the slice cannot be G-conjugate. Therefore, this embedding factors through the closed embedding \({\mathfrak {Z}}_G\hookrightarrow G\times S_f\) with \(G\times S_f\subset G\times S_f \times S_f\) realised as the diagonal. This amounts to enforcing the relation \(P_{i,L}=P_{i,R}\) for each \(i=1,\dots ,N\). We know from Proposition 2.1 that the matrix entries of the bottom row of G are ring generators. Thus, we conclude that \(g_{N1}\) and \(P_{i,R}\) Poisson generate \(I_G\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Beem, C., Nair, S. Free Field Realisation of the Chiral Universal Centraliser. Ann. Henri Poincaré 24, 4343–4404 (2023). https://doi.org/10.1007/s00023-023-01305-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01305-1