---
title: Local Fibration in Singularity Theory
url: https://www.emergentmind.com/topics/local-fibration
type: topic
---

# Local Fibration in Singularity Theory

Searching arXiv for relevant papers on local fibration and related Milnor-type fibrations.
Local fibration denotes a fibration structure defined in a sufficiently small neighborhood of a distinguished point, subset, or local base, rather than on an entire global space. In singularity theory, the term usually refers to Milnor-type tube or sphere fibrations for analytic or semi-algebraic maps near a critical value, either over the complement of the zero value or over the complement, or a stratification, of a positive-dimensional discriminant. In broader usage, the same expression is generalized to Grothendieck-topological fibrations, Lie algebroid fibrations, and quantitative bundle theorems under local curvature and regularity assumptions [1409.5053] [1711.07544] [2507.14379] [2605.24380].

## 1. Milnor’s local model and its real-analytic variants

The classical prototype is Milnor’s fibration for a holomorphic germ
\[
f:(\mathbb C^{n+1},0)\to(\mathbb C,0),
\]
for which, when \(\varepsilon>0\) is sufficiently small, the normalized map
\[
\frac{f}{|f|}:S^{2n+1}_\varepsilon\setminus f^{-1}(0)\to S^1
\]
is a smooth locally trivial fibration. Milnor also proved the corresponding tube fibration
\[
f:B^{2n+2}_\varepsilon\cap f^{-1}(S^1_\delta)\to S^1_\delta,
\]
and Lê Dũng Tráng showed that this tube fibration is fiber-equivalent to the sphere fibration. The fiber
\[
F_t=f^{-1}(t)\cap B^{2n+2}_\varepsilon
\]
is the Milnor fiber; in the isolated critical point case it has the homotopy type of a bouquet of \(n\)-spheres, and
\[
\chi(F_t)=1+(-1)^n\mu_f,
\]
where \(\mu_f\) is the Milnor number [1409.5053].

For a real analytic germ
\[
F:(\mathbb R^n,0)\to(\mathbb R^p,0),\qquad n>p\ge 2,
\]
Milnor proved an analogous tube fibration under isolated singularity assumptions:
\[
F:B^n_\varepsilon\cap F^{-1}(S^{p-1}_\delta)\to S^{p-1}_\delta.
\]
He also constructed a vector field on the complement of the zero set \(V=F^{-1}(0)\) whose flow pushes the tube fibration onto a sphere fibration
\[
F:S^{n-1}_\varepsilon\setminus \operatorname{Lk}(V)\to S^{p-1},
\]
where \(\operatorname{Lk}(V)=V\cap S^{n-1}_\varepsilon\). In the real case, however, the sphere fibration is not automatically given by the normalized map \(F/\|F\|\), and the sphere-side construction is subtler because the projection on the punctured sphere is generally not proper when the link is nonempty [1409.5053].

For non-isolated real singularities, Milnor-type fibrations require extra regularity. The survey literature records Milnor-type conditions such as \(E_F\subset V\) near \(0\) and isolation of \(0\) in \(V\cap M(F)\setminus V\), where \(M(F)\) is the Milnor set, together with stronger hypotheses such as \(d\)-regularity and Thom \(a_F\)-type conditions. Under such assumptions one recovers local fibrations on tubes, sphere fibrations, and open-book structures with singular binding [1409.5053].

## 2. Semi-algebraic open books and normalized sphere fibrations

A particularly explicit local-fibration criterion is given for a \(C^2\) semi-algebraic map
\[
F=(f_1,\dots,f_p):\mathbb R^N\to\mathbb R^p,\qquad 2\le p\le n-1,
\]
restricted to a smooth, compact, embedded semi-algebraic manifold \(W\subset\mathbb R^N\) of dimension \(n-1\), without boundary. Writing
\[
V(F)=F^{-1}(0),\qquad V_W(F)=V(F)\cap W,
\]
the object of study is the direction map
\[
\frac{F}{\|F\|}:W\setminus V_W(F)\longrightarrow S^{p-1}.
\]
The paper formulates two conditions: condition (a), excluding bad accumulation of critical points near \(V_W(F)\), and condition (b), requiring that the restriction \(F_W:=F|_W\) have no critical points on \(W\setminus V_W(F)\). Under condition (a), Theorem 2.1 states that
\[
\frac{F}{\|F\|}:W\setminus V_W(F)\to S^{p-1}
\]
is a \(C^2\) locally trivial fibration if and only if condition (b) holds [1409.4316].

The proof localizes near the origin in the target, uses the Curve Selection Lemma to obtain a proper surjective submersion
\[
F:F^{-1}(D_\varepsilon\setminus\{0\})\cap W\to D_\varepsilon\setminus\{0\},
\]
applies Ehresmann’s theorem there, composes with radial projection to \(S^{p-1}\), and then glues this localized fibration with the proper submersion on the outer region
\[
F:W\setminus F^{-1}(D_\varepsilon)\to S^{p-1}.
\]
In this setting, the resulting local fibration is described as an open book structure induced by \(F\), with binding
\[
V_W(F)=W\cap F^{-1}(0)
\]
and pages given by the fibers
\[
\left(\frac{F}{\|F\|}\right)^{-1}(\theta),\qquad \theta\in S^{p-1}
\]
[1409.4316].

The same framework recovers the real local Milnor fibration when \(W\) is a small sphere
\[
W=S^{N-1}_\varepsilon=\rho^{-1}(\varepsilon),\qquad \rho(x)=\|x\|^2.
\]
Then
\[
\frac{F}{\|F\|}:S^{N-1}_\varepsilon\setminus K_\varepsilon\to S^{p-1},\qquad
K_\varepsilon=S^{N-1}_\varepsilon\cap F^{-1}(0),
\]
is the generalized open book with singular binding on the small sphere. The paper further analyzes the vectors
\[
w_{ij}(x)=f_i(x)\nabla f_j(x)-f_j(x)\nabla f_i(x),
\]
the Milnor equality
\[
f_i w_{jk}+f_k w_{ij}+f_j w_{ki}=0,
\]
and projected maps obtained by forgetting coordinates, thereby making the transversality mechanism concrete [1409.4316].

## 3. Positive-dimensional discriminants and singular tube fibrations

When the discriminant is strictly positive-dimensional, the classical isolated-value formulation is no longer adequate. One approach begins with the notion of a nice map germ \(G:(\mathbb R^m,0)\to(\mathbb R^p,0)\), meaning that both \(\operatorname{Im}G\) and \(G(\operatorname{Sing}G)\) are well-defined as set germs at \(0\). In this setting, the discriminant is defined by
\[
\operatorname{Disc}G:=G(\operatorname{Sing}G)\cup \partial\operatorname{Im}G,
\]
where \(\partial\operatorname{Im}G\) is the boundary germ of the image. For a non-constant nice analytic germ, the Milnor-Hamm fibration is the local fibration
\[
G:B_\varepsilon^m\cap G^{-1}(B_\eta^p\setminus \operatorname{Disc}G)\to B_\eta^p\setminus \operatorname{Disc}G
\]
over each connected component of the complement of the discriminant, independent of the choices of \(\varepsilon,\eta\) up to diffeomorphism. A sufficient condition is
\[
\overline{M(G)\setminus G^{-1}(\operatorname{Disc}G)}\cap V_G\subset\{0\},
\]
where \(M(G)\) is the Milnor set and \(V_G=G^{-1}(0)\). The paper also introduces \(d\)-Thom regularity at \(V_G\) as a weaker alternative to full Thom regularity and proves that it suffices for the existence of the Milnor-Hamm fibration [1711.07544].

The same work defines a stronger singular Milnor tube fibration, designed to include the stratified discriminant itself. Given a regular stratification \((\mathcal W,\mathcal S)\) for a non-constant \(\mathcal S\)-nice analytic germ, the map
\[
G:B_\varepsilon^m\cap G^{-1}(B_\eta^p\setminus\{0\})\to B_\eta^p\setminus\{0\}
\]
is required to be a stratified locally trivial fibration, independent up to stratified homeomorphism of \(\varepsilon,\eta\). The corresponding criterion is the stratified Milnor-set condition
\[
\overline{M(G)\setminus G^{-1}(0)}\cap V_G\subset\{0\}.
\]
This formulation is explicitly broader than the Milnor-Hamm fibration, since it incorporates strata contained in the discriminant and can detect nontrivial topology even when the interesting fibers lie over discriminant strata [1711.07544].

A related but differently organized theory is developed for analytic germs
\[
G:(K^m,0)\to(K^p,0),\qquad m\ge p\ge 1,\quad K=\mathbb R\text{ or }\mathbb C,
\]
under the tameness condition. Here the Milnor set is defined stratwise, and tameness means, in the authors’ formulation, that the bad points of the Milnor set away from the central fiber are isolated at the origin. The main theorem states that if
\[
G:(\mathbb R^m,0)\to(\mathbb R^p,0),\qquad m>p\ge 2,
\]
is a non-constant analytic germ and is tame, then \(G\) has a singular Milnor tube fibration
\[
G:B_\varepsilon\cap G^{-1}(B_\eta\setminus\{0\})\longrightarrow B_\eta\setminus\{0\},
\]
and this fibration is independent, up to stratified homeomorphism, of the choices of small radii. In the isolated singular value case, tameness becomes \(p\)-regularity, and the image is locally open:
\[
(\operatorname{Im}G,0)=(\mathbb R^p,0).
\]
The same framework also yields a composition theorem: if \(F\) is tame and has isolated singular value and \(G\) has an isolated singular point, then \(H=G\circ F\) is tame, locally open, and admits a local tube fibration [2212.05826].

A common misconception is that positive-dimensional discriminant necessarily precludes a controlled local fibration. The cited results show the opposite: the obstruction is not the positive dimension of the discriminant itself, but the failure of image/discriminant stability and the failure of transversality encoded by the Milnor set [1711.07544] [2212.05826].

## 4. Tube fibrations, sphere fibrations, and normalization by target change

For real analytic maps, two local fibrations coexist: the Milnor tube fibration
\[
f:B_\varepsilon^n\cap f^{-1}(S_\delta^{p-1}\setminus \Delta_\delta)\to S_\delta^{p-1}\setminus \Delta_\delta
\]
and the sphere fibration
\[
\frac{f}{\|f\|}:S_\varepsilon^{n-1}\setminus f^{-1}(\Delta)\to S^{p-1}\setminus \mathcal A,
\]
where \(\Delta\) is the discriminant and \(\mathcal A\) its radial projection. The bridge between them is \(d\)-regularity. Using the canonical pencil
\[
X_\ell=\{x\in U\mid f(x)\in L_\ell\},\qquad \ell\in\mathbb RP^{p-1},
\]
\(f\) is \(d\)-regular when sufficiently small spheres meet each \(X_\ell\setminus V\) transversely, with \(V=f^{-1}(0)\). The paper proves that \(d\)-regularity is equivalent to the spherefication map
\[
\Psi(x)=\|x\|\frac{f(x)}{\|f(x)\|}
\]
being a submersion, and hence to \(f/\|f\|\) being a submersion on the source sphere [2104.04038].

The equivalence of the two local fibrations is established by constructing a vector field \(\tilde w\) that is transverse to small spheres, transverse to Milnor tubes, and satisfies that \(f/\|f\|\) is constant on its integral curves. Its flow inflates the tube to the sphere while preserving the angular data, yielding equivalence of the two fiber bundles. In the linear-discriminant setting, the theorem states that if \(f\) is locally surjective, has linear discriminant, satisfies the transversality property, and is \(d\)-regular in the ball \(B_\varepsilon\), then the tube bundle and the sphere bundle are equivalent [2104.04038].

A later refinement shows that the failure of the naive normalized map \(f/\|f\|\) is not intrinsic. For a locally surjective real analytic map-germ
\[
f:(\mathbb R^n,0)\to(\mathbb R^k,0),\qquad 2\le k\le n,
\]
with isolated critical value and the transversality property, there exists a homeomorphism
\[
h:(\mathbb R^k,0)\to(\mathbb R^k,0)
\]
such that
\[
\frac{h^{-1}\circ f}{\|h^{-1}\circ f\|}:S^{n-1}_\varepsilon\setminus f^{-1}(0)\to S^{k-1}
\]
is a smooth locally trivial fibration, equivalent to both the Milnor-Lê fibration on the tube and the Milnor fibration on the sphere. The construction uses conic homeomorphisms \(h_\alpha\) produced by vector fields
\[
\vec v_\alpha(y)=y+\|y\|^2\alpha
\]
and the notion of \(d_h\)-regularity, where the relevant transversality is tested against preimages of the curved rays \(C_\theta=h(L_\theta)\) rather than ordinary radial lines [2601.03538].

This body of work isolates two separate issues. The first is existence of a tube fibration, governed by transversality to spheres and properness. The second is representability of the sphere fibration by a normalized map, governed by \(d\)-regularity or, after target change, by \(d_h\)-regularity [2104.04038] [2601.03538].

## 5. Homotopy, coordinate projections, and Euler-characteristic formulas

Once a local fibration exists, one central problem is the extent to which its fiber is stable under natural operations. For semi-algebraic open books, composition with canonical coordinate projections preserves the fibration data. If
\[
G=T_p\circ F=(f_1,\dots,f_{p-1}),
\]
then \(G\) inherits the good conditions from \(F\), and Theorem 3.6 states that the fiber \(M_G\) is homotopy equivalent to the original fiber \(M_F\):
\[
M_G\simeq M_F.
\]
For \(p=2\), the two fibers determined by the sign choices of \(f_1\) are likewise homotopy equivalent to the fiber of \(F\). More generally, submaps obtained by selecting coordinates retain the fiber homotopy type as long as the target dimension is at least \(1\) [1409.4316].

The same paper derives explicit Euler-characteristic relations between the fiber and zero sets of coordinate submaps. One fundamental identity is
\[
\chi\!\left(V_W(G)\right)-\chi\!\left(V_W(F)\right)=(-1)^{n-p}\,2\,\chi(M_F).
\]
Its final summary theorem expresses \(\chi(V_W(f_I))\) in terms of \(\chi(M_F)\), the parity of \(n\), and the cardinality \(\ell=|I|\). These formulas show that the topology of the relative link constrains the fiber, and conversely [1409.4316].

Survey treatments place these relations in a broader Poincaré–Hopf framework. In the complex isolated singularity case,
\[
\chi(F_t)=1+(-1)^n\mu_f,
\qquad
\mu_f=\deg_0(\nabla f).
\]
For real analytic mappings with isolated singularity,
\[
\text{if } n \text{ is even,}\qquad \chi(M_F)=1-\deg_0(\nabla f_i),
\]
whereas
\[
\text{if } n \text{ is odd,}\qquad \chi(M_F)=1.
\]
For non-isolated singularities satisfying Milnor-type conditions, the survey records link identities such as
\[
\chi\bigl(\operatorname{Lk}^0(V_J)\bigr)-\chi\bigl(\operatorname{Lk}^0(V_I)\bigr)=(-1)^{n-1}2\,\chi(M_F),
\]
together with Szafraniec-type perturbation formulas involving the degree of a normalized gradient vector field [1409.5053].

Stability also appears at the level of map composition. If
\[
F:(\mathbb R^m,0)\to(\mathbb R^p,0),\qquad
G:(\mathbb R^p,0)\to(\mathbb R^k,0),
\]
with \(m\ge p\ge k\ge 2\), where \(F\) is tame and has isolated singular value and \(G\) has an isolated singular point at the origin, then \(H:=G\circ F\) is tame, locally open, and admits a local tube fibration. In particular, for a \(p\)-regular map
\[
F=(g_1,\dots,g_p):(\mathbb R^m,0)\to(\mathbb R^p,0),\qquad p\ge 3,
\]
the submap
\[
H=(g_1,\dots,g_{p-1})
\]
has a tube fibration, and its Milnor fiber is homeomorphic to the Milnor fiber of \(F\) times an open interval [2212.05826].

## 6. Broader meanings of local fibration

Outside singularity theory, local fibration has several distinct technical meanings. In Lie algebroid theory, a Lie algebroid fibration is defined as a surjective Lie algebroid morphism
\[
A_E\xrightarrow{\pi}A_B
\]
covering a submersion \(E\to B\) and admitting a complete Ehresmann connection. Such fibrations are not expected to be locally trivial products in the ordinary sense; the paper emphasizes instead orbit-wise local triviality, and proves that when the base is \(TB\), every point \(b\in B\) has a neighborhood \(\mathcal U\) such that
\[
\pi^{-1}(T\mathcal U)\simeq K|_{E_b}\times T\mathcal U,
\]
where \(K=\ker\pi\) [1001.4904].

In categorical topos theory, local fibrations generalize ordinary fibrations by incorporating Grothendieck topologies on source and base categories. For a comorphism of sites
\[
p:(\mathcal D,K)\to(\mathcal C,J),
\]
the local lifting property is weakened from the existence of a single cartesian lift to the existence, for every arrow \(f:c\to p(d)\), of a \(J\)-covering family
\[
(f_i:p(d_i)\to c)_i
\]
and locally cartesian arrows
\[
\widehat f_i:d_i\to d
\]
such that
\[
f\circ f_i=p(\widehat f_i).
\]
This notion is strong enough to recover site-level presentations of relative toposes: a morphism of sites induces a morphism of relative toposes if and only if it is a morphism of local fibrations [2507.14379].

In Riemannian and synthetic geometry, the phrase appears in bundle theorems derived from local regularity. A noncollapsed
\[
\mathrm{RCD}(-\epsilon,n)
\]
space with bounded diameter and satisfying the \((r,\delta)\)-local rewinding Reifenberg condition is homeomorphic to a fiber bundle over the torus \(T^{b_1(X)}\). Here the local rewinding Reifenberg condition requires that the universal cover of each \(r\)-ball be \(\delta\)-close to Euclidean balls at all smaller scales, and it is precisely this local hypothesis that upgrades an almost submetry to a topological fiber bundle [2605.24380].

A further usage occurs in the isoresidual fibration of genus-zero meromorphic differentials. For the stratum
\[
\mathcal H(a,-b_1,\dots,-b_p),
\]
the residue map
\[
\mathrm{res}:\mathcal H(a,-b_1,\dots,-b_p)\to
R_p,\qquad
R_p=\{(\lambda_1,\dots,\lambda_p)\in\mathbb C^p:\sum_i\lambda_i=0\},
\]
is an unramified cover over the complement of the resonance arrangement
\[
\mathcal A_p=\bigcup_{\varnothing\neq I\subsetneq\{1,\dots,p\}} \left\{\sum_{i\in I}\lambda_i=0\right\},
\]
with degree
\[
\frac{a!}{(a+2-p)!}.
\]
Here the “local fibration” behavior is discrete rather than Milnor-type: away from resonance hyperplanes the map is locally a finite étale cover, while over the arrangement branching and degeneration occur [2007.14872].

Taken together, these usages show that local fibration is not a single invariant construction but a family of closely related ideas: local triviality near singularities, local lifting up to cover, local transport determined by a complete connection, and local bundle structure extracted from quantitative regularity. The common core is the replacement of global product structure by a controlled local lifting or local trivialization principle.

Source: https://www.emergentmind.com/topics/local-fibration