[論文レビュー] A geometric approach to Standard Monomial Theory

Michel Brion, V. Lakshmibai|ArXiv.org|Nov 6, 2001

Algebraic Geometry and Number Theory参考文献 6被引用数 6

ひとこと要約

本稿では、可換なラインバンドを備えた任意のフラッグ多様体 $G/P$ の斉次座標環の標準モノミアル基底を、消失定理と対角の平坦かつ $T$-不変な退化 $\bigcup X_w \times X^w$ を用いた幾何的構成を与える。この基底はシューベルト、逆シューベルト、リチャードソン多様体と両立し、古典的結果をすべてのフラッグ多様体に一般化し、標準モノミアル理論の幾何的基盤を提供する。

ABSTRACT

We obtain a geometric construction of a ``standard monomial basis'' for the homogeneous coordinate ring associated with any ample line bundle on any flag variety. This basis is compatible with Schubert varieties, opposite Schubert varieties, and unions of intersections of these varieties. Our approach relies on vanishing theorems and a degeneration of the diagonal ; it also yields a standard monomial basis for the multi-homogeneous coordinate rings of flag varieties of classical type.

研究の動機と目的

• 任意のフラッグ多様体 $G/P$ と可換なラインバンドを備えた斉次座標環の標準モノミアル基底の幾何的構成を提供すること。
• ハッジのグラスマンニアンに関する古典的結果を任意のフラッグ多様体およびラインバンドへ拡張すること。
• 基底がシューベルト、逆シューベルト、リチャードソン多様体と両立することを確立すること。
• リトルマンの組合せ的SMT結果、特に古典的群に対して、幾何的枠組みを提供すること。
• 帰納的組合せ的手法に依存せず、幾何的技法を用いて標準モノミアル理論をすべてのフラッグ多様体に一般化すること。

提案手法

• シューベルトおよび逆シューベルト多様体と両立するフロベニウス分岐に起因するリチャードソン多様体の和集合に対する消失定理を用いる。
• 多様体 $X \times X$ の対角の平坦かつ $T$-不変な退化を、$X_w$ および $X^w$（それぞれシューベルトおよび逆シューベルト多様体）の積の和集合 $\bigcup_w X_w \times X^w$ に用いる。
• 標準的リフトと $\lambda$-最小性／最大性条件を用いて、リチャードソン多様体 $X_w^v$ への制限により $T$-固有ベクトル $p_{w(\lambda),x(\lambda)}$ を構成する。
• 誘導および制限写像を用いて $H^0(X_w^v, L_\lambda)$ の基底を構築し、$\lambda$-最大性および最小性制約により部分多様体と両立することを保証する。
• 順序付きリフト $\tilde{v}_m \leq \tilde{w}_m \leq \cdots \leq \tilde{v}_1 \leq \tilde{w}_1$ を満たす標準モノミアルを、積 $p_{w_1(\lambda_1),v_1(\lambda_1)} \cdots p_{w_m(\lambda_m),v_m(\lambda_m)}$ として定義する。
• 等式 $p_{w(\lambda),x(\lambda)}^2 = p_{w(\lambda)}p_{x(\lambda)}$ が $X_w$ 上で成り立ち、$X_w^v$ 上での $p_{w(\lambda),x(\lambda)}$ の零点集合が $\{p_{x(\lambda)}=0\} \cup (\partial_\lambda X_w)^v$ であることを用いて、非消滅条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 帰納的組合せ的手法に依存せずに、任意のフラッグ多様体 $G/P$ と可換ラインバンド $L$ に対して、標準モノミアル基底の幾何的構成が可能かどうか。
• RQ2 標準モノミアル基底がシューベルト、逆シューベルト、リチャードソン多様体と幾何的にどのように両立するか。
• RQ3 対角の平坦かつ $T$-不変な退化 $\bigcup X_w \times X^w$ がこのような基底の構成において果たす役割は何か。
• RQ4 この幾何的アプローチは、古典的群におけるリトルマンのLSパスモデルをどの程度回復または一般化するか。
• RQ5 ある標準モノミアルがリチャードソン多様体 $X_w^v$ に非自明に制限されるが、$X_w^v$ 上では標準的でない場合があるのか。

主な発見

• 重み $\lambda_i$ が古典的型であるとき、任意のリチャードソン多様体 $X_w^v$ 上の標準モノミアルは、$H^0(X_w^v, L_{\lambda_1 + \cdots + \lambda_m})$ の基底をなす。
• 本手法により、すべてのシューベルト、逆シューベルト、リチャードソン多様体と両立する $H^0(G/P, L_\lambda)$ の $T$-固有ベクトル基底が得られる。
• 本手法は、グラスマンニアンおよび古典的群のフラッグ多様体における古典的SMT結果を回復・一般化し、[9] に含まれる結果も含む。
• 本稿は、特にLSパスが線分である古典的ケースにおいて、リトルマンのLSパスモデルを支持する幾何的証明枠組みを提供する。
• $SL(3)$ の例（$p_{s_1(\omega_1)}p_{s_2(\omega_2)}$）で示されるように、$G/B$ 上の標準モノミアルがリチャードソン多様体 $X_w^v$ に非自明に制限されるが、$X_w^v$ 上では標準的でない例が存在する。