[论文解读] Some aspects of explicit birational geometry inspired by complex dynamics

Keiji Oguiso|arXiv (Cornell University)|Apr 11, 2014

Mathematical Dynamics and Fractals参考文献 59被引用 25

一句话总结

本文將複雜動力系統中的概念——特別是拓撲熵與動力度數——應用於研究射影與緊致凱勒流形上的雙有理與雙正則自同構，特別聚焦於正熵的本質自同構。文章構造了具正熵自同構的超凱勒流形的顯式例子，包括極小霍奇數與非交換自同構群的情形，證明在最小模型計畫假設下，此類動力系統自然出現在高維代數幾何中。

ABSTRACT

Our aim is to illustrate how one can effectively apply the basic ideas and notions of topological entropy and dynamical degrees, together with recent progress of minimal model theory in higher dimension, for an explicit study of birational or biregular selfmaps of projective or compact Kähler manifolds, through concrete examples.

研究动机与目标

• 研究射影或緊致凱勒流形上是否存在且結構為本質雙有理或雙正則自同構，且其熵為正。
• 將複雜動力系統中的工具——特別是拓撲熵與動力度數——應用於具體的幾何例子。
• 確定支持正熵自同構之射影超凱勒流形的最小霍奇數。
• 探討K3曲面及其希爾伯特譜之間自同構群的關係，特別是當群變為非交換時的情形。
• 回答自同構群是否自然滿足 Aut(S) = Aut(S^{[m]}) 對於 m ≥ 3。

提出的方法

• 利用最小模型計畫（MMP）與弱豐沛猜想，分類具有無限階本質自同構的流形。
• 應用動力度數與拓撲熵的概念來分類自同構，其中第一動力度數 d₁(f) 決定正熵。
• 透過從曲面提升自同構，在K3曲面的希爾伯特譜 S^{[n]} 上構造自同構，並保持熵不變。
• 對四次型K3曲面在 S^{[2]} 上使用博伊萊維對合，以生成非交換自同構群。
• 分析內侖-塞弗萊 lattice 以識別具最小霍奇數且支持正熵自同構的流形。
• 利用自同構群的自由積結構（例如 ℤ * ℤ）來證明正熵自同構的存在。

实验结果

研究问题

• RQ1 射影或凱勒流形需具備何種必要的幾何條件，才能容許本質雙正則自同構且熵為正？
• RQ2 對於維數 ≥ 4 的射影超凱勒四fold，其最小霍奇數為何，才能容許正熵自同構？
• RQ3 對於 m ≥ 3，K3曲面 S 的自同構群是否同構於其希爾伯特譜 S^{[m]} 的自同構群？
• RQ4 動力度數與拓撲熵如何約束高維流形上雙有理自同構的結構？
• RQ5 博伊萊維對合在希爾伯特譜上生成非交換自同構群的角色為何？

主要发现

• 存在一非射影的超凱勒流形 M = S^{[n]}，其具有本質雙正則自同構 f_M，且熵為正，其中 S 為具薩勒姆型自同構 f 且 d₁(f) = a > 1 的K3曲面。
• 對於霍奇數 ρ(S) = 1 的射影K3曲面 S，其希爾伯特譜 S^{[n]} 滿足 ρ(S^{[n]}) = 2，但 Bir(S^{[n]}) 為有限群，與霍奇數較高之情形形成鮮明對比。
• 存在一射影超凱勒四fold M，其與 S^{[2]} 形變等價，且 ρ(M) = 2，NS(M) ≅ (ℤ[η], 4Nm(*))，Aut(M) 為秩為1的幾乎交換群，且具有正熵，達成此類動力系統的最小霍奇數。
• 對於凱萊K3曲面 S，其 S^{[2]} 的自同構群同構於 ⟨ι₀, ι₁, ι₂⟩ ≅ ℤ * ℤ，容許正熵自同構，且 [Aut(S^{[2]}):Aut(S)] = ∞。
• 群 Aut(S^{[2]}) 包含自由積 ℤ * ℤ，確認正熵自同構的存在，並顯示 Aut(S^{[2]}) 比 Aut(S) 大得多，與自然性問題形成對比。