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

In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in…

In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…

The paper discusses stably trivial torsors for spin and orthogonal groups over smooth affine schemes over infinite perfect fields of characteristic unequal to 2. We give a complete description of all the invariants relevant for the…

In this paper we prove that for any definable subset $X\subset \mathbb{R}^{n}$ in a polynomially bounded o-minimal structure, with $dim(X)<n$, there is a finite set of regular projections (in the sense of Mostowski ). We give also a weak…

We consider stabilities for the weighted length or energy functional of a discrete map from a finite weighted graph $(X,m_{E})$ into a smooth Riemannian manifold $(M,g)$. We prove the non-existence of a stable discrete minimal immersion or…

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable…

We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…

Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems,…

For a smooth expanding map $f$ of the circle, its (unmarked) length spectrum is defined as the set of logarithms of multipliers of periodic orbits of $f$. This spectrum is analogous to the set of lengths of all closed geodesics on…

Let $X$ be a smooth projective variety. Define a stable map $f:C\to X$ to be "eventually smoothable" if there is an embedding $X\hookrightarrow\mathbb{P}^N$ such that $(C,f)$ occurs as the limit of a $1$-parameter family of stable maps to…

Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly…

We show that every smooth manifold admits a smooth triangulation transverse to a given smooth map. This removes the properness assumption on the smooth map used in an essential way in Scharlemann's construction [5].

We develop a theory of conically smooth stratified spaces and their smooth moduli, including a notion of classifying maps for tangential structures. We characterize continuous space-valued sheaves on these conically smooth stratified spaces…

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order…

In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.

We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…

We introduce the restricted local volume of a relatively very ample invertible sheaf as an invariant of equisingularity by determining its change across families. We apply this result to give numerical control of Whitney-Thom (differential)…

In this paper we provide extensions of the $\lambda$-Lemma (also known as Inclination Lemma) for piecewise smooth vector fields and maps. In order to achieve our main result, we investigate the regularity of time-T-maps of piecewise smooth…

Following an argument proposed by Mason, we prove that there are no algebraically special asymptotically simple vacuum space-times with a smooth, shear-free, geodesic congruence of principal null directions extending transversally to a…

An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawvere's fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither…