[论文解读] 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 $ 的倍数。

提出的方法

• 在 $ \mathbb{F}_p[x_1,\dots,x_n] $ 上使用弗罗贝尼乌斯分裂，特别是通过迹映射 $ \mathrm{Tr}(\bullet) $ 定义的标准分裂，以检测约化性及与理想的一致性。
• 应用近似分裂与相容分裂理想分类的结果，证明根理想在交、并及素分量下保持不变。
• 当 $ f $ 的词典序首项为 $ \prod x_i $ 且 $ p $ 足够大时，构造一个与所有由 $ \{f=0\} $ 衍生出的子概形 $ \{Y\} $ 相容的弗罗贝尼乌斯分裂。
• 利用格罗布纳退化将一般纤维与特殊纤维关联起来，证明在特定条件下，相容分裂的子概形退化为约化斯坦利-雷伊纳德概形。
• 采用几何顶点分解方法，构造纤维之间的不连续单射，从而在代数几何的范畴中比较格罗腾迪克簇类群中的类。
• 利用首项 $ \prod x_i $ 确保在大 $ p $ 下，所有相关子概形均存在相容的弗罗贝尼乌斯分裂这一事实。

实验结果

研究问题

• RQ1 在何种条件下，多项式 $ f \in \mathbb{Z}[x_1,\dots,x_n] $ 的超曲面 $ \{f=0\} $ 及其所有衍生子概形在 $ \mathbb{F}_p $ 上为约化子概形？
• RQ2 当格罗布纳退化保持弗罗贝尼乌斯分裂的相容性时，其是否仍为相容分裂且约化？
• RQ3 在何种条件下，格罗布纳退化的一般纤维与特殊纤维的点数之差模 $ p $ 成立？
• RQ4 弗罗贝尼乌斯分裂方法能否恢复关于矩阵施伯格伯特簇与卡兹丹-卢斯蒂格簇的已知结果？
• RQ5 词典序首项 $ \prod x_i $ 在确保所有相关子概形均存在相容弗罗贝尼乌斯分裂中起何作用？

主要发现

• 若 $ \{f=0\} $ 上的 $ \mathbb{F}_p $-点数不被 $ p $ 整除，则由 $ \{f=0\} $ 的交、并及分量构成的所有子概形均为约化子概形。
• 在 $ \mathbb{A}^n_{\mathbb{F}_p} $ 上存在一个弗罗贝尼乌斯分裂，可相容地分裂所有此类由 $ \{f=0\} $ 衍生出的子概形 $ \{Y\} $，从而保证其根性。
• 对于首项为 $ \prod_{i=1}^n x_i $ 的多项式，且对所有足够大的素数 $ p $，其相关子概形均存在相容的弗罗贝尼乌斯分裂。
• 在格罗布纳退化下，若退化保持首项条件，则特殊纤维为约化斯坦利-雷伊纳德概形，且一般纤维可相容地退化。
• 在适当条件下，格罗布纳退化的一般纤维与特殊纤维的 $ \mathbb{F}_p $-点数之差为 $ p $ 的倍数。
• 本文通过弗罗贝尼乌斯分裂技术，恢复了克努森-米勒（2005）的格罗布纳基定理与克努森（2008）关于卡兹丹-卢斯蒂格簇的退化结果。