殆复流形:修订间差异
小 →可积殆复结构 |
补救0个来源,并将1个来源标记为失效。) #IABot (v2.0 |
||
(未显示11个用户的18个中间版本) | |||
第1行: | 第1行: | ||
[[数学]]中,一个'''殆 |
在[[数学]]中,一个'''殆複流形'''({{lang|en|almost complex manifold}})是在每个[[切空间]]上带有一个光滑[[线性複结构]]的[[光滑流形]]。此结构的存在性是一个流形成为[[複流形]]的必要条件,但非充分条件。即每个複流形是一个殆複流形,反之则不然。殆複结构在[[辛几何]]中有重要应用。 |
||
此概念由[[夏尔·埃雷斯曼|埃雷斯曼]]与[[海因茨·霍普夫|霍普夫]]于1940年代引入。 |
此概念由[[夏尔·埃雷斯曼|埃雷斯曼]]与[[海因茨·霍普夫|霍普夫]]于1940年代引入。 |
||
第5行: | 第5行: | ||
== 定义 == |
== 定义 == |
||
设 ''M'' 是一个光滑流形。''M'' 上一个'''殆 |
设 ''M'' 是一个光滑流形。''M'' 上一个'''殆複结构'''({{lang|en|almost complex structure}})''J'' 是在该流形每个切空间给出一个线性複结构(即平方为 -1 的[[线性映射]]),且在流形上光滑变化。换句话说,我们有一个[[秩]]为 (1,1) 的[[光滑函数|光滑]][[张量场]] ''J'' 使得 ''J''<sup>2</sup> = -1,将其视为[[切丛]]上一个[[向量丛]][[自同构]] ''J'' : ''TM'' → ''TM''。携有一个殆複结构的流形称为'''殆複流形'''({{lang|en|almost complex manifold}})。 |
||
如果 ''M'' 有一个 |
如果 ''M'' 有一个複结构,它必是偶数维的。事实上如果 ''M'' 有一个殆複结构必是偶数维。这可如下看出来。假设 ''M'' 是 ''n'' 维的,设 ''J'' : ''TM'' → ''TM'' 是一个殆複结构。则 det(''J-xI'') 是 ''x'' 的一个次数为 ''n'' 的多项式。如果 ''n'' 是奇数,则它有一个实根,''z''。那么 det(''J-zI'')=0,所以存在一个向量 ''v'' 属于 ''TM'' 使得 ''Jv=zv''。从而 ''JJv=z<sup>2</sup>v'' 这显然不等于 ''-v'' 因 ''z'' 是实数。从而 ''n'' 必须是偶数如果 ''M'' 有一个殆複结构。可以证明它也必须是[[可定向流形|可定向]]。 |
||
[[线性代数]]中一个简单的练习说明任何偶数维向量空间有一个线性 |
[[线性代数]]中一个简单的练习说明任何偶数维向量空间有一个线性複结构。从而一个偶数维流形在每点 ''p'' 总存在一个秩 (1,1) 张量使得 ''J''<sub>p</sub><sup>2</sup> = −1(这只不过是在每个切空间的一个线性变换)。只有当这个局部张量能拼成一个整体定义的,逐点的线性複结构得出一个殆複结构,这样是惟一确定的。这样拼接的可能性,从而流形 ''M'' 上殆複结构的存在,等价于将切丛的结构群从 GL(''2n'', '''R''') [[结构群的约化|约化]]为 GL(''n'', '''C''')。这样存在性是一个纯粹的[[代数拓扑]]问题,这已被充分理解。 |
||
== 例子 == |
== 例子 == |
||
对每个 |
对每个整数 ''n'',平坦空间 <math>R^{2n}</math> 有一个殆複结构。这样殆複结构的一个例子是 (<math>1 \le i,j \le 2n</math>): <math>J_{ij} = -\delta_{i,j+1} </math> 对奇数 i, |
||
<math>J_{ij} = \delta_{i,j-1} </math> 对偶数 i。 |
<math>J_{ij} = \delta_{i,j-1} </math> 对偶数 i。 |
||
存在殆 |
存在殆複结构的[[球面]]只有 ''S''<sup>2</sup> 与 ''S''<sup>6</sup>。在 ''S''<sup>2</sup> 的情形,殆複结构其实来自于[[黎曼球面]]上的複结构。6 维球面 ''S''<sup>6</sup>,当将其视为单位範数虚[[八元数]],从八元数乘法继承一个殆複结构。 |
||
== 殆 |
== 殆複流形的微分拓扑 == |
||
就像一个向量空间 ''V'' 上的 |
就像一个向量空间 ''V'' 上的複结构可将 ''V''<sup>C</sup> 分解为 ''V''<sup>+</sup> 与 ''V''<sup>-</sup>,所以 ''M'' 上一个殆複结构可将複化的切丛 ''TM''<sup>C</sup>(这是在每一点是複化的切空间的向量丛)。''TM''<sup>+</sup> 的一个截面称为 '''(1,0) 型向量场''',而 ''TM''<sup>-</sup> 的一个截面称为 '''(0,1) 型向量场'''。这样 ''J'' 在複切丛 (1,0)-向量场上相当于乘以 [[虚数单位|''i'']],在 (0,1)-向量场上相当于乘以 -''i''。 |
||
和从[[余切丛]]的[[外幂]]构造[[微分形式]]一样,我们可以构造 |
和从[[余切丛]]的[[外幂]]构造[[微分形式]]一样,我们可以构造複余切丛的外幂(典範同构于複切丛的对偶空间丛)。殆複结构在每个 ''r''-形式上诱导了分解 |
||
:<math>\Omega^r(M)^\mathbb{C}=\bigoplus_{p+q=r} \Omega^{(p,q)}(M).</math> |
:<math>\Omega^r(M)^\mathbb{C}=\bigoplus_{p+q=r} \Omega^{(p,q)}(M).</math> |
||
换句话说,每个 Ω<sup>''r''</sup>(''M'')<sup>C</sup> 可以分解为 Ω<sup>(''p'',''q'')</sup>(''M'') 之和,这里 ''p''、''q'' 取遍 ''p''+''q'' = ''r''。 |
换句话说,每个 Ω<sup>''r''</sup>(''M'')<sup>C</sup> 可以分解为 Ω<sup>(''p'',''q'')</sup>(''M'') 之和,这里 ''p''、''q'' 取遍 ''p''+''q'' = ''r''。 |
||
在任何[[直和]]中,有一个典 |
在任何[[直和]]中,有一个典範投影 π<sub>''p'',''q''</sub>,从 Ω<sup>r</sup>(''M'')<sup>C</sup> 到 Ω<sup>(''p'',''q'')</sup>。我们也有一个[[外导数]]将 Ω<sup>''r''</sup>(''M'')<sup>C</sup> 映为 Ω<sup>''r''+1</sup>(''M'')<sup>C</sup>。从而我们利用殆複结构可以加细外导数在特定类型上的作用 |
||
:<math>\partial=\pi_{p+1,q}\circ d</math> |
:<math>\partial=\pi_{p+1,q}\circ d</math> |
||
:<math>\overline{\partial}=\pi_{p,q+1}\circ d</math> |
:<math>\overline{\partial}=\pi_{p,q+1}\circ d</math> |
||
所以 <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> |
||
== 可积殆 |
== 可积殆複结构 == |
||
每个[[ |
每个[[複流形]]自身便是一个殆複结构。在局部全纯坐标 <math>z^\mu = x^\mu + i y^\mu</math> 下,可定义映射 |
||
:<math>J\frac{\partial}{\partial x^\mu} = \frac{\partial}{\partial y^\mu} \qquad J\frac{\partial}{\partial y^\mu} = -\frac{\partial}{\partial x^\mu}</math> |
:<math>J\frac{\partial}{\partial x^\mu} = \frac{\partial}{\partial y^\mu} \qquad J\frac{\partial}{\partial y^\mu} = -\frac{\partial}{\partial x^\mu}</math> |
||
或 |
或 |
||
:<math>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}.</math> |
:<math>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}.</math> |
||
容易验证这个映射定义了一个殆 |
容易验证这个映射定义了一个殆複结构。从而流形上任何複结构得出一个殆複结构,这称为由複结构所'''诱导''',此複结构称为与该殆複结构'''相容'''。 |
||
逆问题是否殆 |
逆问题是否殆複结构蕴含複结构的存在则不是这么平凡,一般是不成立的。在任意一个殆複流形上总可以找到坐标系使得殆複结构在任意给定点 ''p'' 取如上典範形式。然而,一般不可能找到坐标系使得 ''J'' 在 ''p'' 的一个完整的[[邻域]]上取典範形式。这样的坐标如果存在,称为 '''''J'' 的局部全纯坐标'''。如果 ''M'' 在每一点附近有 ''J'' 的局部全纯坐标,则它们拼成 ''M'' 的一个[[全纯]][[图册 (拓扑学)|图册]],给出一个複结构,且其诱导了 ''J''。这样的 ''J'' 称为'''可积'''的。如果 ''J'' 由一个複结构诱导,则它是由惟一的一个複结构诱导的。 |
||
设 ''J'' 是流形 ''M''一个殆 |
设 ''J'' 是流形 ''M''一个殆複结构,定义'''尼延黑斯张量'''为 |
||
:<math>N_J(X,Y) = [X,Y] + J([J X, Y] + [X, J Y]) - [J X, J Y].</math> |
:<math>N_J(X,Y) = [X,Y] + J([J X, Y] + [X, J Y]) - [J X, J Y].</math> |
||
'''Newlander-Nirenberg 定理'''断言一个殆 |
'''Newlander-Nirenberg 定理'''断言一个殆複结构是可积的当且仅当尼延黑斯张量对 ''M'' 上所有光滑[[向量场]] ''X'' 与 ''Y'' 消没(这里的 [·, ·] 表示向量场的[[李导数|李括号]])。从而为了验证一个给定的殆複流形是否有一个相容的複结构,只需计算其尼延黑斯张量。相容複结构是惟一的,上面已讨论过。因为一个殆複结构的可积性等价于複结构的存在性,有时这也作为複结构的定义。 |
||
存在等价于 |
存在等价于尼延黑斯张量消没的其它判据,丰富了验证一个殆複结构的可积性(事实上以每一个作为一个殆複结构的可积性,在文献中都可找到)。它们包括 |
||
* 两个 (1,0)-向量场的李括号依然是 (1,0) 型。 |
* 两个 (1,0)-向量场的李括号依然是 (1,0) 型。 |
||
第58行: | 第58行: | ||
*<math>\bar\partial^2=0.</math> |
*<math>\bar\partial^2=0.</math> |
||
任何这些条件蕴含了惟一一个相容 |
任何这些条件蕴含了惟一一个相容複结构的存在。 |
||
殆 |
殆複结构的存在性是一个拓扑学问题,上已讨论过,相对容易回答。另一方面,可积殆複结构的存在性是一个难得多的分析问题。例如,早就知道 ''S''<sup>6</sup> 有一个殆複结构,但它是否有一个可积的複结构仍然是一个开放的问题。值得注意的是光滑性是重要的。对[[实解析]]的 ''J'',Newlander-Nirenberg 定理可由[[弗罗贝尼乌斯定理]]得出;对 <math>C^\infty</math>(以及更弱的连续性) ''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 ''φ<sub>ω</sub>'', is given by the [[interior product]] ''φ<sub>ω</sub>(u) = <math>i</math><sub>u</sub>ω = ω(u, • )'' and the other, denoted ''φ<sub>g</sub>'', 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: |
|||
假设 ''M'' 携有一个[[辛形式]] ''ω'',一个[[黎曼度量]] ''g'' 与一个殆複结构 ''J''。因为 ''ω'' 与 ''g'' 是非退化的,每个都有到了一个丛同构 ''TM → T*M'',其中第一个映射记作 ''φ<sub>ω</sub>'',由[[内乘]]给出 ''φ<sub>ω</sub>(u) = <math>i</math><sub>u</sub>ω = ω(u, · )'',另一个记作 ''φ<sub>g</sub>'',由 ''g'' 通过类似的运算给出。这三个结构 ''(g,ω,J)'' 形成一个'''相容三元组''',如果每个结构可由其它两个如下确定: |
|||
*''g(u,v) = ω(u,Jv)'' |
*''g(u,v) = ω(u,Jv)'' |
||
*''ω(u,v) = g(Ju,v)'' |
*''ω(u,v) = g(Ju,v)'' |
||
*''J(u) = φ<sub>g</sub><sup>-1</sup>(φ<sub>ω</sub>(u))''. |
*''J(u) = φ<sub>g</sub><sup>-1</sup>(φ<sub>ω</sub>(u))''. |
||
在每一个这样的方程中,如果右边的两个结构通过对应的构造得出指定类型的结构,则称为相容的。例如 ''ω'' 与 ''J'' 是相容的如果 ''ω( · ,J · )'' 是一个黎曼度量。利用辛形式 ''ω'' 的基本性质,可以证明一个相容殆複结构 ''J'' 对黎曼度量 ''ω(u,Jv)'' 是一个[[殆凯勒流形|殆凯勒结构]]。另外一个事实是如果 ''J'' 是可积的,则 ''(M,ω,J)'' 是一个[[凯勒流形]]。 |
|||
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 manifold|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 [[Unitary_group#2_out_of_3_property|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 bundle]]s. In both cases one demands that the direct sum of the [[subbundle]] and its [[complex conjugate]] yield the original bundle. |
|||
[[奈杰尔·希钦]]引入了流形 ''M'' 上的[[广义殆複结构]]的概念,在他的学生{{link-en|馬可·瓜蒂耶里|Marco Gualtieri}}与{{link-en|吉爾·卡亞坎蒂|Gil Cavalcanti}}的博士论文中得到详细地研究。一个通常的殆複结构是在複切丛 ''TM'' 的每个纤维中选取一个半维数的[[子空间]]。一个广义殆複结构是在複切丛与複[[余切丛]][[直和]]的每个纤维中选取一个半维数的[[迷向]]子空间。在每种情形都要求该[[子丛]]与其[[複共轭]]得出原来的丛。 |
|||
An almost complex structure integrates to a complex structure if the half-dimensional subspace is closed under the [[Lie derivative|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]]. |
|||
一个殆複结构积成一个複结构如果该半维数子空间在[[李导数|李括号]]下封闭。一个广义殆複结构积成一个[[广义複结构]]如果该子空间在[[柯朗括号]]下封闭。进一步如果该半维数子空间是一个处处非零[[纯旋量]]的[[零化子]]则 ''M'' 是一个[[广义卡拉比-丘流形]]。 |
|||
== 相关条目 == |
== 相关条目 == |
||
第85行: | 第87行: | ||
== 参考文献 == |
== 参考文献 == |
||
*{{Citation | last1=Newlander | first1=A. | last2=Nirenberg | first2=L. | title=Complex analytic coordinates in almost complex manifolds | id={{MathSciNet | id = 0088770}} | year=1957 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=65 | pages=391–404}} |
*{{Citation | last1=Newlander | first1=A. | last2=Nirenberg | first2=L. | title=Complex analytic coordinates in almost complex manifolds | id={{MathSciNet | id = 0088770}} | year=1957 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=65 | pages=391–404}} |
||
*da Silva, A.C., ''[http://www.springerlink.com/content/hq3au3baggr3/ Lectures on Symplectic Geometry]'', Springer (2001). ISBN 3-540-42195-5. Information on compatible triples, Kähler and Hermitian manifolds, etc. |
*da Silva, A.C., ''[http://www.springerlink.com/content/hq3au3baggr3/ Lectures on Symplectic Geometry]{{Dead link|date=2020年2月 |bot=InternetArchiveBot |fix-attempted=yes }}'', 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. |
*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. |
||
[[Category: |
[[Category:複流形]] |
||
[[Category:微分几何]] |
[[Category:微分几何]] |
||
[[Category:辛几何]] |
[[Category:辛几何]] |
||
[[Category:流形上的结构]] |
[[Category:流形上的结构]] |
||
[[en:almost complex manifold]] |
|||
[[es:variedad casi compleja]] |
|||
[[ja:概複素構造]] |
|||
[[ru:Почти комплексная структура]] |
2020年2月28日 (五) 05:35的最新版本
在数学中,一个殆複流形(almost complex manifold)是在每个切空间上带有一个光滑线性複结构的光滑流形。此结构的存在性是一个流形成为複流形的必要条件,但非充分条件。即每个複流形是一个殆複流形,反之则不然。殆複结构在辛几何中有重要应用。
定义
[编辑]设 M 是一个光滑流形。M 上一个殆複结构(almost complex structure)J 是在该流形每个切空间给出一个线性複结构(即平方为 -1 的线性映射),且在流形上光滑变化。换句话说,我们有一个秩为 (1,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一个殆複结构,定义尼延黑斯张量为
Newlander-Nirenberg 定理断言一个殆複结构是可积的当且仅当尼延黑斯张量对 M 上所有光滑向量场 X 与 Y 消没(这里的 [·, ·] 表示向量场的李括号)。从而为了验证一个给定的殆複流形是否有一个相容的複结构,只需计算其尼延黑斯张量。相容複结构是惟一的,上面已讨论过。因为一个殆複结构的可积性等价于複结构的存在性,有时这也作为複结构的定义。
存在等价于尼延黑斯张量消没的其它判据,丰富了验证一个殆複结构的可积性(事实上以每一个作为一个殆複结构的可积性,在文献中都可找到)。它们包括
- 两个 (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 上的广义殆複结构的概念,在他的学生馬可·瓜蒂耶里与吉爾·卡亞坎蒂的博士论文中得到详细地研究。一个通常的殆複结构是在複切丛 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.