[論文レビュー] Automatically reduced degenerations of automatically normal varieties

Allen Knutson|ArXiv.org|Sep 25, 2007

Commutative Algebra and Its Applications参考文献 10被引用数 8

ひとこと要約

本稿では、分岐多様体の幾何と正規性条件を用いて、射影的スキームの平坦族における特別なファイバーが非特異であることを保証する基準を提示する。主な結果は、成分にややきつい交差および正規性の仮定の下で、極限ファイバーが非特異であり、一般ファイバーが正規かつコhen＝マカウレイ的であることを示している。ここでは、この結果を応用して、特徴的 $p$ 技法やコhomologyの消失を用いずに、有限型フラッグ多様体内のシューベルト多様体の正規性およびコhen＝マカウレイ性に対する、新たな初等的証明が得られる。

ABSTRACT

Let F be a flat family of projective schemes, whose geometric generic fiber is reduced and irreducible. We give conditions on a special fiber (a "limit" of the family) to guarantee that it too is reduced. These conditions often imply also that the generic fiber is normal. The conditions are particularly easy to check in the setup of a "geometric vertex decomposition" [Knutson-Miller-Yong '07]. The primary tool used is the corresponding limit _branchvariety_ [Alexeev-Knutson '06], which is reduced by construction, and maps to the limit subscheme; our technique is to use normality to show that the branchvariety map must be an isomorphism. As a demonstration, we give an essentially naive proof that Schubert varieties in finite type are normal and Cohen-Macaulay. The proof does not involve any resolution of singularities or cohomology-vanishing techniques (e.g. appeal to characteristic p).

研究の動機と目的

• 平坦な射影的スキーム族における特別なファイバーが、特異的または多様な場合でも非特異であることを保証する十分条件を提供すること。
• これらの条件下で、一般ファイバーが非特異であるだけでなく、正規かつセールの条件 $S_2$ を満たすことを確立すること。
• この手法を有限型フラッグ多様体内のシューベルト多様体に応用し、特異点の解消やコhomologyの消失を用いずに、その正規性およびコhen＝マカウレイ性を証明すること。
• 幾何的頂点分解が、必要な条件の検証に自然な枠組みを提供することを示し、検証プロセスを簡素化すること。
• シューベルト多様体の退化が、部分語複体および Billey-Willems の公式を通じて $T$-可換な平坦退化によってスタニーリー＝ライスナー環に接続されることを示すこと。

提案手法

• Alexeev-Knutson '06 に従う極限分岐多様体構成を用い、これは定義上非特異であり、極限部分スキームへと写像する。
• 極限部分スキームが正規であり、分岐多様体写像が有限かつ有理型である場合、それが同型でなければならないことを示し、これにより極限が非特異であることが導かれる。
• 非特異極限補題を適用：特別なファイバーの成分が正規であり、かつその交差が codimension 1 で非特異であれば、ファイバーは非特異である。
• 幾何的頂点分解によるブルア・順序に関する帰納法を用い、各ステップが単純な反転に対応し、$T$-可換な退化によって2つの成分の和集合に移る。
• 退化における $T$-作用が正の重みを持つことを利用し、平坦性および局所自由性を保証する。これにより、族が平坦であり、退化が適切に振る舞うことが示される。
• 退化がシェーラブルな単体的球（部分語複体）のスタニーリー＝ライスナー複体に接続されることを示し、同変コhomologyおよび $K$-理論的類がその複体の組合せ論的性質から計算可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 平坦な射影的スキーム族における特別なファイバーが非特異であることが保証されるのは、成分およびその交差にどのような条件下か？
• RQ2 特異点の解消やコhomologyの消失を用いずに、シューベルト多様体の正規性およびコhen＝マカウレイ性を確立できるか？
• RQ3 幾何的頂点分解は、シューベルト多様体の退化における非特異性および正規性の検証をどのように簡素化するか？
• RQ4 $T$-可換なシューベルト多様体の退化と、その関連する部分語複体の組合せ論的性質との関係は何か？
• RQ5 シューベルト多様体の同変コhomologyおよび $K$-理論的類は、そのスタニーリー＝ライスナー環への退化から回復可能か？

主な発見

• 非特異極限補題は、成分の正規性およびその交差が codimension 1 で非特異であるという条件下で、特別なファイバーが非特異であるための十分条件を提供する。
• この補題の条件が満たされれば、一般ファイバーは正規であり、セールの条件 $S_2$ を満たす。さらに、成分およびその交差がより高い $S_k$ 条件を満たすならば、ファイバーに対しても同様の性質が成り立つ。
• 本手法により、有限型フラッグ多様体内のシューベルト多様体が正規かつコhen＝マカウレイ的であることを示す、新たな初等的証明が得られる。特異点の解消や特徴的 $p$ 技法を用いない。
• 本稿では、幾何的頂点分解を用いて、シューベルト多様体の $T$-可換で平坦かつ局所自由な退化を構成し、その結果、2つの成分の和集合に退化する。1つは $X_{wr_{eta}}|_{vr_{eta}}$ に同型であり、もう1つは $X_w|_{vr_{eta}}$ に同型である。
• シューベルト多様体がシェーラブルな単体的球（部分語複体）のスタニーリー＝ライスナー複体に退化することは、同変コhomologyおよび $K$-理論的類が、それぞれのファセットや内部の面に対する和の形で組合せ論的に計算可能であることを示唆する。
• Billey-Willems の公式との関係が確立される：部分語複体への退化により、シューベルト類の固定点への制限が、複体の面の和（または交代和）として与えられ、既知の公式と一致する。