[论文解读] F-pure threshold and height of quasi-homogeneous polynomials

Susanne Müller|arXiv (Cornell University)|Feb 24, 2017

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文建立了准齐次多项式与费马超曲面的 F-纯阈值与 Artin-Mazur 形式群高度之间的精确联系。证明了 F-纯阈值等于对数可极化阈值当且仅当与 $H^{N-1}(X, \mathbb{G}_m)$ 关联的形式群高度恰好为 1。加权 Delsarte 曲面的反例表明，该特征刻画并不适用于所有可能的 F-纯阈值。

ABSTRACT

We consider a quasi-homogeneous polynomial $f \in \mathbb{Z}[x_0, \ldots, x_N]$ of degree $w$ equal to the degree of $x_0 \cdots x_N$ and show that the $F$-pure threshold of the reduction $f_p \in \mathbb{F}_p[x_0, \ldots, x_N]$ is equal to the log canonical threshold if and only if the height of the Artin-Mazur formal group associated to $H^{N-1}\left( X, {\mathbb{G}}_{m,X} ight)$, where $X$ is the hypersurface given by $f$, is equal to 1. We also prove that a similar result holds for Fermat hypersurfaces of degree $>N+1$. Furthermore, we give examples of weighted Delsarte surfaces which show that other values of the $F$-pure threshold of a quasi-homogeneous polynomial of degree $w$ cannot be characterized by the height.

研究动机与目标

• 阐明准齐次多项式下 F-纯阈值与 Artin-Mazur 形式群高度之间的关系。
• 探究当 F-纯阈值不等于对数可极化阈值时，其是否仍能通过形式群高度进行刻画。
• 通过加权 Delsarte K3 曲面构造显式反例，表明 F-纯阈值无法对所有可能取值完全由高度刻画。
• 在特定条件下将该特征刻画推广至次数大于 $N+1$ 的费马超曲面。
• 探讨形式 Brauer 群高度在最小解析解所得 K3 曲面背景下对 F-纯阈值的影响。

提出的方法

• 利用形式群理论，特别是与 $H^{N-1}(X, \mathbb{G}_m)$ 关联的 Artin-Mazur 形式群，分析高度不变量。
• 应用 Goto (2004) 的结果，计算加权 Delsarte K3 曲面最小解析解的形式 Brauer 群高度。
• 使用 Macaulay2 中的 PosChar 包，对模不同素数的特定多项式计算 F-纯阈值。
• 构造两个加权 Delsarte K3 曲面的显式例子：一个为固定高度但 F-纯阈值随素数变化，另一个为固定 F-纯阈值但高度随素数变化。
• 利用条件 $p \geq w(N-2)+1$ 确保主定理在 F-纯阈值上的有效性。
• 通过形式群律的对数及 Hasse 不变量的结构，将 F-纯阈值与变形空间上 Hasse 不变量的零点阶数关联起来。

实验结果

研究问题

• RQ1 在何种条件下，准齐次多项式的 F-纯阈值等于其对数可极化阈值？
• RQ2 F-纯阈值能否被与 $H^{N-1}(X, \mathbb{G}_m)$ 关联的 Artin-Mazur 形式群高度完全刻画？
• RQ3 是否存在多项式使得 F-纯阈值在所有素数下恒定，但形式群高度发生变化？
• RQ4 是否存在高度恒定但 F-纯阈值随素数变化的情况？
• RQ5 特征刻画 $\text{fpt}(f_p) = \text{lct}(f)$ 当且仅当 $\text{ht}(H^{N-1}(X, \mathbb{G}_m)) = 1$ 是否可推广至次数大于 $N+1$ 的费马超曲面？

主要发现

• 对于整系数准齐次多项式 $f \in \mathbb{Z}[x_0, \dots, x_N]$，其次数为 $w = \sum \alpha_i$，有 $\text{fpt}(f_p) = 1 = \text{lct}(f)$ 当且仅当与 $H^{N-1}(X, \mathbb{G}_m)$ 关联的 Artin-Mazur 形式群高度为 1。
• 对于费马超曲面 $f = x_0^d + \cdots + x_N^d$，其中 $d = N+k$，$k \geq 2$，且 $N \geq 2(k-1)$，有 $\text{fpt}(f_p) = \frac{N+1}{d}$ 当且仅当 $H^{N-1}(X, \mathbb{G}_m)$ 的所有分量均为高度为 1 的形式群。
• 例 4.3 表明，对于 $f = x^2 + y^5 + z^5 + w^{10}$，在权重 (5,2,2,1) 下，当 $p = 3, 7, 17, 19$ 时高度为无穷，但 $p = 3, 7, 17$ 时 F-纯阈值为 $1 - \frac{1}{p}$，而 $p = 19$ 时为 $1 - \frac{2}{p}$，尽管高度相同。
• 例 4.4 表明，对于 $f = x^8y + y^6z + z^3 + xw^2$，在权重 (1,1,3,4) 下，所有测试素数下 F-纯阈值均为 $1 - \frac{1}{p}$，但形式 Brauer 群高度变化：$p = 3, 5, 11, 19$ 时为 8，$p = 7$ 时为 4，$p = 17$ 时为 2。
• 形式 Brauer 群高度为无穷当且仅当存在 $\mu \geq 1$ 使得 $p^\mu \equiv -1 \pmod{e_A}$，其中 $e_A = |\det(A)| / g$，$g$ 为代数余子阵列和的最大公因数。
• 当高度有限时，其值等于 $p$ 模 $e_A$ 的阶，如 Goto (2004) 定理 4.2 所述。