[论文解读] Free algebras arising from positive-entropy automorphisms of surfaces

S. Paul Smith|arXiv (Cornell University)|Aug 18, 2013

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

一句话总结

该论文为光滑射影曲面上函数域的斜劳伦扩展中自由子代数的存在性建立了精确的动力学准则。证明了当且仅当 $ \sigma^* $ 在 Néron-Severi 群上的谱半径大于 1 时，$ k(X)[t^{\pm 1};\sigma] $ 包含两个或更多生成元的自由子代数，通过动力学度和熵将非交换代数几何与复动力系统联系起来。

ABSTRACT

Let X be a smooth projective surface defined over an uncountable algebraically closed field k and let k(X) be its field of rational functions. Let s be an automorphism of X. This paper proves there is a non-negative integer n and elements a and b in k(X) such that the subalgebra of the skew Laurent extension k(X)[t, t^{-1};s] generated by at^n and bt^n is a free algebra if and only if the spectral radius for the action of s^* on the Neron-Severi group of X is >1. Thus, when s is an automorphism of a smooth complex projective surface X, C(X)[t,t^{-1};s] has a free subalgebra on >1 variables if and only if the topological entropy of s is positive. Furthermore, if s is an automorphism of k(X), then k(X)[t,t^{-1};s] contains a free subalgebra if and only if the dynamical degree of s is >1; in this situation, s might not be induced by an automorphism of any smooth projective surface. These results are used to show that certain twisted homogeneous coordinate rings of smooth projective surfaces contain free subalgebras.

研究动机与目标

• 确定斜劳伦扩展 $ k(X)[t^{\pm 1};\sigma] $ 何时包含两个或更多生成元的自由子代数。
• 将此类自由子代数的存在性与 $ \sigma^* $ 在 Néron-Severi 群上的谱半径联系起来。
• 将此准则推广至不一定是曲面自同构诱导的函数域自同构。
• 将结果应用于扭曲齐次坐标环，证明当动力学度超过 1 时，它们包含自由子代数。

提出的方法

• 以 $ \mathrm{NS}(X)_{\mathbb{R}} $ 上诱导作用的谱半径 $ \rho(\sigma^*) $ 作为核心不变量。
• 应用非交换代数几何的成果，特别是 Artin-Van den Bergh、Keeler 和 Rogalski-Zhang 的工作，分析斜劳伦扩展中的自由性。
• 建立一个充分条件，即当 $ \rho(\sigma^*)^n \geq 5 + 2\sqrt{6} $ 时，$ k\{at^n, bt^n\} $ 为自由代数，前提是 $ ab^{-1} $ 具有非常 ample 的零除子。
• 利用 $ \mathrm{NS}(X)_{\mathbb{R}} $ 上的 Hodge 指数定理与交点理论，分析 $ \sigma^* $ 作用下除子类的增长。
• 通过元素 $ at^n, bt^n $（其中 $ a,b \in k(X) $）显式构造自由子代数，利用 $ \sigma $ 在除子上的动力学。
• 应用提升论证，通过基扩张将结果从不可数代数闭域推广至任意域。

实验结果

研究问题

• RQ1 对于曲面自同构 $ \sigma $，斜劳伦扩展 $ k(X)[t^{\pm 1};\sigma] $ 何时包含两个或更多生成元的自由子代数？
• RQ2 何种精确的动力学条件能保证此类自由子代数的存在？
• RQ3 在 $ \mathrm{NS}(X)_{\mathbb{R}} $ 上 $ \sigma^* $ 的谱半径与 $ \sigma $ 的拓扑熵及动力学度之间有何关系？
• RQ4 该自由性准则能否超越曲面自同构，推广至函数域的自同构？
• RQ5 在何种条件下，扭曲齐次坐标环 $ B(X,\mathcal{L},\sigma) $ 包含自由子代数？

主要发现

• 当且仅当谱半径 $ \rho(\sigma^*) > 1 $ 时，斜劳伦扩展 $ k(X)[t^{\pm 1};\sigma] $ 包含两个或更多生成元的自由子代数。
• 若 $ \rho(\sigma^*) > 1 $，则对足够大的 $ n $ 满足 $ \rho(\sigma^*)^n \geq 5 + 2\sqrt{6} $，对所有满足 $ \operatorname{div}(ab^{-1}) $ 为非常 ample 的 $ a,b \in k(X) $，子代数 $ k\{at^n, bt^n\} $ 均为自由代数。
• 当 $ \dim \mathrm{NS}(X)_{\mathbb{R}} = 2 $ 时，阈值条件可减弱为 $ \rho(\sigma^*)^n \geq 2 + \sqrt{3} $。
• 对于不一定是曲面自同构诱导的 $ k(X) $ 的自同构，$ k(X)[t^{\pm 1};\sigma] $ 包含自由子代数当且仅当动力学度 $ \lambda(\sigma) > 1 $。
• 该结果表明，当 $ \rho(\sigma^*) > 1 $ 时，某些扭曲齐次坐标环 $ B(X,\mathcal{L},\sigma) $ 包含自由子代数。
• Hénon 映射 $ \sigma(x,y) = (1+y-ax^2, bx) $ 满足 $ \lambda(\sigma) = 2 $，对 $ n=4 $ 满足自由性条件，因此 $ k\{xt^4, yt^4\} $ 为自由代数，且如先前工作所示，$ k\{xt, yt\} $ 也为自由代数。