微分几何中,辛流形是装备了非退化2-形式ω的光滑流形M,ω称为辛形式。辛流形的研究称为辛几何辛拓扑。辛流形作为经典力学分析力学中流形的余切丛自然出现,例如在经典力学的哈密顿表述中(这该领域的主要动机之一),系统所有可能构型的空间可以用流形建模,流形的余切丛描述了该系统的相空间

一个辛流形上的任何实值可微函数H可以用作一个能量函数或者叫哈密顿量。和任何一个哈密顿量相关有一个哈密顿向量场;该哈密顿向量场的积分曲线哈密顿-雅可比方程的解。哈密顿向量场定义了辛流形上的一个流场,称为哈密顿流场或者叫辛同胚。根据刘维尔定理,哈密顿流保持相空间的体积形式不变。

动机 编辑

辛流形来自经典力学,是封闭系统相空间的推广。[1]哈密顿方程可从微分方程组推导系统的时间演化,辛形式也可从哈密顿函数H的微分dH得到描述系统流的向量场[2]因此需要线性映射 ,从切流形 余切流形 ;或等价地, 的元素。令 表示 截面 非退化的要求确保了对每个微分 ,都有唯一对应的向量场 使 。由于我们希望哈密顿量沿流线是常值,所以应有 ,说明 是交替形式,因此是2形式。最后,我们要求 在流线作用下不变,即 沿 李导数为零。应用嘉当同伦公式,这相当于(此处 表示内积):

 

这样,当对不同光滑函数H重复这过程,使相应的 在每点上张成切空间,便能发现任意光滑的H对应的 流的李导数为零,等同于说ω的。

定义 编辑

光滑流形M上的辛形式是闭非退化微分2形式 [3][4]当中,非退化是指对每个点 ,由 定义的切空间 中的斜对称对非退化。也就是说,若 ,使得 ,则 。奇数维度下,斜对称矩阵总是奇异的,所以 非退化意味着M只能是偶数维。[3][4]闭条件意味着 外导数为零。辛流形是一对 ,其中M是光滑流形, 是辛形式。赋予M以辛形式,称作赋予M辛结构

体积形式 编辑

从定义可以直接得到每个辛流形M都是偶数维2n,这是因为 是无处为0的形式,辛体积形式。由此可以得到,每个辛流形是有一个标准的定向的,并且有一个标准的测度刘维尔测度(经常重整为 )。

例子 编辑

辛向量空间 编辑

  的基,在其上定义辛形式ω

 

这样,辛形式简化为二次型。用 表示n单位矩阵,则二次型矩阵Ω将由2n阶方阵给出:

 

余切丛 编辑

Qn维光滑流形,则余切丛 的总空间具有自然辛形式,称作庞加莱2形式,或正规辛形式

 

其中 Q上的任意局部坐标, 是关于切向量 的纤维坐标。余切丛是经典力学的自然相空间。区分上下索引的关键在于流形有没有度量张量黎曼流形就是这种情况。上下索引在坐标系变换下进行反变与协变变换。“关于切向量的纤维坐标”是说,动量 与速度 焊接”在一起,表达了速度与动量共线的概念,并相差标量因子。

凯勒流形 编辑

凯勒流形是具有相容可积复结构的辛流形,构成一类特殊的复流形,复代数几何中有一大类例子。光滑复射影簇 都有辛形式,是射影空间 上的富比尼–施图迪形式的限制。

殆复流形 编辑

具有与 相容的殆复结构的黎曼流形称作殆复流形,推广了凯勒流形,因为其不一定可积。也就是说,它们不一定来自流形上的复结构。

拉格朗日及其他子流形 编辑

辛流形 子流形有几个自然的几何概念:

  • M辛子流形(可能是任意偶数维)是子流形 ,且 S上的辛形式。
  • 迷向子流形是辛形式限制为零的子流形,即切空间都是环境流形切空间的迷向子空间。同样,若子流形的切子空间都是余迷向的(迷向子空间的对偶),则子流形也称作余迷向的。
  • 辛流形 拉格朗日子流形是辛形式  的限制为等于零的子流形,即 。拉格朗日子流形是最大迷向子流形。

辛同胚的图像在积辛流形 上是拉格朗日子流形。其交显示出光滑流形所不具备的刚性,阿诺德猜想给出了子流形的贝蒂数之和作为光滑拉格朗日子流形自交数的下界,而非光滑情形下的欧拉示性数

例子 编辑

 有全局坐标 ,则可将 赋以规范辛形式

 

 给出的标准拉格朗日子流形。形式  为零,因为给定任一对切向量 都有 考虑 情形,则 。注意,把它展开时

 

项都有因子 ,由定义等于0。

例子:余切丛 编辑

流形的余切丛局部建模在与第一例类似的空间上。可以证明,我们可以粘合这些仿射辛形式,因此该丛形成了辛流形。拉格朗日子流形的一个不太平凡的例子是流形余切丛的零截面。例如,令

 

然后可以把 表为

 

其中我们将符号 视作 的坐标。可以考虑坐标  的子集,从而得到零截面。这个例子可重复用于由光滑函数 及其微分 的零轨迹(vanishing locus)定义的流形。

例子:参数子流形 编辑

考虑坐标为 的规范空间  的参数子流形是由坐标 参数化的曲面,使

 

拉格朗日括号 都为零,则是拉格朗日子流形。即,是拉格朗日子流形的等价条件是

 

这可以通过在拉格朗日子流形L的条件中展开

 

来看到。即,辛形式在切流形 (所有切向量)上必须为零:

 

利用 上的规范辛形式简化结果:

 

而其他的都为零。

由于辛流形上的局部坐标图具有规范形式,此例表明拉格朗日子流形相对来说不受约束。辛流形的分类由弗洛尔同调完成,这是莫尔斯理论在拉格朗日子流形间的映射的作用泛函中的应用。物理学中,作用量描述了物理系统的时间演化;这里,它可视作对膜动力的描述。

例子:莫尔斯理论 编辑

另一类有用的拉格朗日子流形出现于莫尔斯理论。给定莫尔斯函数 ,且对足够小的 ,可以构造拉格朗日子流形,其由零轨迹 给出。对一般莫尔斯函数,有拉格朗日交,由 给出。

特殊拉格朗日子流形 编辑

凯勒流形卡拉比-丘流形的情形下,可以在M上选择 作为全纯n形式,其中 是实部, 是虚部。若对拉格朗日子流形L 为零,则L特殊的。也就是说,限制在L上实部 的条件引导了L上的体积形式。以下例子称作特殊拉格朗日子流形:

  1. 超凯勒流形的复拉格朗日子流形
  2. 卡拉比-丘流形的实结构的定点

SYZ猜想涉及镜像对称中特殊拉格朗日子流形的研究,见(Hitchin 1999)。

托马斯-丘猜想预言,在拉格朗日量的哈密顿迷向类中的卡拉比-丘流形上存在特殊拉格朗日子流形,这等价于流形的深谷范畴上的布里奇兰稳定性条件

拉格朗日纤维 编辑

线性辛流形 编辑

有一个标准“局部”模型,也就是 ,其中 。这是一个线性辛空间的例子。参看辛向量空间。一个称为达布定理的命题表明局部来看每个辛流形都和这个简单的辛流形相似。

拉格朗日纤维 编辑

辛流形M拉格朗日纤维是指所有纤维都是拉格朗日子流形的纤维。由于M是偶数维,所以可取局部坐标 ,由达布定理,辛形式ω(至少局部地)可以写成 ,其中d表示外微分,∧表示外积。这种形式称作庞加莱2形式或规范2形式。利用这种设置,我们可以局部地将M看成余切丛 ,拉格朗日纤维则是平凡纤维 这便是规范图像。

拉格朗日映射 编辑

 

L为辛流形 的由浸入 i拉格朗日浸入)给出的拉格朗日子流形。令 给出K的一个拉格朗日纤维,则 拉格朗日映射 临界值集称作焦散线

两拉格朗日映射 ,若有微分同胚 使两式右图交换τ保留辛形式,则称它们拉格朗日等价[4]用符号表示:

 

其中 表示 τ拉回

特例与推广 编辑

  • 辛流形 的辛形式 若是正合的,则辛流形也是正合(exact)的。例如,光滑流形的余切丛是正合辛流形。规范辛形式也正合。
  • 切丛具有殆复结构的意义上,赋予跟辛形式相容的度量的辛流形是殆凯勒流形,但不一定可积。
  • 辛流形是泊松流形的特例。
  • 度数为k多辛流形(multisymplectic manifold)是具备闭非退化k形式的流形。[5]
  • 聚辛流形(polysymplectic manifold)是具有聚辛切值 形式的勒让德丛,用于哈密顿场论[6]

切触流形 编辑

和辛流形紧密相关的有一个奇数维流形,称为切触流形。每个2n+1维切触流形 给出一个2n+2维辛流形 

另见 编辑

脚注 编辑

  1. ^ Webster, Ben. What is a symplectic manifold, really?. 2012-01-09. 
  2. ^ Cohn, Henry. Why symplectic geometry is the natural setting for classical mechanics. 
  3. ^ 3.0 3.1 de Gosson, Maurice. Symplectic Geometry and Quantum Mechanics. Basel: Birkhäuser Verlag. 2006: 10. ISBN 3-7643-7574-4. 
  4. ^ 4.0 4.1 4.2 Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. 1985. ISBN 0-8176-3187-9. 
  5. ^ Cantrijn, F.; Ibort, L. A.; de León, M. On the Geometry of Multisymplectic Manifolds. J. Austral. Math. Soc. Ser. A. 1999, 66 (3): 303–330. doi:10.1017/S1446788700036636 . 
  6. ^ Giachetta, G.; Mangiarotti, L.; Sardanashvily, G. Covariant Hamiltonian equations for field theory. Journal of Physics. 1999, A32 (38): 6629–6642. Bibcode:1999JPhA...32.6629G. S2CID 204899025. arXiv:hep-th/9904062 . doi:10.1088/0305-4470/32/38/302. 

参考文献 编辑

阅读更多 编辑