殆复流形

✍ dations ◷ 2025-06-07 22:43:17 #复流形,微分几何,辛几何,流形上的结构

在数学中,一个殆复流形(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)的博士论文中得到详细地研究。一个通常的殆复结构是在复切丛 的每个纤维中选取一个半维数的子空间。一个广义殆复结构是在复切丛与复余切丛直和的每个纤维中选取一个半维数的迷向子空间。在每种情形都要求该子丛与其复共轭得出原来的丛。

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

相关

  • 集体治疗团体心理治疗(英文:group psychotherapy)顾名思义,团体(心理)治疗就是一群特定人们与治疗师透过团体的方式达成治疗目标的一种心理治疗。在美国最早有Joseph H. Pratt(英语:Joseph
  • 过氧化物过氧化物,指一类含有过氧基-O-O-的化合物,具有强氧化性,又可分为有机过氧化物与无机过氧化物。在包含过氧基的化合物中,每个氧原子的氧化数为 -1。1798年德国科学家亚历山大·冯·
  • 纤维二糖纤维二糖(英语:Cellobiose)是由两分子β-D-葡萄糖通过β(1→4)糖苷键连接而形成的二糖,纤维二糖是纤维素这种多糖的基本重复单位。是由一分子β-D-吡喃葡萄糖提供半缩醛羟基和一分
  • 一次性密码本一次性密码本(one-time pad,缩写为OTP)是古典密码学中的一种加密算法。是以随机的密钥(key)组成明文,且只使用一次。在理论上,此种密码具有完善保密性,是牢不可破的。它的安全性已由
  • 草鱼草鱼(学名:Ctenopharyngodon idella),又称鲩鱼(汉语拼音:huànyú)、
  • 米血糕米血糕,简称为米血,是指以糯米和动物血(猪、鸭、鸡、鹅)所做成的一种传统米食糕点,发源自台湾。依制成原料的不同,多为鸡、鸭血糕与猪血糕,再加上糯米的种类搭配,在口感上会有些差异
  • 生物发光生物发光现象是在生物体内,由于生命过程的变化,化学反应将化学能转化为光能而发光的现象。生物发光在英语中名为bioluminescence,该词为合成词,是由希腊语中代表生命的与拉丁语
  • 胡鸿猷胡鸿猷(1888年-?),字徵若,江苏无锡人。胡鸿猷早年就读于南洋公学。1907年公派至美国宾夕法尼亚大学沃顿商学院留学,1910年获硕士学位。后又前往德国柏林大学学习。1912年回国后,历
  • 若林正丈若林正丈(1949年11月27日-),出生于日本长野县,政治学者,曾任东京大学教授,现任早稻田大学教授。长久以来研究台湾政治及台湾近代史,中文能力良好,著作甚多。毕业于长野县长野高等学校
  • 敏轩说类《敏轩说类》(越南语:),19世纪越南阮朝时期汉文笔记小说,由高伯适、张国用写成。书分三个部分,第一部分“史传”(共十篇)由高伯适撰,内容里的传主多为作者亲见亲闻之人,结构严谨;第二部