, , , 8 March 2005

This paper is an attempt to understand topological properties of Lie group actions. Its starting point was the following theorem of McDuff–Slimowitz [1] concerning circle subgroups of

S y m p (M, ω)

, the group of symplectomorphisms of a symplectic manifold

(M, ω)

. Recall that an effective circle action is semifree if the stabilizer subgroup of each point in

M

is either the circle itself or the trivial group. Also, we say that a circle subgroup

Λ

of a topological group

ℋ

is essential in

ℋ

if it represents a nonzero element in

π_{1} (ℋ)

and inessential in

ℋ

otherwise.

Theorem 1.1. Any semifree circle action on a closed symplectic manifold

(M, ω)

is essential in

S y m p (M, ω)

This is obvious if the action is not Hamiltonian since in this case the flux homomorphism

F l u x : π_{1} (S y m p (M, ω)) ⟶ H^{1} (M, R)

does not vanish on

Λ

. However, if the action is Hamiltonian with generating Hamiltonian

K : M ⟶ R

then the result is not so easy: the proof in [1] involved studying the Hofer length of the corresponding paths

φ_{t}^{K}, t \in [0, T],

H a m (M, ω)

The first result in this paper uses the theorem above to answer a question posed by Alan Weinstein in [4] . Let

G

be a semisimple Lie group with Lie algebra

g

. Let

M \subset g^{*}

be a coadjoint orbit, together with the Kostant–Kirillov symplectic form

ω

. If the coadjoint action of

G

M

is effective, then

G

is naturally a subgroup of

H a m (M, ω)

, the group of Hamiltonian symplectomorphisms of

(M, ω)

. This inclusion induces a natural map from the fundamental group of

G

to the fundamental group of

H a m (M, ω)

. Weinstein asks when this map is injective. We prove that this map is injective for all compact semisimple Lie groups. In [3] Vina established a special case of this result by quite different methods.

Theorem 1.2. Let a compact semisimple Lie group

G

act effectively on a coadjoint orbit

(M, ω)

. Then the inclusion

G ⟶ H a m (M, ω)

induces an injection from

π_{1} (G)

π_{1} (H a m (M, ω)) .

In view of Theorem 1.1 , this is an immediate consequence of the following result, which we prove in Section 2 .

Proposition 1.3. Let a compact semisimple Lie group

G

act effectively on a coadjoint orbit

(M, ω)

. Then every nontrivial element in

π_{1} (G)

may be represented by a circle that acts semifreely on

M

Theorem 1.1 immediately implies that if a compact Lie group

G

acts effectively on a closed symplectic manifold

(M, ω)

, then any semifree circle subgroup

Λ \subset G

is essential in

G

. The other results in the paper generalize this claim. Observe that Theorem 1.1 does not immediately extend to the smooth (non-symplectic) category. For example, Claude LeBrun pointed out to us that the circle action on

S^{4}

induced by the diagonal action of

S^{1}

C^{2} = R^{4} \subset R^{5}

is semifree but gives a nullhomotopic loop since

π_{1} (S O (5)) = Z / 2 Z

. Nevertheless, the semifree condition does have consequences in the smooth category, even if the action is only semifree on a neighborhood of a component of the fixed point set; we shall say that such components are semifree. Further, given a circle subgroup

Λ \subset G

we say that

g \in G

reverses

Λ

G

g t g^{- 1} = t^{- 1}

for all

t \in Λ

. Finally, a component

F

of the fixed point set

M^{Λ}

Λ

is symmetric in

G

if there is an element

g \in G

whose action on

M

fixes

F

pointwise and which reverses

Λ

Theorem 1.4. Let

Λ

be a circle subgroup of a compact Lie group

G

which acts effectively on a connected manifold

M

. If there is a semifree component of the fixed point set

M^{Λ}

which is not symmetric in

G

, then

Λ

is essential in

G

Example 1.5. First, let

G = S U (2)

act on

C P^{2}

by the defining representation on the first two copies of

C

, and let

Λ \subset G

be the circle subgroup given by

λ \cdot [z_{0} : z_{1} : z_{2}] \mapsto [λ z_{0} : λ^{- 1} z_{1} : z_{2}]

. This action has a semifree fixed point, namely

[0, 0, 1]

. Moreover, this circle subgroup is inessential in

G

. Therefore, by the theorem above, there exists

g \in G

which reverses the circle action and fixes

[0, 0, 1]

. In fact, we can take any

g

which lies in the normalizer

N (Λ)

but not in

Λ

itself. Note that

g^{2} = - 1 l

for any such

g

In contrast, consider the natural action of

G = P U (3)

C P^{2}

, and let

Λ \subset G

be the circle subgroup given by

λ \cdot [z_{0} : z_{1} : z_{2}] \mapsto [λ^{2} z_{0} : z_{1} : z_{2}]

. This action is semifree and essential, but is not reversed by any

g \in G

. To see this, note that the circle has order

3

π_{1} (G)

, whereas every circle that can be reversed has order

1

2

One can weaken the semifree hypothesis in the above theorem, at the cost of adding a global isotropy assumption and working once more in the symplectic category. We say that a circle action has at most twofold isotropy if every point which is not either fixed or free has stabilizer

Z / (2) .

Recall, also, that a symplectic action of

G

(M, ω)

is Hamiltonian if it is given by an equivariant moment map

Φ : M ⟶ g^{*}

Theorem 1.6. Let

Λ

be a circle subgroup of a compact Lie group

G

which acts effectively on a connected symplectic manifold

(M, ω)

. If

Λ

has at most twofold isotropy and if there is no

g \in G

which reverses

Λ

, then

Λ

is essential in

G

Example 1.7. This theorem does not extend to circle actions which have at most threefold isotropy. For example, the action of

S^{1}

C P^{3}

given by

λ \cdot [x, y, z, w] = [λ^{2} x, λ^{- 1} y, λ^{- 1} z, w]

is inessential in

P U (4)

. However, since

F m a x

and

F m i n

are not diffeomorphic, this action has no reversor.

We also need the symplectic hypothesis. To see this, consider the obvious action of

S U (3)

S^{6} : = C^{3} \cup {\infty}

. The subgroup

Λ : = d i a g (λ^{2}, λ^{- 1}, λ^{- 1})

acts with at most twofold isotropy but has no reversor.

Remark 1.8. If

G

is a simple group, we do not need to assume that

(M, ω)

is symplectic in Theorem 1.6 ; we only need to assume that there exists a point

p

which is fixed by a maximal torus containing

Λ

but is not fixed by all of

G

. Note that, in contrast, in the example above, the only points fixed by

Λ

are fixed by all of

G

Remark 1.9. If

Λ

is any circle subgroup of

S O (3)

– or indeed a subgroup of any simple group of type

B_{n}

C_{n}

, or

F_{4}

– then there exists a

g \in G

which reverses

Λ

. In this case, Theorem 1.6 is trivial and the force of Theorem 1.4 is that we can choose

g

so that it also fixes

p

Remark 1.10. In the proof of the above theorems, we pick a maximal torus

T

which contains

Λ

. The reversor

g

that we construct lies in the normalizer

N (T)

and has the property that

g^{2}

lies in

T

. However, as we saw in Example 1.5 ,

g^{2}

may not be equal to the identity.

Theorems 1.4 and 1.6 have the following easy corollaries:

Corollary 1.11. Consider a Hamiltonian circle action

Λ

on a closed symplectic manifold

(M, ω)

with moment map

K : M ⟶ R

, normalized so that

\int_{M} K ω^{n} = 0

. If

F

is a semifree fixed component, then

Λ

is essential in every compact subgroup

G \subset S y m p (M, ω)

that contains it, unless there is a symplectomorphism

g

M

that fixes

F

and reverses

Λ

. In this case, all the following hold:

(1) $K (g (p)) = - K (p)$ for all $p \in M^{Λ}$ .
(2) There is a one-to-one correspondence between the positive weights at $p$ and the negative weights at $g (p)$ , and vice versa.
(3) $g$ induces an isomorphism on the image of the restriction map in equivariant cohomology $H_{S^{1}}^{*} (M) ⟶ H_{S^{1}}^{*} (M^{Λ})$ .
(4) g ( F ) = F . In particular,
- (a) $K (F) = 0$ .
- (b) The sum of the weights at $F$ is zero.

Corollary 1.12. Consider a Hamiltonian circle action

Λ

on a closed symplectic manifold

(M, ω)

with moment map

K : M ⟶ R

, normalized so that

\int_{M} K ω^{n} = 0

. If the action has at most twofold isotropy, then

Λ

is essential in every compact subgroup

G \subset S y m p (M, ω)

that contains it, unless there is a symplectomorphism

g

M

that reverses

Λ

. In this case, all the following hold:

(1) $K (g (p)) = - K (p)$ for all $p \in M^{Λ}$ .
(2) There is a one-to-one correspondence between the positive weights at $p$ and the negative weights at $g (p)$ , and vice versa.
(3) $g$ induces an isomorphism on the image of the restriction map in equivariant cohomology $H_{S^{1}}^{*} (M) ⟶ H_{S^{1}}^{*} (M^{Λ})$ .

It is unknown whether the existence of such

g

is necessary for

Λ

to be inessential in

S y m p (M, ω)

. We make partial progress towards answering this question in [2] .

All the results in this paper are proved by a case by case study of the structure of semisimple Lie algebras.

2 Coadjoint orbits

In this section, we prove Proposition 1.3 . We begin with a brief review of a few facts about Lie groups.

Each simply connected compact semisimple Lie group is a product of simple factors, and its center is the product of the centers of its simple factors. Moreover, since its Lie algebra splits into a corresponding sum, the coadjoint orbits also are products of coadjoint orbits of simple groups.

Therefore, we may assume that

G

is simple.

Let

G

be a compact simple Lie group. Let

\tilde{G}

denote the universal cover of

G

, and

\hat{G}

denote the quotient of

G

by its center. Let

g

denote the Lie algebra of

G

, and let

t

denote the Lie algebra of a maximal torus

T \subset G

Let

ℓ \subset t

\tilde{ℓ} \subset t

, and

\hat{ℓ} \subset t

be the lattices consisting of vectors

ξ \in t

whose exponential is the identity in

G

\tilde{G}

, and

\hat{G}

, respectively. There is a one-to-one correspondence between

ℓ

and circle subgroup of

G

\tilde{ℓ}

and circle subgroups of

\tilde{G}

, and

\hat{ℓ}

and circle subgroups of

\hat{G}

, given by sending

λ

t \to exp (t λ)

. Note that

\tilde{ℓ} \subseteq ℓ \subseteq \hat{ℓ}

. Because

\tilde{G}

is simply connected,

π_{1} (G) \sim = ℓ / \tilde{ℓ} \subseteq \hat{ℓ} / \tilde{ℓ} \sim = π_{1} (\hat{G}) .

Let

t^{*}

denote the dual to

t

, and let

Δ \subset t^{*}

denote the set of roots of

G

, i.e. the nonzero weights of the adjoint action

T

g_{C}

, where

g_{C}

is the complexification of

g

. The lattice

\hat{ℓ}

is dual to the lattice in

t^{*}

generated by the roots, i.e.

λ \in \hat{ℓ}

precisely when

η (λ) \in Z

for all

η \in Δ

. If we use the Killing form

(\cdot, \cdot)

to identify

t

and

t^{*}

, then

\tilde{ℓ}

is generated by the set

{\frac{2 η}{(η, η)} | η \in Δ} .

Further the set of weights at any fixed point

p

for the action of

T

M

is a nonempty subset of the set of roots. Therefore the result will follow if we find a representative

λ

for each nontrivial class in

\hat{ℓ} / \tilde{ℓ}

such that

| η (λ) | \leq 1

for every

η \in Δ

We will check this on a case by case basis; in each case we will use the Killing form to identify

t

and

t^{*}

. Let

(\cdot, \cdot)

be the standard metric on

R^{k}

with the standard basis

e_{1}, . . ., e_{k}

, and define

ε_{i} = e_{i} - \frac{1}{k} \sum_{j = 1}^{k} e_{j} .

(I) For the group

A_{n}

, where

n \geq 1

t = t^{*} = {λ \in R^{n + 1} | \sum λ_{i} = 0}

and the roots are

ε_{i} - ε_{j} = e_{i} - e_{j}

for

i \neq j

. Hence

\hat{ℓ} = {λ \in t | λ_{i} - λ_{j} \in Z \forall i, j}, and \tilde{ℓ} = t \cap Z^{n + 1} .

As representatives for the quotient

\hat{ℓ} / \tilde{ℓ} \sim = Z / (n + 1)

, we take

λ = \sum_{i = 1}^{k} ε_{i}

for

0 \leq k \leq n

(II) For the group

B_{n}

, where

n \geq 2

t^{*} = R^{n}

and the roots are

\pm e_{i}

and

\pm e_{i} \pm e_{j}

for

i \neq j

. Hence

\hat{ℓ} = Z^{n}, and \tilde{ℓ} = {λ \in Z^{n} | \sum λ_{i} \in 2 Z} .

As representatives of the quotient

\hat{ℓ} / \tilde{ℓ} \sim = Z / (2)

, we take

0

and

e_{1}

(III) For the group

C_{n}

, where

n \geq 3

t^{*} = R^{n}

and the roots are

\pm 2 e_{i}

and

\pm e_{i} \pm e_{j}

for

i \neq j

. Hence

\hat{ℓ} = {λ \in R^{n} | λ_{i} \pm λ_{j} \in Z, \forall i, j}, and \tilde{ℓ} = Z^{n} .

As representatives of the quotient

\hat{ℓ} / \tilde{ℓ} \sim = Z / (2)

, we take

0

and

\frac{1}{2} \sum_{i = 1}^{n} e_{i}

(IV) For the group

D_{n}

, where

n \geq 4

t^{*} = R^{n}

and the roots are

\pm e_{i} \pm e_{j}

for

i \neq j

. Hence

\hat{ℓ} = {λ \in R^{n} | λ_{i} \pm λ_{j} \in Z, \forall i, j}, and \tilde{ℓ} = {λ \in Z^{n} | \sum λ_{i} \in 2 Z} .

The quotient

\hat{ℓ} / \tilde{ℓ}

is isomorphic to

Z / (2) \oplus Z / (2)

n

is even, and to

Z / (4)

n

is odd. Either way, as representatives of

\hat{ℓ} / \tilde{ℓ}

, we take

0

e_{1}

\frac{1}{2} \sum_{i = 1}^{n} e_{i}

and

\frac{1}{2} \sum_{i = 1}^{n} e_{i} - e_{n}

(V, a) For the group

E_{6}

t^{*} = R^{6}

and the roots are

2 ε

ε_{i} - ε_{j}

, and

ε_{i} + ε_{j} + ε_{k} \pm ε

for

i, j,

and

k

distinct, where

ε = \frac{1}{2 \sqrt{3}} (1, 1, 1, 1, 1, 1)

. Hence,

\hat{ℓ} = {n ε + (ξ_{1}, \dots, ξ_{6}) \in R^{6} | \sum_{i = 1}^{6} ξ_{i} = 0, n \in Z, \frac{n}{2} + 3 ξ_{i} \in Z and ξ_{i} - ξ_{j} \in Z \forall i, j}, and

\tilde{ℓ} = {n ε + (ξ_{1}, \dots, ξ_{6}) \in R^{6} | \sum_{i = 1}^{6} ξ_{i} = 0, n \in Z and \frac{n}{2} + ξ_{i} \in Z \forall i} .

As representatives of the quotient

\hat{ℓ} / \tilde{ℓ} \sim = Z / (3)

, we take

0

ε_{1} + ε_{2}

, and

- ε_{1} - ε_{2}

. (V, b) For the group

E_{7}

t = t^{*} = {λ \in R^{8} | \sum λ_{i} = 0}

, and the roots are

ε_{i} - ε_{j}

, and

ε_{i} + ε_{j} + ε_{k} + ε_{l}

for

i, j, k,

and

l

distinct. Hence

\hat{ℓ} = {λ \in t | 4 λ_{i} \in Z and λ_{i} - λ_{j} \in Z \forall i, j}, and \tilde{ℓ} = {λ \in t | λ_{i} \pm λ_{j} \in Z \forall i, j} .

As representatives for the quotient

\hat{ℓ} / \tilde{ℓ} \sim = Z / 2 Z

, we take

0

and

ε_{1} + ε_{2}

Every group of type

E_{8}

F_{4}

, and

G_{2}

is simply connected, so no further argument is necessary.

□

3 Lie Group Actions

This section contains proofs of Theorems 1.4 and 1.6 . We begin by stating a lemma about root systems, that is proved at the end. We shall always assume that the positive Weyl chamber is closed.

Lemma 3.1. Let

G

be a simply connected compact simple Lie group. Let

t

be the Lie algebra of a maximal torus

T \subset G

. Let

\tilde{ℓ}

be the integral lattice, let

Δ

denote the set of roots, and let

W

denote the Weyl group. Use the Killing form to identify

t

and

t^{*}

Fix

λ \in \tilde{ℓ}

. Choose a positive Weyl chamber which contains

λ

. Let

δ \in Δ

denote the highest root. Then the following claims hold:

(a) If

(λ, δ) \leq 2

, then there exist orthogonal roots

η_{1}, \dots, η_{k} \in Δ

so that

λ = \sum a_{i} η_{i}

and so that

(λ, η_{i}) = a_{i} (η_{i}, η_{i}) = 2

for all

i

(b) Let

L \subset Δ

be a set of roots which contains every root

η \in Δ

such that

δ + η

δ - η

is also a root. Assume also that

L

is closed under addition, that is, it contains every root which can be written as the sum of roots in

L

. Then

L

contains all roots.

(λ, δ) > 2

and

- i d : t ⟶ t

is not an element of the Weyl group, then for every nonzero weight

α \in {\tilde{ℓ}}^{*}

there exists

σ \in W

so that

| (σ \cdot α, λ) | > 1

(d) If

- i d : t ⟶ t

is not an element of the Weyl group, then

δ

is the only root which lies in the positive Weyl chamber.

Using this result, we can find find elements which reverse certain circle subgroups of simply connected compact simple Lie groups. Note that because

G

is simply connected, every circle subgroup of

G

is inessential in

G

Lemma 3.2. Let

Λ

be a circle subgroup of a simply connected compact simple Lie group

G

(i) Let

ρ : G ⟶ G L (V)

be a nontrivial representation of

G

. If

Λ

acts semifreely on

V

then there exists

g \in G

that reverses

Λ

(ii) Let

H ⊊︀ G

be a proper subgroup containing

Λ

. If the adjoint action of

Λ

g / h

is semifree, then there exists

h \in H

that reverses

Λ

(iii) Let

H ⊊︀ G

be a proper subgroup containing a maximal torus which contains

Λ

. If the natural action of

Λ

G / H

has at most twofold isotropy, then there exists

g \in G

that reverses

Λ

The assumption in (ii) above is a special case of (i) since the representation

V

is restricted; however, the conclusion is stronger since it asserts that the reversor lies in

H

. Statement (ii) and (iii) are also related: the former makes a strong assumption about the action induced by

Λ

on the tangent space to

G / H

at the fixed point

e H

, the latter makes a weaker assumption about the action at all the fixed points on

G / H

We will now use the claims in Lemma 3.1 to prove Lemma 3.2 . Let

T

be a maximal torus which contains

Λ

. Let

\tilde{ℓ} \subset t

denote the integral lattice. Let

λ \in \tilde{ℓ}

be the vector corresponding to

Λ

. Choose a positive Weyl chamber which contains

λ

. Let

δ \in Δ

denote the highest root.

Recall that the Weyl group

W

is the quotient

N (T) / T

, where

N (T)

is the the normalizer of

T

G

. Every root

η

gives rise to an element

w_{η} \in W

whose action on

t^{*}

is given by

w_{η} (β) = β - \frac{2 (η, β)}{(η, η)} η

Proof of Lemma 3.2 (i). Let

ρ : G ⟶ G L (V)

be a nontrivial representation of

G

. Assume that

Λ

acts semifreely on

V

Suppose first that

(λ, δ) \leq 2

. By claim (a), there exist orthogonal roots

η_{1}, \dots, η_{k} \in Δ

so that

λ = \sum a_{i} η_{i}

. Since the roots are orthogonal, for each

η_{i}

the associated element of the Weyl group

w_{η_{i}}

takes

η_{i}

- η_{i}

and leaves

η_{j}

fixed for all

j \neq i

. Hence, their product

w = w_{η_{1}} \dots w_{η_{n}}

takes

λ

- λ

, and so reverses

Λ

So assume instead that

(λ, δ) > 2

. If

- i d

is in the Weyl group, then statement (i) is trivial. So we assume that it is not. Let

T

act on

V

via restriction, and pick any nonzero weight

α \in {\tilde{ℓ}}^{*}

in the weight decomposition.

By claim (c), we can find some

σ \in W

such that

| (σ \cdot α, λ) | > 1 .

Since

σ \cdot α

also appears in the weight decomposition, this contradicts the assumption that the action of

Λ

V

is semifree.

□

Proof of Lemma 3.2 (ii). Let

H \subseteq G

be a proper subgroup which contains

Λ

. Assume that the adjoint action of

Λ

g / h

is semifree. Let

L

be the set of roots

η \in Δ

so that the associated weight space

E_{η} \subset g_{C}

lies in

h_{C}

Clearly, if

| (η, λ) | > 1

, then

η \in L

Suppose first that

(λ, δ) \leq 2

. By claim (a), there exist orthogonal roots

η_{1}, \dots, η_{k} \in Δ

so that

λ = \sum a_{i} η_{i}

and so that

(λ, η_{i}) = 2

for every

i

. Since

(η_{i}, λ) = 2

η_{i}

lies in

L

for all

i

. Hence, the associated element of the Weyl group

w_{η_{i}}

lies in

H

for all

i

. Thus

w = w_{η_{1}} \dots w_{η_{k}}

must lie in

H

So assume instead that

(λ, δ) > 2

. We see immediately that

δ

and

- δ

lie in

L

. If

η

η^{'}

and

η + η^{'}

are all roots, then

[E_{η}, E_{η}^{'}] = E_{η + η^{'}}

. Hence, since

h_{C}

is closed under Lie bracket, if

η

and

η^{'}

are in

L

then

η + η^{'} \in L

also, that is,

L

is closed under addition. Additionally, if

η

and

η^{'}

are roots such that

δ = η + η^{'}

, then either

(λ, η) > 1

(λ, η^{'}) > 1

. If the former holds, then

η

and

- η

lie in

L

. Since

L

is closed under addition, so do

η^{'}

and

- η^{'}

The other case is identical. Thus, claim (b) implies that every root lies in

L

. This contradicts the claim that

H

is a proper subgroup.

□

Proof of Lemma 3.2 (iii). Let

H ⊊ G

be a proper subgroup which contains the maximal torus

T

, and assume that the natural action of

Λ \subset T

G / H

has at most twofold isotropy.

(λ, δ) \leq 2

, then part (iii) follows by the argument used to prove part (i). So assume that

(λ, δ) > 2

. We may also assume that

- i d

does not lie in the Weyl group, because otherwise the claim is trivial. Since

H \subset G

is proper, there exists at least one root

η

so that the associated weight space

E_{η}

is not contained in

h_{C}

. Then there is

σ \in W

so that the root

σ \cdot η

lies in the positive Weyl chamber. Hence by (d)

σ \cdot η = δ

, and so

| (σ \cdot η, λ) | > 2 .

Choose

\tilde{σ} \in N (T)

which descends to

σ

. Then

\tilde{σ} H

is a fixed point for

T

, and

σ \cdot η

is one of the weights for

Λ

at this fixed point. This contradicts the fact that the action has at most twofold isotropy.

□

We are now ready to deduce Theorems 1.4 and 1.6 . In both cases, we will do this by proving the contrapositive, that is, we will assume that

Λ

is an inessential circle subgroup and use this to construct a reversor.

Let

\tilde{G}

denote the universal cover of

G

. Then

\tilde{G}

is the direct product of a compact simply connected semisimple Lie group and a vector space. Since

Λ

is inessential, it lifts to a circle subgroup of

\tilde{G}

. Since this lift must lie in the compact part of

\tilde{G}

, we may assume without loss of generality that

\tilde{G}

is a compact simply connected semisimple Lie group.

In fact, it is enough to prove these claims for the universal cover of

G

, as long as we no longer insist on an effective action but instead allow a finite number of elements of the group to act trivially on

M

. Thus we may assume that

G

is the product of compact simple and simply connected groups

G_{1} \times \dots \times G_{n}

. Let

Λ_{i}

be the projection of

Λ

G_{i}

. Without loss of generality, we may assume that

Λ_{i} \neq {i d}

for all

i

Proof of Theorem 1.4 . Let

G = G_{1} \times \dots \times G_{n}

as above. Choose

p \in F

and let

H \subset G

be the stabilizer of

p

. Then

Λ \subset H

. There exists a representation

V

H

, called the isotropy representation, so that a neighborhood of the

G

-orbit through

p

is equivariantly diffeomorphic to a neighborhood of the zero section of

G \times_{H} V

. Fix some simple factor

G_{i}

, and let

H_{i} = H \cap G_{i}

Assume first that

H_{i}

is a proper subgroup. Note that

g_{i}

is invariant under the action of

Λ

. Thus, since

Λ

acts semifreely on

g / h

via the adjoint action,

Λ_{i}

acts semifreely on

g_{i} / h_{i}

. Thus, by Lemma 3.2 (ii) there exists an element

h_{i} \in H_{i}

that reverses

Λ_{i}

So assume on the contrary that

H_{i} = G_{i}

. Let

Λ^{'}

be the projection of

Λ

onto the product of all the simple factors except

G_{i}

. Since

Λ_{i} \subset G_{i} \subset H

and

Λ \subset H

, we must have

Λ^{'} \subset H

. Hence

Λ^{'}

acts on

V

. For any integer

k

, let

V_{k}

denote the subspace of

V

on which

Λ^{'}

acts with weight

k

. Since

Λ^{'}

commutes with

G_{i}

V_{k}

is a representation of

G_{i}

. Since only a finite number of elements of

G

act trivially on

M

G_{i}

must act nontrivially on

G \times_{H} V

, and hence also on

V

. Therefore, there is some

k

so that the representation of

G_{i}

V_{k}

is nontrivial. Because

G_{i}

is simple,

Λ_{i}

must act with both positive and negative weights on

V_{k}

. But the weights for the action of

Λ

V_{k}

are the weights for the action of

Λ_{i}

shifted by

k

. Hence, because

F

is a semifree fixed point component,

k = 0

and the action of

Λ_{i}

V_{k}

is itself semifree.

Therefore by Lemma 3.2 (i) there exists

h_{i} \in G_{i} = H_{i}

that reverses

Λ_{i}

Since

h_{i}

reverses

Λ_{i}

for each

i

g = (h_{1}, \dots, h_{n})

reverses

Λ

, as required.

Moreover, since

H_{1} \times \dots \times H_{n} \subset H

(in general they are not equal),

g

lies in

H

, and hence fixes

p

□

Proof of Theorem 1.6 . Fix some simple factor

G_{i}

. Let

W

be the Weyl group of

G_{i}

. Let

T \subset G_{i}

be a maximal torus of

G_{i}

containing

Λ_{i}

. Let

Φ : M ⟶ t^{*}

be the moment map for the

T

-action. Pick any

ξ \in t

so that the one parameter subgroup generated by

ξ

is dense in

T

. Let

p

be any point which maps to the minimum value of

Φ^{ξ}

, the component of

Φ

in the direction

ξ

. By construction,

p

is a fixed point for

T

. Assume first that

Φ^{ξ} (p) = 0

, that is, the function

Φ^{ξ}

is nonnegative on

M

. Since the moment polytope

Φ (M)

is invariant under the Weyl group

W

, this implies that

Φ^{σ \cdot ξ}

is also nonnegative on

M

for all

σ \in W

. Because

G_{i}

is simple and

ξ

is a generic point of

t

, for any nonzero

x \in t^{*}

there exists an element

σ \in W

such that

(σ \cdot ξ, x) < 0

. Applying this to

x \in Φ (M) \ {0}

, we see that

Φ (M)

must be the single point

{0}

, which is impossible, because the action is effective.

Therefore,

Φ (p) \neq 0

Now let us reconsider the action of

G

M

. Let

H

be the stabilizer of

p

G

, and let

H_{i} = H \cap G_{i}

. Since

Λ

acts with at most twofold isotropy on

G / H \subset M

Λ_{i}

acts with at most twofold isotropy on

G_{i} / H_{i}

. Since

Φ (p)

is not zero, the stabilizer of

Φ (p)

G_{i}

. is a proper subgroup of

G_{i}

. Since

Φ

is equivariant, this implies that

H_{i}

is a proper subgroup of

G_{i}

. By Lemma 3.2 (iii), this implies that there exists

g_{i} \in G_{i}

which reverses

Λ_{i}

. Then

(g_{1}, \dots, g_{n})

reverses

Λ

□

Proof of Lemma 3.1 . We now prove claims (a)-(d) on a case by case basis, using the classification of compact simple Lie groups. We will use the notation of § 2 . Note, however, that here

G = \tilde{G}

since

G

is simply connected.

(I) Recall that for the group

A_{n}

, where

n \geq 1

t = t^{*} = {ξ \in R^{n} | \sum ξ_{i} = 0}

, the roots are

ε_{i} - ε_{j} = e_{i} - e_{j}

for

i \neq j

, and the integral lattice is

\tilde{ℓ} = Z^{n + 1} \cap t

. The positive Weyl chamber is¹

{ξ \in t | ξ_{1} \geq \dots \geq ξ_{n + 1}} .

The highest root is

δ = e_{1} - e_{n + 1}

(λ, δ) = λ_{1} - λ_{n + 1} \leq 2

, then

| λ_{i} | \leq 1

for all

i

. Since

\sum_{i} λ_{i} = 0

and

λ_{i} \in Z

for all

i

, there are an equal number of

+ 1

's and

- 1

's, and the rest are

0

's. Hence,

λ

is the sum of orthogonal roots of the form

η = e_{i} - e_{j}

Since

(η, η) = 2

, this proves claim (a).

Since

δ = (e_{1} - e_{k}) + (e_{k} - e_{n + 1})

, the roots

\pm (e_{1} - e_{k})

and

\pm (e_{k} - e_{n + 1})

lie in

L

for all

1 < k < n + 1

. If neither

i

nor

j

is equal equal to

1

, then

e_{i} - e_{j} = - (e_{1} - e_{i}) + (e_{1} - e_{j})

is also in

L

. This proves claim (b).

We now prove (c). The weight lattice is

{\tilde{ℓ}}^{*} = {α \in t | α_{i} - α_{j} \in Z \forall i, j}

By permuting the coordinates of

α

, we may assume

α_{1} \geq \dots \geq α_{n}

. Since

α \neq 0

, there exists

k \in (1, \dots, n)

such that

α_{k} - α_{k + 1} > 0

; since this difference lies in

Z

, it must be at least

1

. Since

λ_{1} - λ_{n + 1} = λ_{1} + \sum_{i = 1}^{n} λ_{i} > 2

and

λ_{i} \geq λ_{i + n - k}

\sum_{i = 1}^{k} λ_{i} + \sum_{i = 1}^{n + 1 - k} λ_{i} > 2

. Therefore, either

\sum_{i = 1}^{k} λ_{i} > 1

\sum_{i = 1}^{n + 1 - k} λ_{i} > 1

. In the former case,

(α, λ) = \sum_{j = 1}^{n} ((α_{j} - α_{j + 1}) \sum_{i = 1}^{j} λ_{i}) \geq (α_{k} - α_{k + 1}) \sum_{i = 1}^{k} λ_{i} > 1 .

In the latter case, let

α^{'}

be obtained from

α

by the permutation which reverses the coordinates, so that

α_{i}^{'} = α_{n + 2 - i}

. Then

(α^{'}, λ) = \sum_{j = 1}^{n} ((α_{n + 2 - j} - α_{n + 1 - j}) \sum_{i = 1}^{j} λ_{i}) \leq (α_{k + 1} - α_{k}) \sum_{i = 1}^{n + 1 - k} λ_{i} < - 1 .

The only facts we have used are that

t = {ξ \in R^{n} | \sum_{i} ξ_{i} = 0}

, that the Weyl group contains the permutation group

S_{n}

, and that

α_{i} - α_{j} \in Z

for any

α \in {\tilde{ℓ}}^{*}

Finally,

δ

is the only root in the positive Weyl chamber.

(II) Recall that for the group

B_{n}

, where

n \geq 2

t = t^{*} = R^{n}

, the roots are

\pm e_{i}

and

\pm e_{i} \pm e_{j}

for

i \neq j

, and the integral lattice is

\tilde{ℓ} = {ξ \in Z^{n} | \sum_{i} ξ_{i} \in 2 Z} .

The positive Weyl chamber is

{ξ \in t | ξ_{1} \geq \dots \geq ξ_{n} \geq 0}

. The highest root is

δ = e_{1} + e_{2}

(λ, δ) = λ_{1} + λ_{2} \leq 2

, then either

λ_{1} = 2

and

λ_{i} = 0

for all

i \neq 1

, or

λ_{i} \leq 1

for all

i

. Either way, since

\sum_{i} λ_{i} \in 2 Z

, we can write

λ

as the sum of orthogonal roots

η_{i}

such that

(η_{i}, η_{i}) = 2

Since

δ = (e_{1} - e_{k}) + (e_{2} + e_{k}) = (e_{1} + e_{k}) + (e_{2} - e_{k})

, the roots

\pm e_{1} \pm e_{k}

and

\pm e_{2} \pm e_{k}

lie in

L

for

k \neq 1

2

. Since

δ = (e_{1}) + (e_{2})

, the roots

\pm e_{1}

and

\pm e_{2}

lie in

L

. Every root can be written as a sum of these roots.

Since

- i d

lies in the Weyl group, we are done.

(III) Recall that for the group

C_{n}

, where

n \geq 3

t = t^{*} = R^{n}

, the roots are

\pm 2 e_{i}

and

\pm e_{i} \pm e_{j}

for

i \neq j

, and the integral lattice is

\tilde{ℓ} = Z^{n}

. The positive Weyl chamber is

{ξ \in t | ξ_{1} \geq \dots \geq ξ_{n} \geq 0}

. The highest root is

δ = 2 e_{1}

(λ, δ) = 2 λ_{1} \leq 2

, then

λ_{i} \leq 1

for all

i

. Since

λ \in Z^{n}

, we can write

λ

as half the sum of orthogonal roots of the form

2 e_{i}

. Note that

(λ, 2 e_{i}) = 2

Since

δ = (e_{1} - e_{k}) + (e_{1} + e_{k})

, the roots

\pm e_{1} \pm e_{k}

lie in

L

for

k \neq 1

Every root can be written as a sum of these roots.

Since

- i d

lies in the Weyl group, we are done.

(IV) Recall that for the group

D_{n}

, where

n \geq 4

t = t^{*} = R^{n}

, the roots are

\pm e_{i} \pm e_{j}

for

i \neq j

, and the integral lattice is

\tilde{ℓ} = {ξ \in Z^{n} | \sum ξ_{i} \in 2 Z} .

The positive Weyl chamber is

{ξ \in t | ξ_{1} \geq \dots \geq ξ_{n - 1} \geq | ξ_{n} |}

. The highest root is

δ = e_{1} + e_{2}

(λ, δ) = λ_{1} + λ_{2} \leq 2

, then either

λ_{1} = 2

and

λ_{i} = 0

for all

i \neq 1

, or

| λ_{i} | \leq 1

for all

i

. Either way, since

\sum_{i} λ_{i} \in 2 Z

, we can write

λ

as the sum of orthogonal roots

η_{i}

such that

(η_{i}, η_{i}) = 2

. Since

δ = (e_{1} - e_{k}) + (e_{2} + e_{k}) = (e_{1} + e_{k}) + (e_{2} - e_{k})

, the roots

\pm e_{1} \pm e_{k}

and

\pm e_{2} \pm e_{k}

lie in

L

for

k \neq 1

2

. Every root can be written as a sum of these roots.

Now assume that

(δ, λ) = λ_{1} + λ_{2} > 2

. Consider a nonzero weight

α \in {\tilde{ℓ}}^{*} = {α \in R^{n} | α_{i} \pm α_{j} \in Z \forall i, j} .

By applying the Weyl group, we may assume

α

lies in the positive Weyl chamber. Since

λ

also lies in the positive Weyl chamber,

α_{i} λ_{i} \geq 0

for all

i \neq n

. Moreover, since

α_{n - 1} \geq | α_{n} |

, and

λ_{n - 1} \geq | λ_{n} |

α_{n - 1} λ_{n - 1} + α_{n} λ_{n} \geq 0

. Therefore,

α_{3} λ_{3} + \dots + α_{n} λ_{n} \geq 0 .

(Here, we have used that

n \geq 4

.) Since

α

is nonzero, either

α_{1} \geq 1

, or

α_{1} = α_{2} = \frac{1}{2}

. In either case,

α_{1} λ_{1} + α_{2} λ_{2} > 1

. (In the first case, we use the fact that

λ_{1} + λ_{2} > 2

and

λ_{1} \geq λ_{2}

implies that

λ_{1} > 1

.) Therefore,

(α, λ) \geq α_{1} λ_{1} + α_{2} λ_{2} > 1

, This proves claim (c).

Finally,

δ

is the only root in the positive Weyl chamber.

(V, a) Recall that for the group

E_{6}

t = t^{*} = R^{6}

and the roots are

2 ε

ε_{i} - ε_{j}

, and

ε_{i} + ε_{j} + ε_{k} \pm ε

for

i, j,

and

k

distinct, where

ε = \frac{1}{2 \sqrt{3}} (1, 1, 1, 1, 1, 1)

Therefore

\tilde{ℓ} = {n ε + (ξ_{1}, \dots, ξ_{6}) | \sum_{i = 1}^{6} ξ_{i} = 0, n \in Z, and \frac{n}{2} + ξ_{i} \in Z \forall i} .

The positive Weyl chamber is

{n ε + (ξ_{1}, \dots, ξ_{6}) \in t | \sum_{i = 1}^{6} ξ_{i} = 0, ξ_{2} \geq \dots \geq ξ_{6}, ξ_{1} + ξ_{5} + ξ_{6} \geq n / 2 \geq 0} .

(Note that these conditions imply

ξ_{1} \geq ξ_{2}

.) The highest root is

δ = ε_{1} - ε_{6}

Write

λ = n ε + (ξ_{1}, \dots, ξ_{6})

, where

\sum_{i} ξ_{i} = 0

. Assume that

(λ, δ) = ξ_{1} - ξ_{6} \leq 2

. Combining the inequalities

ξ_{1} - ξ_{6} \leq 2

ξ_{4} \geq ξ_{5}

ξ_{4} \geq ξ_{6}

, and

ξ_{1} + ξ_{5} + ξ_{6} \geq \frac{n}{2}

, we see that

ξ_{4} \geq \frac{n - 4}{6}

. Since also

ξ_{2} + ξ_{3} + ξ_{4} \leq 0

ξ_{2} \geq ξ_{4}

, and

ξ_{3} \geq ξ_{4}

, we have

ξ_{4} \leq 0

. Moreover, in both cases, if the final inequality in the sentence is an equality, so are all the preceding ones. Since

n \geq 0

0 \geq ξ_{4} \geq - \frac{4}{6}

. Since

λ \in \tilde{ℓ}

ξ_{4} = 0

ξ_{4} = - \frac{1}{2}

. In the former case,

ξ_{2} = ξ_{3} = ξ_{4} = 0

, so

ξ_{1} + ξ_{5} + ξ_{6} = 0

, so

n = 0

. Hence,

λ = (ε_{1} - ε_{6}) .

In the latter case,

n

is odd, so

ξ_{4} = - \frac{1}{2} \geq \frac{n - 4}{6}

implies that

n = 1

. In this case,

λ = (ε_{1} - ε_{6}) + (ε + ε_{1} + ε_{2} + ε_{6})

. This proves claim (a).

Since

δ = (ε_{1} - ε_{i}) + (ε_{i} - ε_{6}),

the roots

\pm (ε_{1} - ε_{i})

and

\pm (ε_{i} - ε_{6})

lie in

L

for all

1 < i < 6

. Moreover,

δ = (ε + ε_{1} + ε_{i} + ε_{j}) - (ε + ε_{i} + ε_{j} + ε_{6})

, so the roots

\pm (ε + ε_{1} + ε_{i} + ε_{j})

and

\pm (ε + ε_{i} + ε_{j} + ε_{6})

lie in

L

for all

1 < i < j < 6

Since, for example,

ε + ε_{1} + ε_{2} + ε_{3} = ε - ε_{4} - ε_{5} - ε_{6}

, it follows easily that

L

contains all roots.

Let

α \in {\tilde{ℓ}}^{*}

be a nonzero weight. Write

λ = n ɛ + ξ

as before. By applying the Weyl group, we may assume that

α = m ε + (ζ_{1}, \dots, ζ_{6})

is in the positive Weyl chamber. Since

(α, λ) \geq (ζ, ξ)

, it is enough to show that

(ζ, ξ) > 1

This fact now follows from the argument from

A_{5}

, since

(δ, λ) = (δ, ξ) > 2

, since the Weyl group contains the permutation group

S_{5}

, and since

ζ

must satisfy

ζ_{i} - ζ_{j} \in Z

Finally,

δ

is the only root in the positive Weyl chamber.

(V, b) Recall that for the group

E_{7}

t = t^{*} = {ξ \in R^{8} | \sum ξ_{i} = 0}

, the roots are

ε_{i} - ε_{j}

and

ε_{i} + ε_{j} + ε_{k} + ε_{l}

for

i, j, k,

and

l

distinct, and the integral lattice is

\tilde{ℓ} = {ξ \in t | ξ_{i} \pm ξ_{j} \in Z \forall i, j} .

The positive Weyl chamber is

{ξ \in t | ξ_{2} \geq \dots \geq ξ_{8} and ξ_{1} + ξ_{6} + ξ_{7} + ξ_{8} \geq 0} .

(Note that this automatically implies that

ξ_{1} \geq ξ_{2}

.) The highest root is

δ = ε_{1} - ε_{8}

Assume that

(δ, λ) = λ_{1} - λ_{8} \leq 2

. Combining the inequalities

λ_{1} - λ_{8} \leq 2

λ_{1} + λ_{6} + λ_{7} + λ_{8} \geq 0

, and

λ_{5} \geq λ_{i}

for

i = 6, 7

and

8

, we see that

λ_{5} \geq - \frac{1}{2}

Since also

λ_{2} + λ_{3} + λ_{4} + λ_{5} \geq 0

and

λ_{i} \geq λ_{5}

for

i = 2, 3

and

4

λ_{5} \leq 0

Moreover, in both cases, if the last inequality in the sentence is an equality, all the inequalities are equalities. Since

λ \in ℓ

, the only possibilities are

λ_{5} = 0

λ_{5} = - \frac{1}{2} .

In the former case, we must have

λ = ε_{1} - ε_{8}

. In the latter case, the only possibilities are

λ = (ε_{1} + ε_{2} + ε_{3} + ε_{4}) + (ε_{1} - ε_{4})

, or

λ = (ε_{1} + ε_{2} + ε_{3} + ε_{4}) + (ε_{1} - ε_{4}) + (ε_{2} - ε_{3})

. The proves claim (a).

Since

δ = (ε_{1} - ε_{i}) + (ε_{i} - ε_{8})

, the roots

\pm (ε_{1} - ε_{i})

and

\pm (ε_{i} - ε_{8})

lie in

L

for all

1 < i < 8 .

Since

δ = (ε_{1} + ε_{i} + ε_{j} + ε_{k}) - (ε_{i} + ε_{j} + ε_{k} + ε_{8})

, the roots

\pm (ε_{1} + ε_{i} + ε_{j} + ε_{k})

and

\pm (ε_{i} + ε_{j} + ε_{k} + ε_{8})

also lie in

L

for all

1 < i < j < k < 8

. All roots can be written as a sum of these roots. This proves claim (b).

Since

\tilde{ℓ} \subset Z^{8} \cap t

α_{i} - α_{j} \in Z

for every

α \in {\tilde{ℓ}}^{*} \subset t^{*}

. Hence, the argument for claim (c) follows from the argument for

A_{7}

Finally,

δ

is the only root in the positive Weyl chamber.

(V, c) For the group

E_{8}

t = t^{*} = {ξ \in R^{9} | \sum ξ_{i} = 0

} and the roots are

ε_{i} - ε_{j}

, and

\pm (ε_{i} + ε_{j} + ε_{k})

for

i, j

and

k

distinct. Hence the integral lattice is

\tilde{ℓ} = {ξ \in t | 3 ξ_{i} \in Z and ξ_{i} - ξ_{j} \in Z \forall i, j} .

The positive Weyl chamber is

{ξ \in t | ξ_{2} \geq \dots \geq ξ_{9} and ξ_{2} + ξ_{3} + ξ_{4} \leq 0} .

(Note that these conditions imply that

ξ_{1} \geq ξ_{2}

.) The highest root is

δ = ε_{1} - ε_{9}

Assume that

(δ, λ) = λ_{1} - λ_{9} \leq 2

. Combining the inequalities

λ_{1} - λ_{9} \leq 2, λ_{1} + λ_{5} + λ_{6} + λ_{7} + λ_{8} + λ_{9} \geq 0, λ_{i} \leq λ_{4}, i > 4,

we see that

λ_{4} \geq - \frac{1}{3}

. Since

λ_{2} + λ_{3} + λ_{4} \leq 0

and

λ_{2} \geq λ_{3} \geq λ_{4}

λ_{4} \leq 0

Moreover, in both cases, if the last inequality in the sentence is an equality, all the inequalities are equalities. Since

λ \in ℓ

, the only possibilities are

λ_{4} = 0

λ_{4} = - \frac{1}{3}

. In the former case,

λ = ε_{1} - ε_{9}

. In the latter case,

λ = (ε_{1} - ε_{9}) + (ε_{1} + ε_{2} + ε_{9})

. Claim (a) follows.

We now notice that

δ = ε_{1} - ε_{9} = (ε_{1} - ε_{k}) + (ε_{k} - ε_{9}) = (ε_{1} + ε_{i} + ε_{j}) - (ε_{i} + ε_{j} + ε_{9})

for all

1 < k < 9

and

1 < i < j < 9

. Therefore, the corresponding roots

\pm (ε_{1} - ε_{k})

\pm (ε_{k} - ε_{9})

\pm (ε_{1} + ε_{i} + ε_{j})

, and

\pm (ε_{i} + ε_{j} + ε_{9})

all lie in

L

Since every root can be written as a sum of these roots, claim (b) follows.

Since

\tilde{ℓ} \subset Z^{9} \cap t

α_{i} - α_{j} \in Z

for every

α \in {\tilde{ℓ}}^{*} \subset t^{*}

. Hence, the argument for claim (c) carries over from the argument for the group

A_{8}

Finally,

δ

is the only root in the positive Weyl chamber.

(VI) For the group

F_{4}

t = t^{*} = R^{4}

. The roots are

\pm e_{i}

e_{i} \pm e_{j}

for

i \neq j

, and

\frac{1}{2} (\pm e_{1} \pm e_{2} \pm e_{3} \pm e_{4})

. Hence the integral lattice is

\tilde{ℓ} = {ξ \in Z^{4} | \sum ξ_{i} \in 2 Z}

The positive Weyl chamber is

{ξ \in t | ξ_{2} \geq ξ_{3} \geq ξ_{4} \geq 0 and ξ_{1} \geq ξ_{2} + ξ_{3} + ξ_{4}} .

(Note that automatically

ξ_{1} \geq ξ_{2}

.) The highest root is

δ = e_{1} + e_{2}

The argument for claim (a) carries over word for word from the argument for

B_{4}

Notice that if

k = 3

4

\begin{matrix} δ & = & e_{1} + e_{2} = (e_{1}) + (e_{2}) = (e_{1} - e_{k}) + (e_{2} + e_{k}) = (e_{1} + e_{k}) + (e_{2} - e_{k}) \end{matrix}

\begin{matrix} = & \frac{1}{2} (e_{1} + e_{2} + e_{3} + e_{4}) + \frac{1}{2} (e_{1} + e_{2} - e_{3} - e_{4}) \end{matrix}

\begin{matrix} = & \frac{1}{2} (e_{1} + e_{2} - e_{3} + e_{4}) + \frac{1}{2} (e_{1} + e_{2} + e_{3} - e_{4}) . \end{matrix}

Hence, the corresponding roots all lie in

L

. Since every root can be written as the sum of these roots, this proves claim (b).

Since

- i d

lies in the Weyl group, we are done.

(VII) For the group

G_{2}

t = t^{*} = {ξ \in R^{3} | \sum ξ_{i} = 0

}. The roots are

\pm ε_{i}

and

ε_{i} - ε_{j}

for

i

and

j

distinct. The positive Weyl chamber is

{ξ \in t^{*} | 0 \geq ξ_{2} \geq ξ_{3}}

. (Note that automatically

ξ_{1} \geq ξ_{2}

.) The integral lattice is

\tilde{ℓ} = Z^{3} \cap t

. The highest root is

δ = ε_{1} - ε_{3}

The argument for claim (a) follows the argument for

A_{3}

word for word.

Since

δ = (ε_{1} - ε_{2}) + (ε_{2} - ε_{3}) = (ε_{1}) + (- ε_{3})

, the roots

\pm (ε_{1} - ε_{2})

\pm (ε_{2} - ε_{3})

\pm ε_{1}

and

\pm ε_{3}

all lie in

L

. Since every root can be written as a sum of these roots, claim (b) follows.

Since

- i d

lies in the Weyl group, we are done.

References

D. McDuff and J. Slimowitz, Hofer–Zehnder capacity and length minimizing Hamiltonian paths, SG/0101085, Geom. Topol. 5 (2001), 799–830.
D. McDuff and S. Tolman, Topological properties of Hamiltonian circle actions, SG/0404338.
A. Vina, On the Homotopy of symplectomorphism groups of Homogeneous spaces, SG/0305407.
A. Weinstein, Cohomology of symplectomorphism groups and critical values of Hamiltonians, Math Z. 201 (1989), 75–82.

Department of Mathematics, Stony Brook University, Stony Brook, NY 11794-3651, USA E-mail address : dusa@math.sunysb.edu Department of Mathematics, University of Illinois at Urbana–Champaign, IL, USA E-mail address : tolman@math.uiuc.edu

¹ For uniformity, we shall always use the lexigraphical order to choose the positive Weyl chamber.

8 March 2005

Dusa McDuff

Susan Tolman