[论文解读] A computation of invariants of a rational self-map

Ekaterina Amerik|ArXiv.org|Jul 26, 2007

Mathematical Dynamics and Fractals参考文献 2被引用 3

一句话总结

本文建立了在一般光滑三次四fold $V \subset \mathbb{P}^5$ 的直线的 Fano 变体 $X = \mathcal{F}(V)$ 上的有理自同态 $f$ 的代数稳定性，计算出其动力度为 $\lambda_1 = 7$，$\lambda_2 = 31$，$\lambda_3 = 28$，$\lambda_4 = 16$，并证明 $f$ 是上同调双曲的，其中 $\lambda_2$ 为主导度。该计算依赖于通过爆破解析其基点，并利用交点理论与陈类分析其在上同调上的诱导作用。

ABSTRACT

I compute the dynamical degrees in C. Voisin's example of a rational self-map of the variety of lines on a cubic fourfold.

研究动机与目标

• 建立在一般光滑三次四fold $V \subset \mathbb{P}^5$ 的直线的 Fano 变体 $X = \mathcal{F}(V)$ 上的有理自同态 $f$ 的代数稳定性。
• 通过 $f^*$ 在上同调上的作用，特别是 $H^4(X, \mathbb{Z})$ 中的作用，计算 $f$ 的动力度。
• 分析基点集 $S \subset X$（即第二类直线的集合）的几何结构，并通过沿 $S$ 的爆破解析 $f$。
• 证明 $f$ 是上同调双曲的，且 $\lambda_2 = 31$ 为最大动力度。
• 证明上同调类 $H$（超平面类）与 $\Delta$（第二类直线曲面的类）在 $f^*$ 作用下张成一个不变子空间，并计算 $f^*$ 在该子空间上的特征值。

提出的方法

• 通过爆破其基点集 $S$（即第二类直线的曲面）来解析有理自同态 $f$，得到爆破空间 $\tilde{X}$ 上的态射 $g$。
• 利用例外除子 $E$ 在 $S$ 上的射影丛结构，通过涉及典范线丛的正合列计算陈类与交数。
• 通过投影 $\pi: \tilde{X} \to X$ 下的 $g^*H$ 的前推，利用直线的全族几何结构计算拉回 $f^*H = 7H$。
• 通过分析 $\pi_*(\pi^*H \cdot E)$ 与 $\pi_*(E^2)$，并利用 $E$ 限制为 $\mathcal{O}_E(-1)$ 以及 $\pi_*E^2 = -S = -(H^2 - \Delta)$ 的事实，推导出 $f^*H^2 = 4H^2 + 45\Delta$。
• 通过两个涉及 $P$ 与 $g^*U_X$ 的正合列表达 $g^*\Delta = c_2(g^*U_X)$，然后进行前推，计算出 $f^*\Delta = 31\Delta$。
• 通过展开 $g^*H^3 = (7\pi^*H - 3E)^3$，并利用射影丛公式与陈类恒等式计算 $\pi_*(\pi^*H^2 E)$、$\pi_*(\pi^*H E^2)$ 与 $\pi_*(E^3)$，得到 $f^*H^3 = 28H^3$。

实验结果

研究问题

• RQ1 在一般三次四fold 的直线的 Fano 变体 $X = \mathcal{F}(V)$ 上，有理自同态 $f$ 是否代数稳定，即对所有 $n$ 是否成立 $(f^n)^* = (f^*)^n$？
• RQ2 自同态 $f$ 的动力度 $\lambda_l(f)$ 是什么？哪一程度占主导？
• RQ3 $f^*$ 在 $H^4(X, \mathbb{Z})$ 上的作用如何分解？其在由 $H^2$ 与 $\Delta$ 张成的不变子空间上的谱行为如何？
• RQ4 为何 $f^*$ 的特征值（特别是 7、31 与 28）具有几何起源？
• RQ5 自同态 $f$ 是否保持子簇的拉格朗日子簇性质？这在 $\Delta$ 的上同调类中如何体现？

主要发现

• 在 $X = \mathcal{F}(V)$ 上的有理自同态 $f$ 是代数稳定的，即对所有 $n$ 有 $(f^n)^* = (f^*)^n$，这使得可通过 $f^*$ 的谱半径计算动力度。
• $f$ 的动力度为 $\lambda_1 = 7$，$\lambda_2 = 31$，$\lambda_3 = 28$，$\lambda_4 = 16$，其中 $\lambda_2$ 为主导度。
• $f^*$ 在上同调上的拉回作用满足 $f^*H = 7H$，$f^*H^2 = 4H^2 + 45\Delta$，$f^*\Delta = 31\Delta$，$f^*H^3 = 28H^3$，这些结果通过在爆破空间 $\tilde{X}$ 上的交点理论计算得出。
• $\Delta$ 类是 $f^*$ 的特征向量，对应特征值 31，反映出 $f$ 保持第二类直线的拉格朗日子曲面 $S$。
• $H^4(X, \mathbb{Z})$ 沿正交 Hodge 子结构的分解意味着 $f^*$ 在不可约分量上作用为位似变换，支持 $f^*$ 关于交点形式的自伴性。
• 通过陈类与射影丛公式计算 $\pi_*(E^3)$ 为 $-\frac{35}{4}H^3$，是获得 $f^*H^3 = 28H^3$ 的关键步骤。