[论文解读] Invariant hypersurfaces of endomorphisms of projective varieties

De‐Qi Zhang|arXiv (Cornell University)|Oct 22, 2013

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

本文在具有对数可极化奇点的射影代数簇的极化自同态下，建立了 $f^{-1}$-稳定素除子数量的精确上界。证明了此类除子是有理链连通的，并给出了最优上界：$c \leq n + \rho(X)$，当等式成立时，$X$ 为有理连通或纤维化于椭圆曲线，且当 $c = n + \rho(X)$ 时有 $K_X + \sum V_i \sim_\mathbb{Q} 0$。结果推广至 $\mathbb{Q}$-因子化、卡瓦马塔对数终端的代数簇，且在 $\mathbb{P}^n$ 情况下为最优。关键贡献在于通过双有理几何与动力系统方法，对自同态下的不变超曲面进行了分类。

ABSTRACT

We consider surjective endomorphisms f of degree > 1 on projective manifolds X of Picard number one and their f^{-1}-stable hypersurfaces V, and show that V is rationally chain connected. Also given is an optimal upper bound for the number of f^{-1}-stable prime divisors on (not necessarily smooth) projective varieties.

研究动机与目标

• 确定在度数 $>1$ 的极化自同态作用下，射影代数簇上 $f^{-1}$-稳定素除子的最大数量。
• 建立此类不变除子为有理链连通的条件，将有理连通性推广至奇点代数簇。
• 当稳定除子数量达到理论最优上界时，刻画该代数簇的结构。
• 证明上界 $n + \rho(X)$ 为精确最优，并刻画等式成立的情形，包括 $\mathbb{P}^n$ 与坐标超平面的情形。
• 将光滑代数簇的结果推广至 $\mathbb{Q}$-因子化、卡瓦马塔对数终端的代数簇，且具有最小奇点。

提出的方法

• 利用尼伦-塞韦里群与佩卡德数 $\rho(X)$，通过线性等价与数值条件，对 $f^{-1}$-稳定素除子数量进行上界估计。
• 应用邻接的逆定理与对数可极化奇点理论，处理奇点代数簇，确保上界的有效性。
• 通过纤维化与正规化映射的归纳法，将问题约化至低维情形。
• 利用 $\mathbb{Q}$-线性等价与典范除子条件 ($K_X + \sum V_i \sim_\mathbb{Q} 0$) 来刻画等式成立的情形。
• 借助 $f$ 在 $\operatorname{Pic}(X)$ 与 $N^1(X)$ 上的拉回作用，特别是 $f^*H \sim qH$，推导不变性与有限性。
• 通过正规化映射分析分支点与拉回，证明某些除子 $\Delta$ 消失，从而推出 $K_X + \sum V_i \sim_\mathbb{Q} 0$。

实验结果

研究问题

• RQ1 在度数 $>1$ 的极化自同态作用下，射影代数簇上 $f^{-1}$-稳定素除子的最大数量是多少？
• RQ2 在何种条件下，此类不变除子的不可约分支为有理链连通？
• RQ3 当 $f^{-1}$-稳定除子数量达到上界 $n + \rho(X)$ 时，代数簇具有何种结构？
• RQ4 该上界是否仅在 $X = \mathbb{P}^n$ 且 $V_i$ 为坐标超平面、$f$ 为 $q$ 次幂映射 $[X_1,\dots,X_{n+1}] \mapsto [X_1^q,\dots,X_{n+1}^q]$ 时实现？
• RQ5 当稳定除子数量至少为 $n + \rho(X) - 1$ 或 $n + \rho(X) - 2$ 时，是否强制代数簇为有理连通或存在纤维化于椭圆曲线的结构？

主要发现

• 在维数为 $n$ 的射影代数簇 $X$ 上，若存在极化自同态 $f$，则 $f^{-1}$-稳定素除子的数量 $c$ 满足 $c \leq n + \rho(X)$，且该上界为最优。
• 等式 $c = n + \rho(X)$ 成立当且仅当 $K_X + \sum V_i \sim_\mathbb{Q} 0$，$(f^t)^* = q^t \cdot \mathrm{id}$ 在 $\mathrm{Pic}(X)$ 上成立，且 $f$ 在奇点集与所有 $V_i$ 的并集外为平态。
• 若 $c \geq n + \rho(X) - 1$，则 $X$ 为有理连通。
• 若 $c \geq n + \rho(X) - 2$，则 $X$ 为有理连通，或存在一个纤维化 $X \to E$ 至椭圆曲线 $E$，使得 $f^k$ 诱导出 $E$ 上度数为 $q$ 的自同态，且纤维为有理连通。
• 在定理 1.2 的条件下，每个不可约分支 $V_i$ 及其正规化均为有理链连通，尤其当 $-K_X \sim_\mathbb{Q} rH$ 且 $X$ 具有对数可极化奇点时成立。
• 上界 $c \leq n + \rho(X)$ 为精确最优，且仅在 $X = \mathbb{P}^n$，$V_i$ 为坐标超平面，且 $f$ 为 $q$ 次幂映射时实现。