Related papers: Transversality of smooth definable maps in O-minim…
Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…
Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…
We study the topology of the inertia space of a smooth $G$-manifold $M$ where $G$ is a compact Lie group. We construct an explicit Whitney stratification of the inertia space, demonstrating that the inertia space is a triangulable…
Given a non-invertible dynamical system with a transfer operator, we show there is a minimal cover with a transfer operator that preserves continuous functions. We also introduce an essential cover with even stronger continuity properties.…
We will give a geometric description of the nth transversal homotopy monoid of k-dimensional complex projective space, where we stratify by lower dimensional complex projective spaces in the usual way. Transversal homotopy monoids are…
Stochastic dynamical systems consisting of non-invertible continuous maps on an interval are studied. It is proved that if they satisfy the recently introduced so-called $\mu$-injectivity and some mild assumptions, then proximality,…
We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…
We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…
We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order…
Let N be an o-minimal expansion of a real closed field. We develop cohomology theory for the category of N-definable manifolds and N-definable maps, and use this to solve the Peterzil-Steinhorn problem on the existence of torsion points on…
For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…
In this paper we investigate the space of harmonic maps from a 2-torus to $\mathbb{S}^3$ using the spectral curve correspondence and Whitham deformations. In an open and dense subset of a parameter space we find that the space of harmonic…
We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…
Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…
In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles…
We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…
A class of graphs is structurally nowhere dense if it can be constructed from a nowhere dense class by a first-order transduction. Structurally nowhere dense classes vastly generalize nowhere dense classes and constitute important examples…
An infinite graph is quasi-transitive if its vertex set has finitely many orbits under the action of its automorphism group. In this paper we obtain a structure theorem for locally finite quasi-transitive graphs avoiding a minor, which is…
Assume that the interval $I=[0,1)$ is partitioned into finitely many intervals $I_1,\dots,I_r$ and consider a map $T\colon I\to I$ so that $T_{\vert I_s}$ is a translation for each $1 \le s \le r$. We do not assume that the images of these…
We study non-positively curved closed manifolds $M$ and $n$-dimensional totally geodesic submanifolds of $M \times M$ which satisfy a transversality condition. We prove that, under some mild irreducibility requirements on $M$, if $M \times…