Related papers: Transversality of smooth definable maps in O-minim…

The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological…

Let $k$ be an integer. We prove a rough structure theorem for separations of order at most $k$ in finite and infinite vertex transitive graphs. Let $G = (V,E)$ be a vertex transitive graph, let $A \subseteq V$ be a finite vertex-set with…

We prove analogs of Thom's transversality theorem and Whitney's theorem on immersions for pseudo-holomorphic discs. We also prove that pseudo-holomorphic discs form a manifold.

We consider the dynamics of `nonlinear tent maps': piecewise smooth unimodal maps with nowhere vanishing derivative. We show that if a nonlinear tent map $f$ is not infinitely renormalizable, then all its periodic orbits of sufficiently…

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as Andr\'e-Oort conjecture. Among the many tools developed in…

We show that smooth maps are $C^1$-dense among $C^1$ volume preserving maps.

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…

Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable…

Let $M$ be a smooth, compact manifold and let $\mathcal{N}_{\mu}$ denote the set of Riemannian metrics on $M$ with smooth volume density $\mu$. For a given $g_0\in \mathcal{N}_{\mu}$, we show that if $\dim(M)\ge 5$, then there exists an…

Recently a simple proof of the generalizations of Hawking's black hole topology theorem and its application to topological black holes for higher dimensional ($n\geq 4$) spacetimes was given \cite{rnew}. By applying the associated new line…

Let X be a smooth projective Deligne-Mumford stack over an algebraically closed field k of characteristic 0. In this paper we construct the moduli stack of very twisted stable maps, extending the notion of twisted stable maps by Abramovich…

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive…

Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We study the differentiability properties of the topological equivalence between a uniformly asymptotically stable linear nonautonomous system and a perturbed system with suitable nonlinearities. For this purpose, we construct a uniformly…

We show that given a simple abelian variety $A$ and a normal variety $V$ defined over a finitely generated field $K$ of characteristic zero, the set of non-constant morphisms $V \to A$ satisfying certain tangency conditions imposed by a…

The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…