Related papers: Hamiltonian diffeomorphisms of toric manifolds
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…
We prove that any diffeomorphism of a compact manifold can be approximated in topology C1 by another diffeomorphism exhibiting a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by one which is essentially…
This paper studies the set of finite groups appearing as $\pi_1(M)/\pi_1(M)^{(n)}$, where $M$ is a closed, orientable 3-manifold and $\pi_1(M)^{(n)}$ denotes the $n$-th term of the derived series of $\pi_1(M)$. Our main result is that if…
The $\pi_2$-diffeomorphism finiteness result (\cite{FR1,2}, \cite{PT}) asserts that the diffeomorphic types of compact $n$-manifolds $M$ with vanishing first and second homotopy groups can be bounded above in terms of $n$, and upper bounds…
Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $S^1$ action. We prove that, as fundamental groups of topological spaces, $\pi_1(M)=\pi_1(\hbox{minimum})=\pi_1(\hbox{maximum})=\pi_1(M_{red})$, where…
Let $M$ be a connected compact contact toric manifold. Most of such manifolds are of Reeb type. We show that if $M$ is of Reeb type, then $\pi_1(M)$ is finite cyclic, and we describe how to obtain the order of $\pi_1(M)$ from the moment map…
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…
We show that there exist infinite-dimensional quasi-flats in the compactly supported Hamiltonian diffeomorphism group of the Liouville domain, with respect to the spectral norm, if and only if the symplectic cohomology of this Liouville…
For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…
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…
We show, by an elementary and explicit construction, that the group of Hamiltonian diffeomorphisms of certain symplectic manifolds, endowed with Hofer's metric, contains subgroups quasi-isometric to Euclidean spaces of arbitrary dimension.
We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…
Let ${\cal O}$ be a quantizable coadjoint orbit of a semisimple Lie group $G$. Under certain hypotheses we prove that $#(\pi_1(\text{Ham}({\cal O})))\geq #(Z(G))$, where $\text{Ham}({\cal O})$ is the group of Hamiltonian symplectomorphisms…
Controlled topology is one of the main tools for proving the isomorphism conjecture concerning the algebraic $K$-theory of group rings. In this article we dive into this machinery in two examples: when the group is infinite cyclic and when…
Suppose that a finite $p$-group $P$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ that is a cyclic $p$-group and with complement $H$. It is proved that if the fixed-point subgroup $C_P(H)$ of the complement is nilpotent of…
We study the problem of determining which diffeomorphism classes of K\"{a}hler manifolds admit a Hamiltonian circle action. Our main result is the following: Let $M$ be a closed symplectic manifold, diffeomorphic to a complete intersection…
A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group…
We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the $C^1$-topology then it…
A central result here is the computation of the entire cyclic homology of canonical smooth subalgebras of stable continuous trace C*-algebras having smooth manifolds M as their spectrum. More precisely, the entire cyclic homology is shown…
We introduce a generalization of Weinstein's morphism, defined on \pi_{2k-1}(Ham(M,\omega)) for 1 < k \leq n, where (M,\omega) is a 2n-dimensional symplectic manifold. Using this morphism, we show that for n > 1 and 1 < k \leq n, the…