Nijenhuis-Tensor

Der Nijenhuis-Tensor ist ein mathematisches Objekt aus der Differentialgeometrie. Das Tensorfeld ist benannt nach dem Mathematiker Albert Nijenhuis.<ref>Kentaro Yano: Notes on My Mathematical Works. In: M. Obata (Hrsg.): Selected Papers of Kentaro Yano. Elsevier Science Ltd, 1982, ISBN 978-0-444-86495-6, S. XVIII. </ref> Aufgrund des Satzes von Newlander-Nirenberg kann man mit Hilfe des Nijenhuis-Tensors entscheiden, ob auf einer Mannigfaltigkeit mit fastkomplexer Struktur eine komplexe Struktur existiert, die die fastkomplexe induziert.

Definition

Sei <math>A</math> ein Tensorfeld vom Rang (1,1) auf einer differenzierbaren Mannigfaltigkeit <math>M</math>, das heißt man hat zu jedem <math>x\in M</math> eine (glatt vom Basispunkt abhängende) lineare Abbildung <math>A_x \colon T_xM\rightarrow T_xM</math>. Der Nijenhuis-Tensor ist dann das durch

<math> N_A(X,Y) := -A^2[X,Y]+A([AX,Y]+[X,AY]) -[AX,AY] </math>

(für Vektorfelder <math>X,Y</math>) definierte Tensorfeld vom Rang (1,2). Die eckigen Klammern bezeichnen hier die Lie-Klammer von Vektorfeldern also die Lie-Ableitung.

Satz von Newlander-Nirenberg

Eine fastkomplexe Struktur auf einer glatten Mannigfaltigkeit <math>M</math> ist eine glatte Abbildung <math>J \colon TM\to TM</math> mit der Eigenschaft, dass die Einschränkung <math>J_p:=J|_{T_pM}</math> auf den Tangentialraum zu jedem Punkt <math>p\in M</math> eine bijektive lineare Abbildung ist, die <math>J_p^2 = - \mathrm{id}</math> erfüllt.

Eine komplexe Mannigfaltigkeit ist automatisch auch eine fastkomplexe. Durch die komplexe Struktur werden die Tangentialräume zu komplexen Vektorräumen und dadurch wird eine fastkomplexe Struktur definiert. Umgekehrt braucht eine fastkomplexe Mannigfaltigkeit im Allgemeinen keine komplexe Struktur zu besitzen. Falls es aber einen Atlas gibt mit Karten, deren Zielbereich ein komplexer Vektorraum ist und die im Sinne der fastkomplexen Struktur holomorph sind, dann ist dieser Atlas ein komplexer Atlas, der die fastkomplexe Struktur induziert. Man kann deshalb komplexe Mannigfaltigkeiten auch definieren als fastkomplexe Mannigfaltigkeiten, die einen holomorphen Atlas besitzen. In diesem Fall heißt die fastkomplexe Struktur integrabel.

Satz von Newlander-Nirenberg: Eine fastkomplexe Struktur <math>J:TM\rightarrow TM</math> ist genau dann integrierbar, wenn ihr Nijenhuis-Tensor verschwindet.

<math>N_J(X,Y)=0\ \forall\ X,Y</math>.

Beispiel

Auf einer 2-dimensionalen Mannigfaltigkeit <math>F</math> ist jede fastkomplexe Struktur <math>J</Math> integrierbar.

Beweis: Um das Verschwinden des Nijenhuis-Tensors in beliebigen Punkten <math>x\in F</Math> zu überprüfen, genügt es wegen <math>\dim T_xF=2</math>, das Verschwinden des Nijenhuis-Tensors für zwei Basisvektoren von <math>T_xF</math> zu prüfen. Als Basis kann man <math>X</math> und <math>JX</math> für ein <math>X\in T_xF</math> wählen. Einsetzen in den Nijenhuis-Tensor gibt

<Math>N_J(X,JX)=\left[X,JX\right]+J(\left[JX,JX\right]+\left[X,-X\right])-\left[JX,-X\right]=\left[X,JX\right]+\left[JX,X\right]=0.</math>

Einzelnachweise

<references />