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

In this paper, we prove first that the iterates of a mean nonexpansive map defined on a weakly compact, convex set converge weakly to a fixed point in the presence of Opial's property and asymptotic regularity at a point. Next, we prove the…

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

We introduce a notion of stability for non-autonomous Hamiltonian flows on two-dimensional annular surfaces. This notion of stability is designed to capture the sustained twisting of particle trajectories. The main Theorem is applied to…

The natural occurrence of singular spaces in applications has led to recent investigations on performing topological data analysis (TDA) in a stratified framework. In many applications, there is no a priori information on what points should…

Transitivity, the existence of periodic points and positive topological entropy can be used to characterize complexity in dynamical systems. It is known that for graphs that are not trees, for every $\varepsilon>0,$ there exist (complicate)…

By definition, transverse intersections are stable under infinitesimal perturbations. Using persistent homology, we extend this notion to a measure. Given a space of perturbations, we assign to each homology class of the intersection its…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…

This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete…

We prove a Simons-type holonomy theorem for totally skew 1-forms with values in a Lie algebra of linear isometries. The only transitive case, for this theorem, is the full orthogonal group. We only use geometric methods and we do not use…

Thom polynomials are universal cohomological obstructions to the appearance of singularities of given types in differentiable maps. As an application, various invariants of immersions have been expressed in terms of singularities of their…

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…

We show that each refinable map preserves colocal connectedness of the domain while a proximately refinable map does not necessarily. Also, we prove that colocal connectedness is a Whitney property and is not a Whitney reversible property.

We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map…

We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

We develop the theory of Thurston maps that are defined everywhere on the topological sphere $S^2$ with a possible exception of a single essential singularity. We establish an analog of the celebrated W. Thurston's characterization theorem…

In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…

We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is…

We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…