[论文解读] Einstein Metrics on Rational Homology Spheres

Charles P. Boyer, Krzysztof Galicki|ArXiv.org|Nov 20, 2003

Geometry and complex manifolds参考文献 18被引用 3

一句话总结

该论文在所有奇数维数大于3的情形下，通过加权齐次多项式的分支覆盖以及法诺轨道丛上的凯勒-爱因斯坦度量，证明了在无限多个单连通有理同调球面上存在连续的萨斯卡里安-爱因斯坦度量族。关键贡献在于构造了具有任意二阶同调挠率和非平凡模形式空间的此类度量，包括模形式空间中有效参数数量随维数呈指数增长。

ABSTRACT

We prove the existence of Sasakian-Einstein metrics on infinitely many rational homology spheres in all odd dimensions greater than 3. In dimension 5 we obain somewhat sharper results. There are examples where the number of effective parameters in the Einstein metric grows exponentially with dimension.

研究动机与目标

• 在奇数维数大于3的情形下，建立非平凡有理同调球面上爱因斯坦度量的存在性。
• 将已知的萨斯卡里安-爱因斯坦度量构造方法从齐次或3-萨斯卡里安情形扩展至包含连续模形式的无限族。
• 提供一种系统化方法，用于构造具有指定二阶同调挠率的单连通有理同调球面及其萨斯卡里安-爱因斯坦度量。
• 证明此类度量的模形式空间中有效实参数数量可随维数呈指数增长。
• 对加权齐次多项式分支覆盖所生成的链的贝蒂数和同调群进行分类与计算。

提出的方法

• 将有理同调球面构造为加权齐次多项式 F = z₀ᵏ + f(z₁,…,zₘ) 的链，其中 f 为拟光滑且具有孤立奇点。
• 应用定理3，计算同调群 Hₘ₋₁(L_F, ℤ) 的阶为 kᵇₘ₋₂(L_f)，其中 bₘ₋₂ 是 f 的链的 (m−2) 阶贝蒂数。
• 利用定理5中的 klt 条件与法诺条件，确保关联轨道丛商 X = L_F / S¹ 上存在凯勒-爱因斯坦度量。
• 通过萨斯卡里安-爱因斯坦对应关系，将法诺轨道丛 X 上凯勒-爱因斯坦度量的存在性转化为链 L_F 上的萨斯卡里安-爱因斯坦度量。
• 利用米尔诺与奥里克的贝蒂数公式，通过索引子集的求和来计算 bₘ₋₂(L_f)，从而实现同调阶的显式计算。
• 通过 μ = h⁰(ℙ(𝐰), 𝒪(d)) − ∑ᵢ h⁰(ℙ(𝐰), 𝒪(wᵢ)) 计算有效复参数数量 μ，该值决定了度量模形式空间的维数。

实验结果

研究问题

• RQ1 能否在奇数维数大于3的所有情形下，于无限多个单连通有理同调球面上构造萨斯卡里安-爱因斯坦度量？
• RQ2 加权齐次多项式的权与次数需满足何种条件，才能确保其关联法诺轨道丛上存在凯勒-爱因斯坦度量？
• RQ3 萨斯卡里安-爱因斯坦度量模形式空间中有效实参数数量如何随流形维数变化？
• RQ4 此类有理同调球面的二阶同调群 H₂(M, ℤ) 的结构为何？其能否实现任意挠率阶？
• RQ5 加权射影空间中卡勒-丘超曲面的分支覆盖能否产生具有萨斯卡里安-爱因斯坦度量的有理同调球面？

主要发现

• 对任意满足与3或2互素的整数 k > 2，存在一个单连通有理同调5-球面 Mₖ⁵ 上的萨斯卡里安-爱因斯坦度量，满足 |H₂(Mₖ⁵, ℤ)| = k² 且模形式空间中具有两个实参数。
• 在维数7中，费马-卡勒-丘超曲面 z₀ᵏ + z₁⁴ + z₂⁴ + z₃⁴ = 0 的分支覆盖产生有理同调球面，当 k > 12 时，满足 |H₂| = k²¹ 且具有38个有效实参数。
• 在维数9中，相同构造产生有理同调球面，当 k > 18 时，满足 |H₂| = k²⁰⁴ 且具有202个有效实参数。
• 在标准情形 F = z₀ᵏ + z₁ˡ + ⋯ + zₘˡ = 0 中，令 l = m+1 且 k = m，有效实参数数量为 2(₂ₘCₘ₊₁ − m²)，其随 m 呈指数增长。
• 与 z₀³ + z₁⁴ + z₂⁴ + z₃⁴ = 0 对应的链 M₅³,₄ 是一个有理同调5-球面，满足 |H₂| = 3⁶ = 729，并允许一个12参数族的萨斯卡里安-爱因斯坦度量。
• 当 k 落在区间 ( (m−1)l² / ((m−1)l(l−m)+m ) < k < l/(l−m) ) 内时，klt 条件与法诺条件均满足，从而保证度量的存在性。