On the action spectrum for closed symplectically aspherical manifolds (Q1587514)

From MaRDI portal
Revision as of 21:03, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the action spectrum for closed symplectically aspherical manifolds
scientific article

    Statements

    On the action spectrum for closed symplectically aspherical manifolds (English)
    0 references
    0 references
    3 December 2000
    0 references
    Let \((M, \omega)\) be a symplectic manifold where the symplectic form \(\omega\) and the Chern class \(c_1(M)\) vanish on \(\pi_2(M)\), that is, \((M, \omega)\) is symplectically aspherical. The present paper considers a version of Floer homology on \((M, \omega)\). Let \(\Omega(M)^0\subset C^{\infty} (\mathbb R/\mathbb Z, M)\) be the space of contractible free loops. To any given Hamiltonian \(H: [0, 1]\times M\to\mathbb R\), the action functional \(\mathcal A_H= \int_{D^2}\overline x^*\omega-\int_{S^1}H(t, x) dt\) is associated, where \(\overline x: D^2\to M\) is any extension of \(x\in \Omega^0(M)\) to the unit disk. By \textit{P. Seidel} [Geom. Funct. Anal. 7, 1046-1095 (1997; Zbl 0928.53042)], the author shows that the set of critical values of \(\mathcal A_H\), called the action spectrum, depends only on the associated Hamiltonian diffeomorphism \(\phi=\phi^1_H\). A well-defined action spectrum \(\Sigma_{\phi}\) provides the action spectrum bundle \(\Sigma\to \text{Ham}(M, \omega)\). The main result (Theorem 1.2) says that for each nonzero cohomology class \(\alpha\in H^*(M)\), there exists a section \(c(\alpha)\) of the action spectrum bundle which is continuous with respect to the Hofer-metric on \(\text{Ham}(M, \omega)\) and satisfies the following properties. 1) \(c(\lambda\alpha)=c(\alpha)\) for all \(\lambda\in \mathbb R\) and \(\alpha\in H^*(M)\) with \(\lambda\neq 0\). 2) \(c([M])\leq c(\alpha)\leq c(1)\) for all \(0\neq\alpha\in H^*(M)\) where \([M]=[\omega^n]\in H^{2n}(M)\) and \(1\in H^0(M)\) and if \(\alpha\in H^k(M)\) for \(0<k<2n\) then we have strict inequality over the regular automorphisms. 3) \(c(1; \phi)-c([M]; \phi)=\gamma(\phi)\leq d_H(\phi, id)=\inf\{\|H\|\mid\phi= \phi^1_H\}\), \(\phi\in \text{Ham}(M, \omega)\), where \(\|H\|=\int^1_o \sup H(t, \cdot) dt- \int^1_o \inf H(t, \cdot) dt\). 4) If \(\alpha\cup\beta\neq 0\), then \(c(\alpha\cup\beta; \psi\circ\phi) \leq c(\alpha; \phi)+c(\beta; \psi)\) for all \(\phi, \psi\in \text{Ham}(M, \omega)\). 5) \(c([M]; \phi)=-c(1; \phi^{-1})\) for all \(\phi\in \text{Ham}(M,\omega)\). As a result, \(d(\phi, \psi)=\gamma(\phi\psi^{-1})\) is a bi-invariant metric bounded above by Hofer metric. The author claims that \(\gamma\) measures the maximal action difference of ``homologically visible'' \(1\)-periodic solutions of the Hamiltonian equations. Based on \(\gamma\), one defines a symplectic capacity for subsets of \((M, \omega)\) which is bounded below by the Hofer-Zehnder capacity and less than or equal to twice the displacement energy of \textit{F. Lalonde} and \textit{D. McDuff} [Ann. Math. 141, 349-371 (1995; Zbl 0829.53025)]. Then it is shown that a Hamiltonian automorphism whose support has finite capacity has infinitely many nontrivial geometrically distinct periodic points corresponding to contractible periodic solutions. The method of the author is closely related to the question of the diameter of \(\text{Ham}(M, \omega)\) in the Hofer-metric.
    0 references
    symplectically aspherical manifolds
    0 references
    action spectrum
    0 references
    Hofer homology
    0 references

    Identifiers