[论文解读] Riemannian Holonomy and Algebraic Geometry

Arnaud Beauville|ArXiv.org|Feb 18, 1999

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

一句话总结

本文通過特殊holonomy流形的視角，探討黎曼幾何與代數幾何之間的深刻互動，特別聚焦於卡勒-丘、超凱勒以及例外holonomy流形。它展示伯傑對holonomy群的分類如何導致度量的里奇平坦性與平行形式等規範幾何結構，使代數簇具備豐富且受約束的幾何性質，並表明這些結構自然出現在緊緻、單連通流形中，透過holonomy表示與霍奇理論，將微分幾何與代數幾何聯繫起來。

ABSTRACT

This survey paper is devoted to Riemannian manifolds with special holonomy. To any Riemannian manifold of dimension n is associated a closed subgroup of SO(n), the holonomy group; this is one of the most basic invariants of the metric. A famous theorem of Berger gives a complete (and rather small) list of the groups which can appear. Surprisingly, the compact manifolds with holonomy smaller than SO(n) are all related in some way to Algebraic Geometry. This leads to the study of special algebraic varieties (Calabi-Yau, complex symplectic or complex contact manifolds) for which Riemannian geometry rises interesting questions.

研究动机与目标

• 釐清holonomy群在連結黎曼幾何與代數幾何中的角色。
• 示範特殊holonomy群（例如 SU(m)、Sp(r)、G₂、Spin(7)）如何在緊緻、單連通流形上產生規範幾何結構。
• 顯示這些幾何約束如何導致強烈的代數性質，如投影性與全純形式的存在。
• 呈現holonomy、曲率與上同調之間的互動，特別是透過卡拉比猜想與凱勒幾何的視角。
• 透過將其與已知的代數簇類別連結，使holonomy領域的進階主題對代數幾何學者更易理解。

提出的方法

• 使用Levi-Civita聯絡與平行移動定義黎曼流形的holonomy群。
• 應用德雷姆分解定理，將holonomy的研究簡化為不可約、單連通流形。
• 應用伯傑定理，對不可約、非對稱黎曼流形的可能holonomy群進行分類。
• 分析特殊holonomy群（如 SU(m)、Sp(r)、G₂、Spin(7)）如何暗示平行微分形式與複結構的存在。
• 運用霍奇理論與凱勒圓錐，將線叢的陳類與凱勒類及正類關聯起來。
• 應用科達伊嵌入定理，顯示凱勒類可導出投影性，特別是在 H^{2,0} = 0 時。

实验结果

研究问题

• RQ1 特殊holonomy群如何約束緊緻、單連通黎曼流形的幾何與拓撲？
• RQ2 具有 SU(m)、Sp(r)、G₂ 或 Spin(7) holonomy 的流形如何自然出現在代數幾何中？
• RQ3 平行形式（如全純體積形式）的存在與底層簇的代數性質之間有何關係？
• RQ4 凱勒圓錐與霍奇分解如何決定緊緻凱勒流形的投影性？
• RQ5 卡拉比猜想在實現特殊holonomy流形為代數簇的過程中扮演何種角色？

主要发现

• 伯傑定理對不可約、非對稱黎曼流形的可能holonomy群進行分類，顯示僅存在有限多種可能。
• 具有特殊holonomy的流形——如卡勒-丘（holonomy SU(m)）、超凱勒（holonomy Sp(r)）以及 G₂ 或 Spin(7) 流形——具有平行微分形式與複結構。
• 在具有 SU(m) holonomy 的緊緻凱勒流形上，若存在 (m,0) 型全純體積形式，則其為里奇平坦，此結果由丘成桐透過卡拉比猜想證明。
• 若 H^{2,0}(X) = 0，則凱勒圓錐在 H^{1,1}_R 中為開集，且包含整類，根據科達伊嵌入定理，可推出流形為投影。
• 緊緻凱勒流形上的一個線叢 L 為正叢，當且僅當其第一陳類 c₁(L) 為凱勒類，此結果建立代數幾何與微分幾何之間的深刻連結。
• holonomy群在切空間上不可約作用，且對單連通流形而言，holonomy 與限制holonomy 一致，簡化了分類。