5.2 辛几何

5.2 辛几何：只要面积，不问长短

摘要：辛流形是配备闭、非退化 2-形式 \omega 的流形，它保留「面积可测」却彻底放弃长度与角度。这一减法恰好命中哈密顿力学的骨架：相空间天然辛，演化方程由哈密顿函数与 \omega 直接写出。本节从相空间现场抽出辛结构，对比它与黎曼度量的能力差异，讲述达布定理「无局部不变量」的深意，并用动量映射重述诺特定理。

从力学家的相空间说起

单摆的状态由位置 q 与动量 p 一对数描述，(q, p) 平面就是它的相空间；n 自由度系统的相空间是 2n 维。十九世纪的力学家在这张图上发现一件怪事：真正自然的结构不是「长度」（相空间两点间的距离没有物理意义），而是「面积」——刘维尔定理宣告，相流的体积（面积的高维推广）永远不变，恰如不可压缩流体。庞加莱与后人由此悟出：力学的几何骨架应该是一种只保留面积结构的几何。

公理化只差一步。称 \omega 为辛形式，若它一是 2-形式（每点吃两个切向量吐一个数，双线性反对称），二是非退化（\omega(u, v) = 0 对一切 v 成立则 u = 0），三是闭（d\omega = 0）。配好 \omega 的流形 (M, \omega) 即辛流形。标准样板：\mathbb{R}^{2n} 配 \omega = \sum_i dp_i \wedge dq_i——正是物理教科书的相空间；更一般的，任何构型空间的余切丛 T^*Q 自带标准辛形式，力学系统的相空间几乎免费获得辛结构。

与黎曼度量的能力对照

辛形式与黎曼度量都是「每点一个双线性机器」，但能力配置刻意错开：

一个直接可验的奇数维禁令：反对称矩阵在奇数维必有零特征值，与非退化矛盾——辛流形必须是偶数维，这解释了「位置与动量成对出现」的几何根源。

达布定理：没有曲率的几何

黎曼几何的局部核心是曲率（第三章全部内容）；辛几何的局部定理却是「什么都没有」。达布定理：任何辛流形在每点附近都有坐标 (p_i, q_i) 使 \omega 写成标准形 \sum dp_i \wedge dq_i。对照黎曼情形：度量一般不能通过选卡化成 \delta_{ij}，能不能化正是平直与否的判据（曲率挡路）；辛形式却总能局部化成标准形——闭条件恰好消掉了所有可能的阻碍。

结论初听像坏消息（没有局部量可研究），实为辛几何性格的定音锤：辛几何的一切兴趣都在整体。两个辛流形局部无法区分，区别只活在全局——有没有闭合拉格朗日子流形、辛容量多大、能不能嵌入球。格罗莫夫的伪全纯曲线技术正是靠整体刚性建立起辛嵌入的不等式（非挤压定理：半径的球不能塞进更窄的圆柱），开创了「整体辛几何」纪元。这也是一段方法论佳话：局部的贫瘠逼出了整体的繁荣。

哈密顿方程与泊松括号：力学的辛写法

辛结构上任给光滑函数 H（哈密顿量），用 \omega 「抬指标」造出哈密顿向量场 X_H：\omega(X_H, \cdot) = dH(\cdot)（与黎曼度量抬指标的 g-梯度结构同型，只是换了机器）。它的流线就是系统演化，坐标下展开恰是正则方程 \dot q_i = \tfrac{\partial H}{\partial p_i}、\dot p_i = -\tfrac{\partial H}{\partial q_i}——教科书方程原是「辛形式抬指标」的一行式子。两函数的泊松括号 \{f, g\} = \omega(X_f, X_g) 编码观测量的演化：\dot f = \{f, H\}，能量守恒即 \{H, H\} = 0（反对称性的直接后果）。

刘维尔定理在此有一行证明：X_H 的流保持 \omega（用闭条件与李导数公式），于是保持 \omega^n，即保体积。统计力学的整个相空间框架（微正则系综、庞加莱回归定理）都站在这一行上。数值实验若想长时间保真（如分子动力学模拟），应使用保辛格式的积分器——普通欧拉格式会把相体积缓慢吹胀，辛格式把它锁死；这是辛几何在工程侧最实在的一笔分红。

动量映射与诺特定理：若李群对称地作用在辛流形上（保持 \omega），对每个无穷小生成元配一个函数——动量映射，其守恒性就是诺特定理。平移对称给线动量守恒、旋转对称给角动量守恒：力学里最漂亮的守恒律统一在「对称作用 + 辛结构」的框架里。几何力学学派把这套语言推向控制论与航天器姿态调度，辛结构从描述工具升格为设计工具。

⚠️ 常见坑：以为辛形式是度量的特例。方向反了——辛形式甚至不要求存在任何配套度量（一个流形可以有很多彼此不相容的辛结构与度量）；凯勒流形上两者确实并存且相容（\omega = g(J\cdot, \cdot)），但那是额外的幸运，不是辛几何的先决条件。第二个坑：把「保体积」与「保辛」混同——保体积弱得多，保辛的流才自动保体积，反之不然。

一次对照实测：达布定理的「无事发生」

达布定理的分量级含义值得用一个对照实测体会。在 (\mathbb{R}^2, \omega = dp \wedge dq) 上换到「奇怪」坐标 P = p、Q = q + p^3：新坐标下 \omega = dP \wedge dQ + 3p^2\, dp \wedge dp，第二项因反对称自动为零，\omega 保持标准形——无论坐标变换多么扭曲，标准形岿然不动。对照黎曼情形：同样的非线性换算一般会把 dq^2 + dp^2 变成带交叉项、系数起伏的复杂矩阵，只有空间本身平直且坐标选得极好时才能回到单位阵。一个「怎样都不变」、一个「很难不变」——两姐妹（对称与反对称）性格的差异在这次实测里一目了然。达布定理正是前者的全局化：局部总能找到让 \omega 取标准形的卡。而这也解释了辛几何为何必须转向整体问题（格罗莫夫宽度、非挤压、拉格朗日相交的阿诺德猜想）：局部既然无差异，信息只能藏在整体。

本节要点回顾

• 辛结构三条件：2-形式、非退化、闭；偶数维是硬门槛，源于反对称矩阵的奇数维零向量；
• 能力减法：放弃长度与角度，原生保面积与体积，恰与哈密顿相空间的需求对表；
• 达布定理：辛形式局部总能标准化——辛几何没有局部不变量，一切兴趣在整体；
• 力学一行化：正则方程 = 辛形式抬指标；刘维尔定理与保辛数值积分是它的两笔红利；
• 动量映射：对称作用 + 辛结构 = 守恒律，诺特定理的几何重述。