In topology, a branch of mathematics, an abstract stratified space, or a Thom–Mather stratified space is a topological space X that has been decomposed into pieces called strata; these strata are manifolds and are required to fit together in a certain way. Thom–Mather stratified spaces provide a purely topological setting for the study of singularities analogous to the more differential-geometric theory of Whitney. They were introduced in 1969 by René Thom, who showed that every Whitney stratified space was also a topologically stratified space, with the same strata. Another proof was given by John Mather in 1970, inspired by Thom's proof. Basic examples of Thom–Mather stratified spaces include manifolds with boundary (top dimension and codimension 1 boundary) and manifolds with corners (top dimension, codimension 1 boundary, codimension 2 corners), real or complex analytic varieties, or orbit spaces of smooth transformation groups.
Definition A Thom–Mather stratified space is a triple ( V , S , J ) {\displaystyle (V,{\mathcal {S}},{\mathfrak {J}})} where V {\displaystyle V} is a topological space (often we require that it is locally compact, Hausdorff, and second countable), S {\displaystyle {\mathcal {S}}} is a decomposition of V {\displaystyle V} into strata,
V = ⨆ X ∈ S X , {\displaystyle V=\bigsqcup _{X\in {\mathcal {S}}}X,}
and J {\displaystyle {\mathfrak {J}}} is the set of control data { ( T X ) , ( π X ) , ( ρ X ) | X ∈ S } {\displaystyle \{(T_{X}),(\pi _{X}),(\rho _{X})\ |X\in S\}} where T X {\displaystyle T_{X}} is an open neighborhood of the stratum X {\displaystyle X} (called the tubular neighborhood), π X : T X → X {\displaystyle \pi _{X}:T_{X}\to X} is a continuous retraction, and ρ X : T X → [ 0 , + ∞ ) {\displaystyle \rho _{X}:T_{X}\to [0,+\infty )} is a continuous function. These data need to satisfy the following conditions.
Each stratum X {\displaystyle X} is a locally closed subset and the decomposition S {\displaystyle S} is locally finite. The decomposition S {\displaystyle S} satisfies the axiom of the frontier: if X , Y ∈ S {\displaystyle X,Y\in {\mathcal {S}}} and Y ∩ X ¯ ≠ ∅ {\displaystyle Y\cap {\overline {X}}\neq \emptyset } , then Y ⊆ X ¯ {\displaystyle Y\subseteq {\overline {X}}} . This condition implies that there is a partial order among strata: Y < X {\displaystyle Y<X} if and only if Y ⊂ X ¯ {\displaystyle Y\subset {\overline {X}}} and Y ≠ X {\displaystyle Y\neq X} . Each stratum X {\displaystyle X} is a smooth manifold.
X = { v ∈ T X | ρ X ( v ) = 0 } {\displaystyle X=\{v\in T_{X}\ |\ \rho _{X}(v)=0\}} . So ρ X {\displaystyle \rho _{X}} can be viewed as the distance function from the stratum X {\displaystyle X} . For each pair of strata Y < X {\displaystyle Y<X} , the restriction ( π Y , ρ Y ) : T Y ∩ X → Y × ( 0 , + ∞ ) {\displaystyle (\pi _{Y},\rho _{Y}):T_{Y}\cap X\to Y\times (0,+\infty )} is a submersion. For each pair of strata Y < X {\displaystyle Y<X} , there holds π Y ∘ π X = π Y {\displaystyle \pi _{Y}\circ \pi _{X}=\pi _{Y}} and ρ Y ∘ π X = ρ Y {\displaystyle \rho _{Y}\circ \pi _{X}=\rho _{Y}} (both over the common domain of both sides of the equation).
Examples One of the original motivations for stratified spaces were decomposing singular spaces into smooth chunks. For example, given a singular variety X {\displaystyle X} , there is a naturally defined subvariety, S i n g ( X ) {\displaystyle \mathrm {Sing} (X)} , which is the singular locus. This may not be a smooth variety, so taking the iterated singularity locus S i n g ( S i n g ( X ) ) {\displaystyle \mathrm {Sing} (\mathrm {Sing} (X))} will eventually give a natural stratification. A simple algebreo-geometric example is the singular hypersurface Spec ( C [ x , y , z ] / ( x 4 + y 4 + z 4 ) ) ← ( 0 , 0 , 0 ) Spec ( C ) {\displaystyle {\text{Spec}}\left(\mathbb {C} [x,y,z]/\left(x^{4}+y^{4}+z^{4}\right)\right)\xleftarrow {(0,0,0)} {\text{Spec}}(\mathbb {C} )}
where Spec ( − ) {\displaystyle {\text{Spec}}(-)} is the prime spectrum.
See also Singularity theory Whitney conditions Stratifold Intersection homology Thom's first isotopy lemma stratified space
References Goresky, Mark; MacPherson, Robert Stratified Morse theory, Springer-Verlag, Berlin, 1988. Goresky, Mark; MacPherson, Robert Intersection homology II, Invent. Math. 72 (1983), no. 1, 77—129. Mather, J. Notes on topological stability, Harvard University, 1970. Thom, R. Ensembles et morphismes stratifiés, Bulletin of the American Mathematical Society 75 (1969), pp.240–284. Weinberger, Shmuel (1994). The topological classification of stratified spaces. Chicago Lectures in Mathematics. Chicago, IL: University of Chicago Press. ISBN 9780226885667.