Related papers: Smooth perfectness for the group of diffeomorphism…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

We show that the identity component of the group of homeomorphisms that preserve all leaves of a R^d-tilable lamination is simple. Moreover, in the one dimensional case, we show that this group is uniformly perfect. We obtain a similar…

Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…

We show that the finitely generated simple left orderable groups $G_{\rho}$ constructed by the first two authors in arXiv:1807.06478 are uniformly perfect - each element in the group can be expressed as a product of three commutators of…

Given a path of almost-K\"ahler metrics compatible with a fixed symplectic form on a compact 4-manifold such that at time zero the almost-K\"ahler metric is an extremal K\"ahler one, we prove, for a short time and under a certain…

The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a…

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also…

We prove that every piecewise linear manifold of dimension up to four on which a finite group acts by piecewise linear homeomorphisms admits a compatible smooth structure with respect to which the group acts smoothly. This solves a…

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.

Let $M$ be the circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$. We write $\mathrm{Diff}_+^{\alpha}(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives…

We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from…

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite…

A topological group $G$ is {\em sequentially $h$-complete} if all the continuous homomorphic images of $G$ are sequentially complete. In this paper we give necessary and sufficient conditions on a complete group for being compact, using the…

An important theorem of Ling states that if $G$ is any factorizable non-fixing group of homeomorphisms of a paracompact space then its commutator subgroup $[G,G]$ is perfect. This paper is devoted to further studies on the algebraic…

A very short proof of the following smooth homogeneity theorem of D. Repovs, E. V. Scepin and the author is presented. Let N be a locally compact subset of a smooth manifold M. Assume that for each two points x,y in N there exist their…

Let $\mathcal H_c(M)$ stand for the path connected identity component of the group of all compactly supported homeomorphisms of a manifold $M$. It is shown that $\mathcal H_c(M)$ is perfect and simple under mild assumptions on $M$. Next,…

We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…

On a 4-dimensional compact symplectic manifold, we consider a smooth family of compatible almost-complex structures such that at time zero the induced metric is Hermite-Einstein almost-K\"ahler metric with zero or negative Hermitian scalar…

Every smooth homotopy 4-sphere is diffeomorphic to the 4-sphere.

It is proven that the identity component of the group preserving the leaves of a generalized foliation is perfect. This shows that a well-known simplicity theorem on the diffeomorphism group extends to the nontransitive case.