A geometric proof of the existence of definable Whitney stratifications
We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
David Trotman contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.
We state and prove several characterizations of Thom's regularity condition for stratified maps. In particular we extend to stratified maps some characterizations of Whitney (a) regularity, due to the second author.
It is easy to find real algebraic varieties with weakly Whitney regular stratifications which are not Whitney regular, and we give such an example in section 3 below. No examples are known among complex analytic varieties however, so that the natural question arises : do Whitney regularity and weak Whitney regularity coincide in the complex case ? As a test, in this paper we study the well-known Briançon-Speder examples. We investigate systematically all of the (infinitely many) Briançon-Speder examples, and establish in particular that none of these examples are weakly Whitney regular. We determine all the complex curves along which Whitney regularity fails and all the complex curves along which weak Whitney regularity fails. It turns out that for each example there are a finite number of curves $γ_i$ such that weak Whitney regularity fails precisely along those curves tangent to one of the $γ_i$ at the origin.
We show that the possible drop in multiplicity in an analytic family $F(z,t)$ of complex analytic hypersurface singularities with constant Milnor number is controlled by the powers of $t$. We prove equimultiplicity of $μ$-constant families of the form $f + tg + t^2h$ if the singular set of the tangent cone of $\{f = 0}$ is not contained in the tangent cone of $\{h = 0}$.