[論文レビュー] Addendum to: A simultaneous Frobenius splitting for closures of conjugacy classes of nilpotent matrices, by V. B. Mehta and Wilberd van der Kallen

Wilberd van der Kallen|ArXiv.org|Mar 20, 2008

graph theory and CDMA systems参考文献 3被引用数 5

ひとこと要約

この論文は、$\mathrm{GL}_n$ の冪零行列の共軛類の閉包に対するフロベニウススプリッティング構成を、制限されたクラスに限らないすべての標準的パラボリック部分群へ拡張する。行列添え字の半順序上で再帰的に残差構成を用いてスプリッティングを修正することで、任意の半順序のイデアル $S$ に対して $G \times^B \mathfrak{b}[S]$ と同時に整合するフロベニウススプリッティングの存在を示し、ブリオンとクマールが提示した演習を解決する。

ABSTRACT

Prompted by an exercise in the Brion Kumar book on Frobenius splittings, we show compatibility with a few more subvarieties of the Frobenius splitting from our 1992 paper.

研究の動機と目的

• ブリオンとクマールの書籍における演習 5.1.E.6 を解決すること。この演習は、フロベニウススプリッティング結果をすべての標準的パラボリック部分群に拡張することを求めている。
• 元の論文 [2] の見落としを是正すること。この論文では、パラボリック部分群の制限されたクラスしか取り扱わなかった。
• 定義された $[1,n] \times [1,n]$ 上の半順序における任意のイデアル $S$ に対して、$G \times^B \mathfrak{b}[S]$ における同時フロベニウススプリッティングを確立すること。これにより、すべてのこのような部分空間と整合する。
• レムマ 3.3 [2] に依存しない、残留法と行列式の整除性に基づく構成的証明を提供すること。
• スプリッティング構成における残留的正規交差構造を確認し、[3] の枠組みと整合させること。

提案手法

• $[1,n] \times [1,n]$ 上に半順序を定義する。$(i,j) \leq (r,s) \iff i \geq r \text{ かつ } j \leq s$ とし、これは $\mathfrak{g}$ の行列成分の添え字をインデックスづける。
• 各順序イデアル $S$ を、$B$-不変部分空間 $\mathfrak{b}[S] \subset \mathfrak{b}$ に結びつける。この部分空間は $S$ の上でのみゼロとなる行列から成り、$\mathfrak{b}$ のすべてのイデアルを形成する。
• $S$ のサイズに関する帰納法を用いる。$\mathfrak{b}[S] = \mathfrak{b}$ の場合、つまり $S$ が空集合のとき、スプリッティング公式は自明に成立する。
• $(s,t)$ を $S$ の最大元とし、$s \leq t$ とする。$r = s + n - t$ を定義し、$M = X + \delta_r[S']$ を用いて $\det((gMg^{-1})_{\leq r, \leq r})$ を分析する。この行列式が $X_{st}$ で割り切れることが示される。
• $f = X_{st}$ を正則関数として用い、残留構成を適用する。これにより、特殊化の際に $\det((g(X+\delta_r[S'])g^{-1})_{\leq r, \leq r})$ が $\det((g(X+\delta_r[S])g^{-1})_{\leq r, \leq r})$ に置き換わることが保証される。
• 残留に基づくフロベニウススプリッティングの仮定を満たしていることを検証する。$U^{-} \times \mathfrak{b}[S]$ が $G \times^B \mathfrak{b}[S]$ で稠密であることを利用している。

実験結果

リサーチクエスチョン

• RQ1 論文 [2] で構成された $G \times^B \mathfrak{b}$ のフロベニウススプリッティングは、$\mathrm{GL}_n$ のすべての標準的パラボリック部分群へ拡張可能か？
• RQ2 定義された行列添え字の半順序におけるすべてのイデアル $S$ に対して、$G \times^B \mathfrak{b}[S]$ と同時に整合する一様な、同時フロベニウススプリッティングが存在するか？
• RQ3 $S$ が最大元 $(s,t)$ $(s \leq t)$ を除いて更新される場合、$X_{st}$ を用いた残留構成が、一貫的かつ正当なフロベニウススプリッティングをもたらすか？
• RQ4 レムマ 3.3 [2] に依存しない証明が可能か？このレムマはすべてのパラボリック部分群に拡張できない。
• RQ5 得られるスプリッティングは、フロベニウススプリッティング理論の一般枠組みで要求される残留的正規交差構造にあるか？

主な発見

• 定義された半順序におけるすべてのイデアル $S$ に対して、$G \times^B \mathfrak{b}[S]$ のフロベニウススプリッティングが同時に構成され、[2] が取り扱ったクラスを越えて拡張された。
• $S$ のサイズに関する帰納法を用いる。$S = \emptyset$ の場合、$\mathfrak{b}[S] = \mathfrak{b}$ に対応し、スプリッティング公式は定義上自明に成立する。
• $(s,t)$ を $S$ の最大元とし、$s \leq t$ とする。$\det((g(X+\delta_r[S'])g^{-1})_{\leq r, \leq r})$ は $X_{st}$ で割り切れる。これにより残留構成が可能になる。
• 残留作用は、$S'$ から $S$ に変更された行列式因子を正しく置き換える。これにより、帰納段階におけるスプリッティング公式の整合性が保証される。
• 構成は $U^{-} \times \mathfrak{b}[S]$ という稠密な開部分集合上で有効であり、これが $G \times^B \mathfrak{b}[S]$ で稠密であるため、フロベニウススプリッティングは大域的に拡張可能である。
• 得られるスプリッティングは残留的正規交差状態にあり、フロベニウススプリッティング理論の一般枠組みと整合することが確認された。