热门问题
时间线
聊天
视角
辛流形
来自维基百科,自由的百科全书
Remove ads
微分几何中,辛流形是装备了闭非退化2-形式ω的光滑流形M,ω称为辛形式。辛流形的研究称为辛几何或辛拓扑。辛流形作为经典力学和分析力学中流形的余切丛自然出现,例如在经典力学的哈密顿表述中(这该领域的主要动机之一),系统所有可能构型的空间可以用流形建模,流形的余切丛描述了该系统的相空间。
一个辛流形上的任何实值可微函数H可以用作一个能量函数或者叫哈密顿量。和任何一个哈密顿量相关有一个哈密顿向量场;该哈密顿向量场的积分曲线是哈密顿-雅可比方程的解。哈密顿向量场定义了辛流形上的一个流场,称为哈密顿流场或者叫辛同胚。根据刘维尔定理,哈密顿流保持相空间的体积形式不变。
动机
辛流形来自经典力学,是封闭系统相空间的推广。[1]哈密顿方程可从微分方程组推导系统的时间演化,辛形式也可从哈密顿函数H的微分dH得到描述系统流的向量场。[2]因此需要线性映射,从切流形到余切流形;或等价地,的元素。令表示的截面,非退化的要求确保了对每个微分,都有唯一对应的向量场使。由于我们希望哈密顿量沿流线是常值,所以应有,说明是交替形式,因此是2形式。最后,我们要求在流线作用下不变,即沿的李导数为零。应用嘉当同伦公式,这相当于(此处表示内积):
这样,当对不同光滑函数H重复这过程,使相应的在每点上张成切空间,便能发现任意光滑的H对应的流的李导数为零,等同于说ω是闭的。
Remove ads
定义
光滑流形M上的辛形式是闭非退化微分2形式。[3][4]当中,非退化是指对每个点,由定义的切空间中的斜对称对非退化。也就是说,若,使得,则。奇数维度下,斜对称矩阵总是奇异的,所以非退化意味着M只能是偶数维。[3][4]闭条件意味着的外导数为零。辛流形是一对,其中M是光滑流形,是辛形式。赋予M以辛形式,称作赋予M辛结构。
Remove ads
体积形式
从定义可以直接得到每个辛流形M都是偶数维2n,这是因为是无处为0的形式,辛体积形式。由此可以得到,每个辛流形是有一个标准的定向的,并且有一个标准的测度,刘维尔测度(经常重整为)。
例子
令为的基,在其上定义辛形式ω:
这样,辛形式简化为二次型。用表示n阶单位矩阵,则二次型矩阵Ω将由2n阶方阵给出:
Remove ads
令Q为n维光滑流形,则余切丛的总空间具有自然辛形式,称作庞加莱2形式,或正规辛形式
其中是Q上的任意局部坐标,是关于切向量的纤维坐标。余切丛是经典力学的自然相空间。区分上下索引的关键在于流形有没有度量张量,黎曼流形就是这种情况。上下索引在坐标系变换下进行反变与协变变换。“关于切向量的纤维坐标”是说,动量与速度“焊接”在一起,表达了速度与动量共线的概念,并相差标量因子。
Remove ads
凯勒流形是具有相容可积复结构的辛流形,构成一类特殊的复流形,复代数几何中有一大类例子。光滑复射影簇都有辛形式,是射影空间上的富比尼–施图迪形式的限制。
Remove ads
拉格朗日及其他子流形
辛流形的子流形有几个自然的几何概念:
- M的辛子流形(可能是任意偶数维)是子流形,且是S上的辛形式。
- 迷向子流形是辛形式限制为零的子流形,即切空间都是环境流形切空间的迷向子空间。同样,若子流形的切子空间都是余迷向的(迷向子空间的对偶),则子流形也称作余迷向的。
- 辛流形的拉格朗日子流形是辛形式对的限制为等于零的子流形,即。拉格朗日子流形是最大迷向子流形。
辛同胚的图像在积辛流形上是拉格朗日子流形。其交显示出光滑流形所不具备的刚性,阿诺德猜想给出了子流形的贝蒂数之和作为光滑拉格朗日子流形自交数的下界,而非光滑情形下的欧拉示性数。
令有全局坐标,则可将赋以规范辛形式
有给出的标准拉格朗日子流形。形式在为零,因为给定任一对切向量都有考虑情形,则。注意,把它展开时
项都有因子,由定义等于0。
Remove ads
流形的余切丛局部建模在与第一例类似的空间上。可以证明,我们可以粘合这些仿射辛形式,因此该丛形成了辛流形。拉格朗日子流形的一个不太平凡的例子是流形余切丛的零截面。例如,令
然后可以把表为
其中我们将符号视作的坐标。可以考虑坐标、的子集,从而得到零截面。这个例子可重复用于由光滑函数及其微分的零轨迹(vanishing locus)定义的流形。
Remove ads
考虑坐标为的规范空间。的参数子流形是由坐标参数化的曲面,使
若拉格朗日括号都为零,则是拉格朗日子流形。即,是拉格朗日子流形的等价条件是
这可以通过在拉格朗日子流形L的条件中展开
来看到。即,辛形式在切流形(所有切向量)上必须为零:
利用上的规范辛形式简化结果:
而其他的都为零。
由于辛流形上的局部坐标图具有规范形式,此例表明拉格朗日子流形相对来说不受约束。辛流形的分类由弗洛尔同调完成,这是莫尔斯理论在拉格朗日子流形间的映射的作用泛函中的应用。物理学中,作用量描述了物理系统的时间演化;这里,它可视作对膜动力的描述。
另一类有用的拉格朗日子流形出现于莫尔斯理论。给定莫尔斯函数,且对足够小的,可以构造拉格朗日子流形,其由零轨迹给出。对一般莫尔斯函数,有拉格朗日交,由给出。
凯勒流形或卡拉比-丘流形的情形下,可以在M上选择作为全纯n形式,其中是实部,是虚部。若对拉格朗日子流形L的为零,则L是特殊的。也就是说,限制在L上实部的条件引导了L上的体积形式。以下例子称作特殊拉格朗日子流形:
- 超凯勒流形的复拉格朗日子流形
- 卡拉比-丘流形的实结构的定点
SYZ猜想涉及镜像对称中特殊拉格朗日子流形的研究,见(Hitchin 1999)。
托马斯-丘猜想预言,在拉格朗日量的哈密顿迷向类中的卡拉比-丘流形上存在特殊拉格朗日子流形,这等价于流形的深谷范畴上的布里奇兰稳定性条件。
拉格朗日纤维
有一个标准“局部”模型,也就是,其中。这是一个线性辛空间的例子。参看辛向量空间。一个称为达布定理的命题表明局部来看每个辛流形都和这个简单的辛流形相似。
辛流形M的拉格朗日纤维是指所有纤维都是拉格朗日子流形的纤维。由于M是偶数维,所以可取局部坐标,由达布定理,辛形式ω(至少局部地)可以写成,其中d表示外微分,∧表示外积。这种形式称作庞加莱2形式或规范2形式。利用这种设置,我们可以局部地将M看成余切丛,拉格朗日纤维则是平凡纤维这便是规范图像。
拉格朗日映射

令L为辛流形的由浸入(i是拉格朗日浸入)给出的拉格朗日子流形。令给出K的一个拉格朗日纤维,则是拉格朗日映射。的临界值集称作焦散线。
两拉格朗日映射,若有微分同胚使两式右图交换、τ保留辛形式,则称它们拉格朗日等价。[4]用符号表示:
其中表示对τ的拉回。
特例与推广
切触流形
和辛流形紧密相关的有一个奇数维流形,称为切触流形。每个2n+1维切触流形给出一个2n+2维辛流形
另见
脚注
参考文献
阅读更多
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads