Related papers: Morse theory in definably complete d-minimal struc…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…

A once-extended d-dimensional topological field theory Z is a symmetric monoidal functor (taking values in a chosen target symmetric monoidal (infty,2)-category) assigning values to (d-2)-manifolds, (d-1)-manifolds, and d-manifolds. We show…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

By studying spaces of flow graphs in a closed oriented manifold, we construct operations on its cohomology, parametrized by the homology of the moduli spaces of compact Riemann surfaces with boundary marked points. We show that the…

From the topological viewpoint, Morse shellings of finite simplicial complexes are {\it pinched} handle decompositions and extend the classical shellings. We prove that every discrete Morse function on a finite simplicial complex induces…

Let $\mathcal{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R},<,+)$ by closed subsets of $\mathbb{R}^n$ and continuous functions $f : \mathbb{R}^m \to \mathbb{R}^n$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a…

We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that…

Let $M$ be a fine structural mouse and let $F\in M$ be such that $M\models$``$F$ is a total extender'' and $(M||\mathrm{lh}(F),F)$ is a premouse. We show that it follows that $F\in\mathbb{E}^M$, where $\mathbb{E}^M$ is the extender sequence…

We consider the configuration space of planar $n$-gons with fixed perimeter, which is diffeomorphic to the complex projective space $\mathbb{C}P^{n-2}$. The oriented area function has the minimal number of critical points on the…

Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$ having fixed number of critical points of each index, moreover at least $\chi(M)+1$ critical points are labeled by different labels (enumerated).…

The existence of an exactly marginal deformation in a conformal field theory is very special, but it is not well understood how this is reflected in the allowed dimensions and OPE coefficients of local operators. To shed light on this…

We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of…

We extend the Theory of Computation on real numbers, continuous real functions, and bounded closed Euclidean subsets, to compact metric spaces $(X,d)$: thereby generically including computational and optimization problems over higher types,…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…