[論文レビュー] Singularities of Richardson varieties

Allen Knutson, Alexander Woo+1 more|arXiv (Cornell University)|Sep 19, 2012

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

ひとこと要約

この論文は、リチャードソン多様体（シューベルト多様体とその反対多様体の交叉）の局所的特異点性質が、対応するシューベルト多様体が特定のシューベルト細胞およびその反対細胞における局所幾何学によって完全に決定されることを確立する。任意の積条件を満たす局所不変量が個々のシューベルト多様体上の不変量の関数として振る舞うことを示す因子分解定理を証明し、リチャードソン多様体の特異点の研究をシューベルト多様体の特異点の研究に還元する。

ABSTRACT

We give a short proof that essentially all questions concerning singularities of Richardson varieties reduce to corresponding questions about Schubert varieties. Consequently, we quickly deduce some new and previously known results.

研究の動機と目的

• 一般フラッグ多様体内のリチャードソン多様体の局所的特異点構造を理解すること。
• リチャードソン多様体の特異点に関する問いを、それに対応するシューベルト多様体に関する問いに還元すること。
• シューベルト多様体およびその反対多様体における挙動に基づいて、リチャードソン多様体上の局所的不変量の一般的因子分解原理を確立すること。
• リチャードソン多様体について滑らかさ、正規性、コhen–マカウレイ性、有理特異点といった性質を一様な枠組みで導出するためのフレームワークを提供すること。
• 局所的同型およびT-可換性を用いて、既知のリチャードソン多様体の特異点に関する結果を新たな短い証明で示すこと。

提案手法

• 点xP ∈ X_w^v の近傍とシューベルト多様体X_wとその反対多様体X^vの局所チャートの積との間に、アフィン空間との積を除いてT-可換な局所同型を構成する。
• アフィン空間との積に関して保存され、f_P(X×Y) = f_P(P(x,X), P(y,Y)) という因子分解条件を満たす局所不変量Pのクラスを定義する。
• シューベルト細胞BσP/Pと反対シューベルト細胞B_-τP/Pの交わりに属する点xP ∈ X_w^vに対して、xPにおける不変量Pが、X_wにおけるσPにおける不変量とX^vにおけるτPにおける不変量のf_Pによる合成に等しいことを示す。
• 行列表現と行操作（上向きおよび下向きのスイープ）を用いて、η₁(x)およびη₂(x)（BおよびB_-作用による像）に現れる成分から一般行列成分を再構成する。
• 列ごとの帰納法と1の相対的位置に基づく場合分けを用いて、行列xの成分がη₁(x)およびη₂(x)の成分の多項式として復元可能であることを証明する。
• 因子分解結果を応用して、リチャードソン多様体の滑らかさ、正規性、コhen–マカウレイ性、有理特異点に関する帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 点xPにおけるリチャードソン多様体X_w^vの局所的特異点性質は、シューベルト多様体X_wのxPを含むシューベルト細胞における局所幾何学と、反対シューベルト多様体X^vのxPを含む反対シューベルト細胞における局所幾何学にどのように依存するか？
• RQ2 リチャードソン多様体の特異点は、局所的因子分解原理によって、完全にシューベルト多様体の特異点に還元可能か？
• RQ3 リチャードソン多様体のどの不変量が、それに対応するシューベルト多様体および反対シューベルト多様体の不変量によって決定されるか？
• RQ4 リチャードソン多様体上の局所的不変量が、成分となるシューベルト多様体の不変量を通じて因子分解するための条件は何か？
• RQ5 T-固定点でない点の近傍におけるリチャードソン多様体の局所構造は、シューベルト多様体および反対シューベルト多様体の局所構造のみを用いて記述可能か？

主な発見

• 点xPにおけるリチャードソン多様体X_w^vの局所的特異点型は、xPを含むシューベルト細胞におけるシューベルト多様体X_wの局所的不変量と、xPを含む反対シューベルト細胞における反対シューベルト多様体X^vの局所的不変量によって完全に決定される。
• X_w^vの特異点集合は、X_wの特異点集合とX^vの交わりおよびX^vの特異点集合とX_wの交わりの和集合である。
• リチャードソン多様体は、シューベルト多様体からの対応する不変量の因子分解のおかげで、正規かつコhen–マカウレイで、有理特異点を持つ。
• 点におけるリチャードソン多様体の局所環のヒルベルト–サミュエル多重度およびH多項式は、シューベルト多様体および反対シューベルト多様体における対応する不変量の関数として因子分解する。
• 証明により、X_w^vにおけるxPの近傍とX_wおよびX^vの局所チャートの積との間に、アフィン空間との積を除いてT-可換な局所同型が確立され、不変量の因子分解が説明される。
• この結果は、純粋な特異点理論を超えて、局所T-可換コホモロジー類などの相対的不変量にも適用可能であり、その適用範囲を拡張する。