[论文解读] On the primitivity of birational transformations of irreducible symplectic manifolds

Federico Bianco|arXiv (Cornell University)|Apr 18, 2016

Advanced Algebra and Geometry参考文献 12被引用 5

一句话总结

该论文证明了在至少一个动力度大于1的不可约辛流形上，双有理变换是初等的，即不存在不变的纤维化结构，且其通解轨道在Zariski拓扑下是稠密的。核心结果依赖于上同调上诱导作用的动力学，特别是Beauville-Bogomolov形式以及 $ H^2(X,\mathbb{Z}) $ 上拉回映射的谱性质，表明模大于1的特征值会阻止不变纤维化的存在。

ABSTRACT

Let $f\\colon X\\dashrightarrow X$ be a bimeromorphic transformation of a complex irreducible symplectic manifold $X$. Some important dynamical properties of $f$ are encoded by the induced linear automorphism $f^*$ of $H^2(X,\\mathbb Z)$. Our main result is that a bimeromorphic transformation such that $f^*$ has at least one eigenvalue with modulus $>1$ doesn't admit any invariant fibration (in particular its generic orbit is Zariski-dense).

研究动机与目标

• 建立不可约辛流形上双有理变换初等性的动力学判据。
• 将诱导作用在 $ H^2(X,\mathbb{Z}) $ 上的谱性质与不变纤维化的缺失联系起来。
• 证明当至少一个动力度大于1时，此类变换的通解轨道在Zariski拓扑下是稠密的。
• 通过上同调与纤维化理论方法，将曲面上的动力学结果推广至高维不可约辛流形。

提出的方法

• 分析 $ H^2(X,\mathbb{Z}) $ 上诱导的线性作用 $ f^* $，利用双有理映射下Beauville-Bogomolov形式的不变性。
• 使用动力度 $ \lambda_p(f) = \limsup_{n\to\infty} ||(f^n)^*_{|H^{p,p}}||^{1/n} $ 来衡量上同调作用的增长。
• 应用纤维化提升论证：若 $ f $ 保持一个纤维化 $ \pi: X \dashrightarrow B $，则 $ f $ 诱导出一个映射 $ g: B \dashrightarrow B $，并分析相对动力度 $ \lambda_p(f|\pi) $。
• 利用若通解纤维为一般型，则在有限 étale 基变换后纤维化变为等变的这一事实，从而在 $ f $ 作用下产生周期性纤维。
• 利用不等式 $ \lambda_p(f) \geq \max_q \lambda_q(g) $ 分析相对动力度，推导出可能存在的不变纤维化的约束。
• 应用文献[5]和[1]中的结果，从无不变纤维化的事实推导出初等性与Zariski稠密性。

实验结果

研究问题

• RQ1 在何种条件下，不可约辛流形上的双有理变换不会保持任何有理纤维化？
• RQ2 变换的动力度与其在 $ H^2(X,\mathbb{Z}) $ 上的上同调作用谱性质之间有何关系？
• RQ3 若 $ f^* $ 在 $ H^2(X,\mathbb{Z}) $ 上存在模大于1的特征值，是否能排除不变纤维化的存在？
• RQ4 通解轨道的Zariski稠密性与变换的动力度之间存在何种关系？

主要发现

• 若 $ f^* $ 存在模大于1的特征值，则 $ f $ 不存在不变纤维化，故为初等变换。
• 在相同条件下，$ f $ 的通解轨道为Zariski稠密，此结论由引理4.6及[1, 定理4.1]得出。
• 满足 $ f $-周期性超曲面的数量至多为 $ \dim(X) + b_2(X) - 2 $，该界由初等性与[5, 定理B]推导得出。
• 若 $ f $ 为loxodromic且对某个 $ p $ 有 $ \lambda_p(f) > 1 $，则任意 $ f $-不变纤维化的基空间维数至少为 $ 2n - k $，其中 $ k $ 为相等连续动力度的个数。
• 对于所有连续动力度互异的自同构或映射，可直接由基空间维数的界推出初等性。
• 若通解纤维为一般型，则相对动力度 $ \lambda_p(f|\pi) $ 恒为1，这与 $ \lambda_p(f) > 1 $ 矛盾，从而排除了不变纤维化的可能性。