[论文解读] Ergodic complex structures on hyperkahler manifolds: an erratum

Verbitsky Misha|arXiv (Cornell University)|Aug 19, 2017

Geometry and complex manifolds参考文献 10被引用 4

一句话总结

本文纠正了先前关于超凯勒流形研究中的一项疏漏，通过识别出映射类群作用于周期空间时被遗漏的一类轨道。证明了这些中间轨道——其特征为与实部 H^{2,0}-空间的一维有理交集——的闭包是反复共轭对合的不动点集，为全实子流形，且不包含正维复子簇，对双曲性与Kobayashi伪度量结果具有重要意义。

ABSTRACT

Let $M$ be a hyperkahler manifold, $Γ$ its mapping class group, and $Teich$ the Teichmuller space of complex structures of hyperkahler type. After we glue together birationally equivalent points, we obtain the so-called birational Teichmuller space $Teich_b$. Every connected component of $Teich_b$ is identified with its period space $P$ by global Torelli theorem. The mapping class group of $M$ acts on $P$ as a finite index subgroup of the group of isometries of the integer cohomology lattice, that is, satisfies assumptions of Ratner theorem. We prove that there are three classes of orbits, closed, dense and the intermediate class which corresponds to varieties with $Re(H^{2,0}(M))$ containing a given rational vector. The closure of the later orbits is a fixed point set of an anticomplex involution of $P$. This fixes an error in the paper 1306.1498, where this third class of orbits was overlooked. We explain how this affects the works based on 1306.1498.

研究动机与目标

• 纠正超凯勒流形的Teichmüller空间上映射类群作用的轨道结构分类错误。
• 识别并表征此前被忽视的一类轨道，其对应复结构满足 dim(Re(H^{2,0}) ∩ H^2(M,ℚ)) = 1。
• 证明这些中间轨道的闭包是全实子流形，具体为周期空间上反复共轭对合的不动点集。
• 验证原始论文中的几何应用仍有效，仅需修正[KLV]中一个被隐含但错误的陈述，该错误源于遗漏的轨道类。
• 澄清Ratner理论在轨道分类中的作用，特别是其无法直接应用于 SO(1,b₂−3)×SO(2) 的原因，以及为何必须将 SO(1,b₂−3) 视为子群来处理。

提出的方法

• 利用全局Torelli定理，将双有理Teichmüller空间 Teich_b 识别为对称空间 ℙer = SO(3,b₂−3)/(SO(2)×SO(1,b₂−3))。
• 分析映射类群 Γ 在 ℙer 上的作用，其为整数上同调格拉姆格的等距群的有限指数子群。
• 对子群 H′ = SO(1,b₂−3) ⊂ SO(3,b₂−3) 应用Ratner理论，其生成幂零流。
• 将中间轨道的闭包识别为中间子群 S 的轨道，其中 H′ ⊂ S ⊂ SO(3,b₂−3)，特别是 S = SO(2,b₂−3)，对应于缺失的轨道类。
• 证明中间轨道的闭包是 ℙer 上反复共轭对合的不动点集，从而其为全实子流形且不包含正维复子簇。
• 利用Meyer定理证明在秩 ≥5 的格中存在平方为零的有理类，从而在SYZ猜想下可构造拉格朗日纤维化。

实验结果

研究问题

• RQ1 超凯勒流形周期空间上映射类群作用的轨道完整分类是什么？
• RQ2 为何此前研究中遗漏了具有与 Re(H^{2,0}) 一维有理交集的中间轨道类？
• RQ3 中间轨道闭包的几何性质是什么？其与闭轨道和稠密轨道有何区别？
• RQ4 该轨道类的存在如何影响几何结果的有效性，特别是关于Kobayashi伪度量与双曲性的结论？
• RQ5 Ratner理论能否直接应用于群 SO(1,b₂−3)×SO(2)？若不能，何种替代子群可实现分类？

主要发现

• 在映射类群作用于周期空间时存在此前被忽视的一类轨道，其对应复结构满足 dim(Re(H^{2,0}) ∩ H^2(M,ℚ)) = 1。
• 这些中间轨道的闭包是全实子流形，具体为 ℙer 上反复共轭对合的不动点集。
• 这些闭包不包含正维复子簇，且不包含于任何真复子簇中。
• 原始论文 [V2] 与 [KLV] 中的几何结果仍成立，仅需修正 [KLV] 中一个被隐含但错误的陈述，该错误源于遗漏的轨道类。
• 中间轨道作为 H′-轨道（H′ = SO(1,b₂−3)）在Ratner理论下的闭包出现，其中中间群 SO(2,b₂−3) 起关键作用。
• 反复共轭对合的不动点集与极化K3曲面的除子 Teich_g（任意给定亏格）相交，意味着每个中间轨道中均存在稠密的代数复结构。