Contents

Lefschetz manifold

Let ${\displaystyle M}$ be a (${\displaystyle 2n}$)-dimensional smooth manifold. Each element

${\displaystyle [\omega ]\in H_{DR}^{2}($M)}

of the second de Rham cohomology space of ${\displaystyle M}$ induces a map

${\displaystyle L_{[\omega ]}:H_{DR}($M)\to H_{DR}(M),[\alpha ]\mapsto [\omega \wedge \alpha ]}

called the Lefschetz mapof${\displaystyle [\omega ]}$. Letting ${\displaystyle L_{[\omega ]}^{i}}$ be the ${\displaystyle i}$th iteration of ${\displaystyle L_{[\omega ]}}$, we have for each ${\displaystyle 0\leq i\leq n}$ a map

${\displaystyle L_{[\omega ]}^{i}:H_{DR}^{n-i}($M)\to H_{DR}^{n+i}(M).}

If${\displaystyle M}$iscompact and oriented, then Poincaré duality tells us that ${\displaystyle H_{DR}^{n-i}($M)} and ${\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.

If

${\displaystyle L_{[\omega ]}^{n-1}:H_{DR}^{1}($M)\to H_{DR}^{2n-1}}

and

${\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

${\displaystyle L_{[\omega ]}^{i}:H_{DR}^{n-i}($M)\to H_{DR}^{n+i}(M)}

is an isomorphism for all ${\displaystyle 0\leq i\leq n}$, then ${\displaystyle [\omega ]}$ is a strong Lefschetz element, or a strong Lefschetz class.

Let ${\displaystyle (M,\omega )}$ be a ${\displaystyle 2n}$-dimensional symplectic manifold. (Symplectic manifolds are always orientable, although certainly not always compact.) Then ${\displaystyle (M,\omega )}$ is a Lefschetz manifoldif${\displaystyle [\omega ]}$ is a Lefschetz element, and ${\displaystyle (M,\omega )}$ is a strong Lefschetz manifoldif${\displaystyle [\omega ]}$ is a strong Lefschetz element.

Where to find Lefschetz manifolds

The real manifold underlying any Kähler manifold is a symplectic manifold. The strong Lefschetz theorem tells us that it is also a strong Lefschetz manifold, and hence a Lefschetz manifold. Therefore we have the following chain of inclusions.

{Kähler manifolds} ${\displaystyle \subset }$ {strong Lefschetz manifolds} ${\displaystyle \subset }${Lefschetz manifolds} ${\displaystyle \subset }$ {symplectic manifolds}

In^[1], Chal Benson and Carolyn S. Gordon proved that if a compact nilmanifold is a Lefschetz manifold, then it is diffeomorphic to a torus. The fact that there are nilmanifolds that are not diffeomorphic to a torus shows that there is some space between Kähler manifolds and symplectic manifolds, but the class of nilmanifolds fails to show any differences between Kähler manifolds, Lefschetz manifolds, and strong Lefschetz manifolds.

Gordan and Benson conjectured that if a compact complete solvmanifold admits a Kähler structure, then it is diffeomorphic to a torus. This has been proved. Furthermore, many examples have been found of solvmanifolds that are strong Lefschetz but not Kähler, and solvmanifolds that are Lefschetz but not strong Lefschetz. Such examples can be found in ^[2].

Notes