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
Research tools
Network
Opportunities
Account
Source author record
David Trotman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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}$.