Related papers: Morse functions definable in d-minimal structures

It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…

Generalised Morrey (function) spaces enjoyed some interest recently and found applications to PDE. Here we turn our attention to their discrete counterparts. We define generalised Morrey sequence spaces…

According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a…

Main subject of the paper is a (strong) Morse function on a compact manifold with boundary. We construct a cellular structure and discuss its algebraic properties in this paper. Also we get an estimation on Arnold's question on a number of…

Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown…

To investigate the topological structure of Morse functions on the projective plane we use the Reeb graphs. We describe it properties and prove that it is a complete topological invariant of simple Morse function on $\mathbb{R} P^2$. We…

This paper describes how to recover the topology of a closed manifold $M$ from a good Morse function $f$ on $M$. The essential method was suggested by Cohen, Jones and Segal. They constructed a topological category $C_{f}$ and claimed that…

Closed (and simply-connected) manifolds whose dimensions are larger than 4 are central geometric objects in classical algebraic topology and differential topology. They have been classified via algebraic and abstract objects. On the other…

We present an algorithm which produces a decomposition of a regular cellular complex with a discrete Morse function analogous to the Morse-Smale decomposition of a smooth manifold with respect to a smooth Morse function. The advantage of…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.

A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…

Let $F$ be an ordered topological vector space (over $\mathbb{R}$) whose positive cone $F_+$ is weakly closed, and let $E \subseteq F$ be a subspace. We prove that the set of positive continuous linear functionals on $E$ that can be…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

In this paper, we study the computation of optimal discrete Morse functions on stratifolds. In particular, we present an algorithm that efficiently computes such functions for a broad class of them. Moreover, we characterize the conditions…

Some new classes of compacta $K$ are considered for which $C(K)$ endowed with the pointwise topology has a countable cover by sets of small local norm--diameter.

We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.

We consider approximations of a continuous function on a countable normed Fr\'{e}chet space by analytic and $*$-analytic. Also we found a criterium of the existence of an extension of a continuous function from a dense subspace of a…

Given any compact manifold M, we construct a non-empty open subset O of the space of C^1-diffeomorphisms of M and a dense subset D of O such that the centralizer of every diffeomorphism in D is uncountable, hence non-trivial.

In this paper we characterize the distance between the function $f$ and the set $C^{\infty}_{\mathrm{comp}}(\mathbb{R}^d)$ in generalized Morrey spaces $L_{p,\phi}(\mathbb{R}^d)$ with variable growth condition. We also prove that the…