Sasaki 几何

1 基本概念

1.1 定义与直观理解

Sasaki 几何研究的是一类奇数维流形上的特殊几何结构。它通常由接触结构、黎曼度量以及与之相容的向量场和张量共同组成，使流形在局部和整体上都呈现出较强的秩序性。直观上，可以把它理解为“在奇数维空间中出现的、与复几何密切对应的圆锥型结构”。

这种几何并不只是单纯的度量几何，也不是孤立的接触几何，而是将二者以较严格的方式结合起来。由于其圆锥构造十分自然，Sasaki 几何常被看作是 Kähler 几何在奇数维情形中的一种伴随形式。

1.2 相关几何结构

1.2.1 接触结构

接触结构是 Sasaki 几何的基础之一。对于一个奇数维流形，接触结构通常由一个 1-形式给出，其最大非退化性质保证了流形上存在一种特殊的“非积分”分布。这个分布使得流形无法像普通可积分层那样分解，而是具有更强的扭转特征。

在 Sasaki 几何中，接触结构不仅存在，而且要与其他几何对象保持兼容，从而形成比一般接触流形更受约束的体系。

1.2.2 黎曼度量

黎曼度量为流形提供长度、角度与体积概念。在 Sasaki 几何中，度量与接触结构并非独立设置，而是相互协调，使得某些自然定义的向量场、张量和联络满足特定关系。

这种兼容性使得 Sasaki 流形既保留了接触几何的非线性特征，又具有较好的测地与曲率理论可处理性。

1.2.3 Reeb 向量场

Reeb 向量场是接触几何中的核心对象，在 Sasaki 结构中同样居于中心位置。它由接触 1-形式唯一确定，刻画了流形上一个特殊方向，并通常生成流形上的一类流动或对称作用。

从几何上看，Reeb 向量场将流形分解为沿其方向的“垂直”部分与其正交的“横向”部分，是理解 Sasaki 结构的重要入口。

1.3 圆锥构造

1.3.1 黎曼锥

Sasaki 几何最具代表性的特征之一，是与黎曼锥的对应关系。给定一个 Sasaki 流形，可以在其上构造一个乘以正实半轴的圆锥空间，并在圆锥上定义自然的度量。

这种圆锥度量通常具有更高维度上的对称性，且其几何性质常能反过来揭示底流形的结构。很多 Sasaki 性质都可通过研究该锥空间来理解。

1.3.2 Kähler 锥与 Sasaki 结构的对应关系

若 Sasaki 流形的黎曼锥带有 Kähler 结构，则底流形便携带 Sasaki 结构。反过来，Sasaki 结构也会诱导锥空间上的复结构与辛结构兼容，从而形成 Kähler 几何。

这一对应关系是 Sasaki 几何的核心思想：奇数维流形上的特殊结构，可通过其锥上的复几何来编码。很多判别与构造问题，也因此转化为对锥空间的研究。

2 结构性质

2.1 基本张量与联络

2.1.1 特殊联络

Sasaki 几何中常用的联络不仅要与度量相容，还要与接触结构、Reeb 向量场及相关张量协同工作。通过这些联络，可以描述流形上向量场的平行移动、曲率传播以及横向几何行为。

在具体计算中，常会出现将切空间拆分为多个子部分后分别处理的情形，这使得联络公式具有较强的结构性。

2.1.2 几何兼容条件

Sasaki 结构的关键不在于某个单独对象，而在于各个对象之间的兼容关系。通常要求接触形式、度量、复型张量与 Reeb 场之间满足一组精确恒等式，以保证圆锥上的 Kähler 性质成立。

这些条件既是定义的一部分，也是很多性质推导的基础。若其中任一关系被破坏，整体结构往往就不再属于 Sasaki 几何。

2.2 分布与正交分解

2.2.1 水平分布

水平分布通常指与 Reeb 向量场正交的子空间分布，也常被称为接触分布的横向部分。它承载了许多接近 Kähler 几何的横向结构，是研究曲率与复型行为的主要区域。

在这个分布上，流形表现出类似偶数维复流形的局部性质，因此很多性质可以借助横向分析来处理。

2.2.2 垂直分布

垂直分布由 Reeb 向量场所张成，代表流形中的特定方向。在 Sasaki 几何里，这一方向通常是单独处理的，因为它与横向分布在几何意义上明显不同。

垂直与水平的正交分解，使整体计算更为清晰，也为曲率分量、联络分量的拆分提供了自然框架。

2.3 特征曲率条件

2.3.1 Ricci 曲率

Ricci 曲率在 Sasaki 几何中具有特别重要的位置。由于该结构与 Kähler 锥相关，Ricci 曲率常可通过锥空间的曲率性质间接研究。某些特殊 Sasaki 流形还满足横向 Einstein 条件，使其在曲率上呈现高度均匀的行为。

Ricci 曲率的性质往往与流形是否属于 Sasaki-Einstein 类型直接相关，因此是分类与应用中的关键指标。

2.3.2 标量曲率

标量曲率是对 Ricci 曲率进一步压缩得到的整体量。对 Sasaki 流形而言，标量曲率可反映整体弯曲程度，并与体积、紧致性及某些极值问题相关。

在研究中，标量曲率常用于判断流形是否具有特别均衡的几何状态，也常与横向 Kähler 结构中的相应标量量联系起来。

3 典型例子

3.1 标准球面上的 Sasaki 结构

3.1.1 奇数维球面

奇数维球面是最经典的 Sasaki 结构例子之一。由于其可以作为复欧氏空间中的单位球面，天然承载由环境空间诱导出的接触与度量结构，因此是许多定义和公式的试验场。

这一例子也最能体现 Sasaki 几何“由锥空间反推”的特点，因为球面的圆锥正是相应的欧氏空间。

3.1.2 标准接触形式

球面上的标准接触形式来源于环境空间的自然结构，通常可通过坐标直接写出。它与标准度量相容，并生成标准的 Reeb 向量场。

由于形式简单且对称性强，这一结构常被用来说明 Sasaki 流形中各个对象如何协同工作。

3.2 圆锥上的诱导结构

3.2.1 欧氏空间中的圆锥

欧氏空间中的径向结构提供了构造 Sasaki 几何的自然起点。若考虑单位球面及其外部或内部的径向延拓，就可以得到一个具有锥形度量的空间，并从中识别出底流形的 Sasaki 性质。

这种构造在形式上非常直接，也方便说明圆锥、底流形和联络之间的关系。

3.2.2 复空间中的对应构造

在复空间中，锥构造常伴随标准复结构一起出现。此时圆锥不仅是度量空间，也带有天然的复几何信息，从而更容易满足 Kähler 条件。

这类对应构造表明，Sasaki 几何并非孤立存在，而是与复分析和辛几何在高维空间中自然交汇。

3.3 代数与几何构造实例

3.3.1 规则 Sasaki 流形

规则 Sasaki 流形中，Reeb 向量场的轨道形成整齐的纤维结构，通常可视为一个圆周作用。这样一来，整个流形常可看作某种底空间上的圆周丛。

这类流形结构清晰，便于分类和计算，因此在理论研究中占有重要地位。

3.3.2 准规则 Sasaki 流形

准规则 Sasaki 流形中，Reeb 轨道虽然仍具有良好组织性，但未必全部闭合成相同长度的圆周。其轨道空间往往带有较好的几何意义，常类似于带奇点的底空间。

这类例子介于规则与非规则之间，兼具可控性与复杂性。

3.3.3 非规则 Sasaki 流形

非规则 Sasaki 流形的 Reeb 轨道通常较为复杂，不再形成整齐的圆周纤维。尽管如此，它们仍保有 Sasaki 几何的核心兼容关系。

这类流形在结构上更为丰富，也往往更接近一般情形，因此在变形研究和模空间分析中十分重要。

4 分类与变体

4.1 基本分类框架

4.1.1 规则性分类

Sasaki 流形常首先按 Reeb 轨道的规则性分类。规则、准规则与非规则三类，反映了流形在对称性和轨道结构上的不同层次。

这种分类不仅是描述性的，也与底空间的几何类型及可积性问题密切相关。

4.1.2 拓扑限制

Sasaki 结构并非可以出现在任意拓扑类型的流形上。其存在常受到基本群、上同调以及某些特征类的限制。

这些限制说明，Sasaki 几何虽然灵活，但仍然具有明显的全局拓扑约束，不是任意奇数维流形都能承载的。

4.2 Sasaki-Einstein 几何

4.2.1 Einstein 条件

若 Sasaki 流形的黎曼度量满足 Einstein 条件，则称其具有 Sasaki-Einstein 结构。此时 Ricci 曲率与度量成比例，几何状态高度均匀。

Sasaki-Einstein 几何是该领域最重要的分支之一，因为它连接了曲率极值问题、紧致流形分类以及物理中的特殊背景构造。

4.2.2 与 Calabi-Yau 锥的关系

Sasaki-Einstein 流形的圆锥常具有 Calabi-Yau 结构。也就是说，若底流形满足适当的 Einstein 条件，则锥空间的复几何和 Ricci 平坦性会显著增强。

这一联系使 Sasaki-Einstein 几何成为 Calabi-Yau 几何在奇数维底流形上的自然对应物。

4.3 变形与模空间

4.3.1 横向变形

横向变形指的是在保持 Reeb 方向大体不变的前提下，对横向几何结构进行调整。这类变形可改变曲率、体积或某些复几何参数，而不完全破坏 Sasaki 性质。

研究这类变形有助于理解结构的稳定性与参数连续变化的规律。

4.3.2 Reeb 向量场变形

Reeb 向量场本身也可以在一定范围内变化。不同的 Reeb 选择会带来不同的轨道结构、体积函数和极值性质，因此在模空间研究中占据重要位置。

对 Reeb 场的变形分析，常与寻找 Sasaki-Einstein 度量、以及研究最优几何代表元相关。

5 与其他几何的联系

5.1 与接触几何的关系

5.1.1 接触度量结构

Sasaki 几何可以看作接触几何与黎曼几何的一个高度相容版本。接触结构提供“非可积”的骨架，度量则补充了长度与角度信息，二者共同构成接触度量结构。

在这一框架下，Sasaki 几何比一般接触流形更强，因其附加了更多约束与对称性。

5.1.2 K-contact 结构

K-contact 结构是接触几何中的一个相近概念，强调 Reeb 向量场是度量的 Killing 场。它是 Sasaki 结构的近亲，但还不足以保证圆锥上的 Kähler 性质。

因此，Sasaki 结构可视为 K-contact 结构中满足更严格横向复几何条件的情形。

5.2 与 Kähler 几何的关系

5.2.1 横向 Kähler 结构

Sasaki 流形的横向几何往往呈现 Kähler 型特征。换言之，在垂直方向之外，流形的局部结构可表现出类似复流形上的 Kähler 形式与度量关系。

这使得很多 Kähler 几何中的工具能够在 Sasaki 场景下通过“横向化”方式使用。

5.2.2 复结构诱导

Sasaki 几何之所以与 Kähler 几何密切相关，根源在于其锥空间上的复结构可以诱导回底流形的某些张量关系。该诱导过程使复结构、辛结构和度量结构形成整体。

这也是为何研究 Sasaki 几何时，常需要借助复几何语言来表达和计算。

5.3 与黎曼几何的关系

5.3.1 测地性质

Sasaki 流形在测地线行为上具有较清晰的结构。由于存在 Reeb 方向与横向分解，某些测地问题可以分离成沿流向与横向两部分来处理。

这种性质使其在黎曼几何中兼具可计算性与结构美感。

5.3.2 曲率分解

在 Sasaki 几何中，曲率张量常可按水平和垂直方向进行分解。不同分量分别反映横向 Kähler 几何和 Reeb 方向上的性质。

这种分解不仅简化了理论分析，也有助于识别特殊曲率条件，例如 Einstein 性质或更高阶的均匀性约束。

6 理论物理中的应用

6.1 超对称理论中的几何背景

Sasaki 几何常被用作超对称理论中的背景空间之一。其高对称性、圆锥结构以及与特殊 holonomy 的联系，使其适合描述某些受限的场论或弦论背景。

在这类应用中，几何条件往往对应物理系统中的稳定性、守恒量或对称性要求。

6.2 规范场论中的空间构造

在规范场论中，Sasaki 型空间可作为研究特定联络、极值方程或对称解的舞台。其横向结构为构造某些特殊场配置提供了自然框架。

由于流形的分解较清楚，许多原本复杂的场方程可在此背景下获得较好的几何解释。

6.3 弦论与 M 理论相关模型

6.3.1 紧致化几何

在高维理论中，Sasaki 流形常作为紧致化空间的候选之一。其几何约束能够帮助控制低维有效理论中的对称性与谱结构。

尤其是 Sasaki-Einstein 流形，因其较强的曲率均匀性而常被优先考虑。

6.3.2 特殊 holonomy 相关构造

Sasaki 几何与特殊 holonomy 的联系主要体现在其锥空间可能具有特殊的 holonomy 群。此类结构在高维几何和物理模型中都很受关注。

通过研究锥空间的 holonomy，可以反向理解底流形的几何特征及其可能的物理含义。

7 研究方法与工具

7.1 坐标与局部表达

7.1.1 局部适配坐标

在局部研究中，常选取适配于接触结构与 Reeb 场的坐标系。这样的坐标能够清楚区分横向变量与沿流向变量，从而使结构方程更易处理。

适配坐标是推导局部公式、验证兼容条件和计算曲率的常用工具。

7.1.2 形式语言

微分形式语言是研究 Sasaki 几何的标准工具。接触 1-形式、基本 2-形式以及相关外微分算子，常被用来简洁表达结构条件。

这种语言尤其适合处理对称关系和联络方程，也便于与 Kähler 几何中的形式表示对接。

7.2 计算技巧

7.2.1 连接形式计算

通过连接形式可以系统描述局部联络关系。Sasaki 几何中的连接形式往往需同时反映度量相容和接触兼容两方面信息，因此其计算比普通黎曼情形更具结构性。

在实际分析中，连接形式常用于验证是否满足 Sasaki 条件，或进一步检查 Einstein 性质。

7.2.2 曲率张量计算

曲率张量的计算通常依赖于局部框架分解和联络公式。对于 Sasaki 流形而言，横向曲率与整体曲率之间存在精细联系，因此需要分别讨论不同方向上的贡献。

这类计算是判断流形是否为 Sasaki-Einstein、以及分析其局部几何行为的重要步骤。

7.3 常用判别准则

7.3.1 Sasaki 条件判别

判断一个流形是否具有 Sasaki 结构，通常要检验接触形式、度量、Reeb 向量场以及复型张量是否满足标准兼容关系。若其锥空间可构成 Kähler 流形，则常可作为强有力的判据。

因此，Sasaki 条件既可从底流形直接检查，也可借助圆锥几何间接判断。

7.3.2 Einstein 判别条件

判别 Sasaki-Einstein 结构时，核心在于验证 Ricci 曲率是否与度量成比例。实际操作中，还常结合横向 Ricci 曲率、标量曲率及体积约束来综合判断。

这一判别对分类研究尤为重要，因为它直接关联特殊度量的存在性问题。

8 重要定理与结果

8.1 结构定理

8.1.1 锥与底流形对应定理

Sasaki 几何最基本的结构结论之一，是底流形与其黎曼锥之间的对应关系。底流形上的 Sasaki 结构与锥空间上的 Kähler 结构之间存在双向联系，这构成了整个理论的支柱。

该对应定理使许多奇数维问题能够转化为偶数维复几何问题，从而大幅提升可处理性。

8.1.2 兼容性定理

兼容性定理说明，若某些基本张量与联络满足特定关系，则接触结构、度量结构和复型结构能够共同组成 Sasaki 结构。该结果为构造与识别提供了统一框架。

在很多情况下，验证兼容性就等于确认几何体系是否真的属于 Sasaki 类型。

8.2 存在性结果

8.2.1 结构存在条件

Sasaki 结构的存在通常依赖于流形的拓扑、接触结构和某些横向可积条件。并非所有接触流形都能提升为 Sasaki 流形，因此存在性问题本身就具有独立意义。

这类结果帮助研究者区分“仅有接触性”与“真正具备 Sasaki 几何”的差别。

8.2.2 典型构造存在性

许多经典 Sasaki 流形通过标准球面、代数几何构造或圆周丛构造得到。典型例子表明，Sasaki 结构不仅理论上存在，而且在大量自然几何模型中都能出现。

这些存在性结论也为进一步寻找特殊曲率度量提供了起点。

8.3 唯一性与刚性

8.3.1 刚性结果

Sasaki 几何中的刚性现象表明，在某些条件下，结构无法被任意扰动而保持同类性质。尤其在 Einstein 情形下，几何形态往往受到更强限制。

刚性结果在分类理论中非常重要，因为它减少了可行结构的自由度。

8.3.2 变形空间性质

与刚性相对，Sasaki 结构也存在一定的变形空间。通过调整横向结构或 Reeb 向量场，可以得到一族相关但不完全相同的几何对象。

变形空间的研究揭示了 Sasaki 几何的可调范围，也反映了不同结构之间的连续联系。