Fibred Cusp Spaces in Geometric Analysis

• Fibred cusp spaces are singular or noncompact spaces organized by boundary fibrations and resolved into manifolds with fibred corners using iterated cusp metrics.
• They employ a sophisticated microlocal calculus that links differential operators to full ellipticity and Fredholm conditions.
• These spaces connect analytic and topological methods by relating weighted L2 and intersection cohomology with K-homological duality.

Fibred cusp spaces are singular or noncompact spaces whose geometry is organized by a boundary fibration and a cusp-type metric. A conceptual formulation is that a fibred cusp space is best thought of as a stratified pseudomanifold $S$ together with a resolution into a manifold with fibred corners $(X,\pi)$, an iterated fibred cusp metric $g_{ifc}=x^2g_\pi$ on the regular part $X^\circ$, and a compatible differential and pseudodifferential calculus built from the Lie algebroid ${}^\pi TX$ of fibred cusp vector fields. In depth one this reduces to the model $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$; in higher depth it is iterated along the stratification (Debord et al., 2011).

1. Resolution of singular spaces into fibred corners

A stratified pseudomanifold $(S,\mathcal S,N)$ is, roughly, a space obtained by gluing together smooth manifolds of different dimensions in a controlled way. The regular part $X^\circ\subset S$ is a dense open smooth manifold, while the singular part is decomposed into strata $s\in\mathcal S$, partially ordered by

$s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$

Each singular stratum $(X,\pi)$0 comes with control data $(X,\pi)$1, where $(X,\pi)$2 is an open neighborhood of $(X,\pi)$3, $(X,\pi)$4 is a continuous retraction, and $(X,\pi)$5 is a radial function with $(X,\pi)$6. The pair $(X,\pi)$7 locally trivializes $(X,\pi)$8 as a bundle of cones $(X,\pi)$9, with link $g_{ifc}=x^2g_\pi$0. The depth $g_{ifc}=x^2g_\pi$1 is the length of the longest chain of strata; it measures the complexity of the singularities (Debord et al., 2011).

The analytic difficulty is that operators such as the Laplacian “feel” the singularities through this iterated cone geometry. Melrose’s resolution replaces the singular space by a manifold with corners carrying compatible fibrations on its boundary hypersurfaces. A manifold with fibred corners $g_{ifc}=x^2g_\pi$2 is a manifold with corners together with fibrations

$g_{ifc}=x^2g_\pi$3

for each boundary hypersurface $g_{ifc}=x^2g_\pi$4, subject to a partial order and compatibility conditions at intersections. Whenever $g_{ifc}=x^2g_\pi$5, the intersection $g_{ifc}=x^2g_\pi$6 is nonempty, $g_{ifc}=x^2g_\pi$7, and $g_{ifc}=x^2g_\pi$8 is a boundary hypersurface $g_{ifc}=x^2g_\pi$9 with a submersion $X^\circ$0 such that

$X^\circ$1

Thus higher-codimension corners inherit iterated fibrations, and both bases and fibres are again manifolds with fibred corners (Debord et al., 2011).

For a stratified pseudomanifold $X^\circ$2 of depth $X^\circ$3, one obtains a canonical manifold with fibred corners by repeatedly unfolding minimal strata and doubling conical neighborhoods. Conversely, given a manifold with fibred corners $X^\circ$4, one re-collapses each fibre of $X^\circ$5 to recover a stratified pseudomanifold $X^\circ$6. The two constructions are mutually inverse up to canonical identifications; in particular, a stratified pseudomanifold $X^\circ$7 is equivalently encoded by a manifold with fibred corners $X^\circ$8 with $X^\circ$9 (Debord et al., 2011). In the smoothly stratified setting this resolution is also described by a map ${}^\pi TX$0 from a manifold with fibred corners whose boundary hypersurfaces fibre over the singular strata and whose fibres resolve the links (Hunsicker et al., 2012).

2. Metrics and the fibred cusp differential structure

In depth one, near a singular stratum ${}^\pi TX$1 with typical link ${}^\pi TX$2, the regular part looks like ${}^\pi TX$3. Two model metrics are fundamental: ${}^\pi TX$4 The first is an incomplete edge metric. The second is a fibred cusp metric: it is complete and of finite volume near ${}^\pi TX$5. The conformally related metric

${}^\pi TX$6

is the prototype of a fibred boundary or fibred cusp-type metric (Debord et al., 2011). For a pseudomanifold with one smooth singular stratum ${}^\pi TX$7, the regular part ${}^\pi TX$8 is the interior of a manifold with boundary ${}^\pi TX$9, and near the boundary $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$0 the product-type fibred cusp metric is

$g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$1

where $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$2 is a Riemannian metric on the base and $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$3 is positive definite on the vertical tangent bundle $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$4 and independent of $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$5 (Hunsicker, 2014).

The intrinsic differential structure is encoded by the $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$6-vector fields. If $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$7 is a manifold with fibred corners and $g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$8 are boundary defining functions, then

$g_{fc}=\frac{dr^2}{r^2}+g_E+r^2g_L$9

is the Lie algebra of vector fields tangent to all boundary hypersurfaces, while

$(S,\mathcal S,N)$0

is the Lie algebra of fibred cusp vector fields. In local coordinates $(S,\mathcal S,N)$1, with

$(S,\mathcal S,N)$2

the space $(S,\mathcal S,N)$3 is locally spanned by

$(S,\mathcal S,N)$4

Its smooth sections define the $(S,\mathcal S,N)$5-tangent bundle $(S,\mathcal S,N)$6, and the anchor $(S,\mathcal S,N)$7 is an isomorphism over the interior and degenerates at the boundary in a controlled way (Debord et al., 2011).

An $(S,\mathcal S,N)$8-metric is a smooth fibrewise positive definite metric on $(S,\mathcal S,N)$9. In local coordinates a model $X^\circ\subset S$0-metric is

$X^\circ\subset S$1

Let $X^\circ\subset S$2. The iterated fibred cusp metric is then

$X^\circ\subset S$3

Near a single boundary hypersurface this reduces to

$X^\circ\subset S$4

and by iteration it produces a complete metric whose degeneration pattern reflects the iterated fibration structure. Vector fields compatible with $X^\circ\subset S$5 are precisely $X^\circ\subset S$6-vector fields (Debord et al., 2011). In the survey literature one also writes a general $X^\circ\subset S$7-$X^\circ\subset S$8-metric as

$X^\circ\subset S$9

with $s\in\mathcal S$0 giving fibred cusp metrics and $s\in\mathcal S$1 incomplete fibred cusp metrics (Grieser et al., 21 Jul 2025).

3. Microlocal calculus, symbols, and full ellipticity

The basic pseudodifferential calculus is constructed on a blown-up double space. Starting from $s\in\mathcal S$2, one first forms the $s\in\mathcal S$3-double space

$s\in\mathcal S$4

then blows up the lifted fibre diagonals $s\in\mathcal S$5 to obtain the $s\in\mathcal S$6-double space

$s\in\mathcal S$7

If $s\in\mathcal S$8 denotes the diagonal, its lift

$s\in\mathcal S$9

is a clean embedded $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$0-submanifold of $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$1. The lifts of $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$2 are transversal to $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$3, and there are canonical identifications

$s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$4

Thus the normal directions to the lifted diagonal are exactly the covectors in the $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$5-cotangent bundle (Debord et al., 2011).

For vector bundles $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$6, the space $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$7 consists of operators whose Schwartz kernels are conormal distributions of order $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$8 to $s_0 \le s_1 \iff s_0 \subset \overline{s_1}.$9, taking values in

$(X,\pi)$00

and vanishing to infinite order at all boundary hypersurfaces of $(X,\pi)$01 except the front faces $(X,\pi)$02. The calculus is closed under composition: $(X,\pi)$03 and contains the $(X,\pi)$04-differential operators generated by $(X,\pi)$05 (Debord et al., 2011).

The principal symbol

$(X,\pi)$06

fits into short exact sequences

$(X,\pi)$07

For each boundary hypersurface $(X,\pi)$08, restriction of the kernel to the front face $(X,\pi)$09 yields the normal operator

$(X,\pi)$10

which can be interpreted as a $(X,\pi)$11-suspended family of $(X,\pi)$12-operators acting on the fibres of $(X,\pi)$13. These are the noncommutative symbols of the calculus (Debord et al., 2011).

The correct Fredholm condition is full ellipticity. An operator $(X,\pi)$14 is fully elliptic if it is elliptic and each normal family

$(X,\pi)$15

is invertible on Schwartz sections. Fully elliptic operators admit refined parametrices: $(X,\pi)$16 with remainders smoothing and vanishing to infinite order at the boundary. For classical operators,

$(X,\pi)$17

is Fredholm if and only if $(X,\pi)$18 is fully elliptic, and for $(X,\pi)$19,

$(X,\pi)$20

(Debord et al., 2011).

4. Hodge theory and intersection cohomology

For a pseudomanifold with one smooth singular stratum $(X,\pi)$21, the regular part $(X,\pi)$22 with a fibred cusp metric supports weighted $(X,\pi)$23 complexes

$(X,\pi)$24

with weighted Gauss–Bonnet operator

$(X,\pi)$25

The weighted $(X,\pi)$26 harmonic forms are

$(X,\pi)$27

and the extended weighted $(X,\pi)$28 harmonic forms are

$(X,\pi)$29

The relation between weight and perversity is

$(X,\pi)$30

where $(X,\pi)$31 is the dimension of the link. For sufficiently small $(X,\pi)$32,

$(X,\pi)$33

while the extended harmonic forms decompose as

$(X,\pi)$34

with

$(X,\pi)$35

(Hunsicker, 2014).

In the geometrically flat setting, extended harmonic forms have boundary asymptotics

$(X,\pi)$36

with coefficients in the bundle of fibre harmonic forms of degree $(X,\pi)$37. The boundary values define a symplectic space

$(X,\pi)$38

and for $(X,\pi)$39 even and $(X,\pi)$40 the images of the exact and coexact boundary maps form a Lagrangian subspace. This is the fibred cusp analogue of APS boundary conditions (Hunsicker, 2014).

For smoothly stratified spaces of arbitrary depth, a quasi iterated fibred cusp metric $(X,\pi)$41 on the regular set $(X,\pi)$42 is locally quasi-isometric to

$(X,\pi)$43

where $(X,\pi)$44 is again a quasi iterated fibred cusp metric on the link. For any perversity $(X,\pi)$45, with weight

$(X,\pi)$46

one has

$(X,\pi)$47

For a Witt space, the unweighted $(X,\pi)$48-cohomology satisfies

$(X,\pi)$49

(Hunsicker et al., 2012).

A foliated version replaces the boundary fibration by a Seifert fibration. For foliated cusp metrics, the $(X,\pi)$50 harmonic forms are identified with the image

$(X,\pi)$51

and in the Witt case

$(X,\pi)$52

(Gell-Redman et al., 2012). In a complementary direction, for manifolds with fibered cusp metrics one finds harmonic representatives of the de Rham cohomology $(X,\pi)$53 as special values or residues of generalized eigenforms of the Hodge-Laplace operator on $(X,\pi)$54 (Müller, 2010).

5. Resolvent, heat kernel, and analytic torsion

A central analytic theme is the behavior of the Hodge Laplacian under degeneration to a fibered cusp metric. Let $(X,\pi)$55 be a closed manifold, $(X,\pi)$56 a hypersurface with a fibration $(X,\pi)$57, and

$(X,\pi)$58

in a tubular neighborhood of $(X,\pi)$59. As $(X,\pi)$60, this degenerates to the fibered cusp metric

$(X,\pi)$61

on $(X,\pi)$62. The analysis is carried out on the surgery space

$(X,\pi)$63

with model operators $(X,\pi)$64 and $(X,\pi)$65 governing the vertical and horizontal asymptotics. The bundle $(X,\pi)$66 is called Witt when

$(X,\pi)$67

and then $(X,\pi)$68 is Fredholm (Albin et al., 2014).

Under the Witt hypothesis, the resolvent of the de Rham operator extends uniformly in $(X,\pi)$69 from $(X,\pi)$70 to a meromorphic family near $(X,\pi)$71, with only simple poles. There are only finitely many eigenvalues converging to zero as $(X,\pi)$72, and the projection onto the corresponding eigenspaces converges to the orthogonal projection onto

$(X,\pi)$73

The heat kernel $(X,\pi)$74 lifts to a polyhomogeneous kernel on a surgery heat space, and the trace has asymptotic expansions both as $(X,\pi)$75 and as $(X,\pi)$76 (Albin et al., 2014).

These asymptotics lead to determinant formulas and analytic torsion. In the strongly acyclic at infinity case, the operator on the fibered cusp manifold has discrete spectrum and trace-class heat kernel, and the finite part of the closed-manifold analytic torsion converges to the analytic torsion of the fibered cusp limit. In odd dimension, with $(X,\pi)$77 even-dimensional and $(X,\pi)$78, the Cheeger–Müller theorem takes the form

$(X,\pi)$79

This identifies analytic torsion on a fibered cusp manifold with a topological torsion of the compact manifold with boundary (Albin et al., 2014).

The survey literature extends this picture to general $(X,\pi)$80-$(X,\pi)$81-metrics, resolvent blow-up spaces, short- and long-time heat spaces, and renormalized analytic torsion. For $(X,\pi)$82-metrics, renormalized analytic torsion is well defined under structure hypotheses expressed in terms of the low-energy resolvent and heat kernel, and in odd dimension the associated Ray–Singer norm is invariant under perturbations $(X,\pi)$83 with $(X,\pi)$84 (Grieser et al., 21 Jul 2025).

6. Boundary value problems and the Calderón projector

Fibred cusp analysis distinguishes between an ordinary boundary $(X,\pi)$85, where boundary conditions are imposed, and a singular boundary $(X,\pi)$86, where the geometry at infinity is encoded. A $(X,\pi)$87-manifold with $(X,\pi)$88-boundary carries fibrations

$(X,\pi)$89

on the hypersurfaces of $(X,\pi)$90, with fibres $(X,\pi)$91 that may themselves have boundary, and $(X,\pi)$92. The corresponding Lie algebra

$(X,\pi)$93

is locally spanned by

$(X,\pi)$94

and $(X,\pi)$95-differential operators have local form

$(X,\pi)$96

(Fritzsch et al., 2020).

For an elliptic operator

$(X,\pi)$97

the boundary data map is

$(X,\pi)$98

and for an admissible function space $(X,\pi)$99 the boundary data space is

$g_{ifc}=x^2g_\pi$00

A shadow solution is a non-zero solution $g_{ifc}=x^2g_\pi$01 of $g_{ifc}=x^2g_\pi$02 with $g_{ifc}=x^2g_\pi$03; such solutions lie in $g_{ifc}=x^2g_\pi$04, so they vanish to infinite order at the singular boundary as well (Fritzsch et al., 2020).

If $g_{ifc}=x^2g_\pi$05 is $g_{ifc}=x^2g_\pi$06-elliptic and the normal families $g_{ifc}=x^2g_\pi$07 and $g_{ifc}=x^2g_\pi$08 have no shadow solutions on the fibres, then there exists a Calderón projector

$g_{ifc}=x^2g_\pi$09

such that for every admissible $g_{ifc}=x^2g_\pi$10, $g_{ifc}=x^2g_\pi$11 is an $g_{ifc}=x^2g_\pi$12-Calderón projector with range $g_{ifc}=x^2g_\pi$13. Its matrix entries satisfy

$g_{ifc}=x^2g_\pi$14

its $g_{ifc}=x^2g_\pi$15-principal symbol is the Calderón projector for the model ODE

$g_{ifc}=x^2g_\pi$16

and its normal family $g_{ifc}=x^2g_\pi$17 is the Calderón projector for the fibrewise normal operator $g_{ifc}=x^2g_\pi$18 (Fritzsch et al., 2020).

For $g_{ifc}=x^2g_\pi$19, the orthogonal projection onto the $g_{ifc}=x^2g_\pi$20-boundary data space is itself a zero-order $g_{ifc}=x^2g_\pi$21-pseudodifferential operator,

$g_{ifc}=x^2g_\pi$22

and if $g_{ifc}=x^2g_\pi$23 denotes the Dirichlet–Neumann operator associated to $g_{ifc}=x^2g_\pi$24, then under natural injectivity assumptions

$g_{ifc}=x^2g_\pi$25

This places boundary value problems on domains with cusp singularity, on complements of touching smooth strictly convex domains, and on certain locally symmetric spaces within the same fibred cusp microlocal framework (Fritzsch et al., 2020).

7. K-theory, Poincaré duality, and related geometric settings

The $g_{ifc}=x^2g_\pi$26-calculus also has a semiclassical deformation. Introducing $g_{ifc}=x^2g_\pi$27, one blows up

$g_{ifc}=x^2g_\pi$28

obtaining a semiclassical $g_{ifc}=x^2g_\pi$29-double space with a new face $g_{ifc}=x^2g_\pi$30 diffeomorphic to the radial compactification of $g_{ifc}=x^2g_\pi$31. The associated groupoid $g_{ifc}=x^2g_\pi$32, obtained by restricting to the interior of the fiberwise tangent part, is a noncommutative tangent space for fibred cusp spaces. It is measurewise amenable, so

$g_{ifc}=x^2g_\pi$33

For a fully elliptic $g_{ifc}=x^2g_\pi$34-operator $g_{ifc}=x^2g_\pi$35, the semiclassical construction defines a noncommutative symbol class

$g_{ifc}=x^2g_\pi$36

and there is an isomorphism

$g_{ifc}=x^2g_\pi$37

realizing a Poincaré duality between the $g_{ifc}=x^2g_\pi$38-theory of the noncommutative tangent space and the $g_{ifc}=x^2g_\pi$39-homology of the stratified pseudomanifold (Debord et al., 2011).

A related usage of the term appears in other geometric settings. In convex projective geometry, a generalized cusp $g_{ifc}=x^2g_\pi$40 is diffeomorphic to $g_{ifc}=x^2g_\pi$41 times a closed Euclidean manifold, and the domains $g_{ifc}=x^2g_\pi$42 form a bundle over an open simplex with fibre a horoball in hyperbolic space; these generalized cusps are described as a broad and explicit family of fibred cusp spaces in the sense of geometric analysis (Ballas et al., 2017). In hyperbolic 3-manifold theory, a mapping torus $g_{ifc}=x^2g_\pi$43 of a punctured surface is a concrete fibred cusp space: the maximal cusp torus $g_{ifc}=x^2g_\pi$44 associated to a puncture has Euclidean area and height controlled, up to explicit multiplicative constants, by the stable translation distance of $g_{ifc}=x^2g_\pi$45 in the arc complex (Futer et al., 2011). More recently, for fibred hyperbolic 3-manifolds with boundary, the Euclidean geometry of the cusp has been coarsely related to the fractional Dehn twist coefficient of the monodromy: the cusp-skew satisfies

$g_{ifc}=x^2g_\pi$46

linking cusp shape, arc graph translation distance, and monodromy twisting (Schmalian, 2024).

Taken together, these developments show that fibred cusp spaces are not a single model but a geometric-analytic framework. At its core lie a resolution by manifolds with fibred corners, complete metrics of cusp type compatible with a boundary fibration, and a microlocal calculus whose principal and boundary symbols identify the correct notions of ellipticity, Fredholmness, boundary data, and index. In higher-depth singular settings this framework connects $g_{ifc}=x^2g_\pi$47-cohomology with intersection cohomology and realizes $g_{ifc}=x^2g_\pi$48-homological duality; in spectral geometry it supports precise resolvent, heat kernel, and torsion asymptotics; and in low-dimensional geometry it provides a language for the Euclidean structure of cusped ends of fibred manifolds.