Related papers: Finite subgroups of Ham and Symp

We prove that for any closed smooth $4$-manifold $X$ there exists a constant $C$ with the property that each finite subgroup $G<Diff(X)$ has a subgroup $N$ which is abelian or nilpotent of class $2$, and which satisfies $[G:N]\leq C$. We…

We establish a cosymplectic counterpart of Banyaga's theorem by proving that the group of weakly Hamiltonian diffeomorphisms, $\Ham_{\eta,\omega}(M)$, is simple on any closed cosymplectic manifold. A key structural result, derived from Lie…

This paper investigates ways to enlarge the Hamiltonian subgroup Ham of the symplectomorphism group Symp(M) of the symplectic manifold (M, \omega) to a group that both intersects every connected component of Symp(M) and characterizes…

Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a…

A fundamental result of Banyaga states that the Hamiltonian diffeomorphism group of a closed symplectic manifold is perfect. We refine this result by proving that, locally in the $C^\infty$ topology, the number of commutators needed to…

Let $(M,\omega)$ be a closed symplectic manifold and $\textup{Ham}(M,\omega)$ the group of Hamiltonian diffeomorphisms of $(M,\omega)$. Then the Seidel homomorphism is a map from the fundamental group of $\textup{Ham}(M,\omega)$ to the…

On an open, connected symplectic manifold $(M,\omega)$, the group of Hamiltonian diffeomorphisms forms an infinite-dimensional Fr\'echet Lie group with Lie algebra $C^{\infty}_c(M)$ and adjoint action given by pullbacks. We prove that this…

To every closed subset $X$ of a symplectic manifold $(M,\omega)$ we associate a natural group of Hamiltonian diffeomorphisms $Ham(X,\omega)$. We equip this group with a semi-norm $\Vert\cdot\Vert^{X,\omega}$, generalizing the Hofer norm. We…

We study the action of Hamiltonian diffeomorphisms of a compact symplectic manifold ($X,\omega$) on $C^\infty(X)$ and on functions $C^\infty(X)\to \mathbb R$. We describe various properties of invariant convex functions on $C^\infty(X)$.…

Let M be an oriented compact positively curved 4-manifold. Let G be a finite subgroup of the isometry group of $M$. Among others, we prove that there is a universal constant C (cf. Corollary 4.3 for the approximate value of C), such that if…

The main purpose of this paper is to carry out some of the foundational study of $C^0$-Hamiltonian geometry and $C^0$-symplectic topology. We introduce the notions of the strong and the weak {\it Hamiltonian topology} on the space of…

Let $X$ be a smooth manifold belonging to one of these three collections: acyclic manifolds (compact or not, possibly with boundary), compact connected manifolds (possibly with boundary) with nonzero Euler characteristic, integral homology…

Let a real Lie group $G$ have a $C^\infty$ action on a real manifold $M$. Assume every nontrivial element of $G$ has nowhere dense fixpoint set in $M$. First, we show, in every frame bundle, except possibly the $0$th, that each stabilizer…

We prove that if $(H,G)$ is a small, $nm$-stable compact $G$-group, then $H$ is nilpotent-by-finite, and if additionally $\NM(H) \leq \omega$, then $H$ is abelian-by-finite. Both results are significant steps towards the proof of the…

Around twenty years ago Ghys conjectured that finite subgroups of the diffeomorphism group of a compact smooth manifold M have an abelian normal subgroup of index at most a(M), where a(M) depends only on M. First we construct a family of…

We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $\chi(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and…

This paper studies the question of when a loop $\phi$ in the group Symp$(M,\omega)$ of symplectomorphisms of a symplectic manifold $(M,\omega)$ is isotopic to a loop that is generated by a time-dependent Hamiltonian function. (Loops with…

Let M be a weakly monotone symplectic manifold, and H be a time-dependent Hamiltonian; we assume that the periodic orbits of the corresponding time-dependent Hamiltonian vector field are non-degenerate. We construct a refined version of the…

We show that the presence of a non-contractible one-periodic orbit of a Hamiltonian diffeomorphism of a connected closed symplectic manifold $(M,\omega)$ implies the existence of infinitely many non-contractible simple periodic orbits,…

Let the circle act effectively in a Hamiltonian fashion on a compact symplectic manifold $(M, \omega)$. Assume that the fixed point set $M^{S^1}$ has exactly two components, $X$ and $Y$, and that $\dim(X) + \dim(Y) +2 = \dim(M)$. We first…