Related papers: Whitney stratifications are conically smooth

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

We study the topology of the inertia space of a smooth $G$-manifold $M$ where $G$ is a compact Lie group. We construct an explicit Whitney stratification of the inertia space, demonstrating that the inertia space is a triangulable…

Using tools and results from geometric measure theory, we give a simple new proof of the main result (Theorem 1.3) in K. Kondo and M. Tanaka, Approximation of Lipschitz Maps via Immersions and Differentiable Exotic Sphere Theorems,…

In a previous article the author extended the Witten deformation to singular spaces with cone-like singularities and to a class of Morse functions called admissible Morse functions. The method applies in particular to complex cones and…

We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\overset{\pi}{\twoheadleftarrow} L\overset{\iota}{\hookrightarrow}N)$ of smooth manifolds where $\pi$ is a fibre bundle and $\iota$…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

In this paper, we explore the theme of orbifold stratified spaces and establish a general criterion for them to be smooth orbifolds. This criterion utilizes the notion of linear stratification on the gluing bundles for the orbifold…

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 specify the canonical stratifications satisfying respectively Whitney (a)-regularity, Whitney (b)-regularity, Kuo-Verdier (w)-regularity, and Mostowski (L)-regularity for the family of surfaces y^a = t^b x^c + x^d, where a, b, c, d are…

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

In previous work, the first author defined homotopy theories for stratified spaces from a simplicial and a topological perspective. In both frameworks stratified weak-equivalences are detected by suitable generalizations of homotopy links.…

Our aim is to precisely present a tame topology counterpart to canonical stratification of a Lie groupoid. We consider a definable Lie groupoid in semialgebraic, subanalytic, o-minimal over $\mathbb{R}$, or more generally, Shiota's…

Let $X$ be a smooth irreducible projective curve of genus $g$ and gonality 4. We show that the canonical model of $X$ is contained in a uniquely defined surface, ruled by conics, whose geometry is deeply related to that of $X$. This surface…

We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate…

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…

We prove that the openness of the set of maps, between a Stein manifold and an Oka manifold, transverse to a stratification of a complex analytic subvariety in the target implies that the stratification is Whitney $a$-regular. Our result…

It is shown that if a finite generically smooth morphism $f\,:\,Y\,\longrightarrow\, X$ of smooth projective varieties induces an isomorphism of the \'etale fundamental groups, then the induced map of the stratified fundamental groups…

By replacing the category of smooth vector bundles over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth…