- Source: Spectral invariants
In symplectic geometry, the spectral invariants are invariants defined for the group of Hamiltonian diffeomorphisms of a symplectic manifold, which is closed related to Floer theory and Hofer geometry.
Arnold conjecture and Hamiltonian Floer homology
If (M, ω) is a symplectic manifold, then a smooth vector field Y on M is a Hamiltonian vector field if the contraction ω(Y, ·) is an exact 1-form (i.e., the differential of a Hamiltonian function H). A Hamiltonian diffeomorphism of a symplectic manifold (M, ω) is a diffeomorphism Φ of M which is the integral of a smooth path of Hamiltonian vector fields Yt. Vladimir Arnold conjectured that the number of fixed points of a generic Hamiltonian diffeomorphism of a compact symplectic manifold (M, ω) should be bounded from below by some topological constant of M, which is analogous to the Morse inequality. This so-called Arnold conjecture triggered the invention of Hamiltonian Floer homology by Andreas Floer in the 1980s.
Floer's definition adopted Witten's point of view on Morse theory. He considered spaces of contractible loops of M and defined an action functional AH associated to the family of Hamiltonian functions, so that the fixed points of the Hamiltonian diffeomorphism correspond to the critical points of the action functional. Constructing a chain complex similar to the Morse–Smale–Witten complex in Morse theory, Floer managed to define a homology group, which he also showed to be isomorphic to the ordinary homology groups of the manifold M.
The isomorphism between the Floer homology group HF(M) and the ordinary homology groups H(M) is canonical. Therefore, for any "good" Hamiltonian path Ht, a homology class α of M can be represented by a cycle in the Floer chain complex, formally a linear combination
α
H
=
a
1
x
1
+
a
2
x
2
+
⋯
{\displaystyle \alpha _{H}=a_{1}x_{1}+a_{2}x_{2}+\cdots }
where ai are coefficients in some ring and xi are fixed points of the corresponding Hamiltonian diffeomorphism. Formally, the spectral invariants can be defined by the min-max value
c
H
(
α
)
=
min
max
{
A
H
(
x
i
)
:
a
i
≠
0
}
.
{\displaystyle c_{H}(\alpha )=\min \max\{A_{H}(x_{i})\ :\ a_{i}\neq 0\}.}
Here the maximum is taken over all the values of the action functional AH on the fixed points appeared in the linear combination of αH, and the minimum is taken over all Floer cycles that represent the class α.