In mathematics, a Lefschetz manifold is a particular kind of symplectic manifold ( M 2 n , ω ) {\displaystyle (M^{2n},\omega )} , sharing a certain cohomological property with Kähler manifolds, that of satisfying the conclusion of the Hard Lefschetz theorem. More precisely, the strong Lefschetz property asks that for k ∈ { 1 , … , n } {\displaystyle k\in \{1,\ldots ,n\}} , the cup product
∪ [ ω k ] : H n − k ( M , R ) → H n + k ( M , R ) {\displaystyle \cup [\omega ^{k}]\colon H^{n-k}(M,\mathbb {R} )\to H^{n+k}(M,\mathbb {R} )}
be an isomorphism. The topology of these symplectic manifolds is severely constrained, for example their odd Betti numbers are even. This remark leads to numerous examples of symplectic manifolds which are not Kähler, the first historical example is due to William Thurston.
Lefschetz maps Let M {\displaystyle M} be a ( 2 n {\displaystyle 2n} )-dimensional smooth manifold. Each element
[ ω ] ∈ H D R 2 ( M ) {\displaystyle [\omega ]\in H_{DR}^{2}(M)}
of the second de Rham cohomology space of M {\displaystyle M} induces a map
L [ ω ] : H D R ( M ) → H D R ( M ) , [ α ] ↦ [ ω ∧ α ] {\displaystyle L_{[\omega ]}:H_{DR}(M)\to H_{DR}(M),[\alpha ]\mapsto [\omega \wedge \alpha ]}
called the Lefschetz map of [ ω ] {\displaystyle [\omega ]} . Letting L [ ω ] i {\displaystyle L_{[\omega ]}^{i}} be the i {\displaystyle i} th iteration of L [ ω ] {\displaystyle L_{[\omega ]}} , we have for each 0 ≤ i ≤ n {\displaystyle 0\leq i\leq n} a map
L [ ω ] i : H D R n − i ( M ) → H D R n + i ( M ) . {\displaystyle L_{[\omega ]}^{i}:H_{DR}^{n-i}(M)\to H_{DR}^{n+i}(M).}
If M {\displaystyle M} is compact and oriented, then Poincaré duality tells us that H D R n − i ( M ) {\displaystyle H_{DR}^{n-i}(M)} and H D R n + i ( M ) {\displaystyle H_{DR}^{n+i}(M)} are vector spaces of the same dimension, so in these cases it is natural to ask whether or not the various iterations of Lefschetz maps are isomorphisms. The Hard Lefschetz theorem states that this is the case for the symplectic form of a compact Kähler manifold.
Definitions If
L [ ω ] n − 1 : H D R 1 ( M ) → H D R 2 n − 1 {\displaystyle L_{[\omega ]}^{n-1}:H_{DR}^{1}(M)\to H_{DR}^{2n-1}}
and
L [ ω ] n : H D R 0 ( M ) → H D R 2 n {\displaystyle L_{[\omega ]}^{n}:H_{DR}^{0}(M)\to H_{DR}^{2n}}
are isomorphisms, then [ ω ] {\displaystyle [\omega ]} is a Lefschetz element, or Lefschetz class. If
… excerpt ends here. Continue reading the full article.
