跳至內容

復微分形式

維基百科,自由的百科全書

數學中,復微分形式是(流形上具有係數的微分形式

復形式在微分幾何中有廣泛的應用,在複流形上是十分基本的,是代數幾何凱勒幾何霍奇理論的基礎;在非複流形上,也在殆復結構旋子理論和CR結構的研究中發揮作用。

一般來說,之所以考慮復形式是因為它允許一些理想的分解。例如,複流形上任何復k形式都可唯一分解為所謂形式之和,它大致是全純坐標的p微分與其復共軛的q微分的楔。形式的組合是研究的主要對象,在流形上確定了比k形式精細的幾何結構。還存在更精細的結構,比如霍奇理論所應用的情形。

複流形上的微分形式

M是復維度為n複流形,則有包含n個復值函數的局部坐標系,使得片(patch)之間的坐標變換是這些變量的全純函數。復形式空間帶有豐富的結構,在基礎上取決於變換函數為全純的事實,而不只是光滑。

1形式

先看1形式。首先,將復坐標分解為實部和虛部:。令

可見任何復係數微分形式都可唯一寫成和

為只含的復微分形式空間,為只含的復微分形式空間。可以證明,由柯西–黎曼方程,空間在全純坐標變換下穩定;即,若選擇不同的全純坐標系的元素將按旋子的方式變換,中的元素也如此。於是,空間決定了複流形上的復向量叢

高次形式

復微分形式楔積的定義與實形式相同。令pq是一對非負整數≤ n形式的空間定義為p個元素與q個元素之楔積的線性組合,也就是

其中有p個因子和q個因子。它們在全純坐標變換下是不變的,於是定義了向量叢。

是總次數為k的所有復微分形式的空間,則的每個元素都可唯一表為空間中元素的線性組合。更簡潔地說,有直和分解

由於此直和分解在全純坐標變換下穩定,所以它還決定了向量叢分解。

特別地,對所有滿足kpq,都有向量叢上的規範射影

鐸爾博爾算子

一般的外導數定義了截面映射

外導數自身沒有反映流形上更剛性的復結構。

d和上小節定義的射影,可以定義鐸爾博爾算子

要用局部坐標描述這些算子,可令

其中IJ多重指標。則

可認為具有如下性質:

這些算子及其性質形成了鐸爾博爾上同調霍奇理論中很多方面的基礎。

複流形的星形域上,鐸爾博爾算子具有對偶同倫算子[1],是來自d的同倫算子的分裂[1],這是複流形上的龐加萊引理的一部分內容。

的龐加萊引理可以進一步推廣到局部引理,指出d正合復微分形式也是正合的。在緊凱勒流形上,局部引理有一個全局形式,稱作引理。這是霍奇理論的結果,指出:全局d正合的復微分形式(即在德拉姆上同調中的類是零)是全局正合的。

全純形式

對每個p全純p形式是叢的全純截面。局部坐標系中,全純p形式可以寫作

其中是全純函數。等價地,由復共軛的獨立性,若且唯若形式α滿足下式時,是全純的:

全純p形式的常常寫作,不過這種寫法有歧義,所以很多人會用其他寫法。

另見

參考文獻

  1. ^ 1.0 1.1 Kycia, Radosław Antoni. Section 4. The Poincare Lemma, Antiexact Forms, and Fermionic Quantum Harmonic Oscillator. Results in Mathematics. 2020, 75 (3): 122. ISSN 1422-6383. S2CID 199472766. arXiv:1908.02349可免費查閱. doi:10.1007/s00025-020-01247-8可免費查閱 (英語).