[論文レビュー] ${\mathbb G}_a^M$ degeneration of flag varieties

Evgeny Feigin|arXiv (Cornell University)|Jul 5, 2010

Algebraic structures and combinatorial models参考文献 10被引用数 9

ひとこと要約

この論文は、可約な $G$-加群上の PBW 濃度により構成された、一般化フラッグ多様体 $\mathcal{F}_\lambda$ の平坦な ${\mathbb{G}}_a^M$-退化を提示する。退化座標環は双対 PBW-重み付きモジュールの直和と同型であり、半標準的 PBW-テーブルックスが多均質成分をパラメトライズする。これはタイプ $A$ における古典的プレッカー関係を退化版に一般化する。退化は平坦であり、群作用 $G^a = \mathbb{G}_a^M \rtimes B$ によって幾何的構造が保存される。主な貢献は、PBW 基底を用いた退化フラッグ多様体の組み合わせ的かつ代数幾何学的枠組みの構築である。

ABSTRACT

Let $\Fl_λ$ be a generalized flag variety of a simple Lie group $G$ embedded into the projectivization of an irreducible $G$-module $V_λ$. We define a flat degeneration $\Fl_λ^a$, which is a ${\mathbb G}^M_a$ variety. Moreover, there exists a larger group $G^a$ acting on $\Fl_λ^a$, which is a degeneration of the group $G$. The group $G^a$ contains ${\mathbb G}^M_a$ as a normal subgroup. If $G$ is of type $A$, then the degenerate flag varieties can be embedded into the product of Grassmanians and thus to the product of projective spaces. The defining ideal of $\Fl^a_λ$ is generated by the set of degenerate Pl\" ucker relations. We prove that the coordinate ring of $\Fl_λ^a$ is isomorphic to a direct sum of dual PBW-graded $\g$-modules. We also prove that there exist bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogues of semistandard tableux.

研究の動機と目的

• 可約な $G$-加群上の PBW 濃度を用いて、一般化フラッグ多様体 $\mathcal{F}_\lambda$ の平坦退化を構成すること。
• 退化フラッグ多様体 $\mathcal{F}_\lambda^a$ に作用する新しい群 $G^a = \mathbb{G}_a^M \rtimes B$ を定義し、$G$ の作用を拡張すること。
• $\mathcal{F}_\lambda^a$ の座標環が双対 PBW-重み付き $\mathfrak{g}$-モジュールの直和と同型であることを示すこと。
• 半標準的 PBW-テーブルックスを用いて、$\mathcal{F}_\lambda^a$ の座標環の基底を確立し、古典的半標準的テーブルックスを一般化すること。
• $\mathcal{F}_\lambda \to \mathcal{F}_\lambda^a$ の退化が平坦であることを、定義イデアルの $t$-変形を用いて証明すること。

提案手法

• 可約な $G$-加群 $V_\lambda$ における PBW 濃度 $F_s$ を定義し、関連する順次空間 $V_\lambda^a = \bigoplus_{s \geq 0} F_{s+1}/F_s$ を得る。
• 退化リ Lie 代数 $\mathfrak{g}^a = \mathfrak{b} \oplus ({\mathfrak{n}}^-)^a$ を構成し、ここで $({\mathfrak{n}}^-)^a$ は $\mathfrak{n}^-$ とベクトル空間として同型なアーベルイデアルである。
• 最高重みベクトルの $\mathbb{G}_a^M$-軌道の閉包として $\mathcal{F}_\lambda^a$ を $\mathbb{P}(V_\lambda^a)$ 内に定義する。
• 古典的プレッカー関係を退化させることで得られる生成元として、退化プレッカー関係を $\mathcal{F}_\lambda^a$ の定義イデアル $I^a$ の生成元として導入する。
• $t$-変形 $Q^t$ を用いて座標環を定義し、$t$-変形された関係 $R^{k;t}_{L,J}$ を導入し、古典的関係と退化関係の間を補間する。
• $Q^t$ が $\mathbb{C}[t]$ 上自由であり、半標準的 PBW-テーブルックスで添字づけられた単項式が基底をなすことを示すことにより、平坦性を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的フラッグ多様体 $\mathcal{F}_\lambda$ は、PBW 濃度を用いて $\mathbb{G}_a^M$-多様体に平坦に退化させることができるか？
• RQ2 $\mathcal{F}_\lambda^a$ の座標環は、双対 PBW-重み付きモジュールの直和と同型か？
• RQ3 半標準的 PBW-テーブルックスは、$\mathcal{F}_\lambda^a$ の座標環の多均質成分の基底をパラメトライズするか？
• RQ4 退化プレッカー関係は、射影空間の積への埋め込みとして $\mathcal{F}_\lambda^a$ を定義するのに十分か？
• RQ5 退化 $\mathcal{F}_\lambda \to \mathcal{F}_\lambda^a$ は平坦であり、座標環の $t$-変形を用いてこれを示せるか？

主な発見

• 退化フラッグ多様体 $\mathcal{F}_\lambda^a$ は、PBW 濃度による古典的フラッグ多様体 $\mathcal{F}_\lambda$ の平坦退化である。
• $\mathcal{F}_\lambda^a$ の座標環は、双対 PBW-重み付き $\mathfrak{g}$-モジュールの直和と同型であり、古典的同型を退化系に一般化する。
• 座標環の多均質成分の基底は、半標準的 PBW-テーブルックスでパラメトライズされ、これは古典的半標準的テーブルックスを一般化する。
• $\mathcal{F}_\lambda^a$ の定義イデアルは、PBW 濃度による古典的プレッカー関係の退化から得られる退化プレッカー関係によって生成される。
• 退化は平坦である。これは、$t$-変形 $Q^t$ を構成し、$\mathbb{C}[t]$ 上自由であり、$Q^t/(t) \simeq Q^a$ および $Q^t/(t-u) \simeq Q$（$u \neq 0$）となることを示すことにより証明される。また、$\mathbb{C}[t]$-基底は半標準的 PBW-テーブルックスで添字づけられた単項式で与えられる。
• タイプ $A$ において、退化フラッグ多様体 $\mathcal{F}_\lambda^a$ はグリスマンニアンの積に埋め込まれ、したがって射影空間の積に埋め込まれる。その方程式は退化プレッカー関係で与えられる。