[論文レビュー] Geometric Proofs of Horn and Saturation Conjectures

Prakash Belkale|ArXiv.org|Aug 13, 2002

Advanced Combinatorial Mathematics参考文献 12被引用数 14

ひとこと要約

本稿は、グラスマン多様体におけるシューベルト類のカップ積の非消滅を特徴付けるより強い帰納的基準を導入することで、シューベルト計算におけるホーン予想および飽和予想の幾何的証明を提示する。幾何的不変式論とフラッグ多様体を用いて、任意の特徴数において横断性を確立し、最高重みが有界な複数の表現への飽和定理を一般化する。

ABSTRACT

We provide a geometric proof of the Schubert calculus interpretation of the Horn conjecture, and show how the saturation conjecture follows from it. The geometric proof gives a strengthening of Horn and saturation conjectures. We also establish transversality theorems for Schubert calculus in non-zero characteristic. Some parts of the version posted in Nov 2002 (concerning explicit invariants constructed from Schubert calculus) have been removed from this version. They have appeared separately in IMRN 2004, no. 69, pages 3709--3721 " Invariant theory of GL(n) and Intersection theory of Grassmannians"

研究の動機と目的

• シューベルト計算におけるホーン予想の幾何的証明を提供し、フラウンが提起した長年の課題を解決すること。
• シューベルト類のカップ積の非消滅を特徴付ける、より強い帰納的ホーン条件を確立すること。
• 正の特徴数におけるシューベルト計算の横断性定理を証明し、代数的に閉じた任意の体にまで結果を拡張すること。
• クヌートソン＝トウの飽和定理を、最高重みが有界な複数の表現に一般化すること。
• グラスマンバンドルと函子的構成を用いて、幾何的および表現論的視点を統合すること。

提案手法

• シューベルト多様体における帰納的不等式を用いて、古典的ホーン予想を一般化する幾何的ホーン条件（定理 0.1）を導入する。
• フラッグ多様体上のグラスマンバンドルの函手的構成を用いて、インシデント条件を満たすフラッグおよび部分バンドルのモジュライを表現する。
• 幾何的不変式論と普遍部分バンドルの族を用いて、シューベルト問題の滑らかで既約なパラメータ空間を構成する。
• インシデント条件の関手的表現を表すために、グラスマンバンドルの塔を用い、滑らかさと既約性を保証する。
• 特定のインシデント部分集合がパラメータスキームにおいて開かつ滑らかであることを示すことにより、正の特徴数における横断性を確立する。
• Gr(r,n) と Gr(n−r,n) 間の双対性を活用し、同等の非消滅条件をもたらす双対的な不等式集合を導出する。

実験結果

リサーチクエスチョン

• RQ1 シューベルト計算におけるホーン予想は、表現論や組合せ論に依存せずに、幾何的に証明可能か？
• RQ2 飽和予想は、テンソル積分解における最高重みの幅を制限する、より強い帰納的形に一般化可能か？
• RQ3 正の特徴数におけるシューベルト交叉は横断的か？ そしてこれは幾何的に証明可能か？
• RQ4 なぜ Gr(r,n) と Gr(n−r,n) からの不等式の双対集合が、カップ積の非消滅条件において同等となるのか？
• RQ5 幾何的ホーン条件は、可約 GL(r)-表現のテンソル積における複数の因子へと拡張可能か？

主な発見

• 幾何的ホーン条件（定理 0.1）は、グラスマン多様体におけるシューベルト類のカップ積の非消滅を完全に帰納的に特徴付ける。
• 本稿は、関連するインシデント部分集合が代数的に閉じた体上で滑らかで既約であることを示すことにより、任意の特徴数におけるシューベルト計算の横断性を確立する。
• 飽和定理は複数の表現へ一般化される：$ c^{ u}_{ ho, au, ho'} \neq 0 $ であるための必要十分条件は、$ c^{N u}_{N\rho,N au,N ho'} \neq 0 $ であることであり、最高重みが有界である $ \delta_1 \leq \ell $ である。
• Gr(r,n) と Gr(n−r,n) からの不等式の双対集合は、同等の非消滅条件をもたらすが、その導出は非自明で、いまだに不思議な性質を有する。
• 関手 $ B(\mathcal{K},V) $ と $ H_{\mathcal{I}}(V,Q,\mathcal{K}) $ は滑らかで既約なスキームによって代表可能であり、解の幾何的性質を裏付ける。
• グラスマンバンドルの塔によるパラメータ空間の構成により、解空間が滑らかで既約であることが保証され、任意の特徴数における横断性結果が得られる。