---
title: Stratified Manifolds with Corners
url: https://www.emergentmind.com/topics/stratified-manifolds-with-corners
type: topic
---

# Stratified Manifolds with Corners

“Stratified manifolds with corners” names a family of geometric frameworks in which cornered smooth spaces and singular stratified spaces are related by explicit local models, depth decompositions, and resolution procedures. In the most elementary sense, a manifold with corners already carries a canonical decomposition by boundary codimension. In a stronger sense, a compact Thom–Mather stratified space can be resolved to a manifold with corners with an iterated fibration structure, and the original stratified space can be recovered by collapsing the fibres of those boundary fibrations [1603.04106]. Later developments broaden ordinary corners to manifolds with generalized corners modeled on toric monoids [1501.00401], to b-complex manifolds with generalized corners [2604.22642], and to smooth atlas stratified spaces whose resolutions are manifolds with fibered corners and which coincide with Thom–Mather stratified spaces [2505.14952].

## 1. Corner stratifications and local models

A manifold with corners is locally modeled on
\[
[0,\infty)^k\times \mathbb{R}^{n-k},
\]
or equivalently on open subsets of convex polytopes in the locally polyhedral setting [1603.04106; 2606.14423]. This local model immediately produces a codimension filtration: interior points have codimension \(0\), boundary hypersurface points have codimension \(1\), and higher corners occur where several boundary coordinates vanish simultaneously. In the locally polyhedral formulation, if \(P(x)\) is the smallest face of a polytope containing \(x\), then
\[
\operatorname{ind}_P(x)=n-\dim P(x),
\]
and for a compact locally polyhedral manifold \(M\),
\[
\partial_iM=\{x\in M:\operatorname{ind}_M(x)=i\}
\]
is an \((n-i)\)-dimensional submanifold [2606.14423]. In the generalized-corners setting, the analogous notation is
\[
S^k(X)=\{x\in X:\mathrm{depth}_X x=k\},
\]
and each \(S^k(X)\) is a smooth manifold without boundary of dimension \(m-k\) [2604.22642].

Three recurrent local formalisms organize the subject.

| Framework | Local model | Stratification datum |
|---|---|---|
| Manifolds with corners | \([0,\infty)^k\times \mathbb{R}^{n-k}\) | codimension/depth of vanishing boundary coordinates |
| Manifolds with generalized corners | \(X_P=\operatorname{Hom}_{\bf Mon}(P,[0,\infty))\) | faces of a weakly toric monoid \(P\) |
| Smooth atlas stratified spaces | \(\mathbb{R}^h\times C(Z)\) | poset-indexed conical strata |

For smooth atlas stratified spaces, the local model is conical rather than orthant-like. A point in stratum \(X_a\) has a neighborhood modeled on
\[
\mathbb{R}^h\times C(Z),
\]
where \(Z\) is a compact lower-depth stratified space [2505.14952]. This shifts the emphasis from “how many boundary coordinates vanish” to “what link sits transverse to the stratum.”

This suggests a useful distinction. Ordinary manifolds with corners are already stratified by depth, but only in the simplicial, orthant-type sense. More general theories replace orthants by cones on links or by monoidal models, thereby retaining a stratification while allowing non-simplicial corner combinatorics [1501.00401; 2505.14952].

## 2. Resolution of singular stratified spaces to manifolds with corners

A central paradigm is that singular stratified spaces can be replaced by smooth manifolds with corners that remember the singularities through boundary fibrations. For compact Thom–Mather stratified spaces, iterative radial blow-up of the deepest strata produces a manifold with corners \(\widetilde X\) and a blow-down map
\[
\beta:\widetilde X\to X
\]
such that \(\beta\) restricts to a diffeomorphism from the interior \(\widetilde X^\circ\) onto the regular part \(X_{\mathrm{reg}}\), and each singular stratum \(Y\subset X\) corresponds to a boundary hypersurface \(M_Y\subset \widetilde X\) [1603.04106]. The boundary hypersurface \(M_Y\) is itself the total space of a fibration
\[
Z_Y \longrightarrow M_Y \xrightarrow{\phi_Y} \widetilde Y,
\]
where \(\widetilde Y\) is the resolution of the closure of the stratum and \(Z_Y\) is the resolution of the link.

This is formalized by the notion of a manifold with corners with an iterated fibration structure. Such a structure is a triple \((L,\mathcal F,\Phi)\), where \(L\) is a manifold with corners, \(\mathcal F\) is a collection of collective boundary hypersurfaces, and \(\Phi\) assigns to each \(H\in\mathcal F\) a fibration
\[
Z_H \longrightarrow H \xrightarrow{\phi_H} Y_H,
\]
subject to compatibility conditions over corners. If \(H\) and \(K\) intersect and \(H<K\), then \(Y_K\) has a collective boundary hypersurface \(Y_{HK}\) fibering over \(Y_H\), and the resulting square commutes [1603.04106]. Corners therefore record incidence among strata: if \(Y<Y'\), then the corresponding boundary hypersurfaces satisfy
\[
M_Y\cap M_{Y'}\neq \varnothing.
\]

The structural statement is Theorem 6.3 of Albin’s survey: iteratively blowing up the deepest stratum of a compact Thom–Mather stratified space produces a manifold with corners with an iterated fibration structure, and conversely collapsing the fibres of the boundary fibrations in the correct order reconstructs a Thom–Mather stratified space [1603.04106]. In this sense, a stratified space and its resolved manifold with corners encode the same geometry in singular and desingularized forms.

## 3. Generalized corners and monoidal stratification

Joyce’s category \({\bf Man}^{gc}\) enlarges ordinary manifolds with corners by replacing orthant charts with monoidal models
\[
X_P=\operatorname{Hom}_{\bf Mon}(P,[0,\infty)),
\]
where \(P\) is a weakly toric monoid [1501.00401]. Ordinary corners are recovered from
\[
P=\mathbb N^k\times \mathbb Z^{n-k},
\qquad
X_P\cong [0,\infty)^k\times \mathbb R^{n-k}.
\]
The advantage is that the local corner combinatorics are no longer forced to be simplicial.

For \(x\in X_P\), the support
\[
\operatorname{supp}x=\{p\in P:x(p)\ne 0\}
\]
is a face of \(P\), and \(X_P\) decomposes as
\[
X_P=\coprod_{\text{faces }F\subset P} X_F^P.
\]
Depth is given by
\[
\operatorname{depth}_{X_P}x=\operatorname{codim}(\operatorname{supp}x),
\]
hence
\[
S^l(X_P)=\coprod_{\substack{F\subset P\\ \operatorname{codim}F=l}} X_F^P.
\]
Each stratum is a smooth manifold without boundary of the expected dimension [1501.00401].

The model
\[
X=\{(x_1,x_2,x_3,x_4)\in [0,\infty)^4:x_1x_2=x_3x_4\}
\]
illustrates what generalized corners add. It is \(X_P\) for a toric monoid \(P\), and at its vertex four 2-dimensional boundary faces and four 1-dimensional edges meet. That incidence pattern cannot occur in an ordinary 3-manifold with corners, where a vertex locally looks like \([0,\infty)^3\) [1501.00401]. This suggests that generalized corners capture non-simplicial corner stratifications that ordinary corner charts exclude.

The same paper shows that \(k\)-corners continue to exist, but for \(k\ge 3\) they no longer admit the simplicial description familiar from ordinary corners. For ordinary corners, \(C_k(X)\) is controlled by unordered \(k\)-tuples of local boundary components; for generalized corners this fails in higher codimension [1501.00401]. The resulting geometry is still cornered and stratified, but its incidence combinatorics are toric rather than simplicial.

## 4. Smooth atlas stratified spaces and manifolds with fibered corners

Smooth atlas stratified spaces were introduced to provide a category of smoothly stratified spaces closed under cartesian products and therefore suitable for defining fiber bundles of stratified spaces [2505.14952]. The local charts are conical,
\[
U \xrightarrow{\varphi} \mathbb{R}^h\times C(Z),
\]
and smoothness of transition maps is defined by requiring a smooth stratified lift
\[
\widetilde f:\mathbb{R}^{h_1}\times \mathbb{R}\times Z_1 \to \mathbb{R}^{h_2}\times \mathbb{R}\times Z_2
\]
before collapsing the cone variable [2505.14952]. The paper proves that this class coincides with Thom–Mather stratified spaces and is closed under products.

The resolution of a smooth atlas stratified space is a manifold with fibered corners. Here a boundary stratification is a poset stratification of a manifold with corners \(M\) such that each stratum \(\partial_a M\) is either the interior or a collective boundary hypersurface, and each \(\partial_a M\) carries a bundle
\[
F_aM \longrightarrow \partial_a M \xrightarrow{\phi_a} B_aM
\]
compatible with the incidence of boundary hypersurfaces [2505.14952]. The blow-up procedure is iterative: one replaces a minimal singular stratum by a new boundary hypersurface \(S_a\) equipped with a bundle over \(\overline{X_a}\), then repeats.

The full resolution theorem states that for every smooth atlas stratified space \(X\), the resolution \(\mathrm{res}(X)\) is a manifold with fibered corners, with blowdown
\[
\beta_X:\mathrm{res}(X)\to X,
\]
and
\[
\partial_a\mathrm{res}(X)=\beta_X^{-1}(\overline{X_a}).
\]
If \(Z\) is the link of \(X_a\), then the fibre of the boundary fibration over \(\partial_a\mathrm{res}(X)\) is \(\mathrm{res}(Z)\) [2505.14952]. In the opposite direction, every manifold with fibered corners arises as the resolution of some smooth atlas stratified space, and smooth stratified maps are exactly those maps that lift to smooth fibered-corners maps between the resolutions.

A distinctive feature of the smooth-atlas approach is product compatibility. If \(X_1\) and \(X_2\) are smooth atlas stratified spaces, then \(X_1\times X_2\) is again smoothly stratified, locally through
\[
\mathbb{R}^{h_1}\times C(Z_1)\times \mathbb{R}^{h_2}\times C(Z_2)
=
\mathbb{R}^{h_1+h_2}\times C(Z_1*Z_2),
\]
with \(Z_1*Z_2\) the join [2505.14952]. This gives a workable notion of fiber bundle of stratified spaces, something the paper presents as a substantial practical advantage.

## 5. Analytic, differential, and complex structures on resolved corners

Once a stratified space has been resolved to a manifold with corners carrying fibration data, one can formulate analysis in smooth terms. In Hodge theory on stratified spaces, the relevant cotangent object is the wedge cotangent bundle \({}^wT^*\widetilde X\), locally spanned near a depth-one boundary fibration by
\[
dr,\quad dy_1,\dots,dy_h,\quad r\,dz_1,\dots,r\,dz_v,
\]
and a rigid wedge metric has the form
\[
g=dr^2+r^2 g_Z+\phi^*g_Y
\]
near the boundary [1603.04106]. In higher depth this becomes a rigid iterated wedge metric, and the de Rham operator is analyzed on \(\Lambda^\bullet({}^wT^*\widetilde X)\). Mezzoperversities then define ideal boundary conditions and yield Hodge and signature theories for Cheeger spaces [1603.04106].

For manifolds with fibred corners, the pseudodifferential side is governed by the groupoid of \(\phi\)-calculus. The associated groupoid \(\Gamma_\phi(X)\) is the holonomy groupoid of the singular foliation defined by vector fields tangent to the boundary fibrations, and the paper proves that the compactly supported pseudodifferential calculus on \(\Gamma_\phi(X)\) coincides with Mazzeo–Melrose’s small \(\phi\)-calculus [1310.6585]. In the fibred-boundary case,
\[
\Gamma_\phi(X)=
(\partial X\times_Y \partial X\times_Y TY\times \mathbb R_+^*)
\sqcup
X^\circ\times X^\circ.
\]
This places analysis on fibred-corner resolutions into the framework of singular foliations, Lie groupoids, and noncommutative geometry [1310.6585].

Other differential structures persist on manifolds with corners themselves. Moser’s theorem extends to compact manifolds with corners: if \(\mu_0\) and \(\mu_1\) are smooth positive densities with equal total volume, there exists a diffeomorphism \(\varphi\) such that
\[
\mu_1=\varphi^*\mu_0,
\]
and \(\varphi\) can be chosen to be the identity on \(\partial M\) if and only if
\[
\mu_0=\mu_1 \quad\text{on } \partial^{\ge 2}M
\]
[1604.07787]. In a different direction, if \(M\) is a compact locally polyhedral smooth manifold, then \(\mathrm{Diff}^\infty(M)\) is a regular Lie group modeled on the stratified vector fields
\[
\mathcal V^\infty_{\mathrm{str}(M)},
\qquad
X(\partial_iM)\subseteq T\partial_iM
\]
for all \(i\); manifolds with corners are a special case of this locally polyhedral setting [2606.14423].

The complex-geometric variant replaces the ordinary tangent bundle by the b-tangent bundle. A b-complex structure is a complex structure
\[
J:{}^bTX\to {}^bTX
\]
satisfying a transversality condition along every corner stratum, and the paper proves a formal Newlander–Nirenberg theorem: near each depth-\(k\) stratum, \(J\) agrees to infinite order with a standard model on a manifold with generalized corners [2604.22642]. This suggests that corner strata can support logarithmic complex geometry compatible with the ambient stratification.

## 6. Applications, examples, and categorical variants

Several recent constructions treat the corner stratification as active geometric input rather than as a technical nuisance. In toric topology, a “nice manifold with corners” \(Q\) is stratified by codimension, and the generalized moment-angle manifold \(\mathcal Z_Q\) is built from the face data of \(Q\). Its stable splitting is
\[
\mathbf{\Sigma}(\mathcal Z_Q)\simeq
\bigvee_{J\subseteq [m]} \mathbf{\Sigma}^{|J|+1}(Q/F_J),
\]
and the cohomology groups satisfy
\[
H^p(\mathcal Z_Q)\cong \bigoplus_{J\subseteq [m]} H^{p-|J|}(Q,F_J),
\]
so the topology of the face stratification directly controls the invariants [2011.10366]. In Morse theory, compactified trajectory spaces admit smooth manifold-with-corners structures whose \(k\)-stratum is the space of \(k\)-fold broken trajectories, with associative gluing maps built from the corner charts [1205.0713].

Low-dimensional topology gives a different manifestation. “Cornered skein lasagna theory” extends skein lasagna theory to compact oriented smooth 4-manifolds with corners
\[
\partial X\cong (-Y_1)\cup_\Sigma Y_2,
\]
where the codimension-2 corner \(\Sigma\) carries marked-point data and gluing along a common codimension-1 face is expressed by tensor product of bimodules [2512.05861]. Although that paper does not formulate a general theory of stratified spaces, it treats codimensions \(0\), \(1\), and \(2\) in a distinctly stratified manner.

Categorical and sheaf-theoretic variants show the same pattern. There is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos that preserves open covers and transverse fibre products, and gluing manifolds with corners along a common face coincides with a pushout along an infinitesimally thickened face [1503.07408]. In another direction, Poisson structures on manifolds with corners can be formulated sheaf-theoretically as morphisms
\[
\{-,-\}:\mathcal O_X\times \mathcal O_X\to \mathcal O_X
\]
satisfying Leibniz and Jacobi identities, where \(\mathcal O_X(U)=C^\infty(U)\) is the sheaf of admissible smooth functions [1601.00089].

Taken together, these constructions support a broad but coherent picture. The phrase “stratified manifolds with corners” may refer to manifolds with corners equipped with their canonical depth stratification, to desingularized models of Thom–Mather spaces via iterated or fibered corners, or to generalized-corner and b-geometric extensions. Across these variants, the recurring principle is stable: strata are encoded by corner faces, links appear as fibers of boundary fibrations, and singular geometry is converted into smooth corner geometry without discarding the incidence structure that made the space stratified in the first place.

Source: https://www.emergentmind.com/topics/stratified-manifolds-with-corners