[論文レビュー] Frobenius splitting, point-counting, and degeneration

Allen Knutson|ArXiv.org|Nov 25, 2009

Algebraic Geometry and Number Theory参考文献 14被引用数 40

ひとこと要約

この論文は、多項式 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ が $ \mathbb{F}_p $-点を $ p $ で割り切らない数を持つならば、$ \{f=0\} $ の交わり、和集合、成分からなるすべての部分スキームが非特異であり、互換性のあるフロベニウススプリッティングをもつことを確立する。さらに、この性質を保つグローバー退化のもとで、これらの互換性のあるスプリット部分スキームは、点数が $ p $ の倍数だけ異なる、非特異スタニスラウスキー–ライスナースキームに退化することを示し、行列シューベルト多様体やカジマント・ルシュチツィー多様体に関する既知の結果を回復する。

ABSTRACT

Let f be a polynomial of degree n in ZZ[x_1,..,x_n], typically reducible but squarefree. From the hypersurface {f=0} one may construct a number of other subschemes {Y} by extracting prime components, taking intersections, taking unions, and iterating this procedure. We prove that if the number of solutions to f=0 in \FF_p^n is not a multiple of p, then all these intersections in Å^n_{\FF_p} just described are reduced. (If this holds for infinitely many p, then it holds over \QQ as well.) More specifically, there is a_Frobenius splitting_ on Å^n_{\FF_p} compatibly splitting all these subschemes {Y}. We determine when a Gröbner degeneration f_0=0 of such a hypersurface f=0 is again such a hypersurface. Under this condition, we prove that compatibly split subschemes degenerate to compatibly split subschemes, and stay reduced. Our results are strongest in the case that f's lexicographically first term is \prod_{i=1}^n x_i. Then for all large p, there is a Frobenius splitting that compatibly splits f's hypersurface and all the associated {Y}. The Gröbner degeneration Y' of each such Y is a reduced union of coordinate spaces (a Stanley-Reisner scheme), and we give a result to help compute its Gröbner basis. We exhibit an f whose associated {Y} include Fulton's matrix Schubert varieties, and recover much more easily the Gröbner basis theorem of [Knutson-Miller '05]. We show that in Bott-Samelson coordinates on an opposite Bruhat cell X^v_\circ in G/B, the f defining the complement of the big cell also has initial term \prod_{i=1}^n x_i, and hence the Kazhdan-Lusztig subvarieties {X^v_{w\circ}} degenerate to Stanley-Reisner schemes. This recovers, in a weak form, the main result of [Knutson '08].

研究の動機と目的

• 多項式 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ が $ \mathbb{F}_p $-点の数が $ p $ で割り切れない場合に、$ \{f=0\} $ から導かれる部分スキームが非特異である条件を確立すること。
• このような部分スキームが互換性のあるフロベニウススプリットをもつことを示し、それにより非特異性と、交わりや和集合などの代数的演算における安定性を保証すること。
• グローバー退化が互換性のあるフロベニウススプリットを保つ場合、特に退化がスタニスラウスキー–ライスナースキームをもたらす場合に、その分析を行うこと。
• これらの結果を行列シューベルト多様体やカジマント・ルシュチツィー多様体といった既知の幾何的対象と結びつけ、フロベニウススプリット技法を用いて既存の定理を回復すること。
• 適切な条件下で、退化の一般ファイバーと特別ファイバーの点数が $ p $ の倍数だけ異なることを示すこと。

提案手法

• 標準的スプリット（トレース写像 $ \mathrm{Tr}(\bullet) $ を通じて定義）を用いた $ \mathbb{F}_p[x_1,\dots,x_n] $ 上のフロベニウススプリットの使用により、イデアルとの整合性と非特異性の検出を行う。
• 近似スプリットおよび互換性のあるスプリットイデアルの分類の応用により、交わり、和集合、素イデアル成分におけるルートイデアルの保存を示す。
• 多項式 $ f $ が辞書的順序で最初の項として $ \prod x_i $ を持ち、$ p $ が十分に大きい場合、$ \{f=0\} $ から導かれるすべての部分スキームに互換性のあるフロベニウススプリットを構成する。
• グローバー退化を用いて一般ファイバーと特別ファイバーを関連させ、特定の条件下で、互換性のあるスプリット部分スキームが特別ファイバーに非特異スタニスラウスキー–ライスナースキームに退化することを示す。
• 幾何的頂点分解を用いてファイバー間の不連続な単射を構成し、代数的多様体のグローテンディーク群における類の比較を可能にする。
• 最初の項 $ \prod x_i $ が、十分に大きな $ p $ に対して、すべての関連部分スキームに互換性のあるフロベニウススプリットの存在を保証することを活用する。

実験結果

リサーチクエスチョン

• RQ1 多項式 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ がどのような条件下で、$ \mathbb{F}_p $ 上の超曲面 $ \{f=0\} $ およびそのすべての導出部分スキームが非特異になるか。
• RQ2 フロベニウススプリット部分スキームのグローバー退化が、いつ互換性のあるスプリットおよび非特異性を保つのか。
• RQ3 グローバー退化の一般ファイバーと特別ファイバーの点数は、$ p $ を法としてどのように関係するか。
• RQ4 フロベニウススプリット技法を用いて、既知の行列シューベルト多様体やカジマント・ルシュチツィー多様体に関する結果を回復できるか。
• RQ5 辞書的順序で最初の項 $ \prod x_i $ が、すべての関連部分スキームに互換性のあるフロベニウススプリットの存在を保証するために果たす役割は何か。

主な発見

• もし $ \{f=0\} $ の $ \mathbb{F}_p $-点の数が $ p $ で割り切れないならば、$ \{f=0\} $ の交わり、和集合、成分からなるすべての部分スキームは非特異である。
• すべてのこのような導出部分スキーム $ \{Y\} $ を同時にスプリットする、$ \mathbb{A}^n_{\mathbb{F}_p} $ 上のフロベニウススプリットが存在し、それにより非特異性（ルートイデアル性）が保証される。
• 辞書的順序で最初の項が $ \prod_{i=1}^n x_i $ である多項式およびすべての大きな素数 $ p $ に対して、関連部分スキームは互換性のあるフロベニウススプリットをもつ。
• グローバー退化において、初期項の条件が保たれる場合、特別ファイバーは非特異スタニスラウスキー–ライスナースキームとなり、一般ファイバーは互換性のある方法で退化する。
• 適切な条件下で、グローバー退化の一般ファイバーと特別ファイバーの $ \mathbb{F}_p $-点数は、$ p $ の倍数だけ異なる。
• 本論文は、フロベニウススプリット技法を用いて、クヌートソン–ミラー（2005）のグローバー基底定理およびクヌートソン（2008）のカジマント・ルシュチツィー多様体に関する退化結果を回復する。