Properties of Wronski map of Grassmannians of Yanhe Huang Mentor:

advertisement
Properties of Wronski map of Grassmannians of
spaces of solutions of linear differential operators
Yanhe Huang
Mentor: Igor Zelenko
School of Mathematics and System Science,
Beihang University and Texas A&M University
May 13, 2015
Wronskian of a space of functions
Λ = span{f1 (t), f2 (t), . . . , fm (t)},



Wr f1 (t), f2 (t), . . . , fm (t) := det 

dim Λ = m
f1 (t)
f10 (t)
..
.
f2 (t)
f20 (t)
..
.
(m−1)
(m−1)
f1
(t) f2
...
...
..
.
fm (t)
0 (t)
fm
..
.
(m−1)
(t) . . . fm





(t)
Change of basis −→ multiplication of Wronskian by a constant
2 / 26
Wronskian of a space of functions
Λ = span{f1 (t), f2 (t), . . . , fm (t)},



Wr f1 (t), f2 (t), . . . , fm (t) := det 

dim Λ = m
f1 (t)
f10 (t)
..
.
f2 (t)
f20 (t)
..
.
(m−1)
(m−1)
f1
(t) f2
...
...
..
.
fm (t)
0 (t)
fm
..
.
(m−1)
(t) . . . fm





(t)
Change of basis −→ multiplication of Wronskian by a constant
3 / 26
Wronskian of a space of functions
Λ = span{f1 (t), f2 (t), . . . , fm (t)},



Wr f1 (t), f2 (t), . . . , fm (t) := det 

dim Λ = m
f1 (t)
f10 (t)
..
.
f2 (t)
f20 (t)
..
.
(m−1)
(m−1)
f1
(t) f2
...
...
..
.
fm (t)
0 (t)
fm
..
.
(m−1)
(t) . . . fm





(t)
Change of basis −→ multiplication of Wronskian by a constant
4 / 26
Classical Wronksi map
If Λ ∈ Grm (Polm+p−1 ) is an (m + p)−dimensional space of
univariant polynomials of degree at most m + p − 1, we will have
Wr : Grm (Polm+p−1 ) −→ P(Polmp )
Schubert in 1886 showed that the Wronski map is surjective and
the general polynomial in P(Polmp ) has
#m,p =
1!2! . . . (p − 1)! · (mp)!
m!(m + 1)! . . . (m + p − 1)!
preimages.
Polm+p−1 is a space of solution of x(m+p) = 0.
Natural question: What about the preimage of Wronski map for a
space of solution of a general homogeneous linear differential
operator?
5 / 26
Classical Wronksi map
If Λ ∈ Grm (Polm+p−1 ) is an (m + p)−dimensional space of
univariant polynomials of degree at most m + p − 1, we will have
Wr : Grm (Polm+p−1 ) −→ P(Polmp )
Schubert in 1886 showed that the Wronski map is surjective and
the general polynomial in P(Polmp ) has
#m,p =
1!2! . . . (p − 1)! · (mp)!
m!(m + 1)! . . . (m + p − 1)!
preimages.
Polm+p−1 is a space of solution of x(m+p) = 0.
Natural question: What about the preimage of Wronski map for a
space of solution of a general homogeneous linear differential
operator?
6 / 26
Classical Wronksi map
If Λ ∈ Grm (Polm+p−1 ) is an (m + p)−dimensional space of
univariant polynomials of degree at most m + p − 1, we will have
Wr : Grm (Polm+p−1 ) −→ P(Polmp )
Schubert in 1886 showed that the Wronski map is surjective and
the general polynomial in P(Polmp ) has
#m,p =
1!2! . . . (p − 1)! · (mp)!
m!(m + 1)! . . . (m + p − 1)!
preimages.
Polm+p−1 is a space of solution of x(m+p) = 0.
Natural question: What about the preimage of Wronski map for a
space of solution of a general homogeneous linear differential
operator?
7 / 26
Classical Wronksi map
If Λ ∈ Grm (Polm+p−1 ) is an (m + p)−dimensional space of
univariant polynomials of degree at most m + p − 1, we will have
Wr : Grm (Polm+p−1 ) −→ P(Polmp )
Schubert in 1886 showed that the Wronski map is surjective and
the general polynomial in P(Polmp ) has
#m,p =
1!2! . . . (p − 1)! · (mp)!
m!(m + 1)! . . . (m + p − 1)!
preimages.
Polm+p−1 is a space of solution of x(m+p) = 0.
Natural question: What about the preimage of Wronski map for a
space of solution of a general homogeneous linear differential
operator?
8 / 26
Natural generalization
Lx = x(2m) (t) + a2m−1 (t)x(2m−1) (t) + . . . + a0 (t)x(t)
Let VL be the space of solution of Lx = 0.
Wr : Grm (VL ) −→ P(C ∞ ) .
Wronski map on Grm (V ) is strongly non-injective if the preimage
of a general point in the image contains more than one point.
Wronski map on Grm (V ) is essentially injective if the preimage of
a general point in the image contains only one point.
9 / 26
Natural generalization
Lx = x(2m) (t) + a2m−1 (t)x(2m−1) (t) + . . . + a0 (t)x(t)
Let VL be the space of solution of Lx = 0.
Wr : Grm (VL ) −→ P(C ∞ ) .
Wronski map on Grm (V ) is strongly non-injective if the preimage
of a general point in the image contains more than one point.
Wronski map on Grm (V ) is essentially injective if the preimage of
a general point in the image contains only one point.
10 / 26
Natural generalization
Lx = x(2m) (t) + a2m−1 (t)x(2m−1) (t) + . . . + a0 (t)x(t)
Let VL be the space of solution of Lx = 0.
Wr : Grm (VL ) −→ P(C ∞ ) .
Wronski map on Grm (V ) is strongly non-injective if the preimage
of a general point in the image contains more than one point.
Wronski map on Grm (V ) is essentially injective if the preimage of
a general point in the image contains only one point.
11 / 26
Case of Self-adjoint operator
L is called self-adjoint if
Z
b
Z
Lu v dt =
a
b
u Lv dt + Aa,b (u, v)
a
where Aa,b (u, v) = σb (u, v) − σa (u, v).
The restriction of σ to the space of solution VL is a skew symmetric
form on VL .
Proposition
(Hein-Sottile-Zelenko ,2012, for Lx = x(2m) ; Zelenko for general
self-adjoint L) If L is self-adjoint, then Wr(Λ) = Wr(Λ∠ ) where Λ∠ is the
skew-symmetric complement w.r.t the form σ ⇒strong noninjectivity
Question: Is there a non-self adjoint operator for which the
corresponding Wronski map is strongly non-injective?
12 / 26
Case of Self-adjoint operator
L is called self-adjoint if
Z
b
Z
Lu v dt =
a
b
u Lv dt + Aa,b (u, v)
a
where Aa,b (u, v) = σb (u, v) − σa (u, v).
The restriction of σ to the space of solution VL is a skew symmetric
form on VL .
Proposition
(Hein-Sottile-Zelenko ,2012, for Lx = x(2m) ; Zelenko for general
self-adjoint L) If L is self-adjoint, then Wr(Λ) = Wr(Λ∠ ) where Λ∠ is the
skew-symmetric complement w.r.t the form σ ⇒strong noninjectivity
Question: Is there a non-self adjoint operator for which the
corresponding Wronski map is strongly non-injective?
13 / 26
Case of Self-adjoint operator
L is called self-adjoint if
Z
b
Z
Lu v dt =
a
b
u Lv dt + Aa,b (u, v)
a
where Aa,b (u, v) = σb (u, v) − σa (u, v).
The restriction of σ to the space of solution VL is a skew symmetric
form on VL .
Proposition
(Hein-Sottile-Zelenko ,2012, for Lx = x(2m) ; Zelenko for general
self-adjoint L) If L is self-adjoint, then Wr(Λ) = Wr(Λ∠ ) where Λ∠ is the
skew-symmetric complement w.r.t the form σ ⇒strong noninjectivity
Question: Is there a non-self adjoint operator for which the
corresponding Wronski map is strongly non-injective?
14 / 26
Geometric setting
Let C(t) be a natural curve in PV ∗ ,
C(t) := {p ∈ V ∗ : hp, x(·)i = 0 ∀ x(·) ∈ V , such that x(t) = 0} ,
Let c(t) ⊂ V ∗ such that C(t) = span{c(t)},
C (i) (t) := span c(t), c0 (t), . . . , c(i) (t)
m
Plücker embedding PlX
m : Grm (X) → P(∧ X) :
span(x1 , . . . , xm ) → x1 ∧ x2 . . . ∧ xm
15 / 26
Geometric setting
Let C(t) be a natural curve in PV ∗ ,
C(t) := {p ∈ V ∗ : hp, x(·)i = 0 ∀ x(·) ∈ V , such that x(t) = 0} ,
Let c(t) ⊂ V ∗ such that C(t) = span{c(t)},
C (i) (t) := span c(t), c0 (t), . . . , c(i) (t)
m
Plücker embedding PlX
m : Grm (X) → P(∧ X) :
span(x1 , . . . , xm ) → x1 ∧ x2 . . . ∧ xm
16 / 26
Geometric setting
Let C(t) be a natural curve in PV ∗ ,
C(t) := {p ∈ V ∗ : hp, x(·)i = 0 ∀ x(·) ∈ V , such that x(t) = 0} ,
Let c(t) ⊂ V ∗ such that C(t) = span{c(t)},
C (i) (t) := span c(t), c0 (t), . . . , c(i) (t)
m
Plücker embedding PlX
m : Grm (X) → P(∧ X) :
span(x1 , . . . , xm ) → x1 ∧ x2 . . . ∧ xm
17 / 26
Wronski map and Plücker embedding
SL := spant PlVm∗ (C (m−1) (t)) ⊂ P(∧m V ∗ )
AL := {ω ∈ (∧m V ∗ )∗ = ∧m V : ω|SL = 0} = SL⊥ .
Let π : ∧m V → ∧m V /AL be the canonical projection and
V
f := π ◦ P lm
Wr
: Grm (V ) → ∧m V /AL .
Proposition
f
Injectivity properties of Wr are the same as of Wr.
Proposition
If SL = P(∧m V ∗ ) or, equivalently AL = 0 ⇒ Wr is injective.
18 / 26
Reduction to the study of orbits
If m = 2, dimAL ≥ 1 ⇔ there ∃ a 2-form (symplectic form) ω s.t.
ω|C (m−1) (t) = 0 ⇔L is self-adjoint.
What about m = 3?
If L is self-adjoint, then dim AL ≥ 6.
If L is trivial Lx = x(6) , then dim AL = 10 (iff).
The method is to study classical injectivity properties of πK ◦ PlVm
where πK : ∧m V → ∧m V /K with dim K = 1, K ⊂ AL .
Gl2m (V ) acts on ∧m V , or to be specific, P(∧m V ).
It is enough to consider this problem for a representative of each orbit
under this action.
19 / 26
Reduction to the study of orbits
If m = 2, dimAL ≥ 1 ⇔ there ∃ a 2-form (symplectic form) ω s.t.
ω|C (m−1) (t) = 0 ⇔L is self-adjoint.
What about m = 3?
If L is self-adjoint, then dim AL ≥ 6.
If L is trivial Lx = x(6) , then dim AL = 10 (iff).
The method is to study classical injectivity properties of πK ◦ PlVm
where πK : ∧m V → ∧m V /K with dim K = 1, K ⊂ AL .
Gl2m (V ) acts on ∧m V , or to be specific, P(∧m V ).
It is enough to consider this problem for a representative of each orbit
under this action.
20 / 26
Reduction to the study of orbits
If m = 2, dimAL ≥ 1 ⇔ there ∃ a 2-form (symplectic form) ω s.t.
ω|C (m−1) (t) = 0 ⇔L is self-adjoint.
What about m = 3?
If L is self-adjoint, then dim AL ≥ 6.
If L is trivial Lx = x(6) , then dim AL = 10 (iff).
The method is to study classical injectivity properties of πK ◦ PlVm
where πK : ∧m V → ∧m V /K with dim K = 1, K ⊂ AL .
Gl2m (V ) acts on ∧m V , or to be specific, P(∧m V ).
It is enough to consider this problem for a representative of each orbit
under this action.
21 / 26
Reduction to the study of orbits
If m = 2, dimAL ≥ 1 ⇔ there ∃ a 2-form (symplectic form) ω s.t.
ω|C (m−1) (t) = 0 ⇔L is self-adjoint.
What about m = 3?
If L is self-adjoint, then dim AL ≥ 6.
If L is trivial Lx = x(6) , then dim AL = 10 (iff).
The method is to study classical injectivity properties of πK ◦ PlVm
where πK : ∧m V → ∧m V /K with dim K = 1, K ⊂ AL .
Gl2m (V ) acts on ∧m V , or to be specific, P(∧m V ).
It is enough to consider this problem for a representative of each orbit
under this action.
22 / 26
Reduction to the study of orbits
If m = 2, dimAL ≥ 1 ⇔ there ∃ a 2-form (symplectic form) ω s.t.
ω|C (m−1) (t) = 0 ⇔L is self-adjoint.
What about m = 3?
If L is self-adjoint, then dim AL ≥ 6.
If L is trivial Lx = x(6) , then dim AL = 10 (iff).
The method is to study classical injectivity properties of πK ◦ PlVm
where πK : ∧m V → ∧m V /K with dim K = 1, K ⊂ AL .
Gl2m (V ) acts on ∧m V , or to be specific, P(∧m V ).
It is enough to consider this problem for a representative of each orbit
under this action.
23 / 26
Classification of orbits
Image of Plücker embedding = Plücker manifold.
For m = 3, there are 5 different orbits under this action
ω0 = e123 + e456 : open orbit O0 ;
ω1 = e126 + e135 + e234 : codim 1 orbit O1 , the closure is tangential
variety of Plücker manifold;
ω5 = e1 ∧ (e23 + e45 ): codim 5 orbit O5 , the union of lines
connecting two points in Plücker manifold such that the 3-planes
corresponding to these two points intersect in a line;
ω10 = e123 : codim 10 orbit O10 , Plücker manifold;
ω20 = 0.
24 / 26
Results
If K ⊂ O0 → one pair of 3-planes with the same Wronskian.
If K ⊂ O1 → classically injective.
If K ⊂ O5 → 4-parametric family of pairs of 3-planes with same
Wronskian.
Theorem
If dim AL < 10 and dim AL ∩ O5 ≤ 5,then Wr is essentially injective.
Corollary
If dim AL ≤ 5,then Wr is essentially injective.
Theorem
If dim AL = 6 and Wr is strongly non-injective, then L is self-adjoint.
25 / 26
Thanks for your attention.
26 / 26
Download