Schwerer Lefschetz-Satz

Lehrsatz der Differentialgeometrie

In der Mathematik ist der schwere Lefschetz-Satz (engl.: hard Lefschetz theorem) ein zentraler Lehrsatz der komplexen Differentialgeometrie.

Die Bezeichnung dient der Abgrenzung zum im Englischen als weak Lefschetz theorem bezeichneten Satz von Lefschetz über Hyperebenenschnitte.

Die durch den Satz gegebene Lefschetz-Zerlegung der De-Rham-Kohomologie von Kählermannigfaltigkeiten hat (teils vermutete, teils bewiesene) Analoga in völlig anderen Gebieten der Mathematik, insbesondere die Standardvermutungen der algebraischen Geometrie oder Resultate der Matroidtheorie in der Kombinatorik.

Satz und Folgerungen

Bearbeiten

Sei   eine Kählermannigfaltigkeit der komplexen Dimension  , also der reellen Dimension  , und mit Kählerform  . Sei

 

die durch das äußere Produkt mit der Kählerform auf dem Raum der Differentialformen definierte Abbildung. Der schwere Lefschetz-Satz besagt, dass für   die in De-Rham-Kohomologie induzierte Abbildung

 

ein Isomorphismus ist, der mit dem durch Poincaré-Dualität gegebenen Isomorphismus übereinstimmt.

Da   eine  -Form ist, erhält man insbesondere einen Isomorphismus der Dolbeault-Kohomologiegruppen

 

und somit die Symmetrie des Hodge-Diamanten.

Sei

 

die sogenannte primitive Kohomologie von  , dann folgt aus dem schweren Lefschetz-Satz die Lefschetz-Zerlegung

 .

Literatur

Bearbeiten
  • R. O. Wells: Differential analysis on complex manifolds, Prentice-Hall, Englewood Cliffs, N. J., 1973.
  • C. Voisin: Hodge theory and Complex algebraic geometry, Cambridge Stud. in Adv. Math. 76, 77, 2002/3
Bearbeiten