Related papers: Morse theory in definably complete d-minimal struc…
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL…
The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…
Given a Morse function f on a closed manifold M with distinct critical values, and given a field F, there is a canonical complex, called the Morse-Barannikov complex, which is equivalent to any Morse complex associated with f and whose form…
We analyze the differential relation corresponding to integrability of almost complex structures, reformulated as a directed immersion relation by Demailly and Gaussier. Combining results of Clemente [3], we show that applying h-principle…
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…
Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…
Let N be an o-minimal structure. In this paper we develop group extension and group cohomology theory over N and use it to describe the N-definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal'cev theorem and we…
We demonstrate that the open core of a definably complete expansion of a densely linearly ordered abelian group is locally o-minimal if and only if any definable closed subset of $R$ is either discrete or contains a nonempty open interval.…
A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…
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…
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…
In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…
The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…
In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups…
This article arose from a series of three lectures given at the Banach Center, Warsaw, during period of 24 March to 13 April, 2003. Morse functions are useful tool in revealing the geometric formation of its domain manifolds $M$. They…
Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient…
We investigate when a meromorphic connection on a smooth rigid analytic variety $X$ gives rise to a coadmissible $\mathcal{D}_X$-cap-module, and show that this is always the case when the roots of the corresponding $b$-functions are all of…
We give a detailed and easily accessible proof of Gromov's Topological Overlap Theorem. Let $X$ be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension $d$. Informally, the theorem states that if $X$…
In this paper we study the existence and multiplicity of periodic orbits of exact magnetic flows with energy levels above the Ma\~{n}\'{e} critical value of the universal cover on a non-compact manifold from the viewpoint of Morse theory.
The ring operations and the metric on $C(X)$ are extended to the set $\mathbb{H}_{nf}(X)$ of all nearly finite Hausdorff continuous interval valued functions and it is shown that $\mathbb{H}_{nf}(X)$ is both rationally and topologically…