Pairs of differential forms: a framework for precontact geometry

本文通过分析在温和正则性条件下的一般 1-形式与 2-形式对，为前接触流形建立了一个几何框架，刻画了它们的性质，定义了相关的向量场与哈密顿动力学，并通过各种实例阐释了该理论。

要点

想象你正在试图描述一个复杂、多维空间的形状和流向。在数学中，特别是在几何学领域，我们使用一种叫做**微分形式（differential forms）**的工具来进行描述。你可以将这些“形式”想象成“规则”或“指令”，它们告诉我们如何测量空间中的面积、体积或方向。

这篇由 Xavier Gràcia、Ángel Martínez-Muñoz 和 Xavier Rivas 撰写的论文，通过将这些规则进行配对，提出了一种观察这些规则的新方法。他们不再仅仅观察单一的规则，而是观察一个由两个成员组成的团队：一个“1-形式”（我们可以称之为方向指南）和一个“2-形式”（我们可以称之为面积图）。

以下是他们思想的拆解，使用了简单的类比：

1. 组队：方向指南与面积图

通常，数学家研究的是“接触几何（Contact Geometry）”，这就像是一个非常严谨、组织完美的舞池。在这个舞蹈中，每一位舞者（空间中的点）都有一个必须遵循的特定方向，而且舞池的扭转程度非常高，以至于你永远无法在不转向的情况下平滑地沿直线滑动。这是一个非常严格且“完美”的系统。

然而，现实世界的系统（例如带有损坏齿轮的机器或带有摩擦力的流体）并不总是完美的。它们是“奇异的”或“退化的”。作者们问道：如果我们放宽规则会怎样？

他们提议研究一对形式：

• 方向指南 ($\tau$)： 告诉你哪边是“上”或“前”。
• 面积图 ($\omega$)： 告诉你面积是如何扭转和变化的。

通过将这两个形式结合起来研究，他们可以同时描述完美的舞池（接触几何）和混乱、破碎的舞池（前接触几何）。

2. “类（Class）”：你需要多少条规则？

论文引入了一个被称为**“类（Class）”**的概念。想象你正在尝试描述一个房间。

• 如果房间很简单，你可能只需要 3 个坐标（长、宽、高）来描述它。
• 如果房间很复杂，你可能需要 10 个。

“类”是一个数字，它告诉你在特定位置描述该几何结构所需的最小坐标数量。

• 奇数类（Odd Class）： 几何行为表现得像一个“接触”系统。它有一个独特的“领导者”（称为 Reeb 向量场）来告诉每个人该做什么。
• 偶数类（Even Class）： 几何行为表现得不同。它没有这样一个单一的领导者。相反，它有一个“Liouville 向量场”，这更像是一个“缩放因子”或“放大镜”，用于拉伸空间。

作者们展示了，只需观察这个“类”数字是奇数还是偶数，你就能判断出自己拥有哪种类型的系统。

3. “领导者”与“放大器”

论文重点研究了出现在这些系统中的两类特殊的“向量”（指向某个方向的箭头）：

• Reeb 向量（领导者）： 它仅存在于“奇数”系统中。它就像管弦乐队中的指挥家。如果你有一个指挥家，音乐（几何）是非常有结构的。论文证明，如果你拥有奇数类，你必须拥有这位指挥家。
• Liouville 向量（放大器）： 它仅存在于“偶数”系统中。它就像一个变焦镜头。它不负责指挥；它负责缩放事物。如果你拥有偶数类，你拥有的就是这个变焦镜头而非指挥家。

核心发现： 你不可能同时拥有两者。一个系统要么由一位指挥家引导（奇数），要么由一个变焦镜头控制（偶数），但绝不会两者兼有。

4. 改变规则（共形变换）

论文中最有趣的部分之一是，当你通过乘以一个数（一个函数）来改变“方向指南”时会发生什么。

• 想象你有一张地图。如果你将地图乘以一个数，方向保持不变，但比例尺改变了。
• 作者们发现，如果你以恰当的方式改变“方向指南”，你可以翻转系统的奇偶性。
  • 你可以将一个拥有“领导者”（奇数）的系统转变为一个拥有“放大器”（偶数）的系统。
  • 或者，你可以将一个“放大器”系统转变为一个“领导者”系统。

他们提供了一个数学配方（一个特定的方程），来计算如何精确地改变规则以实现这种翻转。这就像是找到正确的钥匙，将房间从音乐厅切换为体育馆。

5. 为什么这很重要（“前接触”的思想）

论文使用这个框架来定义**“前接触（Precontact）”**几何。

• **接触几何（Contact Geometry）**是“完美”的版本（就像一颗纯净的水晶）。
• **前接触几何（Precontact Geometry）**是“不完美”的版本（就像一颗带有裂纹的水晶）。

在过去，数学家试图研究这些带有裂纹的水晶，但因为他们假设总是存在一个“指挥家”（Reeb 向量）而陷入了困境。作者们展示了在许多现实世界的案例中（如奇异机械系统），并不存在指挥家。通过使用他们的“配对”框架，他们可以准确地描述这些复杂的系统，而无需假设指挥家的存在。

总结

你可以将这篇论文看作是一本描述形状的新说明书。

• 旧的说明书只适用于完美的、刚性的形状。
• 这本新的说明书既适用于完美的形状，也适用于破碎、混乱的形状。
• 它通过将“方向”与“面积”配对来实现这一点。
• 它告诉你，如果形状是“奇数”，它就有领导者；如果它是“偶数”，它就有放大器。
• 它甚至展示了你如何通过稍微改变规则来在这两种状态之间进行切换。

这个框架允许科学家们对复杂的现实物理系统（例如带有摩擦力的机器或流体）进行建模，而这些系统在以前由于过于“混乱”而无法纳入标准的几何理论。

技术摘要

技术摘要：微分形式对：预接触几何的一个框架

问题陈述
本文旨在为研究接触力学背景下的奇异拉格朗日系统提供一个严谨的几何框架。虽然接触几何能有效模拟耗散系统，但标准的表述通常依赖于 Reeb 向量场的存在性与唯一性。此前对“预接触”（precontact）结构（即非积分条件被弱化的接触结构的推广）的尝试受到限制，因为这些尝试假设了 Reeb 向量场的存在，而这一假设在奇异情况下并不总是成立。此外，现有的预接触形式定义并不总能保证外导数的秩保持不变，从而导致潜在的退化问题。作者旨在通过将预接触结构分析为一种更一般的对象——一对微分 1-形式与 2-形式——来阐明预接触结构的几何基础。

方法论
作者采用了一种通用的方法，通过研究“双元”（doublets）来开展工作，即由光滑流形 $M$ 上的微分 1-形式 $\tau$ 和 2-形式 $\omega$ 组成的对 $(\tau, \omega)$。他们施加了温和的正规性条件，即要求该对具有恒定的“类”（class）。

其方法论通过以下步骤进行：

1. 类的推广： 将微分形式的“类”的概念扩展到对 $(\tau, \omega)$。类的定义是特征分布 $K_{(\tau, \omega)} = \text{Ker}\,\tau \cap \text{Ker}\,\omega$ 的余维数。
2. 代数特征化： 作者通过涉及 $\omega$ 的外幂以及楔积 $\tau \wedge \omega^r$ 的代数条件来刻画这些对。他们建立了类的奇偶性（奇或偶）与特定向量场存在性之间的关系。
3. 几何对象： 他们引入并分析了相关的几何结构，包括特征张量场 $B = \tau \otimes \tau + \omega$、扩展特征分布以及扩展 3-形式 $\tau \wedge \omega$。
4. 对预接触形式的应用： 特定的预接触流形情形被视为对 $(\eta, d\eta)$，其中 $\eta$ 是一个处处不为零的 1-形式。通过应用上述通用结果来刻画奇类和偶类的预接触形式。
5. 共形分析： 本文研究了共形变换（通过函数 $e^f$ 进行缩放）如何影响类的奇偶性，并推导出了使类从偶变奇或保持奇性的函数的充要条件。

主要贡献与结果

• 通过类奇偶性进行分类： 本文确立了双元 $(\tau, \omega)$ 的类之奇偶性决定了特定 distinguished 向量场的存在性：

  • 奇类 ($2r+1$)： 等价于存在一个 Reeb 向量场 $R$（满足 $\iota_R \tau = 1, \iota_R \omega = 0$）。在这种情况下，特征分布包含在 $\omega$ 的核中，但反之则不然。
  • 偶类 ($2r+2$)： 等价于存在一个 Liouville 向量场 $\Delta$（满足 $\iota_\Delta \omega = \tau$）。在此情况下，$\text{Ker}\,\omega \subset \text{Ker}\,\tau$。
  • 至关重要的是，对于同一对形式，Reeb 向量场和 Liouville 向量场不能共存。

• 代数特征化： 作者提供了关于类的显式代数判据：

  • 类 $2r+1$：$\omega^{r+1} = 0$ 且 $\tau \wedge \omega^r \neq 0$。
  • 类 $2r+2$：$\omega^{r+1} = 0$，$\omega^r \neq 0$，且 $\tau \wedge \omega^r = 0$。
    这些条件允许在不显式构造向量场的情况下确定类的阶数。

• 几何结构：

  • 特征张量： 张量 $B = \tau \otimes \tau + \omega$ 定义了一个丛态射。对于奇类，$B$ 是同构的当且仅当特征分布为零（接触情形）。对于偶类，$B$ 的核与 Liouville 场相关。
  • 扩展特征分布： 定义为向量 $v \in \text{Ker}\,\tau$ 且满足 $\iota_v \omega = a\tau$。论文表明，该分布在奇类情形下与特征分布一致，但在偶类情形下严格更大（由特征分布和 Liouville 场所张成）。
  • 扩展 3-形式： 论文证明，3-形式 $\tau \wedge \omega$ 是几乎多辛（almost-multisymplectic）的，当且仅当类等于流形的维数（且为奇类）。

• 预接触形式： 预接触形式定义为一个处处不为零的 1-形式 $\eta$，使得对 $(\eta, d\eta)$ 具有恒定的类。

  • 论文为奇类和偶类提供了 Darboux 定理，给出了 $\eta$ 的局部坐标表达式。
  • 论文证明了对于预接触流形，特征分布、$d\eta$ 的核以及扩展特征分布都是可积的。

• 哈密顿动力学： 作者利用不依赖于 Reeb 向量场的表述，在预接触流形上定义了哈密顿动力学。对于函数 $H$，预接触哈密顿向量场 $X$ 由下式定义：
  $$(\iota_X d\eta) \wedge \eta = dH \wedge \eta \quad \text{且} \quad \iota_X \eta = -H$$
  无论类是奇还是偶，该表述均有效，解决了以往工作中需要唯一 Reeb 场的局限性。

• 共形奇偶性变化： 论文研究了共形变换 $\eta \to e^f \eta$ 何时会改变类的奇偶性。

  • 偶变奇： 函数 $f$ 将类从 $2r+2$ 变为 $2r+1$ 的充要条件是，沿每个 Liouville 向量场的 Lie 导数满足 $\mathcal{L}_\Delta f = -1$。
  • 奇类保持： 函数保持奇类 $2r+1$ 的充要条件是，对于所有属于特征分布的 $\Gamma$，满足 $\mathcal{L}_\Gamma f = 0$。
  • 作者提供了涉及分布可积性的充分条件，用于说明此类函数的局部存在性。

意义与范围
本文声称提供了一个统一的框架，将接触几何扩展到了包括标准非积分条件失效或 Reeb 向量场不唯一或不存在的奇异情况在内的领域。通过将预接触结构视为微分形式对的一个特例，该框架涵盖了已知的接触、共辛（cosymplectic）、辛（symplectic）及预辛（presymplectic）几何的结果，同时为偶类情形提供了新的见解。

其主要意义在于：

1. 泛化性： 超越了仅限于奇类预接触形式的限制，从而能够容纳更广泛的奇异拉格朗日系统。
2. 不依赖 Reeb 场的表述： 提供了一种在预接触流形上定义哈密顿动力学的方法，该方法不依赖于 Reeb 向量场的存在性或唯一性，这对于奇异系统至关重要。
3. 结构清晰化： 阐明了形式的“类”及其奇偶性在决定 Reeb 场与 Liouville 场存在性方面的几何作用。

作者指出，该框架旨在应用于研究奇异拉格朗日（包括依赖作用量的和非自治的）以及分析类不恒定的情况，尽管这些具体的应用被视为未来的工作，而非本文呈现的结果。