Embedded surfaces for symplectic circle actions

From MaRDI portal



Abstract: The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. More precisely, we will show that (1) if (M,omega) admits a Hamiltonian S1-action, then there exists an S1-invariant symplectic 2-sphere S in (M,omega) such that langlec1(M),[S]angle>0, and (2) if the action is non-Hamiltonian, then there exists an S1-invariant symplectic 2-torus T in (M,omega) such that langlec1(M),[T]angle=0. As applications, we will give a very simple proof of the following well-known theorem which was proved by Atiyah-Bott cite{AB}, Lupton-Oprea cite{LO}, and Ono cite{O2} : suppose that (M,omega) is a smooth closed symplectic manifold satisfying c1(TM)=lambdacdot[omega] for some lambdainR and let G be a compact connected Lie group acting effectively on M preserving omega. Then (1) if lambda<0, then G must be trivial, (2) if lambda=0, then the G-action is non-Hamiltonian, and (3) if lambda>0, then the G-action is Hamiltonian.


In the paper under review, the authors characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces. The authors prove that if a symplectic manifold \((M, \omega)\) admits a Hamiltonian \(S^1\)-action, then there is a two-sphere \(S^2 \subset (M, \omega)\) with \(\int_{S^2} \omega>0\) and \(\langle c_1(M,\omega), [S^2] \rangle>0\). On the other hand, if the action is non-Hamiltonian, then there exists an \(S^1\)-invariant symplectic two-torus \(T^2\subset (M, \omega)\) such that \(\langle c_1(M,\omega), [T^2] \rangle=0\). The authors apply their results to provide a relatively simple proof of the following known theorem: Given a closed symplectic manifold \((M, \omega)\), where \(c_1(M, \omega)\) is \(\lambda\)-proportional to \([\omega]\) for some \(\lambda\in \mathbb R\), and a compact connected Lie group \(G\) which acts on \((M, \omega)\) effectively (i.e., the identity element in \(G\) is the unique element which fixes the whole of \(M\)), and preserves \(\omega\). If \(\lambda\) is positive (\((M, \omega)\) is a monotone symplectic manifold), then the \(G\)-action is Hamiltonian. If \(\lambda\) vanishes (\((M, \omega)\) is a Calabi-Yau symplectic manifold), then the \(G\)-action is non-Hamiltonian. If \(\lambda\) is negative (\((M, \omega)\) is a negatively monotone symplectic manifold), then \(G\) is trivial. In the monotone symplectic case, this theorem has been first proven by \textit{M. F. Atiyah} and \textit{R. Bott} [Topology 23, 1--28 (1984; Zbl 0521.58025)] and \textit{G. Lupton} and \textit{J. Oprea} [Trans. Am. Math. Soc. 347, No. 1, 261--288 (1995; Zbl 0836.57019)]. In the symplectic Calabi-Yau case and the negatively monotone case it has been first proven by Ono.











This page was built for publication: Embedded surfaces for symplectic circle actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1688133)