English
Related papers

Related papers: Fundamental group in o-minimal structures with def…

200 papers

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…

Logic · Mathematics 2011-01-11 Anand Pillay

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…

Algebraic Topology · Mathematics 2021-09-10 Daniel C. Cohen , Lucile Vandembroucq

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…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

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…

Logic · Mathematics 2014-02-27 Eliana Barriga , Alf Onshuus , Charles Steinhorn

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…

General Topology · Mathematics 2009-05-01 Jack S. Calcut , John D. McCarthy

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…

Algebraic Topology · Mathematics 2022-11-22 Sergey A. Melikhov

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…

Algebraic Topology · Mathematics 2017-03-14 Jeremy Brazas , Paul Fabel

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…

Classical Analysis and ODEs · Mathematics 2015-05-22 Xiangyu Liang

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.

Algebraic Geometry · Mathematics 2018-10-08 Saurabh Trivedi

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.

General Topology · Mathematics 2009-08-18 Søren Kjærgaard Boldsen

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…

Logic · Mathematics 2016-07-26 Pantelis E. Eleftheriou , Assaf Hasson , Gil Keren

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…

Complex Variables · Mathematics 2016-09-06 Ziv Ran

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…

Logic · Mathematics 2007-06-04 Jana Maříková

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…

Logic · Mathematics 2010-11-09 Janak Ramakrishnan

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…

Geometric Topology · Mathematics 2014-11-11 Allen Hatcher , Darryl McCullough

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…

Algebraic Topology · Mathematics 2021-10-26 Lisu Wu , Li Yu

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…

Differential Geometry · Mathematics 2007-05-23 Wilderich Tuschmann

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…

Algebraic Geometry · Mathematics 2010-03-02 Satoshi Koike , Ta Le Loi , Laurentiu Paunescu , Masahiro Shiota

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.…

Group Theory · Mathematics 2018-10-16 Friedrich Martin Schneider , Andreas Thom

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…

Complex Variables · Mathematics 2007-05-23 Alexander Brudnyi
‹ Prev 1 4 5 6 7 8 10 Next ›