相关论文: A proof of Morse's theorem about the cancellation …
We consider a class of piecewise smooth one-dimensional maps with critical points and singularities (possibly with infinite derivative). Under mild summability conditions on the growth of the derivative on critical orbits, we prove the…
Critical points of an invariant function may or may not be symmetric. We prove, however, that if a symmetric critical point exists, those adjacent to it are generically symmetry breaking. This mathematical mechanism is shown to carry…
We introduce a notion of Morse shellings (and tilings) on finite simplicial complexes which extends the classical one and its relation to discrete Morse theory.Skeletons and barycentric subdivisions of Morse shellable (or tileable)…
Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical…
We prove a discrete version of the Lusternik-Schnirelmann theorem for discrete Morse functions and the recently introduced simplicial Lusternik-Schnirelmann category of a simplicial complex. To accomplish this, a new notion of critical…
We prove a non-smooth generalization of the global implicit function theorem. More precisely we use the non-smooth local implicit function theorem and the non-smooth critical point theory in order to prove a non-smooth global implicit…
In this note we define a $C^1$ function $F:[0,M]^2\to [0,2]$ that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order…
We show that Sturm's classical separation theorem on the interlacing of the zeros of linearly independent solutions of real second order two-term ordinary differential equations necessarily fails in the presence of a unique turning point in…
We present an algorithm for computing the main topological characteristics of three-dimensional bodies. The algorithm is based on a discretization of Morse theory and uses discrete analogs of smooth functions with only nondegenerate (Morse)…
We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…
We establish a fixed-point theorem for the face maps that consist in deleting the $i$th entry of an ordered set. Furthermore, we show that there exists random finite sets of integers that are almost invariant under such deletions.…
An algorithmic proof of the General N\'eron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case.
Topology change is considered to be a necessary feature of quantum gravity by some authors, and impossible by others. One of the main arguments against it is that spacetimes with changing spatial topology have bad causal properties. Borde…
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…
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
I present a simple, elementary proof of Morley's theorem, highlighting the naturalness of this theorem.
In this paper we show that a notion of non-degeneracy which allows to develop Morse theory is generically satisfied for a large class of $C^2$-functionals defined on Banach spaces. The main element of novelty with respect to the previous…
Let $f:I\to X$ be a d.c. mapping, where $I\subset \R$ is an open interval and $X$ a Banach space. Let $C_f$ be the set of critical points of $f$. We prove that $f(C_f)$ has zero 1/2-dimensional Hausdorff measure.
Let (W,M,M'), dim W > 5, be a non-trivial h-cobordism (i.e., the Whitehead torsion of (W,V) is non-zero). We prove that every smooth function f: W --> [0,1], f(M)=0, f(M')=1 has at least 2 critical points. This estimate is sharp: W…
A Morse 2-function is a generic smooth map from a smooth manifold to a surface. In the absence of definite folds (in which case we say that the Morse 2-function is indefinite), these are natural generalizations of broken (Lefschetz)…