[论文解读] Surfaces on Oeljeklaus-Toma Manifolds

Sima Verbitsky|arXiv (Cornell University)|Jun 11, 2013

Geometry and complex manifolds参考文献 15被引用 7

一句话总结

该论文证明了：由数域构造的复非凯勒流形——奥尔杰克劳斯-托马流形——只有在是伊久克森流形时，才可能包含二维紧致复曲面。通过分析奥尔杰克劳斯-托马构造的几何性质以及全纯曲线与(1,1)-形式的特性，作者表明：任何此类曲面必须源于一个具有一个实嵌入和两个复嵌入的子域；由于曲面的缺失，这些流形中不可能存在其他类型的曲面。

ABSTRACT

Oeljeklaus-Toma manifolds are complex non-Kähler manifolds constructed by Oeljeklaus and Toma from certain number fields. These manifolds generalize Inoue surfaces of type $S_m$. In this work it is shown that Oeljeklaus-Toma manifolds could not contain any compact complex submanifolds of dimension 2 (surfaces) except Inoue surfaces.

研究动机与目标

• 确定哪些紧致复曲面可以嵌入奥尔杰克劳斯-托马流形中。
• 研究这些非凯勒复流形中是否存在二维复子流形。
• 阐明数域嵌入与单位群在构造此类子流形中的作用。
• 建立奥尔杰克劳斯-托马流形中包含伊久克森流形的精确条件。
• 解决奥尔杰克劳斯-托马流形中是否存在非伊久克森流形的问题。

提出的方法

• 利用单位的对数嵌入，在奥尔杰克劳斯-托马流形上构造一个精确的半正(1,1)-形式ω。
• 分析(1,1)-形式ω，表明流形中的任何曲线其ω-体积必为零，从而说明不存在全纯曲线。
• 应用狄利克雷单位定理，确立单位群在R^m中的格结构。
• 通过一个具有一个实嵌入和两个复嵌入的子域K₁，将伊久克森流形的构造嵌入奥尔杰克劳斯-托马框架中。
• 通过组合U₁（对应K₁）与Ũ（对应K）的生成元，构造完整域K的群U，确保其适定性。
• 通过相容的群作用，建立伊久克森流形S = H×C / U₁⋉O_{K₁} 到奥尔杰克劳斯-托马流形X = H^s×C^t / U⋉O_K 的全纯嵌入。

实验结果

研究问题

• RQ1 奥尔杰克劳斯-托马流形是否可能包含除伊久克森流形外的其他二维紧致复曲面？
• RQ2 数域的实嵌入与复嵌入在决定此类曲面存在性方面起什么作用？
• RQ3 为何奥尔杰克劳斯-托马流形不包含任何全纯曲线？这如何限制曲面的嵌入？
• RQ4 在数域K的哪些数论条件下，奥尔杰克劳斯-托马流形会包含一个伊久克森流形？
• RQ5 奥尔杰克劳斯-托马流形中存在伊久克森流形是否等价于存在一个具有一个实嵌入和两个复嵌入的子域？

主要发现

• 通过精确半正(1,1)-形式ω，证明了奥尔杰克劳斯-托马流形中不存在任何全纯曲线，因为任意曲线的ω-体积均为零。
• 由于曲面的缺失，任何包含曲线的曲面（如椭圆纤维化、曲面的爆破、或霍普夫曲面）均无法嵌入奥尔杰克劳斯-托马流形中。
• 奥尔杰克劳斯-托马流形中唯一可能存在的二维紧致复曲面是伊久克森流形，而伊久克森流形本身即是二维的奥尔杰克劳斯-托马流形。
• 由数域K构造的奥尔杰克劳斯-托马流形包含伊久克森流形，当且仅当K包含一个具有恰好一个实嵌入和两个复嵌入的子域K₁。
• 此类嵌入的构造通过将K₁上的伊久克森流形结构，借助相容的群作用与单位群及整数环的嵌入，提升至K上实现。