lower bounds for gromov width of coadjoint orbits in …milena/uiuc.pdf · lower bounds for gromov...
TRANSCRIPT
![Page 1: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/1.jpg)
Lower bounds for Gromov width of
coadjoint orbits in SO(n).
Milena Pabiniak
UIUC December 6, 2011
![Page 2: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/2.jpg)
Problem suggested by
prof Yael Karshon,
extension of PhD work of her student
Masrour Zoghi
Key points:
• Hamiltonian torus action ⇒ symplectic embeddings of balls
• Action of the Gelfand-Tsetlin torus (Cetlin, Zetlin).
1
![Page 3: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/3.jpg)
Let (M,ω) be a 2N-dimensional symplectic
manifold.
Gromov Non-Squeezing Theorem ⇒being symplectomorphism is much more
restrictive then just being volume preserv-
ing.
The Gromov width of M is the supremum of the set of a’s such
that a ball of capacity a
B2Na =
{z ∈ CN
∣∣∣∣ π N∑i=1
|zi|2 < a
},
can be symplectically embedded in (M,ω).
2
![Page 4: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/4.jpg)
G- compact connected Lie group
Coadjoint action: Gy g∗
For matrix groups, coadjoint action is by conjugation.
T ⊂ G choice of maximal torus
(t∗)+ choice of positive Weyl chamber
coadjoint points in positive Weyl chamber
orbits1−1↔ (t∗)+
Fact: For any λ ∈ (t∗)+, the coadjoint orbit through λ, Oλ, is
a symplectic manifold with Kostant-Kirillov symplectic form ω.
3
![Page 5: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/5.jpg)
Example: G = U(n)
u(n)∗ ∼= u(n) ∼= n× n Hermitian matrices,
coadjoint action is conjugation
T =
eit1
eit2
. . .eitn
, t∗+ =
a1
a2. . .
an
; a1 ≥ a2 ≥ . . . ≥ an
Coadjoint orbits ∼= Hermitian matrices with the same eigenvalues
4
![Page 6: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/6.jpg)
Example: G = SO(2n+ 1), coadjoint action is conjugationso(2n+ 1)∗ ∼= (2n+ 1)× (2n+ 1) skew symmetric matricesLet
R(α) =
(cos(α) − sin(α)sin(α) cos(α)
), L(a) =
(0 −aa 0
)Then
TSO(2n+1) =
R(α1)R(α2)
. . .R(αn)
1
; αj ∈ S1
(tSO(2n+1))∗+ =
L(λ1)L(λ2)
. . .L(λn)
0
; λj ∈ R, λ1 ≥ . . . ≥ λn ≥ 0
Coadjoint orbits ∼= matrices with char. pol. t
∏nj=1(t2 + λ2
j ).
5
![Page 7: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/7.jpg)
Example: G = SO(2n), coadjoint action is conjugationso(2n)∗ ∼= (2n)× (2n) skew symmetric matrices
TSO(2n) =
R(α1)R(α2)
. . .R(αn)
; αj ∈ S1
(tSO(2n))
∗+ =
L(λ1)L(λ2)
. . .L(λn)
; λj ∈ R, λ1 ≥ . . . ≥ λn−1 ≥ |λn|
6
![Page 8: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/8.jpg)
Theorem 1. Let λ = (λ1 > . . . > λn) ∈ int t∗+, (i.e. λ regular),
M := Oλ - SO(2n+ 1) coadjoint orbit through λ.
The Gromov width of M is at least the minimum
min{λ1 − λ2, . . . , λn−1 − λn, 2λn},
what in the language of coroots is
min{∣∣∣⟨α∨, λ⟩∣∣∣ ;α∨ a coroot}.
Method:
- construct a proper, centered, Hamiltonian T -space,
- use it to construct explicit embeddings of symplectic balls;
7
![Page 9: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/9.jpg)
The root system of SO(2n+ 1) consists of vectors±ej, j = 1, . . . , n, of squared length 1,±(ej ± ek), j 6= k, of squared length 2.
Therefore this root system for SO(n) is non-simply laced.Note that ⟨
(±ej)∨, λ⟩
= ±2
⟨ej, λ
⟩⟨ej, ej
⟩ = ±2λj,
and ⟨(ej ± ek)∨, λ
⟩= 2
⟨ej ± ek, λ
⟩⟨ej ± ek, ej ± ek
⟩ = λj ± λk
Therefore for λ in our chosen positive Weyl chamber
min{∣∣∣⟨α∨, λ⟩∣∣∣ ;α∨ a coroot} = min{λ1 − λ2, . . . , λn−1 − λn, 2λn}.
8
![Page 10: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/10.jpg)
Why do we care about such lower bound?
1. (Zoghi) For regular, indecomposable (i.e. with some integral-
ity conditions) U(n) coadjoint orbits their Gromov width is given
by min{∣∣⟨α∨, λ⟩∣∣ ;α∨ a coroot}.
2. (P.) For a class of not regular U(n) coadjoint orbits the above
formula is a lower bound of their Gromov width.
3. (Zoghi) For any compact connected Lie group G, an up-
per bound of the Gromov width of a regular, indecomposable
coadjoint G orbit is given by the above formula.
Corollary 2. (P., Zoghi) The Gromov width of regular, indecom-
posable SO(n) coadjoint orbits is min{∣∣⟨α∨, λ⟩∣∣ ;α∨ a coroot}.
4. (Caviedes) is working on the upper bounds for non-regular
monotone U(n) orbits.
9
![Page 11: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/11.jpg)
Action is Hamiltonian: there exists a T -invariant momentum
map Φ: M → t∗, such that
ι(ξM)ω = d 〈Φ, ξ〉 ∀ ξ ∈ t,
where ξM is the vector field on M corresponding to ξ ∈ t.
This sign convention ⇒ for p ∈ MT , the isotropy weights of
T y TpM are pointing out of the momentum map image.
(S1)2 y C2 gives
NOT
10
![Page 12: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/12.jpg)
Let T ⊂ t∗ be an open convex set which contains Φ(M).
The quadruple (M,ω,Φ, T ) is a proper Hamiltonian T-manifold
if Φ is proper as a map to T .
We will identify Lie(S1) with R using the convention that the
exponential map exp : R ∼=Lie(S1) → S1 is given by t → e2πit,
that is S1 ∼= R/Z.
11
![Page 13: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/13.jpg)
A proper Hamiltonian T -manifold (M,ω,Φ, T ) is centered about
a point α ∈ T if
∀K⊂T ∀ctd X⊂MK , α ∈ Φ(X).
Not centered:
α
Centered:
αα
12
![Page 14: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/14.jpg)
Hamiltonian T action on M is called toric if dimT = 12 dimM.
Example 3.M - compact symplectic toric manifold
Φ: M → t∗ - moment map
Then:
∆ := Φ(M) is a convex polytope,
and for any α ∈∆, ⋃F face of ∆
α∈F
Φ−1(rel-int F )
is the largest subset of M that is centered about α.
13
![Page 15: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/15.jpg)
Proposition 4. (Karshon, Tolman) Let:
(M2n, ω,Φ, T ) - a proper Hamiltonian T -manifold,
centered about α ∈ T and
Φ−1({α}) = {p} a single fixed point.
Then
M is equivariantly symplectomorphic to{z ∈ Cn | α+ π
∑|zj|2ηj ∈ T
},
where −η1, . . . ,−ηn are the isotropy weights at p.
14
![Page 16: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/16.jpg)
Example: Isotropy weights at α: −η1,−η2
α
η2
η1 5η1
2η2
−η1
−η2
Φ−1(shaded region T ) is equivariantly symplectomorphic to
{z ∈ C2|α+ π(|z1|2η1 + |z2|2η2) ∈ T }Notice that
z ∈ B2 = {z ∈ C2∣∣∣∣π(|z1|2+|z2|2) < 2} ⇒ α+π(|z1|2η1+|z2|2η2) ∈ T
⇒ B2 ↪→M embedds symplectically
15
![Page 17: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/17.jpg)
G = SO(2n+ 1), T -maximal torus of G, dimT = n
Fix λ ∈ t∗+ regular, Oλ-coadjoint orbit through λ, dimOλ = n2
T y Oλ coadjoint (conjugation).
Centered region for this action is “too small”.
For example, for the SO(5) orbit through λ = (6,1)
min{∣∣∣⟨α∨, λ⟩∣∣∣ ;α∨ a coroot} = min{5,7,12,2} = 2,
while the centered region is
16
![Page 18: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/18.jpg)
λ
σβ(λ)
σα(p)
E1
E2
2
2
1
5
α = e1 + e2
e1
β = e2
σβ(α) 17
![Page 19: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/19.jpg)
Therefore we will use the Gelfand-Tsetlin action.
First define the Gelfand-Tsetlin functions for a group G of
rank k.
Consider a sequence of subgroups
G = Gk ⊃ Gk−1 ⊃ . . . ⊃ G1,
with maximal tori T = Tk ⊃ Tk−1 ⊃ . . . ⊃ T1.
Inclusion Gj ↪→ G ⇒ an action of Gj on the G-coadjoint orbit Oλ.
This action is Hamiltonian with momentum map
Φj : g∗ → g∗j
18
![Page 20: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/20.jpg)
Every Gj orbit intersects the (chosen) positive Weyl chamber
(tGj)∗+ exactly once.
This defines a continuous (but not everywhere smooth) map
sj : g∗j → (tGj)∗+.
Let Λ(j) denote the composition sj ◦Φj:
Oλ Φj//
Λ(j) ##HHHH
HHHH
HHg∗jsj
��
(tGj)∗+
The functions {Λ(j)}, j = 1, . . . , k−1, form the Gelfand-Tsetlin
system denoted by Λ : Oλ → RN .
19
![Page 21: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/21.jpg)
Example: G = U(n) ⊃ U(n− 1) ⊃ . . . ⊃ U(1)
- maximal tori: diagonal matrices,- t∗: diagonal Hermitian matrices,- positive Weyl chambers: eigenvalues in non-increasing order.
Then for a Hermitian matrix A,
Φj(A) is its j × j top left submatrix and
Λ(j)(A) = (λ(j)1 (A) ≥ . . . ≥ λ(j)
1 (A)) ∈ Rj
is a sequence of eigenvalues of Φj(A) ordered in a non-increasingway.
Due to this ordering, the function Λ(j) is not smooth on thewhole orbit. The singularities may occur when eigenvalues coin-cide.
20
![Page 22: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/22.jpg)
Gelfand-Tsetlin system for SO(2n+ 1).
SO(2n+ 1) ⊃ SO(n) ⊃ . . . ⊃ SO(2).
For any k = 2, . . . ,2n, SO(k) injects into SO(2n+ 1) by
SO(k) 3 B 7→(B 00 I
).
⇒ SO(k) also acts on Oλ by a subaction of a coadjoint action.
This action is Hamiltonian with a momentum map
Φk : Oλ → so(k)∗,
Φk(A) − k × k top left submatirx of A.
21
![Page 23: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/23.jpg)
Then
λ(k)1 (A) ≥ λ(k)
2 (A) ≥ . . . ≥ λ(k)
bk2c(A)
are such that
Φk(A) ∼SO(k)
L(λ(k)
1 (A)). . .
L(λ(k)
bk2c(A))
0
if k odd
or
Φk(A) ∼SO(k)
L(λ(k)
1 (A)). . .
L(λ(k)
bk2c(A))
if k even .
22
![Page 24: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/24.jpg)
Why not smooth everywhere?
Due to ordering. The singularities may occur when generalized
eigenvalues coincide.
Proposition 5. The functions Λ(k) are smooth at the preimage
of the interior of the positive Weyl chamber,
USO(k) := (Λ(k))−1(int (tSO(k))∗+).
23
![Page 25: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/25.jpg)
Torus action induced by the Gelfand-Tsetlin system
On USO(k), Λ(k) is inducing a smooth action of TSO(k).
For t ∈ TSO(k) and A ∈ Oλ this new action is
t ∗A =
(B−1 tB
I
)A
(B−1 t−1B
I
)
where B ∈ SO(k) is such that
BΦk(A)B−1 ∈ (tSO(k))∗+.
Proposition 6. Λ(k) is a momentum map for the Hamiltonian
action of the torus TSO(k) on USO(k).
24
![Page 26: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/26.jpg)
Putting together actions of all TSO(k), we obtain the action of
the Gelfand-Tsetlin torus TGTs
TGTs = TSO(2n) ⊕ TSO(2n−1) ⊕ . . .⊕ TSO(2)
on the set
U :=2n⋂k=2
USO(k).
Momentum map for this action is
Λ = (Λ(2n),Λ(2n−1), . . . ,Λ(2)) : Oλ → t∗GTs∼= Rn
2.
25
![Page 27: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/27.jpg)
Image of the momentum map
Let {x(k)j |1 ≤ k ≤ 2n, 1 ≤ j ≤ bk2c} be basis of Rn2
.
Proposition 7. The image of the Gelfand-Tsetlin functions
Λ : Oλ → Rn2is the polytope, which we will denote by P, defined
by the following set of inequalities x(2k)1 ≥ x(2k−1)
1 ≥ x(2k)2 ≥ x(2k−1)
2 ≥ . . . ≥ x(2k)k−1 ≥ x
(2k−1)k−1 ≥ |x(2k)
k |,x
(2k+1)1 ≥ x(2k)
1 ≥ x(2k+1)2 ≥ x(2k)
2 ≥ . . . ≥ x(2k+1)k ≥ |x(2k)
k |,
for all k = 1, . . . , n, where x(2n+1)j = λj.
Moreover, the dimension of the polytope P is n2, what is half of
the dimension of Oλ.
26
![Page 28: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/28.jpg)
Graphically,
. . .
. . .. . .
. . .
. . .
λ1 λ2 λn
x(2n)1 x
(2n)2 x
(2n)n−1 |x(2n)n |
λn−1
x(2n−1)1 x
(2n−1)2 x
(2n−1)n−1
Every coordinate is between its top right and top left neighbors.
27
![Page 29: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/29.jpg)
Where do these inequalities come from?
Any A ∈ Oλ can be SO(2n+ 1) conjugated toL(λ1)
. . .L(λn)
0
and U(2n+ 1) conjugated to
iλ1. . .
iλn0−iλn
. . .−iλ1
28
![Page 30: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/30.jpg)
Therefore the Hermitian matrix 1iA can be U(2n+1) conjugated
to
diag(λ1, . . . , λn,0,−λn, . . . ,−λ1)
and similarly (1iA)2n can be U(2n) conjugated to
diag(λ(2n)1 , . . . , |λ(2n)
n |,−|λ(2n)n |, . . . ,−λ(2n)
1 ).
Min-max principle ⇒ intertwining inequalities on the eigenvalues:
λj ≥ λ(2n)j ≥ λj+1, λn ≥ |λ(2n)
n | ≥ 0
29
![Page 31: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/31.jpg)
Going the other way:
Lemma 8. For any a1 ≥ b1 ≥ a2 ≥ . . . ≥ ak ≥ bk ≥ ak+1 ∈ R
∃ x1, . . . , xk ∈ C, xk+1 ∈ R
such that the Hermitian matrix
A :=
b1 0 x̄1
. . . ...0 bk x̄kx1 . . . xk xk+1
,has eigenvalues a1, . . . , ak+1
.
30
![Page 32: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/32.jpg)
For our example of SO(5) orbit through λ = (6,1) have
6 ≥ λ(4)1 ≥ 1 ≥ |λ(4)
2 |,
λ(4)1 ≥ λ(3)
1 ≥ |λ(4)2 |,
λ(3)1 ≥ |λ(2)
2 |.
31
![Page 33: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/33.jpg)
Note:
- λ is in U as all generalized eigenvalues for λ are distinct.
- λ is fixed under the action of Gelfand-Tsetlin torus
- Λ(λ) is a vertex of P as all Gelfand-Tsetlin functions are equal
to their upper bounds.
Moreover:
∀ ( face S of P, Λ(λ) ∈ S) Λ−1( rel-intS) ⊂ U.
Therefore the region
T :=⋃
S; Λ(λ)∈SΛ−1(rel-int S) ⊂ U.
is centered around Λ(λ).
32
![Page 34: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/34.jpg)
Need: weights of the Gelfand-Tsetlin action on TλOλ.
First: identify the edges of P starting from Λ(λ):
• pick one of these inequalities defining P that is an equation
on Λ(λ)
• consider the set of points in P satisfying all the equations
that Λ(λ) does except possibly this chosen one. Call this set
E.
33
![Page 35: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/35.jpg)
Back to example of SO(5) orbit through λ = (6,1):
At Λ(λ) = (6,1,6,6) all Gelfand-Tsetlin functions are equal totheir upper bounds.
Can choose the equation λ(4)1 = λ
(3)1 .
Then the set E case consists of points satisfying
6 1= =
x(4)1 x
(4)2
≥x
(3)1
=
x(2)1
34
![Page 36: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/36.jpg)
That is,
(x(4)1 , x
(4)2 , x
(3)1 , x
(2)1 ) = (6,1, s, s) ∈ R4
where
s ∈ [1,6].
Note that the edge E connects Λ(λ) = (6,1,6,6) and (6,1,1,1),
so
~E = (0,0,−5,−5).
35
![Page 37: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/37.jpg)
The preimage Λ−1(E) consists of matrices A of the form
A :=
0 −s 0 −a 0s 0 0 −b 00 0 0 −c 0a b c 0 00 0 0 0 0
,
where a, b, c ∈ R are such that
(A)4 ∼SO(4)
0 −66 0
0 −11 0
36
![Page 38: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/38.jpg)
In particular, the characteristic polynomial of (A)4,
t4 + t2(a2 + b2 + c2 + s2) + c2s2,
must be equal to t4 + t2(6 + 1) + 6.
This gives S1 worth of solutions for any s ∈ (1,6), and unique
solution for s = 1 or 6.
Therefore Λ−1(E) is S2.
37
![Page 39: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/39.jpg)
Calculating weights of the action of the Gelfand Tsetlin torus
TGTs = TSO(4) ⊕ TSO(3) ⊕ TSO(2).
First of TSO(4). Let
R =
(R(α1)
R(α2)
)∈ TSO(4).
Then
R ∗A =
(B−1RB
1
) ((A)4 0
0 0
) (B−1R−1B
1
)
=
(B−1R (B(A)4B
−1) R−1B 00 0
)=
((A)4
0
)= A
The action is trivial.
38
![Page 40: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/40.jpg)
Now let
R =
(R(α1)
1
)∈ TSO(3), W =
(a b c0 0 0
).
Then
R∗A =
(R
I2
) ((A)3 −WT
W 0
) (R−1
I2
)=
((A)3 −RWT
W R−1 0
).
As
−RWT =
R(α1)
(−a−b
)0
−c 0
The action has weight 1.
Similarly TSO(2) acts with weight 1.
39
![Page 41: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/41.jpg)
Therefore the Gelfand-Tsetlin torus acts on TλOλ with weight
−η = (0,0,1,1).
Recall that ~E = (0,0,−5,−5), so
~E = (6− 1)η = 〈(e1 − e2)∨, (6,1)〉η = 2〈e1 − e2, λ〉
〈e1 − e2, e1 − e2〉η.
40
![Page 42: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/42.jpg)
Now, for example, choose the equation
λ(4)2 = 1.
Then the set E case consists of points
6 1= ≥x
(4)1 x
(4)2
=
x(3)1
=
x(2)1
41
![Page 43: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/43.jpg)
That is,
(x(4)1 , x
(4)2 , x
(3)1 , x
(2)1 ) = (6, l,6,6) ∈ R4
where
l ∈ [−1,1].
Note that the edge E connects Λ(λ) = (6,1,6,6) and (6,−1,1,1),
so
~E = (0,−2,0,0).
42
![Page 44: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/44.jpg)
The preimage Λ−1(E) consists of matrices A of the form
A :=
0 −6 0 0 −y16 0 0 0 −y20 0 0 −l −y30 0 l 0 −y4y1 y2 y3 y4 0
,
where Y = (y1, y2, y3, y4) ∈ R4 is such that A ∈ Oλ that is
A ∼SO(5)
0 −66 0
0 −11 0
0
43
![Page 45: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/45.jpg)
Compare characteristic polynomials and get
y1 = y2 = 0,
y23 + y2
4 = 62 + 12 − 62 − l2 = 12 − l2.
This gives S1 worth of solutions for any l ∈ (−1,1), and unique
solution for l = ±1.
Therefore Λ−1(E) is S2.
44
![Page 46: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/46.jpg)
Calculating weights of the action of the Gelfand Tsetlin torus
TGTs = TSO(4) ⊕ TSO(3) ⊕ TSO(2).
First of TSO(4). Let
R =
(R(α1)
R(α2)
)∈ TSO(4).
Then
R∗A =
(R
1
) ((A)4 −Y TY 0
) (R−1
1
)=
((A)4 −RY TY R−1 0
),
−RY T =
00
R(α2)
(−y3−y4
)
The action of TSO(4) has weight (0,1).
45
![Page 47: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/47.jpg)
Now let
R =
(R(α1)
1
)∈ TSO(3).
Then R ∗A is R(α1)1
11
0 −6 0 0 06 0 0 0 00 0 0 −l −y3
0 0 l 0 −y4
0 0 y3 y4 0
R(α1)−1
11
1
=
(A)3
(R(α1)
1
) 0 00 0−l −y3
(0 0 l0 0 y3
) (R(α1)−1
1
)0
= A.
The action is trivial.Similarly, the action of TSO(2) is trivial.
46
![Page 48: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/48.jpg)
Therefore the Gelfand-Tsetlin torus acts on TλOλ with weight
−η = (0,1,0,0).
Recall that ~E = (0,−2,0,0), so
~E = 2η = 2〈(e2)∨, (6,1)〉η = 2〈e2, λ〉〈e2, e2〉
η.
47
![Page 49: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/49.jpg)
Lemma 9. Every edge E of P starting from Λ(λ) is at least
r := min{∣∣∣⟨α∨, λ⟩∣∣∣ ;α∨ a coroot}
multiple of ηE where (−ηE) is the weight of the action along this
edge.
48
![Page 50: Lower bounds for Gromov width of coadjoint orbits in …milena/UIUC.pdf · Lower bounds for Gromov width of coadjoint orbits in SO(n). Milena Pabiniak UIUC December 6, 2011](https://reader030.vdocuments.net/reader030/viewer/2022021504/5aa55ec17f8b9afa758d1704/html5/thumbnails/50.jpg)
Denote the weights by −η1, . . . ,−ηn2.
The centered region T is equivariantly symplectomorphic to
W :={z ∈ Cn | λ+ π
∑|zj|2ηj ∈ T
}.
Due to Lemma 9, for any z in a ball of capacity r,
Br = {z ∈ Cn2∣∣∣∣ π∑n2
i=1 |zi|2 < r}, have
λ+ πn2∑i=1
|zi|2ηi ∈ T .
Thus:
⇒ Br ⊂ W⇒ Br symplectically embeds into T ⊂ Oλ.⇒ r is the lower bound for Gromov width of Oλ.
49