[論文レビュー] Eigencone, saturation and Horn problems for symplectic and odd orthogonal groups

Prakash Belkale, Shrawan Kumar|ArXiv.org|Aug 2, 2007

Advanced Algebra and Geometry参考文献 9被引用数 4

ひとこと要約

本稿は、特殊線形群への埋め込みと歪格子フラットの交線論を活用することで、シミプレクティック群および奇数正規直交群の固有値錐、飽和、ホーン問題を解明した。Sp(2n)およびSO(2n+1)の固有値条件がそれぞれSL(2n)およびSL(2n+1)のそれらと一致することを証明し、シータ除数法とワイル群不変性を用いてテンソル積不変量の飽和を確認した。

ABSTRACT

We consider the eigenvalue problem and the associated intersection theory of homogenous spaces for the symplectic and odd orthogonal groups. We solve the Horn and saturation problems for these classical groups.

研究の動機と目的

• シミプレクティック群および奇数正規直交群の固有値問題、ホーン問題、飽和問題を解くこと。
• Sp(2n)/SO(2n+1)の固有値錐と、それらSL(2n)/SL(2n+1)への埋め込みとの間の対応を確立すること。
• シミプレクティック群および奇数正規直交群のための、歪格子フラットにおけるシフトされたシューベルティエ変形の交線が適切であることを証明すること。
• SL(2n)およびSL(2n+1)からの制限を用いて、シミプレクティック群および奇数正規直交群のテンソル積不変量が飽和することを示すこと。

提案手法

• Belkale (2001) が提唱した接空間技法を用いて、歪格子フラット上の交線論を分析する。
• Sp(2n)およびSO(2n+1)のカルタン部分代数とSL(2n)およびSL(2n+1)のそれらとの間の標準的なワイル群不変同型を活用する。
• BGG作用素およびシューベルティエ基底代表元を用いて、シミプレクティック群および奇数正規直交群のフラット多様体のコホモロジー環を関連付ける。
• 歪格子フラット多様体の積にシータ除数を構成し、テンソル積における不変量を実現する。
• Knutson-Taoの飽和定理を幾何的技法と併用して、シミプレクティック群および奇数正規直交群の飽和を証明する。
• H*(Sp(2n)/B^C)およびH*(SO(2n+1)/B^B)におけるシューベルティエ類の代表元の間のスケーリング関係を確立し、p_w^C = 2^{n−μ(w)} p_w^B を示す。

実験結果

リサーチクエスチョン

• RQ1 Sp(2n)およびSO(2n+1)の固有値錐条件は、それぞれSL(2n)およびSL(2n+1)のそれらと一致するか？
• RQ2 一般の歪格子フラッグに対して、OG^+(r,2r)におけるシフトされたシューベルティエ変形の交線は適切か？
• RQ3 SL(2n)およびSL(2n+1)からの制限を経て、シミプレクティック群および奇数正規直交群のテンソル積不変量の飽和性質が成り立つか？
• RQ4 ワイル群作用を通じて、H*(Sp(2n)/B^C)およびH*(SO(2n+1)/B^B)におけるシューベルティエ基底類はどのように関係するか？
• RQ5 H*(Sp(2n)/B^C)およびH*(SO(2n+1)/B^B)におけるシューベルティエ類代表元の間の正確なスケーリング係数は何か？

主な発見

• h₁,…,hₛ ∈ ℎ₊^Sp(2n) に対して、(h₁,…,hₛ) ∈ Γ(s, Sp(2n)) であるための必要十分条件は、(h₁,…,hₛ) ∈ Γ(s, SU(2n)) であること。
• h₁,…,hₛ ∈ ℎ₊^SO(2n+1) に対して、(h₁,…,hₛ) ∈ Γ(s, SO(2n+1)) であるための必要十分条件は、(h₁,…,hₛ) ∈ Γ(s, SU(2n+1)) であること。
• 一般の歪格子フラッグに対して、OG^+(r,2r)におけるs個のシフトされたシューベルティエ変形の交線は適切である。この結果はSO(2n)に対しては成立しない。
• シミプレクティック群Sp(2n)のテンソル積不変量は飽和する：SL(2n)-表現が非ゼロのSL(2n)-不変量を持つならば、そのSp(2n)への制限も非ゼロのSp(2n)-不変量を持つ。
• 同様に、SO(2n+1)に対しても：SL(2n+1)-表現が非ゼロのSL(2n+1)-不変量を持つならば、そのSO(2n+1)への制限も非ゼロのSO(2n+1)-不変量を持つ。
• コホモロジー代数同型φは、φ([Λ̄_w(B)]) = 2^{μ(w)−n} [Λ̄_w(C)] を満たす。ここでμ(w)は、wの簡約分解におけるsₙの出現回数を数える。