Abstract
The main result of this paper is the construction of a family of superintegrable Hamiltonian systems on moduli spaces of flat connections on a principal G-bundle on a surface. The moduli space is a Poisson variety with Atiyah–Bott Poisson structure. Among particular cases of such systems are spin generalizations of Ruijsenaars–Schneider models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let G be a connected simple linear algebraic group over \({\mathbb {C}}\). In this paper we construct superintegrable Hamiltonian systems on moduli spaces of flat G-connections over any oriented surface with nonempty boundary. Hamiltonians of such systems are traces of holonomies along non intersecting non self-intersecting curves. The construction naturally works in the same way for various real forms of G, for example for compact simple Lie groups or for split real forms.
The fact that Hamiltonian integrable systems appear in the context of gauge theories is not new, with Hitchin systems [H87] being one of the well known examples. Calogero–Moser type systems were put in the context of gauge theory in early 1990’s, see [GN94, GN95] and references therein.Footnote 1 At about the same time, Jeffrey and Weitsman [JW92, JW94] have constructed an integrable system on the SU(2) moduli space of flat connections on a closed genus g surface. Hamiltonians of this system were given by traces of holonomies along the maximal collection of nonintersecting curves. In the higher rank case, the total number of hamiltonians which can be constructed from class functions of such holonomies is insufficient for Liouville integrability.
The main result of this paper involves the notion of a superintegrable Hamiltonian system which we review in Sect. 1, and of graph functions which we review in Sect. 2.2. Denote the moduli space of flat G-connections on \(\Sigma \) as \({\mathcal {M}}^G_\Sigma \). Our main result is the following theorem.
Theorem 1
Let \(\Sigma \) be an oriented surface of genus g with \(b>0\) boundary components and G be a connected simple linear algebraic group over \({\mathbb {C}}\). For each disjoint union of pairwise nonhomotopic simple closed curves \(C=C_1\sqcup \cdots \sqcup C_k\) in \(\Sigma \), none of which is homopotic to a boundary component, the following inclusion of Poisson algebras defines an affine superintegrable system
Here \(Z_{\partial \Sigma }\) is the algebra of G-invariant functions on holonomies around boundary components, \(B_C\) is a subalgebra of the coordinate ring \(O[{\mathcal {M}}^G_\Sigma ]\) generated by graph functions \(F_{\Gamma ,V,c}\) with \(\Gamma \) being contractible to \(C\sqcup \partial \Sigma \). Similarly, \(J_{\Sigma \backslash C}\) is a subalgebra generated by graph functions \(F_{\Gamma ,V,c}\) with \(\Gamma \subset (\Sigma \backslash C)\).
We also introduce the notion of a refinement of one superintegrable systems by the other. The refinement defines a partial order on the space of superintegrable systems.
For a torus with one puncture these systems are spin Ruijsenaars systems (also known as relativistic spin Calogero–Moser systems) [FGNR00, Res16]. For a torus with two punctures they are relativistic deformations of two sided spin Calogero–Moser systems [Res18] corresponding to symmetric pair \(G\subset G\times G\) where G is embedded diagonally. A closely related example of systems on a torus with n punctures and rank one conjugation orbits of \(SL_n\) is closely related to the systems studied in [CF18]. In this case the systems are actually Liouville integrable and they admit a superintegrable refinement. The maximal integrability in this case is achieved by a superintegrable system with \(r={\mathrm {rk}}(G)\) independent Poisson commuting integrals. The minimal integrability is a Liouville integrability with \(b\,{\mathrm {rk}}(G)\) Poisson commuting integrals. In our framework these correspond to different choices of cycles C.
The mapping class group acts on the moduli space of flat connections by Poisson automorphisms. If C and \(C'\) are collections of cycles on surface \(\Sigma \) which belong to the same orbit of the Mapping Class Group action, the corresponding superintegrable systems are isomorphic. An example of such isomorphism in the genus one case for involution exchanging the equator and meridian of the torus gives rise to a self-duality of the Ruijsenaars system [FGNR00, FR99, FK11]. For a spin version of this duality see [Res16].
The plan of this paper is as follows. In the first section we recall the definition of superintegrable (degenerately integrable) systems. There we also define the notion of an affine superintegrable system in the algebro-geometrical setting. The second section is an overview of basic notions about moduli spaces of flat connections on a surface. In this section we also recall the definition of graph functions and the description of Poisson brackets between two such functions. In the third section we describe the main result, the construction of a family of Hamiltonian systems defined by a choice of non intersecting, non self intersecting cycles and prove their superintegrability. At the end of this section we introduce the notion of a partial order on such systems. In section 4 we explain how solutions to equations of motion of these superintegrable systems can be solved using the projection method. Sect. 5 has some genus one examples. In the conclusion we define a conjecturally superintegrable system on the space of chord diagrams, discuss the case of non-generic conjugation orbits and some further directions.
2 Superintegrable Systems
2.1 Superintegrable systems
For an overview of superintegrable systems see for example [SInt, Res16]. Here we recall briefly basic definitions and introduce the notion of an affine superintegrable system.
The notion of a superintegrable Hamiltonian systems was introduced in [Nek72] (where he called them degenerate integrable systems) as a generalization of the Liouville integrable systems. Superintegrable system on a 2n dimensional smooth symplectic manifold has \(m>n\) independentFootnote 2 first integrals, however only k of them are in involution and \(m+k=2n\). A particular case when \(m=k=n\) corresponds to Liouville integrable systems. First examples of such systems appeared earlier [Pa26, F35, FMSW65]. A family of examples of superintegrable systems associated to Lie groups was given in [MF78]. More recent examples include charateristic systems on simple Poisson–Lie groups [Res03a], spin Calogero–Moser and Ruijsenaars systems [Res03b] and their relativistic counterparts [Res16].
Geometrically, a superintegrable system of rank k on a symplectic manifold \({\mathcal {M}}_{2n}\) consists of a Poisson manifold \({\mathcal {P}}_{2n-k}\), a manifold \({\mathcal {B}}_k\)Footnote 3 (considered as a Poisson manifold with trivial symplectic structure) and Poisson projections
Denote by \(A=C^\infty ({\mathcal {M}}_{2n})\) the algebra of smooth functions on \({\mathcal {M}}_{2n}\). It is equipped with a Poisson bracket \(\{,\}\) determined by the symplectic structure. In terms of functions on \({\mathcal {M}}_{2n}\) superintegrable system is determined by two Poisson subalgebras of A:
where \(J=C^\infty ({\mathcal {P}}_{2n-k})\) and \(B=C^\infty ({\mathcal {B}}_k)\). The subalgebra B is a Poisson commutative subalgebra and J is the Poisson centralizer of B, i.e. J is the maximal subalgebra in A such every element from J Poisson commutes with every element from B.
Elements of subalgebra B define derivations of A
Because B is Poisson commutative, these derivations commute
Derivation \(D_b\) is the Lie derivative along the Hamiltonian vector field on \({\mathcal {M}}_{2n}\) generated by b. We refer to elements of B as Hamiltonians of a superintegrable system (2). On the other hand, elements of subalgebra J are precisely the first integrals of the Hamilton flow generated by b, i.e. they are constant on flow lines of the Hamiltonian vector field generated by b.
Fix \(b_1,\ldots ,b_k\in B\), a choice of independent Hamiltonians. Corresponding vector fields \(D_{b_1},\ldots ,D_{b_k}\in T{\mathcal {M}}_{2n}\) are independent at every point \(x\in {\mathcal {M}}_{2n}\) and hence form a basis on the k-dimensional subspace of \(T_x{\mathcal {M}}_{2n}\) defined by the level set of J. Algebraically, these vector fields \(D_{b_1},\ldots ,D_{b_k}\in Der_J(A)\) define derivations of A relative to J. Balance of dimensions in (1) is equivalent to the fact that \(Der_J(A)\) is generated as an A-module by Hamiltonian vector fields of the form \(D_b\) for \(b\in B\).
2.2 Affine superintegrable systems
In many interesting examples superintegrable systems appear in families on affine Poisson varieties, we refer to such families as affine superintegrable systems.
Definition 2
Let \({\mathcal {A}}\) be an affine varietyFootnote 4 over \({\mathbb {C}}\) with a ring of regular functions \( A={\mathcal {O}}[{\mathcal {A}}]\) equipped with a Poisson bracket \(\{,\}:A\otimes A\rightarrow A\). Suppose further that the Poisson tensor has rank 2n on an open dense subset of \({\mathcal {A}}\). We say that a chain of inclusions of finitely generated Poisson subalgebras
is an affine superintegrable system if
and
where \({\mathcal {J}}=\mathrm {Spec}\,J,\;{\mathcal {B}}=\mathrm {Spec}\,B,\;{\mathcal {Z}}=\mathrm {Spec}\,Z\) stand for the spectrum of prime ideals of J, B, Z respectively.
Inclusions (4) are equivalent to the chain of dominant maps of affine schemes which preserve the Poisson bracket
Definition 2 implies that general fibers of \(p_2\) are symplectic leaves of \({\mathcal {J}}\),Footnote 5 while general fibers of the composition map p
are symplectic leaves of \({\mathcal {A}}\).
As a corollary, open subset \({\mathcal {M}}_{2n}(z)\) of irreducible component of a general fiber \(p^{-1}(z),\;z\in {\mathcal {Z}}\) can be viewed as a phase space of a superintegrable system. \({\mathcal {M}}_{2n}(z)\) comes equipped with two poisson projections of the form (1). Thus, as we already mentioned, affine superintegrable systems should be regarded as families of superintegrable systems.
2.3 Refinement of a superintegrable system
Here we will introduce the notion of a refinement of a superintegrable system. It gives a partial order on all superintegrable systems on a given Poisson algebra A. A minimal object in this partial order is known as a maximally superintegrable system. Maximal superintegrability means that all invariant tori are one dimensional [SInt].
Let
be two superintegrable systems on a Poisson algebra A with the Poisson center Z.
Definition 3
The first superintegrable system is a refinement of the second if the following chain of Poisson inclusions hold:
Clearly a refinement defines a partial order on the set of integrable systems.
Another important relation is an equivalence of integrable systems
Definition 4
Two integrable systems (6) are equivalent if there is a Poisson automorphism \(\varphi :A\rightarrow A\) such that \(J_2=\varphi (J_1)\) and \(B_1=\varphi (B_2)\).
3 Moduli Spaces of Flat Connections
3.1 Character variety of the fundamental group
Let \(\Sigma _{g,b}\) be an oriented surface of genus g with b boundary components. We will consider only surfaces with \(b>0\). The fundamental group \(\pi _1(\Sigma ,p)\) with the base point p of such surface is generated by elements \(x_1,\cdots , x_g, y_1,\cdots , y_g,z_1,\cdots z_{b}\) with one defining relation:
Here \(x_i\) and \(y_i\) are fundamental cycles for \(\Sigma \) and \(z_i\) is the cycle for i-th boundary component.Footnote 6
The character variety of \(\pi _1(\Sigma _{g,b})\) in a simple complex linear algebraic group G is the categorical quotient of the space of group homomorphisms from \(\pi _1(\Sigma _{g,b})\) to G with respect to conjugations by GFootnote 7:
For \(b>0\) we have an obvious isomorphism:
We can choose this isomorphism as the mapping which assigns to a group homomorphism \(\rho : \pi _1(\Sigma _{g,b})\rightarrow G\) an element \((\rho (x_1),\ldots , \rho (x_g), \rho (y_1), \ldots , \rho (y_g), \rho (z_1),\ldots , \rho (z_{b-1}))\in G^{\times (2g+b-1)}\) and then projects it to the conjugacy class in .
3.2 Moduli space of surface graph connections
Denote by \(V(\Gamma )\) and \(E(\Gamma )\) the set of vertices and edges of an oriented graph \(\Gamma \). Graph connection is an assignment of a parallel transport \(g_e\in G\) to each oriented edge \(e\in E(\Gamma )\).
The gauge group \(G(V)\simeq G^{V(\Gamma )}=\{ V(\Gamma )\rightarrow G, \ \ v\mapsto h_v\}\) acts on a graph connection g as
where t(e) is the target vertex for an oriented edge e and s(e) is its source vertex.
Assume that \(\Gamma \subset \Sigma \) is an oriented embedded graph such that \(\Sigma \backslash \Gamma \) is a disjoint collection of disks and b annuli corresponding to the boundary components of \(\Sigma =\Sigma _{g,b}\). We will call such graphs simple. Hereinafter we allow graphs to have multiple edges and loops.
Let \(F(\Gamma )\) be the set of contractible faces, i.e. the set of disks in \(\Sigma _{g,b}\backslash \Gamma \). For every disk \(D\in F(\Gamma )\) choose an arbitrary vertex \(w_D\in \partial D\) and let
be the holonomy of graph connection along the boundary of a disk, based at \(w_D\in \partial D\). The product of elements \(g_{e_j}^{\epsilon _j}\in G\) associated to each edge \(e_j\in \partial D\) is given according to the total order induced by the orientation of the surface and choice of \(w_D\in \partial D\). The relative orientation \(\epsilon _j\) is \(+1\) when the orientations of \(e_j\) and \(\partial D\) coincide and \(-1\) otherwise.
A graph connection over \(\Gamma \subset \Sigma \) is called flat if \(g_{\partial D}=1\) for all \(D\in F(\Gamma )\). Note that this condition does not depend on the choice of the base vertex \(w_D\in \partial D\). Define the space of flat graph G-connections \({\mathcal {A}}_{(\Sigma , \Gamma )}\) on \(\Gamma \subset \Sigma \) as the space of such flat connections.
When G is a linear algebraic group, the space of flat graph connections is an algebraic subset of \(G^{|E(\Gamma ))|}\) equipped with a regular action of G(V). The moduli space of flat graph connections is the categorical quotient
Let \(e\in E(\Gamma )\) be an edge which connects two distinct vertices, denote as \(\Gamma _e\) an embedded graph obtained from \(\Gamma \) by contracting an edge e. Similarly, for any contractible face \(D\in F(\Gamma )\) which has an edge \(e\in \partial D\) that appears only once in \(\partial D\) we can define an ebedded graph \(\Gamma ^e=\Gamma \backslash e\). Recall that \(\Gamma \) was simple, i.e. its complement in \(\Sigma \) is the union of disks and annuli. It is clear that \((\Sigma \backslash \Gamma ^e)\) is also simple. The flatness condition \(g_{\partial D}=1\) guarantees the isomorphism of schemes.
Theorem 5
The following schemes are isomorphic:
Proof
Resolving one of the relations \(g_{\partial D}=1\) we obtain an isomorphism of G(V)-modules \({\mathcal {O}}[{\mathcal {A}}_{(\Sigma ,\Gamma )}]\simeq {\mathcal {O}}[{\mathcal {A}}_{(\Sigma ,\Gamma ^e)}]\). Taking the G(V)-invariant part we conclude
and therefore \({\mathcal {M}}^G_{(\Sigma , \Gamma )}\simeq {\mathcal {M}}^G_{(\Sigma , \Gamma ^e)}\).
Now let us prove the first isomorphism in (7). Let \(e_0\) be an edge of \(\Gamma \) with adjacent vertices \(v=s(e_0)\) to \(w=t(e_0)\). Here s(e), t(e) stand for the source and target of e respectively. Contracting of \(e_0\) maps vertices v and w to one vertex \(w_0\) of the new graph \(\Gamma _{e_0}\) which is the contraction of \(\Gamma \). Denote this mapping by \(\pi _{e_0}\).
The contraction of \(\Gamma \) to \(\Gamma _{e_0}\) defines a functor between the fundamental groupoids which we will denote by the same letter \(\pi _{e_0}: \Pi (\Gamma )\rightarrow \Pi (\Gamma _{e_0})\). It is clear that this is a projection. Choose a section \(\phi : \Pi (\Gamma _{e_0})\rightarrow \Pi (\Gamma )\) of \(\pi _{e_0}\), so that \(\pi _{e_0}\phi =id\). It is clear that \(\phi \) does not have to be unique, but it always exists. This is illustrated on Fig. 2.
The functors \(\pi _{e_0}\) and \(\phi \) define the projection \(p_{e_0}: {\mathcal {A}}_{(\Sigma , \Gamma )}\rightarrow {\mathcal {A}}_{(\Sigma , \Gamma _{e_0})}\) and its section \(f: {\mathcal {A}}_{(\Sigma , \Gamma _{e_0})}\rightarrow {\mathcal {A}}_{(\Sigma , \Gamma )}\). Taking quotients with respect to the gauge group we obtain the projection \([p_{e_0}]: {\mathcal {M}}_{(\Sigma , \Gamma )}\rightarrow {\mathcal {M}}_{(\Sigma , \Gamma _{e_0})}\) and its section \([f]: {\mathcal {M}}_{(\Sigma , \Gamma _{e_0})}\rightarrow {\mathcal {M}}_{(\Sigma , \Gamma )}\). Comparing dimensions we conclude that these mappings are isomorphisms. The section f depends on the choice of \(\phi \). It is easy to see that the corresponding mapping [f] between moduli spaces does not. \(\square \)
Corollary 6
For any oriented embedded graph \(\Gamma \in \Sigma _{g,b}\) such that \(\Sigma _{g,b}\backslash \Gamma \) is a disjoint union of discs and b annuli, the moduli space of graph connections is isomorphic to the G-character variety
Corollary 7
The dimensions of moduli spaces of graph connections on surface \(\Sigma _{g,b}\) with \(b>0\) are:
3.3 Colored immersed graphs
Let \(\Gamma \) be an oriented graph.
Definition 8
An edge coloring of \(\Gamma \) is an assignment of a finite-dimensional G-representation \(V_\epsilon \) to each edge \(e\in \Gamma \) of the oriented graph. We will denote edge colored graph as \((\Gamma , V)\).
We say that an oriented graph \(\Gamma \) is immersed in a surface \(\Sigma _{g,b}\) if the inclusion mapping \(I:\Gamma \rightarrow \Sigma _{g,b}\) is locally an embedding.Footnote 8 If the intersection of \(\Gamma \) on \(\Sigma _{g,b}\) are transversal, we will call it transversally immersed.
Orientation of the surface induces a cyclic order on edges adjacent to a given vertex. For each vertex \(v\in V(\Gamma )\subset \Sigma \) let us choose a total ordering \(e_1,\ldots , e_n\) of the adjacent edges which agrees with the cyclic ordering induced by the orientation of \(\Sigma \). We will refer to this as edge ordering of \(\Gamma \subset \Sigma \). For a finite dimensional vector space V define \(V^+=V\) and \(V^-=V^*\). For each vertex of edge ordered graph define the space
Here \(\epsilon _i=+1\) is oriented outward from v, i.e. \(v=s(e_i)\) and \(\epsilon =-1\) otherwise, i.e. when \(v=t(e)\)Footnote 9.
Definition 9
A vertex coloring of \((\Gamma ,V)\) is an assignment of a vector \(c_v\in V(v)^G\) to each vertex v of an edge ordered oriented graph \(\Gamma \).
Here \(V(v)^G\) is the space of G-invariant vectors in a representation V(v).
We define colored graph \({\varvec{\Gamma }}=(\Gamma ,V,c)\) as an edge ordered oriented immersed graph \(\Gamma \) equipped with an edge coloring V and a vertex coloring c.
3.4 Invariant functions on connections associated to immersed graphs
3.4.1 .
For each colored graph \((\Gamma ,V,c)\) embedded into \(\Sigma \) one can associate a function \(F_{\Gamma ,V,c}\) on connections on the principal G-bundle over \(\Sigma _{g,b}\) [AMR96] as follows.
For a graph \(\Gamma \) with an edge coloring V define the following G-module
Here we assume a choice of a linear ordering on vertices. The space V(v) are defined in (9). Note that V(v) can also be written as
Here S(v) is the star of vertex vFootnote 10 and \(\epsilon (e,v)=+\) if e is outgoing and \(\epsilon (e,v)=-\) if it is incoming.
By changing the order of factors in tensor product we obtain a natural isomorphism of G-modules
The space \({{\mathbf {V}}}(\Gamma )\) comes equipped with a symmetric bilinear form \(\langle ,\rangle \) defined on pure tensors \({\mathbf {u}},{\mathbf {w}}\in {\mathbf {V}}\) by the following rule
where
Here \(u_{e,s(e)}, w_{e,s(e)}\in V_e\) and \(u_{e,t(e)}, w_{e,t(e)}\in V_e^*\)
3.4.2 .
It is clear that a principal G-bundle \(E_\Sigma \) over \(\Sigma \) defines a principal G-bundle \(E_\Gamma \) over vertices of \(\Gamma \subset \Sigma \). A connection A on \(E_\Sigma \) defines a graph connection on \(E_\Gamma \) with the parallel transport along the edge e being the parallel transport along \(e\subset \Sigma \) with respect to connection A. The evaluation of the parallel transport along e in the representation \(V_e\) we will denote by \(P^A_e: V_e\rightarrow V_e\).
Define the vector \({\varvec{\pi }}^A\in {\mathbf {V}}\) in the G-module (10) as
Here we assume a choice of total ordering on the set of edges and the identification with the tensor product with the reordered tensor product as in (11). The holonomy map \(P_e\) we regard as a vector in \(V_e\otimes V_e^*\).
From the coloring of vertices we we get another vector \({\mathbf {c}}^\Gamma \in {{\mathbf {V}}}(\Gamma )\)
Here \(c_v^\Gamma \) is the coloring of the vertex v i.e. a vector in \(V(v)^G\subset V(v)\).
Definition 10
Define graph functions using the symmetric bilinear form (12) as
Proposition 11
Graph functions have the following properties:
where \(A^g\) is a flat connection A after gauge transformation g. If the connection is flat, the function \(F_{\Gamma ,V,c}(A)\) depends only on the isotopy class \([\Gamma ]\) of \(\Gamma \).
Proof
By Definition 9, \(c_p^\Gamma \in V(p)^G\) is an invariant vector for each vertex p of the graph. Hence, each function \(F_{\Gamma ,V,c}\) is invariant under gauge transformations of A. Moreover, when A is flat connection, \(F_{\Gamma _1,V,c}(A)=F_{\Gamma _2,V,c}(A)\) whenever an immersed graph \(\Gamma _1\) can be deformed to \(\Gamma _2\) by the regular homotopy (i.e. homotopy through graph immersions).
As a result, for each triple \(([\Gamma ],V,c)\) where \([\Gamma ]\) is the isotopy class of an immersed oriented ordered graph \(\Gamma \), V is an edge coloring and c is a vertex coloring we have a function \(F_{[{\varvec{\Gamma }}], V,c}=F_{\Gamma ,V,c}\) on the moduli space of flat connections on \(\Sigma _{g,b}\). As a consequence, F is a function of the moduli space of flat connections. \(\square \)
Theorem 12
[AMR96]. Functions \(F_{[\Gamma ],V,c}\) span the coordinate ring (7) of the moduli space of G-representations of the fundamental group \(\pi _1(\Sigma _{g,b},p)\) .
Proof
By an algebraic analogue of Peter–Weyl theorem, the coordinate ring \(R={\mathcal {O}}[G^N]\) of G-representations of the fundamental group can be decomposed as a \(G^N\times \left( G^N\right) ^{op}\)-module
where \(W_\lambda \) stands for a finite-dimensional irreducible representation with highest weight \(\lambda \).
In particular, (15) is an isomorphism of G-modules, where G acts by conjugation. Now let \(Q\in {\mathcal {O}}[G^N]^G\) be a G-invariant polynomial, by (15) it can be decomposed as
where each \(Q_j\) is a graph function associated to the ribbon graph with a single vertex and \(N=2g+b-1\) morphisms corresponding to free generators of \(\pi _1(\Sigma _{g,b},p)\). The edge coloring of edges corresponding to generators of the fundamental group is given by \(\lambda _{j,1},\ldots ,\lambda _{j,N}\), while \(Q_j\) is an invariant vector which defines the coloring of the single vertex p. \(\square \)
3.5 Equivalence of graph functions
In this subsection we list elementary operations on colored immersed graphs which leave the associated graph function (14) invariant. These operations include collapsing a pair of neighbouring vertices (Fig. 3c) and thinning a pair of neighbouring edges (Fig. 3d). In each case shown on Fig. 3 we refer to the left graph as \(\Gamma _1\) and to the right graph as \(\Gamma _2\).
Lemma 13
[FR99, KRWY]. Let \(\Gamma _1,\Gamma _2\) be a pair of colored immersed oriented graphs which coincide away from a disc shown on any of Fig. 3a–d. Then there exists a vertex coloring of \(\Gamma _2\), such that the two colored immersed graph give rise to the same invariant function on graph connections:
Proof
Consider a flat connection A on a principle G-bundle over \(\Sigma _{g,b}\) and let
be a pair of vectors in and as in (13) defined by the parallel transport along edges of the two immersed graphs. In each of the four parts we are going to prove that
for an appropriate choice of vertex coloring.
-
(A)
Let
$$\begin{aligned} {\mathrm {Id}}_{V_1}=\sum _i v_i\otimes v_i^*,\qquad {\mathrm {Id}}_{V_2}=\sum _j w_i\otimes w_j^* \end{aligned}$$where \(\{v_i\},\{v_i^*\}\) and \(\{w_i\},\{w_i^*\}\) be any two pairs of dual bases on \(V_1, V_1^*\) and \(V_2,V_2^*\) respectively, i.e. \(\langle v_i,v_j^*\rangle =\delta _{i,j}\) and \(\langle w_i,w_j^*\rangle =\delta _{i,j}\). Assign a vertex coloring of \(\Gamma _2\) at v as
$$\begin{aligned} c^{\Gamma _2}_v=\sum _{i,j}v_i\otimes w_j^*\otimes v_i^*\otimes w_j\quad \simeq \quad {\mathrm {Id}}_{V_1}\otimes {\mathrm {Id}}_{V_2} \end{aligned}$$ -
(B)
Let \(\Gamma _1\) and \(\Gamma _2\) be a pair of colored oriented immersed graphs which coincide away from a disc shown on Fig. 3b. Suppose that the vertex coloring of \(\Gamma _1\) at v is given by
$$\begin{aligned} c^{\Gamma _1}_v=\sum _j v^{0}_j\otimes w^{(0)}_j\otimes v^{(1)}_j\otimes \cdots \otimes v^{(1)}_j. \end{aligned}$$Define \(c^{\Gamma _2}_v\) as follows
$$\begin{aligned} c^{\Gamma _1}_v=\sum _j \langle v^{0}_j, w^{(0)}_j\rangle \; v^{(1)}_j\otimes \cdots \otimes v^{(1)}_j \end{aligned}$$Because the holonomy of flat connection along contractible loop \(e_0\) is trivial, we get the following contribution to holonomy vector (16)
$$\begin{aligned} P_{e_0}={\mathrm {Id}}_{V_0}=\sum _{i=1}^M{u_i\otimes u_i^*} \end{aligned}$$(18)where \(\{u_i\}\) and \(\{u_i^*\}\) is an arbitrary pair of dual bases in \(V_0\) and \(V_0^*\), i.e. \(\langle u_i,u_l^*\rangle =\delta _{i,l}\). Then (17) follows immediately by
$$\begin{aligned} \sum _{j=1}^M\langle w_k^{(0)},u_j\rangle \langle u_j^*,v_j^{(0)}\rangle =\langle w_k^{(0)},v_j^{(0)}\rangle . \end{aligned}$$(19) -
(C)
Assume further that the vertex coloring of vertices a and b is given by a pair of G-invariant vectors
$$\begin{aligned} c^{\Gamma _1}_a&=\sum _jv_j^{(0)}\otimes v_j^{(1)}\otimes \cdots \otimes v_j^{(m)}\quad \in \quad (V_0\otimes \cdots \otimes V_m)^G,\\ c^{\Gamma _1}_b&= \sum _kw_k^{(0)}\otimes w_k^{(m+1)}\otimes \cdots \otimes w_k^{(n)}\quad \in \quad (V_0^*\otimes V_{m+1}\otimes \cdots \otimes V_n)^G. \end{aligned}$$Let \(c_v\) be a G-invariant vector defined as follows:
$$\begin{aligned} c_v^{\Gamma _2}=\sum _{j,k} \left\langle w_k^{(0)},v_j^{(0)}\right\rangle \; v_j^{(1)}\otimes \cdots \otimes v_j^{(m)}\otimes w_k^{(m+1)}\otimes \cdots \otimes w_k^{(n)}\in (V_1\otimes \cdots \otimes V_n)^G \end{aligned}$$Note that because both \(F_{[{\varvec{\Gamma }}_1]}\) and \(F_{[{\varvec{\Gamma }}_2]}\) are functions on gauge equivalence classes of flat connections, without loss of generality we can assume that holonomy of A in a contractible disc on Fig. 3c is trivial. Using the same reasoning as in (18) and (19) we conclude that (17) holds.
-
(D)
For the remaining part, again without loss of generality we can assume that connection is trivial inside contractible disk shown on Fig. 3d. For \(\varphi :V_0\xrightarrow {\sim } V_1\otimes V_2\), assign G-invariant vectors at both vertices induced by the isomorphism \(\varphi \) and its inverse, the statement (17) then follows by tautology.
\(\square \)
Corollary 14
Let \(\Gamma \in \Sigma \) be an oriented immersed graph with a single vertex p and edges corresponding to free generators of \(\pi _1(\Sigma ,p)\). For any oriented immersed graph \((\Gamma _1,W,d)\) we can present the associated graph function as
for an appropriate choice of coloring of simple oriented surface graph \(\Gamma \subset \Sigma \).
Proof
Because \(F_{[\Gamma _1,W,d]}\) depends only on homotopy (through immersed graphs) equivalence type of \(\Gamma _1\), w.l.o.g. we can assume that \(\Gamma \cup \Gamma _1\) has only double transverse intersection points. So by Lemma 13 we can turn \(\Gamma \cup \Gamma _1\) first into an embedded graph, then collapse all vertices of \(\Gamma _1\) into vertices of \(\Gamma _2\) and, finally, by a sequence of moves Fig. 3b–d eliminate all vertices of \(\Gamma _1\). \(\square \)
Replace holonomies along edges by groups elements \(g_e\) given by a flat graph connection \(g: E(\Gamma )\rightarrow G\) we identify the graph function \(F_{[\Gamma , V, c]}\) with a function on the space flat graph connections for \(\Gamma \subset \Sigma \). Taking into account isomorphisms (7) we can identify invariant graph functions with functions on the representation variety \({\mathcal {M}}_{\Sigma _{g,b}}^G\). Thus the corollary 14 establishes an isomorphism between the coordinate ring \({\mathcal {O}}[{\mathcal {M}}_{(\Sigma _{g,b},\Gamma )}]^G\) of moduli space of graph connections and the coordinte ring \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{g,b}^G}]^G\).
3.6 Poisson structure on the moduli space of flat connections
The coordinate ring \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) of the G-character variety of \(\pi _1(\Sigma _{g,b})\) comes equipped with a Poisson bracket equivariant under the action of the Mapping Class Group \(\mathop {Mod}(\Sigma _{g,b})\) [AB83, Gol86, BG93]. Following [FR93, AMR96, FR99] we will define this bracket in terms of graph functions (14).
Let \(([\Gamma ],V,c)\) and \(([\Gamma '],V',c')\) be a pair of isotopy equivalence classes of colored immersed graphs. Pick representatives \(\Gamma \) and \(\Gamma '\) which have only transverse double intersection points at edges.
Definition 15
Let \(p\in \Gamma \cap \Gamma '\) be a transverse double intersection point of two colored immersed graphs \({\varvec{\Gamma }}=(\Gamma ,V,c)\) and \({\varvec{\Gamma }}'=(\Gamma ',V',c')\). Define (isotopy equivalence class of) colored immersed graph \([{\varvec{\Gamma }}\star _p{\varvec{\Gamma }}']=([\Gamma ''],V'',c'')\) as follows:
Consider a small neighborhood of p and denote by \(e\in \Gamma \) and \(e'\in \Gamma '\) the corresponding edges of graphs containing the intersection point \(p\in e\cap e'\).
Take union of immersed graphs \(\Gamma \cup \Gamma '\) and add two extra vertices a, b which divide edges \(e,e'\) into \(e_1,e_2\) and \(e_1',e_2'\) respectively as shown on Fig. 4b. Then add an edge \(e''\) connecting a and b colored by adjoint representation \(V_{e''}''={\mathfrak {g}}\) of G.Footnote 11 Define vertex coloring
where \(I=\sum _i t^i\otimes t_i\;\in \;{\mathfrak {g}}\otimes {\mathfrak {g}}\) is a quadratic Casimir. Finally, assume that edge and vertex coloring of the remaining graph is inherited from \({\varvec{\Gamma }}\) and \({\varvec{\Gamma }}'\).
Theorem 16
[FR93, AMR96] The Poisson Bracket between \(F_{[{\varvec{\Gamma }}]}\) and \(F_{[{\varvec{\Gamma }}']}\) in terms of invariant graph functions reads
where the sum is taken over the intersection points \(p\in \Gamma \cap \Gamma '\) and \(\epsilon (p)=\pm 1\) stands for the sing of an intersection point.
4 Main Construction
The following theorem describes superintegrable systems on moduli spaces of flat connections. Poisson commuting Hamiltonians of these systems are invariant functions of holonomies along systems of nonintersecting simple curves on the surface.
Denote by \(Z_{\partial \Sigma }\) the subalgebra of the coordinate ring \(A={\mathcal {O}}({\mathcal {M}}_\Sigma ^G)\) spanned by G-invariant functions on holonomies around boundary components. It must be a subalgebra of the Poisson center of \({\mathcal {A}}\). Moreover, it follows from [BG93] that \(Z_{\partial \Sigma }\) has the same Krull dimension as the Poisson center of A.
Let \(C=C_1\sqcup \ldots \sqcup C_k\) in \(\Sigma \) be a disjoint union of pairwise nonhomotopic simple closed curves none of which is homopotic to a boundary component. Define \(B_C\subset A\) as the subalgebra generated by graph functions \(F_{\Gamma ,V,c}\) with \(\Gamma \subset C\). Similarly, define \(J_{\Sigma \backslash C}\) as the subalgebra generated by graph functions \(F_{\Gamma ,V,c}\) with \(\Gamma \subset (\Sigma \backslash C)\).
Theorem 17
The system of subalgebras below defines an affine superintegrable system
In the rest of this section we will prove this theorem. In order to prove it we should prove the balance of dimensions.
4.1 Trivial superintegrable system on a surface
Let \(\Sigma \) be an oriented surface of genus g with \(b>0\) boundary components and let \({\mathcal {M}}_\Sigma ^G\) be the moduli space of G-representations of the fundamental group \(\pi _1(\Sigma )\). Assume that we have at least one boundary component. Denote by \(Z_{\partial \Sigma }\subset A={\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) a subalgebra generated by graph functions \(F_{[{\varvec{\Gamma }}]}\), where \({\varvec{\Gamma }}\) is a colored graph with a single vertex and a single edge homotopic to one of the boundary components of \(\Sigma \).
Lemma 18
The subalgebra \(Z_{\partial \Sigma }\subset {\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) belongs to the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\).
Proof
Let \([{\varvec{\Gamma }}_1],[{\varvec{\Gamma }}_2]\) be a pair of isotopy equivalence classes of colored immersed graphs such that \([\Gamma _1]\) is homotopic to one of the boundary components. Then there exist members \({\varvec{\Gamma }}_1\) and \({\varvec{\Gamma }}_2\) with a trivial intersection. From (21) we get
By Theorem 12, invariant graph functions of the form \(F_{[\mathbf {\Gamma _2}]}\) span the entire coordinate ring, hence we conclude that \(F_{[\mathbf {\Gamma _1}]}\) belongs to the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\). \(\square \)
Note that \(Z_{\partial \Sigma }\) is generated by b copies of \({\mathcal {O}}[G]^G\), one for each boundary component. In order to calculate Krull dimension of \(Z_{\partial \Sigma }\) we will use the following pair of technical lemmas:
Lemma 19
Let G be a connected simple linear algebraic group with a Lie Algebra \({\mathfrak {g}}\) and let
be a maximal algebraically independent subset of \({\mathcal {O}}[G]^G\). Fix an arbitrary element \(M_0\in G\), the following \(3\,{\mathrm {rk}}(G)\) functions on \(G\times G\) are algebraically independent:
where \(1\leqslant i\leqslant {\mathrm {rk}}(G),\; M_1,M_2\in G\).
Proof
Note that collection of regular semisimple elements in G forms an open dense subset, so generically both \(M_2\) and \(M_2M_0M_1\) are regular semisimple. Consider a pair of Cartan subgroups \({\mathbf {T}}_{M_2}\subset G\) and \({\mathbf {T}}_{M_2M_0M_1}\subset G\) containing \(M_2\) and \(M_2M_0M_1\) respectively. Denote by \({\mathfrak {h}}_{M_2}\) and \({\mathfrak {h}}_{M_2M_0M_1}\) their Cartan subalgebras. The two Cartan decompositions of \({\mathfrak {g}}\) acquire the following form
Now, for \(X\in {\mathfrak {g}}\), consider a family of elements \((M_1,{\mathrm {e}}^{\epsilon X}M_2{\mathrm {e}}^{-\epsilon X})\) on the common level set of \(G_{1,i}\) and \(G_{2,i}\). The remaining \({\mathrm {rk}}(G)\) class functions read
where \(\pi _{{\mathfrak {h}}_{M_2M_0M_1}}:{\mathfrak {g}}\rightarrow {\mathfrak {h}}_{M_2M_0M_1}\) stands for the projection map. Note that in the last equality we have used the fact that \({\mathfrak {h}}_{M_2M_0M_1}^\perp \)-component of
in the first order in \(\epsilon \) makes no contribution to the variation of \(G_{3,i}\).
Recall that \(M_2\) is regular semisimple, so dimension of its centralizer is exactly \({\mathrm {rk}}(G)\). As a corollary, the following endomorphism of the Lie algebra
is nondegenerate on \({\mathfrak {h}}_{M_2}^\perp \). On the other hand, because \({\mathfrak {h}}_{M_2}\) and \({\mathfrak {h}}_{M_2M_0M_1}\) are in generic relative position to each other, this would imply that
is surjective. Combining this fact with (24) we conclude the proof. \(\square \)
Lemma 20
As in the previous lemma, let G be a connected simple linear algebraic group with a Lie Algebra \({\mathfrak {g}}\) and let
be a maximal algebraically independent subset of \({\mathcal {O}}[G]^G\). Now fix an arbitrary element \(M_0\in G\), the following \(3\,{\mathrm {rk}}(G)\) functions on \(G\times G\) are algebraically independent:
where \(1\leqslant i\leqslant {\mathrm {rk}}(G),\; M_1,M_2\in G\).
Proof
Note that there exists an open dense subset \(U\in G\times G\) such that for every \((M_1,M_2)\in U\) the following three elements
are regular semisimple. So without loss of generality we can assume \((M_1,M_2)\in U\) and also that \(M_1\) and \(M_2\) are in general relative position to each other. Denote by \({\mathbf {T}}_{\widetilde{M_0}},{\mathbf {T}}_{\widetilde{M_1}},{\mathbf {T}}_{M_2}\) their Cartan subgroups and by \({\mathfrak {h}}_{\widetilde{M_0}}, {\mathfrak {h}}_{\widetilde{M_1}}, {\mathfrak {h}}_{M_2}\) the corresponding Cartan subalgebras. We have
As in the previous lemma, for \({\mathbf {X}}\in {\mathfrak {g}}\), consider a family of elements \((M_1,{\mathrm {e}}^{\epsilon X}M_2{\mathrm {e}}^{-\epsilon X})\) on the common level set of \(G_{1,i}\) and \(G_{2,i}\). For the remaining \({\mathrm {rk}}(G)\) class functions we get
Here in the last equality we have used the fact that \(\ker ({\mathrm {Id}}-\mathrm {Ad}_{{{\widetilde{M}}}_1})={\mathfrak {h}}_{{{\widetilde{M}}}_1}\), so
The statement of the Lemma will now follow from the fact that
is surjective. To show that, recall that \({\mathrm {Id}}-\mathrm {Ad}_{M_2}\) is nondegenerate on \({\mathfrak {h}}_{M_2}^\perp \). Because \({\mathfrak {h}}_{M_2}^\perp \) and \({\mathfrak {h}}_{\widetilde{M_1}}^\perp \) are of the same dimension and are in general relative position, the restriction \(\pi _{{\mathfrak {h}}_{\widetilde{M_1}}^\perp }\big |_{{\mathfrak {h}}_{M_2}^\perp }\) is a linear isomorphism between \({\mathfrak {h}}_{M_2}^\perp \) and \({\mathfrak {h}}_{\widetilde{M_1}}^\perp \). Next, \({\mathrm {Id}}-\mathrm {Ad}_{{{\widetilde{M}}}_1}\) is nondegenerate on \({\mathfrak {h}}_{{{\widetilde{M}}}_1}^\perp \). Combining this with the fact that \({\mathfrak {h}}_{{{\widetilde{M}}}_0}\) and \({\mathfrak {h}}_{{{\widetilde{M}}}_1}^\perp \) are in general relative position to each other we conclude the proof. \(\square \)
Corollary 21
Proof
Let \(p\in \partial \Sigma \) be a point of the boundary. With the choice of generators of \(\pi _1(\Sigma ,p)\) as in Sect. 2.1 we consider elements of \(Z_{\partial \Sigma }\subset {\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) as G-invariant functions on \(G^{\times (2g+b-1)}\). In both cases the upper bound on dimension (27) follows by the fact that \(Z_{\partial \Sigma }\) is generated by the appropriate number of copies of \({\mathcal {O}}[G]^G\), so the only thing we have to prove is that there exists a large enough algebraically independent subset of generators \(Z_{\partial \Sigma }\).
Fix a maximal collection of algebraically independent class functions \({\mathrm {ch}}_i\in {\mathcal {O}}[G]^G\) and consider the following cases:
-
(i)
\(b\geqslant 3\): In this case \(\{{\mathrm {ch}}_i(\rho (z_j)),\; 1\leqslant i\leqslant {\mathrm {rk}}(G),\; 1\leqslant j\leqslant b-3\}\) are algebraically independent as functions on \(G^{\times (b-3)}\). At the same time, for fixed \(\rho (z_j)\in G,\; 1\leqslant j\leqslant b-3\), the remaining \(3\,{\mathrm {rk}}(G)\) functions \({\mathrm {ch}}_i(\rho (z_{b-2})), {\mathrm {ch}}_i(\rho (z_{b-1})), {\mathrm {ch}}_i(\rho (z_{b}))\) are independent as functions on the remaining \(G\times G\) by Lemma 19. So, the entire collection of \(3\,{\mathrm {rk}}(G)\) functions must be algebraically independent.
-
(ii)
\(b=2,g>0\): In this case we have a set of \(2\,{\mathrm {rk}}(G)\) algebraically independent functions \({\mathrm {ch}}_i(\rho (b_1))\) and \({\mathrm {ch}}_i(\rho (b_2))={\mathrm {ch}}_i(\rho (b_1^{-1}[y_g,x_g]\ldots [y_1,x_1]))\). To see it, recall that \({\mathrm {ch}}_i(\rho (b_1))\) are algebraically idependent as functions on G by construction. Next, apply Lemma 20 for
$$\begin{aligned} M_0=\rho (b_1^{-1}[y_g,x_g]\ldots [y_2,x_2]),\qquad M_1=y_g,\qquad M_2=x_g. \end{aligned}$$to conclude that \({\mathrm {ch}}_i(\rho (b_1^{-1}[y_g,x_g]\ldots [y_1,x_1]))\) are algebraically idependent as functions on \(G^{2g}\), a fixed level set of \(\rho (b_1)=\mathrm {const}\). Altogether this would imply that the entire collection of \(2\,{\mathrm {rk}}(G)\) functions are independent as functions on \(G^{2g+1}\).
-
(iii)
\(b=2,g=0\): Here \(\pi _1(\Sigma ,p)=\langle b_1\rangle \) and we have \({\mathrm {rk}}(G)\) algebraically independent functions \({\mathrm {ch}}_i(\rho (b_1))\).
-
(iv)
\(b=1,g>0\): In this case we have \({\mathrm {rk}}(G)\) algebraically independent functions \({\mathrm {ch}}_i(\rho ([x_1,y_1]\ldots [x_g,y_g]))\). Algebraic independence follows from Lemma 20 applied for
$$\begin{aligned} M_0=[x_1,y_2]\ldots [x_{g-1},y_{g-1}],\qquad M_1=x_g,\qquad M_2=y_g. \end{aligned}$$ -
(v)
\(b=1,g=0\): Statement holds trivially.
\(\square \)
Proposition 22
Inclusion \( Z_{\partial \Sigma }\subset Z_{\partial \Sigma }\subset A\subset A\) defines an affine superintegrable system.
Proof
First, note that \(Z_{\partial \Sigma }\) is finitely generated, indeed it is generated by b copies of \({\mathcal {O}}[G]^G\), one for each boundary component. Every \({\mathcal {O}}[G]^G\) is in turn finitely generated.
By Lemma 18 we know that \(Z_{\partial \Sigma }\) is a subalgebra of the Poisson center of A. On the other hand, by results of [GHJW97, BG93] we know that the general fiber of \({\mathcal {M}}_\Sigma ^G\rightarrow \mathrm {Spec}\,Z_{\partial \Sigma }\) is equipped with Poisson bracket of rank \(\dim {\mathcal {M}}_\Sigma ^G-\dim \mathrm {Spec}\,Z_{\partial \Sigma }\). \(\square \)
4.2 Superintegrable system associated to non-separating curve
Let \(\Sigma \) be an oriented surface of genus g with \(b\ge 1\) boundary components. There exists no nonseparating curves on genus zero surface, so throught this section we can assume without loss of generality that \(g>0\). Let \(C=C_1\sqcup C_2\sqcup \ldots \sqcup C_r\) be a nonseparating curve which is a disjoint union of \(r,\;1\leqslant r\leqslant g\) simple closed curves on \(\Sigma \) (see Fig. 5).
The fundamental group \(\pi _1(\Sigma ,p)\) is a free group with \(2g+b-1\) generators, it admits the following presentation
where the first 2r generators \(x_i,\;y_i,\;1\leqslant i\leqslant r\) are chosen for handles containing \(C_1,\ldots ,C_r\) as shown on Fig. 6.
Lemma 23
Consider a subgroup of \(\pi _1(\Sigma ,p)\) which consists of (homotopy equivalence classes of) paths that do not cross C:
This subgroup is generated by the following elements
Proof
Note that there is a natural surjective homomorphism
From the fundamental group of \(\Sigma \backslash C\) to the subgroup (29). As a corollary, \(\pi _1(\Sigma ,p|C)\) is generated by the image of the generating set of \(\pi _1(\Sigma \backslash C,p)\). Note that surface \(\Sigma \backslash C\) has genus \(g-r\) with \(2r+b\) boundary components. In the standard presentation, \(\pi _1(\Sigma \backslash C,p)\) is generated by \((g-r)\) pairs of A, B-cycles along with \(2r+b-1\) boundary cycles. Taking the image of this generating set under \(\psi \) we get (30). \(\square \)
The closed arcs homotopic to new boundary components are \(y_1,\ldots ,y_r\) and \(x_1y_1x_1^{-1},\ldots ,x_ry_rx_r^{-1}\). As a result, \(\pi _1(\Sigma \backslash C,p)\) is a free group generated by \(2g+b-1\) arcs.
A G-representation of \(\pi _1(\Sigma ,p)\) is determined by \(2g+b-1\) elements of G
As a corollary, \({\mathrm {Hom}}(\pi _1(\Sigma ,p),G)\) is an affine variety with the coordinate ring \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p),G)]\simeq {\mathcal {O}}[G]^{\otimes (2g+b-1)}\) isomorphic to the coordinate ring of \(2g+b-1\) copies of G.
Inclusion (29) defines an inclusion of coordinate rings
At the same time, \(\pi _1(\Sigma ,p\,|\,C)\) contains b infinite cyclic subgroups generated by boundary cycles. Let \(Z_{\partial \Sigma }\) be a subalgebra of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) generated by class functions of holonomies about the boundary components, or, equivalently, generated by \({\mathcal {O}}[{\mathrm {Hom}}(\langle z_i\rangle ,G)]^G\) for \(1\leqslant i\leqslant b\).
Similarly, let \(B_C\) be a subalgebra of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) generated by \(Z_{\partial \Sigma }\) together with traces of holonomies about the cycles \(C_i\), in other words, by \({\mathcal {O}}[{\mathrm {Hom}}(\langle y_i\rangle ,G)]^G\) for \(1\leqslant i\leqslant r\).
Lemma 24
Proof
The upper bound on dimension follows from the fact that \(B_C\) is generated by \(b+r\) copies of \({\mathcal {O}}[G]^G\). Fix a maximal algebraically independent collection of class functions \({\mathrm {ch}}_i\in {\mathcal {O}}[G]^G\) and consider a family of \((b+r)\,{\mathrm {rk}}(G)\) elements of \(B_C\):
Here we imply \(z_{b}=z_{b-1}^{-1}\ldots z_1^{-1}[y_g,x_g]\ldots [y_1,x_1]\).
The first \((b+r-1)\,{\mathrm {rk}}(G)\) elements are algebraically independent as functions on \(G^{2g+b-1}\) because they involve different copies of G. As for the \({\mathrm {ch}}_i(\rho (z_b))\), apply Lemma 20 for
to observe that restriction of \({\mathrm {ch}}_i(\rho (z_{b-1}^{-1}\ldots z_1^{-1}[y_g,x_g]\ldots [y_1,x_1]))\) to generic common level set of the other \((b+r-1)\,{\mathrm {rk}}(G)\) elements gives rise to \({\mathrm {rk}}(G)\) independent functions. \(\square \)
Proposition 25
The following chain of subalgebras
defines an affine superintegrable system. Here \(J={\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p\,|\,C),G)]^G\) stands for the coordinate ring of the G-character variety of \(\pi _1(\Sigma ,p\,|\,C)\).
Proof
By construction, all algebras involved are finitely generated and from (21) it follows immediately that \(\{Z,A\}=\{B,J\}=0\). Hence Z is a subalgebra of the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) and B is Poisson commutative and centralized by J.
Combining (33) with (27) we get
On the other hand, any representation of \(\pi _1(\Sigma ,p\,|\,C)\) is determined by a \(2g+b-1\) elements of G
such that \({\widetilde{Y}}_j\sim Y_j\) belong to the same conjugacy class, i.e. for all \(1\leqslant j\leqslant r\) we have \({\widetilde{Y}}_j=X_jY_jX_j^{-1}\) for some \(X_j\). Note that for generic \(Y_j\), dimension of its centralizer equals to \({\mathrm {rk}}(G)\). As a corollary, we get
Recall that for the purpose of this subsection we assume \(g>0\) and \(b>0\), so the action of G by conjugation on \({\mathrm {Hom}}(\pi _1(\Sigma ,p|C),G)\) has generically zero-dimensional stabilizer. As a corollary,
Combining (8) with (35) we get
Finally, comparing (34) with (36) we conclude that balance of dimensions (5) holds. \(\square \)
4.3 Product of surface superintegrable systems associated with gluing
4.3.1 Choice of presentation of the fundamental groupoid
Let \(\Sigma \) be an oriented surface with \(b>0\) boundary components and \(C=C_1\sqcup \ldots \sqcup C_r\) be a disjoint union of r simple closed curves in \(\Sigma \) which cuts the surface into two parts \(\Sigma =\Sigma _L\#_C\Sigma _R\). As in the statement of Theorem 1 we assume that none of the simple curves is homotopic to a boundary and all \(C_1,\ldots ,C_r\) are pairwise nonhomotopic. As a corollary, neither \(\Sigma _L\), nor \(\Sigma _R\) can be a cylinder. Further, because surface \(\Sigma \) has nontrivial boundary \(\partial \Sigma \ne \emptyset \), at least one of the surfaces \(\Sigma _L,\Sigma _R\) has a boundary component not in C. Without loss of generality we can assume that \(\partial \Sigma _L\supsetneq C\).
Because \(\Sigma _L\) and \(\Sigma _R\) both have at least one boundary component, their fundamental groups are free, say with m and n generators respectively. It will be convenient for us to choose the following presentation
Here \(a_1,\ldots ,a_m\) are free generators of \(\pi _1(\Sigma _L)\). Because \(\partial \Sigma _L\supsetneq C\), we can choose the first r generators \(a_j,\;1\leqslant j\leqslant r\) to be homotopic to \(C_j\) as shown on Fig. 7. At the same time, for \(\Sigma _R\) we will choose the presentation as follows: Let \(b_2,\ldots ,b_{n+1}\) correspond to closed paths from q to q which freely generate \(\pi _1(\Sigma _R,q)\). Without loss of generality we can assume that \(b_2,\ldots ,b_r\) are homotopic to \(C_2,\ldots , C_r\). Now, let \(b_1\) be the closed path homotopic to \(C_1\), it can be expressed as a word in other generators \(b_1=F(b_2,\ldots ,b_{n+1})\).Footnote 12
Denote by \(\pi _1(\Sigma ,p,q)\) the full subcategory of the fundamental groupoid \(\pi _1(\Sigma )\) with two objects \(p,q\in \Sigma \).Footnote 13 By corollary of the Van Kampen’s Theorem, groupoid \(\pi _1(\Sigma ,p,q)\) has the following presentation
Here open arcs \(e_1,\ldots ,e_r\) stand for the paths connecting p and q which cross once exactly one of the separating cycles \(C_1,\ldots ,C_r\), see Figs. 7 and 8.
Note that \(\pi _1(\Sigma ,p,q)\) is freely generated by \(a_{r+1},\ldots ,a_m,e_1,\ldots ,e_r,b_2,\ldots ,b_{n+1}\).
4.3.2 Coordinate rings of G-representations and relations between them
Any G-representation of \(\pi _1(\Sigma ,p,q)\) is defined by \(m+n+r+1\) elements subject to \(r+1\) relations:
This makes the set \({\mathrm {Hom}}(\pi _1(\Sigma ,p,q),G)\) of all G-representations of \(\pi _1(\Sigma ,p,q)\) into an algebraic subset of \(G^{\times (m+n+r+1)}\). Moreover, \({\mathrm {Hom}}(\pi _1(\Sigma ,p,q),G)\) comes equipped with a \(G\times G\) action:
Of course, any G-representation of \(\pi _1(\Sigma ,p,q)\) also defines G-representations of \(\pi _1(\Sigma _L,p)\) and \(\pi _1(\Sigma _R,q)\). Explicitly, for our choice of generators we obtain a diagram of \(G\times G\)-equivariant projections
where \([A_j]=[B_j]\) stands for the common conjugacy class of \(A_j\) and \(B_j\).
Let I be a \(G\times G\)-invariant ideal in \({\mathcal {O}}[G^{\times (m+n+r+1)}]\) defined by equations (39), then
In terms of the coordinate ring (42) of G-representations of \(\pi _1(\Sigma ,p,q)\) diagram (41) corresponds to the following diagram of inclusions of subalgebras
Here \(H={\mathcal {O}}[{\mathrm {Hom}}(\pi _1(C),G)]^G\) is the coordinate ring of a G-character variety of a disjoint union of r circles corresponding to connected components of \(C=\partial \Sigma _L\cap \partial \Sigma _R=C_1\sqcup \ldots \sqcup C_r\). Hence \(H\simeq \left( {\mathcal {O}}[G]^G\right) ^{\otimes r}\) is generated by invariant functions on common conjugacy classes \([A_i]=[B_i],\;1\leqslant i\leqslant r\) of matrices A and B.
Lemma 26
Proof
From (43) we already know that \(H\subset {\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _L,p))]\cap {\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _R,q))]\), so we have to prove only the opposite inclusion. To this end, first recall that all algebras in (43) are \(G\times G\)-modules w.r.t. the action (40). Moreover, \(1\times G\) is acting trivially on \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _L,p))]\), while \(G\times 1\) is acting trivially on \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _R,q))]\). As a corollary, their intersection lies in the G-invariant part of both subalgebras \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _L,p))]\cap {\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma _R,q))]\subset {\mathcal {O}}[{\mathcal {M}}_{\Sigma _L}^G]\cap {\mathcal {O}}[{\mathcal {M}}_{\Sigma _R}^G]\). By Theorem 12 combined with Corollary 14 we conclude that the right hand side of (44) is spanned by invariant graph functions on C, hence contained in H. \(\square \)
Now consider the following tensor product over H
By Lemma 26, \(J\subset {\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p,q),G)]\), this gives us another subalgebra of \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p,q),G)]\) which fits in the middle of diagram (43).
By construction, all rings involved in (43) and (45) are finitely generated integral domains. Hence, taking the spectrum of all rings in (43) and (45) we obtain a commutative diagram of \(G\times G\)-equivariant dominant maps of affine schemes
where \(Spec(H)\simeq (G\mathbin { \mathchoice{//}{//}{//}{//}}\mathrm {Ad}\,G)^r\) and
is the fiber product of maps \(\beta _L\) and \(\beta _R\).
4.3.3 Product of superintegrable systems
Taking the GIT quotient by \(G\times G\) action of diagram (46) we obtain from the main diagonal the following chain of dominant maps of affine schemes
Note that by (7), we have natural isomorphism
Remark 27
Key idea of the remaining part of this subsection is that projections (47) define an affine superintegrable system on \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) associated with the separating collection of cycles \(C=\partial \Sigma _L\cap \partial \Sigma _R=C_1\sqcup \ldots \sqcup C_r\).
Moreover, we can actually prove a much more general statement, formulated in Proposition 29, that if each of the surfaces \(\Sigma _L,\Sigma _R\) was already equipped with an affine superintegrable system on \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _L}]\) and \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _R}]\) respectively, then gluing along C provides a way to construct a new superintegrable system on \(\Sigma \) which refines (47).
Lemma 28
Equation (47) defines a chain of Poisson projections.
Proof
Note that the neighbourhood of C is a disjoint union of r annuli. Recall that \(H\simeq \left( {\mathcal {O}}[G]^G\right) ^{\otimes r}\) is the tensor product of r copies of the coordinate ring of the moduli space of G-representations of an annulus. It is naturally equipped with the trivial Poisson structure and with two natural injective Poisson homomorphisms
to the Poisson center of the coordinate rings of G-character varieties of \(\pi _1(\Sigma _L,p)\) and \(\pi _1(\Sigma _R,q)\) respectively. As a result,
is a Poisson embedding into the Poisson center of J. To finalize the proof, note that
is a subalgebra of the full coordinate ring of the moduli space of G-representations of \(\pi _1(\Sigma ,p,q)\). \(\square \)
Proposition 29
Suppose that we have a pair of affine superintegrable systems on \(\Sigma _L\) and \(\Sigma _R\) defined by some choice of nonseparating cycles \(C_L\subset \Sigma _L\) and \(C_R\subset \Sigma _R\):
where \(Z_L\) and \(Z_R\) denote Poisson centers of \(A_L\) and \(A_R\) respectively. Then
defines an affine superintegrable system on \(\Sigma \). Here Z is the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\),
and \(H={\mathcal {O}}[{\mathcal {M}}_C^G]\) is the coordinate ring of the G-character variety of \(\pi _1(C)\simeq Free_r\).
Proof
First, note that
where \(\{,\}\) stands for the Poisson bracket on \({\mathcal {M}}_\Sigma ^G\). Indeed, by Proposition 12 subalgebras \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _L}^G]\) and \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _R}^G]\) are spanned by invariant graph functions which have no intersections. Combining it with the fact that \(\{B_L,J_L\}=0=\{B_R,J_R\}\) we conclude that \(\{B,J\}=0\), and, in particular, that B has a trivial Poisson bracket. So the only thing we have to prove is that Krull dimensions of the algebras satisfy (5).
Krull dimensions of algebras B and J are determined as followsFootnote 14
Now denote by \(g_L\) and \(b_L\) the genus and number of boundary components of \(\Sigma _L\). Similarly, let \(g_R\) and \(b_R\) denote the genus and number of boundary components of \(\Sigma _R\). The resulting surface \(\Sigma \) then has a genus \(g=g_L+g_R+(r-1)\) and number of boundary components \(b=b_L+b_R-2r\). Note that we have assume that neither \(\Sigma _L\) nor \(\Sigma _R\) is a cylinder (i.e. \((g_L,b_L)\ne (0,2)\ne (g_R,b_R)\)). From (52) we have
On the other hand, because both systems (49) are superintegrable, by (5) we conclude that
Finally, using explicit formula (8) for Krull dimensions of \(A_L,A_R\) and (27) for \(Z_L,Z_R\) we obtain
Hence, condition (5) on Krull dimensions of subalgebras (50) is satisfied and the resulting system is superintegrable. \(\square \)
4.4 The proof of Theorem 17
Now we can prove our main result.
Proof
Let \(\Sigma \backslash C=\Sigma _1\sqcup \ldots \sqcup \Sigma _m\), where \(\Sigma _1,\ldots ,\Sigma _m\) stand for connected components. We will prove the statement of the theorem by induction in the number m of connected components.
The base case \(m=1\) follows by Proposition 25.
Now assume that the statement of the theorem holds for all \((\Sigma ',C')\) s.t. \(\Sigma '\backslash C'\) has at most m connected components. Then for each pair \((\Sigma ,C)\) s.t. \(\Sigma \backslash C\) has \(m+1\) connected components we can present \(\Sigma =\Sigma _L\sqcup \Sigma _R\), where both \(\Sigma _L\backslash C\) and \(\Sigma _R\backslash C\) have at most m connected components. Define
Note that \(C=C_L\sqcup C_{LR}\sqcup C_R\). By the inductive assumption we have two superintegrable systems
Now, applying Proposition 29 we finalize the proof. \(\square \)
The following proposition is an immediate consequence.
Proposition 30
Let \(\Sigma \) be an oriented closed surface with \(b>0\) boundary components and \(C=C_1\sqcup \ldots \sqcup C_k\) and \(C'=C_1'\sqcup \ldots \sqcup C_m'\) be two collections of simple closed curves none of which is homotopic to a boundary component. Denote by \({\mathcal {I}}_C\) and \({\mathcal {I}}_{C'}\) the two superintegrable systems associated to C and \(C'\) as in Theorem 17.
-
If \(C\subset C'\) is a subcollection of \(C'\), the integrable system \({\mathcal {I}}_C\) is a refinement of \({\mathcal {I}}_{C'}\).
-
If an element of the Mapping Class Group of surface \(\Sigma \) bring the collection C to \(C'\), it induces an equivalence of corresponding suerintegrable systems.
Remark 31
It is natural to expect that for an affine superintegrable system
subalgebra \(Z_{\partial \Sigma }\) is the full Poisson center of \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\), and this is true in the compact case. Note that this implies that \(J_{\Sigma \backslash C}\) is the full Poisson centralizer of \(B_C\).
4.5 Beyond generic orbits
The main result of the paper, formulated in Theorem 1, states that a collection of simple closed curves \(C=C_1\sqcup \ldots \sqcup C_r\) on an oriented surface \(\Sigma \) defines a family of superintegrable systems. This family is parameterized by generic values of Casimir functions, in other words, by fixing holonomies around boundary components at regular conjugation orbits. We have left details of the case of nongeneric values of Casimir functions outside of the scope of the current paper.
We expect to prove the following stronger statement in a sequel publication. Consider a superintegrable system from Theorem 1 and let
be an associated chain of dominant maps of affine schemes preserving the Poisson bracket. Then for all \(z\in \mathrm {Spec}\,{\mathcal {Z}}\), every irreducible component of the fiber \(p^{-1}(z)\) contains an open subset \({\mathcal {M}}_{2n}\) such that
is a superintegrable system. Here \(\pi _1,\pi _2\) are maps induced by \(p_1\) and \(p_2\) respectively.
Example of systems with lower rank orbits were studied in [CF18]. In that case \(G=SL_m\), the surface \(\Sigma \) is a torus with n punctures, the conjugacy class of the monodromy around each puncture is fixed and is assumed to be of rank 1. It is easy to see that the dimension of the moduli space in this case is \(2(m-1)n\). The choice of \(C=C_1,\ldots C_n\) being separating cycles cutting the torus into n cylinders with one puncture in each cylinder produces a Liouville integrable system with \((m-1)n\) Poisson commuting integrals. For any \(C_i\), the choice \(C=C_i\) gives a superintegrable refinement of this Liouville integrable system.
5 Hamilton Flows on the Full Coordinate Ring
The Poisson bracket (21) on the coordinate ring \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)]^G\) of the moduli space \({\mathcal {M}}_{\Sigma }^G\) can be obtained from the bivector field on \(R={\mathcal {O}}[{\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)]\) using two essentially different methods. One way is the “r-matrix approach” developed in [FR93], the other way is the “Quasi Poisson” bracket approach developed in [AMM98, AK00, AKM02].
In the r-matrix approach one defines Poisson bracket on the full coordinate ring
which coincides with the Goldman bracket on the G-invariant part \(R^G\simeq {\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\).
In the Quasi Poisson approach the bivector field on \({\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) is not Poisson. The bracket \(\{,\}_{quasi}: R\otimes R\rightarrow R\) satisfies the Jacobi identity only up to a fixed trivector field vanishing on \(R^G\). As in the r-matrix approach, quasi Poisson bracket induces the Goldman bracket on \(R^G\)
Here we will focus on the r-matrix approach.Footnote 15 The bracket (53) makes R into a left Lie module over \(R^G\). In other words, the G-invariant part acts on the full coordinate ring by derivations
satisfying
Action (54) allows one to integrate Hamilton flows described in Theorem 17. Moreover, with the appropriate choice of generators of the fundamental groupoid, this action acquires a remarkably simple form presented in Theorem 34 below. First, in in Sect. 4.1, for a given collection C of pairwise nonintersecting simple closed curves we define a particular choice of marked points and generating arcs of \(\pi _1(\Sigma ,p_1,\ldots ,p_m)\). The proposed choice of generating arcs allows us to simultaneously separate variables for Hamilton flows corresponding to different curves in C. Next, in Sect. 4.2 we use r-matrix formalism to calculate the Hamiltonian flow (54) associated to a simple closed curve in C colored by a class function.
5.1 Choice of generators of \(\pi _1\)
Let \(\Sigma \) be, as before, an oriented surface with nonempty boundary \(\partial \Sigma =D_1\sqcup \ldots \sqcup D_b\) and let \(C=C_1\sqcup \ldots \sqcup C_k\) be a disjoint collection of simple closed curves as in Theorem 17. Namely, we require that \(C_j\) are pairwise nonintersecting, pairwise nonhomotopic, and none of them are homotopic to the boundary. Let \(\Sigma \backslash C=\Sigma _1\sqcup \ldots \sqcup \Sigma _m\), where \(\Sigma _1,\ldots ,\Sigma _m\) stand for connected components. For the purpose of this section we further assume that \(\partial \Sigma _j\cap \partial \Sigma \ne \emptyset \) for all \(j\in \{1,\ldots ,m\}.\) This assumption can be made with no loss generality when we describe Hamilton flows, because initial conditions with trivial monodromy about the boundary component effectively correspond to absence of the boundary component.
For any connected component \(\Sigma _j\) we choose a single marked point \(p_j\in \partial \Sigma _j\cap \partial \Sigma \) on the common boundary with \(\Sigma \). Each surface \(\Sigma _j\) is an oriented surface of genus \(g_j\) with \(b_j\) boundary components. Its boundary can be presented as a disjoint union
of \(r_j\) connected components \(D_{\beta _{j,1}},\ldots ,D_{\beta _{j,r_j}}\subset \partial \Sigma \) of the boundary of the full surface \(\Sigma \), as well as \(b_j-r_j\) connected components \(C_{\alpha _{j,r_j+1}},\ldots , C_{\alpha _{j,b_j}}\subset C\) of a curve C. Without loss of generality we can assume that \(p_j\in D_{\beta _{j,1}}\).
Denote by
the subcollection of simple closed curves in C which belong to \(\Sigma _j\), but do not belong to \(\partial \Sigma _j\). Such subcollection is nonseparating by definition.
We will choose a set of generators of \(\pi _1(\Sigma ,p_1,\ldots ,p_n)\) as follows:
-
(1)
First, for each simple closed curve \(C_i\in \partial \Sigma _j\cap \partial \Sigma _k\) which separates a pair of distinct connected components \(\Sigma _j\ne \Sigma _k\) of \(\Sigma \backslash C\) we choose a simple arc \(e_i\in (\Sigma _j\backslash H_j)\cup (\Sigma _k\backslash H_k)\) from \(p_j\) to \(p_k\) passing once through \(C_j\) as shown on Fig. 8.
Note that without loss of generality we can assume that different \(e_j\) intersect only at the endpoints. This can be achieved by sliding all intersection points between \(e_i\) and \(e_{i'}\) in \(\Sigma _j\) to \(p_j\) followed by left multiplication by an element of \(\pi _1(\Sigma _j,p_j)\). Similarly, one can get rid of the intersection points in \(\Sigma _k\).
-
(2)
For each arc \(e_i\) chosen on the previous step we pick a simple closed curve \(a_i\) which starts and ends at \(p_j\) and homotopic to \(C_i\) as shown on Fig. 7.
Again, we can assume that none of the \(a_i,e_l\) intersect away from the endpoints. This can be achieved by choosing \(a_i\) sufficiently close to \(e_i\cup C_i\). Also, each \(a_i\) chosen on this step cuts \(\Sigma _j\) into two connected components, one of them is a cylinder given by the neighbourhood of \(C_i\), the other is equivalent to the original surface. In what follows we assume that all further curves never enter into the cylinder.
-
(3)
For each nonseparating simple closed curve \(C_{\gamma _{j,k}}\) from (55) we choose a pair of simple closed curves \(x_{\gamma _{j,k}}\) and \(y_{\gamma _{j,k}}\), where \(y_{\gamma _{j,k}}\) is homotopic to \(C_{\gamma _{j,k}}\), while \(x_{\gamma _{j,k}}\) passes once through \(C_{\gamma _{j,k}}\) as shown on Fig. 6.
-
(4)
At the last step we consider \(\Sigma _j\backslash C\). This surface has genus \(g_j-s_j\) and \(b_j+2s_j\) boundary components. Our choice of arcs already generates the paths around \(r_j+2s_j\) boundary components of \(\Sigma _j\backslash C\). We can choose the remaining \(2g_j+b_j-r_j\) free generators of \(\pi _1(\Sigma _j\backslash C)\) arbitrarily.
Collection of marked points and free generators of \(\pi _1(\Sigma ,p_1,\ldots ,p_m)\) chosen above defines an ordered oriented ribbon graph with vertices \(p_1,\ldots ,p_m\) and edges corresponding to generators. The total order of half-edges adjacent to the given vertex is defined by an orientation of the surface. An example of the total order of half-edges is given on Fig. 9.
Data of a ribbon graph can be encoded in m ordered sets of half-edges adjacent to \(p_j\)
Our ribbon graph is oriented, hence it will be convenient for us to label half-edges by generators of \(\pi _1(\Sigma ,p_1,\ldots ,p_m)\) and its inverses. We associate a generator for an outgoing edge and inverse of a generator for an ingoing edge. For example, ordered set of half-edges adjacent to \(p_j\) on Fig. 9 reads
5.2 The r-matrix approach
Let \({\mathfrak {g}}\) be a Lie algebra of G and \(r\in {\mathfrak {g}}\otimes {\mathfrak {g}}\) be a classical r-matrix, i.e. a a solution to the Yang–Baxter equation
We will be interested in solutions corresponding to factorizable Lie bialgebras, i.e. classical r-matrices with the following symmetric part (with respect to the exchange of tensor components) given by the Killing form:
Here \(\{e_J\}\) is a basis in \({\mathfrak {g}}\) which is orthonormal with respect to the Killing form and \(\sigma (x\otimes y)=y\otimes x\). Such solutions are classified in [BD82].
The choice of free generators of \(\pi _1(\Sigma ,p_1,\ldots ,p_m)\) fixes a natural isomorphism \({\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\simeq G^{N}\) where \(N=2g+b+m-2\). For an ordered ribbon graph Fock and Rosly [FR93] introduced a Poisson structure on this space with the Poisson tensor defined in terms of factorizable classical r-matrices. Below we present the corresponding Poisson brackets between matrix element functions.
For two matrix valued functions \(M_{ij}\) and \(N_{ab}\) on a Poisson manifold we will use the following notation
for the matrix of Poisson brackets. Here the convention is \((M\otimes N)_{(ia)(jb)}=M_{ij}N_{ab}\).
5.2.1 Distinct arcs
Basic building block of brackets corresponds to the case shown on Fig. 10a when the two oriented arcs share the source but have distinct targets different from their common source.
In this case the Fock and Rosly Poisson bracket between matrix elementsFootnote 16 of holonomies along these arcs reads
One can easily calculate the Poisson bracket between matrix elements of powers and products of matrices. For example, by Leibnitz identity applied to \(M_AM_A^{-1}={\mathrm {Id}}=M_BM_B^{-1}\) from (58a) we immediately obtain Poisson brackets for other three cases shown on Fig. 10b–d
where \(N_A=M_A^{-1}\) and \(N_B=M_B^{-1}\).
Similarly, brackets \(\{M_B\otimes M_A\},\ldots ,\{N_B\otimes N_A\}\) can be obtained by skew-symmetry, and the answer can be expressed in terms of \(r_{21}\) as follows
Here \(r_{21}=\sigma (r)\).
Bracket between matrix elements of a general distinct pair of arcs now can be computed by simply adding up to four terms of the form (58) and (59) corresponding to brackets between pairs of half edges whenever they are adjacent to the same vertex.
5.2.2 Self-brackets
There are only three cases of relative position of half edges of the same arc as shown on Fig. 11.
Corresponding brackets are given by the following formulae
where \(r_a=\frac{1}{2}(r_{12}-r_{21})\) is the antisymmetric (with respect to the exchange of tensor components) part of r-matrix and we write \(r_{12}\) for r.
5.3 Hamiltonian flows generated by central functions
In this section we compute the evolution of matrix element functions on \({\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) with respect to the Hamiltonian flows generated by central functions on holonomies around simple closed arcs \(a_i\) or \(y_j\) defined in Sect. 4.1. We start by considering three basic cases shown on Fig. 12.
Proposition 32
Let (a, e), (f, a), (a, g) be pairs of generators with relative order of half-edges as shown on Fig. 12, \(H: G\rightarrow {\mathbb {C}}\) be a polynomial central function, \(H(ghg^{-1})=H(h)\) and \(\pi : G\rightarrow End(V)\) be a finite dimensional representation of G. Denote by \(A,E,F,G\in {\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) holonomies along the corresponding oriented arcs. We have
where \(e_J\) is a basis in \({\mathfrak {g}}\) orthonormal with respect to the Killing form and
Here \(X\in {\mathfrak {g}}\) and (., .) is the Killing form.
Proof
It is enough to consider \(H(A)={\mathrm {Tr}}\,A^k\) where trace is taken over a finite dimensional representation (which can be different from V). Poisson bracket between matrix elements of A and E can be calculated as a sum of two terms: first term of the form (58a) corresponds to the ordered pair of half edges (a, e) adjacent to the same vertex; second term of the form (59c) corresponds to the ordered pair of half edges \((e,a^{-1})\). As a result, we have
Hence, by Leibnitz Identity for all \(k\in {\mathbb {N}}\) we get
Taking partial trace with respect to the first component we obtain (61a) as
Poisson bracket between matrix elements of A and G can be calculated as a sum of two terms: first term of the form (58a) corresponds to ordered pair of half edges (a, g); second term of the form (58b) corresponds to ordered pair of half edges \((a^{-1},g)\). Hence, we have
By Leibnitz Identity we get that for all \(k\in {\mathbb {N}}\)
Taking partial trace with respect to the first component we get
Poisson bracket between matrix elements of A and F is determined by (59a) and (59c) and has the following form
Note that \(r_{21}\) is on the same side from F in both terms of (62), so as in the previous case we obtain for all \(k\in {\mathbb {N}}\)
Finally, Poisson bracket between matrix elements of A is given by (60b)
By Leibnitz Identity we get for all \(k\in {\mathbb {N}}\)
Taking the partial trace with respect to the first component we have
From the invariance of I and from the cyclic invariance of the trace we get
This implies that the bracket \(\{{\mathrm {Tr}}\,A^k,A\}\) vanishes. \(\square \)
Corollary 33
Let (y, x) and (y, a) be pairs of generators with relative order of half edges as shown on Fig. 13 and H and \(\pi _V\) as in the previous proposition. Denote by \(A,X,Y\in {\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) the holonomies along the corresponding closed oriented arcs. We have
Proof
Indeed, the Poisson bracket between \({\mathrm {Tr}}\,Y^k\) and \(X_{ij}\) gets two contributions of the form (61a) and (61b) which correspond to the outgoing and the ingoing half edges of X respectively. As a result, we obtain (64a).
On the other hand, the Poisson bracket between \({\mathrm {Tr}}\,Y^k\) and \(A_{ij}\) is trivial due to (61b) because none of the half edges of A appear in between half edges of Y. Similar logic applies to the bracket between \({\mathrm {Tr}}\,A^k\) and \(Y_{ij}\). \(\square \)
Note that the Hamilton flow given by H(Y) preserves matrix element functions of the group commutator \(\pi _V(XYX^{-1}Y^{-1})\).
Theorem 34
Let \(\Sigma \) be an oriented surface with \(b>0\) boundary components and \(C=C_1\sqcup \ldots \sqcup C_k\) be a disjoint union of pairwise nonintersecting simple closed curves in \(\Sigma \) as in Theorem 17, \(H: G\rightarrow {\mathbb {C}}\) be a central function and \(\pi _V: G\rightarrow End(V)\) be a finite dimensional representation. Fix a choice of marked points \(p_1,\ldots ,p_m\in \partial \Sigma \) and generators of \(\pi _1(\Sigma ,p_1,\ldots ,p_m)\) as in Sect. 4.1 and denote by \(A_i,E_i,X_l,Y_l,Z_o \in {\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) the holonomies along arcs \(a_i,e_i,x_l,y_l,z_o\), then
Particular cases of Theorem 34 already appeared in the literature. For example, these brackets were computed in [FR99] for \(G=SL(N,{\mathbb {C}})\) and a torus with one boundary component.
The following Corollary generalizes classical result from §4 of [Gol86] to the case of surfaces with several marked points on different boundary components and arbitrary number of separating cycles:
Corollary 35
Fix \(i,1\leqslant i\leqslant r\) and a central function \(H: G\rightarrow {\mathbb {C}}\). Then the Hamiltonian flow generated by the function H evaluated on a cycle \(C_i\in \Sigma \) is given by the following expressions
-
When \(C_i\in \partial \Sigma _a\cap \partial \Sigma _b\) separates a pair of distinct connected components of \(\Sigma \backslash C\) we have
$$\begin{aligned} E_j(t)=&\left\{ \begin{array}{ll} E_j\,{\mathrm {exp}}\left( t\nabla H(A_i)\right) ,&{}\quad i=j,\\ E_j,&{}\quad i\ne j, \end{array}\right. \\ X_l(t)=&X_l,\qquad Y_l(t) =Y_l,\\ A_j(t)=&A_j,\qquad Z_o(t)=Z_o. \end{aligned}$$ -
Similarly, when \(C_l\) is a nonseparating cycle which belongs to the boundary of a single connected component of \(\Sigma \backslash C\) the Hamiltonian flow generated by H evaluated at the holonomy along \(C_l\) is given by
$$\begin{aligned} X_s(t)=&\left\{ \begin{array}{ll} X_s\,{\mathrm {exp}}\left( t\nabla H(Y_l)\right) ,&{}\quad l=s,\\ X_s,&{}\quad l\ne s, \end{array}\right. \\ A_j(t)=&A_j,\qquad E_j(t)=E_j\,\\ Y_l(t)=&Y_l,\qquad Z_o(t)=Z_o. \end{aligned}$$
Remark 36
Let \(\psi _t\) is the evolution on the algebra of functions on \({\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) generated by H, i.e.
If the functions \(H_1\) and \(H_2\) Poisson commute then \(\psi ^{H_1}_{t_1}\psi ^{H_2}_{t_2}=\psi ^{H_2}_{t_2}\psi ^{H_1}_{t_1}\). If \(H_1,\ldots , H_k\) is a complete set of independent functions on holonomies along C, their joint flow lines generate ange variables on their level surfaces.
Remark 37
It is worth noting that Theorem 34 along with Corollary 35 can be used for computations of Hamilton flows on decorated moduli spaces, namely on the quotient of \({\mathrm {Hom}}(\pi _1(\Sigma ,p_1,\ldots ,p_m),G)\) by a proper subgroup of \(G^{\times m}\). Examples of decorated character varieties include monodromy data of Painleve equations [CMR17, Boa18].
6 Particular Cases
Here we will describe Poisson algebras \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) and corresponding superintegrable systems explicitly in few low dimensional examples when \(\Sigma \) is a torus with one or two boundary components. Writing out examples inevitably brings us to the problem of an explicit description of the invariant ring \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\). For a simple linear algebraic group G such invariant rings are always finitely generated, yet the number of generators grows much faster than the dimension of the corresponding moduli space. Here we describe subalgebras \(Z_{\partial \Sigma }\subset B_C\subset J_{\Sigma \backslash C}\subset {\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) and their Poisson brackets internally, in terms of generators of the invariant ring \({\mathcal {O}}[{\mathcal {M}}_\Sigma ^G]\) for some simple examples.
6.1 Torus with one boundary component, \(G=SL(2,{\mathbb {C}})\)
Let \(\Sigma _{1,1}\) denote the torus with one boundary component. Choose a marked point \(p_1\in \partial \Sigma _{1,1}\). The fundamental group \(\pi _1(\Sigma _{1,1},p_1)\) is freely generated by a pair of arcs X, Y along the equator and meridian of the torus. Let \(\Gamma \) be the ribbon graph associated to such choice of generators. The data of \(\Gamma \) is encoded by an ordered set
of half-edges adjacent to \(p_1\) as shown on Fig. 13a. In (65) we have labelled half-edges by generators X, Y of \(\pi _1(\Sigma _{1,1},p_1)\) and their inverses \(X^{-1},Y^{-1}\) according to the convention introduced in the last paragraph of Sect. 4.1. Namely, we label an outgoing half-edge by the first power of the corresponding generator, while we label an ingoing edge by the inverse of the corresponding generator.
6.1.1 Moduli space
The moduli space of flat \(SL(2,{\mathbb {C}})\)-connections on a once punctured torus has dimension \(n=3\). We will use notation
for the trace of a matrix A.
The coordinate ring of the moduli space in this example is a free commutative algebra with three generators
where \(X,Y\in SL(2,{\mathbb {C}})\) are elements representing standard a and b cycles. The Poisson bracket between these coordinate functions are:
This is a rank 2 Poisson structure. The center of \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,1}}^{SL(2,{\mathbb {C}})}]\) is generated by a single Casimir function
6.1.2 Superintegrable system
Choose cycle C defining the system to be Y and the Hamiltonian \(H=\tau _Y\). From (29) we obtain a chain of subgroups
Here and below we write \(\langle a_1,\ldots , a_n\rangle \) for a free group generated by \(a_1,\ldots , a_n\).
The algebra of first integrals is then generated by three elements, two of which coincide
As a result, we obtain the following chain of subalgebras of the coordinate ring
In this case the algebra of Hamiltonians coincide with teh algebra of first integrals and therefore the system is Liouville integrable.
6.1.3 Mapping class group action
Consider the mapping class group \(Mod(\Sigma _{1,1,0})\) (relative to the boundary) of the torus with one boundary component and no punctures. It contains two left Dehn twists along the X and Y cycles which satisfy the braid relation and are acting on our generators as follows:
This defines a pair of Poisson automorphisms \({\mathcal {D}}_X,{\mathcal {D}}_Y\) of the coordinate ring \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,1}}^{SL(2,{\mathbb {C}})}]\)
Note that action of \(Mod(\Sigma _{1,1,0})\) on the character variety factors through the action of the Mapping Class Group of a torus with one puncture \(Mod(\Sigma _{1,0,1})\simeq SL(2,{\mathbb {Z}})\).
Poisson automorphisms (68) define a family of isomorphic integrable systems associated to nonseparating cycles on \(\Sigma _{1,1}\).
6.2 Torus with two boundary components, \(G=SL(2,{\mathbb {C}})\)
The coordinate ring of the moduli space has dimension \(n=6\) and the coordinate ring is generated by 7 polynomials subject to the single relation
Here \(\tau _{A}\) stands for \({\mathrm {Tr}}\,(A)\) and
Poisson brackets between generators are summarized in Table 1, where we have omitted generator \(\tau _Z\) which belongs to the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,2}}^{SL(2,{\mathbb {C}})}]\).
The Poisson center Z of the coordinate ring has Krull dimension \(\dim Z=2\) and has two algebraically independent Casimir elements corresponding to traces of monodromies around each of the boundary components
6.2.1 A superintegrable system associated to nonseparating cycle
Consider a superintegrable system given by a nonseparating cycle homotopic to Y, from (29) we get a chain of subgroups
Coordinate ring of the character variety of the smallest subgroup is generated by a single hamiltonian \(H=\tau _Y\). At the same time, the coordinate ring of the character variety of the middle subgroup in (69) has the following presentationFootnote 17
where
Subalgebra \(J\subset {\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,2}}^{SL(2)}]\) is closed under the Poisson bracket. Explicitly, all nonzero brackets between generators are given by
The algebra of first integrals (70) has Krull dimension 5. One can choose its maximal algebraically independent subset to contain two Casimir functions
one Hamiltonian
and two more first integrals
6.2.2 Separating cycle
Now consider a superintegrable system given by a separating cycle homotopic to \(XYX^{-1}Y^{-1}\). As in the previous case we have two Casimir elements \(z_1\) and \(z_2\). Their generic level sets form a 2-parametric family of 4-dimensional symplectic manifolds. Choose the Hamiltonian on these phase spaces as
From (51) we have the following algebra of first integrals
Here \(J_R\) is Poisson commutative, while \(J_L\) is equipped with a Poisson bracket of generic rank 2 (see first three rows of Table 1). Algebra J has Krull dimension 5. An example of maximal algebraically independent subset is \(z_1,z_2, H, g_1=\tau _X,g_2=\tau _Y\), i.e. generators of the Poisson center, the Hamiltonian and two additional first integrals.
6.3 Torus with one boundary component, \(G=SL(3,{\mathbb {C}})\)
The moduli space of flat \(SL(3,{\mathbb {C}})\)-connections on a once punctured torus has dimension \(n=8\), the coordinate ring is generated by 9 polynomials subject to a single relation
where \(\zeta _1\) and \(\zeta _0\) are polynomials in \(\tau _X,\ldots \tau _{X^{-1}Y^{-1}}\):
and
For a proof, see for example Lemma 5 in [Law07].
Poisson brackets between generators are summarized in Table 2, where we have omitted generator \(\tau _{XYX^{-1}Y^{-1}}\) because it belongs to the Poisson center of \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,1}}^{SL(3,{\mathbb {C}})}]\), see [Law09].
Coordinate ring \({\mathcal {O}}[{\mathcal {M}}_{\Sigma _{1,1}}^{SL(3)}]\) has a Poisson center Z of Krull dimension \(\dim Z=2\). Two algebraically idependent Casimir elements: \(z_1=\tau _{YXY^{-1}X^{-1}}\) and \(z_2=\tau _{XYX^{-1}Y^{-1}}\). The formula expressing \(z_1\) in terms of generators is given in (73)
6.3.1 A superintegrable system
Here we consider a superintegrable system defined by a single cycle homotopic to X. By (29) we have a chain of inclusions of subgroups of the fundamental group
Choose two independent Hamiltonians in \({\mathcal {O}}[{\mathrm {Hom}}(\pi _1(C), SL(3)]^{SL(3)}\) as
These two Poisson commuting Hamiltonians define a superintegrable system with the Poisson algebra of first integrals J defined above. We can choose a maximal algebraically idependent subset in J to be \(z_1,z_2,H_1,H_2\) with two more integrals
7 Conclusion
7.1 The algebra of chord diagrams on a surface and “universal superintegrable systems”
The algebra of chord diagrams is a universal model for the Poisson algebra of functions on moduli spaces of flat connections [AMR96], see also [T91] for the case of loop algebras on a surface, i.e. skein modules. Chord diagrams first appeared in the setting of finite type invariants of knots [V90] and in perturbative Chern-Simons invariants [BN91, K93]. They became an important tool in the related theory of Vassiliev invariants.
Let us recall some basic definitions. A chord diagram is a homotopy class of a graph on a surface which consists of solid lines and chords. Solid lines are oriented, cords are not oriented. They satisfy the analogue of Reidemeister relations (see [AMR96] for details) together with the so-called 4T-relation shown on Fig. 14.
The algebra of chord diagrams \(Ch(\Sigma )\) on a surface \(\Sigma \) is a vector space spanned by \({\mathbb {Z}}\)-linear combinations of chord diagrams with
-
the commutative multiplication of \([D_1]\) and \([D_2]\) is defined as \([D_1][D_2]=[D_1\sqcup D_2]\), i.e. as the homotopy class of their disjoint union. T
-
The Poisson bracket is a “universal” version of the Atiyah and Bott Poisson bracket. For two chord diagrams \(D_1\) and \(D_2\) their Poisson bracket is
$$\begin{aligned} \{[D_1], [D_2]\}=\sum _{p\in D_1\cap D_2} \sum _{p\in D_1\cap D_2} \epsilon (p) [D_1\#_p D_2] \end{aligned}$$where the sum is taken over the intersection points of representatives \(D_1\) and \(D_2\) and \(D_1\#_p D_2\) is the result of the insertion of a chord in a small vicinity of point p. It is clear that the right side does not depend on the choice of representatives and on where the extra cord in inserted.
The Poisson center of \(Z(\Sigma )\subset Ch(\Sigma )\) is, conjecturally, generated by chord diagrams which are contractible to the boundary of \(\Sigma \).
To define a conjecturally superintegrable system on \(Ch(\Sigma )\) choose a system of simple curves on the surface. Define the subalgebra of Hamiltonians B(C) and the subalgebra of chord diagrams which are contractible to C and the subalgebra of first integrals J(C) and the subalgebra of chord diagrams which can be separated from C. We have a natural inclusion of Poisson subalgebras:
We conjecture that this chain of inclusions define a superintegrable systems. In this infinite dimensional setting the superintegrability means that the space of all nontrivial Poisson derivations \(Der_{J(C)}(Ch(\Sigma ))\) of \(Ch(\Sigma )\) which act trivially on J(C) is generated as an \(Ch(\Sigma )\)-module by Hamilton derivations corresponding to elements from B(C).
7.2 Quantization and the algebra of links in a cylinder
The natural question about any integrable system is how to quantize it. In the case of superintegrable systems on chord diagrams there is a natural quantization.
There is a natural associative algebra that can be naturally associated to a surface. The his is the algebra of links, or linked graphs, in \(\Sigma \times I\) where I is an interval. This algebra, which we will denote \(A(\Sigma )\) is the space of \({\mathbb {Z}}\)-linear combinations of links in \(\Sigma \times I\). The natural associative multiplication on this space is the “placing of one link on the top of the other”:
where in the right side of this equation we assume that \(L_1\subset \Sigma [1,1/2]\) and \(L_2\subset \Sigma \times [1/2,0]\). here [L] is the topological link which the isotopy class of a geometrical link \(L: {S^1}^{\times n}\rightarrow \Sigma \times I\).
The algebra \(A(\Sigma )\) has a natural filtration with \(Ch(\Sigma )\) being isomorphic to its associated graded algebra. In this sense \(A(\Sigma )\) is the quantization of \(Ch(\Sigma )\).
Finite dimensional representations of the algebra \(A(\Sigma )\) can be easily constructed using [RT90]. Such representations use representation theory of \(U_q({{\mathfrak {g}}})\) at roots of unity. We will present details in a separate publication.
For generic q, the quantization can be done by quantizing Fock and Rosly brackets by R-matrices, see for example [AGS95, AS96]. It is worth noting that a closely related question for the extended moduli space with the choice of flags at marked points on the boundary can be studied by means of Cluster Algebras [FG06], see for example [SS17, GSV18, CMR17] and references therein.
Notes
On a smooth manifold \({\mathcal {M}}\) (complex or real) we call functions \(f_1,\ldots ,f_k\in C^\infty ({\mathcal {M}})\) independent if the corresponding differentials \({\mathrm {df}}_1,\ldots ,{\mathrm {df}}_k\in \Gamma (T^*{\mathcal {M}})\) are linearly independent at every point in \({\mathcal {M}}\).
Typically \({\mathcal {B}}_k\) is not smooth but stratified by smooth strata with one smooth higher dimensional stratum. It is frequently an orbifold.
More generally, one can take \({\mathcal {A}}=\mathrm {Spec}\,A\) to be an integral affine scheme.
More precisely, \(p_2^{-1}(b),\;b\in {\mathcal {B}}\) is an algebraic subset of \({\mathcal {J}}\), it contains an irreducible component of maximal dimension which is an affine Poisson variety. For a general b, this variety is equipped with a Poisson bracket of maximal rank equal to the dimension.
Throughout the text we always assume that the composition of paths is read from right to left. For example, \([x_1,y_1]z_1z_2\) corresponds to the contractible path along the boundary of a disc in \(\Sigma _{1,2}\) on Fig. 1.
Note that despite its name, \({{\mathcal {M}}}_\Sigma ^G\) is not a variety but rather an affine scheme. Throughout the text we will always think of \({\mathcal {M}}_\Sigma ^G\) in terms of its coordinate ring, which is precisely the G-invariant subring of the coordinate ring of representation variety.
Immersed graphs may intersect on a surface and intersections does not have to be transversal.
Note that because the category of G-modules is symmetric, there exists a canonical isomorphism between V(v) for different choices of edge ordering. Still, it will be convenient for us to assume that we have chosen a total order of edges adjoint to the given vertex.
In our case this is the set of edges adjacent to v.
Note that the adjoint representation is self-dual, so the orientation of \(e''\) on Fig. 4b can be chosen arbitrarily.
Adding extra generator \(b_1\) for \(\pi _1(\Sigma _R,q)\) satisfying relation \(b_1=F(b_2,\ldots ,b_{n+1})\) allows us to treat both cases \(\partial \Sigma _R=C\) and \(\partial \Sigma _R\supsetneq C\) simultaneously without any changes in notation.
We use two distinct points \(p\in \Sigma _L\) and \(q\in \Sigma _R\) in order to simplify the comparison of the formulas with Sect. 4.
These two formulas is an algebraic version of a statement that for a pair of projections of irreducible affine varieties \(X\rightarrow Z\) and \(Y\rightarrow Z\) over \({\mathbb {C}}\), the dimension of the corresponding fiber product is \(\dim (X\times _ZY)=\dim X+\dim Y-\dim Z\).
Note that in order for (52) to be valid it is crucial that all algebras involved are finitely generated over \({\mathbb {C}}\) and have no zero divisors. Identities (52) then follow from the fact that transcendence degree of a field extension is additive w.r.t. the composition of field extensions.
For the analogue of the current section in terms of quasi Poisson bracket see [AR].
Here and below by matrix elements we always assume matrix elements in a finite dimensional representation.
Finding a generating set together with transcendence basis for the corresponding field of fractions is always straightforward in the case of all rings involved in our paper. However, it is much more complicated to find a complete set of relations outside of the most elementary examples.
In this particular case, one can recall that J is isomorphic to a quotient ring of \({\mathcal {O}}[M_{\Sigma _{0,4}}^{SL(2)}]\) modulo the relation that traces of monodromies around the fixed pair of boundary components are equal to each other. This allows one to resolve one of the generators in \({\mathcal {O}}[M_{\Sigma _{0,4}}^{SL(2)}]\) and obtain presentation (70).
References
Alekseev, A., Grosse, H., Schomerus, V.: Combinatorial quantization of the Hamiltonian Chern–Simons theory I. Commun. Math. Phys. 172(2), 317–358 (1995)
Alekseev, A., Kosmann-Schwarzbach, Y.: Manin pairs and moment maps. J. Differ. Geom. 56(1), 133–165 (2000)
Alekseev, A., Kosmann-Schwarzbach, Y., Meinrenken, E.: Quasi-Poisson manifolds. Can. J. Math. 54(1), 3–29 (2002)
Alekseev, A., Malkin, A., Meinrenken, E.: Lie group valued moment maps. J. Differ. Geom. 48(3), 445–495 (1998)
Arthamonov, S., Roubtsov, V.: To appear
Alekseev, A., Schomerus, V.: Representation theory of Chern–Simons observables. Duke Math. J. 85(2), 447–510 (1996)
Arutyunov, G., Olivucci, E.: Hyperbolic spin Ruijsenaars–Schneider model from Poisson reduction. arXiv:1906.02619
Atiyah, M., Bott, R.: The Yang–Mills equations over Riemann surfaces. Philos. Trans. R. Soc. Lond. A 308(1505), 523–615 (1983)
Andersen, J., Mattes, J., Reshetikhin, N.: The Poisson structure on the moduli space of flat connections and chord diagrams. Topology 35(4), 1069–1083 (1996)
Audin, M.: In Gauge Theory and Symplectic Geometry. Lectures on Gauge Theory and Integrable Systems, pp. 1–48. Springer, Dordrecht (1997)
Bar-Natan, D.: Perurbative aspects of the Chern–Simons topological quantum field theory. PhD thesis, Princeton University, Princeton (1991)
Belavin, A., Drinfeld, V.: Solutions of the classical Yang–Baxter equation for simple Lie algebras. Funct. Anal. Appl. 16(3), 159–180 (1982)
Biswas, I., Guruprasad, K.: Principal bundles on open surfaces and invariant functions on lie groups. Int. J. Math. 4(04), 535–544 (1993)
Boalch, Ph.: Wild character varieties, points on the Riemann sphere and Calabi’s examples. Adv. Stud. Pure Math. 76, 67–94 (2018)
Chalykh, O., Fairon, M.: On the Hamiltonian formulation of the trigonometric spin Ruijsenaars–Schneider system. Lett. Math. Phys. 110(11), 2893–2940 (2020)
Chekhov, L., Mazzocco, M., Rubtsov, V.: Algebras of quantum monodromy data and decorated character varieties. Int. Math. Res. Not. 2017(24), 7639–7691 (2017)
Fehér, L., Klimčík, C.: Self-duality of the compactified Ruijsenaars–Schneider system from quasi-Hamiltonian reduction. Nucl. Phys. B 860(3), 464–515 (2012)
Fehér, L., Klimčík, C.: The Ruijsenaars self-duality map as a mapping class symplectomorphism, In: Lie Theory and Its Applications in Physics, IX International Workshop, pp. 423–437. Springer (2013). arXiv:1203.3300
Fock, V., Goncharov, A.: Moduli spaces of local systems and higher Teichmüller theory. Publ. Math. de l’IHÉS 103, 1–211 (2006)
Fock, V., Gorsky, A., Nekrasov, N., Rubtsov, V.: Duality in integrable systems and gauge theories. JHEP 07, 028 (2000)
Fock, V.: Zur theorie des wasserstoffatoms. Z. Phys. 98, 145 (1935)
Fock, V., Rosly, A.: Flat connections and polyubles. Theor. Math. Phys. 95(2), 526–534 (1993)
Fock, V., Rosly, A.: Poisson structure on moduli of flat connections on Riemann surfaces and \(r\)-matrix. In: Moscow Seminar in Mathematical Physics. American Mathematical Soc., pp. 67–86 (1999)
Frish, J., Mandrosov, V., Smorodinsky, Y., Uhlir, M., Winternitz, P.: On higher symmetries in quantum mechanics. Phys. Lett. 16, 354–356 (1965)
Gekhtman, M., Shapiro, M., Vainshtein, A.: Drinfeld double of \(GL_n\) and generalized cluster structures. Proc. Lond. Math. Soc. 116(3), 429–484 (2018)
Gorsky, A., Nekrasov, N.: Hamiltonian systems of Calogero type and two dimensional Yang–Mills theory. Nucl. Phys. B 414, 213–238 (1994)
Gorsky, A., Nekrasov, N.: Relativistic Calogero–Moser Model as a gauged WZW model. Nucl. Phys. B 436, 582 (1995)
Guruprasad, K., Huebschmann, J., Jeffrey, L., Weinstein, A.: Group systems, groupoids, and moduli spaces of parabolic bundles. Duke Math. J. 89(2), 377–412 (1997)
Goldman, W.: Invariant functions on Lie groups and Hamiltonian flows of surface group representations. Invent. Math. 85(2), 263–302 (1986)
Hitchin, N.: Stable bundles and integrable systems. Duke Math. J. 54(1), 91–114 (1987)
Jeffrey, L., Weitsman, J.: Bohr–Sommerfeld orbits in the moduli space of flat connections and the Verlinde dimension formula. Commun. Math. Phys. 150(3), 593–630 (1992)
Jeffrey, L., Weitsman, J.: Toric structures on the moduli space of flat connections on a Riemann surface: volumes and the moment map. Adv. Math. 106(2), 151–168 (1994)
Kashaev, R., Reshetikhin, N., Webster, B., Yakimov, M.: Moduli Spaces of Flat \(G\)-connections and Symmetrically Factorizable Groups, Preprint
Kontsevich, M.: Vassiliev’s knot invariants. In: Gelfand Seminar, I.M. (ed.) Advances in Soviet Mathematics, vol. 16, pp. 137–150. American Math Soc, Providence (1993)
Lawton, S.: Generators, relations and symmetries in pairs of 3x3 unimodular matrices. J. Algebra 313(2), 782–801 (2007)
Lawton, S.: Poisson geometry of \(SL(3,{\mathbb{C}})\)-character varieties relative to a surface with boundary. Trans. Am. Math. Soc. 361(5), 2397–2429 (2009)
Meusburger, C.: Dual generators of the fundamental group and the moduli space of flat connections. J. Phys. A Math. Gen. 39(47), 14781 (2006)
Mishchenko, A.S., Fomenko, A.T.: Generalized Liouville method of integration of Hamiltonian systems. Funct. Anal. Appl. 12(2), 113–121 (1978)
Nekhoroshev, N.: Action-angle variables, and their generalizations. Trans. Mosc. Math. Soc. 26, 181–198 (1972)
Nekrasov, N.: Holomorphyc bundles and many-body systems. Commun. Math. Phys. 180, 587–604 (1996)
Pauli, W.: On the hydrogen spectrum from the standpoint of the new quantum mechanics. Z. Phys. 36, 336–363 (1926)
Reshetikhin, N.: Integrability of characteristic Hamiltonian systems on simple Lie groups with standard Poisson Lie structure. Commun. Math. Phys. 242(1), 1–29 (2003)
Reshetikhin, N.: Degenerate integrability of the spin Calogero–Moser systems and the duality with the spin Ruijsenaars systems. Lett. Math. Phys. 63(1), 55–71 (2003)
Reshetikhin, N.: Degenerately integrable systems. J. Math. Sci. 213(5), 769–785 (2016)
Reshetikhin, N.: Spin Calogero–Moser models on symmetric spaces. preprint arXiv:1903.03685
Reshetikhin, N., Stokman, J.: Classical spin Calogero–Moser–Sutherland type systems and boundary Knizhnik–Zamolodchikov equation. To appear
Reshetikhin, N., Turaev, V.: Ribbon graphs and their invaraints derived from quantum groups. Commun. Math. Phys. 127(1), 1–26 (1990)
Schrader, G., Shapiro, A.: Continuous tensor categories from quantum groups I: algebraic aspects. preprint arXiv:1708.08107
Tempesta, P., Winternitz, P., Harnad, J., Miller, W., Jr., Pogosyan, G., Rodriguez, M. (eds.): Superintegrability in Classical and Quantum Systems. CRM Proceedings and Lecture Notes, vol. 37 (2004)
Turaev, V.: Skein quantization of Poisson algebras of loops on surfaces. Ann. Sci. l’Ecole Norm. Supérieure 24(6), 635–704 (1991)
Vassiliev, V.: Cohomology of knot spaces In: Theory of Singularities and Applications, Advances in Soviet Mathematics, vol. 1, pp. 23–69. American Math Soc, Providence (1990)
Acknowledgements
N.R. is grateful to J. Stokman for numerous discussions. S.A. is grateful to V. Roubtsov and L. Feher for useful remarks. The work of N.R. was partially supported by Grants NSF DMS-1601947 and RSF-18-11-00-297. The work of S.A. was partially supported by RSF-18-01-00926 and 19-51-50008-YaF.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H.-T. Yau.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Arthamonov, S., Reshetikhin, N. Superintegrable Systems on Moduli Spaces of Flat Connections. Commun. Math. Phys. 386, 1337–1381 (2021). https://doi.org/10.1007/s00220-021-04128-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04128-5