[论文解读] Examples of non-symmetric Kähler-Einstein toric Fano manifolds

Benjamin Nill, Andreas Paffenholz|arXiv (Cornell University)|May 13, 2009

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

一句话总结

本论文首次给出了在维度 7 和 8 中非对称的反射多面体的实例，其对应的 toric Fano 流形 admits Kähler-Einstein 度量，从而反驳了长期以来认为多面体对称性是此类度量存在的必要条件的猜想。通过 M. Øbro 对 Fano 多面体的计算分类并经 polymake 验证，作者识别出三个此类实例——其中两个在维度 7，一个在维度 8——其对偶多面体的重心为零，满足 Wang-Zhu 的 Kähler-Einstein 度量准则，尽管多面体缺乏对称性。

ABSTRACT

In this note we report on examples of 7- and 8-dimensional toric Fano manifolds that are not symmetric and still admit a Kaehler-Einstein metric. This answers a question first posed by V.V. Batyrev and E. Selivanova. The examples were found in the classification of toric Fano manifolds up to dimension 8 obtained by M. Oebro. We also discuss related open questions and conjectures.

研究动机与目标

• 解决 Batyrev 和 Selivanova 长期提出的疑问：反射多面体的对称性是否为 nonsingular toric Fano 流形 admits Kähler-Einstein 度量的必要条件？
• 研究 Tian 准则在 toric 情境下的有效性，以及 alpha-不变量在 Kähler-Einstein 度量存在性中的作用。
• 通过显式计算实例，检验如 Conjecture 3.6（Chan/Leung）和 Conjecture 3.11（Ehrhart）等猜想在高维中的鲁棒性。
• 提供多面体对称性在 Kähler-Einstein 条件中非必要的反例，特别是在维度 ≥7 的情形。
• 探讨重心为零但非对称的多面体在几何与组合学上的含义，特别是与自同构群和反典型度数的关系。

提出的方法

• 利用 M. Øbro 的算法分类方法，对 n ≤ 8 的 n 维 Fano 多面体进行分类，生成完整的同构类数据库。
• 在 Øbro 的数据库中执行全面的计算机搜索，使用软件系统 polymake，借助外部库进行格点多面体计算。
• 识别出所有满足以下条件的 Fano 多面体 Q：其对偶反射多面体 P 满足重心 b_P = 0，且 P 不对称。
• 验证其对应的 toric Fano 流形满足 Wang-Zhu 准则（重心在原点），从而具备 Kähler-Einstein 度量。
• 通过计算顶点和 v_Q 生成的固定空间 F_Q，分析这些实例的自同构群。
• 通过在构造的实例上测试，检验组合猜想（如 Chan/Leung 的 Conjecture 3.9）的有效性，包括构造该猜想的反例。

实验结果

研究问题

• RQ1 反射多面体的对称性是否为 nonsingular toric Fano 流形 admits Kähler-Einstein 度量的必要条件？
• RQ2 Kähler-Einstein toric Fano 流形的 alpha-不变量是否满足 Tian 定理的假设，特别是在非对称情形下？
• RQ3 Chan 和 Leung 关于 c_1^2 与 c_2 类不等式的猜想在高维中是否可被验证或证伪？
• RQ4 Ehrhart 关于具有单个内部格点且重心为零的格点多面体最大体积的猜想，对非对称多面体是否成立？
• RQ5 是否存在高维 toric Fano 流形，其 associated 多面体非对称，但 admits Kähler-Einstein 度量？若存在，其几何与组合性质为何？

主要发现

• 发现了三个非对称光滑反射多面体且重心为零的实例：一个 7 维 Fano 多面体 Q₁（含 12 个顶点），一个 8 维多面体 Q₂（Q₁ 的双锥体），以及一个 8 维 Fano 多面体 Q₃（含 16 个顶点）。
• 其对应的 toric Fano 流形 X₁、X₂ 和 X₃ 均 admits Kähler-Einstein 度量，因为其对偶反射多面体的重心为零，满足 Wang-Zhu 准则。
• 尽管缺乏对称性，每个实例的自同构群均具有由顶点和 v_Q 生成的一维固定空间，表明存在非平凡的对称结构。
• 这些实例表明，alpha-不变量不满足 Tian 定理所要求的条件，说明 Tian 准则在此情境下不充分。
• 通过一个 5 维反射多面体（重心为零）构造了对 Conjecture 3.9（Chan/Leung）的反例，其中对某些相邻面，猜想中的点 x_F 不存在。
• Ehrhart 猜想在所有维度 ≤8 的 Fano 多面体对偶中经计算验证，支持其在此范围内的有效性，但其一般情形仍为开放问题。