Transversality of smooth definable maps in o-minimal structures

DOI10.1017/S0305004118000920zbMATH Open1447.32015arXiv1711.10841WikidataQ128609067 ScholiaQ128609067MaRDI QIDQ5115545FDOQ5115545

Saurabh Trivedi, Nhan Nguyen

Publication date: 16 August 2020

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Abstract: 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 theorem of Trotman which says that the Whitney $(a)$-regularity of a stratification is necessary and sufficient for the stability of transversality.

Full work available at URL: https://arxiv.org/abs/1711.10841

Recommendations

• Transversality theorem in o-minimal structures
• Transversality theorems for the weak topology
• On the local geometry of definably stratified sets
• Stratifiations in o-minimal structures
• Stratified transversality of holomorphic maps

zbMATH Keywords

transversalitydefinable smooth maps

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Real-analytic sets, complex Nash functions (32C07)

Cites Work

• Nash manifolds
• Title not available (Why is that?)
• Geometry of subanalytic and semialgebraic sets
• Title not available (Why is that?)
• Stability of transversality to a stratification implies Whitney (a)- regularity
• The Geometry of Immersions. I
• An o-minimal structure which does not admit \(C^\infty\) cellular decomposition
• Approximation theorems in o-minimal structures
• Generic projections
• Transversality theorem in o-minimal structures
• Verdier and strict Thom stratifications in o-minimal structures
• Smooth functions in o-minimal structures
• On defining C^∞
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• A geometric proof of the existence of definable Whitney stratifications
• Title not available (Why is that?)
• Detecting Thom faults in stratified mappings

Cited In (2)

• Transversality theorem in o-minimal structures
• Defining the smooth points of a quotient in polynomially bounded o -minimal structures

This page was built for publication: Transversality of smooth definable maps in o-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115545)