Incomplete Cusp Edge Spaces

• Incomplete cusp edge spaces are singular Riemannian spaces resolved from stratified spaces with a fibred boundary, characterized by a product-type metric with higher-order collapse.
• They employ a metric model where the vertical fibers collapse at rate x^(2k), resulting in finite geodesic distances despite the singular structure.
• Their analysis integrates microlocal techniques, Hodge theory under the Witt condition, and Dirac operator Fredholm theory to obtain precise spectral and index theoretic results.

Incomplete cusp edge spaces are singular Riemannian spaces obtained by resolving a smoothly stratified space with a single singular stratum to a compact manifold with boundary whose boundary is fibred,

$$Z \longrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$

and equipping the interior with a metric that, near the boundary, has product-type model

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$

for a fixed integer $k \ge 2$. The factor $x^{2k}$ collapses the vertical directions faster than the horizontal directions, so the geodesic distance to $x=0$ is finite, while the singular stratum is recovered topologically by collapsing each fibre $Z$ to a point. In the literature this geometry is treated analytically through the incomplete cusp edge tangent bundle, heat-space blow-ups, and vertical boundary families, and topologically through Witt-type conditions and intersection cohomology (Liu, 4 Aug 2025, Gell-Redman et al., 2015).

1. Geometric model and resolution

The underlying topological space is a smoothly stratified space with a single singular stratum. Its resolution is a smooth compact manifold with boundary $M$, with boundary fibration

$$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$

where $Z$ is the closed link and $Y$ is the base of the singular stratum. Collapsing the fibres of $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$0 recovers the singular space $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$1, and the image of $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$2 becomes the unique singular stratum (Liu, 4 Aug 2025, Gell-Redman et al., 2015).

Near the boundary, one fixes a boundary defining function $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$3 and local coordinates $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$4, with $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$5 lifted from $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$6 and $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$7 along $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$8. A product-type incomplete cusp edge metric is

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$9

while an exact incomplete cusp edge metric satisfies

$k \ge 2$0

for appropriate vector fields, with the error term polyhomogeneous at $k \ge 2$1. In the earlier spectral and Hodge theory, the model is written

$k \ge 2$2

and the general metric is $k \ge 2$3, with the paper assuming $k \ge 2$4 for the main Hodge-theoretic results (Liu, 4 Aug 2025, Gell-Redman et al., 2015).

The incompleteness is entirely geometric: horizontal directions in $k \ge 2$5 have size $k \ge 2$6 as $k \ge 2$7, while vertical directions in $k \ge 2$8 are scaled by $k \ge 2$9. The boundary is therefore at finite Riemannian distance, but the singularity is not isolated; it is distributed along the base $x^{2k}$0. This non-isolated collapsing structure is the defining distinction from ordinary conic singularities.

2. Tangent structures, differential operators, and boundary families

The metric degeneracy is encoded by the incomplete cusp edge tangent bundle $x^{2k}$1, whose local generators are

$x^{2k}$2

with dual local frame

$x^{2k}$3

Metrics of incomplete cusp edge type are smooth, nondegenerate sections of $x^{2k}$4, and ice differential operators are generated from these fields: $x^{2k}$5 This is the operator algebra naturally adapted to the singular metric rather than to the ordinary tangent bundle (Liu, 4 Aug 2025).

For Dirac theory one works with a $x^{2k}$6-graded ice Clifford module $x^{2k}$7, Clifford multiplication $x^{2k}$8, and an ice Clifford connection $x^{2k}$9. The associated Dirac-type operator is

$x=0$0

Near the boundary, the vertical component appears with coefficient $x=0$1, and the vertical Dirac family on the link is

$x=0$2

The boundary family is precisely the family of vertical Dirac operators $x=0$3, and the main Fredholm and self-adjointness results assume that this family is invertible, equivalently that $x=0$4 for every $x=0$5 (Liu, 4 Aug 2025).

A second rescaled tangent structure also enters the microlocal theory. The cusp edge tangent bundle $x=0$6 is generated near the boundary by

$x=0$7

With respect to this Lie algebra, $x=0$8 and $x=0$9 are elliptic in the cusp edge calculus, and the preferred self-adjoint domain for $Z$0 is

$Z$1

This distinction between the ice bundle, which records the metric itself, and the ce bundle, which records the appropriate pseudodifferential calculus, is fundamental to the analysis (Liu, 4 Aug 2025).

3. Witt condition, Hodge theory, and spectral properties

For differential forms, the decisive topological hypothesis is the Witt condition. If $Z$2, then the Witt condition is: either $Z$3 is odd, or

$Z$4

Equivalently, the middle-dimensional cohomology of the link vanishes when $Z$5 is even. In the incomplete cusp edge setting this excludes the fibre harmonic middle-degree forms that would otherwise create nontrivial deficiency spaces for the Hodge–Laplacian (Gell-Redman et al., 2015).

Under the Witt hypothesis and $Z$6, the Hodge–Laplacian is essentially self-adjoint: $Z$7 and its spectrum is discrete (Gell-Redman et al., 2015). The local structure of $Z$8 contains a radial regular-singular part, a highly singular fibre term $Z$9, and lower-order couplings between horizontal and vertical variables. The singular geometry is therefore strong enough to force asymptotic control, but only after the Witt condition removes the problematic middle-degree fibre harmonics.

The heat kernel yields the associated Hodge theory. The $M$0-harmonic forms satisfy

$M$1

and there is a natural isomorphism

$M$2

where $M$3 denotes middle-perversity intersection cohomology of the stratified quotient $M$4 obtained by collapsing the fibres of $M$5 (Gell-Redman et al., 2015). When $M$6, the quotient is topologically smooth and the same space of $M$7-harmonic forms identifies with ordinary de Rham cohomology.

The spectral theory is correspondingly close to the compact smooth case. The spectrum is discrete, eigenforms form an orthonormal basis, and the counting function satisfies Weyl asymptotics

$M$8

The heat trace has a short-time expansion with the usual Weyl term and an additional term reflecting cusp edge geometry,

$M$9

which records the codimension and anisotropic scaling of the singular region (Gell-Redman et al., 2015).

4. Heat kernel, essential self-adjointness, and Fredholm theory for Dirac operators

The later index-theoretic treatment develops a heat kernel construction for Dirac-type operators on incomplete cusp edge spaces with invertible boundary family (Liu, 4 Aug 2025). The square $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$0 is a uniformly elliptic ice differential operator, and the heat kernel is constructed on a blown-up heat space obtained from $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$1 by a sequence of blow-ups resolving the fibre diagonal at the corner, the front face where cusp edge scaling dominates, and the $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$2 diagonal.

At the front face $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$3, the normal operator of $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$4 is

$$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$5

so the model problem is a heat equation on $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$6. Invertibility of the vertical family forces exponential decay in the scaling parameter and eliminates additional singular behaviour at this face (Liu, 4 Aug 2025).

The resulting heat kernel $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$7 is polyhomogeneous on the heat space and satisfies the expected semigroup properties. It also regularizes domains: for each $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$8, $$Z \hookrightarrow \partial M \xrightarrow{\ \phi\ } Y,$$9 maps $Z$0 into the minimal domain. Using an abstract self-adjointness criterion, one obtains essential self-adjointness of both $Z$1 and $Z$2. Under the invertible boundary family assumption, $Z$3 has discrete spectrum with Weyl asymptotics, and the eigenfunctions are smooth and vanish to infinite order at $Z$4; the same holds for $Z$5 after spectral decomposition (Liu, 4 Aug 2025).

Fredholmness is obtained through the cusp edge pseudodifferential calculus. Ellipticity of $Z$6 gives a small ce-parametrix, and the residual remainders are corrected by solving the normal operator at the front face using the invertibility of $Z$7. The resulting Green’s operator satisfies

$Z$8

and

$Z$9

with remainders vanishing to infinite order at all boundary faces. Consequently,

$Y$0

is Fredholm on the unique self-adjoint domain

$Y$1

(Liu, 4 Aug 2025).

5. Index theory and signature formula

Because $Y$2 is self-adjoint with discrete spectrum and $Y$3 is trace class, the McKean–Singer formula applies: $Y$4 The index is therefore the constant term in the short-time asymptotics of the supertrace. In the incomplete cusp edge setting, the contribution from the ordinary diagonal reproduces the local $Y$5-density, while the singular contribution from the front face is expressed through a Bismut–Cheeger eta form of the vertical family (Liu, 4 Aug 2025).

For Dirac-type operators on ice Clifford modules satisfying the structural assumptions of the paper and with invertible boundary family, the index theorem is

$Y$6

For the spin Dirac operator this simplifies to

$Y$7

The paper emphasizes that, unlike the incomplete edge formula, the transgression term vanishes in the incomplete cusp edge geometry because of the stronger collapse for $Y$8 (Liu, 4 Aug 2025).

The same heat-kernel technology yields a signature formula for Witt incomplete cusp edge spaces. When $Y$9 is divisible by $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$00 and $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$01,

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$02

Here the $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$03-signature is the signature of the intersection form on the middle degree $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$04-harmonic forms. In the Witt case, the additional $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$05-contribution from fibre harmonic forms vanishes, so the only singular correction is the eta-form contribution from the cusp edge base $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$06 (Liu, 4 Aug 2025).

These formulas place incomplete cusp edge spaces squarely within the broader framework of singular index theory: the bulk characteristic class terms are unchanged from the smooth case, while the singular stratum contributes through a families invariant on the boundary fibration.

6. Weil–Petersson motivation and relations to incomplete edge and fibred cusp geometries

A principal geometric motivation is the Weil–Petersson metric on the Deligne–Mumford compactification of moduli space. Near a divisor of nodal curves,

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$07

and $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$08 plays the role of the boundary defining function $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$09. Near a single divisor, this is modeled by an incomplete cusp edge metric with $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$10 (Liu, 4 Aug 2025). Earlier Hodge-theoretic work uses exactly this relation and states that near the interior of a divisor in $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$11, the Weil–Petersson metric has precisely the incomplete cusp edge form with $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$12 (Gell-Redman et al., 2015).

The dynamical study of cusp-like Weil–Petersson geometry gives a complementary perspective. For surfaces of revolution $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$13, $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$14, and for Weil–Petersson type incomplete metrics, curvature blows up like $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$15, cusp neighborhoods have finite volume, and the geometry is controlled by convexity of the distance function and quasi-Clairaut relations (Gadre et al., 2017). In the language used there, these are manifolds whose near-boundary metric is asymptotically equivalent to a warped product where the warp factor behaves like $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$16 in the angular directions. This suggests a close kinship between incomplete cusp edge singularities in analysis and cusp-like degenerations in Weil–Petersson dynamics.

Incomplete cusp edge spaces are also best understood by comparison with two adjacent calculi. First, they are not the same as incomplete edge spaces. In the edge setting, the local product-type metric is

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$17

the incomplete edge cotangent bundle is locally spanned by $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$18, and the natural vertical degeneration is linear in $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$19 rather than order $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$20 with $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$21 (Albin et al., 2013). The 2013 analysis does not explicitly discuss cusp-edge metrics, but it identifies the conceptual modifications one expects: cusp-edge vector fields are generated by

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$22

and the relevant calculus is a cusp-edge calculus rather than the edge calculus (Albin et al., 2013).

Second, incomplete cusp edge spaces are a close relative of the incomplete fibred cusp case, namely the $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$23 regime of fibred cusp metrics. In that setting the basic $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$24-vector fields are also

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$25

and the local model for the metric is

$g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$26

The survey on fibred cusp spaces states that incomplete cusp edge spaces are best understood as a close relative of this $g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y$27 case, with the additional feature that the degeneracy is only along a subset of the boundary rather than the whole boundary (Grieser et al., 21 Jul 2025). A plausible implication is that much of the microlocal infrastructure—double spaces, normal operators, resolvent and heat kernel blow-ups, renormalized traces, and Calderón projectors—transfers from fibred cusp analysis to the cusp edge setting with only the edge-local modifications.

Taken together, these developments show that incomplete cusp edge spaces form a distinct singular class with three simultaneous features: a resolved fibred boundary, finite-distance incompleteness, and higher-order vertical collapse. Their modern theory combines geometric stratification, cusp-adapted microlocal analysis, Hodge theory under the Witt condition, and an index theory whose singular defect is measured by Bismut–Cheeger eta forms rather than by ad hoc boundary data (Liu, 4 Aug 2025, Gell-Redman et al., 2015).