[論文レビュー] On Ideal Generators for Affine Schubert Varieties

Victor Kreiman, V. Lakshmibai+2 more|ArXiv.org|Nov 6, 2004

Advanced Algebra and Geometry参考文献 23被引用数 5

ひとこと要約

本稿では、型Aのアフィングラスマンニアンにおけるアフィンシューベルト多様体上のラインバンドルの明示的基底を、制限されたプレッカー座標を用いて構成する。これらの多様体を有限次元グラスマンニアンに埋め込むことにより、その定義イデアルの1次部分の明示的生成子を導出し、これらがイデアルの完全な生成集合をなすと予想する。この結果、ノンアービットの軌道閉包の特性に依存しないフィルトレーションが得られ、そのSL(n)-モジュール構造についての予想が提示される。

ABSTRACT

We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators. We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.

研究の動機と目的

• 型Aのアフィングラスマンニアンにおける特定のクラスのアフィンシューベルト多様体上のラインバンドルの明示的セクション基底を構成すること。
• 有限次元グラスマンニアンにおけるこれらのシューベルト多様体を定義するイデアルの1次部分の明示的生成子を導出すること。
• これらの生成子が、無限次元グラスマンニアン内でのアフィングラスマンニアンのイデアルの完全な生成集合をなすと予想すること。
• 結果をノンアービットの軌道閉包に適用し、その座標環の特性に依存しないフィルトレーションを構成すること。
• このフィルトレーションの各graded部分のSL(n)-モジュール構造に関する予想を提示し、動機を示すこと。

提案手法

• F = K((t)) におけるSL_n(F)の要素の行列表現を用いて、アフィングラスマンニアンを無限次元グラスマンニアンに埋め込む。
• この埋め込みを介して、アフィンシューベルト多様体を有限次元グラスマンニアン内の閉部分多様体として実現する。
• シューベルト多様体Xへの「許容的」プレッカー座標の制限を用いて、H⁰(X, L)の基底を定義する。
• 1次元の直線化関係（「シャッフル」）と、行列表現から導かれる2次関係を用いて、線形独立性と張りの両方を確立する。
• 行列表現を用いて、有限次元グラスマンニアン内でのXのイデアルの1次部分の明示的生成子を導出する。
• ルスティグの同型を用い、プレッカー座標の次数によるフィルトレーションを定義することで、ノンアービットの軌道閉包に結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 プレッカー座標を用いて、アフィンシューベルト多様体上のラインバンドルの明示的セクション基底を構成できるか？
• RQ2 制限されたプレッカー座標は、有限次元埋め込みにおけるシューベルト多様体のイデアルを生成するか？
• RQ3 無限次元グラスマンニアン内でのアフィングラスマンニアンのイデアルの1次生成子の集合は完全か？
• RQ4 ノンアービットの軌道閉包の座標環のgraded部分のSL(n)-モジュール構造は何か？
• RQ5 プレッカー座標の次数によるフィルトレーションを用いて、ノンアービットの軌道閉包の座標環に特性に依存しないフィルトレーションを定義できるか？

主な発見

• 著者らは、制限プレッカー座標を用いてH⁰(X, L)の明示的基底を構成し、『シャッフル』（1次元の直線化関係）を用いてそれが張ることを証明する。
• プレッカー座標の2次関係を、より小さいシューベルト多様体に制限することで、基底の線形独立性を帰納的に確立する。
• 有限次元グラスマンニアン内でのXのイデアルの1次部分は、特定の制限プレッカー座標によって明示的に生成される。
• 著者らは、これらの生成子が無限次元グラスマンニアン内でのアフィングラスマンニアンのイデアルの完全な生成集合をなすと予想する。
• ノンアービットの軌道閉包の座標環に、プレッカー座標の次数による特性に依存しないフィルトレーションを定義する。
• 本稿では、このフィルトレーションのgraded部分が、WeylモジュールL_{λ_i^m}Eのテンソル積と同型であると予想し、特性0においてその予想が検証されている。