2025-11-11T19:43:09.288841

Torsion order and irrationality of complete intersections

Lange, Zhang

We provide new logarithmic lower bounds for the torsion order of a very general complete intersection in projective space as well as a very general hypersurface in products of projective spaces and Grassmannians, in particular we prove their retract irrationality.

academic

Torsion order and irrationality of complete intersections

基本信息

论文ID: 2510.24258
标题: Torsion order and irrationality of complete intersections
作者: Jan Lange and Guoyun Zhang
分类: math.AG (Algebraic Geometry)
发表时间: October 28, 2025
论文链接: https://arxiv.org/abs/2510.24258

摘要

本文为射影空间中非常一般的完全交以及射影空间乘积和Grassmann流形中非常一般的超曲面的扭转阶（torsion order）提供了新的对数下界，特别地证明了它们的retract非有理性。

研究背景与动机

研究问题

本文研究代数簇的**扭转阶（torsion order）**问题，这是代数几何中有理性问题的核心不变量。扭转阶Tor(X)定义为最小的正整数e，使得对角线的e倍可以分解为某种特殊形式（公式1.1）。

重要性

有理性问题的核心工具：扭转阶直接关联到代数簇的有理性判定。如果Tor(X) > 1，则X不是有理的或retract有理的。
单有理参数化的障碍：扭转阶提供了单有理参数化次数的下界。
零循环群的刻画：扭转阶是使得零循环群的核为e-挠的最小正整数。

现有方法的局限性

Chatzistamatiou-Levine CL17：对于Fano完全交，当某个次数 $d_i \geq m \cdot r(X) + m$ 时，扭转阶可被m整除（其中r(X)为Fano指标）。这是线性界。
Schreieder Sch19b, Sch21：对超曲面改进为对数界 $d \geq \log_2(r(X) + m) + m$ ，但仅限于超曲面情形。

研究动机

本文旨在将Schreieder的对数界推广到：

一般的完全交
射影空间乘积中的超曲面
Grassmann流形中的超曲面

核心贡献

完全交的对数下界（定理1.1）：证明了非常一般的多重次数为(d₁,...,dₛ)、正Fano指标r的完全交的扭转阶可被m整除，如果存在某个 $d_i \geq \log_2(r + m) + m$ 。
2-可除性的精确界（定理1.2）：对于维数≥4的完全交，当 $r \leq (d_i + 1)2^{d_i-4} - \lfloor(d_i+2)/2\rfloor$ 时，扭转阶可被2整除，证明了它们既非有理也非A¹-连通。
射影空间乘积中的超曲面（定理1.3）：对于 $\mathbb{P}^{M_1} \times \cdots \times \mathbb{P}^{M_s}$ 中多重次数为(d₁,...,dₛ)的超曲面，当 $M_1 \geq 4$ 且 $(d_1,...,d_s) \geq (\log_2(M_1)+m, M_2+1,...,M_s+1)$ 时，扭转阶可被m整除。
Grassmann流形中的超曲面（定理1.4）：对于Grassmannian Gr(l,n)中次数d≥4的超曲面，当 $l(n-l) \leq (d+1)2^{d-4}$ 时，扭转阶可被2整除。
方法论创新：发展了"仿射退化"（affine degeneration）的系统框架，通过迭代应用将超曲面结果推广到完全交。

方法详解

核心思想

本文的关键创新是发展了一个仿射退化框架，将问题分解为：

构造满足特定条件的仿射完全交
通过Gröbner基理论控制其射影闭包
利用退化论证（degeneration argument）传递扭转阶的可除性

技术路线

1. 强有理代数（Definition 3.1）

定义k-代数B为强k-有理的，如果B同构于多项式环的局部化。这保证了Spec B同构于仿射空间的开子概形。

2. 可容许对（Definition 3.5）

对于光滑k-代数A，称 $f_1 \in A[z]$ 和 $f_2 \in A$ 是可容许的，如果：

$A[z]/(f_1, f_2)$ 是几何整的
$A[z]/(f_1)$ 和 $A/(f_2)$ 都是强k-有理的

3. 仿射严格半稳定族（Proposition 3.6）

对于可容许对(f₁, f₂)，构造的族 $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k R)/(t - f_1 f_2)$ 是严格半稳定的R-概形（其中R = kt₍ₜ₎）。

4. 关键构造（Theorem 3.12）

输入：满足条件(C1)-(C4)的超曲面 $f \in k[x_1,...,x_{n+r}][z]$

(C1): $B = k[x_1,...,x_{n+r}]/(f_1,...,f_r)$ 是强k-有理的
(C2): $\text{Spec } B[z]/(f)$ 是几何整的
(C3): 相对扭转阶为m
(C4): 满足条件(⋆⋆)

输出：对于任意d ≥ M ≥ 1，构造多项式 $\tilde{f}, \check{f}$ 使得：

$f_1,...,f_{r+1}, \tilde{f}$ 满足(C1)-(C4)（添加M个变量）
$f_1,...,f_r, \check{f}$ 满足(C1)-(C4)（次数增加d）

证明策略：

步骤1（d = M）：通过Example 3.10和Corollary 3.9归纳构造
步骤2（d > M ≥ 2）：使用退化论证 $t \to 0$ 并应用Lemma 2.9

关键引理

Theorem 2.10（相对扭转阶的退化不变性）

设X → Spec R是平坦族，特殊纤维Y = Y₀ ∪ Y₁，交Z = Y₀ ∩ Y₁。如果：

X° := X \ W_X 是严格半稳定的
Y_i \ W_ ≅ 开子概形 of $\mathbb{A}^{\dim Y_i}$

则 $\text{Tor}_\Lambda(Z, W_Z) | \text{Tor}_\Lambda(\bar{X}, W_{\bar{X}})$

Proposition 2.4（Gröbner基与射影闭包）

如果多项式f₁,...,fᵣ的首项单项式相对互素，则：

$I^h = (f_1^h,...,f_r^h)$ （同调理想）
射影闭包可控

实验设置

基础例子（Section 4）

4.1 Schreieder的超曲面例子

从Sch21的构造出发： $f_0 = \pi \left(1 + \sum_{i=1}^n x_i^{\lceil (n+1)/m \rceil}\right)^m - (-1)^n x_1 \cdots x_n + \sum_{j=1}^{N-n} c_j x_{n+j}^m + (-1)^n x_1 \cdots x_n z^m$

验证（Lemma 4.3）：f₀满足条件(⋆⋆)，即对任意域扩张F/k和q ∈ F，存在F-代数满射： $F[x_1,...,x_N,z,w]/(f_0+q, w\partial_z f_0 - 1) \twoheadrightarrow F$

4.2 特殊四次四维流形

基于HPT18a的例子，构造多项式： $f = x_1 z_1^2 + x_2 z_2^2 + x_1 x_2 z_3^2 + (1 + x_1^2 + x_2^2 - 2x_1 - 2x_2 - 2x_1 x_2)$

关键性质（Example 4.6）： $\text{Tor}_{\mathbb{Z}/2}(\text{Spec } k[x_1,x_2,z_1,z_2,z_3]/(f), W) = 2$

构造策略

Proposition 5.1（完全交的构造）

对于满足 $s-1 \leq M \leq \sum_{i=1}^s d_i - n - m, \quad 4 \leq N \leq n + 2^n - 1 + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor$ 的N和M，存在多项式 $g_1,...,g_s \in k[x_1,...,x_N,y_1,...,y_M]$ 使得：

$\text{Spec } k[x_1,...,x_N,y_1,...,y_M]/(g_1,...,g_s)$ 维数为N+M-s
$\text{Tor}_{\mathbb{Z}/m}(X,W) = m$
当s ≤ M时，首项单项式相对互素

证明分三种情况：

Case a (M ≥ 2s-2)：直接应用Theorem 3.12 (a)
Case b (s ≤ M < 2s-2)：混合使用Theorem 3.12 (a)和简单构造
Case c (M = s-1)：退化到超曲面情形

实验结果

主要结果

Theorem 5.2（完全交的扭转阶）

设n, m ≥ 2，完全交X的多重次数为(d₁,...,dₛ)，维数D ≥ 4。如果 $d_1 \geq n+m$ 且Fano指标 $r := D + s + 1 - \sum_{i=1}^s d_i \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ 则非常一般的X的扭转阶可被m整除。

推论（Theorem 1.1的证明）：取 $n = d_1 - m \geq \lceil \log_2(r+m) \rceil$ ，则 $r \leq 2n - m \leq 2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/m \rfloor - m$ 因此结论成立。

Theorem 5.4（小Fano指标情形）

特征≠2的域上，多重次数为(d₁,...,dₛ) ∈ $\mathbb{Z}_{\geq 2}^s$ 的完全交X ⊂ $\mathbb{P}^N$ （N ≥ 4+s）当Fano指标r ≤ 2时，扭转阶可被2整除。

证明要点：

利用Proposition 5.3构造仿射完全交
通过Example 4.6-4.12的特殊例子（四次四维流形、(2,2,2)-完全交、(3,3)-五维流形）
应用Gröbner基理论控制射影闭包

射影空间乘积中的结果

Theorem 5.7（Theorem 1.3的证明）

对于 $\mathbb{P}^{M_0} \times \cdots \times \mathbb{P}^{M_s}$ 中多重次数为(d₀,...,dₛ)的超曲面，如果

$d_0 \geq n+m$ , $d_i \geq M_i+1$ (i=1,...,s)
$4 \leq M_0 \leq n + 2^n - 1 + \sum_{l=0}^{n-1} \binom{n}{l}\lfloor l/m \rfloor$

则非常一般的超曲面扭转阶可被m整除。

证明策略：

由Proposition 5.6构造仿射超曲面
多重齐次化得到射影空间乘积中的超曲面
退化论证传递扭转阶性质

Grassmann流形中的结果

Theorem 5.9（Theorem 1.4的推广）

对于Plücker嵌入 $\text{Gr}(l,n) \hookrightarrow \mathbb{P}^N$ （ $N = \binom{n}{l}-1$ ），如果次数d ≥ n'+m且 $4 \leq l(n-l) \leq 2n' - 1 + \sum_{j=0}^{n'-1} \binom{n'}{j}\lfloor j/m \rfloor + d - m$ 则Gr(l,n)与非常一般次数d超曲面的交的扭转阶可被m整除。

关键技术（Lemma 5.8）：将Gr(l,n)中的仿射超曲面提升到 $\mathbb{P}^N$ 中的超曲面，保持扭转阶性质。

具体数值比较

类型	先前最佳界	本文结果	改进
超曲面	$d \geq m \cdot r + m$ CL17	$d \geq \log_2(r+m) + m$	指数改进
完全交	$d_i \geq m \cdot r + m$ CL17	$d_i \geq \log_2(r+m) + m$	首次对数界
四次五维流形	已知 NO22, PS23	新证明	统一框架
(2,2,2)-四维流形	未知	Tor可被2整除	新结果

结论与讨论

主要结论

对数下界的普遍性：将Schreieder的对数界从超曲面推广到完全交
新几何情形：首次处理射影空间乘积和Grassmann流形中的超曲面
方法论贡献：仿射退化框架具有广泛适用性

局限性

基域限制：
- 完全交和射影空间乘积：任意域
- Grassmann流形：主要结果限于复数域（Remark 5.10指出可推广）
维数限制：
- 要求维数≥4（Theorem 1.2）
- 低维情形需要特殊处理
Fano指标：
- 主要关注正Fano指标情形
- 非Fano完全交可能有无限扭转阶
上界缺失：
- 仅提供下界，未给出扭转阶的上界
- 射影空间乘积中超曲面的上界未知（Section 1.2）

未来方向

上界研究：寻找扭转阶的上界，特别是射影空间乘积情形
推广到其他有理簇：如flag varieties、toric varieties
正特征的完整理论：Grassmann流形情形的完整正特征版本
计算方法：发展具体计算扭转阶的算法

深度评价

优点

1. 技术创新性

仿射退化框架：Section 3的系统构造是重要方法论贡献
- 将问题代数化（Definition 3.1, 3.5）
- 迭代构造（Theorem 3.12）实现从超曲面到完全交的升维
- 条件(⋆⋆)的引入保证几何整性
Gröbner基的巧妙应用：
- Proposition 2.4控制射影闭包
- 相对互素的首项单项式保证理想生成

2. 结果的深度

对数界的突破：从线性 $m \cdot r$ 改进到对数 $\log_2(r+m)$
统一多个先前结果：
- 四次五维流形 NO22, PS23
- (2,3)-四维流形 Ska23, FL25
- 新结果：(2,2,2)-四维流形、(3,3)-五维流形

3. 写作清晰度

结构清晰：
- Section 2：预备知识
- Section 3：理论框架
- Section 4：基础例子
- Section 5：应用和主要定理
详细证明：关键引理（如Lemma 4.3, 4.7）提供完整验证

4. 普适性

多种几何背景：射影空间、射影空间乘积、Grassmann流形
任意特征：主要结果适用于任意特征（除Grassmann流形部分）

不足

1. 方法的局限性

依赖特殊例子：Section 4的构造依赖于Sch21, HPT18a的显式方程
仿射-射影转换的复杂性：需要Gröbner基理论，不总是易于验证

2. 结果的完整性

上界缺失：未提供扭转阶的上界，不知道界是否最优
非常一般性的本质性：结果对特殊完全交可能不成立

3. 计算复杂性

条件验证：条件(C1)-(C4)的验证需要显式计算
构造的非唯一性：Theorem 3.12的构造涉及选择，不清楚如何优化

4. 几何直观

代数化的代价：Section 3的代数框架缺乏几何直观
与motivic方法的关系：与NO22的热带退化方法联系不够明确

影响力

1. 对领域的贡献

有理性问题：提供新的判定工具，特别是完全交情形
方法论：仿射退化框架可能适用于其他问题
桥梁作用：连接了循环理论方法和显式构造

2. 实用价值

可计算性：原则上可以验证具体例子
推广潜力：框架可能适用于其他有理簇类

3. 可复现性

详细证明：关键步骤有完整证明
显式构造：Section 4提供可验证的例子
但缺乏代码：未提供计算工具

适用场景

1. 直接应用

判定非有理性：当满足定理条件时，可证明扭转阶>1
单有理参数化：提供次数下界

2. 理论研究

有理性问题：新的研究工具
Chow群理论：零循环的挠性质

3. 推广方向

其他齐次空间：flag varieties、Schubert varieties
模空间：某些模空间的有理性

技术细节补充

关键不等式

对于m=2的情形（Theorem 1.2），关键是证明： $2n + \sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor - 2 = (n+3)2^{n-2} - \lfloor (n+4)/2 \rfloor$

这通过组合恒等式： $\sum_{j=0}^{n-1} \binom{n}{j}\lfloor j/2 \rfloor = (n-1)2^{n-2} - \lfloor n/2 \rfloor$ 得到（LS24, Lemma 7.4）。

条件(⋆)的作用

条件(⋆)保证k(t)-概形 $\text{Spec}(A[z]_{\partial_z f_1} \otimes_k k(t))/(t - f_1 f_2)$ 有k(t)-有理点，从而由Stacks, Tag 0CDW得到几何整性。这是Corollary 3.9中迭代构造的关键。

Gröbner基的精确应用

在Proposition 5.1的Case b中，选择分次字典序： $x_2 > x_3 > \cdots > x_{4+M} > x_1$ 使得首项单项式：

$\text{LM}(q_1) = x_3^2$
$\text{LM}(q_2) = x_2^2$
$\text{LM}(q_i) = x_{3+i}^2$ (i≥3)

相对互素，从而Proposition 2.4适用。

参考文献（关键文献）

Sch21 S. Schreieder, Torsion order of Fano hypersurfaces, Algebra Number Theory 15 (2021), 241–270.
LS24 J. Lange and S. Schreieder, On the rationality problem for low degree hypersurfaces, arXiv:2409.12834.
NO22 J. Nicaise and J. C. Ottem, Tropical degenerations and stable rationality, Duke Math. J. 171 (2022), 3023–3075.
PS23 N. Pavic and S. Schreieder, The diagonal of quartic fivefolds, Algebr. Geom. 10 (2023), 754–778.
CL17 A. Chatzistamatiou and M. Levine, Torsion orders of complete intersections, Algebra Number Theory 11 (2017), 1779–1835.

总体评价：这是一篇技术深度很高的代数几何论文，在有理性问题这一核心领域取得了实质性进展。仿射退化框架的系统发展是重要的方法论贡献，对数下界的获得代表了对先前线性界的显著改进。论文的主要价值在于统一了多个先前结果并推广到新的几何情形。尽管存在一些局限性（如缺乏上界、依赖特殊构造），但整体上是该领域的重要进展，预期将对后续研究产生持续影响。