Lefschetz-Paket

In d​er Mathematik i​st das Lefschetz-Paket (auch Hodge-Lefschetz-Paket o​der Kähler-Paket) e​in abstraktes Prinzip, d​as sich i​n völlig unterschiedlichen Gebieten d​er Mathematik anwenden lässt u​nd in j​edem dieser Gebiete d​ie Beweise tiefliegender Vermutungen ermöglicht.

Abstrakte Definition eines Lefschetz-Pakets

Zu einem mathematischen Objekt ${\displaystyle X}$ wird eine graduierte Algebra ${\displaystyle A^{*}(X)}$ mit ${\displaystyle A^{0}(X)=\mathbb {R} }$ zugeordnet, so dass man für eine ganze Zahl ${\displaystyle d}$ (die „Dimension“ des Objekts ${\displaystyle X}$) und jede ganze Zahl ${\displaystyle k}$ folgendes hat:

• Poincaré-Dualität: einen Vektorraum-Isomorphismus

${\displaystyle PD\colon A^{k}(X)\to A^{d-k}(X)^{*}}$,

wobei ${\displaystyle A^{*}}$ den zu ${\displaystyle A}$ dualen Vektorraum bezeichnet.

• Schwerer Lefschetz-Satz: eine lineare Abbildung ${\displaystyle L\colon A^{k}(X)\to A^{k+1}(X)}$, so dass

${\displaystyle HL:=L^{d-2k}\colon A^{k}(X)\to A^{d-k}(X)}$

ein Vektorraum-Isomorphismus ist.

• Hodge-Riemann-Relationen: die durch PD und HL gegebenen Paarung

${\displaystyle A^{k}(X)\times A^{k}(X)\to A^{d}(X)=\mathbb {R} }$

ist symmetrisch sowie positiv definit auf dem Kern von ${\displaystyle L^{d-2k+1}}$.

Beispiele

Kähler-Geometrie

Sei ${\displaystyle M}$ eine geschlossene Kähler-Mannigfaltigkeit mit Kählerform ${\displaystyle \omega }$. Dann wird durch die klassische Poincaré-Dualität und die durch

${\displaystyle L(.):=\omega \wedge .}$

induzierte lineare Abbildung ${\displaystyle L}$ ein Lefschetz-Paket auf der De-Rham-Kohomologie ${\displaystyle H_{dR}^{*}(M)}$ definiert. Dies hat zahlreiche Anwendungen in der Theorie der Kähler-Mannigfaltigkeiten, unter anderem den Hodge-Indexsatz und die Konstruktion und Eigenschaften von Periodenabbildungen.

Weiterhin definiert die Einschränkung von ${\displaystyle L}$ auch ein Lefschetz-Paket auf der Dolbeault-Kohomologie ${\displaystyle \textstyle \bigoplus _{k}H^{k,k}(M)}$. Allgemeiner kann man zu komplexen projektiven Varietäten ${\displaystyle X}$ ihre Schnittkohomologie betrachten und erhält dann ebenfalls eine Lefschetz-Zerlegung auf ${\displaystyle \bigoplus _{k}H^{k,k}(X)}$.[1]

Algebraische Geometrie

Sei ${\displaystyle X}$ eine algebraische Varietät. Grothendiecks Standardvermutungen besagen, dass man ein Lefschetz-Paket auf dem Vektorraum der algebraischen Zykel moduli homologischer Äquivalenz hat. Sie sind unbewiesen. Aus den Standardvermutungen folgen die von Deligne mit anderen Methoden bewiesenen Weil-Vermutungen.[2]

Polytope und triangulierte Sphären

Die kombinatorische Schnittkohomologie e​ines konvexen Polytops h​at ein Lefschetz-Paket. Mit d​em schweren Lefschetz-Satz bewies Stanley d​ie g-Vermutung für simpliziale Polytope[3]. Kalle Karu erweiterte d​ies auf allgemeine Polytope[4], u​nd Adiprasito zeigte d​ie g-Vermutung für triangulierte Sphären[5]. Aus d​en Hodge-Riemann-Relationen f​olgt die Alexandrov-Fenchel-Ungleichung.

Darstellungstheorie

Soergelsche Bimoduln h​aben ein Lefschetz-Paket. Daraus f​olgt die Positivität d​er Koeffizienten d​er Kazhdan-Lusztig-Polynome s​owie ein algebraischer Beweis (Geordie Williamson, Ben Elias) d​er zuvor v​on Beilinson-Bernstein, Brylinski-Kashiwara u​nd später Soergel m​it anderen Methoden bewiesenen Kazhdan-Lusztig-Vermutung, e​iner Charakterformel für Darstellungen höchsten Gewichts.[6]

Matroide

Der Chow-Ring eines Matroids hat ein Lefschetz-Paket. Aus den Hodge-Riemann-Relationen folgt, dass das chromatische Polynom des Matroids log-konkav und damit unimodal ist.[7] Für eine Folge reeller Zahlen ${\displaystyle a_{i}}$ bedeutet log-konkav, dass für die Folgenglieder ${\displaystyle a_{i+1}a_{i-1}\leq a_{i}^{2}}$ gilt, und unimodular, dass es ein Folgenglied ${\displaystyle a_{k}}$ gibt, so dass (die Folge bestehe aus n Folgengliedern) ${\displaystyle a_{1}\leq \cdots \leq a_{k-1}\leq a_{k}\geq a_{k+1}\geq \cdots \geq a_{n}}$, das heisst sie hat ein Maximum und ist ansonsten auf der einen Seite monoton fallend und auf der anderen monoton steigend. Diese Eigenschaften gelten insbesondere für die Koeffizienten des chromatischen Polynoms von Graphen, eine Vermutung von Ronald C. Read, die June Huh vor dem Beweis des allgemeineren Falls der Matroide bewiesen hat.

Literatur

• Claire Voisin: Hodge theory and the topology of compact Kähler and complex projective manifolds. online
• June Huh: Tropical geometry of matroids. online
• June Huh: Combinatorial applications of the Hodge-Riemann relations, Proc. ICM 2018, Arxiv

Einzelnachweise

1. A. Beilinson, J. Bernstein, P. Deligne: Faisceaux pervers, Asterisque (1982)
2. Kleiman: Algebraic cycles and the Weil conjectures. (online)
3. R. Stanley: The number of faces of a simplicial convex polytope, Adv. Math. 35, 236-238 (1980)
4. K. Karu: Hard Lefschetz theorem for nonrational polytopes, Invent. Math. 157, 419-447 (2004)
5. Gil Kalai: Amazing: Karim Adiprasito proved the g-conjecture for spheres! In: Combinatorics and more. 25. Dezember 2018, abgerufen am 26. Januar 2019 (englisch).
6. B. Elias, G. Williamson: The Hodge theory of Soergel bimodules, Ann. Math. 180, 1089-1136 (2014)
7. K. Adiprasito, J. Huh, E. Katz: Hodge theory for combinatorial geometries, Ann. Math. 188 (2018)