[论文解读] F-singularities in families

Zsolt Patakfalvi, Karl Schwede+1 more|arXiv (Cornell University)|May 7, 2013

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

一句话总结

本文在正特征下，针对平坦族的概形，建立了测试理想与非F-纯理想的通用与非通用限制定理，证明在适当条件下，这些理想在纤维上限制为绝对测试理想。关键贡献在于通过相对Frobenius构造相对测试理想与非F-纯理想，从而在相对canonical线丛为Q-Čartier时，将F-奇点的闭包性结果推广至族的情形，拓展了F-奇点理论的基础成果。

ABSTRACT

We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.

研究动机与目标

• 为填补F-奇点理论中测试理想族缺乏通用限制定理这一重大空白。
• 通过相对Frobenius态射，定义并研究测试理想与非F-纯理想的相对版本。
• 证明这些相对理想在完美点上的几何纤维上限制为绝对理想。
• 在族中建立伴随线丛的推前的正性与全局生成性结果。
• 将F-奇点理论（如强F-正则性、F-正则性、F-有理性）推广至具有几何控制的平坦族。

提出的方法

• 通过相对Frobenius态射 X ×V V^n → X ×V V^n，引入相对测试理想 τ_n(X/V, Δ) 与相对非F-纯理想 σ_n(X/V, Δ)。
• 利用相对Frobenius在纤维的加粗上定义理想，从而实现对族中行为的控制。
• 证明这些相对理想在完美点上的几何纤维上限制为绝对测试理想与非F-纯理想。
• 应用基变换与稳定化技术，证明理想在基变换至 V^n 时的统一行为。
• 利用相对Serre条件与局部上同调消失性（命题 A.6），将截面延拓至余维数2子集。
• 利用相对 S2 与 G1 条件，证明伴随层推前的对偶性与同构性结果。

实验结果

研究问题

• RQ1 测试理想在族中是否满足类似于特征零下乘子理想之通用限制定理？
• RQ2 在平坦族中，相对测试理想在何种条件下限制为纤维上的绝对理想？
• RQ3 相对Frobenius态射如何促进对族中F-奇点的研究？
• RQ4 在族中，伴随线丛的推前会涌现出何种全局正性性质？
• RQ5 当相对canonical线丛为Q-Čartier时，F-奇点的闭包性在基空间中是否成立？

主要发现

• 对于一个平坦、等维、S2 与 G1 的态射 f:X→V，其中 V 为正则概形，Δ 为Q-除子，且 K_{X/V} + Δ 为p 不整除指数的Q-Čartier，则存在 N>0，使得对所有 n≥N 及完美点 s∈V，相对测试理想 τ_{ne}(X/V,Δ) 在纤维 X_s^{ne} 上限制为绝对测试理想 τ(X_s,Δ|_{X_s})。
• 类似地，相对非F-纯理想 σ_{ne}(X/V,Δ) 在完美点上的纤维上限制为绝对非F-纯理想 σ(X_s,Δ|_{X_s})。
• 在 V 的一个稠密开子集 U⊆V 上，绝对测试理想 τ(X×V V^{ne},Δ×V V^{ne}) 对所有完美点 s∈U 限制为 τ(X_s,Δ|_{X_s})。
• 相对测试理想与非F-纯理想 τ_n 与 σ_n 在基变换下映射满射，确保与任意基变换的相容性。
• 在适当假设下，伴随线丛及其某些子层的推前是全局生成且半正的。
• 通过相对Frobenius构造相对理想，使得在相对canonical线丛为Q-Čartier时，可证明F-奇点闭包性的结果。