Structure presque complexe

En géométrie différentielle, une structure presque complexe sur une variété différentielle réelle est la donnée d'une structure d'espace vectoriel complexe sur chaque espace tangent.

Définition formelle

Une structure presque complexe J sur une variété différentielle M est un champ d'endomorphismes J, c'est-à-dire une section globale du fibré vectoriel $\mathrm{E}\mathrm{n}\mathrm{d}(TM)$, vérifiant :

$\mathrm{\forall }x\in M,J_x^2=-{\mathrm{I}\mathrm{d}}_{T_{x}M}$

Une variété différentielle munie d'une structure presque complexe est appelée une variété presque complexe.

Théorème : L'existence d'une structure presque complexe J sur une variété différentielle M implique que M soit de dimension paire, disons 2n. De plus, il existe une unique orientation sur M telle que ...

Donc, pour qu'il existe une structure presque complexe, il faut que la variété soit de dimension paire et orientée. Mais cette condition à elle seule ne suffit pas :

Théorème : L'existence d'une structure presque complexe sur une variété différentielle de dimension paire orientable équivaut à la réduction du groupe structural du fibré tangent de $\mathrm{G}\mathrm{L}(2n,ℝ)$ à $\mathrm{G}\mathrm{L}(n,ℂ)$.

Exemples

Les seules sphères à admettre une structure presque complexe sont :

• La sphère $S^2$, vue comme le compactifié de ℂ.
• La sphère $S^6$, vue comme la sphère unité des octonions imaginaires.

Formes différentielles

Algèbre linéaire : un opérateur linéaire $A\in \mathrm{G}\mathrm{L}(n,ℝ)$ vérifiant l'identité $A^2=-{\mathrm{I}}_n$ se réduit sur ${ℂ}^n={ℝ}^n{\otimes }_{ℝ}ℂ$. Il admet deux espaces propres, $E^{+}$ et $E^{-}$, de valeurs propres respectives $i$ et $-i$.

Structures presque complexes :

$TM{\otimes }_{ℝ}ℂ=T^{+}M\oplus T^{-}M$

Les formes différentielles sont les sections des produits extérieurs du fibré cotangent.

${\mathrm{\Omega }}^r(M){\otimes }_{ℝ}ℂ=\underset{r+q=p}{⨁}{\mathrm{\Omega }}^{r,q}(M)$

Voir aussi

• Structure hermitienne
• Algèbre linéaire
• Géométrie symplectique
• Structure presque quaternionique