Related papers: Algebraic and o-minimal flows on complex and real …
We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real…
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…
On a compact connected Lie group $G$, we study the global solvability and the cohomology spaces of the differential complex associated with an essentially real involutive structure that is invariant under left translations. We prove that…
Let $\mathfrak{P}$ be a topological property. We study the relation between the order structure of the set of all $\mathfrak{P}$-extensions of a completely regular space $X$ with compact remainder (partially ordered by the standard partial…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…
Examples of aspherical closed symplectic 4-manifolds are presented whose Sullivan minimal models are (1,n)-formal for any n, without being formal. They have as cohomology algebra, signature, canonical class, those of a product of a closed…
We show that under a suitable transversality condition, the intersection of two rational subtori in an algebraic torus $(\C^*)^n$ is a finite group which can be determined using the torsion part of some associated lattice. Applications are…
Comessatti proved that the set of real points of a rational real algebraic surface is either a nonorientable surface, or the two-sphere, or the torus. Conversely, it is easy to see that all of these surfaces admit a rational real algebraic…
We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…
We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in…
The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…
We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of…
We study tori attached to the fundamental groups of plane curves with arbitrary singularities. These tori provide complete information about homology of finite abelian covers of the plane branched along the curve. We calculate these tori in…
The real solutions to a system of sparse polynomial equations may be realized as a fiber of a projection map from a toric variety. When the toric variety is orientable, the degree of this map is a lower bound for the number of real…
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…
Let X be a subcomplex of the standard CW-decomposition of the n-dimensional torus. We exhibit an explicit optimal motion planning algorithm for X. This construction is used to calculate the topological complexity of complements of general…
For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…
We study normal compact K\"ahler spaces whose rational cohomology ring is isomorphic to that of a complex torus. We call them rational cohomology tori. We classify, up to dimension three, those with rational singularities. We then give…
Given an ideal I in a polynomial ring, we consider the largest monomial subideal contained in I, denoted mono(I). We study mono as an interesting operation in its own right, guided by questions that arise from comparing the Betti tables of…
Consider an equidimensional faithful conical action of an algebraic torus $T$ on an affine normal conical variety $X$ over an algebraically closed field of characteristic zero. Then there exists a finite normal subgroup $N$ of $T$ such that…