[论文解读] Permanence properties of $F$-injectivity

Rankeya Datta, Takumi Murayama|arXiv (Cornell University)|Jun 27, 2019

Commutative Algebra and Its Applications参考文献 49被引用 12

一句话总结

本文在特征素数下建立了 $F$-正则环的基本持久性质：$F$-正则性具有局部化性质，可在忠实平坦同态下下降，并在具有科恩-麦克aul伊和几何 $F$-正则纤维的平坦映射下上升。作为关键结果，它证明了在算术与代数几何中常见的大多数环中，$F$-正则性区域是开集，并将其应用于表明：在特征 $p>3$ 的代数闭域上，维数 $\leq 5$ 的光滑射影概形的通用投影超曲面是 $F$-纯的，因此也是 $F$-正则的。

ABSTRACT

We prove that $F$-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen-Macaulay and geometrically $F$-injective fibers, all for arbitrary Noetherian rings of prime characteristic. As a consequence, we show that the $F$-injective locus is open on most rings arising in arithmetic and geometry. As a geometric application, we prove that over an algebraically closed field of characteristic $p > 3$, generic projection hypersurfaces associated to suitably embedded smooth projective varieties of dimension $\le 5$ are $F$-pure, and hence $F$-injective. This geometric result is the positive characteristic analogue of a theorem of Doherty.

研究动机与目标

• 在任意诺特环下建立特征素数下 $F$-正则环的持久性质。
• 在不假设科恩-麦克aul伊或优性条件的情况下，解决 $F$-正则性在局部化、下降和上升方面的开放问题。
• 证明在算术与几何中出现的环中，$F$-正则性区域是开集，从而推广已知结果。
• 将一般理论应用于表明：在特征 $p>3$ 的代数闭域上，维数 $\leq 5$ 的光滑射影概形的通用投影超曲面是 $F$-纯的，因此也是 $F$-正则的。

提出的方法

• 利用局部上同调与基变换技术，分析局部上同调模上的弗罗贝尼乌斯作用。
• 应用忠实平坦下降，将 $F$-正则性从目标环回传至源环。
• 利用平坦基变换与几何纤维假设（科恩-麦克aul伊及几何 $F$-正则）证明 $F$-正则性的上升性质。
• 依赖紧致闭包与弗罗贝尼乌斯闭包的性质，特别是其在局部化与平坦扩张下的行为。
• 借助文献中关于 $F$-有理性和 $F$-纯性的结果，推导出对 $F$-正则性的含义。
• 通过通用投影与维数界，将一般持久性结果应用于几何情形。

实验结果

研究问题

• RQ1 对于任意特征素数的诺特环，$F$-正则性是否具有局部化性质？
• RQ2 在不假设优性或科恩-麦克aul伊条件的情况下，$F$-正则性是否可在忠实平坦同态下下降？
• RQ3 在具有科恩-麦克aul伊与几何 $F$-正则纤维的平坦同态下，$F$-正则性在何种条件下可以上升？
• RQ4 对于本质上有限型的优局部环或更一般类别的环，$F$-正则性区域是否为开集？
• RQ5 在特征 $p>3$ 的代数闭域上，维数 $\leq 5$ 的光滑射影概形的通用投影超曲面是否为 $F$-纯的，因此也是 $F$-正则的？

主要发现

• 本文证明了对于任意特征素数的诺特环，$F$-正则性具有局部化性质，从而解决了关键开放问题。
• 它建立了对于任意特征素数的诺特环，$F$-正则性可在忠实平坦同态下下降。
• 它表明在具有科恩-麦克aul伊与几何 $F$-正则纤维的平坦同态下，$F$-正则性可以上升，即使不假设基环是科恩-麦克aul伊的。
• 作为推论，对于本质上有限型的优局部环或科恩-麦克aul伊环的同态像的环，$F$-正则性区域是开集。
• 本文证明了在特征 $p>3$ 的代数闭域上，维数 $\leq 5$ 的光滑射影概形的通用投影超曲面是 $F$-纯的，因此也是 $F$-正则的，提供了多尔蒂结果在正特征下的类比。
• 此外，它还表明 $F$-有理性可在任意诺特环下下降，推广了以往需额外假设（如存在测试元或优性）的结果。