Related papers: Morse functions definable in d-minimal structures

Let $D$ be a bounded domain in $\mathbb C^n$. We study approximation of (not necessarily bounded from above) $m-$subharmonic function $D$ by continuous $m-$subharmonic ones defined on neighborhoods of $\overline{D}$. We also consider the…

Let $M$ be a smooth connected orientable closed surface and $f_0\in C^\infty(M)$ a function having only critical points of the $A_\mu$-types, $\mu\in\mathbb N$. Let ${\mathcal F}={\mathcal F}(f_0)$ be the set of functions $f\in C^\infty(M)$…

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…

The class of special generic maps contains Morse functions with exactly two singular points, characterizing spheres topologically which are not $4$-dimensional and the $4$-dimensional unit sphere. This class is for higher dimensional…

For a given d-minimal expansion $\mathfrak R$ of the ordered real field, we consider the expansion $\mathfrak R^\natural$ of $\mathfrak R$ generated by the sets of the form $\bigcup_{S \in \mathcal C}S$, where $\mathcal C$ is a subfamily of…

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…

A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…

We show that $L^\infty(\mu)$, in its capacity as multiplication operators on $L^p(\mu)$, is minimal as a $p$-operator space for a decomposable measure $\mu$. We conclude that $L^1(\mu)$ has a certain maximal type $p$-operator space…

Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…

In this paper, we show that if a closed, connected, oriented 3-manifold M = M1#M2 admits a perfect discrete Morse function, then one can decompose this function as perfect discrete Morse functions on M_1 and M_2. We also give an explicit…

We prove a generalized version of the classic deformation lemma from Morse Theory that considers functions going to $-\infty$ at a compact set, and allowing the lower value of the deformation to be $-\infty$. The result is valid for a class…

We show that the Morse complex of a compact Lie monoid can be given the structure of an $f$-bialgebra, a chain-level version of bialgebras introduced in [CHM24]; and that this assignment defines an $\infty$-functor. As a consequence, we…

Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…

We describe the configuration space $\mathbf{S}$ of polygons with prescribed edge slopes, and study the perimeter $\mathcal{P}$ as a Morse function on $\mathbf{S}$. We characterize critical points of $\mathcal{P}$ (these are…

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with…

In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…

We consider actions of a tileable amenable group $\Gamma$ on a topological space $X$. For a continuous function on $X$, we define the entropy of the number of homologically detectable critical point of the average of that function over…

We present an alternative application of discrete Morse theory for two-particle graph configuration spaces. In contrast to previous constructions, which are based on discrete Morse vector fields, our approach is through Morse functions,…