Abstract
We identify a family of torus representations such that the corresponding singular symplectic quotients at the 0-level of the moment map are graded regularly symplectomorphic to symplectic quotients associated to representations of the circle. For a subfamily of these torus representations, we give an explicit description of each symplectic quotient as a Poisson differential space with global chart as well as a complete classification of the graded regular diffeomorphism and symplectomorphism classes. Finally, we give explicit examples to indicate that symplectic quotients in this class may have graded isomorphic algebras of real regular functions and graded Poisson isomorphic complex symplectic quotients yet not be graded regularly diffeomorphic nor graded regularly symplectomorphic.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let G be a compact Lie group and \(G\rightarrow \mathrm {U}(V)\) a finite dimensional unitary representation of G. Here \(\mathrm {U}(V)\) stands for the unitary group of V, i.e., the group of automorphisms preserving the hermitian inner product \(\langle \cdot ,\cdot \rangle \). To describe the orbit space V/G, i.e., the space of G-orbits in V, invariant theory is employed as follows. There exists a system of fundamental real homogeneous polynomial invariants \(\varphi _1,\varphi _2,\dots ,\varphi _m\); we refer to the system \(\varphi _1,\varphi _2,\dots ,\varphi _m\) as a Hilbert basis. This means that any real invariant polynomial \(f\in {\mathbb {R}}[V]^G\) can be written as a polynomial in the \(\varphi \)’s, i.e., there exists a polynomial \(g\in \mathbb R[x_1,x_2,\dots ,x_m]\) such that \(f=g(\varphi _1,\varphi _2,\dots ,\varphi _m)\). More generally, by a theorem of Schwarz (1975), for any smooth function \(f\in {\mathcal {C}}^\infty (V)^G\) there exists \(g\in \mathcal C^\infty ({\mathbb {R}}^m)\) such that \(f=g(\varphi _1,\varphi _2,\dots ,\varphi _m)\). The vector-valued map \(\varphi =(\varphi _1,\varphi _2,\dots ,\varphi _m)\) gives rise to an embedding \({\overline{\varphi }}\) of V/G into euclidean space \({\mathbb {R}}^m\), which is called the Hilbert embedding. We denote its image by \(X:=\varphi (V)\). It turns out that \({\overline{\varphi }}\) is actually a diffeomorphism onto X, i.e., the pullback \({\overline{\varphi }}^*\) via \({\overline{\varphi }}\) induces an isomorphism of algebras \(\mathcal C^\infty (X):=\{g : X\rightarrow {\mathbb {R}}\mid \exists G\in \mathcal C^\infty ({\mathbb {R}}^m) :g=G_{|X}\}\) and \(\mathcal C^\infty (V/G):={\mathcal {C}}^\infty (V)^G\). Moreover, the restriction of \({\overline{\varphi }}^*\) to the subalgebra \({\mathbb {R}}[X]:=\{g: X\rightarrow {\mathbb {R}}\mid \exists G\in {\mathbb {R}}[x_1,x_2,\dots ,x_m] :g=G_{|X}\}\) isomorphically to \({\mathbb {R}}[V/G]:={\mathbb {R}}[V]^G\) preserving the grading. Here we use the natural grading \(\deg ({x_i}):=\deg ({\varphi _i})\). We say that \({\overline{\varphi }}^*\) is a graded regular diffeomorphism. The algebra \({\mathbb {R}}[X]\) can be understood as the quotient of \({\mathbb {R}}[x_1,x_2,\dots ,x_m]\) by the kernel of the restriction map, which we refer to as the ideal of off-shell relations. Its generators are assumed to be homogeneous in the natural grading. The real variety underlying \({\mathbb {R}}[X]\) is the Zariski closure \({\overline{X}}\) of X inside \({\mathbb {R}}^m\). The space X itself is not a real variety but a semialgebraic set, meaning that it is defined by polynomial equations as well as inequalities (Bochnak et al. 1998). How the inequalities cutting out X inside \({\overline{X}}\) are obtained has been explained in Procesi and Schwarz (1985).
The hermitian vector space V is equipped with the symplectic form \(\omega =\mathrm {Im}\langle \cdot ,\cdot \rangle \). Moreover, the action of G on V is Hamiltonian and admits a unique homogeneous quadratic moment map \(J: V\rightarrow {\mathfrak {g}}^*\) where \({\mathfrak {g}}^*\) denotes the dual of the Lie algebra \({\mathfrak {g}}\) of G. The zero fiber \(Z:=J^{-1}(0)\) of J is referred to as the shell. It is a real subvariety of V that is often singular, in which case it has a conical singularity at the origin. As the moment map J is equivariant with respect to the coadjoint action of G on \({\mathfrak {g}}^*\), the group G acts on Z. The space \(M_0:=Z/G\) of G-orbits in Z is called the (linear) symplectic quotient. By the work (Sjamaar and Lerman 1991) the smooth structure \({\mathcal {C}}^\infty (M_0)\) is given by the quotient \({\mathcal {C}}^\infty (V)^G/{\mathcal {I}}_Z^G\) where \({\mathcal {I}}_Z^G\) is the invariant part of the vanishing ideal \({\mathcal {I}}_Z:=\{f\in {\mathcal {C}}^\infty (V)\mid f_{|Z}=0\}\). Note that \({\mathcal {C}}^\infty (M_0)\) is in a canonical way a Poisson algebra containing the Poisson subalgebra \({\mathbb {R}}[M_0]:=\mathbb R[V]^G/I_Z^G\), where \(I_Z^G:={\mathcal {I}}_Z\cap {\mathbb {R}}[V]^G\). The image \(Y:=\varphi (Z)\) of Z under the Hilbert map is a semialgebraic subset of X. Its Zariski closure \({\overline{Y}}\) is described by the generators of the kernel in \( \mathbb R[x_1,x_2,\dots ,x_m]\) of the algebra morphism \(x_i\mapsto {\varphi _i}_{|Z}\in {\mathcal {C}}^\infty (M_0)\). We refer to it as the ideal of on-shell relations. The inequalities that cut out Y from \({\overline{Y}}\) are the same as those cutting out X from \({\overline{X}}\).
Let us now assume that we have two symplectic quotients \(M_0\) and \(M_0^\prime \) constructed from the representations \(G\rightarrow \mathrm U(V)\) and \(G^\prime \rightarrow \mathrm U(V^\prime )\), respectively. By a symplectomorphism between \(M_0\) and \(M_0^\prime \) we mean a homeomorphism \(F: M_0\rightarrow M_0^\prime \) such that the pullback \(F^*\) is an isomorphism of Poisson algebras \(F^*: \mathcal C^\infty (M_0^\prime )\rightarrow {\mathcal {C}}^\infty (M_0)\). We say that F is regular if \(F^*({\mathbb {R}}[M_0^\prime ])\subseteq \mathbb R[M_0]\). A regular symplectomorphism is called graded regular if the map \((F^*)_{|{\mathbb {R}}[M_0^\prime ]}: \mathbb R[M_0^\prime ]\rightarrow {\mathbb {R}}[M_0]\) preserves the grading. By the Lifting Theorem of Farsi et al. (2013), an isomorphism \(f: \mathbb R[M_0^\prime ]\rightarrow {\mathbb {R}}[M_0]\) of Poisson algebras gives rise to a unique symplectomorphism if it is compatible with the inequalities.
When \(G = \mathbb {T}^\ell \) is a torus, a representation V of complex dimension n can be described in terms of a weight matrix \(A \in \mathbb {Z}^{\ell \times n}\); we use \(M_0(A)\) to denote the symplectic quotient associated to the representation with weight matrix A. In Farsi et al. (2013, Theorem 7), it is demonstrated that for a weight matrix of the form \(A = (D|C)\) where D is an \(\ell \times \ell \) diagonal matrix with strictly negative entries on the diagonal and C is an \(\ell \times 1\) matrix with strictly positive entries, the corresponding symplectic quotient by \(\mathbb {T}^\ell \) is graded regularly symplectomorphic to the symplectic orbifold \(\mathbb {C}/\mathbb {Z}_\eta \) where \(\eta = \eta (A)\) is a quantity determined by the entries of A; see Definition 3. However, based on the explicit description of the ring \(\mathbb {R}[\mathbb {C}]^{\mathbb {Z}_\eta }\) of real regular functions on the orbifold \(\mathbb {C}/\mathbb {Z}_\eta \) given in the proof of (Farsi et al. 2013, Theorem 7), it is easy to see that \(\mathbb {R}[\mathbb {C}]^{\mathbb {Z}_{\eta _1}}\) and \(\mathbb {R}[\mathbb {C}]^{\mathbb {Z}_{\eta _2}}\) are isomorphic as algebras over \(\mathbb {R}\) if and only if \(\eta _1 = \eta _2\). Hence, an immediate corollary of Farsi et al. (2013, Theorem 7) is the following.
Corollary 1
For \(i = 1,2\), let \(A_i = (D_i|C_i)\) where each \(D_i\) is an \(\ell _i\times \ell _i\) diagonal matrix with strictly negative entries on the diagonal and each \(C_i\) is an \(\ell _i\times 1\) matrix with strictly positive entries. Then the symplectic quotients \(M_0(A_1)\) and \(M_0(A_2)\) are regularly diffeomorphic if and only if \(\eta (A_1) = \eta (A_2)\), in which case they are graded regularly symplectomorphic.
More recently, it was shown in Herbig et al. (2015, Theorem 1.1) that for general symplectic quotients, symplectomorphisms with symplectic orbifolds are rare, even if the graded regular requirements are dropped; see also Herbig and Seaton (2015). Hence, one cannot use isomorphisms with quotients by finite groups to approach a more general classification of higher-dimensional symplectic quotients by tori.
In this paper, we give a generalization of Corollary 1 as a step towards a general classification of linear symplectic quotients by tori into (graded) regular symplectomorphism classes. While Corollary 1 addresses a class of symplectic quotients by tori that can be reduced to quotients by finite groups, we consider here a class of symplectic quotients by tori that are graded regularly symplectomorphic to symplectic quotients by the circle \(\mathbb {T}^1\). To state our main result, we say that a weight matrix \(A \in \mathbb {Z}^{\ell \times (\ell +k)}\) is Type \(II_k\) if it can be expressed in the form \(A = (D, c_1\varvec{n},\ldots , c_k\varvec{n})\) with D a diagonal matrix with strictly negative diagonal entries, \(\varvec{n}\) a column matrix with strictly positive entries, and each \(c_r \ge 1\). Our main result is that the symplectic quotient associated to a Type II\(_k\) matrix of any size is graded regularly symplectomorphic to a symplectic quotient by \(\mathbb {T}^1\). Specifically, we have the following; see Definition 3 for the definitions of \(\alpha \) and \(\beta \).
Theorem 1
Let \(A\in \mathbb {Z}^{\ell \times (\ell +k)}\) be the Type \(\hbox {II}_k\) matrix corresponding to a faithful \(\mathbb {T}^\ell \)-representation V of dimension \(n = \ell +k\). Then the symplectic quotient \(M_0(A)\) is graded regularly symplectomorphic to the \(\mathbb {T}^1\)-symplectic quotient \(M_0(B)\) where \(B = \big (-\alpha (A), c_1\beta (A),\ldots , c_k\beta (A)\big ) \in \mathbb {Z}^{1\times (k+1)}\).
Theorem 1 can be thought of as a dimension reduction formula, allowing one to describe symplectic quotients by \(\mathbb {T}^\ell \) associated to Type \(\hbox {II}_k\) weight matrices in terms of much simpler quotients by \(\mathbb {T}^1\). In particular, it extends results concerning \(\mathbb {T}^1\)-symplectic quotients to this family of quotients by tori, e.g., the Hilbert series computations of Herbig and Seaton (2014) or the representability results of Watts (2016). The graded regular symplectomorphism given by Theorem 1 preserves several structures, and hence can be thought of as a symplectomorphism of symplectic stratified spaces, a graded isomorphism of the corresponding real algebraic varieties, etc., and it induces a graded Poisson isomorphism of the corresponding complex symplectic quotients, the complexifications treated as complex algebraic varieties with symplectic singularities; see Herbig et al. (2020)
The proof of Theorem 1 is given in Sect. 3 by indicating a Seshadri section for the action of the torus on the zero fiber of the moment map after complexifying and applying a result of Popov (1992); see Definition 2 and Theorem 5. The first proof we obtained of Theorem 1, however, was constructive for a smaller class of weight matrices, so-called Type \({I}_k\) (see Definition 3), and used explicit descriptions of the corresponding symplectic quotients and algebras of real regular functions. Because this description has proven useful and may be of independent interest, we give this description and outline the constructive approach in Appendix A.
In the case of symplectic quotients of (real) dimension 2 considered in Corollary 1 (corresponding to Type \(\hbox {I}_1\) weight matrices), the graded regular symplectomorphism class of \(M_0(A)\) depends only on the constant \(\eta (A)\), which is given by the sum \(\alpha (A) + \beta (A)\) (see Definition 3). In the case of Type \(\hbox {I}_k\) weight matrices with \(k > 1\), this is no longer the case; we show in Sect. 4 that the graded regular symplectomorphism classes of Type \(\hbox {I}_k\) symplectic quotients are classified by k, \(\alpha (A)\), and \(\beta (A)\). For Type \(\hbox {II}_k\) weight matrices, though the graded regular symplectomorphism class of \(M_0(A)\) is certainly not determined by k and \(\eta (A)\), the situation is more subtle, and such a classification would require very different techniques. In Sect. 5, we indicate this with examples of symplectic quotients associated to Type \(\hbox {II}_k\) weight matrices that fail to be graded regularly symplectomorphic, though the corresponding complex algebraic varieties are graded Poisson isomorphic, and hence the Hilbert series of real regular functions coincide.
2 Background on torus representations
In this section, we give a brief overview of the structures associated to (real linear) symplectic quotients by tori, specializing the constructions described in the Introduction. We refer the reader to Farsi et al. (2013), Herbig et al. (2009) for more details.
Let \(G = \mathbb {T}^\ell \) and let V be a unitary G-module with \(\dim _\mathbb {C}V = n\). Choosing a basis with respect to which the action of G is diagonal and letting \(\varvec{z} = (z_1, \ldots , z_n) \in \mathbb {C}^n\) denote coordinates for V with respect to this basis, the action of G is given by
where \(\varvec{t} = (t_1,t_2,\ldots ,t_\ell )\in G\) and \(A = (a_{ij})\in \mathbb {Z}^{\ell \times n}\) is the weight matrix of the representation. Given a matrix \(A\in \mathbb {Z}^{\ell \times n}\), we let \(V_A\) denote the n-dimensional representation of \(\mathbb {T}^\ell \) whose weight matrix equals A and the corresponding basis for \(V_A\). We let \(\langle \cdot ,\cdot \rangle \) denote the standard hermitian scalar product on \(V_A\) corresponding to this basis.
Letting \(\varvec{a}_j\) denote the jth column of A so that \(A = (\varvec{a}_1\ldots \varvec{a}_n)\), it will be convenient to set
so that the action is given by
Row-reducing A over \(\mathbb {Z}\) corresponds to changing coordinates \((t_1,\ldots ,t_2)\) for G, so we may assume that A is in reduced echelon form over \(\mathbb {Z}\). Similarly, permuting the columns of A corresponds to reordering the basis for \(V_A\).
With respect to the symplectic form given by \(\omega (\varvec{z},\varvec{z}^\prime ) = {\text {Im}}\langle \varvec{z},\varvec{z}^\prime \rangle \), the action of G on \(V_A\) is Hamiltonian and admits a unique homogeneous quadratic moment map \(J_A: V_A\rightarrow {\mathfrak {g}}^*\); we will write \(J = J_A\) when there is no potential for confusion. Identifying the Lie algebra \({\mathfrak {t}}^\ell \) of \(\mathbb {T}^\ell \) with \(\mathbb {R}^\ell \) using a basis for \({\mathfrak {t}}^\ell \) corresponding to the coordinates \((t_1,\ldots ,t_\ell )\) for \(\mathbb {T}^\ell \) and the dual basis for \(({\mathfrak {t}}^\ell )^*\), \(J = (J_1,\ldots , J_\ell )\) can be expressed in terms of the component functions
As the action of \(\mathbb {T}^\ell \) on \({\mathfrak {t}}^\ell \) is trivial, each component \(J_i\) is \(\mathbb {T}^\ell \)-invariant. Then the shell \(Z = Z_A := J^{-1}(0)\) is the \(\mathbb {T}^\ell \)-invariant real algebraic variety in \(V_A\) corresponding to this family of quadratics. The (real) symplectic quotient is \(M_0 = M_0(A) := Z_A/\mathbb {T}^\ell \). The algebra of smooth functions \({\mathcal {C}}^\infty (M_0)\) is defined by \({\mathcal {C}}^\infty (M_0) := {\mathcal {C}}^\infty (V)^G/{\mathcal {I}}_Z^G\) where \({\mathcal {I}}_Z\) is the vanishing ideal of Z in \({\mathcal {C}}^\infty (V)\) and \({\mathcal {I}}_Z^G := {\mathcal {I}}_Z\cap {\mathcal {C}}^\infty (V)^G\). The algebra \({\mathcal {C}}^\infty (M_0)\) inherits a Poisson structure from \({\mathcal {C}}^\infty (V)\), where the Poisson bracket is given on coordinates by \(\{z_i,\overline{z_j}\} = -2\sqrt{-1}\delta _{ij}\), see Arms et al. (1990). Equipped with the algebra \({\mathcal {C}}^\infty (M_0)\) and its Poisson structure, \(M_0\) is a Poisson differential space, see Farsi et al. (2013, Definition 5).
The algebra of real regular functions \(\mathbb {R}[M_0]\) on \(M_0\) is defined in terms of the real polynomial invariants \(\mathbb {R}[V]^G\). Specifically, \( \mathbb {R}[M_0] := \mathbb {R}[V]^G/I_Z^G\) where \(I_Z^G := {\mathcal {I}}_Z^G\cap \mathbb {R}[V]^G\). The ideal \(I_Z^G\) is homogeneous with respect to the grading of \(\mathbb {R}[V]\) by total degree so that \(\mathbb {R}[M_0]\) is a graded algebra; it is as well a Poisson subalgebra of \({\mathcal {C}}^\infty (M_0)\). We refer to elements of \(\mathbb {R}[V]^G\) as off-shell invariants and the corresponding classes in \(\mathbb {R}[M_0]\) as on-shell invariants. Note that for \(i=1,\ldots ,n\), the real polynomials \(z_i \overline{z_i}\) are always invariant. We will take advantage of the complex coordinate system on V for convenience, often expressing \(\mathbb {R}[V]^G\) in terms of polynomials in the \(z_i\) and \(\overline{z_i}\). By this, we mean that the real and imaginary parts of these polynomials are elements of \(\mathbb {R}[V]^G\). Note that the real invariants \(\mathbb {R}[V]^G\) can be computed in terms of the complexification \(V\otimes _\mathbb {R}\mathbb {C}\) of V by Schwarz (1980, Proposition 5.8(1)), and \(V\otimes _\mathbb {R}\mathbb {C}\) is isomorphic as a \(\mathbb {T}^\ell \)-module to \(V\oplus V^*\).
Let \(G_\mathbb {C}:= (\mathbb {C}^\times )^\ell \) denote the complexification of G, and then the action of G on V extends to an action of \(G_\mathbb {C}\). The categorical quotient \(V/\!\!/G_{\mathbb {C}} = {\text {Spec}}\big (\mathbb {C}[V]^{G_\mathbb {C}}\big )\), which parameterizes the closed orbits in V, is an affine variety that is stratified by conjugacy classes of \(G_\mathbb {C}\)-isotropy groups (Luna 1973) and contains a unique open stratum \((V/\!\!/G_{\mathbb {C}})_{\mathrm {pr}}\). Let \(\pi : V\rightarrow V/\!\!/G_{\mathbb {C}}\) denote the orbit map and \(V_{\mathrm {pr}} = \pi ^{-1}\big ((V/\!\!/G_{\mathbb {C}})_{\mathrm {pr}}\big )\). We recall the following from Schwarz (1995, (0.3), (7.3), (9.5), and (9.6)(3))
Definition 1
The \(G_\mathbb {C}\)-module V is stable if V contains an open dense subset of closed orbits and has finite principal isotropy groups (FPIG) if the isotropy groups of points in \(V_{\mathrm {pr}}\) with closed orbits are finite.
Assume V has FPIG and let \(k \ge 0\). We say V is k-principal if \(V{\smallsetminus } V_{\mathrm {pr}}\) has complex codimension at least k in V. Letting \(V_{(r)}\) denote the set of points in V with \(G_\mathbb {C}\) isotropy group of complex dimension r, V is k-modular if for \(r = 1,2,\ldots , \dim _\mathbb {C}G_\mathbb {C}\), \(V_{(r)}\) has codimension at least \(r + k\) in V. We say V is k-large if V is k-principal and k-modular.
Note that references differ about whether FPIG is assumed in the definitions of k-principal or k-modular, though it is always assumed in the definition of k-large. However, in the case considered here, stable implies FPIG.
Theorem 2
(Herbig et al. 2013, Theorem 3.2) If \(G = \mathbb {T}^\ell \) is a torus and V is a faithful \(G_\mathbb {C}\)-module, then V is stable if and only if it is 1-large.
Let \(V_\mathbb {C}= V\otimes _{\mathbb {R}} \mathbb {C}\) denote the complexification of the underlying real vector space of V, and then the \(G_\mathbb {C}\)-action extends to an action of \(V_\mathbb {C}\); as a \(G_\mathbb {C}\)-module, \(V_\mathbb {C}\) is isomorphic to \(V \oplus V^*\). Let \(\mu = \mu _A = J\otimes _\mathbb {R}\mathbb {C}: V_\mathbb {C}\rightarrow {\mathfrak {g}}_\mathbb {C}^*\) denote the complexification of the moment map, where \({\mathfrak {g}}_\mathbb {C}\) is the complexification of \({\mathfrak {g}}\) and \({\mathfrak {g}}_\mathbb {C}^*\) its dual, and let \((\mu )\) be the ideal in \(\mathbb {C}[V_\mathbb {C}]\) generated by the components of \(\mu \) with respect to a choice of basis for \({\mathfrak {g}}_\mathbb {C}^*\). Let \(N = N_A\) denote the subscheme of \(V_\mathbb {C}\) corresponding to \((\mu )\), called the complex shell. We recall the following, which holds for a general complex reductive group H.
Theorem 3
(Herbig et al. 2013, Theorem 2.2(3)) If V is 1-large as an H-module, then the complex shell N is reduced and irreducible.
Recall that a scheme is reduced if its local rings contain no nonzero nilpotent elements and irreducible if it is not the union of two proper Zariski closed subsets. Hence, Theorem 3 equivalently states that if V is 1-large, then \((\mu )\) is a prime ideal.
We will also make use of the following; see also Bulois (2018, Theorem 2.2). A reduced and irreducible scheme is normal if its local rings are integrally closed domains.
Theorem 4
(Herbig et al., Lemma 5.2) Suppose \(G = \mathbb {T}^\ell \) is a torus. If V is a stable and faithful \(G_\mathbb {C}\)-module, then both N and \(N/\!\!/G_\mathbb {C}\) are normal.
The categorical quotient \(N/\!\!/G_\mathbb {C}\) in Theorem 4 is sometimes defined to be the complex symplectic quotient. In the case of small representations, however, it may fail to be the complexification of the real quotient and exhibit certain pathologies; see (Herbig et al. Section 2) for a discussion and an alternate definition of the complex symplectic quotient. In the case of 1-large representations, these technicalities can be avoided by the following, which holds for an arbitrary compact Lie group H and is proven in Herbig et al. with milder hypotheses.
Lemma 1
(Herbig et al., Lemma 2.8]) Let H be a compact Lie group and V a unitary H-module. If V is 1-large as an \(H_\mathbb {C}\)-module, then
The following definition and result, which holds for an arbitrary connected algebraic group H, will play an important role in the proof of Theorem 1 in Sect. 3.
Definition 2
(Popov and Vinberg 1994, Section 3.8) Let H be a connected algebraic group and let X be an irreducible H-variety. For \(Y\subset X\), define \({\mathbf {N}}_H(Y) = \{ g\in H \mid gY = Y \}\), the normalizer of Y. A subvariety \(Y \subset X\) is a Seshadri section if \(\overline{H Y_0} = X\) for each irreducible component \(Y_0\) of Y and \(H y \cap Y = {\mathbf {N}}_H (Y)y\) for any \(y \in Y\).
Theorem 5
(Popov 1992, Corollary, page 169; Popov and Vinberg 1994, Theorem 3.14) Let H be a connected algebraic group and let X be an irreducible normal H-variety. Suppose Y is a Seshadri section for the action of H on X such that \({\text {codim}}_X \overline{(X{\smallsetminus } H Y)} \ge 2\). Then Y is a Chevalley section, i.e., restriction of functions to Y defines an isomorphism \(\mathbb {C}[X]^{H} \rightarrow \mathbb {C}[Y]^{{\mathbf {N}}_{H}(Y)}\).
In this paper, we are primarily interested in the symplectic quotients \(M_0(A)\) associated to a class of matrices that generalize the orbifold cases treated in Farsi et al. (2013, Theorem 7) and Corollary 1 and constitute a next step in the classification problem. To simplify the descriptions of these matrices, we introduce the following (non-standard) notation.
Definition 3
We say that an \(\ell \times (\ell +k)\) weight matrix A is of Type \(\textit{I}\varvec{_k}\) if it is of the form \(A = \big (D, \overbrace{\varvec{n},\ldots , \varvec{n}}^k\big )\) where \(D = {\text {diag}}(-a_1, -a_2, \ldots , -a_\ell )\) with each \(a_i > 0\) and \(\varvec{n} = (n_1, n_2, \ldots , n_\ell )^T\) with each \(n_i > 0\). We will say that A is Type \(\textit{II}\varvec{_k}\) if \(A = (D, c_1\varvec{n},\ldots , c_k\varvec{n})\) with D and \(\varvec{n}\) as above and each \(c_r \ge 1\). For a Type \(\hbox {II}_k\) weight matrix, we define
We will often abbreviate \(\alpha (A)\), \(m_i(A)\), \(\beta (A)\), and \(\eta (A)\) as \(\alpha \), \(m_i\), \(\beta \), and \(\eta \), respectively, when A is clear from the context.
For a weight matrix A of full rank, the representation \(V_A\) being faithful is equivalent to the nonzero \(\ell \times \ell \) minors of A having no common factor, see Farsi et al. (2013). If A is Type \(\hbox {II}_k\), then these minors are of the form \(a_1\ldots a_\ell \) or \(a_1\ldots a_{j-1}c_r n_j a_{j+1} \ldots a_\ell \) for some \(r=1,\ldots ,k\), i.e., the product of the \(a_i\) or the same product with one \(a_j\) replaced with \(c_r n_j\). The following is an immediate consequence.
Lemma 2
Let A be a Type \(\hbox {II}_k\) weight matrix and \(\ell > 1\). Then \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module if and only if \(\gcd (a_i,a_j) = 1\) for each \(1\le i < j \le n\), and for each \(j = 1,\ldots , \ell \), there is an \(r \le k\) such that \(\gcd (a_j, c_r n_j) = 1\).
For a Type \(\hbox {II}_k\) weight matrix A, it is clear from the description of the moment map in Eq. (1) that the shell \(J^{-1}(0)\) contains points with all nonzero coordinates. Hence by Herbig and Seaton (2015, Lemma 3 and Remark 2), if the \(G_\mathbb {C}\)-module \(V_A\) is faithful, then it is stable. It is easy to see that \(V_A\) is faithful as a G-module if and only if it is faithful as a \(G_\mathbb {C}\)-module. Combining this observation with Theorems 2, 3, and 4 yields the following.
Corollary 2
Suppose A is a Type \(\hbox {II}_k\) weight matrix such that \(V_A\) is faithful as a \(\mathbb {T}^\ell \)-module. Then \(V_A\) is stable and 1-large as a \(G_\mathbb {C}\)-module, and the complex shell \(N_A\) is reduced, irreducible, and normal.
If the hypotheses of Corollary 2 are satisfied, then by Herbig et al. (2013, Corollary 4.3), the ideal \(I_Z\) is generated by the components \(J_i\) of the moment map. Because the \(J_i\) are G-invariant in the case under consideration, we have
In particular, given Eq. (1), the quotient map \(\mathbb {R}[V]^G\rightarrow \mathbb {R}[M_0]\) can be understood as defining the invariants \(z_i\overline{z_i}\) for \(i=1,\ldots ,\ell \) in terms of the \(z_i\overline{z_i}\) for \(i = \ell +1,\ldots ,\ell +k\). By Lemma 1, an analogous statement holds for \(\mathbb {C}[N]^{G_\mathbb {C}}\).
3 Proof of Theorem 1
In this section, we give the proof of our main result, Theorem 1, which is divided into several auxiliary results. Throughout this section, we consider a Type \(\hbox {II}_k\) weight matrix \(A = (D, c_1\varvec{n},\ldots , c_k\varvec{n}) \in \mathbb {Z}^{\ell \times (\ell +k)}\) such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module of dimension \(n = \ell + k\). In addition, we let \(B = {\big (-\alpha (A), c_1\beta (A),\ldots , c_k\beta (A)\big )} \in \mathbb {Z}^{1\times (k+1)}\), see Definition 3. We assume throughout this section that \(\ell > 1\); when \(\ell = 1\), \(A = B\) so that Theorem 1 is trivial. Note that \(\alpha (A) = \alpha (B)\) and \(\beta (A) = \beta (B)\) so that we may simply use \(\alpha \) and \(\beta \) with no risk of confusion.
Our first result demonstrates that the \(\mathbb {T}^1\)-representation \(V_B\) is faithful.
Lemma 3
Let \(A = (D, c_1\varvec{n},\ldots , c_k\varvec{n}) \in \mathbb {Z}^{\ell \times (\ell +k)}\) be a Type \(\hbox {II}_k\) weight matrix. If \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module, then \(\gcd (\alpha ,c_1\beta ,\ldots ,c_k\beta ) = 1\).
Proof
Suppose \(V_A\) is faithful, and let p be a prime that divides \(\alpha \) and each \(c_r \beta \) for contradiction. As p divides \(\alpha \), it divides some \(a_j\); assume \(p \mid a_1\) without loss of generality. By Lemma 2, it is not possible that \(p\mid c_r\) for all r, so it must be that \(p\mid \beta \). Similarly, \(p\not \mid a_i\) for each \(i\ne 1\). Then \(p\mid m_i = n_i\alpha /a_i\) for \(i > 1\), so the fact that \(p\mid \beta = \sum m_i\) implies that \(p\mid m_1\). But as p does not divide any \(a_i\) except \(a_1\), we have \(\gcd (p,\alpha /a_1) = 1\). Hence \(p\mid n_1\). As \(p\mid a_1\) and \(p\mid n_1\), p divides the first row of A, contradicting the fact that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module. \(\square \)
To explain the relationship between the representations \(V_A\) and \(V_B\), let \((u_1,\ldots ,u_n)\) denote coordinates for \(V_A\) and define the homomorphism \(\psi : \mathbb {C}^\times \rightarrow (\mathbb {C}^\times )^\ell \) by
As \(\gcd (\alpha /a_1,\ldots ,\alpha /a_\ell ) = 1\) by construction, \(\psi \) is injective and defines an action of \(\mathbb {C}^\times \) on \(V_A\) with weight matrix \(\big (\overbrace{-\alpha ,\ldots ,-\alpha }^\ell ,c_1\beta ,\ldots ,c_k\beta \big )\). Hence, with respect to the action of \(\psi (\mathbb {C}^\times )\), any (complex) \((k+1)\)-dimensional subspace of \(V_A\) defined by imposing linear constraints on the first \(\ell \) coordinates is isomorphic to \(V_B\) as a \(\mathbb {C}^\times \)-module.
We now indicate how to symplectically embed \(V_B\) as such a subspace of \(V_A\) while mapping the shell \(Z_B\) into the shell \(Z_A\). A point \((u_1,\ldots ,u_n) \in V_A\) is in the shell \(Z_A\) if and only if \((|u_1|^2,\ldots ,|u_n|^2)\in \mathbb {R}_{\ge 0}^n\) is in the null space of the matrix A, see Eq. (1). Using coordinates \((z_1,\ldots ,z_{k+1})\) for \(V_B\), define the linear map \(\phi : V_B\rightarrow V_A\) by
and then the image of \(\phi \) is defined by the constraints
We claim that \(\phi \) preserves the symplectic forms, and the corresponding function \(\mathbb {R}_{\ge 0}^{k+1}\rightarrow \mathbb {R}_{\ge 0}^n\) given by
maps the null space of B onto the null space of A.
Lemma 4
The function \(\phi : V_B\rightarrow V_A\) in Eq. (3) is a symplectic embedding that maps the shell \(Z_B = J_{B}^{-1}(0)\) into the shell \(Z_A = J_{A}^{-1}(0)\).
Proof
We compute
so that \(\phi \) is a symplectic embedding. Let F denote the matrix of the linear extension \(\mathbb {R}^{k+1}\rightarrow \mathbb {R}^n\) of the map defined in Eq. (5), and then F has upper-left \(\ell \times 1\) block \((m_1/\beta ,\ldots ,m_\ell /\beta )^T\), the \(k\times k\) identity in the lower-right block, and is zero elsewhere. Using the expression for the \(m_i\) in Definition 3 and recalling that \(B = \big (-\alpha (A), c_1\beta (A),\ldots , c_k\beta (A)\big ) \in \mathbb {Z}^{1\times (k+1)}\), one checks that
Hence, the null space of B is contained in the null space of AF. It follows that \(\phi \) maps \(Z_B\) into \(Z_A\). \(\square \)
Moreover, using the homomorphism \(\psi \) defined in Eq. (2), we have the following.
Lemma 5
The normalizer of \(\phi (V_B)\) is given by \({\mathbf {N}}_{(\mathbb {C}^\times )^\ell }\big (\phi (V_B)\big ) = \psi (\mathbb {C}^\times )\), and hence \({\mathbf {N}}_{\mathbb {T}^\ell }\big (\phi (V_B)\big ) = \psi (\mathbb {T}^1)\).
Proof
Let \(\varvec{t} = (t_1,t_2,\ldots ,t_\ell )\in (\mathbb {C}^\times )^\ell \), and then \(\varvec{t}\) preserves the constraints (4) if and only if \(t_1^{a_1} = t_i^{a_i}\) for \(i=2,\ldots ,\ell \). Choosing \(t\in \mathbb {C}^\times \) such that \(t^{\alpha /a_1} = t_1\) and recalling that \(\gcd (\alpha /a_1,\ldots ,\alpha /a_\ell ) = 1\), it follows that \(\varvec{t}\) is of the form \((t^{\alpha /a_1},\ldots ,t^{\alpha /a_\ell })\). \(\square \)
Complexifying the underlying real spaces, we consider the \(z_i\) and \(w_i:= \overline{z_i}\) as independent complex coordinates for \(V_B\otimes _\mathbb {R}\mathbb {C}\) and \(u_i\) and \(v_i:= \overline{u_i}\) as independent complex coordinates for \(V_A\otimes _\mathbb {R}\mathbb {C}\). Recall that \(N_A = (J_A\otimes _\mathbb {R}\mathbb {C})^{-1}(0)\subset V_A\otimes _\mathbb {R}\mathbb {C}\) and \(N_B = (J_B\otimes _\mathbb {R}\mathbb {C})^{-1}(0)\subset V_B\otimes _\mathbb {R}\mathbb {C}\) denotes the corresponding complex shells, with \(N_A\) defined by
and \(N_B\) by
We now demonstrate that the image of \(N_B\) under \(\phi _\mathbb {C}= \phi \otimes _\mathbb {R}\mathbb {C}\) is a Seshadri section for the action of \((\mathbb {C}^\times )^\ell \) on \(N_A\), see Definition 2, satisfying the hypotheses of Theorem 5.
Lemma 6
The image \(S:=\phi _\mathbb {C}(N_B)\) of the complex shell \(N_B\) is a Seshadri section for the action of \((\mathbb {C}^\times )^\ell \) on the complex shell \(N_A\subset V_A\otimes _\mathbb {R}\mathbb {C}\). Moreover, the (complex) codimension of \(\overline{N_A{\smallsetminus } (\mathbb {C}^\times )^\ell S}\) in \(N_A\) is 2.
Proof
First observe that in the coordinates \((\varvec{z},\varvec{w})\) for \(V_B\otimes _\mathbb {R}\mathbb {C}\), \(\phi _\mathbb {C}(\varvec{z},\varvec{w}) = \big (\phi (\varvec{z}),\phi (\varvec{w})\big )\). By Lemma 3 and Corollary 2, both \(N_A\) and \(N_B\) are reduced, irreducible, and normal.
Fix a point \((\varvec{u},\varvec{v}) \in N_A\), i.e., satisfying Eq. (6), and assume that each \(u_i\ne 0\) for \(i \le \ell \). For \(i=2,\ldots ,\ell \), choose \(t_i\) such that
Letting \(\varvec{t} = (1,t_2,\ldots ,t_\ell )\in (\mathbb {C}^\times )^\ell \), we claim that \(\varvec{t}(\varvec{u},\varvec{v}) \in S\). To see this, define
and then direct substitution of \((\varvec{z},\varvec{w})\) into Eq. (7) demonstrates that \((\varvec{z},\varvec{w}) \in N_B\). By Eq. (6), each \(v_i\) with \(i = 1,\ldots ,\ell \) is given by
Using this fact, a simple computation confirms that
If \((\varvec{u},\varvec{v}) \in N_A\) such that each \(v_i \ne 0\) for \(i\le \ell \), then choosing \(\varvec{t}\) such that
a similar computation demonstrates that \(\varvec{t}(\varvec{u},\varvec{v}) \in S\) as well.
Taking the closure to account for points with some \(u_i=0\) and \(v_j = 0\) for \(i,j\le \ell \), we have
In particular, note that \(N_A{\smallsetminus } (\mathbb {C}^\times )^\ell S\) consists of those points in \(N_A\) where some \(u_i = 0\) and some \(v_j = 0\) for \(i, j \le \ell \); in particular \(N_A{\smallsetminus } (\mathbb {C}^\times )^\ell S\) is closed and has codimension 2 in \(N_A\).
Now, the proof of Lemma 5 demonstrates that \({\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S) = \psi (\mathbb {C}^\times )\), where \(\psi \) is defined in Eq. 2. Indeed, for \(\phi _\mathbb {C}(\varvec{z},\varvec{w})\in S\), \(\varvec{t}\phi _\mathbb {C}(\varvec{z},\varvec{w}) \in S\) if and only if \(\varvec{t}\in \psi (\mathbb {C}^\times )\) is clear whenever \(z_1\ne 0\) or \(w_1\ne 0\). Hence, it remains only to show that \((\mathbb {C}^\times )^\ell \phi _\mathbb {C}(\varvec{z},\varvec{w}) \cap S = {\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S)\phi _\mathbb {C}(\varvec{z},\varvec{w})\) for a point \(\phi _\mathbb {C}(\varvec{z},\varvec{w}) \in S\) with \(z_1 = w_1 = 0\). In this case, for arbitrary \(\varvec{t}\in (\mathbb {C}^\times )^\ell \), we choose an \(s\in \mathbb {C}^\times \) such that \(s^\beta = \varvec{t}^{\varvec{n}}\) and compute
Hence for such a point, \((\mathbb {C}^\times )^\ell \phi _\mathbb {C}(\varvec{z},\varvec{w}) = {\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S)\phi _\mathbb {C}(\varvec{z},\varvec{w})\). \(\square \)
Combining Lemma 6 with Theorem 5 yields the following.
Corollary 3
The restriction of functions on \(N_A\) to S defines an isomorphism \(\mathbb {C}[N_A]^{(\mathbb {C}^\times )^\ell } \rightarrow \mathbb {C}[S]^{{\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S)}\).
As S is isomorphic to the shell \(N_B\) via the embedding \(\phi _\mathbb {C}\), which is equivariant with respect to the actions of \(\mathbb {C}^\times \) and \({\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S)\) identified via \(\psi \), it follows that \(\phi _\mathbb {C}^*\) induces an isomorphism \(\phi _\mathbb {C}^*: \mathbb {C}[S]^{{\mathbf {N}}_{(\mathbb {C}^\times )^\ell }(S)} \rightarrow \mathbb {C}[N_B]^{\mathbb {C}^\times }\). As \(\phi _\mathbb {C}\) is a linear map, \(\phi _\mathbb {C}^*\) preserves the grading. As the representations of \((\mathbb {C}^\times )^\ell \) and \(\mathbb {C}^\times \) corresponding to A and B, respectively, are 1-large by Corollary 2, we have by Lemma 1 that \(\mathbb {R}[Z_A]^{\mathbb {T}^\ell } \otimes _\mathbb {R}\mathbb {C}\simeq \mathbb {C}[N_A]^{(\mathbb {C}^\times )^\ell }\) and \(\mathbb {R}[Z_B]^{\mathbb {T}^1} \otimes _\mathbb {R}\mathbb {C}\simeq \mathbb {C}[N_B]^{\mathbb {C}^\times }\). That is, \(\phi ^*\) induces a graded isomorphism of the algebras of real regular functions \(\mathbb {R}[M_0(A)] \rightarrow \mathbb {R}[M_0(B)]\). By Lemma 4, this isomorphism is Poisson.
Summarizing, we have the following.
Corollary 4
The restriction of functions to S and pulling back via \(\phi _\mathbb {C}\) are both graded isomorphisms
and the composition of these maps induces a graded Poisson isomorphism of the real algebras
By Lemmas 4 and 6 and Corollary 4, it follows that \(\phi \) induces an isomorphism between the Zariski closures of the real algebraic varieties defined by \(\mathbb {R}[Z_A]^{\mathbb {T}^\ell }\) and \(\mathbb {R}[Z_B]^{\mathbb {T}^1}\). To complete the proof of Theorem 1, it remains only to show that the semialgebraic conditions are preserved, i.e., the map \(\phi \) induces a homeomorphism between the symplectic quotients.
Lemma 7
The map \(\phi \) induces a homeomorphism \(M_0(B) = Z_B/\mathbb {T}^1 \rightarrow M_0(A) = Z_A/\mathbb {T}^\ell \).
Proof
It is clear from Lemma 5 that \(\phi \) maps \(\mathbb {T}^1\)-orbits into \(\mathbb {T}^\ell \)-orbits injectively; in particular, the only point in \(Z_B\) with \(z_1=0\) is the origin. As \(\phi (Z_B) \subset (Z_A)\) by Lemma 4, it is sufficient to show that each element of \(Z_A\) is in the orbit of an element of \(\phi (Z_B)\). So let \(\varvec{u} = (u_1,\ldots ,u_n) \in Z_A\), and then for \(i=1,\ldots ,\ell \), the fact that \(J_i(\varvec{u}) = 0\) and the expression for \(J_i\) in Eq. (1) imply
With this, each \(t_i\) for \(i = 2,\ldots ,\ell \) defined as in Eq. (8) is an element of \(\mathbb {T}^1\). Hence, we may follow the proof of Lemma 6, defining \(\varvec{t} \in \mathbb {T}^\ell \) and \(\varvec{z} \in V_B\) in the same way, and then the same computations verify that \(\varvec{t}\varvec{u} = \phi (\varvec{z})\) and \(\varvec{z} \in Z_B\). It follows that each \(\mathbb {T}^\ell \)-orbit in \(Z_A\) intersects \(\phi (Z_B)\).
We leave it to the reader to show that the inverse homeomorphism is induced by the linear map
We illustrate Theorem 1 with the following.
Example 1
The weight matrix
is Type \(\hbox {II}_4\) with \(\alpha = 60\), \(n_1 = 1\), \(n_2 = 3\), \(n_3 = 2\), \(c_1 = 1\), \(c_2 = 2\), and \(c_3 = c_4 = 3\). Hence, \(m_1 = 20\), \(m_2 = 45\), \(m_3 = 24\), and \(\beta = 89\), and the symplectic quotient \(M_0(A)\) is graded regularly symplectomorphic to that associated to \((-60, 89, 178, 267, 267)\).
4 Classification for Type \(\hbox {I}_k\) matrices
In the case \(k = 1\), Corollary 1 implies that two weight matrices \(A_1\) and \(A_2\) yield graded regularly symplectomorphic symplectic quotients if and only if \(\eta (A_1) = \eta (A_2)\), i.e., if and only if \(\alpha (A_1)+\beta (A_1) = \alpha (A_2)+\beta (A_2)\). For \(k > 1\), this is no longer the case, as we demonstrate with the following. Recall that the Krull dimension of a commutative ring R is the supremum of the lengths of ascending chains of prime ideals in R.
Lemma 8
Let \(A = \big (-\alpha , \overbrace{\beta ,\ldots ,\beta }^k\big )\) and \(B = \big (-\alpha ^\prime , \overbrace{\beta ^\prime ,\ldots ,\beta ^\prime }^{k^\prime }\big )\) such that \(V_A\) and \(V_B\) are faithful \(\mathbb {T}^1\)-modules. If \(k\ge 2\) and the symplectic quotients \(M_0(A)\) and \(M_0(B)\) are graded regularly diffeomorphic, then \(k = k^\prime \), \(\alpha = \alpha ^\prime \) and \(\beta = \beta ^\prime \).
Proof
First note that as \(V_A\) and \(V_B\) are faithful, \(\gcd (\alpha ,\beta ) = \gcd (\alpha ^\prime ,\beta ^\prime ) = 1\). The existence of a graded regular diffeomorphism implies that \(\mathbb {R}[M_0(A)]\) is graded isomorphic to \(\mathbb {R}[M_0(B)]\). As the Krull dimensions of \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\) are given by 2k and \(2k^\prime \), respectively, it follows that \(k = k^\prime \).
Let \({\mathcal {Q}}(A)\) denote the subalgebra of \(\mathbb {R}[M_0(A)]\) that is generated by the quadratic monomials of the form \(z_i \overline{z_i} + I_{Z_A}^G\) for \(i=1\,\ldots ,k+1\) and \(z_{1+i} \overline{z_{1+j}}+ I_{Z_A}^G\) for \(1\le i,j \le k\), and define \({\mathcal {Q}}(B)\) identically as a subalgebra of \(\mathbb {R}[M_0(B)]\). Note that \({\mathcal {Q}}(A)\) and \({\mathcal {Q}}(B)\) are obviously graded isomorphic. The lowest-degree element of \(\mathbb {R}[M_0(A)]\) that is not an element of \({\mathcal {Q}}(A)\) has degree \(\alpha +\beta \), and similarly for \(\mathbb {R}[M_0(B)]\), so we can conclude that \(\alpha +\beta = \alpha ^\prime +\beta ^\prime \). Finally, the number of monomials in \(\mathbb {R}[M_0(A)]\) of degree \(\alpha +\beta \) that are not elements of \({\mathcal {Q}}(A)\) is \({\alpha +k-1\atopwithdelims ()k-1}\), and hence \({\alpha +k-1\atopwithdelims ()k-1}={\alpha ^\prime +k-1\atopwithdelims ()k-1}\), i.e., \((\alpha +k-1)!/\alpha ! = (\alpha ^\prime +k-1)!/\alpha ^\prime !\). As \(k > 1\), it follows that \(\alpha = \alpha ^\prime \), and hence \(\beta = \beta ^\prime \). \(\square \)
Corollary 5
The graded regular symplectomorphism classes of symplectic quotients associated to Type \(\hbox {I}_k\) weight matrices with \(k > 1\) are classified by the triple \((k,\alpha (A),\beta (A))\). Moreover, these graded regular symplectomorphism classes coincide with the graded regular diffeomorphism classes.
It is not clear whether an analog to Lemma 8 is true for Type \(\hbox {II}_k\) matrices, but a proof using only the grading of \(\mathbb {R}[M_0]\) as in Lemma 8 is not possible. First note that such a generalization would require restricting to specific representatives, e.g., requiring that \(\gcd (c_1,\ldots ,c_k) = 1\). Otherwise, it is possible that a \(1\times (k+1)\) Type \(\hbox {II}_k\) matrix could be written in terms of \(\alpha \), \(\beta \), and the \(c_i\) in more than one way, e.g., \((-1, 4, 12)\) could correspond to \(\alpha = 1\), \(\beta = 2\), \(c_1 = 2\), and \(c_2 = 6\) or to \(\alpha = 1\), \(\beta = 4\), \(c_1 = 1\), and \(c_2 = 3\). However, even with such a restriction, it is possible that \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\) have the same Hilbert series yet fail to be graded regularly symplectomorphic. We will illustrate this in the next section.
5 The Hilbert series does not classify symplectic quotients by tori
If \(R = \oplus _{i=0}^\infty R_i\) is a locally finite-dimensional \(\mathbb {N}\)-graded algebra over the field \(\mathbb {K}\), recall that the Hilbert series of R is the generating function of the dimensions of the \(R_i\) as \(\mathbb {K}\)-vector spaces,
If R is finitely generated, then \({\text {Hilb}}_R(t)\) is the Taylor series of a rational function that converges for \(|t|<1\).
The graded regular symplectomorphisms given by Theorem 1 were initially discovered by computing Hilbert series of the algebras of regular functions on symplectic quotients associated to large classes of weight matrices and looking for cases that coincide. While the Hilbert series has been a valuable heuristic to indicate potential graded regular symplectomorphisms and an important tool to distinguish between non-graded regularly symplectomorphic cases, one would likely guess that there are cases with the same Hilbert series that are not graded regularly symplectomorphic. In this section, we give examples to indicate that this is the case: the Hilbert series is not a fine enough invariant to distinguish graded regular symplectomorphism classes of symplectic quotients by tori. These examples further illustrate that two symplectic quotients can have several isomorphic structures yet fail to be graded regularly symplectomorphic.
Let \(A = (-2,3,6)\) and \(B = (-3,2,6)\). Note that these are both Type \(\hbox {II}_2\) weight matrices; A corresponding to \(\alpha = 2\), \(\beta = 3\), \(c_1 = 1\), and \(c_2 = 2\); and B corresponding to \(\alpha = 3\), \(\beta = 2\), \(c_1 = 1\), and \(c_2 = 3\)). Because the Hilbert series of symplectic quotients by \(\mathbb {T}^1\) only depends on the absolute value of the weights (see Herbig and Seaton 2014, p. 47), the Hilbert series of \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\) coincide. In particular, they are both given by
The off-shell invariants \(\mathbb {R}[V_A]^{\mathbb {T}^1}\) are generated by
and the moment map determines \(p_0\) via \(2p_0 = 3p_1 + 6p_2\). The off-shell invariants \(\mathbb {R}[V_B]^{\mathbb {T}^1}\) are generated by
and the shell relation is given by \(3q_0 = 2q_1 + 6q_2\).
Proposition 1
For the weight matrices \(A = (-2,3,6)\) and \(B = (-3,2,6)\), the following hold true.
- (i.):
-
The algebras \(\mathbb {R}[M_0(A)]\otimes _{\mathbb {R}}\mathbb {C}\) and \(\mathbb {R}[M_0(B)]\otimes _{\mathbb {R}}\mathbb {C}\) are graded Poisson isomorphic. Hence, the complex symplectic quotients are isomorphic as Poisson varieties.
- (ii.):
-
The algebras \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\) are graded isomorphic. However, no graded isomorphism \(\mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) preserves the inequalities describing the semialgebraic sets \(M_0(A)\) and \(M_0(B)\).
An immediate consequence of (ii.) is that the symplectic quotients \(M_0(A)\) and \(M_0(B)\) are not graded regularly symplectomorphic.
Proof of Proposition 1(i.)
As in the proof of Lemma 6, we complexify the underlying real vector spaces to consider the \(z_i\), \(w_i:= \overline{z_i}\), \(u_i\), and \(v_i:= \overline{u_i}\) as independent complex variables. Then an easy-to-identify isomorphism over \(\mathbb {C}\) is induced by the linear map \(\phi : V_A\otimes _\mathbb {R}\mathbb {C}\rightarrow V_B\otimes _\mathbb {R}\mathbb {C}\) given by
A simple computation demonstrates that \(\phi \) is equivariant with respect to the two \(\mathbb {C}^\times \)-actions, implying that the corresponding map \(\phi ^*: \mathbb {C}[V_B\otimes _\mathbb {R}\mathbb {C}]^{\mathbb {C}^\times }\rightarrow \mathbb {C}[V_A\otimes _\mathbb {R}\mathbb {C}]^{\mathbb {C}^\times }\) is an isomorphism. Using coordinates \((u_1,u_2,u_3,v_1,v_2,v_3)\) for \(V_B\otimes _\mathbb {R}\mathbb {C}\), we have
so that \(\phi \) is a symplectic embedding.
Identifying the real and complex invariants via \(w_i = \overline{z_i}\) and \(v_i= \overline{w_i}\), the map \(\phi ^*\) is given on generators by
so that \(\phi ^*J_B = J_A\). Hence \(\phi ^*\) induces an isomorphism \(\mathbb {R}[M_0(B)]\otimes _{\mathbb {R}}\mathbb {C}\rightarrow \mathbb {R}[M_0(A)]\otimes _{\mathbb {R}}\mathbb {C}\), completing the proof. \(\square \)
Clearly, the isomorphism \(\phi ^*\) does not restrict to a map \(\mathbb {R}[M_0(B)]\rightarrow \mathbb {R}[M_0(A)]\) of the real algebras. Hence, to determine an isomorphism over \(\mathbb {R}\), we need a more explicit description of \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\).
Proof of Proposition 1(ii.)
Using Macaulay2 (Grayson and Stillman 2012), we compute the relations among the generators \(p_1, p_2,\ldots ,p_8\) of \(\mathbb {R}[M_0(A)]\) to be
Similarly, the relations among the generators \(q_1,q_2,\ldots ,q_8\) of \(\mathbb {R}[M_0(B)]\) are given by
Define the map \(\varPsi : \mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) by
A tedious though elementary computation demonstrates that \(\varPsi \) maps the ideal of relations of the \(p_i\) into the ideal of relations of the \(q_i\), and \(\varPsi ^{-1}\) similarly maps the ideal of relations of the \(q_i\) into the ideal of relations of the \(p_j\). Therefore, \(\varPsi : \mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) is an isomorphism. Note that \(p_2 = z_3\overline{z_3} \ge 0\), while \(\varPsi (p_2) = -3 q_2/2 \le 0\) so that \(\varPsi \) does not preserve the inequalities.
To show that any graded isomorphism \(\mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) fails to preserve the inequalities, suppose for contradiction that \(\varPhi : \mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) is such a graded isomorphism. Let \({\mathcal {Q}}(A)\) and \({\mathcal {Q}}(B)\) denote the subalgebras of \(\mathbb {R}[M_0(A)]\) and \(\mathbb {R}[M_0(B)]\), respectively, that are generated by elements of degree at most four. Then \(\varPhi \) restricts to an isomorphism \(\varPhi |_{{\mathcal {Q}}(A)}: {\mathcal {Q}}(A)\rightarrow {\mathcal {Q}}(B)\).
Again using Macaulay2 (Grayson and Stillman 2012), the algebra \({\mathcal {Q}}(A)\) generated by \(p_1, p_2, \ldots , p_6\) has relations generated by
and the algebra \({\mathcal {Q}}(B)\) generated by \(q_1, q_2, \ldots , q_6\) has relations generated by
As \(\varPhi \) preserves the grading, it must be of the form
Using the fact that \(\varPhi \) preserves the grading and maps the ideal of relations for the \(p_i\) into the ideal of relations for the \(q_i\), we must have
for some \(k_1, k_2, k_3, k_4 \in \mathbb {R}\). Computing the \(q_1^3\), \(q_3^2\), and \(q_1^2 q_2\) coefficients of each side of the first equation and the \(q_1^2 q_2^2\), \(q_2^4\), \(q_1 q_2^3\), \(q_2 q_3 q_4\), and \(q_1 q_3 q_4\) coefficients of each side of the second equation yields the system
Every solution of this system not corresponding to \(\varPhi (p_i) = 0\) for some i satisfies \(c_{11} = - 2 c_{22}/3\), \(c_{12} = - 2 c_{22}\), and \(c_{21} = 0\). Hence, though \(p_1 \ge 0\) and \(p_2 \ge 0\), either \(c_{22} > 0\) so that \(\varPhi (p_1) = - 2 c_{22} (q_1/3 + q_2) < 0\) for any nonzero \(q_1\) or \(q_2\), or \(c_{22} < 0\) so that \(\varPhi (p_2) = c_{22} q_2 < 0\) for any nonzero \(q_2\). In either case, \(\varPhi \) does not preserve the inequalities describing the semilagebraic sets \(M_0(A)\) and \(M_0(B)\). \(\square \)
For another example, consider \(A^\prime = (-2,1,1)\) and \(B^\prime = (-1,2,1)\). Both are weight matrices of type Type \(\hbox {II}_2\); the former has \(\alpha = 2\), \(\beta = 1\), \(c_1 = 1 = c_2\), while the latter has \(\alpha = 1\), \(\beta = 1\), \(c_1 = 2\), and \(c_2 = 1\). As above, \(\mathbb {R}[M_0(A^\prime )]\) and \(\mathbb {R}[M_0(B^\prime )]\) have the same Hilbert series, given by
The quadratic off-shell invariants of the action with weight matrix \(A^\prime \) are spanned by \(z_1 \overline{z_1}\), \(z_2 \overline{z_2}\), \(z_3 \overline{z_3}\), \(z_2 \overline{z_3}\), and \(z_3 \overline{z_2}\) with relation \((z_2\overline{z_2}) (z_3\overline{z_3}) = (z_2\overline{z_3}) (z_3\overline{z_2})\), and the moment map determines \(z_1 \overline{z_1}\) in terms of \(z_2 \overline{z_2}\), \(z_3 \overline{z_3}\). For the action with weight matrix \(B^\prime \), the quadratic off-shell invariants are generated by \(u_1 \overline{u_1}\), \(u_2 \overline{u_2}\), \(u_3 \overline{u_3}\), \(u_1 u_3\), and \(\overline{u_1} \overline{u_3}\) with relation \((u_1 u_3)(\overline{u_1}\overline{u_3}) = (u_1 \overline{u_1}) (u_3 \overline{u_3})\), and the moment map expresses \(u_1 \overline{u_1} = 2u_2 \overline{u_2} + u_3 \overline{u_3}\). Considering only the Poisson brackets of the quadratics, computations similar to those above demonstrate that any graded Poisson isomorphism \(\varPhi : \mathbb {R}[M_0(B^\prime )]\rightarrow \mathbb {R}[M_0(A^\prime )]\) must map \(u_3\overline{u_3}\mapsto c z_2 \overline{z_2} + (c-1) z_3\overline{z_3} + \sqrt{-1} d z_3 \overline{z_2}\) where \(c \in \{0,1\}\) and \(d\ne 0\). For each \(z_2,z_3\in \mathbb {C}\), there is a \(z_1\in \mathbb {C}\) such that \((z_1,z_2,z_3)\in Z_{A^\prime }\) so that \(z_3\overline{z_2}\) is not bounded by inequalities. As \(u_3\overline{u_3}, z_2\overline{z_2}, z_3\overline{z_3}\ge 0\), it follows that \(\varPhi \) cannot preserve the inequalities.
Finally, we consider a closely related example that is not of Type \(\hbox {I}_k\) nor \(\hbox {II}_k\) for any k. Let
To see that the Hilbert series of \(\mathbb {R}[M_0(A^{\prime \prime })]\) and \(\mathbb {R}[M_0(B^{\prime \prime })]\) coincide note that the cotangent-lifted weight matrix corresponding to \(A^{\prime \prime }\),
can be transformed into that of \(B^{\prime \prime }\),
by transposing the column pairs (1, 4), (3, 7), (5, 8) and row-reducing over \(\mathbb {Z}\). The common Hilbert series is given by
The quadratic off-shell invariants associated to \(A^{\prime \prime }\) are \(z_1\overline{z_1}\), \(z_2\overline{z_2}\), \(z_3\overline{z_3}\), \(z_4\overline{z_4}\), \(z_3\overline{z_4}\), and \(z_4\overline{z_3}\), the moment map expresses \(z_1\overline{z_1}\) and \(z_2\overline{z_2}\) in terms of \(z_3\overline{z_3}\) and \(z_4\overline{z_4}\), and we have the relation \((z_3\overline{z_4})(z_4\overline{z_3}) = (z_3\overline{z_3})(z_4\overline{z_4})\). Similarly, the quadratic off-shell invariants associated to \(B^{\prime \prime }\) are \(z_1\overline{z_1}\), \(z_2\overline{z_2}\), \(z_3\overline{z_3}\), \(z_4\overline{z_4}\), \(z_1 z_3\), and \(\overline{z_1}\overline{z_3}\), the moment map expresses \(z_1\overline{z_1}\) and \(z_2\overline{z_2}\) in terms of \(z_3\overline{z_3}\) and \(z_4\overline{z_4}\), and we have the relation \((z_1 z_3)(\overline{z_1}\overline{z_3}) = (z_2\overline{z_2} + z_3\overline{z_3})(z_3\overline{z_3})\). Hence, computations identical to those for \(A^\prime \) and \(B^\prime \) demonstrate that the only Poisson isomorphisms between the algebras \(\mathbb {R}[M_0(A^{\prime \prime })]\) and \(\mathbb {R}[M_0(B^{\prime \prime })]\) do not satisfy the semialgebraic conditions, and hence do not correspond to a graded regular symplectomorphism.
References
Arms, J.M., Gotay, M.J., Jennings, G.: Geometric and algebraic reduction for singular momentum maps. Adv. Math. 79(1), 43–103 (1990). https://doi.org/10.1016/0001-8708(90)90058-U
Bochnak, J., Coste, M., Roy, M.F.: Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36. Springer, Berlin (1998). https://doi.org/10.1007/978-3-662-03718-8. (Translated from the 1987 French original, Revised by the authors)
Bulois, M.: On the normality of the null-fiber of the moment map for \(\theta \)- and tori representations. J. Algebra 507, 502–524 (2018). https://doi.org/10.1016/j.jalgebra.2018.04.011
Farsi, C., Herbig, H.C., Seaton, C.: On orbifold criteria for symplectic toric quotients. SIGMA symmetry integrability. Geom. Methods Appl. 9, 032–33 (2013). https://doi.org/10.3842/SIGMA.2013.032
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/ (2012)
Herbig, H.C., Iyengar, S.B., Pflaum, M.J.: On the existence of star products on quotient spaces of linear Hamiltonian torus actions. Lett. Math. Phys. 89(2), 101–113 (2009). https://doi.org/10.1007/s11005-009-0331-6
Herbig, H.C., Schwarz, G.W.: The Koszul complex of a moment map. J. Symplectic Geom. 11(3), 497–508 (2013). https://projecteuclid.org/euclid.jsg/1384282847
Herbig, H.C., Schwarz, G.W., Seaton, C.: Symplectic quotients have symplectic singularities. (2020). To appear in Compos. Math. arXiv:1706.02089 [math.SG]
Herbig, H.C., Schwarz, G.W., Seaton, C.: When is a symplectic quotient an orbifold? Adv. Math. 280, 208–224 (2015). https://doi.org/10.1016/j.aim.2015.04.016
Herbig, H.C., Seaton, C.: The Hilbert series of a linear symplectic circle quotient. Exp. Math. 23(1), 46–65 (2014). https://doi.org/10.1080/10586458.2013.863745
Herbig, H.C., Seaton, C.: An impossibility theorem for linear symplectic circle quotients. Rep. Math. Phys. 75(3), 303–331 (2015). https://doi.org/10.1016/S0034-4877(15)00019-1
Luna, D.: Slices étales. Sur les groupes algébriques. Bull. Soc. Math. France Paris Mém. 33, 81–105 (1973). https://doi.org/10.24033/msmf.110
Popov, V.L.: On the “lemma of Seshadri”. In: Sathya, S. (ed.) Lie Groups, Their Discrete Subgroups, and Invariant Theory. Advances in Soviet Mathematics, vol. 8, pp. 167–172. American Mathematical Society, Providence (1992)
Popov, V.L., Vinberg, È.B.: Invariant theory. Algebraic Geometry. IV, Encyclopaedia of Mathematical Sciences, vol. 55, p. vi+284. Springer, Berlin (1994). (Linear algebraic groups. Invariant theory, A translation of ıt Algebraic geometry. 4 (Russian), Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1989 [ MR1100483 (91k:14001)], Translation edited by A. N. Parshin and I. R. Shafarevich)
Procesi, C., Schwarz, G.: Inequalities defining orbit spaces. Invent. Math. 81(3), 539–554 (1985). https://doi.org/10.1007/BF01388587
Schwarz, G.W.: Smooth functions invariant under the action of a compact Lie group. Topology 14, 63–68 (1975). https://doi.org/10.1016/0040-9383(75)90036-1
Schwarz, G.W.: Lifting smooth homotopies of orbit spaces. Inst. Hautes Études Sci. Publ. Math. 51, 37–135 (1980). http://www.numdam.org/item?id=PMIHES_1980__51__37_0
Schwarz, G.W.: Lifting differential operators from orbit spaces. Ann. Sci. École Norm. Sup. (4) 28(3), 253–305 (1995). http://www.numdam.org/item?id=ASENS_1995_4_28_3_253_0
Sjamaar, R., Lerman, E.: Stratified symplectic spaces and reduction. Ann. Math. (2) 134(2), 375–422 (1991). https://doi.org/10.2307/2944350
Watts, J.: Symplectic quotients and representability: the circle action case (2016). arXiv:1610.01547 [math.SG]
Acknowledgements
This paper developed from E.L.’s senior seminar project in the Rhodes College Department of Mathematics and Computer Science, and the authors gratefully acknowledge the support of the department and college for these activities. We would like to thank the referee for many detailed suggestions that improved this paper. C.S. would like to thank the Instituto de Matemática Pura e Aplicada (IMPA) for hospitality during work contained here. H.-C.H. was supported by CNPq through the Plataforma Integrada Carlos Chagas, E.L. was supported by a Rhodes College Research Fellowship, and C.S. was supported by the E.C. Ellett Professorship in Mathematics.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
H.-C.H. was supported by CNPq through the Plataforma Integrada Carlos Chagas, E.L. was supported by a Rhodes College Research Fellowship, and C.S. was supported by the E.C. Ellett Professorship in Mathematics.
Constructive approach to Theorem 1
Constructive approach to Theorem 1
We first obtained a proof of Theorem 1 for Type \(\hbox {I}_k\) matrices by determining an explicit description of the symplectic quotient \(M_0\) and algebra \(\mathbb {R}[M_0]\) of regular functions. This description may be of independent interest and illustrates the structure of these spaces, so we include it here. The proofs of these results are cumbersome computations and hence only summarized.
Proposition 2
Let \(A = \big (D, \overbrace{\varvec{n},\ldots , \varvec{n}}^k\big )\in \mathbb {Z}^{\ell \times (\ell +k)}\) be a type \(\hbox {I}_k\) weight matrix such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module. Then a generating set for the algebra \(\mathbb {R}[V_A]^{\mathbb {T}^\ell }\) of invariants is given by
-
1.
the \(\ell \) quadratic monomials \(r_i := z_i \overline{z_i}\) for \(i = 1,\ldots ,\ell \),
-
2.
the \(k^2\) quadratic monomials \(p_{i,j} := z_{\ell +i}\overline{z_{\ell +j}}\) for \(1\le i,j\le k\),
-
3.
the \({\alpha +k-1 \atopwithdelims ()k-1}\) degree \(\eta \) monomials \(q_{\varvec{s}} := \prod _{i=1}^\ell z_i^{m_i} \prod _{i=1}^{k} z_{\ell +i}^{s_i}\) where \(\varvec{s} = (s_1,\ldots ,s_k)\) and the \(s_i\) are any choice of nonnegative integers such that \(\sum _{i=1}^{k} s_i = \alpha \), and
-
4.
the \({\alpha +k-1\, choose\, k-1}\) degree \(\eta \) monomials \(\overline{q_{\varvec{s}}}\) for each choice of \(\varvec{s}\).
For a generating set for \(\mathbb {R}[M_0(A)]\), the generators in (1) can be omitted using the on-shell relations.
Proof
A simple computation demonstrates that each of the monomials listed in Proposition 2 is invariant. To prove the proposition, one first establishes the result when \(k=1\) by induction on \(\ell \); the base case is simple, and the inductive step is accomplished by comparing the invariants of A to those corresponding to submatrices formed by removing a single row and the resulting column of zeros. For general k, consider the map \(\phi : \mathbb {R}[z_1,\ldots ,z_{\ell +k},\overline{z_1},\ldots ,\overline{z_{\ell +k}}] \rightarrow \mathbb {R}[w_1,\ldots , w_{\ell +1},\overline{w_1},\ldots , \overline{w_{\ell +1}}]\) that maps \(z_i\mapsto w_i\) and \(\overline{z_i}\mapsto \overline{w_i}\) for \(i \le \ell \), \(z_{\ell +i}\mapsto w_{\ell +1}\), and \(\overline{z_{\ell +i}}\mapsto \overline{w_{\ell +1}}\). It is easy to see that \(\phi \) maps A-invariants onto \((D, {\mathbf {n}})\)-invariants, and then the proof is completed by considering the preimages of the \((D, {\mathbf {n}})\)-invariants, a case with \(k=1\). \(\square \)
Proposition 3
Let \(A = \big (D, \overbrace{\varvec{n},\ldots , \varvec{n}}^k\big )\in \mathbb {Z}^{\ell \times (\ell +k)}\) be a type \(\hbox {I}_k\) weight matrix such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module. The (off-shell) relations among the \(r_i\), \(p_{i,j}\), \(q_{s}\), and \(\overline{q_{s}}\) are generated by the following.
-
1.
\(p_{g,h}p_{i,j} - p_{g,j}p_{i,h}\) for \(1\le g,h,i,j \le k\) with \(g\ne i\) and \(h\ne j\).
-
2.
\(p_{g,h} q_{\varvec{s}} - p_{i,h} q_{\varvec{s^\prime }}\) where \(s_g^\prime = s_g + 1\), \(s_i^\prime = s_i - 1\), and \(s_j^\prime = s_j\) for \(j \ne g,i\). Note that we must have \(s_i \ge 1\).
-
3.
\(p_{g,h} \overline{q_{\varvec{s}}} - p_{g,i} \overline{q_{\varvec{s^\prime }}}\) where \(s_g^\prime = s_g + 1\), \(s_i^\prime = s_i - 1\), and \(s_j^\prime = s_j\) for \(j \ne g,i\). Note that we must have \(s_i \ge 1\).
-
4.
\(q_{\varvec{s}} q_{\varvec{s^\prime }} - q_{\varvec{t}} q_{\varvec{t^\prime }}\) where \(\varvec{s} + \varvec{s^\prime } = \varvec{t} + \varvec{t^\prime }\) and \(\varvec{s}\ne \varvec{t}\).
-
5.
\(\overline{q_{\varvec{s}}}\, \overline{q_{\varvec{s^\prime }}} - \overline{q_{\varvec{t}}}\, \overline{q_{\varvec{t^\prime }}}\) where \(\varvec{s} + \varvec{s^\prime } = \varvec{t} + \varvec{t^\prime }\) and \(\varvec{s}\ne \varvec{t}\).
-
6.
\(\prod _{i=1}^\ell r_i^{m_i} \prod _{j=1}^\alpha p_{g_j,h_j} - q_{\varvec{s}} \overline{q_{\varvec{s^\prime }}}\) where the vector \((g_1, \ldots , g_\alpha )\) contains each value g exactly \(s_g\) times and the vector \((h_1,\ldots , h_\alpha )\) contains each value h exactly \(s_h^\prime \) times.
On-shell, the monomials additionally satisfy the defining relations of the moment map, \(-a_i r_i + n_i \sum _{j=1}^k p_{j,j}\) for \(i=1,\ldots ,\ell \).
Proof
One verifies that each of these relations holds by direct computation using the definitions of the monomials given in Proposition 2. The proof that all relations are generated by these is by induction on k. For the case \(k = 1\), there is only one nontrivial relation, \(p_{1,1}^\alpha \prod _{i=1}^\ell r_i^{m_i} - q_{(\alpha )} \overline{q_{(\alpha )}}\); a simple yet tedious consideration of cases demonstrates that this generates all relations. The induction step is demonstrated by considering the preimages of invariants under the map \(\mathbb {C}[z_1,\ldots ,z_{\ell +k+1}]\rightarrow \mathbb {C}[z_1,\ldots ,z_{\ell +k}]\) given by \((z_1,\ldots ,z_{\ell +k+1})\mapsto (z_1,\ldots ,z_{\ell +k} + z_{\ell +k+1})\). \(\square \)
One then verifies the following by direct computation.
Proposition 4
Let \(A = \big (D, \overbrace{\varvec{n},\ldots , \varvec{n}}^k\big )\in \mathbb {Z}^{\ell \times (\ell +k)}\) be a type \(\hbox {I}_k\) weight matrix such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module. The Poisson brackets of the Hilbert basis elements given in Proposition 2 are as follows. Note that the indices g, h, i, j need not be distinct unless otherwise noted.
-
\(\{ r_g, r_h\} = \{ r_g, p_{h,i}\} = \{ q_{\varvec{s}}, q_{\varvec{s^\prime }} \} = \{ \overline{q_{\varvec{s}}}, \overline{q_{\varvec{s^\prime }}} \} = 0\).
-
\(\{ r_i, q_{\varvec{s}} \} = - \frac{2}{\sqrt{-1}} m_i q_{\varvec{s}}\).
-
\(\{ r_i, \overline{q_{\varvec{s}}} \} = \frac{2}{\sqrt{-1}} m_i \overline{q_{\varvec{s}}}\).
-
\(\{ p_{g,h}, p_{i,j}\} = {\left\{ \begin{array}{ll} \frac{2}{\sqrt{-1}} p_{i,h}, &{} g = j \text{ and } h\ne i,\\ - \frac{2}{\sqrt{-1}} p_{g,j}, &{} g \ne j \text{ and } h = i, \\ \frac{2}{\sqrt{-1}}(p_{h,h} - p_{g,g}) &{} g = j \text{ and } h = i, \text{ and } g\ne h \\ 0, &{} g \ne j \text{ and } h\ne i \text{ or } g = j = h = i. \end{array}\right. }\).
-
\(\{ p_{g,h}, q_{\varvec{s}} \} = {\left\{ \begin{array}{ll} -\frac{2}{\sqrt{-1}} s_g q_{\varvec{s^\prime }}, &{} s_g > 0, \\ 0, &{} s_g = 0,\end{array}\right. }\)
where \(s_g^\prime = s_g - 1\), \(s_h^\prime = s_h + 1\), and \(s_i^\prime = s_i\) for \(i\ne g, h\).
-
\(\{ p_{g,h}, \overline{q_{\varvec{s}}} \} = {\left\{ \begin{array}{ll} \frac{2}{\sqrt{-1}} s_g \overline{q_{\varvec{s^\prime }}}, &{} s_g > 0, \\ 0, &{} s_g = 0,\end{array}\right. }\)
where \(s_g^\prime = s_g - 1\), \(s_h^\prime = s_h + 1\), and \(s_i^\prime = s_i\) for \(i\ne g, h\).
-
\(\{ q_{\varvec{s}}, \overline{q_{\varvec{s^\prime }}} \} = \frac{2}{\sqrt{-1}} q_{\varvec{s}} \overline{q_{\varvec{s^\prime }}} \left( \sum _{i=1}^\ell \frac{m_i^2}{r_i} + \sum _{j=1}^k \frac{s_j s_j^\prime }{p_{j,j}}\right) \), which we note is polynomial as the \(r_i\) and \(p_{j,j}\) divide \(q_{\varvec{s}} q_{\varvec{s^\prime }}\).
The above results give an explicit description of the Poisson algebra of regular functions. It remains only to determine the semialgebraic description of the symplectic quotient.
Proposition 5
Let \(A = \big (D, \overbrace{\varvec{n},\ldots , \varvec{n}}^k\big )\in \mathbb {Z}^{\ell \times (\ell +k)}\) be a type \(\hbox {I}_k\) weight matrix associated such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module. Using the real Hilbert basis given by the real and imaginary parts of the monomials listed in Proposition 2, the image of the Hilbert embedding is described by the relations given in Proposition 3 as well as the inequalities \(r_i \ge 0\) for \(i = 1,\ldots , \ell \) and \(p_{j,j} \ge 0\) for \(j = 1, \ldots , k\).
Proof
From the definition of the monomials, it is easy to see that these inequalities are satisfied. For the converse, choose values of the \(r_i\), \(p_{i,j}\), and \(q_{\varvec{s}}\) such that each \(r_i \ge 0\), each \(p_{i,i} \ge 0\), and the remaining values are arbitrary elements of \(\mathbb {C}\) such that the each \(p_{i,j} = \overline{p_{j,i}}\) and relations in Proposition 3 are satisfied. It is then easy to see that the values \(|r_i|\), \(|p_{i,j}|\) for \(i\ne j\), and \(|q_{\varvec{s}}|\) are determined by the \(p_{i,i}\). Specifically, using the relations of Proposition 3(1), we have
using the moment map, we have
and using the relations of Proposition 3(6), we have
Similarly, using the relations of Proposition 3(3), one checks that the arguments of the \(q_{\varvec{s}}\) where \(\varvec{s}\) has only one nonzero coordinate (which must be equal to \(\alpha \)) determine the arguments of the \(p_{i,j}\) and the other \(q_{\varvec{s^\prime }}\). It follows that one can find a point \((z_1,\ldots ,z_n)\) mapped via the Hilbert embedding to these values of \(r_i\), \(p_{i,j}\), and \(q_{\varvec{s}}\) by choosing the modulus of each \(z_{\ell +i}\) to be \(\sqrt{p_{i,i}}\), the modulus of each \(z_i\) for \(i\le \ell \) to be determined by the moment map, the argument of each \(z_i\) for \(i\le \ell \) to be 0, and the argument of each \(z_{\ell +i}\) to be the argument of \(q_{(0,\ldots ,0,\alpha ,0,\ldots ,0)}\) where \(\alpha \) occurs in the ith position. \(\square \)
With this explicit description of \(M_0(A)\) and \(\mathbb {R}[M_0(A)]\) the following can be verified by direct computation.
Theorem 6
Let \(A\in \mathbb {Z}^{\ell \times (\ell +k)}\) be a Type \(\hbox {I}_k\) matrix such that \(V_A\) is a faithful \(\mathbb {T}^\ell \)-module, and let \(B = \big (-\alpha (A), \beta (A),\ldots , \beta (A)\big ) \in \mathbb {Z}^{1\times (k+1)}\). Using coordinates \((w_1,\ldots ,w_{k+1})\) for \(V_B\), define the map \(\varPhi : \mathbb {C}[V_A]^{\mathbb {T}^\ell } \rightarrow \mathbb {C}[V_B]\) by
Then \(\varPhi \) is a well-defined homomorphism \(\varPhi : \mathbb {C}[V_A]^{\mathbb {T}^\ell } \rightarrow \mathbb {C}[V_B]^{\mathbb {T}^1}\) inducing an isomorphism \(\mathbb {R}[M_0(A)]\rightarrow \mathbb {R}[M_0(B)]\) and a graded regular symplectomorphism between \(M_0(A)\) and \(M_0(B)\).
Rights and permissions
About this article
Cite this article
Herbig, HC., Lawler, E. & Seaton, C. Constructing symplectomorphisms between symplectic torus quotients. Beitr Algebra Geom 61, 581–604 (2020). https://doi.org/10.1007/s13366-020-00486-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00486-8
Keywords
- Symplectic reduction
- Singular symplectic quotient
- Hamiltonian torus action
- Graded regular symplectomorphism