Related papers: Smooth perfectness for the group of diffeomorphism…

A famous theorem of Dixmier-Malliavin asserts that every smooth, compactly-supported function on a Lie group can be expressed as a finite sum in which each term is the convolution, with respect to Haar measure, of two such functions. We…

We show that commutators of Hamiltonian diffeomorphisms may have arbitrarily large Hofer norm. The proposed technique is applicable to positive genus surfaces and their products. This gives partial answer to a question by McDuff and…

Among compact Hausdorff groups G whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup [H,G] is closed for every closed…

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…

We provide a step towards classifying Riemannian four-manifolds in which the curvature tensor has zero divergence, or -- equivalently -- the Ricci tensor Ric satisfies the Codazzi equation. Every known compact manifold of this type belongs…

We extend the proof of automatic continuity for homeomorphism groups of manifolds to non-compact manifolds and manifolds with marked points and their mapping class groups. Specifically, we show that, for any manifold $M$ homeomorphic to the…

This paper gives a complete proof of the result announced in the title.

Automorphisms of a perfect complex naturally have the structure of an $\infty$-group: the 1-morphisms are quasi-isomorphisms, the 2-morphisms are homotopies, etc. This article starts by proving some basic properties of this $\infty$-group.…

We show that any homomorphism from the homeomorphism group of a compact 2-manifold, with the compact-open topology, or equivalently, with the topology of uniform convergence, into a separable topological group is automatically continuous.

It is shown that certain diffeomorphism or homeomorphism groups with no restriction on support of an open manifold with finite number of ends are bounded. It follows that these groups are uniformly perfect. In order to characterize the…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

The notion of a locally continuously perfect group is introduced and studied. This notion generalizes locally smoothly perfect groups introduced by Haller and Teichmann. Next, we prove that the path connected identity component of the group…

The Arnold conjecture states that a Hamiltonian diffeomorphism of a closed and connected symplectic manifold must have at least as many fixed points as the minimal number of critical points of a smooth function on the manifold. It is well…

A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup $S$ is a homogeneous completely simple semigroup if any isomorphism between finitely generated…

Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold…

Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with…

The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez according to type of the Lie algebras. As homogeneous manifolds, these spaces are of the form $G/H$, where $G$ is a connected compact simple…

A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set,…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…