殆复流形

✍ dations ◷ 2025-06-28 19:35:30 #复流形,微分几何,辛几何,流形上的结构

在数学中,一个殆复流形(almost complex manifold)是在每个切空间上带有一个光滑线性复结构的光滑流形。此结构的存在性是一个流形成为复流形的必要条件,但非充分条件。即每个复流形是一个殆复流形,反之则不然。殆复结构在辛几何中有重要应用。

此概念由埃雷斯曼与霍普夫于1940年代引入。

设 是一个光滑流形。 上一个殆复结构(almost complex structure) 是在该流形每个切空间给出一个线性复结构(即平方为 -1 的线性映射),且在流形上光滑变化。换句话说,我们有一个秩为 (1,1) 的光滑张量场 使得 2 = -1,将其视为切丛上一个向量丛自同构  : → 。携有一个殆复结构的流形称为殆复流形(almost complex manifold)。

如果 有一个复结构,它必是偶数维的。事实上如果 有一个殆复结构必是偶数维。这可如下看出来。假设 是 维的,设  : → 是一个殆复结构。则 det() 是 的一个次数为 的多项式。如果 是奇数,则它有一个实根,。那么 det()=0,所以存在一个向量 属于 使得 。从而 这显然不等于 因 是实数。从而 必须是偶数如果 有一个殆复结构。可以证明它也必须是可定向。

线性代数中一个简单的练习说明任何偶数维向量空间有一个线性复结构。从而一个偶数维流形在每点 总存在一个秩 (1,1) 张量使得 p2 = −1(这只不过是在每个切空间的一个线性变换)。只有当这个局部张量能拼成一个整体定义的,逐点的线性复结构得出一个殆复结构,这样是惟一确定的。这样拼接的可能性,从而流形 上殆复结构的存在,等价于将切丛的结构群从 GL(, R) 约化为 GL(, C)。这样存在性是一个纯粹的代数拓扑问题,这已被充分理解。

对每个整数 ,平坦空间 R 2 n {\displaystyle R^{2n}} 2 与 6。在 2 的情形,殆复结构其实来自于黎曼球面上的复结构。6 维球面 6,当将其视为单位范数虚八元数,从八元数乘法继承一个殆复结构。

就像一个向量空间 上的复结构可将 C 分解为 + 与 -,所以 上一个殆复结构可将复化的切丛 C(这是在每一点是复化的切空间的向量丛)。+ 的一个截面称为 (1,0) 型向量场,而 - 的一个截面称为 (0,1) 型向量场。这样 在复切丛 (1,0)-向量场上相当于乘以 ,在 (0,1)-向量场上相当于乘以 -。

和从余切丛的外幂构造微分形式一样,我们可以构造复余切丛的外幂(典范同构于复切丛的对偶空间丛)。殆复结构在每个 -形式上诱导了分解

换句话说,每个 Ω()C 可以分解为 Ω(,)() 之和,这里 、 取遍 + = 。

在任何直和中,有一个典范投影 π,,从 Ωr()C 到 Ω(,)。我们也有一个外导数将 Ω()C 映为 Ω+1()C。从而我们利用殆复结构可以加细外导数在特定类型上的作用

所以 {\displaystyle \partial } ,) 型形式变为 (+1,) 型形式),而 ¯ {\displaystyle {\overline {\partial }}} 取如上典范形式。然而,一般不可能找到坐标系使得 在 的一个完整的邻域上取典范形式。这样的坐标如果存在,称为 的局部全纯坐标。如果 在每一点附近有 的局部全纯坐标,则它们拼成 的一个全纯图册,给出一个复结构,且其诱导了 。这样的 称为可积的。如果 由一个复结构诱导,则它是由惟一的一个复结构诱导的。

设 是流形 一个殆复结构,定义尼延黑斯张量为

Newlander-Nirenberg 定理断言一个殆复结构是可积的当且仅当尼延黑斯张量对 上所有光滑向量场 与 消没(这里的 表示向量场的李括号)。从而为了验证一个给定的殆复流形是否有一个相容的复结构,只需计算其尼延黑斯张量。相容复结构是惟一的,上面已讨论过。因为一个殆复结构的可积性等价于复结构的存在性,有时这也作为复结构的定义。

存在等价于尼延黑斯张量消没的其它判据,丰富了验证一个殆复结构的可积性(事实上以每一个作为一个殆复结构的可积性,在文献中都可找到)。它们包括

任何这些条件蕴含了惟一一个相容复结构的存在。

殆复结构的存在性是一个拓扑学问题,上已讨论过,相对容易回答。另一方面,可积殆复结构的存在性是一个难得多的分析问题。例如,早就知道 6 有一个殆复结构,但它是否有一个可积的复结构仍然是一个开放的问题。值得注意的是光滑性是重要的。对实解析的 ,Newlander-Nirenberg 定理可由弗罗贝尼乌斯定理得出;对 C {\displaystyle C^{\infty }} ,分析是必须的(因为正则性假设减弱了故需要更难的技巧)。

假设 携有一个辛形式 ,一个黎曼度量 与一个殆复结构 。因为 与 是非退化的,每个都有到了一个丛同构 ,其中第一个映射记作 ,由内乘给出 ,另一个记作 ,由 通过类似的运算给出。这三个结构 形成一个相容三元组,如果每个结构可由其它两个如下确定:

在每一个这样的方程中,如果右边的两个结构通过对应的构造得出指定类型的结构,则称为相容的。例如 与 是相容的如果 是一个黎曼度量。利用辛形式 的基本性质,可以证明一个相容殆复结构 对黎曼度量 是一个殆凯勒结构。另外一个事实是如果 是可积的,则 是一个凯勒流形。

这些三元组与酉群的三选二性质有关。

奈杰尔·希钦引入了流形 上的广义殆复结构的概念,在他的学生马可·瓜蒂耶里(英语:Marco Gualtieri)与吉尔·卡亚坎蒂(英语:Gil Cavalcanti)的博士论文中得到详细地研究。一个通常的殆复结构是在复切丛 的每个纤维中选取一个半维数的子空间。一个广义殆复结构是在复切丛与复余切丛直和的每个纤维中选取一个半维数的迷向子空间。在每种情形都要求该子丛与其复共轭得出原来的丛。

一个殆复结构积成一个复结构如果该半维数子空间在李括号下封闭。一个广义殆复结构积成一个广义复结构如果该子空间在柯朗括号下封闭。进一步如果该半维数子空间是一个处处非零纯旋量的零化子则 是一个广义卡拉比-丘流形。

相关

  • 闽浙总督闽浙总督(满语:ᡶᡠᡤᡳᠶᠠᠨ ᠵᡝᡤᡳᠶᠠᠩ ᠨᡳ ᡠᡥᡝᡵᡳ ᡴᠠᡩᠠᠯᠠᡵᠠ ᠠᠮᠪᠠᠨ,穆麟德:fugiyan jegiyang ni uheri kadalara amban),正式官衔为总督闽浙等处地方提
  • 蛇口邮轮中心蛇口邮轮中心位于中华人民共和国广东省深圳市南山区蛇口西南的一个填海区(该区名为太子湾),是一个水、陆客货运输的对外开放口岸,于2016年10月31日正式启用,承担原蛇口客运码头的
  • 葫芦岛葫芦岛市是中华人民共和国辽宁省下辖的地级市,原名锦西,位于辽宁省西南部。市境东北接锦州市,北临朝阳市,西界河北省秦皇岛市,南滨辽东湾。地处辽冀两省交界,辽西山地丘陵区与沿海
  • 北罗霄罗霄山脉是万洋山、诸广山和武功山的统称,这些东北至西南走向次级山脉构成罗霄山脉,是湖南和江西两省的自然界线。主要山峰海拔多在1000米以上。其中著名的山峰有八面山,井冈山
  • 瑞士安乐死议题瑞士是全世界第一个、也是少数可合法实施被动安乐死的国家。瑞士在1941年通过安乐死相关法案,合法化协助自杀;协助方式局限于为被动(例如除去病人的维生系统或让病人停止服药)而
  • 63式火箭炮63式火箭炮,可以指:
  • 金武祥金武祥(1841年-1925年),原名金则仁,字溎生,号粟香。江苏江阴(今属江苏)人。早年游幕江西会昌县衙,是一名师爷,光绪五年(1879年),班捐为广东候补,光绪十六年(1890年),授赤溪直隶厅同知。丁忧隐
  • 丹增·龙戴姜仓丹增·龙戴姜仓(蒙古语:Данзангийн Лүндээжанцан,1957年-)蒙古族,籍贯不详,蒙古国政治人物。1980年,龙戴姜仓毕业于蒙古国立大学法学专业。1980年至1985年,任
  • 中信兄弟二军中信兄弟二军为中华职棒中信兄弟的二军球团,于2008年1月10日宣布成立,随着兄弟象队的转卖,中信集团接手后,球队更名为中信兄弟队,而二军也顺应更名。总教练为林威助,搭配各司其职
  • 伽蓝伽蓝或僧伽蓝(梵文:�������,ISO转写:sam̐ghārāma),音译全名僧伽蓝摩。“僧伽”(sam̐gha)指僧团;“阿兰摩”(ārāma)义为“园”,原意是指僧众共住的园林,即佛教寺院。“伽蓝”的传承音“.mw-