Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf ·...
Transcript of Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf ·...
![Page 1: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/1.jpg)
Visible Actions and Multiplicity-free Representations
Toshiyuki Kobayashi
Kavli IPMU, the University of Tokyo
http://www.ms.u-tokyo.ac.jp/ ˜toshi/
XVIth International Conference on
Geometry, Integrability and Quantization
6–11 June 2014, Varna, Bulgaria
![Page 2: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/2.jpg)
Varna Lectures on visible actions and MF representations
I. EXAMPLES OF MULTIPLICITY-FREE REPRESENTATIONS
II. INFINITE DIMENSIONAL EXAMPLES
III. PROPAGATION THEOREM OF MULTIPLICITY-FREE
REPRESENTATIONS
IV. VISIBLE ACTIONS ON COMPLEX MANIFOLDS
V. APPLICATIONS OF VISIBLE ACTIONS TO
MULTIPLICITY-FREE REPRESENTATIONS
![Page 3: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/3.jpg)
Varna Lectures on visible actions and MF representations
I. EXAMPLES OF MULTIPLICITY-FREE REPRESENTATIONS
II. INFINITE DIMENSIONAL EXAMPLES
III. PROPAGATION THEOREM OF MULTIPLICITY-FREE
REPRESENTATIONS
IV. VISIBLE ACTIONS ON COMPLEX MANIFOLDS
V. APPLICATIONS OF VISIBLE ACTIONS TO
MULTIPLICITY-FREE REPRESENTATIONS
![Page 4: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/4.jpg)
Plan
I propose
a new method (based on “visible actions”) to
prove/find/construct
multiplicity-free representations
for finite/infinite dimensional representations.
![Page 5: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/5.jpg)
References (a) for Varna Lectures
• Overview
Publ. Res. Inst. Math. Sci. (2005)
• Visible Actions — Classification Theory
J. Math. Soc. Japan (2007) · · · GLn case
Transformation Groups (2007) · · · symmetric pairs
A. Sasaki (IMRN (2009), IMRN (2011), Geometriae Dedicata
(2010))
Y. Tanaka (J. Algebra (2014), J. Math. Soc. Japan (2013),
Tohoku J, B. Australian Math. Soc. (2013), etc)
• Multiplicity-free Theorem via Visible Actions
Progr. Math. (2013) · · · general theory
![Page 6: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/6.jpg)
References (b) for Varna Lectures
• Application to concrete examples
Acta Appl. Math. (2004) · · · ⊗ product, GLn
Progr. Math. (2008)
• Generalization of Kostant–Schmid formula
Proc. Rep. Theory, Saga (1997)
• Multiplicity-free Theorems and Orbit Philosophy
Adv. Math. Sci. (2003), AMS (with Nasrin)
Nasrin (Geoemtriae Dedicata (2014))
![Page 7: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/7.jpg)
Unkei (Sculptor, 1148?–1223)
(Short story by Soseki, 1908)
![Page 8: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/8.jpg)
Unkei (Sculptor, 1148?–1223)
(Short story by Soseki, 1908)
“He uses the hammer and chisel without any forethought, and
he can make the eyebrows and nose as live.”
“Ah, they are not made by hammer and chisel. The eyebrows
and nose are buried inside the tree. It is exactly the same as
digging a rock out of the earth — there is no way to mistake.”
![Page 9: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/9.jpg)
Unkei (Sculptor, 1148?–1223)
(Short story by Soseki, 1908)
“He uses the hammer and chisel without any forethought, and
he can make the eyebrows and nose as live.”
“Ah, they are not made by hammer and chisel. The eyebrows
and nose are buried inside the tree. It is exactly the same as
digging a rock out of the earth — there is no way to mistake.”
![Page 10: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/10.jpg)
Unkei (Sculptor, 1148?–1223)
(Short story by Soseki, 1908)
“He uses the hammer and chisel without any forethought, and
he can make the eyebrows and nose as live.”
“Ah, they are not made by hammer and chisel. The eyebrows
and nose are buried inside the tree. It is exactly the same as
digging a rock out of the earth — there is no way to mistake.”
∃←
![Page 11: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/11.jpg)
Unkei (Sculptor, 1148?–1223)
(Short story by Soseki, 1908)
“He uses the hammer and chisel without any forethought, and
he can make the eyebrows and nose as live.”
“Ah, they are not made by hammer and chisel. The eyebrows
and nose are buried inside the tree. It is exactly the same as
digging a rock out of the earth — there is no way to mistake.”
∃ 1←
![Page 12: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/12.jpg)
Multiplicity-free theorems
Multiplicity-freeness
=each building block is used no more than once
![Page 13: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/13.jpg)
Multiplicity-free theorems
Multiplicity-freeness
=each building block is used no more than once
The structure of “multiplicity-free representations”
may be hidden in classical mathematical methods.
![Page 14: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/14.jpg)
Multiplicity-free theorems
Multiplicity-freeness
=each building block is used no more than once
The structure of “multiplicity-free representations”
may be hidden in classical mathematical methods.
E.g. the Taylor series, the Fourier transform,
the expansion into spherical harmonics, etc.
![Page 15: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/15.jpg)
Multiplicity-free theorems
Multiplicity-freeness
=each building block is used no more than once
The structure of “multiplicity-free representations”
may be hidden in classical mathematical methods.
E.g. the Taylor series, the Fourier transform,
the expansion into spherical harmonics, etc.
Multiplicity-free property is ‘rare’ in general.
![Page 16: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/16.jpg)
Multiplicity-free theorems
Multiplicity-freeness
=each building block is used no more than once
The structure of “multiplicity-free representations”
may be hidden in classical mathematical methods.
E.g. the Taylor series, the Fourier transform,
the expansion into spherical harmonics, etc.
Multiplicity-free property is ‘rare’ in general.
How to find such a structure systematically ?
![Page 17: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/17.jpg)
New approach — “visible action”
Aim . . .
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
![Page 18: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/18.jpg)
New approach — “visible action”
Aim . . .
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Analysis on complex mfd with group action
having ∞ many orbits
![Page 19: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/19.jpg)
New approach — “visible action”
Aim . . .
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Analysis on complex mfd with group action
having ∞ many orbits
(Strongly) Visible Action (K– 2004)
![Page 20: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/20.jpg)
New approach — “visible action”
Aim . . .
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Propagation of MF property from fiber to sections
⇑ (Progr. Math 2013)
Analysis on complex mfd with group action
having ∞ many orbits
(Strongly) Visible Action (K– 2004)
![Page 21: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/21.jpg)
§1 Multiplicity-free representations
Ex.1 (Eigenspace decomposition)
H : Vector sp./C, dim < ∞
A ∈ EndC(H)
s.t. all eigenvalues are distinct. 1©
![Page 22: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/22.jpg)
§1 Multiplicity-free representations
Ex.1 (Eigenspace decomposition)
H : Vector sp./C, dim < ∞
A ∈ EndC(H)
s.t. all eigenvalues are distinct. 1©
=⇒H = Ce1 ⊕ · · · ⊕ Cen ≃ Cn (canonical)
![Page 23: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/23.jpg)
§1 Multiplicity-free representations
Ex.1 (Eigenspace decomposition)
H : Vector sp./C, dim < ∞
A ∈ EndC(H)
s.t. all eigenvalues are distinct. 1©
=⇒H = Ce1 ⊕ · · · ⊕ Cen ≃ Cn (canonical)
det A , 0
⇓
πA : Z −→ GLC(H)
∈ ∈
n 7−→ An
![Page 24: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/24.jpg)
§1 Multiplicity-free representations
Ex.1 (Eigenspace decomposition)
H : Vector sp./C, dim < ∞
A ∈ EndC(H)
s.t. all eigenvalues are distinct. 1©
=⇒H = Ce1 ⊕ · · · ⊕ Cen ≃ Cn (canonical)
1© & det A , 0
⇓
πA : Z −→ GLC(H) is MF (multiplicity-free)
∈ ∈
n 7−→ An
![Page 25: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/25.jpg)
MF = multiplicity-free (definition)
π : Ggroup
→ GLC(H)
![Page 26: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/26.jpg)
MF = multiplicity-free (definition)
π : Ggroup
→ GLC(H)
Def. (naive) (π,H) is MF
multiplicity-free
if dim HomG(τ, π) ≤ 1 (∀τ: irred. rep. of G).
![Page 27: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/27.jpg)
MF = multiplicity-free (definition)
π : Ggroup
→ GLC(H)
Def. (naive) (π,H) is MF
multiplicity-free
if dim HomG(τ, π) ≤ 1 (∀τ: irred. rep. of G).
{irreducible representations}
![Page 28: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/28.jpg)
MF = multiplicity-free (definition)
π : Ggroup
→ GLC(H)
Def. (naive) (π,H) is MF
multiplicity-free
if dim HomG(τ, π) ≤ 1 (∀τ: irred. rep. of G).
{irreducible representations}
∩
![Page 29: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/29.jpg)
MF = multiplicity-free (definition)
π : Ggroup
→ GLC(H)
Def. (naive) (π,H) is MF
multiplicity-free
if dim HomG(τ, π) ≤ 1 (∀τ: irred. rep. of G).
{irreducible representations}
∩
{MF representations}
![Page 30: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/30.jpg)
Taylor series (MF rep.)
Ex.2 (Taylor expansion, Laurent expansion)
f (z1, . . . , zn) =∑
α=(α1 ,...,αn)
aαzα1
1. . . z
αnn
![Page 31: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/31.jpg)
Taylor series (MF rep.)
Ex.2 (Taylor expansion, Laurent expansion)
f (z1, . . . , zn) =∑
α=(α1 ,...,αn)
aαzα1
1. . . z
αnn
Point (too obvious ♣ ref.)∃1aα ∈ C for each α
![Page 32: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/32.jpg)
Taylor series (MF rep.)
Ex.2 (Taylor expansion, Laurent expansion)
f (z1, . . . , zn) =∑
α=(α1 ,...,αn)
aαzα1
1. . . z
αnn
Point (too obvious ♣ ref.)∃1aα ∈ C for each α
⇑
dim Hom(C×)n(τ,O({0}) ≤ 1
(∀τ = τα: irred. rep. of (C×)n)
i.e. (C×)nyO({0}) is MF
![Page 33: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/33.jpg)
Fourier series
Ex.3 (Fourier series expansion)
L2(S 1)≃∑
n∈Z
⊕Ceinx
f (x)=∑
n∈Z
aneinx
![Page 34: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/34.jpg)
Fourier series
Ex.3 (Fourier series expansion)
L2(S 1)≃∑
n∈Z
⊕Ceinx
f (x)=∑
n∈Z
aneinx
Translation (=⇒ rep. of the group S 1)
f (·) 7→ f (· − c) (c ∈ S 1 ≃ R/2πZ)
![Page 35: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/35.jpg)
Fourier series
Ex.3 (Fourier series expansion)
L2(S 1)≃∑
n∈Z
⊕Ceinx ∃1
← einx
f (x)=∑
n∈Z
aneinx
Translation (=⇒ rep. of the group S 1)
f (·) 7→ f (· − c) (c ∈ S 1 ≃ R/2πZ)
S 1y L2(S 1) is MF (multiplicity-free)
![Page 36: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/36.jpg)
Peter–Weyl (MF rep.)
Ex.4 (Peter–Weyl)
G: compact (Lie) group
L2(G) ≃∑
τ∈G
⊕τ ⊠ τ∗
![Page 37: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/37.jpg)
Peter–Weyl (MF rep.)
Ex.4 (Peter–Weyl)
G: compact (Lie) group
L2(G) ≃∑
τ∈G
⊕τ ⊠ τ∗
irred. rep. of G ×G
⇑
Translation f (·) 7→ f (g−11· g2)
![Page 38: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/38.jpg)
Peter–Weyl (MF rep.)
Ex.4 (Peter–Weyl)
G: compact (Lie) group
L2(G) ≃∑
τ∈G
⊕τ ⊠ τ∗
irred. rep. of G ×G
⇑
Translation f (·) 7→ f (g−11· g2)
=⇒ G ×Gy
L2(G) is MF
![Page 39: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/39.jpg)
Spherical harmonics
M: compact Riemannian manifold
∆M : Laplace–Beltrami operator on M
⇒
![Page 40: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/40.jpg)
Spherical harmonics
M: compact Riemannian manifold
∆M : Laplace–Beltrami operator on M
⇒
L2(M) =∑⊕
λ: countable
Ker(∆M − λ)
(direct sum of eigenspaces)
![Page 41: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/41.jpg)
Spherical harmonics
M: compact Riemannian manifold
∆M : Laplace–Beltrami operator on M
⇒
L2(M) =∑⊕
λ: countable
Ker(∆M − λ)
(direct sum of eigenspaces)
Ex.5 M = S n−1 (unit sphere)
![Page 42: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/42.jpg)
Spherical harmonics
M: compact Riemannian manifold
∆M : Laplace–Beltrami operator on M
⇒
L2(M) =∑⊕
λ: countable
Ker(∆M − λ)
(direct sum of eigenspaces)
Ex.5 M = S n−1 (unit sphere)
∆S n−1 f = λ f , f , 0
⇒
λ = −l(l + n − 2) for some l ∈ N.
![Page 43: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/43.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
![Page 44: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/44.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
Ex.6 (Expansion into spherical harmonics)
Hl :={
f ∈ C∞(S n−1) : ∆S n−1 f = −l(l + n − 2) f}
![Page 45: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/45.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
Ex.6 (Expansion into spherical harmonics)
Hl :={
f ∈ C∞(S n−1) : ∆S n−1 f = −l(l + n − 2) f}
L2(S n−1) ≃
∞∑⊕
l=0
Hl
![Page 46: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/46.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
Ex.6 (Expansion into spherical harmonics)
Hl :={
f ∈ C∞(S n−1) : ∆S n−1 f = −l(l + n − 2) f}
L2(S n−1) ≃
∞∑⊕
l=0
Hl
O(n) irred.
![Page 47: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/47.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
Ex.6 (Expansion into spherical harmonics)
Hl :={
f ∈ C∞(S n−1) : ∆S n−1 f = −l(l + n − 2) f}
L2(S n−1) ≃
∞∑⊕
l=0
Hl
O(n) irred.
⇓
O(n)y
L2(S n−1) is MF
![Page 48: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/48.jpg)
Fourier series =⇒ spherical harmonics
O(n)y
S n−1 ⊂ Rn
∆S n−1 : Laplacian on S n−1
Ex.6 (Expansion into spherical harmonics)
Hl :={
f ∈ C∞(S n−1) : ∆S n−1 f = −l(l + n − 2) f}
L2(S n−1) ≃
∞∑⊕
l=0
Hl
O(n) irred.
⇓
O(n)y
L2(S n−1) is MF
Gy
L2(G/K) is MF (E. Cartan (’29)–I. M. Gelfand (’50))
![Page 49: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/49.jpg)
⊗-product rep.
SL2(C)
πky
irred.S k(C2) (k = 0, 1, 2, . . . )
![Page 50: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/50.jpg)
⊗-product rep.
SL2(C)
πky
irred.S k(C2) (k = 0, 1, 2, . . . )
Ex.7 (Clebsch–Gordan)
πk ⊗ πl≃ πk+l ⊕ πk+l−2 ⊕ · · · ⊕ π|k−l|
![Page 51: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/51.jpg)
⊗-product rep.
SL2(C)
πky
irred.S k(C2) (k = 0, 1, 2, . . . )
Ex.7 (Clebsch–Gordan)
πk ⊗ πl
MF
≃ πk+l ⊕ πk+l−2 ⊕ · · · ⊕ π|k−l|
![Page 52: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/52.jpg)
Notation (finite dimensional reps)
G = GLn(C)
Hightest weight
λ = (λ1 . . . , λn) ∈ Zn, λ1 ≥ λ2 ≥ · · · ≥ λn
⇓
Irreducible rep.
πGLn
λ≡ πλ
Ex.8
λ = (k, 0, . . . , 0) ↔ GLn(C)y
S k(Cn)
λ = (1, . . . , 1︸ ︷︷ ︸k
, 0, . . . , 0) ↔ GLn(C)yΛ
k(Cn)
![Page 53: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/53.jpg)
⊗-product rep. (GLn-case)
Ex.9 (Pieri’s rule)
π(λ1,...,λn) ⊗ π(k,0,...,0) ≃⊕
µ1≥λ1≥···≥µn≥λn∑(µi−λi)=k
π(µ1,...,µn)
![Page 54: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/54.jpg)
⊗-product rep. (GLn-case)
Ex.9 (Pieri’s rule)
π(λ1,...,λn) ⊗ π(k,0,...,0) ≃⊕
µ1≥λ1≥···≥µn≥λn∑(µi−λi)=k
π(µ1,...,µn)
⇑
MF as a GLn-module.
![Page 55: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/55.jpg)
⊗-product rep. (GLn-case)
Ex.9 (Pieri’s rule)
π(λ1,...,λn) ⊗ π(k,0,...,0) ≃⊕
µ1≥λ1≥···≥µn≥λn∑(µi−λi)=k
π(µ1,...,µn)
⇑
MF as a GLn-module.
Ex.10 (counterexample)
π(2,1,0) ⊗ π(2,1,0) is NOT MF as a GL3(C)-module.
![Page 56: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/56.jpg)
⊗-product for GL3
π{2,1,0} ≃ Adjoint reprsentation
(up to central character)
![Page 57: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/57.jpg)
⊗-product for GL3
π{2,1,0} ≃ Adjoint reprsentation
(up to central character)
π(2,1,0) ⊗ π(2,1,0)
≃
![Page 58: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/58.jpg)
⊗-product for GL3
π{2,1,0} ≃ Adjoint reprsentation
(up to central character)
π(2,1,0) ⊗ π(2,1,0)
≃ π(4,2,0) ⊕ π(4,1,1) ⊕ π(2,2,0)
⊕ 2π(3,2,1) ⊕ π(2,2,2)
![Page 59: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/59.jpg)
When is πλ ⊗ πν MF?
G = GLn
λ = (λ1, . . . , λn), ν = (ν1, . . . , νn)
![Page 60: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/60.jpg)
When is πλ ⊗ πν MF?
G = GLn
λ = (λ1, . . . , λn), ν = (ν1, . . . , νn)
(Necessary Condition)
If πλ ⊗ πν is MF
⇒ ?
![Page 61: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/61.jpg)
When is πλ ⊗ πν MF?
G = GLn
λ = (λ1, . . . , λn), ν = (ν1, . . . , νn)
(Necessary Condition)
If πλ ⊗ πν is MF
then at least one of λ or ν is of the form
(a, . . . , a︸ ︷︷ ︸p
, b, . . . , b︸ ︷︷ ︸n−p
),
for some a ≥ b and some p
![Page 62: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/62.jpg)
⊗-product rep. (continued)
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸q
) ∈ Zn, a ≥ b, p + q = n
Ex.11 (Stembridge 2001)
πλ ⊗ πν is MF as a GLn(C)-module
iff one of the following holds
1) min(a − b, p, q) = 1 (and ν is any),
2) min(a − b, p, q) = 2 and
⋆ν is of the form ν = (x · · · x︸︷︷︸
n1
y · · · y︸︷︷︸n2
z · · · z︸︷︷︸n3
) (x ≥ y ≥ z),
3) min(a − b, p, q) ≥ 3, ⋆ &
min(x − y, y − z, n1, n2, n3) = 1.
![Page 63: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/63.jpg)
⊗-product rep. (continued)
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸q
) ∈ Zn, a ≥ b, p + q = n
Ex.11 (Stembridge 2001)
πλ ⊗ πν is MF as a GLn(C)-module
iff one of the following holds
1) min(a − b, p, q) = 1 (and ν is any),
2) min(a − b, p, q) = 2 and
⋆ν is of the form ν = (x · · · x︸︷︷︸
n1
y · · · y︸︷︷︸n2
z · · · z︸︷︷︸n3
) (x ≥ y ≥ z),
3) min(a − b, p, q) ≥ 3, ⋆ &
min(x − y, y − z, n1, n2, n3) = 1.
Geometric interpretation (K–, 2004)
![Page 64: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/64.jpg)
⊗-product rep. (continued)
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸q
) ∈ Zn, a ≥ b, p + q = n
Ex.11 (Stembridge 2001)
πλ ⊗ πν is MF as a GLn(C)-module
iff one of the following holds
1) min(a − b, p, q) = 1 (and ν is any),
2) min(a − b, p, q) = 2 and
⋆ν is of the form ν = (x · · · x︸︷︷︸
n1
y · · · y︸︷︷︸n2
z · · · z︸︷︷︸n3
) (x ≥ y ≥ z),
3) min(a − b, p, q) ≥ 3, ⋆ &
min(x − y, y − z, n1, n2, n3) = 1.
Geometric interpretation (K–, 2004) · · · visible action
![Page 65: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/65.jpg)
Restriction (GLn ↓ Gn1× GLn2
× GLn3)
Ex.12 (GLn ↓ (GLp × GLq)) n = p + q
πGLn
(x, . . . , x︸ ︷︷ ︸n1
,y, . . . , y︸ ︷︷ ︸n2
,z, . . . , z︸ ︷︷ ︸n3
)|GLp×GLq
is MF
if min(p, q) ≤ 2 or
if min(n1, n2, n3, x − y, y − z) ≤ 1
(Kostant n3 = 0; Krattenthaler 1998)
![Page 66: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/66.jpg)
Restriction (GLn ↓ Gn1× GLn2
× GLn3)
Ex.12 (GLn ↓ (GLp × GLq)) n = p + q
πGLn
(x, . . . , x︸ ︷︷ ︸n1
,y, . . . , y︸ ︷︷ ︸n2
,z, . . . , z︸ ︷︷ ︸n3
)|GLp×GLq
is MF
if min(p, q) ≤ 2 or
if min(n1, n2, n3, x − y, y − z) ≤ 1
(Kostant n3 = 0; Krattenthaler 1998)
Ex.13 (GLn ↓ (GLn1× GLn2
× GLn3)) ([5])
n = n1 + n2 + n3
πGLn
(a, . . . , a︸ ︷︷ ︸p
,b, . . . , b︸ ︷︷ ︸q
)|GLn1
×GLn2×GLn3
is MF
if min(n1, n2, n3) ≤ 1 or
if min(p, q, a − b) ≤ 2
![Page 67: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/67.jpg)
“Triunity”
MF results for
Ex.11 πλ ⊗ πνEx.12 GLn ↓ GLp × GLq (p + q = n)
Ex.13 GLn ↓ GLn1× GLn2
× GLn3(n1 + n2 + n3 = n)
![Page 68: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/68.jpg)
“Triunity”
MF results for
Ex.11 πλ ⊗ πνEx.12 GLn ↓ GLp × GLq (p + q = n)
Ex.13 GLn ↓ GLn1× GLn2
× GLn3(n1 + n2 + n3 = n)
can be proved by combinatorial methods (e.g. Littlewood–
Richardson rule) but
will be explained by “triunity” of visible actions on flag varieties:
Gy
(G ×G)/(L × H) (diagonal action)
Ly
G/H
Hy
G/L
for H ⊂ G ⊃ L.
![Page 69: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/69.jpg)
Restriction (GLn ↓ GLn−1)
Ex.14 (GLn ↓ GLn−1)
πGLn
(λ1,...,λn)|GLn−1
≃⊕
λ1≥µ1≥···≥µn−1≥λn
πGLn−1
(µ1,...,µn−1)
=⇒ restrictions is MF as a GLn−1(C)-module
![Page 70: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/70.jpg)
Restriction (GLn ↓ GLn−1)
Ex.14 (GLn ↓ GLn−1)
πGLn
(λ1,...,λn)|GLn−1
≃⊕
λ1≥µ1≥···≥µn−1≥λn
πGLn−1
(µ1,...,µn−1)
=⇒ restrictions is MF as a GLn−1(C)-module
GLn ⊃x
MF
GLn−1 ⊃x
MF
GLn−2 ⊃x
MF
. . . ⊃x
MF
GL(1)
=⇒ Gelfand–Tsetlin basis
![Page 71: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/71.jpg)
Restriction (GLn ↓ GLn−1)
Ex.14 (GLn ↓ GLn−1)
πGLn
(λ1,...,λn)|GLn−1
≃⊕
λ1≥µ1≥···≥µn−1≥λn
πGLn−1
(µ1,...,µn−1)
=⇒ restrictions is MF as a GLn−1(C)-module
![Page 72: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/72.jpg)
Restriction (GLn ↓ GLn−1)
Finite dimensional rep.
Ex.14 (GLn ↓ GLn−1)
πGLn
(λ1,...,λn)|GLn−1
≃⊕
λ1≥µ1≥···≥µn−1≥λn
πGLn−1
(µ1,...,µn−1)
=⇒ restrictions is MF as a GLn−1(C)-module
Infinite dimensional version
![Page 73: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/73.jpg)
Restriction (GLn ↓ GLn−1)
Finite dimensional rep.
Ex.14 (GLn ↓ GLn−1)
πGLn
(λ1,...,λn)|GLn−1
≃⊕
λ1≥µ1≥···≥µn−1≥λn
πGLn−1
(µ1,...,µn−1)
=⇒ restrictions is MF as a GLn−1(C)-module
Infinite dimensional version
Ex.15 ♣ ref. (U(p, q) ↓ U(p − 1, q))∀π: irred. unitary rep. of U(p, q) with higest weight
=⇒ restriction π|U(p−1,q) is MF as a U(p − 1, q)-module
![Page 74: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/74.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
![Page 75: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/75.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
⇓ generalization 1
Hidden symmetry⇐⇒ Broken symmetry
![Page 76: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/76.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
⇓ generalization 1
Hidden symmetry⇐⇒ Broken symmetry
Ex.17 (Progress in Math. 2008)
Branching law of holomorphic discrete
series rep. with respect to symmectric pair
Hua–Kostant–Schmidfinite dim
compact subgp
, K–∞ dim
non-compact subgp
![Page 77: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/77.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
⇓ generalization 2
MF space: Gy
X =⇒ GyO(X)
![Page 78: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/78.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
⇓ generalization 2
MF space: Gy
X =⇒ GyO(X)
Ex.18 (Kac’s MF space ’80)
S (CN) is still MF as a GLm−1 × GLn module
![Page 79: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/79.jpg)
GL–GL duality
N = mn
Ex.16 (GL–GL duality)
=⇒ GLm × GLny
S (CN) ≃ S (M(m, n;C))
This rep. is MF
⇓ generalization 2
MF space: Gy
X =⇒ GyO(X)
Ex.18 (Kac’s MF space ’80)
S (CN) is still MF as a GLm−1 × GLn module
Ex.19 (counterexample)
S (CN) is no more MF as a GLm−1 × GLn−1 module
![Page 80: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/80.jpg)
MF for unitary rep (definition)
![Page 81: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/81.jpg)
MF for unitary rep (definition)
Observation
n ≤ 1⇐⇒ End(Cn) is commutative.
![Page 82: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/82.jpg)
MF for unitary rep (definition)
Observation
n ≤ 1⇐⇒ End(Cn) is commutative.
(π,H): unitary rep. of G ⇓ (Schur’s lemma)
Def.
(π,H) is MF if EndG(H) is commutative.
Def. EndC(H)= {T : H → H continuous linear maps}
∪
EndG(H) := {T ∈ EndC(H) : T ◦ π(g) = π(g) ◦ T, ∀g ∈ G}
![Page 83: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/83.jpg)
MF for unitary rep (definition)
Observation
n ≤ 1⇐⇒ End(Cn) is commutative.
(π,H): unitary rep. of G ⇓ (Schur’s lemma)
Def.
(π,H) is MF if EndG(H) is commutative.
Recall:
Def. (naive) (π,H) is MF
multiplicity-free
if dim HomG(τ, π) ≤ 1 (∀τ: irred. rep. of G).
![Page 84: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/84.jpg)
MF for unitary rep (definition)
Observation
n ≤ 1⇐⇒ End(Cn) is commutative.
(π,H): unitary rep. of G ⇓ (Schur’s lemma)
Def.
(π,H) is MF if EndG(H) is commutative.
⇓
Prop. The irreducible decomp. of π is unique, and
mπ(τ) ≤ 1 for almost every τ with respect to dµ.
In particular, multiplicity for any discrete spectrum ≤ 1
π ≃
∫
G
mπ(τ) τ dµ(τ) (direct integral)
![Page 85: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/85.jpg)
MF for unitary rep (definition)
Observation
n ≤ 1⇐⇒ End(Cn) is commutative.
(π,H): unitary rep. of G ⇓ (Schur’s lemma)
Def.
(π,H) is MF if EndG(H) is commutative.
(π,U): continuous rep.
Def. We say (π,U) is (unitarily) MF
if, for any unitary rep. (,H) s.t.
there exists an injective continuous G-mapH →U,
(,H) is MF.
![Page 86: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/86.jpg)
Fourier transform (MF rep.)
Ex.21 (Fourier transform)
L2(R)≃
∫ ⊕
R
Ceiζxdζ
(direct integral of Hilbert spaces)
f (x)=
∫
R
f (ζ)eiζxdζ
Regular rep. of R on L2(R) by f (∗)→ f (∗ − c)
![Page 87: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/87.jpg)
Fourier transform (MF rep.)
Ex.21 (Fourier transform)
L2(R)≃
∫ ⊕
R
Ceiζxdζ
(direct integral of Hilbert spaces)
f (x)=
∫
R
f (ζ)eiζxdζ
Regular rep. of R on L2(R) by f (∗)→ f (∗ − c)
EndR(L2(R)) ≃ L∞(R) (ring of multiplier operators)
![Page 88: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/88.jpg)
Fourier transform (MF rep.)
Ex.21 (Fourier transform)
L2(R)≃
∫ ⊕
R
Ceiζxdζ
(direct integral of Hilbert spaces)
f (x)=
∫
R
f (ζ)eiζxdζ
Regular rep. of R on L2(R) by f (∗)→ f (∗ − c)
EndR(L2(R)) ≃ L∞(R) (ring of multiplier operators)
=⇒ unitary rep. Ry
L2(R) is MFcontinuous spectrum
![Page 89: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/89.jpg)
Fourier transform (MF rep.)
Ex.21 (Fourier transform)
L2(R)≃
∫ ⊕
R
Ceiζxdζ
(direct integral of Hilbert spaces)
f (x)=
∫
R
f (ζ)eiζxdζ
Regular rep. of R on L2(R) by f (∗)→ f (∗ − c)
EndR(L2(R)) ≃ L∞(R) (ring of multiplier operators)
continuous rep. RyS′(R) is also MF
![Page 90: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/90.jpg)
Plancherel formula for G/K
Ex.22 (Harish-Chandra, Helgason) G/K = SL(n,R)/SO(n)
L2(G/K) ≃
∫ ⊕
∑λi=0, λ1≥···≥λn
Hλ dλ
cont. spec.
MFHλ: ∞-dim, irred. rep. of G
=⇒ MF
![Page 91: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/91.jpg)
Plancherel formula for G/K
Ex.22 (Harish-Chandra, Helgason) G/K = SL(n,R)/SO(n)
L2(G/K) ≃
∫ ⊕
∑λi=0, λ1≥···≥λn
Hλ dλ
cont. spec.
MFHλ: ∞-dim, irred. rep. of G
=⇒ MF
EndG(L2(G/K)) ≃ L∞((Rn/R))Sn
≃ L∞(Rn−1/Sn)
(ring of multiplier operators)
![Page 92: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/92.jpg)
Plancherel formula for G/K
Ex.22 (Harish-Chandra, Helgason) G/K = SL(n,R)/SO(n)
L2(G/K) ≃
∫ ⊕
∑λi=0, λ1≥···≥λn
Hλ dλ
cont. spec.
MFHλ: ∞-dim, irred. rep. of G
=⇒ MF
MF still holds for vector bundle case of ‘small’ fibers,
V := G ×K ∧k(Cn)→ G/K (0 ≤ k ≤ n),
associated to the SO(n)-representation on the exterior power
Λk(Cn), but no other cases (Deitmar, K– 2005)
![Page 93: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/93.jpg)
Plancherel formula for G/K
Ex.22 (Harish-Chandra, Helgason) G/K = SL(n,R)/SO(n)
L2(G/K) ≃
∫ ⊕
∑λi=0, λ1≥···≥λn
Hλ dλ
cont. spec.
MFHλ: ∞-dim, irred. rep. of G
=⇒ MF
MF still holds under certain deformation of G-regular
representation of L2(G/K)
deformation coming from hidden symmetry.
E.g. Gelfand–Vershik canonical rep of SL2(R).
![Page 94: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/94.jpg)
Plancherel formula for G/K
Ex.22 (Harish-Chandra, Helgason) G/K = SL(n,R)/SO(n)
L2(G/K) ≃
∫ ⊕
∑λi=0, λ1≥···≥λn
Hλ dλ
cont. spec.
MFHλ: ∞-dim, irred. rep. of G
=⇒ MF
Other real forms of SL(n,C)/SO(n,C):
Ex.23 (T. Oshima, Delorme) G/H = SL(n,R)/SO(p, n − p)
Multiplicity of most cont. spec. in L2(G/H)
=n!
p!(n − p)!> 1 if 0 < p < n.
=⇒ NOT MF
![Page 95: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/95.jpg)
Broken symmetry and hidden symmetry
H ⊂ Gπ−→
unitary repGLC(H)
![Page 96: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/96.jpg)
Broken symmetry and hidden symmetry
Hidden symmetry
H ⊂ Gπ−→
unitary repGLC(H)
![Page 97: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/97.jpg)
Broken symmetry and hidden symmetry
Hidden symmetry
H ⊂ Gπ−→
unitary repGLC(H)
Broken symmetry
![Page 98: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/98.jpg)
Broken symmetry and hidden symmetry
Hidden symmetry
H ⊂ Gπ−→
unitary repGLC(H)
Broken symmetry
Branching law
= description of broken symmetry
![Page 99: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/99.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
![Page 100: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/100.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
∩∃G
∃π
![Page 101: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/101.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
∩∃G
∃π
Prop For any classical reductive G, there exist
G (% G) and an irreducible unitary rep π of G s.t. π|G = π
![Page 102: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/102.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
∩∃G
∃π
Prop For any classical reductive G, there exist
G (% G) and an irreducible unitary rep π of G s.t. π|G = π
E.g. G = GL(n,R) → G = Sp(n,R)
![Page 103: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/103.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
∩∃G
∃π
Prop For any classical reductive G, there exist
G (% G) and an irreducible unitary rep π of G s.t. π|G = π
E.g. G = GL(n,R) → G = Sp(n,R)
π lies in a continuous family {πλ} of irred unitary reps of G
=⇒ πλ = πλ|G=⇒ deformation of G
yL2(G/K)
![Page 104: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/104.jpg)
Deformation of Gy
L2(G/K)
G
πy
L2(G/K)
∩∃G
∃π
Prop For any classical reductive G, there exist
G (% G) and an irreducible unitary rep π of G s.t. π|G = π
E.g. G = GL(n,R) → G = Sp(n,R)
π lies in a continuous family {πλ} of irred unitary reps of G
=⇒ πλ = πλ|G=⇒ deformation of G
yL2(G/K) (still MF)
Sometimes discrete spectrum may appear!
![Page 105: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/105.jpg)
Known methods
Various techniques have been used in proving
various MF results, in particular, for finite dim’l reps
For example, one may
1. look for an open orbit of a Borel subgroup.
2. apply Littlewood–Richardson rules and variants.
3. use computational combinatorics.
4. employ the Gelfand trick (the commutativity of the Hecke
algebra).
5. apply Schur–Weyl duality and Howe duality.
![Page 106: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/106.jpg)
New approach
Plan:
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
![Page 107: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/107.jpg)
New approach
Plan:
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Analysis on complex mfd with group action
having ∞ many orbits
![Page 108: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/108.jpg)
New approach
Plan:
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Analysis on complex mfd with group action
having ∞ many orbits
Theory of visible actions on complex manifolds
![Page 109: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/109.jpg)
New approach
Plan:
To give a new simple principle that explains the property MF
for both finite and infinite dimensional reps
Propagation of MF property from fiber to sections
⇑
Analysis on complex mfd with group action
having ∞ many orbits
Theory of visible actions on complex manifolds
![Page 110: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/110.jpg)
Propagation Theorem
V
↓
D
H-equivariant holomorphic vector bundle
![Page 111: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/111.jpg)
Propagation Theorem
V
↓ HyO(D,V)
D
H-equivariant holomorphic vector bundle
![Page 112: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/112.jpg)
Propagation Theorem
Vx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
![Page 113: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/113.jpg)
Propagation Theorem
HxyVx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
Hx = {h ∈ H : h · x = x}
![Page 114: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/114.jpg)
Propagation Theorem
HxyVx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
Properties of
HxyVx
“easy”
Propagation ?============⇒
Properties of
HyO(D,V)
“difficult”
![Page 115: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/115.jpg)
Propagation Theorem
HxyVx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
Properties of
HxyVx
fiber
Propagation ?============⇒
Properties of
HyO(D,V)
sections=⇒
Geometry of
the base space D
![Page 116: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/116.jpg)
Propagation Theorem
HxyVx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
Theorem
Irreducibility
HxyVx
fiber
Propagation==========⇒
Irreducibility
HyO(D,V)
sections=⇒
H acts transitively on
the base space D
![Page 117: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/117.jpg)
Propagation Theorem
HxyVx ⊂ V
↓ ↓ HyO(D,V)
{x} ⊂ D
H-equivariant holomorphic vector bundle
Theorem
MF
HxyVx
fiber
Propagation==========⇒
MF
HyO(D,V)
sections=⇒
H acts strong visibly on
the base space D
![Page 119: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/119.jpg)
§2 Propagation of MF property
Progr. Math (2013)
H-equiv. holo. vector b’dle:
V → D
![Page 120: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/120.jpg)
§2 Propagation of MF property
Progr. Math (2013)
H: Lie group
H-equiv. holo. vector b’dle:
V → D
⇓
HyO(D,V)= {holo. sections}
![Page 121: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/121.jpg)
§2 Propagation of MF property
Progr. Math (2013)
H: Lie group
H-equiv. holo. vector b’dle:
V → D
⇓
HyO(D,V)= {holo. sections}
D ∋ x HxyVx
Hx := {g ∈ H : g · x = x} ⊂ H
Vx ⊂ V (fiber)
![Page 122: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/122.jpg)
§2 Propagation of MF property
Progr. Math (2013)
H: Lie group
H-equiv. holo. vector b’dle:
V → D
⇓
HyO(D,V)= {holo. sections}
D ∋ x HxyVx
Hx := {g ∈ H : g · x = x} ⊂ H
Vx ⊂ V (fiber)
HxyVx ⊂ V
↓ ↓ ⇒ HyO(D,V)
{x} ∈ D
![Page 123: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/123.jpg)
§2 Propagation of MF property
Progr. Math (2013)
H: Lie group
H-equiv. holo. vector b’dle:
V → D
⇓
HyO(D,V)= {holo. sections}
Theorem (Propagation theorem)
HxyVx MF (∀x ∈ D)
=⇒ HyO(D,V) MF
if assumptions 1 & 2 hold.
![Page 124: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/124.jpg)
Automorphism of group action
Hy
D
![Page 125: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/125.jpg)
Automorphism of group action
HLie group
yD
manifold
Def σ ∈ Aut(H; D)
⇐⇒
σy
H automorphism of Lie group
σy
D diffeomorphism
σ(g · x) = σ(g) · σ(x) (∀g ∈ H, ∀x ∈ D)
![Page 126: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/126.jpg)
Automorphism of group action
HLie group
yD
manifold
Def σ ∈ Aut(H; D)
⇐⇒
σy
H automorphism of Lie group
σy
D diffeomorphism
σ(g · x) = σ(g) · σ(x) (∀g ∈ H, ∀x ∈ D)
=⇒ σ preserves every H-orbit
![Page 127: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/127.jpg)
Automorphism of group action
HLie group
yD
manifold
Def σ ∈ Aut(H; D)
⇐⇒
σy
H automorphism of Lie group
σy
D diffeomorphism
σ(g · x) = σ(g) · σ(x) (∀g ∈ H, ∀x ∈ D)
=⇒ σ preserves every H-orbit
permutes H-orbits
![Page 128: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/128.jpg)
Automorphism of group action
HLie group
yD
manifold
Def σ ∈ Aut(H; D)
⇐⇒
σy
H automorphism of Lie group
σy
D diffeomorphism
σ(g · x) = σ(g) · σ(x) (∀g ∈ H, ∀x ∈ D)
=⇒ σ preserves every H-orbit
permutes H-orbits
Write simply σy
D instead of σ ∈ Aut(H; D)
![Page 129: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/129.jpg)
Assumptions of MF theorem
V → D: H-equivariant
Assumption 1 ∃σy
D anti-holo. s.t.
σ preserves every H-orbit.
![Page 130: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/130.jpg)
Assumptions of MF theorem
V → D: H-equivariant
Assumption 1 ∃σy
D anti-holo. s.t.
σ preserves every H-orbit.
D ∋ x Hx ⊂ H,Vx ⊂ V
WriteVx = V(1)x ⊕ · · · ⊕ V
(m)x · · · MF as an Hx module
![Page 131: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/131.jpg)
Assumptions of MF theorem
V → D: H-equivariant
Assumption 1 ∃σy
D anti-holo. s.t.
σ preserves every H-orbit.
D ∋ x Hx ⊂ H,Vx ⊂ V
WriteVx = V(1)x ⊕ · · · ⊕ V
(m)x · · · MF as an Hx module
Assumption 2 σ lifts to an anti-holomorphic
endo ofV → D s.t.
σ(V(i)x ) = V
(i)x (∀i) for σ(x) = x
![Page 132: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/132.jpg)
Assumptions of MF theorem
V → D: H-equivariant
Assumption 1 ∃σy
D anti-holo. s.t.
σ preserves every H-orbit.
D ∋ x Hx ⊂ H,Vx ⊂ V
WriteVx = V(1)x ⊕ · · · ⊕ V
(m)x · · · MF as an Hx module
Assumption 2 σ lifts to an anti-holomorphic
endo ofV → D s.t.
σ(V(i)x ) = V
(i)x (∀i) for σ(x) = x
Note: σ permutesV(1)x , . . . ,V
(m)x if σ(x) = x.
![Page 133: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/133.jpg)
Assumptions of MF theorem
V → D: H-equivariant
Assumption 1 ∃σy
D anti-holo. s.t.
σ preserves every H-orbit.
D ∋ x Hx ⊂ H,Vx ⊂ V
WriteVx = V(1)x ⊕ · · · ⊕ V
(m)x · · · MF as an Hx module
Assumption 2 σ lifts to an anti-holomorphic
endo ofV → D s.t.
σ(V(i)x ) = V
(i)x (∀i) for σ(x) = x
Note: Assumption 2 is automatic for line bundles
![Page 134: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/134.jpg)
Propagation of MF property
Progr. Math (2013)
H: Lie group
H-equiv. holo. vector b’dle:
V → D
⇓
HyO(D,V) = {holo. sections}
Theorem (Propagation theorem)
HxyVx MF (∀x ∈ D)
=⇒ HyO(D,V) MF
if assumptions 1 & 2 hold.
![Page 135: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/135.jpg)
Observations of MF theorem
Points: H has infinitely many orbits on D
• propagation of MF property
![Page 136: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/136.jpg)
Observations of MF theorem
Points: H has infinitely many orbits on D
• propagation of MF property
Hyy
V
↓
D
fiber MF
![Page 137: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/137.jpg)
Observations of MF theorem
Points: H has infinitely many orbits on D
• propagation of MF property
Hyy
V
↓
D
=⇒
fiber MF
![Page 138: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/138.jpg)
Observations of MF theorem
Points: H has infinitely many orbits on D
• propagation of MF property
Hyy
V
↓
D
=⇒ HyO(D,V)
fiber MF sections MF
![Page 139: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/139.jpg)
Observations of MF theorem
Points: H has infinitely many orbits on D
• propagation of MF property
Hyy
V
↓
D
=⇒ HyO(D,V)
fiber MF sections MF
⇑
geometry of base space
. . . ‘(strongly) visible action’
![Page 140: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/140.jpg)
Examples of MF theorem
Ex.20 H = U(m) × U(n)
D = M(m, n;C) ≃ Cmn
![Page 141: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/141.jpg)
Examples of MF theorem
Ex.20 H = U(m) × U(n)
D = M(m, n;C) ≃ Cmn
σ(z) := z =⇒ Assumption 1 O.K.
![Page 142: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/142.jpg)
Examples of MF theorem
Ex.20 H = U(m) × U(n)
D = M(m, n;C) ≃ Cmn
σ(z) := z =⇒ Assumption 1 O.K.
V = D × C =⇒ Assumption 2 O.K.
![Page 143: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/143.jpg)
Examples of MF theorem
Ex.20 H = U(m) × U(n)
D = M(m, n;C) ≃ Cmn
σ(z) := z =⇒ Assumption 1 O.K.
V = D × C =⇒ Assumption 2 O.K.
⇓ Propagation theorem
Hy
Pol(D) MF
GLm × GLny
Pol(M(m, n;C))
![Page 144: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/144.jpg)
§3 Visible actions
(D, J) complex mfd, connected
Def. A real submanifold S of D is totally real if TxS does not
contain any complex subspace.
![Page 145: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/145.jpg)
§3 Visible actions
H
holomorphicy
(D, J) complex mfd, connected
Def.(K– ’03) A holomorphic action of H is visible w.r.t. S if∃D′ ⊂
openD,
Def. A real submanifold S of D is totally real if TxS does not
contain any complex subspace.
![Page 146: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/146.jpg)
§3 Visible actions
H
holomorphicy
(D, J) complex mfd, connected
Def.(K– ’03) A holomorphic action of H is visible w.r.t. S if∃D′ ⊂
openD,
∃S ⊂ D′
totally reals.t.
{S meets every H-orbit
Jx(TxS ) ⊂ Tx(H · x) (x ∈ S )
Def. A real submanifold S of D is totally real if TxS does not
contain any complex subspace.
![Page 147: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/147.jpg)
Visible actions on symmetric spaces
Theorem (Transf. Groups (2007))
Assume
G/K Hermitian symm. sp.
(G,H) symmetric pair
=⇒ Hy
G/K is (strongly) visible
![Page 148: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/148.jpg)
Visible actions on symmetric spaces
Theorem (Transf. Groups (2007))
Assume
G/K Hermitian symm. sp.
(G,H) symmetric pair
=⇒ Hy
G/K is (strongly) visible
⇓ Propagation theorem
Ex.19 πλ, πµ highest wt. modules of scalar type
=⇒ πλ ⊗ πµ is MF
![Page 149: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/149.jpg)
Visible actions on symmetric spaces
Theorem (Transf. Groups (2007))
Assume
G/K Hermitian symm. sp.
(G,H) symmetric pair
=⇒ Hy
G/K is (strongly) visible
⇓ Propagation theorem
Ex.19 πλ, πµ highest wt. modules of scalar type
=⇒ πλ ⊗ πµ is MF
Ex.20πλ highest wt. module of scalar type
(G,H) symmetric pair
=⇒ πλ|H is MF
![Page 150: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/150.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
![Page 151: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/151.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
Ex.21 Ty
C ⊃ R
∈
a z 7→ az
![Page 152: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/152.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
Ex.21 Ty
C ⊃ R
∈
a z 7→ az
![Page 153: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/153.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
Ex.21 Ty
C ⊃ R
∈
a z 7→ az
![Page 154: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/154.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
Ex.21 Ty
C ⊃ R
∈
a z 7→ az
R meets every T-orbit
R
![Page 155: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/155.jpg)
Example of visible actions
T = {a ∈ C : |a| = 1} (≃ S 1)
Ex.21 Ty
C ⊃ R
∈
a z 7→ az
R meets every T-orbit
R
=⇒ T-action on C is visible
![Page 156: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/156.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
![Page 157: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/157.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
Def. ♣ ref. A holomorphic action is strongly visible
if
∃σy H as Lie group autoy
D as anti-holomorphic diffeo
in a compatible way
s.t. (H · Dσ)◦ , ∅.
(generic H-orbits meets the fixed point set Dσ)
![Page 158: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/158.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
Def. ♣ ref. A holomorphic action is strongly visible
if
∃σy H as Lie group autoy
D as anti-holomorphic diffeo
in a compatible way
i.e. σ(g · x) = σ(g) · σ(x)
s.t. (H · Dσ)◦ , ∅.
(generic H-orbits meets the fixed point set Dσ)
![Page 159: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/159.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
Def. ♣ ref. A holomorphic action is strongly visible
if
∃σy H as Lie group autoy
D as anti-holomorphic diffeo
in a compatible way
i.e. σ(g · x) = σ(g) · σ(x)
s.t. (H · Dσ)◦ , ∅.
(generic H-orbits meets the fixed point set Dσ)
Y◦ · · · the set of interior points
![Page 160: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/160.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
Def. ♣ ref. A holomorphic action is strongly visible
if
∃σy H as Lie group autoy
D as anti-holomorphic diffeo
in a compatible way
i.e. σ(g · x) = σ(g) · σ(x)
s.t. (H · Dσ)◦ , ∅.
(generic H-orbits meets the fixed point set Dσ)
Y◦ · · · the set of interior points
Remark. Not necessarily σ2= id
![Page 161: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/161.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
![Page 162: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/162.jpg)
Strongly visible actions
H
holomorphicy
D complex mfd, connected
Def. ♣ ref. A holomorphic action is strongly visible w.r.t. S
if
∃σy Hy
D anti-holomorphic
in a compatible way
s.t.
σ|S = id
(H · S )◦ , ∅
Remark. S is automatically totally real.
![Page 163: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/163.jpg)
Strongly visible actions
Proposition Strongly visible =⇒ Visible
![Page 164: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/164.jpg)
Strongly visible actions
Proposition Strongly visible =⇒ Visible
To be more precise,
strongly visible w.r.t. S
=⇒ visible w.r.t. S ′ for some S ′ ⊂open dense
S .
R meets every T-orbit
R
![Page 165: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/165.jpg)
§4 Visible action
H
holomorphicy
(D, J) complex mfd, connected
Def. Action is visible if∃S ⊂
totally real
∃D′ ⊂open
D s.t.
{S meets every H-orbit in D′
Jx(TxS ) ⊂ Tx(H · x) (x ∈ S )
![Page 166: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/166.jpg)
§4 Visible action
H
holomorphicy
(D, J) complex mfd, connected
Def. Action is visible if∃S ⊂
totally real
∃D′ ⊂open
D s.t.
{S meets every H-orbit in D′
Jx(TxS ) ⊂ Tx(H · x) (x ∈ S )
S meets every T-orbit
S = R
![Page 167: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/167.jpg)
Complex / Riemannian / symplectic
H
isometricy
(D, g) Riemannian mfd
Def. Action is polar if ∃S ⊂closed submfd
D s.t.
S meets every H-orbit
TxS ⊥ Tx(H · x) (x ∈ S )
![Page 168: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/168.jpg)
Complex / Riemannian / symplectic
H
isometricy
(D, g) Riemannian mfd
Def. Action is polar if ∃S ⊂closed submfd
D s.t.
S meets every H-orbit
TxS ⊥ Tx(H · x) (x ∈ S )
H
symplecticy
(D, ω) symplectic mfd
Def. (Guillemin–Sternberg, Huckleberry–Wurzbacher)
Action is coisotropic (or multiplicity-free)
if Tx(H · x)⊥ω ⊂ Tx(H · x) for principal orbits H · x in D
![Page 169: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/169.jpg)
Three geometries
Complex geometry Symplectic geometry
Riemannian geometry
![Page 170: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/170.jpg)
Three geometries
Complex geometry
Visible action
K– (2004)
Symplectic geometry
Coisotropic action
Guillemin–Sternberg (’84)Huckleberry–Wurzbacher (’90)
Riemannian geometry
Polar action
Bott–Samelson (’58), Conlon, Hermann, Palais, Terng, Dadok,Eschenburg, Heintze, Podesta–Thorbergsson (’03), Kollross (’07), . . .
![Page 171: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/171.jpg)
Three geometries
Complex geometry
Visible action
K– (2004)
Symplectic geometry
Coisotropic action
Guillemin–Sternberg (’84)Huckleberry–Wurzbacher (’90)
CompactKahler
Riemannian geometry
Polar action
Bott–Samelson (’58), Conlon, Hermann, Palais, Terng, Dadok,Eschenburg, Heintze, Podesta–Thorbergsson (’03), Kollross (’07), . . .
![Page 172: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/172.jpg)
Three geometries
Complex geometry
Visible action
K– (2004)
K– (’05) Symplectic geometry
Coisotropic action
Guillemin–Sternberg (’84)Huckleberry–Wurzbacher (’90)
K– (’05)CompactKahler
Podesta–Thorbergsson (’02)
Riemannian geometry
Polar action
Bott–Samelson (’58), Conlon, Hermann, Palais, Terng, Dadok,Eschenburg, Heintze, Podesta–Thorbergsson (’03), Kollross (’07), . . .
![Page 173: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/173.jpg)
Three geometries
Complex geometry
Visible action
K– (2004)
K– (’05)
©
↑
Symplectic geometry
Coisotropic action
Guillemin–Sternberg (’84)Huckleberry–Wurzbacher (’90)
K– (’05) ©←K– (’07)
Hermitian sym spaction of sym subgp
→© Podesta–Thorbergsson (’02)
Riemannian geometry
Polar action
Bott–Samelson (’58), Conlon, Hermann, Palais, Terng, Dadok,Eschenburg, Heintze, Podesta–Thorbergsson (’03), Kollross (’07), . . .
![Page 174: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/174.jpg)
Three geometries
Complex geometry
Visible action
K– (2004)
K– (’05)
©
↑
Symplectic geometry
Coisotropic action
Guillemin–Sternberg (’84)Huckleberry–Wurzbacher (’90)
K– (’05) × ← Sasaki (’09)for linear actions→ ×
Podesta–Thorbergsson (’02)
Riemannian geometry
Polar action
Bott–Samelson (’58), Conlon, Hermann, Palais, Terng, Dadok,Eschenburg, Heintze, Podesta–Thorbergsson (’03), Kollross (’07), . . .
![Page 175: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/175.jpg)
§5 Making examples of visible actions
Ex.20 H = U(m) × U(n)
D = M(m, n;C)
⇒ Every H-orbit is preserved by z 7→ z
![Page 176: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/176.jpg)
§5 Making examples of visible actions
Ex.20 H = U(m) × U(n)
D = M(m, n;C)
⇒ Every H-orbit is preserved by z 7→ z
Proof Let m ≤ n. Set
S :=
a1 0. . . 0
0 am
: a1, . . . , am ∈ R
![Page 177: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/177.jpg)
§5 Making examples of visible actions
Ex.20 H = U(m) × U(n)
D = M(m, n;C)
⇒ Every H-orbit is preserved by z 7→ z
Proof Let m ≤ n. Set
S :=
a1 0. . . 0
0 am
: a1, . . . , am ∈ R
⇒ Every H-orbit meets S , i.e. H · S = D
![Page 178: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/178.jpg)
§5 Making examples of visible actions
Ex.20 H = U(m) × U(n)
D = M(m, n;C)
⇒ Every H-orbit is preserved by z 7→ z
Proof Let m ≤ n. Set
S :=
a1 0. . . 0
0 am
: a1, . . . , am ∈ R
⊂ M(m, n;R)
⇒ Every H-orbit meets S , i.e. H · S = D
⇒ Any H-orbit is of the form H · x (∃x ∈ S )
H · x = H · x = H · xcompatibility x ∈ M(m, n;R) �
![Page 179: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/179.jpg)
§5 Making examples of visible actions
Ex. H = U(m) × U(n)
D = M(m, n;C)
⇒ Every H-orbit is preserved by z 7→ z
In general,
Strongly visible
(i.e. ∃σ anti-holo s.t. (H · Dσ)◦ , ∅)
⇒ Assumption 1 of Theorem
(i.e. ∃σ anti-holo s.t. σ preserves generic H-orbits)
![Page 180: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/180.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
![Page 181: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/181.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
![Page 182: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/182.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Sections
=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
∞ many orbits
![Page 183: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/183.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Fiber Sections☛
✡
✟
✠
HxyVx
multiplicity-free=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
∞ many orbits
![Page 184: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/184.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Fiber Sections☛
✡
✟
✠
HxyVx
multiplicity-free=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
=⇒
☛
✡
✟
✠Hy
X(strongly) visible
Base sp.
∞ many orbits
![Page 185: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/185.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
![Page 186: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/186.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
![Page 187: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/187.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 188: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/188.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 189: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/189.jpg)
Geometry of three involutions
GC complex semi-simple Lie gp
σ ∈ Aut(GC) involution⇔ σ2= id
![Page 190: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/190.jpg)
Geometry of three involutions
GC complex semi-simple Lie gp
σ ∈ Aut(GC) involution⇔ σ2= id
One involution ←→ GR ⊂real simple Lie group
GC
![Page 191: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/191.jpg)
Geometry of three involutions
GC complex semi-simple Lie gp
σ ∈ Aut(GC) involution⇔ σ2= id
One involution ←→ GR ⊂real simple Lie group
GC
←→ Riemannian symmetric space
· · · classified: Killing–Cartan (1914)
![Page 192: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/192.jpg)
Geometry of three involutions
GC complex semi-simple Lie gp
σ ∈ Aut(GC) involution⇔ σ2= id
One involution ←→ GR ⊂real simple Lie group
GC
←→ Riemannian symmetric space
· · · classified: Killing–Cartan (1914)
Two involutions ←→ semisimple symmetric space
· · · classified: M. Berger (1957)
![Page 193: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/193.jpg)
Geometry of three involutions
GC complex semi-simple Lie gp
σ ∈ Aut(GC) involution⇔ σ2= id
One involution ←→ GR ⊂real simple Lie group
GC
←→ Riemannian symmetric space
· · · classified: Killing–Cartan (1914)
Two involutions ←→ semisimple symmetric space
· · · classified: M. Berger (1957)
Three involutions ←→ visible action (2004–)(special case) (special case)
![Page 194: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/194.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
![Page 195: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/195.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K
![Page 196: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/196.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K
K-orbits
![Page 197: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/197.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible
K-orbits
![Page 198: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/198.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K
K-orbits
![Page 199: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/199.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K
K-orbits H-orbits
![Page 200: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/200.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K visible
K-orbits H-orbits
![Page 201: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/201.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K visible Ny
G/K
K-orbits H-orbits
![Page 202: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/202.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K visible Ny
G/K
K-orbits H-orbits N-orbits
![Page 203: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/203.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K visible Ny
G/K visible
K-orbits H-orbits N-orbits
![Page 204: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/204.jpg)
Visible actions on symmetric spaces
Theorem ( geometry of three involutions ’07)
Assume
G/K Hermitian symm. sp.
(G,H) any symmetric pair
=⇒ Hy
G/K is (strongly) visible
![Page 205: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/205.jpg)
Visible actions on symmetric spaces
Theorem ( geometry of three involutions ’07)
Assume
G/K Hermitian symm. sp.
(G,H) any symmetric pair
=⇒ Hy
G/K is (strongly) visible
⇓ Propagation theorem
Thm Vλ = U(g) ⊗U(p) Cλ (λ generic) is an algebraic
MF direct sum of irreducible g′-modules if
• nilradical of pR is abelian
• G′R· o is closed in GR/PR
• (GR,G′R
) is symmetric pair.
![Page 206: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/206.jpg)
Visible actions on symmetric spaces
Theorem ( geometry of three involutions ’07)
Assume
G/K Hermitian symm. sp.
(G,H) any symmetric pair
=⇒ Hy
G/K is (strongly) visible
⇓ Propagation theorem
Thm Vλ = U(g) ⊗U(p) Cλ (λ generic) is an algebraic
MF direct sum of irreducible g′-modules if
• nilradical of pR is abelian
• G′R· o is closed in GR/PR
• (GR,G′R
) is symmetric pair.
G′R
⊂ GR ⊃ PRsubgp real reductive real parabolic
![Page 207: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/207.jpg)
Finite dimensional case
Also, for finite dimensional case
⇓ Propagation theorem
Eg.23 (Okada, ’98, rectangular shaped rep)
gC = gl(n,C)
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸n−p
) ∈ Zn, a ≥ b
πλ |hC is MF if
![Page 208: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/208.jpg)
Finite dimensional case
Also, for finite dimensional case
⇓ Propagation theorem
Eg.23 (Okada, ’98, rectangular shaped rep)
gC = gl(n,C)
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸n−p
) ∈ Zn, a ≥ b
πλ |hC is MF if
hC =
gl(k,C) + gl(n − k,C) (1 ≤ k ≤ n)
o(n,C)
sp(n2,C) (n : even)
![Page 209: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/209.jpg)
G/K Hermitian symm. space
Ex.22 G = SL(2,R)
K = SO(2)
H ={(
a 00 a−1
): a > 0
}
N ={(
1 x0 1
): x ∈ R
}
G/K ≃ {z ∈ C : |z| < 1}
Ky
G/K visible Hy
G/K visible Ny
G/K visible
K-orbits H-orbits N-orbits
![Page 210: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/210.jpg)
Non-reductive example
Theorem N ⊂ G ⊃ K
Assume
G/K Hermitian symm. of non-cpt. type
N max. unipotent subgp.
=⇒ Ny
G/K (strongly) visible
⇓ Propagation theorem
Ex.24 πλ: highest wt. module of scalar type
=⇒ πλ|N is MF
![Page 211: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/211.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions (symmetric case)
• generalized Cartan decomposition (non-symmetric case)
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 212: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/212.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions (symmetric case)
• generalized Cartan decomposition (non-symmetric case)
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 213: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/213.jpg)
(Generalized) Cartan involutions
Observation
D = G/K
Suppose we have a decomposition
G = H A K
Set S := A · o ⊂ D
H-orbits
S = A · o
=⇒ S is a candidate of ‘slice’ for (strongly) visible action
![Page 214: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/214.jpg)
Classification theory of visible actions
Grassmannian U(n)/(U(p) × U(q)) ≃ Grp(Cn) (n = p + q)
Ex.(symmetric case) n1 + n2 = p + q = n
=⇒ U(n1) × U(n2) acts on Grp(Cn)
in a strongly visible fashion
![Page 215: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/215.jpg)
Classification theory of visible actions
Grassmannian U(n)/(U(p) × U(q)) ≃ Grp(Cn) (n = p + q)
Ex.(symmetric case) n1 + n2 = p + q = n
=⇒ U(n1) × U(n2) acts on Grp(Cn)
in a strongly visible fashion
Ex.34 (JMSJ 2007)
n1 + n2 + n3 = p + q = n
U(n1) × U(n2) × U(n3) acts on Grp(Cn)
in a strongly visible fashion
![Page 216: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/216.jpg)
Classification theory of visible actions
Grassmannian U(n)/(U(p) × U(q)) ≃ Grp(Cn) (n = p + q)
Ex.(symmetric case) n1 + n2 = p + q = n
=⇒ U(n1) × U(n2) acts on Grp(Cn)
in a strongly visible fashion
Ex.34 (JMSJ 2007)
n1 + n2 + n3 = p + q = n
U(n1) × U(n2) × U(n3) acts on Grp(Cn)
in a strongly visible fashion
⇐⇒ min(n1 + 1, n2 + 1, n3 + 1, p, q) ≤ 2
![Page 217: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/217.jpg)
Classification theory of visible actions
Grassmannian U(n)/(U(p) × U(q)) ≃ Grp(Cn) (n = p + q)
Ex.(symmetric case) n1 + n2 = p + q = n
=⇒ U(n1) × U(n2) acts on Grp(Cn)
in a strongly visible fashion
Ex.34 (JMSJ 2007)
n1 + n2 + n3 = p + q = n
U(n1) × U(n2) × U(n3) acts on Grp(Cn)
in a strongly visible fashion
⇐⇒ min(n1 + 1, n2 + 1, n3 + 1, p, q) ≤ 2
For type B, C, D and exceptional groups (Y. Tanaka, Tohoku J.
(2013), J. Math. Soc. Japan (2013), B. Austrian Math Soc. (2013),
J. Algebra (2014))
![Page 218: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/218.jpg)
⇓ Propagation theorem
MF property of the following
• GLm × GLny
S (Cmn) Ex.16
• GLm−1 × GLny
S (Cmn) Ex.18 (Kac)
• the Stembridge list of πλ ⊗ πν Ex.11
• GLn ↓ (GLp × GLq) Ex.12
• GLn ↓ (GLn1× GLn2
× GLn3) Ex.13
• ∞-dimensional versions
. . . . . .
![Page 219: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/219.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 220: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/220.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 221: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/221.jpg)
Make ‘large’ from ‘small’
Idea: induced action preserving visibility
![Page 222: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/222.jpg)
Make ‘large’ from ‘small’
Idea: induced action preserving visibility
H ⊂ G
![Page 223: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/223.jpg)
Make ‘large’ from ‘small’
Idea: induced action preserving visibility
H ⊂ G
Hy
Y visible w.r.t. S
⇐ certain assumption
Gy
X := G ×H Y visible w.r.t. S ≃ [{e}, S ]
![Page 224: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/224.jpg)
Make ‘large’ from ‘small’
Idea: induced action preserving visibility
H ⊂ G
Hy
Y visible w.r.t. S
⇐ certain assumption
Gy
X := G ×H Y visible w.r.t. S ≃ [{e}, S ]
Ex. H = U(p) × U(q), Y = M(p, q;C) (p ≥ q)
G = U(p + q), X = T ∗(G/H) = T ∗(Grp(Cp+q))
![Page 225: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/225.jpg)
Make ‘large’ from ‘small’
Idea: induced action preserving visibility
H ⊂ G
Hy
Y visible w.r.t. S
⇐ certain assumption
Gy
X := G ×H Y visible w.r.t. S ≃ [{e}, S ]
Ex. H = U(p) × U(q), Y = M(p, q;C) (p ≥ q)
G = U(p + q), X = T ∗(G/H) = T ∗(Grp(Cp+q))
momentum mapnilpotent orbit for GL(p + q,C)
for partition (2q, 1p−q) is spherical (Panyushev)
![Page 226: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/226.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 227: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/227.jpg)
Classification theory of visible actions
Methods to find visible action
Want to find visible actions systematically
• Structure theory
• geometry of three involutions
• generalized Cartan decomposition
• Make new from old
• make ‘large’ from ‘small’
• make ‘three’ from ‘one’ (triunity)
![Page 228: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/228.jpg)
Examples of (strongly) visible actions
Ex.22 TyC ⊃ R is visible.
![Page 229: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/229.jpg)
Examples of (strongly) visible actions
Ex.22 TyC ⊃ R is visible.
⇓
Ex.23 TnyCn ⊃ Rn is visible.
![Page 230: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/230.jpg)
Examples of (strongly) visible actions
Ex.22 TyC ⊃ R is visible.
⇓
Ex.23 TnyCn ⊃ Rn is visible.
⇓
Ex.24 TnyPn−1C ⊃ Pn−1R is visible.
![Page 231: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/231.jpg)
Examples of (strongly) visible actions
Ex.22 TyC ⊃ R is visible.
⇓
Ex.23 TnyCn ⊃ Rn is visible.
⇓
Ex.24 TnyPn−1C ⊃ Pn−1R is visible.
Ex.25 U(1) × U(n − 1)yBn (full flag variety) is visible.
Ex.26 U(n)yPn−1C × Bn is visible.
![Page 232: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/232.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n)
![Page 233: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/233.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n) σ(g) := g
![Page 234: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/234.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n) σ(g) := g
Geometry
(visible actions)
✞
✝
☎
✆Pn−1R meets every Tn-orbit on Pn−1C
![Page 235: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/235.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n) σ(g) := g
Geometry
(visible actions)
✞
✝
☎
✆Pn−1R meets every Tn-orbit on Pn−1C= = =
Gσ/Gσ ∩ L H G/L
←→
Group✞✝
☎✆G = HGσL ⇒ H
yG/L
![Page 236: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/236.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n) σ(g) := g
Geometry
(visible actions)
✞
✝
☎
✆Pn−1R meets every Tn-orbit on Pn−1C= = =
Gσ/Gσ ∩ L H G/L
←→
Group✞✝
☎✆G = HGσL ⇒ H
yG/L
l
Group✞✝
☎✆G = LGσH ⇒ L
yG/H
![Page 237: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/237.jpg)
Triunity of visible actions
H L⊂
⊃G∪
Gσ
:=
Tn U(1) × U(n − 1)⊂
⊃U(n)∪
O(n) σ(g) := g
Geometry
(visible actions)
✞
✝
☎
✆Pn−1R meets every Tn-orbit on Pn−1C= = =
Gσ/Gσ ∩ L H G/L
←→
Group✞✝
☎✆G = HGσL ⇒ H
yG/L
l
Group✞✝
☎✆G = LGσH ⇒ L
yG/H
l
Group✞
✝
☎
✆(G ×G) = diag(G)(Gσ ×Gσ)(H × L) ⇒ diag.
![Page 238: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/238.jpg)
Examples of visible actions
Ex.22 TyC ⊃ R is visible.
⇓
Ex.23 TnyCn ⊃ Rn is visible.
⇓
Ex.24 TnyPn−1C ⊃ Pn−1R is visible.
Ex.25 U(1) × U(n − 1)yBn (full flag variety) is visible.
Ex.26 U(n)yPn−1C × Bn is visible.
![Page 239: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/239.jpg)
⇓ Propagation theorem
Three kinds of MF results:
• (Taylor series) TnyO(Cn) Ex.2
• (GLn ↓ GLn−1) Restriction π|GLn−1Ex.14
• (Pieri) π ⊗ S k(Cn) Ex.9
![Page 240: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/240.jpg)
⊗-product rep.
λ = (a, · · · , a︸ ︷︷ ︸p
, b, · · · , b︸ ︷︷ ︸q
) ∈ Zn, a ≥ b
Ex.11 (Stembridge 2001, K– 2002)
πλ ⊗ πν is MF as a GLn(C)-module if
1) min(a − b, p, q) = 1 (and ν is any),
or
2) min(a − b, p, q) = 2 and
⋆ν is of the form ν = (x · · · x︸︷︷︸
n1
y · · · y︸︷︷︸n2
z · · · z︸︷︷︸n3
) (x ≥ y ≥ z),
or
3) min(a − b, p, q) ≥ 3, ⋆ &
min(x − y, y − z, n1, n2, n3) = 1.
![Page 241: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/241.jpg)
Restriction (GLn ↓ Gn1× GLn2
× GLn3)
Ex.12 (GLn ↓ (GLp × GLq)) n = p + q
πGLn
(x, . . . , x︸ ︷︷ ︸n1
,y, . . . , y︸ ︷︷ ︸n2
,z, . . . , z︸ ︷︷ ︸n3
)|GLp×GLq
is MF
if min(p, q) ≤ 2 or
if min(n1, n2, n3, x − y, y − z) ≤ 1
(Kostant n3 = 0; Krattenthaler 1998)
Ex.13 (GLn ↓ (GLn1× GLn2
× GLn3)) ([5])
n = n1 + n2 + n3
πGLn
(a, . . . , a︸ ︷︷ ︸p
,b, . . . , b︸ ︷︷ ︸q
)|GLn1
×GLn2×GLn3
is MF
if min(n1, n2, n3) ≤ 1 or
if min(p, q, a − b) ≤ 2
![Page 242: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/242.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
![Page 243: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/243.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
![Page 244: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/244.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Sections
=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
∞ many orbits
![Page 245: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/245.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Fiber Sections☛
✡
✟
✠
HxyVx
multiplicity-free=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
∞ many orbits
![Page 246: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/246.jpg)
Analysis on ∞-many orbits
V → X : H-equiv. holo vector bundle.
Vx → {x} : Fiber
Theorem (Propagation thm of MF property)
Fiber Sections☛
✡
✟
✠
HxyVx
multiplicity-free=⇒
☛
✡
✟
✠
HyO(X,V)
multiplicity-free
=⇒
☛
✡
✟
✠Hy
X(strongly) visible
Base sp.
∞ many orbits
![Page 247: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/247.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
![Page 248: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/248.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
![Page 249: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/249.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
Assumption Gy
D strongly visible w.r.t. S (⊂ D)
![Page 250: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/250.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
Assumption Gy
D strongly visible w.r.t. S (⊂ D)
GyO(D,V) ⊃
Hilbert sp.H
![Page 251: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/251.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
Assumption Gy
D strongly visible w.r.t. S (⊂ D)
GyO(D,V) ⊃
Hilbert sp.H
Optimistic Statement Γ(S ,R|S )։ EndG(H)
![Page 252: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/252.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
Assumption Gy
D strongly visible w.r.t. S (⊂ D)
GyO(D,V) ⊃
Hilbert sp.H
Optimistic Statement Γ(S ,R|S )։ EndG(H)
Ex. S = {pt}, GxyVx irred. ⇒ G
yH irred.
![Page 253: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/253.jpg)
Heuristic idea of Theorem
Setting V → D: G-equiv. holomorphic vector bundle
Rx := EndGx(Vx) ⊂
subringEndC(Vx)
R :=∐x∈DRx ⊂ End(V)
Assumption Gy
D strongly visible w.r.t. S (⊂ D)
GyO(D,V) ⊃
Hilbert sp.H
Optimistic Statement Γ(S ,R|S )։ EndG(H)
Ex. S = {pt}, GxyVx irred. ⇒ G
yH irred.
Ex. GxyVx MF ⇒ G
yH MF
![Page 254: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/254.jpg)
Reproducing kernel
Prototype (Scalar valued) holomorphic functions
Cn ⊃ D complex domain
![Page 255: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/255.jpg)
Reproducing kernel
Prototype (Scalar valued) holomorphic functions
Cn ⊃ D complex domain
H ⊂ O(D)
Hilbert space {holomorphic functions on D}
![Page 256: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/256.jpg)
Reproducing kernel
Prototype (Scalar valued) holomorphic functions
Cn ⊃ D complex domain
H ⊂ O(D)
Hilbert space {holomorphic functions on D}
Definition (reproducing kernel)
Let {ϕl} be an orthonormal basis of H .
KH (z,w) :=∑
l
ϕl(z)ϕl(w)
is independent of the choice of the basis.
![Page 257: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/257.jpg)
Examples of reproducing kernels{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
![Page 258: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/258.jpg)
Examples of reproducing kernels{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 1 (weighted Bergman space)
D := {z ∈ C : |z| < 1}
Fix λ > 1.
H := { f ∈ O(D) : ‖ f ‖λ < ∞}
‖ f ‖λ :=
(∫
D
| f (x + iy)|2(1 − x2 − y2)λ−2dxdy
) 12
![Page 259: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/259.jpg)
Examples of reproducing kernels{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 1 (weighted Bergman space)
D := {z ∈ C : |z| < 1}
Fix λ > 1.
H := { f ∈ O(D) : ‖ f ‖λ < ∞}
‖ f ‖λ :=
(∫
D
| f (x + iy)|2(1 − x2 − y2)λ−2dxdy
) 12
(zl, zm)λ =πΓ(λ − 1)
Γ(λ + l)δlm
![Page 260: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/260.jpg)
Examples of reproducing kernels{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 1 (weighted Bergman space)
D := {z ∈ C : |z| < 1}
Fix λ > 1.
H := { f ∈ O(D) : ‖ f ‖λ < ∞}
‖ f ‖λ :=
(∫
D
| f (x + iy)|2(1 − x2 − y2)λ−2dxdy
) 12
(zl, zm)λ =πΓ(λ − 1)
Γ(λ + l)δlm
KH (z,w) =
∞∑
l=0
Γ(λ + l)
πΓ(λ − 1)zlwl
=λ − 1
π(1 − zw)−λ
![Page 261: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/261.jpg)
Examples of reproducing kernels
{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 2 (Fock space)
D = C
F := { f ∈ O(C) : ‖ f ‖F < ∞}
‖ f ‖F :=
(∫
C
| f (x + iy)|2e−x2−y2
dxdy
) 12
![Page 262: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/262.jpg)
Examples of reproducing kernels
{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 2 (Fock space)
D = C
F := { f ∈ O(C) : ‖ f ‖F < ∞}
‖ f ‖F :=
(∫
C
| f (x + iy)|2e−x2−y2
dxdy
) 12
(zl, zm)F = πl! δlm
![Page 263: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/263.jpg)
Examples of reproducing kernels
{ϕ j} ⊂ H ⊂ O(D)
orthonormal basis Hilbert space
KH (z,w) =∑
l
ϕl(z)ϕl(w)
Example 2 (Fock space)
D = C
F := { f ∈ O(C) : ‖ f ‖F < ∞}
‖ f ‖F :=
(∫
C
| f (x + iy)|2e−x2−y2
dxdy
) 12
(zl, zm)F = πl! δlm
KF (z,w) =
∞∑
l=0
zlwl
πl!
=1πezw
![Page 264: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/264.jpg)
Properties of reproducing kernelO(D)
∪
H
Hilbert space
KH (z,w) =∑
j
ϕ(x)ϕ(w)
![Page 265: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/265.jpg)
Properties of reproducing kernelO(D)
∪
H
Hilbert space
KH (z,w) =∑
j
ϕ(x)ϕ(w)
• KH (z,w) is holomorphic in z; anti-holomorphic in w
![Page 266: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/266.jpg)
Properties of reproducing kernelO(D)
∪
H
Hilbert space
KH (z,w) =∑
j
ϕ(x)ϕ(w)
• KH (z,w) is holomorphic in z; anti-holomorphic in w
• KH (z,w) recovers the Hilbert space H
(i.e. subspace of O(D) & inner product on H)
![Page 267: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/267.jpg)
Properties of reproducing kernelO(D)
∪
H
Hilbert space
KH (z,w) =∑
j
ϕ(x)ϕ(w)
• KH (z,w) is holomorphic in z; anti-holomorphic in w
• KH (z,w) recovers the Hilbert space H
(i.e. subspace of O(D) & inner product on H)
Corollary Suppose a group G acts on D
as biholomorphic transformations.
Then G acts on H as a unitary representation
if and only if
KH (gz, gw) = KH (z,w) ∀g ∈ G, ∀z, ∀w ∈ D. (⋆)
![Page 268: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/268.jpg)
Properties of reproducing kernelO(D)
∪
H
Hilbert space
KH (z,w) =∑
j
ϕ(x)ϕ(w)
• KH (z,w) is holomorphic in z; anti-holomorphic in w
• KH (z,w) recovers the Hilbert space H
(i.e. subspace of O(D) & inner product on H)
Corollary Suppose a group G acts on D
as biholomorphic transformations.
Then G acts on H as a unitary representation
if and only if
KH (gz, gw) = KH (z,w) ∀g ∈ G, ∀z, ∀w ∈ D. (⋆)
(⋆)⇐⇒ KH (gz, gz) = KK (z, z) ∀g ∈ G, ∀z ∈ D
![Page 269: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/269.jpg)
Scalar-valued reproducing kernel
HHilbert space
⊂ O(D)
Assume that for each x ∈ D,
evx : H → C
∈ ∈
f 7→ f (x)
is continuous.
![Page 270: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/270.jpg)
Scalar-valued reproducing kernel
HHilbert space
⊂ O(D)
Assume that for each x ∈ D,
evx : H → C
∈ ∈
f 7→ f (x)
is continuous.
ev∗x : C→ H adjoint
![Page 271: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/271.jpg)
Scalar-valued reproducing kernel
HHilbert space
⊂ O(D)
Assume that for each x ∈ D,
evx : H → C
∈ ∈
f 7→ f (x)
is continuous.
ev∗x : C→ H adjoint
KH (z,w)= evw ◦ ev∗z
=
∑
j
ϕ j(z)ϕ j(w)
![Page 272: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/272.jpg)
Operator-valued reproducing kernel
V → D : holomorphic vector bundle
H →Hilbert space
O(D,V)
Assume that for each x ∈ D,
evx : H → Vx is continuous
∈ ∈
f 7→ f (x)
![Page 273: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/273.jpg)
Operator-valued reproducing kernel
V → D : holomorphic vector bundle
H →Hilbert space
O(D,V)
Assume that for each x ∈ D,
evx : H → Vx is continuous
∈ ∈
f 7→ f (x)
ev∗x : V∗x → H adjoint
![Page 274: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/274.jpg)
Operator-valued reproducing kernel
V → D : holomorphic vector bundle
H →Hilbert space
O(D,V)
Assume that for each x ∈ D,
evx : H → Vx is continuous
∈ ∈
f 7→ f (x)
ev∗x : V∗x → H adjoint
KH (x, y) := evy ◦ ev∗x ∈ HomC(V∗x,Vy)
operator-valued reproducing kernel
![Page 275: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/275.jpg)
Operator-valued reproducing kernel
V =∐
x∈D
Vx −→ D
Hom(V∗,V) =∐
x,y
Hom(V∗x,Vy) −→ D × D
![Page 276: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/276.jpg)
Operator-valued reproducing kernel
V =∐
x∈D
Vx −→ D
Hom(V∗,V) =∐
x,y
Hom(V∗x,Vy) −→ D × D
H →Hilbert space
O(D,V)
![Page 277: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/277.jpg)
Operator-valued reproducing kernel
V =∐
x∈D
Vx −→ D
Hom(V∗,V) =∐
x,y
Hom(V∗x,Vy) −→ D × D
H →Hilbert space
O(D,V)
m one to one
KH ∈ O(D × D,Hom(V∗,V))
positive definite operator-valued reproducing kernel
![Page 278: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/278.jpg)
Operator-valued reproducing kernel
V =∐
x∈D
Vx −→ D
Hom(V∗,V) =∐
x,y
Hom(V∗x,Vy) −→ D × D
H →Hilbert space
O(D,V)
m one to one
KH ∈ O(D × D,Hom(V∗,V))
positive definite operator-valued reproducing kernel
H : unitarity, irreducibility, MF, . . .⇐⇒ Properties on KH
![Page 279: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/279.jpg)
‘Visible’ approach to multiplicity-free theorems
✞
✝
☎
✆Theorem
fibervisible action−−−−−−−−−−−−→ sections
![Page 280: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/280.jpg)
‘Visible’ approach to multiplicity-free theorems
Thm (K– ’08) π|H is multiplicity-free if
π: highest wt. rep. of scalar type
(G,H): semisimple symmetric pair
(Hua, Kostant, Schmid, K– : explicit formula)
Fact (E. Cartan ’29, I. M. Gelfand ’50)
L2(G/K) is multiplicity-free
✞
✝
☎
✆Theorem
Multiplicity-free space
Kac ’80, Benson–Ratcliff ’91Leahy ’98
Stembridge’s list (2001) of
multiplicity-free ⊗ product of
finite dim’l reps (GLn)
fibervisible action−−−−−−−−−−−−→ sections
![Page 281: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/281.jpg)
‘Visible’ approach to multiplicity-free theorems
Thm (K– ’08) π|H is multiplicity-free if
π: highest wt. rep. of scalar type
(G,H): semisimple symmetric pair
(Hua, Kostant, Schmid, K– : explicit formula)
Fact (E. Cartan ’29, I. M. Gelfand ’50)
L2(G/K) is multiplicity-free
Hermitian symm sp. (K– ’07)տ ր Crown domain✞
✝
☎
✆Theorem
Vector sp. (Sasaki ’09)ւ ց Grassmann mfd. (K– ’07)
Multiplicity-free space
Kac ’80, Benson–Ratcliff ’91Leahy ’98
Stembridge’s list (2001) of
multiplicity-free ⊗ product of
finite dim’l reps (GLn)
fibervisible action−−−−−−−−−−−−→ sections
![Page 282: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/282.jpg)
‘Visible’ approach
To give a simple principle that explains the property MF
for both finite and infinite dimensional reps
MF (multiplicity-free) theorem
Propagation of MF property
from fiber to sections
⇑
Visible actions on complex mfds
Analysis of group action with infinitely many orbits
![Page 283: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/283.jpg)
References
[1] Proceedings of Representation Theory held at Saga, Kyushu, 1997
(K. Mimachi, ed.), 1997, pp. 9–17.
[2] Ann. of Math. (2) 147 (1998), 709–729.
[3] Proc. of ICM 2002, Beijing, vol. 2, 2002, pp. 615–627.
[4] (with S. Nasrin) Adv. in Math. Sci. 2 210 (S. Gindikin, ed.) (2003),
161–169, special volume in memory of Professor F. Karpelevic.
[5] Acta Appl. Math. 81 (2004), 129–146.
[6] Publ. Res. Inst. Math. Sci. 41 (2005), 497–549, special issue
commemorating the 40th anniversary of the founding of RIMS.
[7] J. Math. Soc. Japan 59 (2007), 669–691.
[8] Progr. Math., vol. 255, pp. 45–109, Birkhauser, 2008.
[9] Progr. Math (2013).
[10] Transformation Groups 12 (2007), 671–694.
![Page 284: Visible Actions and Multiplicity-free Representationsobzor.bio21.bas.bg/.../sa14/Kobayashi_1.pdf · varna lectures on visible actions and mf representations i. examples of multiplicity-free](https://reader035.fdocuments.in/reader035/viewer/2022062507/5fc39b400c35826dfc1cff24/html5/thumbnails/284.jpg)
Thank you !!
(Short story by Soseki, 1908)
“He uses the hammer and chisel without any forethought, and he can make
the eyebrows and nose as live.”
“Ah, they are not made by hammer and chisel. The eyebrows and nose are
buried inside the tree. It is exactly the same as digging a rock out of the earth —
there is no way to mistake.”
∃ 1←