Related papers: Anti-classification results for smooth dynamical s…

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…

Given a $C^0$ conjugacy between two Anosov diffeomorphisms, the matching periodic data problem asks whether this conjugacy is smooth provided spectral data of the diffeomorphisms match at periodic points. We show that if the two $C^0$…

We show an example of a symmetric homeomorphism $h$ of the real line $\mathbb{R}$ onto itself such that $h^{-1}$ is not symmetric. This implies that the set of all symmetric self-homeomorphisms of $\mathbb{R}$ does not constitute a group…

We show that for a complete complex algebraic variety the pure component of homology coincides with the image of intersection homology. Therefore pure homology is topologically invariant. To obtain slightly more general results we introduce…

We establish a sharp reciprocity inequality for modulus in compact metric spaces $X$ with finite Hausdorff measure. In particular, when $X$ is also homeomorphic to a planar rectangle, our result answers a question of K. Rajala and M.…

We present an approximation by conjugation scheme to obtain real-analytic diffeomorphisms of odd dimensional spheres that are weakly mixing with respect to the volume.

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…

The principal filtration of the infinite-dimensional odd Contact Lie superalgebra over a field of characteristic $p>2$ is proved to be invariant under the automorphism group by investigating ad-nilpotent elements and determining certain…

M. Foreman and B. Weiss obtained an anti-classification result for smooth ergodic diffeomorphisms, up to measure isomorphism, by using a functor $\mathcal{F}$ mapping odometer-based systems, $\mathcal{OB}$, to circular systems,…

We prove that the group of area-preserving diffeomorphisms of the 2-sphere admits a non-trivial homogeneous quasimorphism to the real numbers with the following property. Its value on any diffeomorphism supported in a sufficiently small…

We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than…

Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…

We analyze Euclidean spheres in higher dimensions and the corresponding orbit equivalence relations induced by the group of rational rotations from the viewpoint of descriptive set theory. It turns out that such equivalence relations are…

A smooth map between manifolds is said to be \emph{image simple} if its restriction to its singular point set is a topological embedding. We study the parity of the number of connected components of the singular point set for image simple…

Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is…

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group…

In this paper, we classify the three-dimensional contact partially hyperbolic diffeomorphisms whose stable, unstable and central distributions are smooth, and whose non-wandering set equals the whole manifold. We prove that up to a finite…

Perez-Marco proved the existence of non-trivial totally invariant connected compacts called hedgehogs near the fixed point of a nonlinearizable germ of holomorphic diffeomorphism. We show that if two nonlinearisable holomorphic germs with a…