[论文解读] The Yamabe invariant of orbifolds and $L^2$-harmonic spinors

Kazuo Akutagawa, Boris Botvinnik|arXiv (Cornell University)|Apr 5, 2002

Geometric and Algebraic Topology被引用 1

一句话总结

本文通过共形几何与 $ L^2 $-指标理论，研究了具有有限奇点的紧致轨道丛的轨道丛 Yamabe 不变量 $ Y_{\text{orb}}(M) $。在充分条件下，证明了 $ Y_{\text{orb}}(M) \leq Y(S^n)/d $，其中 $ d = \max_j |\Gamma_j|^{2/n} $，并利用 $ L^2 $-调和旋量对四维轨道丛给出了拓扑估计。

ABSTRACT

We study compact orbifolds with finite number of singularities by means of conformal geometry and L2-index theory. For such an n-orbifold M with singularities Σ = {(p1,Γ1),...,(ps,Γs)} (where the groups Γj < O(n) are finite), we define and study the orbifold Yamabe invariant Y orb (M). We give a sufficient condition when the invariant Y orb (M) coincides with the corresponding cylindrical Yamabe invariant defined by the authors [3]. Under the same condition, we prove that the invariant Y orb (M) is bounded by Y (Sn)/d from above, where d = maxj |Γj | 2 n. We study the 4-dimensional case and use the L 2-index theory to estimate the cylindrical and orbifold Yamabe invariant in topological terms. We conclude by explicit estimate of the invariant Y orb (M) for particular 4-orbifolds M. 1

研究动机与目标

• 定义并研究具有有限奇点的紧致轨道丛的轨道丛 Yamabe 不变量 $ Y_{\text{orb}}(M) $。
• 确立 $ Y_{\text{orb}}(M) $ 与柱面 Yamabe 不变量一致的条件。
• 以标准球面的 Yamabe 不变量与最大群阶为参数，推导 $ Y_{\text{orb}}(M) $ 的上界。
• 利用 $ L^2 $-指标理论估计四维轨道丛的 Yamabe 不变量。
• 为特定四维轨道丛提供 $ Y_{\text{orb}}(M) $ 的显式估计。

提出的方法

• 作者利用共形几何分析具有孤立奇点的轨道丛，其局部模型为 $ \mathbb{R}^n / \Gamma_j $，其中 $ \Gamma_j \subset O(n) $ 为有限群。
• 将轨道丛 Yamabe 不变量 $ Y_{\text{orb}}(M) $ 定义为在光滑共形度量上，标量曲率按 $ L^n $-范数归一化后的上确界。
• 论文建立了 $ Y_{\text{orb}}(M) $ 等于柱面 Yamabe 不变量的充分条件，将其与奇点层的几何联系起来。
• 对于四维轨道丛，作者应用 $ L^2 $-指标理论，将该不变量与基本覆盖上 Dirac 算子的指标联系起来。
• 利用来自 $ L^2 $-上同调的拓扑不变量，以轨道丛的奇点结构为依据，对 Yamabe 不变量进行估计。
• 通过推导出的上界与拓扑约束，为特定四维轨道丛导出 $ Y_{\text{orb}}(M) $ 的显式估计。

实验结果

研究问题

• RQ1 在何种条件下，轨道丛 Yamabe 不变量 $ Y_{\text{orb}}(M) $ 与柱面 Yamabe 不变量一致？
• RQ2 以标准球面的 Yamabe 不变量与群阶 $ |\Gamma_j| $ 表示时，$ Y_{\text{orb}}(M) $ 的最优上界是什么？
• RQ3 如何利用 $ L^2 $-指标理论估计四维轨道丛的 Yamabe 不变量？
• RQ4 在四维情形下，哪些拓扑不变量控制 $ Y_{\text{orb}}(M) $ 的取值？
• RQ5 能否为特定四维轨道丛上的 $ Y_{\text{orb}}(M) $ 计算显式值或上界？

主要发现

• 在充分几何条件下，轨道丛 Yamabe 不变量 $ Y_{\text{orb}}(M) $ 的上界为 $ Y(S^n)/d $，其中 $ d = \max_j |\Gamma_j|^{2/n} $。
• 当充分条件成立时，$ Y_{\text{orb}}(M) $ 等于先前工作中定义的柱面 Yamabe 不变量。
• 对于四维轨道丛，$ L^2 $-指标理论提供了限制 Yamabe 不变量上界的拓扑约束。
• 论文通过推导出的上界与奇点结构，为特定四维轨道丛导出了 $ Y_{\text{orb}}(M) $ 的显式估计。
• 该不变量 $ Y_{\text{orb}}(M) $ 受局部群 $ \Gamma_j $ 的最大阶数影响，群越大，上界越小。
• 结果揭示了轨道丛奇点的几何与底层空间共形不变量之间存在深刻联系。