Related papers: Morse functions definable in d-minimal structures

This paper studies the C-compact-open topology on the set C(X) of all realvalued continuous functions on a Tychonov space X and compares this topology with several well-known and lesser known topologies. We investigate the properties…

We introduce topological invariants of semi-decompositions (e.g. filtrations, semi-group actions, multi-valued dynamical systems, combinatorial dynamical systems) on a topological space to analyze semi-decompositions from a dynamical…

In this paper we show how to construct Morse homology for an explicit class of functionals involving the $p$-Laplacian. The natural domain of definition of such functionals is the Banach space $W^{1,2p}_0(\Omega)$, where $p>n/2$ and $\Omega…

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

We conclude the classification of spaces of continuous functions on ordinals carried out by R. Gorak. This gives a complete topological classification of the spaces $C_p([0,\alpha])$ of all continuous real-valued functions on compact…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of geometric properties of smooth manifolds. Round fold maps were introduced as stable fold maps…

We extend the theory of Euler integration from the class of constructible functions to that of "tame" real-valued functions (definable with respect to an o-minimal structure). The corresponding integral operator has some unusual defects (it…

We show that an appropriate generalization of the oriented area function is a perfect Morse function on the space of three-dimensional configurations of an equilateral polygonal linkage with odd number of edges. Therefore cyclic equilateral…

Denote by $\mathbf C_p[\mathfrak M_0]$ the $C_p$-stable closure of the class $\mathfrak M_0$ of all separable metrizable spaces, i.e., $\mathbf C_p[\mathfrak M_0]$ is the smallest class of topological spaces that contains $\mathfrak M_0$…

We define a notion of Morse function and establish Morse theory-like theorems over offsets of any compact set in a Euclidean space at regular values of their distance function. Using non-smooth analysis and tools from geometric measure…

Any watershed, when defined on a stack on a normal pseudomanifold of dimension d, is a pure (d -- 1)-subcomplex that satisfies a drop-of-water principle. In this paper, we introduce Morse stacks, a class of functions that are equivalent to…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

We prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and…

The $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$ and $\mathscr{M}^1$ are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more…

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n, there is a definable type p in X, definable over a code for…

Let $M$ be a smooth connected orientable compact surface. Denote by $F(M,S^1)$ the space of all Morse functions $f:M\to S^1$ having no critical points on the boundary of $M$ and such that for every boundary component $V$ of $M$ the…

Let $\varphi: B_d\to\mathbb{D}$, $d\ge 1$, be a holomorphic function, where $B_d$ denotes the open unit ball of $\mathbb{C}^d$ and $\mathbb{D}= B_1$. Let $\Theta: \mathbb{D} \to \mathbb{D}$ be an inner function and let $K^p_\Theta$ denote…

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…