殆复流形:修订间差异
小无编辑摘要 |
|||
第31行: | 第31行: | ||
所以 <math>\partial</math> 是将类型的全纯部分增加 1 的映射(将 (''p'',''q'') 型形式变为 (''p''+1,''q'') 型形式),而 <math>\overline{\partial}</math> 是将类型的反全纯部分增加 1 的映射。这些算子称为 '''Dolbeault 算子'''。 |
所以 <math>\partial</math> 是将类型的全纯部分增加 1 的映射(将 (''p'',''q'') 型形式变为 (''p''+1,''q'') 型形式),而 <math>\overline{\partial}</math> 是将类型的反全纯部分增加 1 的映射。这些算子称为 '''Dolbeault 算子'''。 |
||
因为所有的投影直和必是[[恒 |
因为所有的投影直和必是[[恒等映射]],我们注意到外导数可以写成 |
||
:<math>d=\sum_{r+s=p+q+1} \pi_{r,s}\circ d=\partial + \overline{\partial}+\dotsb.</math> |
:<math>d=\sum_{r+s=p+q+1} \pi_{r,s}\circ d=\partial + \overline{\partial}+\dotsb.</math> |
||
2009年6月22日 (一) 03:52的版本
数学中,一个殆复流形(almost complex manifold)是在每个切空间上带有一个光滑线性复结构的光滑流形。此结构的存在性是一个流形成为复流形的必要条件,但非充分条件。即每个复流形是一个殆复流形,反之则不然。殆复结构在辛几何中有重要应用。
定义
设 M 是一个光滑流形。M 上一个殆复结构(almost complex structure)J 是在该流形每个切空间给出一个线性复结构(即平方为 -1 的线性映射),且在流形上光滑变化。换句话说,我们有一个秩为 (0,1) 的光滑张量场 J 使得 J2 = -1,将其视为切丛上一个向量丛自同构 J : TM → TM。携有一个殆复结构的流形称为殆复流形(almost complex manifold)。
如果 M 有一个复结构,它必是偶数维的。事实上如果 M 有一个殆复结构必是偶数维。这可如下看出来。假设 M 是 n 维的,设 J : TM → TM 是一个殆复结构。则 det(J-xI) 是 x 的一个次数为 n 的多项式。如果 n 是奇数,则它有一个实根,z。那么 det(J-zI)=0,所以存在一个向量 v 属于 TM 使得 Jv=zv。从而 JJv=z2v 这显然不等于 -v 因 z 是实数。从而 n 必须是偶数如果 M 有一个殆复结构。可以证明它也必须是可定向。
线性代数中一个简单的练习说明任何偶数维向量空间有一个线性复结构。从而一个偶数维流形在每点 p 总存在一个秩 (1,1) 张量使得 Jp2 = −1(这只不过是在每个切空间的一个线性变换)。只有当这个局部张量能拼成一个整体定义的,逐点的线性复结构得出一个殆复结构,这样是惟一确定的。这样拼接的可能性,从而流形 M 上殆复结构的存在,等价于将切丛的结构群从 GL(2n, R) 约化为 GL(n, C)。这样存在性是一个纯粹的代数拓扑问题,这已被充分理解。
例子
对每个证书 n,平坦空间 有一个殆复结构。这样殆复结构的一个例子是 (): 对奇数 i, 对偶数 i。
存在殆复结构的球面只有 S2 与 S6。在 S2 的情形,殆复结构其实来自于黎曼球面上的复结构。6 维球面 S6,当将其视为单位范数虚八元数,从八元数乘法继承一个殆复结构。
殆复流形的微分拓扑
就像一个向量空间 V 上的复结构可将 VC 分解为 V+ 与 V-,所以 M 上一个殆复结构可将复化的切丛 TMC(这是在每一点是复化的切空间的向量丛)。TM+ 的一个截面称为 (1,0) 型向量场,而 TM- 的一个截面称为 (0,1) 型向量场。这样 J 在复切丛 (1,0)-向量场上相当于乘以 i,在 (0,1)-向量场上相当于乘以 -i。
和从余切丛的外幂构造微分形式一样,我们可以构造复余切丛的外幂(典范同构于复切丛的对偶空间丛)。殆复结构在每个 r-形式上诱导了分解
换句话说,每个 Ωr(M)C 可以分解为 Ω(p,q)(M) 之和,这里 p、q 取遍 p+q = r。
在任何直和中,有一个典范投影 πp,q,从 Ωr(M)C 到 Ω(p,q)。我们也有一个外导数将 Ωr(M)C 映为 Ωr+1(M)C。从而我们利用殆复结构可以加细外导数在特定类型上的作用
所以 是将类型的全纯部分增加 1 的映射(将 (p,q) 型形式变为 (p+1,q) 型形式),而 是将类型的反全纯部分增加 1 的映射。这些算子称为 Dolbeault 算子。
因为所有的投影直和必是恒等映射,我们注意到外导数可以写成
可积殆复结构
每个复流形自身便是一个殆复结构。在局部全纯坐标 下,可定义映射
或
容易验证这个映射定义了一个殆复结构。从而流形上任何复结构得出一个殆复结构,这称为由复结构所诱导,此复结构称为与该殆复结构相容。
逆问题是否殆复结构蕴含复结构的存在则不是这么平凡,一般是不成立的。在任意一个殆复流形上总可以找到坐标系使得殆复结构在任意给定点 p 取如上典范形式。然而,一般不可能找到坐标系使得 J 在 p 的一个完整的邻域上取典范形式。这样的坐标如果存在,称为 J 的局部全纯坐标。如果 M 在每一点附近有 J 的局部全纯坐标,则它们拼成 M 的一个全纯图册,给出一个复结构,且其诱导了 J。这样的 J 称为可积的。如果 J 由一个复结构诱导,则它是由惟一的一个复结构诱导的。
设 J 是流形 M一个殆复结构,定义 Nijenhui 张量为
Newlander-Nirenberg 定理断言一个殆复结构是可积的当且仅当 Nijenhuis 张量对 M 上所有光滑向量场 X 与 Y 消没(这里的 [·, ·] 表示向量场的李括号)。从而为了验证一个给定的殆复流形是否有一个相容的复结构,只需计算其 Nijenhuis 张量。相容复结构是惟一的,上面已讨论过。因为一个殆复结构的可积性等价于复结构的存在性,有时这也作为复结构的定义。
存在等价于 Nijenhuis 张量消没的其它判据,丰富了验证一个殆复结构的可积性(事实上以每一个作为一个殆复结构的可积性,在文献中都可找到)。它们包括
- 两个 (1,0)-向量场的李括号依然是 (1,0) 型。
任何这些条件蕴含了惟一一个相容复结构的存在。
殆复结构的存在性是一个拓扑学问题,上已讨论过,相对容易回答。另一方面,可积殆复结构的存在性是一个难得多的分析问题。例如,早就知道 S6 有一个殆复结构,但它是否有一个可积的复结构仍然是一个开放的问题。值得注意的是光滑性是重要的。对实解析的 J,Newlander-Nirenberg 定理可由弗罗贝尼乌斯定理得出;对 (以及更弱的连续性) J,分析是必须的(因为正则性假设减弱了故需要更难的技巧)。
相容三元组
假设 M 携有一个辛形式 ω,一个黎曼度量 g 与一个殆复结构 J。因为 ω 与 g 是非退化的,每个都有到了一个丛同构 TM → T*M,其中第一个映射记作 φω,由内乘给出 φω(u) = uω = ω(u, • ),另一个记作 φg,由 g 通过类似的运算给出。这三个结构 (g,ω,J) 形成一个相容三元组,如果每个结构可由其它两个如下确定:
- g(u,v) = ω(u,Jv)
- ω(u,v) = g(Ju,v)
- J(u) = φg-1(φω(u)).
在每一个这样的方程中,如果右边的两个结构通过对应的构造得出指定类型的结构,则称为相容的。例如 ω 与 J 是相容的如果 ω( • ,J • ) 是一个黎曼度量。利用辛形式 ω 的基本性质,可以证明一个相容殆复结构 J 对黎曼度量 ω(u,Jv) 是一个殆凯勒结构。另外一个事实是如果 J 是可积的,则 (M,ω,J) 是一个凯勒流形。
这些三元组与酉群的三选二性质有关。
广义殆复结构
奈杰尔·希钦引入了流形 M 上的广义殆复结构的概念,在他的学生 Marco Gualtieri 与 Gil Cavalcanti 的博士论文中得到详细地研究。一个通常的殆复结构是在复切丛 TM 的每个纤维中选取一个半维数的子空间。一个广义殆复结构是在复切丛与复余切丛直和的每个纤维中选取一个半维数的迷向子空间。在每种情形都要求该子丛与其复共轭得出原来的丛。
一个殆复结构积成一个复结构如果该半维数子空间在李括号下封闭。一个广义殆复结构积成一个广义复结构如果该子空间在柯朗括号下封闭。进一步如果该半维数子空间是一个处处非零纯旋量的零化子则 M 是一个广义卡拉比-丘流形。
相关条目
参考文献
- Newlander, A.; Nirenberg, L., Complex analytic coordinates in almost complex manifolds, Annals of Mathematics. Second Series, 1957, 65: 391–404, ISSN 0003-486X, MR0088770
- da Silva, A.C., Lectures on Symplectic Geometry, Springer (2001). ISBN 3-540-42195-5. Information on compatible triples, Kähler and Hermitian manifolds, etc.
- Wells, R.O., Differential Analysis on Complex Manifolds, Springer-Verlag, New York (1980). ISBN 0-387-90419-0. Short section which introduces standard basic material.