殆复流形

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

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

定义

设 M 是一个光滑流形。M 上一个殆复结构（almost complex structure）J 是在该流形每个切空间给出一个线性复结构（即平方为 -1 的线性映射），且在流形上光滑变化。换句话说，我们有一个秩为 (0,1) 的光滑张量场 J 使得 J² = -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=z²v 这显然不等于 -v 因 z 是实数。从而 n 必须是偶数如果 M 有一个殆复结构。可以证明它也必须是可定向。

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

例子

对每个证书 n，平坦空间 $R^{2n}$ 有一个殆复结构。这样殆复结构的一个例子是 ($1\leq i,j\leq 2n$): $J_{ij}=-\delta _{i,j+1}$ 对奇数 i， $J_{ij}=\delta _{i,j-1}$ 对偶数 i。

存在殆复结构的球面只有 S² 与 S⁶。在 S² 的情形，殆复结构其实来自于黎曼球面上的复结构。6 维球面 S⁶，当将其视为单位范数虚八元数，从八元数乘法继承一个殆复结构。

殆复流形的微分拓扑

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

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

$\Omega ^{r}(M)^{\mathbb {C} }=\bigoplus _{p+q=r}\Omega ^{(p,q)}(M).$

换句话说，每个 Ω^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。从而我们利用殆复结构可以加细外导数在特定类型上的作用

$\partial =\pi _{p+1,q}\circ d$

${\overline {\partial }}=\pi _{p,q+1}\circ d$

所以 $\partial$ 是将类型的全纯部分增加 1 的映射（将 (p,q) 型形式变为 (p+1,q) 型形式），而 ${\overline {\partial }}$ 是将类型的反全纯部分增加 1 的映射。这些算子称为 Dolbeault 算子。

因为所有的投影直和必是恒同映射，我们注意到外导数可以写成

$d=\sum _{r+s=p+q+1}\pi _{r,s}\circ d=\partial +{\overline {\partial }}+\dotsb .$

可积殆复结构

每个复流形自身便是一个殆复结构。在局部全纯坐标 $z^{\mu }=x^{\mu }+iy^{\mu }$ 下，可定义映射

$J{\frac {\partial }{\partial x^{\mu }}}={\frac {\partial }{\partial y^{\mu }}}\qquad J{\frac {\partial }{\partial y^{\mu }}}=-{\frac {\partial }{\partial x^{\mu }}}$

或

$J{\frac {\partial }{\partial z^{\mu }}}=i{\frac {\partial }{\partial z^{\mu }}}\qquad J{\frac {\partial }{\partial {\bar {z}}^{\mu }}}=-i{\frac {\partial }{\partial {\bar {z}}^{\mu }}}.$

容易验证这个映射定义了一个殆复结构。从而流形上任何复结构得出一个殆复结构，这称为由复结构所诱导，此复结构称为与该殆复结构相容。

逆问题是否殆复结构蕴含复结构的存在则不是这么平凡，一般是不成立的。在任意一个殆复流形上总可以找到坐标系使得殆复结构在任意给定点 p 取如上典范形式。然而，一般不可能找到坐标系使得 J 在 p 的一个完整的邻域上取典范形式。这样的坐标如果存在，称为 J 的局部全纯坐标。如果 M 在每一点附近有 J 的局部全纯坐标，则它们拼成 M 的一个全纯图册，给出一个复结构，且其诱导了 J。这样的 J 称为可积的。如果 J 由一个复结构诱导，则它是由惟一的一个复结构诱导的。

设 J 是流形 M一个殆复结构，定义 Nijenhui 张量为

$N_{J}(X,Y)=[X,Y]+J([JX,Y]+[X,JY])-[JX,JY].$

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

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

• 两个 (1,0)-向量场的李括号依然是 (1,0) 型。

• $d=\partial +{\bar {\partial }}.$

• ${\bar {\partial }}^{2}=0.$

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

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

相容三元组

Suppose M is equipped with a symplectic form ω, a Riemannian metric g, and an almost-complex structure J. Since ω and g are nondegenerate, each induces a bundle isomorphism TM → T*M, where the first map, denoted φ_ω, is given by the interior product φ_ω(u) = $i$_uω = ω(u, • ) and the other, denoted φ_g, is given by the analogous operation for g. With this understood, the three structures (g,ω,J) form a compatible triple when each structure can be specified by the two others as follows:

• g(u,v) = ω(u,Jv)
• ω(u,v) = g(Ju,v)
• J(u) = φ_g^-1(φ_ω(u)).

In each of these equations, the two structures on the right hand side are called compatible when the corresponding construction yields a structure of the type specified. For example, ω and J are compatible if ω( • ,J • ) is a Riemannian metric. Using elementary properties of the symplectic form ω, one can show that a compatible almost-complex structure J is a almost Kähler structure for the Riemannian metric ω(u,Jv). It is also a fact that if J is integrable, then (M,ω,J) is a Kähler manifold.

These triples are related to the 2 out of 3 property of the unitary group.

广义殆复结构

Nigel Hitchin introduced the notion of a generalized almost complex structure on the manifold M, which was elaborated in the doctoral dissertations of his students Marco Gualtieri and Gil Cavalcanti. An ordinary almost complex structure is a choice of a half-dimensional subspace of the each fiber of the complexified tangent bundle TM. A generalized almost complex structure is a choice of a half-dimensional isotropic subspace of each fiber of the direct sum of the complexified tangent and cotangent bundles. In both cases one demands that the direct sum of the subbundle and its complex conjugate yield the original bundle.

An almost complex structure integrates to a complex structure if the half-dimensional subspace is closed under the Lie bracket. A generalized almost complex structure integrates to a generalized complex structure if the subspace is closed under the Courant bracket. If furthermore this half-dimensional space is the annihilator of a nowhere vanishing pure spinor then M is a generalized Calabi-Yau manifold.

相关条目

• 陈类
• 凯勒流形
• 泊松流形
• 辛流形
• Frölicher-Nijenhuis括号

参考文献

• 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.