Related papers: Fundamental group in o-minimal structures with def…
We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…
We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on…
We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…
Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…
For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological…
We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…
The quasitopological fundamental group $\pi_{1}^{qtop}(X,x_0)$ is the fundamental group endowed with the natural quotient topology inherited from the space of based loops and is typically non-discrete when $X$ does not admit a traditional…
We prove that Hausdorff limit of topological minimal sets (with finitely generated coefficient group) are topologically minimal. The key idea is to reduce the homology group on the space to the homology group on the sphere, and reduce the…
We show that the cohomology of flat currents on definable pseudomanifolds in polynomially bounded o-minimal structures is isomorphic to its intersection cohomology in the top perversity.
We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.
We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we…
Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of…
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…
We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…
The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…
We study the topology of small covers from their fundamental groups. We find a way to obtain explicit presentations of the fundamental group of a small cover. Then we use these presentations to study the relations between the fundamental…
Our main result asserts that for any given numbers C and D the class of simply connected closed smooth manifolds of dimension m<7 which admit a Riemannian metric with sectional curvature bounded in absolute value by C and diameter uniformly…
In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…
We establish a characterization of amenability for general Hausdorff topological groups in terms of matchings with respect to finite uniform coverings. Furthermore, we prove that it suffices to just consider two-element uniform coverings.…
In the paper we prove a factorization theorem for representations of fundamental groups of compact K\"{a}hler manifolds ({\em K\"{a}hler groups}) into solvable matrix groups. We apply this result to prove that the universal covering of a…