arXiv:1310.0414v1 [math.SG] 1 Oct 2013

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC
CIRCLE QUOTIENTS
HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON
Abstract. We prove that when d > 2, a d-dimensional symplectic quotient
1
at the zero level of a unitary circle representation V such that V S = {0}
cannot be Z-graded regularly symplectomorphic to the quotient of a unitary
representations of a finite group.

Contents
1. Introduction
Acknowledgements
2. Background
2.1. Z-graded regular symplectomorphisms
2.2. Results on symplectic circle quotients
3. Restriction of regular symplectomorphisms
4. Reduction to the case n = 3
5. The case n = 3
5.1. The Hilbert series of M0
5.2. The Hilbert series of C2 /Γ
5.3. Elimination of each Γ < U2
References

1
3
3
4
6
8
12
15
15
18
19
24

1. Introduction
Let G → U(V ) be a unitary representation of a compact Lie group G on a finite
dimensional Hermitian vector space (V, h , i). By convention, the Hermitian scalar
product h , i is assumed to be complex antilinear in the first argument. For the
infinitesimal action d/dt exp(−tξ).v|t=0 of an element ξ of the Lie algebra g of G
on an element v ∈ V we write ξ.v. The moment map of the representation is the
regular map
√
−1
∗
hv, ξ.vi,
J : V → g , v 7→ Jξ (v) := (J(v), ξ) :=
2
2010 Mathematics Subject Classification. Primary 53D20, 13A50; Secondary 57S17.
Key words and phrases. symplectic reduction, unitary circle representations.
The research was supported by the Centre for the Quantum Geometry of Moduli Spaces, which
is funded by the Danish National Research Foundation. In addition, HCH was supported by the
Austrian Ministry of Science and Research BMWF (Start-Prize Y377) and by the grant GA CR
P201/12/G028. CS was supported by a Rhodes College Faculty Development Grant as well as
the E.C. Ellett Professorship in Mathematics.
1

2

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

where (J(v), ξ) stands for the dual pairing of J(v) ∈ g∗ with an arbitrary ξ ∈ g.
Since J is an equivariant map, its zero level Z := J −1 (0) is G-saturated, and one
can define the symplectic quotient M0 := Z/G. If G is finite, our convention is to
set Z := V and refer to the quotient as a linear symplectic orbifold. Note that when
G is not discrete, 0 ∈ g∗ is a singular value of J, and Z ⊂ V is a closed cone. In
our situation, the symplectic quotient M0 is not a manifold, but a semi-algebraic
set stratified by symplectic manifolds of varying dimensions [29]. We regard it as a
Poisson differential space with a global chart provided by a Hilbert basis (cf. [10]).
When comparing two such spaces, there is a natural notion of equivalence, namely
that of a Z-graded regular symplectomorphism. This point of view will be explained
in more detail in Subsection 2.1, see also [10].
The objective of this paper is to compare symplectic quotients of unitary circle
representations with finite unitary quotients. Our main result is the following.
1

Theorem 1.1. Let S1 → U(V ) be a unitary circle representation such that V S =
{0}. If the dimension of the symplectic quotient M0 is d > 2, then there cannot
exist a Z-graded regular symplectomorphism of M0 to a quotient of Cn by a finite
subgroup Γ < Un := U(Cn ).
Note we can assume n = d/2. In [10], one can find a constructive proof of the
statement that any 2-dimensional symplectic quotient of a unitary torus representation is Z-graded regularly symplectomorphic to some cyclic quotient of C. We
1
1
can always assume without loss of generality that V S = {0}, because V S is a symplectic subspace on which the circle acts trivially; see Remark 4.1. So together with
[10] and the observation that the 0-dimensional case is trivial, Theorem 1.1 provides
the complete answer to the question of which linear symplectic circle quotients are
Z-graded regularly symplectomorphic to a finite unitary quotient.
It should be mentioned that some classes of unitary circle representations can
be ruled out from our considerations right from the beginning. If M0 is homeomorphic to a finite symplectic quotient, it is necessarily a rational homology manifold.
1
Assuming V S = {0}, this is the case precisely when the sign of exactly one weight
of the representation differs from the sign of the others, see [14] or [10, Theorems
3 and 4]. In this situation, the corresponding GIT quotient V //C× , which is homeomorphic to M0 by the Kempf–Ness theorem [18, 27], is affine space (cf. [32]). It
is perfectly legitimate to restrict our attention to these cases. Moreover, in [16] the
authors discovered a Diophantine condition on the weights (cf. Equation (2.7)) that
has to hold if the symplectic circle quotient is Z-graded regularly symplectomorphic
to a finite unitary quotient. Example calculations ([16, Section 7]) indicate that
the ‘majority’ of unitary circle representations violate this condition, even though
it holds in infinitely many cases. The point of this paper is that the remaining cases
can be ruled out as well.
Let us outline the plan of the paper. In Section 2.1, we recall the basics from [10]
about how to construct Z-graded regular symplectomorphism from global charts
that are provided by the theory of invariant polynomials. Moreover, we recall in
Section 2.2 some crucial results from [16] about the Hilbert series of the Z-graded
algebra of regular functions on a symplectic quotient associated to a unitary circle
representation. In Section 3, we develop tools for understanding the restrictions
of global charts for our symplectic quotients to the closures of orbit type strata.
Specifically, we demonstrate that Z-graded regular symplectomorphisms between

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

3

symplectic reduced spaces restrict to Z-graded regular symplectomorphisms between the closures of strata, and in the relevant cases, the restrictions of global
charts are associated to Hilbert bases; see Theorems 3.2 and 3.10. On the way, we
demonstrate that complex symplectic reduced spaces of unitary torus representations are normal algebraic varieties; see Theorem 3.7. We rely heavily on the fact
that the groups under consideration are abelian or finite, and we do not know if
these results generalize. If it turns out that global charts are unique in general,
then Lemma 3.3 would be a trivial consequence of Theorem 3.2 for any compact
Lie group G, and the arguments would simplify considerably. Based on these tools,
we present in Section 4 an inductive argument that reduces the consideration to
the cases when dimC V = 3. That is, we show that any S1 -reduced space that is
Z-graded regularly symplectomorphic to a linear symplectic orbifold must contain
the reduced space of an S1 -action on C3 that is as well Z-graded regularly symplectomorphic to a linear symplectic orbifold; see Corollarey 4.4. In Section 5, we
complete the proof of Theorem 1.1 by ruling out case-by-case all finite subgroups
of U2 using the classification of duVal [8] following the exposition of [5].
One additional comment is in order. There is an analogous notion of a Z-graded
regular diffeomorphism between Poisson differential spaces with global charts, defined as a Z-graded regular symplectomorphism where each algebra is equipped with
the trivial Poisson bracket. A natural question to ask is whether a linear symplectic
circle quotient is even Z-graded regularly diffeomorphic to a linear orbifold. In this
paper, the main techniques used to demonstrate the non-existence of a Z-graded
regular symplectomorphism are restrictions of such a symplectomorphism to the
closures of orbit type strata and comparing the Hilbert series of the Z-graded rings
of regular functions. The Poisson structures on the algebras of smooth functions
in question are only used to establish a bijection between the orbit type strata
of Z-graded regularly symplectomorphic spaces by applying [29, Proposition 3.3];
see Section 3. If it turns out that the algebra of smooth functions C ∞ (M0 ) of
a symplectic reduced space M0 determines the orbit type stratification, then the
proof of Theorem 1.1 would extend to preclude the existence of a Z-graded regular
diffeomorphism.
Acknowledgements
We would like to thank Srikanth Iyengar for helpful discussions and assistance.
We would like to thank the Centre for the Quantization of Moduli Spaces and Bernhard Lamel for providing the research environment for this project and enabling
travel. The research of HCH was financed by the Centre for the Quantum Geometry
of Moduli Spaces (which is funded by the Danish National Research Foundation),
the Austrian Ministry of Science and Research BMWF (Start-Prize Y377) and by
the grant GA CR P201/12/G028. CS was supported by a Rhodes College Faculty
Development Grant as well as the E.C. Ellett Professorship in Mathematics.
2. Background
The purpose of this section is to recall the definition of the algebra of regular
functions on a linear symplectic reduced space as well as the definition of Z-graded
regular symplectomorphism. We refer to [10] for more details. In addition, we
summarize the formulas from [16] for the first four coefficients of the Laurent series
of a S1 -reduced space and a linear symplectic orbifold for the cases we will need.

4

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

2.1. Z-graded regular symplectomorphisms. As already indicated in the introduction, the symplectic quotient M0 = Z/G of a unitary representation G →
U(V ) is not a smooth manifold, but a stratified symplectic space (this result is due
to R. Sjamaar and E. Lerman [29]). The symplectic strata (M(H) ∩ Z)/G are given
by the spaces of G-orbits in the intersection of the orbit type strata M(H) with the
zero fiber Z of the moment map. The strata are indexed by the conjugacy classes
(H) of isotropy subgroups H < G of the G action on V . It has been realized already in [2] that M0 carries a natural smooth structure, i.e., the algebra of smooth
functions
C ∞ (M0 ) := C ∞ (V )G /IZG ,
where IZG := C ∞ (V )G ∩ IZ denotes the invariant part of the ideal IZ of smooth
functions vanishing on Z. Equipped with this algebra of smooth functions, M0
has the structure of a differential space (in the sense of Sikorski). It is moreover
pointed out in [2] that C ∞ (M0 ) inherits a Poisson bracket {, } from C ∞ (V ). Hence
the triple (M0 , C ∞ (M0 ), {, }) is a Poisson differential space; see [10, Definition
5]. Using flows of invariant functions, it is shown in [3, 29] that the symplectic
stratification can be reconstructed from the Poisson algebra (C ∞ (M0 ), { , }). Later,
in [20], a notion of equivalence of symplectic quotients has been proposed that
generalizes symplectomorphism between manifolds. Namely, a map Φ : M0 → N0
between two symplectic quotients M0 and N0 is called a symplectomorphism if φ
is a homeomorphism and its pullback Φ∗ : C ∞ (N0 ) → C ∞ (M0 ) is an isomorphism
of Poisson algebras. It is clear from what has been said that a symplectomorphism
must preserve the symplectic strata.
In the situation of the symplectic quotient of a (unitary) representation V , one
can talk about symplectomorphisms that are mediated by polynomials. A language
to axiomatizes this idea has been suggested in [10]; the essentials we recall next.
The algebra of real-valued regular functions R[V ] on V forms a Poisson subalgebra
of C ∞ (V ). If we wish to use complex coordinates, we can view R[V ] as the algebra
C[V × V ]− of complex polynomials on V × V that are invariant under complex
conjugation − . By the theorem of Hilbert and Weyl, we can pick a real Hilbert
basis φ1 , . . . , φk ∈ R[V ]G , i.e. a complete set of real homogeneous polynomial Ginvariants. The Hilbert basis gives rise to an embedding (the Hilbert embedding)
of the quotient space V /G into Rk . The image X of the Hilbert embedding is a
closed semialgebraic subset of Rk , and inherits from Rk a smooth structure C ∞ (X)
(a function f on X is defined to be smooth if it can be written as a restriction
f = F|X of a smooth function F on Rk ). By the Theorem of G. W. Schwarz [25]
and J. Mather [21] the pullback under φ = (φ1 , . . . , φk ) provides an isomorphism
of Fréchet algebras C ∞ (X) to C ∞ (V )G . In other words, φ provides us with a
diffeomorphism of V /G onto X.
For each element φi , i = 1, . . . , k of the Hilbert basis, we introduce a variable xi
and assign to it the degree deg(ϕi ). We introduce the free Z-graded commutative
algebra R[x] := R[x1 , . . . , xk ] and consider the algebra homomorphism
ϕ : R[x] → C ∞ (M0 )
that sends xi to the class ϕi of φi in C ∞ (M0 ). This algebra homomorphism is not
surjective and for most representations not injective. However, it does satisfy the
following:

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

5

(1) The image of the algebra homomorphism ϕ is a Poisson subalgebra. We call
it the Poisson algebra of regular functions R[M0 ] on M0 . It is isomorphic
to the Z-graded Poisson algebra R[x]/ ker(ϕ), the bracket being of degree
−2.
(2) The algebra C ∞ (M0 ) is C ∞ -integral over R[M0 ], i.e. every function f ∈
C ∞ (M0 ) can be written as f = F ◦ (ϕ1 , . . . , ϕk ) for a suitable choosen
F ∈ C ∞ (Rk ).
(3) The image of ϕ in C ∞ (M0 ) separates points.
Since it is a generalization of a linear coordinate system for a vector space, we call
a ring homomorphism satisfying (1), (2), and (3) a global chart for M0 . Two global
charts are equivalent if their images in C ∞ (M0 ) coincide. If the ideal ker(ϕ) in
R[x] is homogeneous, then the global chart ϕ is Z-graded. A global chart given
by assigning to each xi an element of a Hilbert basis for R[V ]G as above is a
global chart associated to a Hilbert basis for R[V ]G . A global chart provides us
with an embedding of M0 into euclidean space as a closed semialgebraic subset of
X. It turns out that the choice of the Hilbert basis is not essential; two global
charts associated to different choices of Hilbert bases for R[V ]G are easily seen to
be equivalent. Whether every global chart is actually equivalent to a global chart
associated to a Hilbert basis is unclear to the authors.
In analogy with coordinate systems on vector spaces, global charts can be used
to construct smooth (Poisson) maps between symplectic quotients. The appropriate tool is provided by [10, Theorem 6], the so-called Lifting Theorem. It allows
to lift certain (Z-graded) Poisson homomorphisms between Poisson algebras of regular functions to the Poisson algebras of smooth function, namely those that are
compatible with the embeddings into eucildean space. In analogy with the notion
of regular maps between affine varieties, these lifts are be referred to as (Z-graded)regular Poisson maps. An invertible (Z-graded)-regular Poisson map is an example
of a symplectomorphism, called a (Z-graded)-regular symplectomorphism.
For later reference, let us spell out the dry details on how a Z-graded regular Poisson map is constructed. Suppose we have two symplectic quotients with Z-graded
global charts ϕ : R[x] := R[x1 , . . . , xk ] → C ∞ (M0 ) and ψ : R[y] := R[y1 , . . . , ym ] →
C ∞ (N0 ). Let us assume we have an algebra homomorphism λ : R[y] → R[x] compatible with the Z-grading such that λ(ker(ψ)) ⊂ ker(ϕ), and the induced morphism
λ : R[y]/ ker(ψ) → R[x]/ ker(ϕ) is compatible with the Poisson bracket { , }. Note
that every morphism of the Poisson algebras R[N0 ] → R[M0 ] of regular functions
can be represented by such a λ. Our λ is uniquely determined by the homogeneous
polynomials λi := λ(yi ) ∈ R[x] where i = 1, . . . , m. Let us define ϑ : M0 → Rm by
ϑ(ξ) := ((ϕ(λ1 ))(ξ), . . . , (ϕ(λm ))(ξ)) and say that λ is a arrow if the image of the
map ψ : N0 → Rm that sends η ∈ N0 to (ψ(y1 ))(η), . . . , ψ(ym ))(η) contains ϑ(M0 ).
The Lifting Theorem [10, Theorem 6] says that an arrow λ extends uniquely to a
morphism of Poisson algebras Λ : C ∞ (N0 ) → C ∞ (M0 ) and that the lift Λ is the
pullback of the map that sends ξ ∈ M0 to ψ −1 (ϑ(ξ)) ∈ N0 .
Remark 2.1. For later reference, we note that the complexification of the representation of G on V × V is equal to the GC -representation V × V ∗ where V ∗ denotes
the dual representation. The latter is called the cotangent lifted GC -representation.
Moreover, the complexification JC of the moment map J is exactly the moment
map of the cotangent lifted GC -representation. The complexification IZ ⊗R C of
the vanishing ideal IZ of Z = J −1 (0) is nothing but the vanishing ideal IZ C in

6

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

C[V × V ∗ ] of the zero locus Z C = JC−1 (0). Let IZGCC = IZ C ∩ C[V × V ∗ ]GC , and then
the complexification R[M0 ] ⊗ C of the algebra of regular functions on M0 is given
G
by C[V × V ∗ ]/IZ C C = C[V × V ∗ ]GC /IZGCC .

2.2. Results on symplectic circle quotients. Here, we specialize the discussion to unitary representations V of the circle G = S1 and recall results from [16]
regarding the Hilbert series of the N-graded algebra R[M0 ] of regular functions on
the symplectic quotient M0 = Z/G. It will be convenient to identify V with Cn by
choosing coordinates z1 , . . . , zn with respect to which the circle action is diagonal.
Remember that we are interested in Cn as a real variety, and so the Poisson algebra
of regular functions on V = Cn is the algebra R[V ] = C[z1 , . . . , zn , z 1 , . . . , z n ]− of
those complex polynomials in zi and z i that are invariant√under complex conjugation − . The Poisson bracket is given by {zi , z j } = −2 −1δij . The action is
uniquely determined by the moment map
n

(2.1)

J : V = Cn → g∗ = R,

J(z, z) :=

1X
ai z i z i ,
2 i=1

where a1 , . . . , an ∈ Z are the weights of the representation. We call A := (a1 , . . . , an )
the weight vector. The action is effective if and only if the weights are coprime, i.e.,
gcd(A) := gcd(a1 , . . . , an ) = 1. We can restrict to consideration of the effective case
by replacing A by A/ gcd(A), which does not change the Poisson algebra of regular
functions. Also note that it does no harm to assume that there are no nontrivial
invariants, i.e., all weights are nonzero. If all weights are nonzero but have the same
sign, the reduced a space is a point. Otherwise, by [14] we know that the vanishing
ideal IZ coincides with the ideal IJ generated by the moment map.
Recall that the Hilbert series of an N-graded locally finite dimensional vector
space W = ⊕i≥0 Wi is given by the formal series
HilbW (x) =

∞
X
i=0

dim(Wi ) xi ∈ Q[[x]].

Let us introduce the on-shell Hilbert series of our circle action with weight vector
A,
Hilbon
A (x) := HilbR[V ]/IJ (x),
the Hilbert series of the graded algebra R[V ]/IJ . As IZ = IJ in this case, the onshell Hilbert series coincides with the Hilbert series of the Z-graded algebra R[M0 ]
of regular functions on M0 . Note that the Hilbert series Hilbon
A (x) does not depend
on the signs of the weights. So putting αi := |ai | and writing α := (α1 , . . . , αn )
on
we have Hilbon
A (x) = Hilbα (x). We will occasionally use the latter notation for
emphasis when we are not concerned with the signs of the weights.
Hilbon
A (x) is actually a rational function with a pole at x = 1 of order d = 2n − 2,
the Krull dimension of R[V ]/IJ . It therefore admits a Laurent expansion of the
form
∞
X
γk (A)
(2.2)
Hilbon
(x)
=
.
A
(1 − x)d−k
k=0

In [16, Theorem 5.1], the first four Laurent coefficients are computed in terms of
symmetric functions of the αj . Here, we will need [16, Corollary 5.2], which states
that γ0 (A) > 0 and γ2 (A) = γ3 (A) > 0, as well as the expressions for the Laurent

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

7

coefficients when n = 3. It will be convenient to express these coefficients in terms
of the αj as well as the elementary symmetric polynomials ei in the αj ,
e1 = α1 + α2 + α3 ,

e2 = α1 α2 + α1 α3 + α2 α3 ,

and e3 = α1 α2 α3 .

For brevity, we let gcdij := gcd(αi , αj ).
When n = 3 and all weights are nonzero, we have
e2
α1 α2 + α1 α3 + α2 α3
,
=
(2.3)
γ0 (A) =
(α1 + α2 )(α1 + α3 )(α2 + α3 )
e1 e2 − e3
and
α2 + α22 + α23 + α1 α2 + α1 α3 + α2 α3
γ2 (A) = 1
12(α1 + α2 )(α1 + α3 )(α2 + α3 )
gcd212 −1
gcd213 −1
gcd223 −1
+
+
12(α1 + α2 ) 12(α1 + α3 ) 12(α2 + α3 )
h

1
− 2e2 + e2 gcd212 + gcd213 + gcd223
=
12(e1 e2 − e3 )
i
+ gcd212 α23 + gcd213 α22 + gcd223 α21
+

(2.4)

Note that γ1 (A) = 0 in general.
If Γ < Un−1 is a finite subgroup, then the Hilbert series HilbR[Cn−1 ]Γ |R (x) of real
regular functions on the quotient Cn−1 /Γ has a similar form,
∞
X
γk (Γ)
(2.5)
HilbR[Cn−1 ]Γ |R (x) =
.
(1 − x)2n−2−k
k=0

In this case, the first four coefficients of the Laurent series are computed [16, Theorem 6.1] in terms of a collection of primitive pseudoreflections g1 , . . . , gr for the
action of Γ on Cn−1 , roughly a minimal generating collection of pseudoreflections.
We recall from [16, Definition 6.2] that a set {g1 , . . . , gr } of pseudoreflections in Γ
is a set of primitive pseudoreflections if for each pseudoreflection g ∈ Γ, g = gik for
1 ≤ i ≤ r and some integer k, and if gik = gjℓ 6= e, then i = j and k ≡ ℓ mod |gi |.
It is easy to see that such a set always exists though it is not unique. Note that
the diagonal action of Γ on Cn−1 × Cn−1 necessarily has no pseudoreflections.
We have
r
1
1 X
(2.6)
γ0 (Γ) =
|gi |2 − 1.
, γ1 (Γ) = 0, and γ2 (Γ) = γ3 (Γ) =
|Γ|
12|Γ| i=1
In particular, note that γ2 (Γ) = γ3 (Γ) = 0 if Γ contains no pseudoreflections (in
terms of its action on Cn−1 ).
We state two obvious consequences of these computations which will be used in
the sequel. The first was discussed experimentally in [16, Section 7].
Corollary 2.2 (Diophantine Condition on γ0 (A)). Let A = (a1 , . . . , an ) ∈ Zn be the
weight vector associated to a linear S1 -action on Cn , and suppose that Hilbon
A (x) =
HilbR[Cn−1 ]Γ |R (x) for some finite Γ < Un−1 . Then
(2.7)

1
∈ Z.
γ0 (A)

Similarly, as γ0 (A) > 0 for each weight vector A by [16, Corollary 5.2], and as
γ2 (Γ) = 0 unless Γ contains pseudoreflections, we have the following.

8

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

Corollary 2.3. Let A = (a1 , . . . , an ) ∈ Zn be the weight vector associated to a
linear S1 -action on Cn , and suppose that Hilbon
A (x) = HilbR[Cn−1 ]Γ |R (x) for some
finite Γ < Un−1 . Then Γ contains at least one pseudoreflection.
3. Restriction of regular symplectomorphisms
In this section, we consider the restrictions of Z-graded regular symplectomorphisms to closures of orbit type strata. We demonstrate in Theorem 3.2 that such
restrictions are themselves Z-graded regular symplectomorphisms. Moreover, in
some cases, the associated global charts will be shown to be equivalent to global
charts associated to Hilbert bases; see Lemma 3.3 and Theorem 3.10.
We fix the following notation, which will be used throughout this section. Let
M0 be the symplectic reduced space associated to a unitary representation V of
the compact Lie group G and let N0 be the symplectic reduced space associated to
a unitary representation W of the compact Lie group K. Assume M0 is equipped
with the global chart
ϕ : R[x] = R[x1 , . . . , xk ] → C ∞ (M0 ),

xi 7→ ϕi ,

i = 1, . . . , k

ϕ′ : R[y] = R[y1 , . . . , yℓ ] → C ∞ (N0 ),

yi 7→ ϕ′i ,

i = 1, . . . , ℓ

G

associated to a Hilbert basis for R[V ] , and N0 is equipped with the global chart
associated to a Hilbert basis for R[W ]K . Assume further that χ : N0 → M0 is a
Z-graded regular symplectomorphism induced by the arrow λ : R[x] → R[y]. We
will use R to denote an orbit type stratum of M0 and S to denote an orbit type
stratum of N0 .
The following is a trivial consequence of the definitions and the fact that, by the
above assumptions, λ : R[x]/ ker ϕ → R[y]/ ker ϕ′ is a ring isomorphism preserving
the Poisson bracket.
Lemma 3.1. Define
(3.1)

ψ : R[x] → C ∞ (N0 ),

xi 7→ ψi := ϕ′ ◦ λ(xi ).

Then ψ is a global chart for N0 that is equivalent to ϕ′ and hence associated to a
Hilbert basis for R[W ]K . With respect to the global charts ϕ and ψ, the Z-graded
regular symplectomorphism χ is induced by the identity arrow on R[x].
This in particular allows us to identify the generators ϕi of R[M0 ] with the
generators ψi of R[N0 ].
By [29, Proposition 3.3], the stratification of M0 by orbit types, with respect
to which it is a symplectic stratified space, is determined by the Poisson algebra
C ∞ (M0 ). Because the map χ : N0 → M0 is a homeomorphism inducing an isoe : C ∞ (M0 ) → C ∞ (N0 ) of Poisson algebras, it follows that χ induces a
morphism λ
bijection between the orbit type strata of N0 and M0 . Specifically, for each orbit
type stratum S of N0 , χ(S) is an orbit type stratum of M0 . Then as χ(S cl ) = χ(S)cl
where cl denotes the (topological) closure, it follows that χ induces a bijection between closures of orbit type strata.
Now, let g denote the Lie algebra of G, J : V → g∗ the homogeneous quadratic
moment map, and Z = J −1 (0) the shell. Pick an isotropy group H of a point in
Z ⊂ V for the G-action on V . Let VH denote the set of points with isotropy group H
and V H denote the set of points fixed by H. We make some observations following
[29]; note that this case differs from the case treated by Sjamaar–Lerman in that

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

9

we apply their arguments to the subspace V H = (VH )cl , which is a symplectic
subspace of V by [12, Lemma 27.1].
The normalizer NG (H) of H in G acts on V H ; this action is not effective unless
H is trivial. That H is an isotropy group implies that H is the subgroup of NG (H)
acting trivially on V H . Let L = NG (H)/H and let l denote the Lie algebra of L.
The moment map J : V → g∗ restricts to a moment map JV H : V H → l∗ ; this
is proven for the restriction JVH of J to VH in [29, page 391–2], and the proof
for V H is identical. Using canonical coordinates for V that restrict to canonical
coordinates for V H , it is easy to see that JV H is homogeneous quadratic unless L
is finite, in which case JV H is trivial. Similarly, that JV−1H (0) = V H ∩ Z follows
from the fact that JV−1
(0) = VH ∩ Z, and VH is dense in V H . The piece R of the
H
stratification of M0 corresponding to the orbit type (H) is given by the (regular)
symplectic reduced space JV−1
(0)/L, and similarly Rcl is given by the reduced space
H
JV−1H (0)/L. Note, however, that 0 need not be a regular value for JV H .
Let IRcl denote the vanishing ideal of Rcl in C ∞ (M0 ). Then composing with the
quotient map C ∞ (M0 ) → C ∞ (M0 )/IRcl = C ∞ (Rcl ), one obtains a map ϕRcl : R[x] →
C ∞ (Rcl ) that is easily seen to be a global chart for the Poisson differential space Rcl .
In particular, as the set {f |R : f ∈ C ∞ (M0 )} is dense in C ∞ (R) by [29, page 387], as
the image of ψ is a Poisson subalgebra of C ∞ (M0 ), and as R is a piece of the symplectic stratified space M0 , it follows that the image of ψRcl is a Poisson subalgebra
of C ∞ (Rcl ). That C ∞ (Rcl ) is C ∞ -integral over R[x] follows from the integrality of
C ∞ (M0 ), and that the image of ϕRcl separates points follows from the fact that the
image of ϕ separates points in M0 . In the same way, letting S be the stratum of
N0 such that χ(S cl ) = Rcl , one obtains a global chart ψS′ cl : R[y] → C ∞ (S cl ), and
it is clear that λ defines an arrow inducing a Z-graded regular symplectomorphism
between S cl and χ(S)cl that corresponds to the restriction of χ to S cl . With this,
we have proven the following.
Theorem 3.2. With the notation as above, for each orbit type stratum S of the
symplectic stratified space N0 , χ restricts to a Z-graded regular symplectomorphism
χ|S cl from the closure S cl to the closure of an orbit type stratum of the symplectic
stratified space M0 . Here, the global charts for χ(S cl ) and S cl are the restrictions
of ϕ and ϕ′ , respectively, and the arrow inducing χ|S cl coincides with the arrow
inducing χ. Giving S cl instead the global chart formed by restricting the ψ defined
in Equation (3.1), the arrow inducing χ|S cl is the identity on R[x].
Let ZH = JV−1H (0), and identify Rcl with the reduced space ZH /L as above. It
is obvious that restriction to V H defines a homomorphism R[V ]G → R[V H ]L , and
hence that the image of ϕRcl is contained in R[V H ]L /IZLH . What is not clear in
general, however, is whether ϕRcl is a surjective map onto R[V H ]L /IZLH . This is
related to the question of whether a global chart on a Poisson differential space is
unique up to equivalence as discussed in Section 1. Certainly, the algebra R[V H ]L
may admit a proper subalgebra that separates points, see e.g. [7, Section 2.3.2],
but the authors are currently unaware of whether such an algebra could satisfy the
Poisson and integrality conditions. Fortunately, however, the surjectivity of ϕRcl
onto R[V H ]L /IZLH is clear in the cases relevant to this investigation. The rest of
this section is devoted to verifying this fact.
Lemma 3.3. Suppose G is abelian and ϕ is a global chart associated to a Hilbert
basis for R[V ]G . Then the image of ϕRcl is equal to R[V H ]L /IZLH .

10

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

Proof. Choose an isotropy group H for the G-action on V and use the notation as
above. As G is abelian, V H is G-invariant, and L = G/H. Then the restriction map
C[V ×V ∗ ]GC → C[(V ×V ∗ )H ]GC is surjective by [7, Corollary 2.2.9]. Taking the fixed
elements by complex conjugation, the restriction map R[V ]G → R[V H ]G = R[V H ]L
is surjective. Therefore, restricting a Hilbert basis for R[V ]G yields a complete
(not necessarily minimal) set of invariants for the L-action on V H , completing the
proof.

We assume for the remainder of this section that G is a torus.
Recall [28] that if Y is a GC -variety, then Y has finite principal isotropy groups
(FPIG) if there is a point y ∈ Y such that the orbit GC y is closed and the isotropy
group of y in GC is 0-dimensional. In our case, as G is abelian, it is easy to see that
the isotropy group of a point in the principal orbit type of the G-space V is the
kernel of the G-action. Indeed, choose a point v in the principal orbit type stratum
of V as a G-space, and let H be the isotropy group of v. Then as H is the isotropy
group of every point in the principal orbit type stratum, and as the principal orbit
type stratum is dense in V , it follows that H is the kernel of the G-action. If we
assume further that the G-action is effective, it follows that there is a dense subset
of V consisting of points with trivial isotropy.
It may happen, though, that each such point in V has infinite GC -isotropy or fails
to have closed GC -orbits so that V may not have FPIG as a GC -variety. However,
this only occurs in somewhat artificial situations.
Example 3.4. Let C× act on C with weight vector (1). It is easy to see that each
point z 6= 0 has trivial isotropy group. However, the only point with a closed orbit
is 0 with isotropy C× so that C does not have FPIG as a C× -variety.
Note, though, that the moment map is given by J(z) = z1 z¯1 /2, see Equation
(2.1), so that J −1 (0) = {0}. Hence, as J −1 (0) is contained in a proper subspace
of C (the trivial subspace), we may restrict our attention to this subspace without
changing the reduced space as a Poisson differential space. That is, we may begin
with the trivial action of C× on a point to yield the same reduced space. Effectivising the action, we are left with a point with trivial group action, which clearly
has FPIG.
The reason for the failure of FPIG in Example 3.4 and the method of correcting it are in some sense the general situation for unitary torus representations.
Specifically, we have the following.
Lemma 3.5. With the notation as above, assume G is a torus. Choose coordinates
(z1 , . . . , zn ) for V with respect to which the G-action is diagonal, let I denote the
subset of {1, . . . , n} such that zi = 0 for every point (z1 , . . . , zn ) ∈ J −1 (0), and
let V ′ denote the subspace of V defined by zi = 0 ∀i ∈ I. Then the symplectic
reduced spaces of the G-representations V and V ′ coincide. Moreover, J −1 (0) has
nonempty intersection with the principal orbit type stratum of V ′ .
Proof. The facts that V ′ is G-invariant and the two reduced spaces coincide are
demonstrated in the proof of [10, Theorem 4]. Moreover, from the description of
the weight matrices for the G-actions on V and V ′ in the same proof, it is easy to
see that every point in V ′ whose coordinates zj are all nonzero and have principal
isotropy type. Noting that J −1 (0) contains points in V ′ with all nonzero coordinates
by construction completes the proof.


AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

11

Remark 3.6. Using the Kempf–Ness theorem [18, 27], it is easy to see that the
definition of V ′ given in Lemma 3.5 coincides with that of [31, Lemma 2]. By this
result, if the G- and hence GC -actions are effective, it follows that the GC -action
on V ′ is stable, i.e. the union of the closed GC -orbits is dense in V ′ .
As a consequence of Lemma 3.5, we may assume without loss of generality that
J −1 (0) contains with principal isotropy group. We then have the following.
Theorem 3.7. Let G be a torus. Then R[M0 ] ⊗ C is normal.
Proof. We assume without loss of generality that the G-action on V is effective and,
by Lemma 3.5, that there is a point v ∈ J −1 (0) with principal G-isotropy group;
the effective assumption then implies that the G-isotropy group of v is trivial. Then
as J −1 (0) is a Kempf-Ness set, it follows from [27, Theorem (4.2)] that v has trivial
GC -isotropy and closed GC -orbit. Hence V has FPIG as a GC -variety.
By [28, Theorem (0.4)(4)], V is 2-large (see [28] for the definition), and then by
[15, Theorem 2.2 (2)], C[V × V ∗ ]/IZ C is normal. Finally, by [4, Proposition 6.4.1],
G
the quotient C[V × V ∗ ]/IZ C C = C[V × V ∗ ]GC /IZGCC is normal, completing the
proof; confer Remark 2.1.

Remark 3.8. The reader is cautioned that the definition of 2-large in [28] is stronger
than the definition used in [15]. Specifically, the definition in [28] requires FPIG,
while that in [15] does not. This causes no issue in the above argument as FPIG
has been established.
Remark 3.9. Theorem 3.7 essentially demonstrates that the complex symplectic
reduced space of an effective linear torus action is normal by proving that the zero
fiber of the complex moment map is a normal variety. For a reductive group GC
and a GC -variety X, the normality of X is sufficient though not necessary for the
normality of X//GC , see [6, Section 7]. By Serre’s Criterion [22, Theorem 23.8],
a Cohen–Macaulay ring is normal if and only if it is regular in codimension 1.
In our case, C[V × V ∗ ]GC /IZGCC is always Cohen–Macaulay. To see this, note that
C[V × V ∗ ]GC is Cohen–Macaulay by [17, Corollary 1], and then the quotient ring is
Cohen–Macaulay by [4, Theorem 2.1.3]. Hence, C[V × V ∗ ]GC /IZGCC is normal if and
only if the singular set of the complex symplectic reduced space has codimension
≥ 2. We do not know of an independent proof of this codimension condition.
Now assume that K is finite so that N0 = W/K is a linear symplectic orbifold.
We have the following, completing this section.
Theorem 3.10. With the notation as above, assume that G is a torus and K is
finite. For each isotropy group Γ of the K-action on W and corresponding orbit
type stratum S of the linear symplectic orbifold N0 , the global chart for S cl given
by the restriction of ψ (or ϕ′ ) is equivalent to a global chart associated to Hilbert
bases for R[W Γ ]NK (Γ)/Γ .
Proof. Let Γ be an isotropy group for the action of K on W . The corresponding
stratum S is given by WΓ /NK (Γ), and its closure S cl is W Γ /NK (Γ). As above,
the image of ψS cl is a subalgebra A of R[W Γ ]NK (Γ)/Γ . Let R = χ(S), and then
R is an orbit type stratum of M0 by Theorem 3.2. Let H be the isotropy group
of a point in V whose orbit is in R; note that H does not depend on the choice
of point as G is abelian. By Theorem 3.2, the identity arrow on R[x] induces an

12

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

isomorphism between the image of ϕRcl and A, and by Lemma 3.3, the image of
ϕRcl is equal to R[V H ]L /IZLH . It follows that the identity arrow on R[x] induces
an isomorphism κ : R[V H ]L /IZLH → A. Tensoring with C, we have an isomorphism
κC : (R[V H ]L /IZLH ) ⊗R C → A ⊗R C =: AC .
Noting that (V × V̄ )H ⊗R C = (V × V ∗ )HC , we have by [26, Proposition 5.8(1)]
−
that R[V H ]L = C[(V × V̄ )H ]LC , and R[V H ]L ⊗R C = C[(V × V ∗ )HC ]LC . Then
we have (R[V H ]L /IZLH ) ⊗R C = C[(V × V ∗ )HC ]LC /IZLCC . In the same way, we may
H

consider AC as a subalgebra of C[(W × W ∗ )Γ ]NK (Γ) = (R[W Γ ]NK (Γ)/Γ ) ⊗R C. That
is, κC can be viewed as an isomorphism
κC : C[(V × V ∗ )H ]LC /IZLCC → AC ,
H

∗ H LC

and as C[(V × V ) ]

/IZLCC
H

is normal by Lemma 3.7, AC is normal.

Finally, we claim that the algebra AC is separating in C[(W × W ∗ )Γ ]NK (Γ) in the
sense of [7, Definition 2.3.8], see also [9]. That is, for x, y ∈ (W × W ∗ )Γ , if there
is an f ∈ C[(W × W ∗ )Γ ]NK (Γ) such that f (x) 6= f (y), then there is a g ∈ AC such
that g(x) 6= g(y). Because C[(W × W ∗ )Γ ]NK (Γ) separates points in the complex
geometric quotient (W × W ∗ )Γ /(NK (Γ)) by [24, Theorem 1.1, Amplification 1.3],
it follows that this is equivalent to AC separating NK (Γ)-orbits in (W × W ∗ )Γ .
To see this, first note that the map η : (W × W ∗ )Γ /(NK (Γ)) → (W × W ∗ )/K
induced by the embedding (W × W ∗ )Γ → W × W ∗ is injective, see [19, page 100].
Specifically, because Khx = hKx h−1 for x ∈ W × W ∗ and h ∈ K, η is obviously
an injective regular map on the open dense subset (W × W ∗ )Γ /(NK (Γ)) of (W ×
W ∗ )Γ /(NK (Γ)) and hence birational. Then the normality of (W × W ∗ )Γ /(NK (Γ))
implies that η is an isomorphism of algebraic varieties; see [1, II. Section 2.7].
Choosing x, y ∈ (W × W ∗ )Γ with distinct orbits NK (Γ)x 6= NK (Γ)y, it follows that
Kx 6= Ky in W × W ∗ . Then as C[W × W ∗ ]K separates K-orbits in W × W ∗ (again
by [24]), there is an F ∈ C[W × W ∗ ]K such that F (x) 6= F (y).
Again by [26, Proposition 5.8(1)], the isomorphism λ : R[V ]G /IZ → R[W ]Γ given
by the arrow λ induces an isomorphism λC : C[V × V ∗ ]GC /IZ C → C[W × W ∗ ]Γ . It
follows that there is a g ∈ C[V × V ∗ ]GC such that λ(gIZ C ) = F . Let gH denote
the restriction of g to (V × V ∗ )H , and then κC (gH IZLCC ) is equal to the restriction
H

f := F|(W ×W ∗ )Γ of F to (W × W ∗ )Γ . Then f (x) = F (x) 6= F (y) = f (y) so that
AC is separating.
By [7, Theorem 2.3.12], C[(W × W ∗ )Γ ]NK (Γ) is equal to the normalization of
AC . As AC is normal, we obtain C[(W × W ∗ )Γ ]NK (Γ) = AC . This clearly implies
R[W Γ ]NK (Γ)/Γ = A so that ψS cl is surjective, completing the proof.

4. Reduction to the case n = 3

In this section, we will use the results of Section 3 to demonstrate that any
reduced space M0 satisfying the hypotheses of Theorem 1.1 and Z-graded regularly
symplectomorphic to a linear symplectic orbifold Cn−1 /Γ for a finite subgroup
Γ < Un−1 contains as a subset the reduced space associated to an S1 -action on
C3 , which is then Z-graded regularly symplectomorphic to C2 /Γ′ for some finite
Γ′ < U2 . In Section 5, we will show that no such Γ′ can exist.
Let A = (a1 , . . . , an ) be a weight vector for a unitary action of S1 on Cn . We
make the following assumptions.

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

13

(i) There is a Z-graded regular symplectomorphism χ : M0 → Cn−1 /Γ from
the reduced space M0 associated to A and a linear symplectic orbifold
Cn−1 /Γ for a finite subgroup Γ < Un−1 .
1
(ii) Each weight ai 6= 0, i.e. (Cn )S = {0}.
(iii) The weight a1 is the only negative weight.
Remark 4.1. Recall that permuting the weights of the weight vector A does not
change the Z-graded regular symplectomorphism class of the associated reduced
space M0 , and suppose A = (a1 , . . . , ak , 0, . . . , 0) with ai 6= 0 for i ≤ k. It is easy
to see that M0 is Z-graded regularly symplectomorphic to N0 × Cn−k where N0 is
1
the reduced space associated to the weight vector (a1 , . . . , ak ). As R[Cn ]S contains
2(n − k) linear invariants and the moment map J is homogeneous quadratic, R[M0 ]
must also contain 2(n−k) linear invariants. Then it must be that R[Cn−1 ]Γ contains
2(n − k) linear invariants as well, implying that (Cn−1 )Γ is of complex dimension
n − k. Decomposing Cn−1 into a product Ck−1 × (Cn−1 )Γ ∼
= Ck−1 × Cn−k , it is
easy to see that N0 is Z-graded regularly symplectomorphic to Ck−1 /Γ′′ × Cn−k
for some Γ′′ ∈ Uk−1 . It follows that N0 is Z-graded regularly symplectomorphic to
Ck−1 /Γ′′ . Hence assumption (ii) introduces no loss of generality.
Remark 4.2. By [10, Theorems 3 and 4] (see also [14, Proposition 3.1]), we have
that M0 is a rational homology manifold if and only if A does not contain two or
more positive and two or more negative weights. Note that as each element g ∈ Γ
preserves the complex structure of Cn−1 and hence the induced orientation of the
underlying real vector space R2(n−1) , the complex orbifold Cn−1 /Γ is necessarily a
rational homology manifold by [13, 4.2.4]. If all weights have the same sign, then
M0 is a point, and multiplying A by −1 or permuting the weights does not change
the reduced space M0 . Hence we may assume (iii) with no loss of generality as well.
Let t ∈ S1 , and then it is easy to see that t fixes a nonzero point z = (z1 , . . . , zn ) ∈
C if and only if t is a kth root of unity for some integer k, and k divides ai for
each i such that zi 6= 0. With this in mind, for a subset I ⊆ {1, 2, . . . , n}, let
VI = {(z1 , . . . , zn ) ∈ Cn : zi 6= 0 ⇔ i ∈ I}, and let VIcl = {(z1 , . . . , zn ) ∈ Cn : zi 6=
0 ⇒ i ∈ I} denote the closure of VI in Cn . We let V∅ = V∅cl = {0}. Then, given a
t ∈ S1 of finite order k, letting Ik = {i : k|ai }, we have that (Cn )t = VIclk . Moreover,
for the cyclic subgroup Zk of S1 , it is easy to see that (Cn )Zk , the set of points with
isotropy group equal to Zk , is given by {z : gcd{ai : zi 6= 0} = k}, and the closure
cl
(Cn )cl
Zk of this orbit type is VIk .
By Equation (2.1) and assumption (iii), it is clear that VI ∩ Z 6= ∅ if and only if
I = ∅ or {1} ( I. Hence, an orbit type (Cn )Zk intersects Z if and only if there is
an I ⊆ {1, 2, . . . , n} such that {1} ( I and gcd{ai : i ∈ I} = k.
As a consequence of the assumption (i), we have that the Hilbert series Hilbon
A (x)
and HilbR[Cn−1 ]Γ |R (x) coincide. Then by Corollary 2.3, Γ must contain at least
one pseudoreflection. It follows that Cn−1 /Γ contains a (complex) codimension1 orbit type stratum, and that a corresponding isotropy group is generated by a
pseudoreflection g ∈ Γ. Choosing a basis for Cn−1 such that g = diag(1, . . . , 1, λ)
for a root of unity λ, and identifying Cn−2 with the span of the first n − 2 elements
of this basis, this orbit type stratum is given by Cn−2 /(NΓ (hgi)/hgi). Note that
the elements of NΓ (hgi) clearly fix the Hermitian product on Cn−2 (restricted from
Cn−1 ) so that (NΓ (hgi)/hgi) < Un−2 .
n

14

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

By Theorem 3.2, M0 must also contain a (complex) codimension-1 orbit type
stratum. Considering the orbit types of the S1 -action on Cn , the closure of this
cl
c
stratum must be given by V{i}
denotes the complement
c for some i 6= 1, where
∞
(or simply the origin {0} if n = 2). If ϕ : R[x] → C (M0 ) is a global chart for
1
M0 associated to a Hilbert basis for R[Cn ]S , then by Lemma 3.3, ϕ restricts to a
cl
1
global chart for (V{1}
equivalent to a global chart associated to a Hilbert
c ∩ Z)/S
1

cl
S
basis for R[V{1}
with the restricted action. Note that in this case, it is easy to
c]
cl
1
see directly that (V{1}
is the reduced space associated to the S1 -action
c ∩ Z)/S
on Cn−1 whose weight vector is formed by removing ai from A. Finally, Theorem
cl
1
3.10 yields a Z-graded regular symplectomorphism between (V{1}
and
c ∩ Z)/S
n−2
C
/(NΓ (hgi)/hgi) where the global charts are associated to Hilbert bases for the
respective actions. With this, we have established the following.

Proposition 4.3. Let n ≥ 2, let A be a weight vector satisfying (i), (ii), and
(iii), and let M0 denote the associated reduced space. Then M0 has a complex
codimension-1 orbit type S. Moreover, the closure S cl is itself the reduced space
associated to a linear representation of S1 on Cn−1 satisfying (ii) and (iii), and
χ restricts to a Z-graded regular symplectomorphism to the quotient of Cn−2 by a
finite subgroup of Un−2 .
By repeated application of Proposition 4.3, the following is immediate.
Corollary 4.4. Let n ≥ 3, let A be a weight vector satisfying (i), (ii), and (iii),
and let M0 denote the associated reduced space. Then M0 contains as the closure of
an orbit type a linear symplectic quotient of C3 by S1 satisfying (ii) and (iii) that
is Z-graded regularly symplectomorphic to a linear symplectic orbifold C2 /Γ′ where
Γ′ < U2 is finite and C2 /Γ′ is equipped with a global chart associated to a Hilbert
′
basis for R[C2 ]Γ .
Of course, Proposition 4.3 also guarantees an orbifold stratum of complex dimension 1 given by the reduced space of an S1 -action on C2 . Such a reduced space
is always an orbifold by [10, Theorem 7], explaining why we stop at n = 3. Note,
however, that many examples of linear S1 reduced spaces are already excluded as
non-orbifolds by Proposition 4.3. In particular, for a weight vector A satisfying (i),
(ii), and (iii), if M0 has a complex codimension-1 orbit type, it must be that there
is an i1 6= 1 such that gcd{aj : j 6= i1 } > gcd(a1 , . . . , an ). For the closure of this
orbit type in turn to contain a complex codimension 1-orbit type, it must be that
there is an i2 6= 1, i1 such that gcd{aj : j 6= i1 , i2 } > gcd{aj : j 6= i1 }. Then by
induction, we obtain the following.
Corollary 4.5. Let n ≥ 3 and let A be a weight vector satisfying (i), (ii), and (iii).
Then for some ordering of the weights a2 , . . . , an , we have that for 2 ≤ i ≤ n − 1,
gcd(a1 , a2 , . . . , ai ) does not divide aℓ for any ℓ > i.
Example 4.6. Consider the weight vector A = (−3, 6, 12, 4). Using the Diophantine condition in Corollary 2.2 and the formula for γ0 (A) in [16, Section 7], we have
that γ0 (A) = 1/21 is the reciprocal of an integer, so that the associated reduced
space M0 may be Z-graded regularly symplectomorphic to an orbifold. However, by
inspection, the only complex codimension-1 orbit type stratum in M0 corresponds
to z4 = 0 with isotropy group Z3 . The closure of this orbit type is the reduced

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

15

space associated to the weight vector (−3, 6, 12). This representation is not effective, and the corresponding effective representation has weight vector (−1, 2, 4).
However, as gcd(1, 2) = gcd(1, 4) = gcd(1, 2, 4) = 1, the corresponding reduced
space does not have a complex codimension-1 orbit type stratum. It follows that
1
M0 (equipped with a global chart associated to a Hilbert basis for R[C4 ]S ) is not
Z-graded regularly symplectomorphic to an orbifold.
5. The case n = 3
Let V = C3 be equipped with the S1 -action with weight vector A = (a1 , a2 , a3 )
such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Assume further that the
symplectic reduced space M0 = J −1 (0)/S1 with global chart associated to a Hilbert
1
basis for R[C3 ]S is Z-graded regularly symplectomorphic to a linear symplectic
orbifold C2 /Γ for Γ < U2 finite. In this section, we will show that no such A and Γ
exist, which along with Corollary 4.4 derives the contradiction that completes the
proof of Theorem 1.1.
In Subsection 5.1, we collect some restrictions on the Hilbert series of the algebra of regular functions R[M0 ]. In Subsection 5.2, we make similar observations
about the Hilbert series of R[C2 ]Γ . In Subsection 5.3, we use these results and the
classification of finite subgroups of U2 in [8, 5] to exclude each possible Γ.
Remark 5.1. Recall that in this paper, the Poisson structures on the algebras of
regular functions are only used to establish a bijection between orbit type strata
of Z-graded regular symplectomorphic reduced spaces; see Section 3. We point out
that in this section, this bijection is used again in Lemmas 5.9 an 5.10 and hence
is required to rule out groups of Type I.
5.1. The Hilbert series of M0 . Let A = (a1 , a2 , a3 ) with each ai 6= 0 as above
and recall that αj = |aj | and α = (α1 , α2 , α3 ). The weight vector A is generic if
αi 6= αj for i 6= j and degenerate otherwise, see [16, Definition 2.2]. Our first task
is to exclude degenerate weight vectors, which is a consequence of the Diophantine
condition of Corollary 2.2 on γ0 (α) as defined by Equation (2.2).
Lemma 5.2. Let A = (a1 , a2 , a3 ) be the weight vector associated to a linear S1 action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. If A is degenerate,
then the associated reduced space M0 is not Z-graded regularly symplectomorphic to
a linear symplectic orbifold C2 /Γ for finite Γ < U2 .
Proof. Suppose A is degenerate. Then either α1 = α2 = α3 , in which case α =
(1, 1, 1), or up to permuting weights, α = (α, α, β) for positive coprime integers α
and β.
The case α = (1, 1, 1) is referred to as completely degenerate in [16, Section 5.3],
where the corresponding γ0 is computed to be 3/8. As this is not the reciprocal
of an integer, we have by Corollary 2.2 that the corresponding M0 is not Z-graded
regularly symplectomorphic to a linear symplectic orbifold.
So assume now that α = (α, α, β) for positive coprime integers α and β, and
then by Equation (2.3), we have
2α(α + β)2
2(α + β)2
1
= 2
=
.
γ0 (α)
α + 2αβ
α + 2β
Assume for contradiction that 1/γ0 (α) ∈ Z, and suppose p is an odd prime that
divides α + 2β. Then p divides α + β, implying that p divides β and hence α,

16

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

contradicting the fact that α and β are coprime. Therefore, it must be that α+2β =
2k for some k > 0. Note that α must be even and hence β is odd.
If α/2 is even, then (α + 2β)/2 = α/2 + β is odd, implying k = 1 and α + 2β = 2.
This is not possible for positive integers α and β. So suppose α/2 is odd, and then
α/2 + β is even and divides (α + β)2 . Then 2 divides α + β, contradicting the
parities of α and β. Hence there are no such α and β, completing the proof.

It follows that we may restrict our attention to generic weight vectors. We now
observe the following immediate consequence of Corollary 4.5.
Corollary 5.3. Let A = (a1 , a2 , a3 ) be a generic weight vector associated to a linear
S1 -action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Assume
a1 < 0 and a2 , a3 > 0. If the associated reduced space M0 is Z-graded regularly
symplectomorphic to a linear symplectic orbifold C2 /Γ for finite Γ < U2 then either
gcd(a1 , a2 ) > 1 or gcd(a1 , a3 ) > 1.
Note that if a1 , a2 , and a3 are pairwise coprime, then the Laurent coefficient
γ0 (α) is not the reciprocal of an integer and hence fails the Diophantine condition
(2.7). To see this, recall from Equation (2.3) that
e3
e1 e2 − e3
1
= e1 −
=
γ0 (A)
e2
e2
where we recall that ei denotes the elementary symmetric polynomial in the αj of
degree i. Note that the ei are obviously integer valued when the αj ∈ Z. Hence
1/γ0 (A) is an integer if and only if e2 divides e3 , i.e.
a1 a2 + a1 a3 + a2 a3
∈ Z.
a1 a2 a3
As a consequence, considering prime divisors of the aj , it is immediate that any
prime divisor of a weight aj must divide one of the other two weights.
We now establish the following, which will allow us in Subsection 5.3 to exclude
any finite subgroup of U2 that does have exactly two quadratic invariants.
Lemma 5.4. Let A = (a1 , a2 , a3 ) be a generic weight vector associated to a linear
S1 -action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Then the
Taylor expansion of Hilbon
A (x) at x = 0 begins
2
Hilbon
A (x) = 1 + 2x + · · · .

Proof. Let (z1 , z2 , z3 ) denote the coordinates for C3 as above. A polynomial in the
zi , zi is invariant if and only if each monomial term is invariant, so that the elements
1
of R[V ]S of degree k are spanned by the invariant monomials of degree k. Let
2
Hilboff
A (x) = b0 + b1 x + b2 x + · · ·

1

denote the off-shell Hilbert series, i.e. the Hilbert series of R[C3 ]S , and then bk is
the number of invariant monomials in zi , zi of degree k. Then b0 = 1 counts the
constant functions. As each ai 6= 0, there are clearly no invariant linear monomials
and hence b1 = 0. Finally, from the generic condition αi 6= αj for i 6= j, it is easy
to see that the only invariant quadratic monomials are zi zi for i = 1, 2, 3 so that
b2 = 3. Then a simple computation using the fact that
on
(1 − x2 ) Hilboff
A (x) = HilbA (x)

(see [16, Proposition 2.1]) completes the proof.



AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

17

We note that using similar observations, it is easy to see that in fact,
2
3
4
Hilbon
A (x) = 1 + 2x + c3 x + c4 x · · ·

where c3 is even and c4 ≥ 3 is odd, though we will only need Lemma 5.4 above.
Finally, we establish a restriction on the ratio of the first two nonzero Laurent
series coefficients of a reduced space that is Z-graded regularly symplectomorphic to
a linear orbifold. For many finite subgroups of U2 that we will meet in Subsection
5.3, the ratio of the first two nonzero Laurent coefficients is 1, 2, or ≥ 3, and hence
they will be excluded using the following.
Lemma 5.5. Let A = (a1 , a2 , a3 ) be a generic weight vector associated to a linear
S1 -action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Assume that
the associated reduced space M0 is Z-graded regularly symplectomorphic to a linear
symplectic orbifold C2 /Γ for finite Γ < U2 . Then the ratio γ0 (A)/γ2 (A) < 3 and is
not equal to 1 or 2.
Proof. Recall the notation gcdij = gcd(αi , αj ) from Subsection 2.2. Note that if
gcdij = gcdjk for i, j, and k distinct, then this common divisor of all three weights
must be 1. Let r = γ0 (A)/γ2 (A).
r < 3. Applying Equations (2.3) and (2.4) and solving for e2 , one obtains
gcd212 α23 + gcd213 α22 + gcd223 α21
.
12/r + 2 − gcd212 − gcd213 − gcd223
As e2 and the numerator of the right side are clearly positive, the denominator
of the right side must be positive as well. If r ≥ 3, then this is only the case if
gcd12 = gcd13 = gcd23 = 1. However, this implies that the weights are pairwise
relatively prime, which cannot be the case by Corollary 5.3. Hence r < 3.
r 6= 1. Suppose for contradiction that r = 1, and as γ0 (A) does not depend on
the order of the weights, assume without loss of generality that gcd12 ≥ gcd13 ≥
gcd23 . Then for the denominator of the right side of Equation (5.1) to be positive,
it must be that gcd13 = gcd23 = 1 and gcd12 ∈ {1, 2, 3}. As above, we can exclude
the case gcd12 = 1 by Corollary 5.3.
Suppose gcd12 = 2, and set α′1 = α1 /2, α′2 = α2 /2, and α′3 = α3 so that the α′j
are pairwise coprime. Note that α′3 is odd, and at least one of α′1 and α′2 is odd as
well. Assume without loss of generality that α′2 is odd. Then Equation (5.1) can
be rewritten as

(5.1)

e2 =

4(2α′1 α′2 + α′1 α′3 + α′2 α′3 ) = (α′1 )2 + (α′2 )2 + (α′3 )2 .
If α′1 is odd, then the right side is odd while the left side is divisible by 4, a
contradiction. If α′1 is even, then reducing mod 4 yields
0 ≡ (α′2 )2 + (α′3 )2

mod 4.

By inspection, there are no odd integers that satisfy this congruence, allowing us
to conclude that gcd12 6= 2.
So suppose gcd12 = 3, and then Equation (5.1) becomes
3(α1 α2 + α1 α3 + α2 α3 ) = 9α21 + α22 + α23 .
Considering the corresponding congruence mod 4 and checking each of the 64 possible values of the αj , each of the 8 solutions has α1 , α2 , and α3 even. Hence there
are no solutions with gcd(α1 , α2 , α3 ) = 1, and we conclude by contradiction that
r 6= 1.

18

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

r 6= 2. Now suppose for contradiction that r = 2. Assuming again with no loss
of generality that gcd12 ≥ gcd13 ≥ gcd23 , the denominator of the right side of
Equation (5.1) is positive only when gcd13 = gcd23 = 1 and gcd12 ∈ {1, 2}. We
again exclude gcd12 = 1 by Corollary 5.3, so that gcd12 = 2.
As above, set α′1 = α1 /2, α′2 = α2 /2, and α′3 = α3 . Then the α′j are pairwise
coprime, α′3 is odd, and we may assume without loss of generality that α′2 is odd
as well. Rewrite Equation (5.1) as
2α′1 α′2 + α′1 α′3 + α′2 α′3 = (α′1 )2 + (α′2 )2 + (α′3 )2 ,
and then for either possible parity of α′1 , the parities of the left and right sides of
this equation do not match. Hence r 6= 2, completing the proof.


5.2. The Hilbert series of C2 /Γ. Let Γ < U2 be finite, and let (w1 , w2 ) denote
the coordinates for C2 . We let ωm denote a choice of primitive mth root of unity.
In addition, we let ΩSm denote the cyclic subgroup of SU2 of order m generated
−1
by the element diag(ωm , ωm
) and Ωm denote the cyclic subgroup of U1 < U2 of
order m generated by the scalar ωm . Abusing notation in this manner, it will be
convenient for us to identify a scalar λ with the element diag(λ, λ) ∈ U2 that acts
on C2 by scalar multiplication.
By the ADE-classification of finite subgroups of SU2 , every cyclic subgroup of
−1
) of ΩSm acts on C2 ×
SU2 of order m is conjugate to ΩSm . The generator diag(ωm , ωm
−1
−1
2
C in coordinates (w1 , w2 , w1 , w2 ) as diag(ωm , ωm , ωm , ωm ). By an application of
Molien’s formula [23, 30], one has that all ten quadratic monomials are ΩS2 -invariant,
while if m ≥ 3, then the space of quadratic polynomials has dimension 4; see [10,
Section 5.2.1] for details. By inspection, the quadratic monomials
(5.2)
are

w1 w1 ,

ΩSm -invariant

w2 w2 ,

w1 w2 ,

and w1 w2

and hence span the quadratic invariants when m ≥ 3.

Lemma 5.6. Let Γ < U2 be generated by ΩSm and Ωr for m, r ≥ 3. Then the
quadratic invariants of Γ are spanned by w1 w1 and w2 w2 .
Proof. With respect to the basis in Equation (5.2) for the quadratic ΩSm -invariants,
2
−2
the action of ωm is given by diag(1, 1, ωm
, ωm
). Applying the trace formula [30,
Lemma 2.2.2], the dimension of the ωm -invariant subspace is given by
m−1
m−1
1 X
1 X 2k
2
−2
−2k
Trace diag(1, 1, ωm
, ωm
)=2+
ωm + ωm
,
m
m
k=0

k=0

where we note that if m is even, then each term appears twice, but this is corrected
for by the 1/m prefactor. The remaining sum is over the mth (if m is odd) or m/2nd
(if m is even) roots of unity so that as m ≥ 3, the sum vanishes. It follows that the
Γ-invariant quadratic polynomials have dimension 2, and hence by inspection are

spanned by w1 w1 and w2 w2 .
Let Dm denote the binary dihedral group, the subgroup of SU2 of order 4m
−1
generated by diag(ω2m , ω2m
) and


0 1
(5.3)
b=
.
−1 0
Note that b acts on C2 × C2 as diag(b, b) (in 2 × 2 blocks). Again by the ADEclassification, any subgroup of SU2 isomorphic to a dihedral group is conjugate to

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

19

some Dm . As above, by Molien’s formula and computed in [10, Section 5.2.2], the
quadratic invariants of D1 = hbi are of dimension 4, and the quadratic invariants
of Dm for m > 1 are of dimension 1. One checks that
w1 w1 + w2 w2 ,

w1 w2 − w2 w1 ,

w12 + w22 ,

and w1 2 + w2 2

are b-invariant and hence span the quadratic D1 -invariants, while w1 w1 + w2 w2
spans the Dm invariants for m > 1.
Note that if Dm < Γ, then any Γ-invariant polynomial is obviously Dm -invariant.
Combining these observations yields the following, which along with Lemma 5.4 will
allow us to exclude any finite subgroup of U2 containing Dm for m ≥ 2.
Lemma 5.7. Suppose the finite group Γ < U2 contains the binary dihedral group
Dm for m > 1. Then the dimension of the quadratic elements of R[C2 ]Γ is at most
1.
It will also be helpful for us to note the following computation, which will be
used extensively.
k
Lemma
√ 5.8. For any λ ∈ C, λb is a pseudoreflection if and only if k is odd and
λ = ± −1, in which case it is a pseudoreflection of order 2.

Proof. First note that λb2 = −λ and λb4 = λ each have two eigenvalues of multiplicity 2 and hence are never pseudoreflections. A√simple computation
demonstrates
√
that the eigenvalues of λb and λb3 = −λb are −1λ and − −1λ from which the
result follows.

5.3. Elimination of each Γ < U2 . First, let us briefly recall the classification of
finite subgroups of U2 of [8, 5]. Using the surjective 2-to-1 group homomorphism
U1 × SU2 → U2 given by multiplication (l, r) 7→ lr with kernel ±(1, id), every
element of U2 can be expressed as the image of (l, r) ∈ U1 × SU2 , and this expression
is unique up to (−l, −r) = (l, r). Hence, any finite subgroup of U2 is of the form
(L/LK ; R/RK )φ = {(l, r) ∈ L × R : φ(lLK ) = rRK }

where LK ✂L are finite subgroups of U1 and RK ✂R are finite subgroups of SU2 such
that L/LK is isomorphic to R/RK , and φ : L/LK → R/RK is a choice of isomorphism. If φ is unique, we write simply (L/LK ; R/RK ). The group (L/LK ; R/RK )φ
has order |R||LK |/2. Note that (L/LK ; R/RK )φ contains LK and RK as subgroups.
Let T24 , O48 , and I120 denote the binary tetrahedral, octahedral, and icosahedral groups, respectively. As above, we let Ωm < U1 and ΩSm < SU2 denote the
cyclic subgroups of order m and let Dm < SU2 denote the binary dihedral group
of order 4m. Below, we recall each of the nine types of finite subgroups of U2
and demonstrate that the associated linear symplectic orbifolds are not Z-graded
regularly symplectomorphic to an S1 -reduced space corresponding to weight vector
A = (−α1 , α2 , α3 ) with each αi > 0.
Type I. A Type I group Γ is of the form (Ω2m /Ωf ; ΩS2n /ΩSg )d where f ≡ g mod 2,
and d is relatively prime to 2m/f = 2n/g and indicates the isomorphism Ω2m /Ωf →
ΩS2n /ΩSg sending the class of 1 to the class of d. Every element of Γ is of the form
j
−k
k
ω2m
diag(ω2n
, ω2n
) for some j and k so that Γ is abelian and consists of diagonal
elements. Clearly, the only pseudoreflections Γ can contain are of the form diag(1, λ)
or diag(λ, 1) for a scalar ω so that the number of primitive pseudoreflections in Γ
is either 0, 1, or 2 (see Subsection 2.2). By Corollary 2.3, Γ must contain at least

20

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

one pseudoreflection. We can exclude the other Type I groups with the following
two results.
Lemma 5.9. Let A = (a1 , a2 , a3 ) be a generic weight vector associated to a linear
S1 -action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Then the
associated reduced space M0 cannot be Z-graded regularly symplectomorphic to C2 /Γ
where Γ < U2 is abelian and contains two primitive pseudoreflections.
Proof. Assume such a Z-graded regular symplectomorphism does exist for weight
vector A = (−α1 , α2 , α3 ) and Γ < U2 , and fix a set of two primitive pseudoreflections of Γ. Then C2 has two complex codimension-1 orbit type strata implying that
M0 does as well. It follows from the descriptions of the orbit type strata of M0 in
Section 4 that gcd12 > 1 and gcd13 > 1, and the closures of the corresponding orbit
type strata are given by the reduced spaces associated to (−α1 , α2 ) and (−α1 , α3 ),
respectively. By [10, Theorem 7], these two orbit type strata are Z-graded regularly
symplectomorphic to C/ZN1 and C/ZN2 , respectively, where N1 = (α1 + α2 )/ gcd12
and N2 = (α1 + α3 )/ gcd13 . By Proposition 4.3, the Z-graded regular symplectomorphism from M0 to C2 /Γ restricts to a Z-graded regular symplectomorphism
on each of the closures of the orbit type strata. It follows that the closures of
the 2-dimensional orbit type strata of C2 /Γ are isomorphic to C/ZN1 and C/ZN2 ,
respectively.
Note that if h ∈ Γ is a primitive pseudoreflection, then the closure of the orbit
type hhi is given by (C2 )h = C equipped with the restricted action of Γ. As Γ
is abelian, the effectivized action is that of Γ/hhi, which acts on C as an element
of U1 and hence is cyclic. The Z-graded invariants of a cyclic group acting on
C determine the order of the group (see [10, page 21]), so we have that Γ/hhi is
isomorphic to either C/ZN1 or C/ZN2 . If r and s denote the orders of the two
primitive pseudoreflections in Γ, it then follows that up to relabeling, |Γ|/r = N1
and |Γ|/s = N2 .
Using Equations (2.3) and (2.6) and the fact that γ0 (A) = γ0 (Γ), we have
|Γ| =

(α1 + α2 )(α1 + α3 )(α2 + α3 )
1
,
=
γ0 (A)
α1 α2 + α1 α3 + α2 α3

and the equation N1 = |Γ|/r = (α1 + α2 )/ gcd12 becomes
α1 + α2
(α1 + α2 )(α1 + α3 )(α2 + α3 )
=
.
gcd12
r(α1 α2 + α1 α3 + α2 α3 )
Solving for r yields
(5.4)

r=

α23 gcd12
(α1 + α3 )(α2 + α3 ) gcd12
= gcd12 +
.
α1 α2 + α1 α3 + α2 α3
α1 α2 + α1 α3 + α2 α3

Similarly from N2 = |Γ|/s = (α1 + α3 )/ gcd13 , we have
(5.5)

s=

(α1 + α2 )(α2 + α3 ) gcd13
α22 gcd13
= gcd13 +
.
α1 α2 + α1 α3 + α2 α3
α1 α2 + α1 α3 + α2 α3

To derive the contradiction, we will show that it is not possible for the expressions
in Equations (5.4) and (5.5) to both be integers when gcd(α1 , α2 , α3 ) = 1.
Define
α2
α3
α1
, α′2 =
, and α′3 =
.
α′1 =
gcd12 gcd13
gcd12 gcd23
gcd13 gcd23

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

21

As gcd(α1 , α2 , α3 ) = 1, it follows that gcd12 and gcd13 are coprime so that α′1 is
an integer (and similarly for α′2 and α′3 ). Moreover, it is clear that α′1 , α′2 , and α′3
are pairwise coprime. Rewriting the last term in Equation (5.4) in terms of these
values yields
(5.6)

(α′3 )2 gcd13 gcd23
α23 gcd12
= ′ ′
,
α1 α2 + α1 α3 + α2 α3
α1 α2 gcd12 +α′1 α′3 gcd13 +α′2 α′3 gcd13

and the last term in Equation (5.5) becomes
(5.7)

α22 gcd13
(α′2 )2 gcd12 gcd23
= ′ ′
.
α1 α2 + α1 α3 + α2 α3
α1 α2 gcd12 +α′1 α′3 gcd13 +α′2 α′3 gcd23

Define κ = α′1 α′2 gcd12 +α′1 α′3 gcd13 +α′2 α′3 gcd23 , let p be a prime that divides κ,
and refer first to Equation (5.6). Then p divides (α′3 )2 gcd13 gcd23 . If p divides α′3 ,
then p must divide α′1 α′2 gcd12 . However, as α′1 , α′2 , and α′3 are pairwise coprime,
it must be that p divides gcd12 . But then p divides α1 , α2 , and α3 , a contradiction,
so it must be the case that κ and α′3 are coprime. Therefore, κ divides gcd13 gcd23 .
Applying an identical argument with Equation (5.7) demonstrates that κ and α′2
are coprime so that κ divides gcd12 gcd23 . However, if q is any prime that divides
κ, then q cannot divide both gcd12 and gcd13 , for then it would divide all three
weights, so it must divide gcd23 . Therefore, κ must in fact be coprime to both gcd12
and gcd13 , and hence κ divides gcd23 . However, κ > gcd23 , yielding a contradiction
and completing the proof.

Similarly, we have the following.
Lemma 5.10. Let A = (a1 , a2 , a3 ) be a generic weight vector associated to a linear
S1 -action on C3 such that each ai is nonzero and gcd(a1 , a2 , a3 ) = 1. Then the
associated reduced space M0 cannot be Z-graded regularly symplectomorphic to C2 /Γ
where Γ is abelian and contains one primitive pseudoreflection.
Proof. Assume such a Z-graded regular symplectomorphism does exist for weight
vector A = (−α1 , α2 , α3 ) and Γ < U2 with one fixed primitive pseudoreflection of
order r. Following the proof of Lemma 5.9, we conclude that M0 and C2 /Γ each
have one complex codimension-1 orbit type stratum. We may assume without loss
of generality that gcd12 = 1 and gcd13 > 1, and then the closure of the complex
codimension-1 orbit type stratum of M0 is Z-graded regularly symplectomorphic
to C/ZN with N = (α1 + α3 )/ gcd13 . Then |Γ|/r = N , implying that

α22 gcd13
(α1 + α2 )(α2 + α3 ) gcd13
= gcd13 +
∈ Z.
α1 α2 + α1 α3 + α2 α3
α1 α2 + α1 α3 + α2 α3
Expressing this in terms of
α1
α2
α3
α′1 =
, α′2 =
and α′3 =
,
gcd13
gcd23
gcd13 gcd23
we have
(α′2 )2 gcd23
α22 gcd13
= ′ ′
.
α1 α2 + α1 α3 + α2 α3
α1 α2 + α′1 α′3 gcd13 +α′2 α′3 gcd23
Let κ = α′1 α′2 + α′1 α′3 gcd13 +α′2 α′3 gcd23 , and let p be a prime that divides κ. If
p divides α′2 , then it divides α′1 α′3 gcd13 . However, as α′1 , α′2 , and α′3 are pairwise
coprime, p must divide gcd13 . But then p divides α1 , α2 , and α3 , a contradiction.
Therefore, it must be that κ is coprime to α′2 , and hence κ must divide gcd23 . But
κ > gcd23 , a contradiction.

r=

22

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

As a consequence of Lemmas 5.9 and 5.10, Γ cannot be a Type I group.
Type II. Suppose Γ is a Type II group, a group of the form (Ω2m /Ω2m ; Dℓ /Dℓ ).
By Lemma 5.4, the degree 2 coefficient of the Taylor expansion of Hilbon
A (x) at
x = 0 is equal to 2. Then by Lemma 5.7, it must be that ℓ = 1 so that Γ =
(Ω2m /Ω2m ; D1 /D1 ) for some m.
j
bk where b is as in Equation (5.3); note
The 4m elements of Γ are of the form ω2m
j
j+m
that ω2m bk = ω2m bk+2 . By Lemma 5.8, Γ contains pseudoreflections
if and
√ only3
√
if m is√even, in√which case it contains the two pseudoreflections −1b = − −1b
of order √
2. By Corollary 2.3, it must be that m is even,
and − −1b = −1b3 , each√
and it is easy to see that { −1b, − −1b} is a set of primitive pseudoreflections.
Applying Equation (2.6), the first two Laurent coefficients of HilbR[C2 ]Γ |R (x) are
γ0 (Γ) =

1
4m

and γ2 (Γ) =

1
.
8m

But then γ0 (Γ)/γ2 (Γ) = 2, and by Lemma 5.5, HilbR[C2 ]Γ |R (x) cannot coincide with
Hilbon
A (x). Hence Γ cannot be of Type II.
Type III. A Type III group is of the form (Ω4m /Ω2m ; Dℓ /ΩS2ℓ ). Suppose Γ is such
a group, and first assume m > 1 and ℓ > 1. Then Γ contains the subgroups Ω2m
as well as ΩS2ℓ , and the common quadratic invariants of these groups are w1 w1 and
w2 w2 by Lemma 5.6. However, Γ also contains the element ω4m b, which acts on
−1
C2 × C2 in coordinates (w1 , w2 , w1 , w2 ) as diag(ω4m b, ω4m
b) (in 2 × 2 blocks). A
simple computation demonstrates that the action of this element permutes w1 w1
and w2 w2 so that the quadratic invariants of Γ are of dimension at most 1. By
Lemma 5.4, HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x).
Now suppose ℓ = 1 so that Γ = (Ω4m /Ω2m ; D1 /ΩS2 ) consists of the 4m elements
j
k
ω2m for 0 ≤ j ≤ 2m − 1 and ω4m
b for k odd, 1 ≤ k ≤ 4m − 1. The elements
j
k
ω2m are clearly
not
pseudoreflections,
and ω4m
b is a pseudoreflection if and only if
√
k
ω4m = ± −1 by Lemma 5.8. If m is even, then as k must be odd, Γ contains no
pseudoreflections and can be ruled out by Corollary 2.3. If m is odd, then Γ contains
two pseudoreflections of order 2 which form a set of primitive pseudoreflections.
Again by Equation (2.6),
γ0 (Γ) =

1
4m

and γ2 (Γ) =

1
8m

so that γ0 (Γ)/γ2 (Γ) = 2. By Lemma 5.5, HilbR[C2 ]Γ |R (x) cannot coincide with
Hilbon
A (x).
Finally, suppose ℓ > 1 and √
m = 1. Then Γ = (Ω4 /Ω2 ; Dℓ /ΩS2ℓ ) contains the 4ℓ
−1 j
−1 j
elements diag(ω2ℓ , ω2ℓ ) and −1b diag(ω2ℓ , ω2ℓ
) for 0 ≤ j ≤ 2ℓ − 1. A simple
computation using this description of the elements of Γ demonstrates that the three
polynomials w1 w2 , w1 w2 , and w1 w1 + w2 w2 are always Γ-invariant, implying that
the x2 -coefficient in the Taylor expansion of HilbR[C2 ]Γ |R (x) at x = 0 is at least 3.
As the x2 -coefficient of the Taylor expansion of Hilbon
A (x) is equal to 2 by Lemma
5.4, Γ cannot be a Type III group.
Though we will not require the following, we note that the above coefficient is in
fact equal to 3, which can be seen by computing the Hilbert series explicitly using

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

23

Molien’s formula and [11, Theorem 4.2] to yield
HilbR[C2 ]Γ |R (x) =

1 + (2ℓ − 1)x2ℓ − (2ℓ − 1)x2ℓ+2 − x4ℓ+2
.
(1 − x2 )3 (1 − x2ℓ )2

Then a simple computation demonstrates that as ℓ > 1, the x2 -coefficient of the
Taylor series of HilbR[C2 ]Γ |R (x) is equal to 3.
Type III′ . Suppose Γ is a Type III′ group of the form (Ω4m /Ωm ; Dℓ /ΩSℓ ) for m and
l odd. If m > 1 and ℓ > 1, then just as in the case of a Type III group above,
Γ contains the subgroups Ωm and ΩSℓ as well as the element ω4m b. Therefore, the
quadratic invariants of Γ are of dimension 0 or 1, and HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x).
4j
Assume ℓ = 1, and then the 2m elements of Γ = (Ω4m /Ωm ; D1 /1) are ω4m
and
4j+1
4j
4j+1
ω4m b for 0 ≤ j ≤ m−1. The scalars ω4m are never pseudoreflections, while ω4m b
√
4j+1
is a pseudoreflection if and only if ω4m
= ± −1 by Lemma 5.8. Recalling that m
is odd, this occurs exactly once; if m ≡ 1 mod 4, then it occurs when 4j + 1 = m,
and if m ≡ 3 mod 4, it occurs when 4j + 1 = 3m. In either case, Γ contains exactly
one pseudoreflection of order 2. By Equation (2.6),
γ0 (Γ) =

1
2m

and γ2 (Γ) =

1
.
8m

Then γ0 (Γ)/γ2 (Γ) = 4 so that HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x) by Lemma 5.5.
Finally, assume m = 1 and
Γ = (Ω4 /1; Dℓ /ΩSℓ ) consists of the 2ℓ
√ ℓ > 1 so that −1
−1 j
elements diag(ωℓ , ωℓ ) and −1b diag(ωℓ , ωℓ )j for 0 ≤ j ≤ ℓ − 1. Just as in the
case of Type III groups (with ℓ > 1 and m = 1), one checks that w1 w2 , w1 w2 , and
w1 w1 + w2 w2 are always Γ-invariant so that the x2 -coefficient in the Taylor series
of HilbR[C2 ]Γ |R (x) is at least 3. By Lemma 5.4, Γ cannot be a Type III′ group.
Still using the same methods as in Type III, HilbR[C2 ]Γ |R (x) can be computed
explicitly to be
HilbR[C2 ]Γ |R (x) =

1 + (ℓ − 1)xℓ − (ℓ − 1)x2ℓ+2 − x2ℓ+2
,
(1 − x2 )3 (1 − xℓ )2

and then it is easy to verify that the x2 -coefficient of the Taylor series is equal to
3 (as ℓ must be odd and so ℓ ≥ 3).
Type IV. Suppose Γ is a Type IV group of the form (Ω4m /Ω2m ; D2ℓ /Dℓ ). By
Lemmas 5.4 and 5.7, if the x2 -coefficients in the Taylor expansions of HilbR[C2 ]Γ |R (x)
and Hilbon
A (x) coincide, it must be that ℓ = 1 and then Γ = (Ω4m /Ω2m ; D2 /D1 ).
Note that Γ contains the Type II group (Ω2m /Ω2m ; D1 /D1 ) as an index 2 subgroup,
and the nontrivial
√
√ element of the quotient Γ/(Ω2m /Ω2m ; D1 /D1 ) is the coset of
ω4m diag( −1, − −1). We consider two cases.
If m is odd, then (Ω2m /Ω2m ; D1 /D1 ) contains no pseudoreflections (see Type II
above). Hence any pseudoreflection in Γ must be of the form
√
√
√
√
j
2j+1
= ω4m
diag( −1, − −1)
(5.8)
ω4m diag( −1, − −1)ω2m
√
2j+1
with eigenvalues ± −1ω4m
or


√
√
i
j
2j+1 0
,
(5.9)
ω4m diag( −1, − −1)ω2m b = ω4m
i 0

24

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

√
2j+1
. Then it is easy to see that Γ contains exactly
also with eigenvalues ± −1ω4m
four pseudoreflections,

 

√
√
0 i
0 −1
m
m
=
,
ω4m
ω4m diag( −1, − −1) = diag(−1, 1),
i 0
−1 0

 

√
√
i
0 1
3m
3m 0
ω4m
diag( −1, − −1) = diag(1, −1), and
ω4m
=
,
i 0
1 0
each of order 2. By Equation (2.6),
1
8m
so that γ0 (Γ)/γ2 (Γ) = 1, and HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x) by Lemma 5.5.
Now suppose√ m is even, and then (Ω2m /Ω2m ; D1 /D1 ) contains the two pseudoreflections ± −1b of order 2 (see Type II). As in the case of m odd, the other
elements of Γ are of the forms described in Equations (5.8) and (5.9) with eigen√
√
2j+1
2j+1
values ± −1ω4m
. As m is even, ± −1ω4m
6= 1 for each j so that there are no
additional pseudoreflections. Equation (2.6) yields
γ0 (Γ) = γ2 (Γ) =

1
1
and γ2 (Γ) =
8m
16m
so that γ0 (Γ)/γ2 (Γ) = 2, and HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x) by Lemma 5.5. Therefore,
Γ cannot be a Type IV group.
γ0 (Γ) =

Types V through IX. The remaining types of finite subgroups of U2 are Type V
of the form (Ω2m /Ω2m ; T24 /T24 ), Type VI of the form (Ω6m /Ω2m ; T24 /D2 ), Type
VII of the form (Ω2m /Ω2m ; O48 /O48 ), Type VIII of the form (Ω4m /Ω2m ; O48 /T24 ),
and Type IX of the form (Ω2m /Ω2m ; I120 /I120 ). Because D2 is a subgroup of both
T24 and O48 while I120 contains a subgroup conjugate in SU2 to D3 , if Γ is a group
of any of the above types, then Γ contains a subgroup conjugate to Dr for some
r ≥ 2. By Lemma 5.7, the Taylor expansion of HilbR[C2 ]Γ |R (x) has coefficient 0 or
1 in degree 2, so that by Lemma 5.4, HilbR[C2 ]Γ |R (x) 6= Hilbon
A (x) for any generic,
effective weight vector with nonzero weights.
It follows that Γ cannot be any of the finite subgroups of U2 , which completes
the proof of Theorem 1.1.
References
1. Algebraic geometry. I, Encyclopaedia of Mathematical Sciences, vol. 23, Springer-Verlag,
Berlin, 1994, Algebraic curves. Algebraic manifolds and schemes, A translation of ıt Current problems in mathematics. Fundamental directions, Vol. 23 (Russian), Akad. Nauk SSSR,
Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1988, Translation by D. Coray and V. N.
Shokurov, Translation edited by I. R. Shafarevich.
2. Judith M. Arms, Richard H. Cushman, and Mark J. Gotay, A universal reduction procedure
for Hamiltonian group actions, The geometry of Hamiltonian systems (Berkeley, CA, 1989),
Math. Sci. Res. Inst. Publ., vol. 22, Springer, New York, 1991, pp. 33–51.
3. J. Basto Gonçalves, Reduction of Hamiltonian systems with symmetry, J. Differential Equations 94 (1991), no. 1, 95–111.
4. Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced
Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993.
5. H. S. M. Coxeter, Regular complex polytopes, second ed., Cambridge University Press, Cambridge, 1991.
6. William Crawley-Boevey, Normality of Marsden-Weinstein reductions for representations of
quivers, Math. Ann. 325 (2003), no. 1, 55–79.

AN IMPOSSIBILITY THEOREM FOR LINEAR SYMPLECTIC CIRCLE QUOTIENTS

25

7. Harm Derksen and Gregor Kemper, Computational invariant theory, Invariant Theory and
Algebraic Transformation Groups, I, Springer-Verlag, Berlin, 2002, Encyclopaedia of Mathematical Sciences, 130.
8. Patrick Du Val, Homographies, quaternions and rotations, Oxford Mathematical Monographs,
Clarendon Press, Oxford, 1964.
9. Emilie Sonia Dufresne, Separating invariants, ProQuest LLC, Ann Arbor, MI, 2008, Thesis
(Ph.D.)–Queen’s University (Canada).
10. Carla Farsi, Hans-Christian Herbig, and Christopher Seaton, On orbifold criteria for symplectic toric quotients, SIGMA Symmetry Integrability Geom. Methods Appl. 9 (2013), Paper
032, 18.
11. Ira M. Gessel, Generating functions and generalized Dedekind sums, Electron. J. Combin. 4
(1997), no. 2, Research Paper 11, approx. 17 pp. (electronic), The Wilf Festschrift (Philadelphia, PA, 1996).
12. Victor Guillemin and Shlomo Sternberg, Symplectic techniques in physics, Cambridge University Press, Cambridge, 1984.
13. André Haefliger, Groupoı̈des d’holonomie et classifiants, Astérisque (1984), no. 116, 70–97,
Transversal structure of foliations (Toulouse, 1982).
14. Hans-Christian Herbig, Srikanth B. Iyengar, and Markus J. Pflaum, On the existence of star
products on quotient spaces of linear Hamiltonian torus actions, Lett. Math. Phys. 89 (2009),
no. 2, 101–113.
15. Hans-Christian Herbig and Gerald W. Schwarz, The Koszul complex of a moment map, J.
Symplectic Geom. 11 (2013), no. 3, 497–508.
16. Hans-Christian Herbig and Christopher Seaton, The Hilbert series of a linear symplectic circle
quotient, (2013), arXiv:1302.2662 [math.SG].
17. M. Hochster, Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and
polytopes, Ann. of Math. (2) 96 (1972), 318–337.
18. George Kempf and Linda Ness, The length of vectors in representation spaces, Algebraic
geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978), Lecture Notes in
Math., vol. 732, Springer, Berlin, 1979, pp. 233–243.
19. A. Kriegl, M. Losik, P. W. Michor, and A. Rainer, Lifting mappings over invariants of finite
groups, Acta Math. Univ. Comenian. (N.S.) 77 (2008), no. 1, 93–122.
20. Eugene Lerman, Richard Montgomery, and Reyer Sjamaar, Examples of singular reduction,
Symplectic geometry, London Math. Soc. Lecture Note Ser., vol. 192, Cambridge Univ. Press,
Cambridge, 1993, pp. 127–155.
21. John N. Mather, Differentiable invariants, Topology 16 (1977), no. 2, 145–155.
22. Hideyuki Matsumura, Commutative ring theory, second ed., Cambridge Studies in Advanced
Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989, Translated from the
Japanese by M. Reid.
23. Th. Molien, Über die Invarianten der linearen Substitutionsgruppen, Sitzungsber. der Königl.
Preuss. Akad. d. Wiss. zweiter Halbband (1897), 1152–1156.
24. David Mumford and John Fogarty, Geometric invariant theory, second ed., Ergebnisse der
Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 34,
Springer-Verlag, Berlin, 1982.
25. Gerald W. Schwarz, Smooth functions invariant under the action of a compact Lie group,
Topology 14 (1975), 63–68.
, Lifting smooth homotopies of orbit spaces, Inst. Hautes Études Sci. Publ. Math.
26.
(1980), no. 51, 37–135.
27.
, The topology of algebraic quotients, Topological methods in algebraic transformation
groups (New Brunswick, NJ, 1988), Progr. Math., vol. 80, Birkhäuser Boston, Boston, MA,
1989, pp. 135–151.
, Lifting differential operators from orbit spaces, Ann. Sci. École Norm. Sup. (4) 28
28.
(1995), no. 3, 253–305.
29. Reyer Sjamaar and Eugene Lerman, Stratified symplectic spaces and reduction, Ann. of Math.
(2) 134 (1991), no. 2, 375–422.
30. Bernd Sturmfels, Algorithms in invariant theory, Texts and Monographs in Symbolic Computation, Springer-Verlag, Vienna, 1993.
31. David L. Wehlau, A proof of the Popov conjecture for tori, Proc. Amer. Math. Soc. 114
(1992), no. 3, 839–845.

26

32.

HANS-CHRISTIAN HERBIG AND CHRISTOPHER SEATON

, When is a ring of torus invariants a polynomial ring?, Manuscripta Math. 82 (1994),
no. 2, 161–170.

Charles University in Prague, Faculty of Mathematics and Physics, Sokolovská 83,
186 75 Praha 8, Czech Republic
E-mail address: herbig@imf.au.dk
Department of Mathematics and Computer Science, Rhodes College, 2000 N. Parkway, Memphis, TN 38112
E-mail address: seatonc@rhodes.edu

