---
title: Incomplete Cusp Edge Spaces
url: https://www.emergentmind.com/topics/incomplete-cusp-edge-spaces
type: topic
---

# Incomplete Cusp Edge Spaces

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 [2508.01982][1509.06359].

## 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 \(\partial M \to Y\) recovers the singular space \(\hat M\), and the image of \(\partial M\) becomes the unique singular stratum [2508.01982][1509.06359].

Near the boundary, one fixes a boundary defining function \(x\) and local coordinates \((x,y,z)\), with \(y\) lifted from \(Y\) and \(z\) along \(Z\). A product-type incomplete cusp edge metric is
\[
g_0 = dx^2 + x^{2k} g_{\partial M/Y} + \phi^* g_Y,
\]
while an exact incomplete cusp edge metric satisfies
\[
g(W_1,W_2) - g_0(W_1,W_2) = O(x^k)
\]
for appropriate vector fields, with the error term polyhomogeneous at \(x=0\). In the earlier spectral and Hodge theory, the model is written
\[
g_{ice} \approx dx^2 + \pi^*g_Y + x^{2k} g_Z,\qquad k>1,
\]
and the general metric is \(g_{ice}=g_0+O(x^k,g_0)\), with the paper assuming \(k\ge 3\) for the main Hodge-theoretic results [2508.01982][1509.06359].

The incompleteness is entirely geometric: horizontal directions in \(Y\) have size \(O(1)\) as \(x\to 0\), while vertical directions in \(Z\) are scaled by \(x^k\). The boundary is therefore at finite Riemannian distance, but the singularity is not isolated; it is distributed along the base \(Y\). 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 \(^{\mathrm{ice}}TM\), whose local generators are
\[
\partial_x,\quad \partial_{y_\alpha},\quad x^{-k}\partial_{z_i},
\]
with dual local frame
\[
dx,\quad dy_\alpha,\quad x^k dz_i.
\]
Metrics of incomplete cusp edge type are smooth, nondegenerate sections of \(\operatorname{Sym}^2({}^{\mathrm{ice}}T^*M)\), and ice differential operators are generated from these fields:
\[
P = \sum_{i+|\alpha|+|\beta|\le r} a_{i\alpha\beta}(x,y,z)\,(x^{-k}\partial_z)^\beta\,\partial_y^\alpha\partial_x^i.
\]
This is the operator algebra naturally adapted to the singular metric rather than to the ordinary tangent bundle [2508.01982].

For Dirac theory one works with a \(\mathbb Z_2\)-graded ice Clifford module \(E=E_0\oplus E_1\), Clifford multiplication \(\operatorname{cl}:{}^{\mathrm{ice}}T^*M\to \operatorname{End}(E)\), and an ice Clifford connection \(\nabla^E\). The associated Dirac-type operator is
\[
\slashed D_E=\operatorname{cl}\circ \nabla^E.
\]
Near the boundary, the vertical component appears with coefficient \(x^{-k}\), and the vertical Dirac family on the link is
\[
\slashed D_{E,Z}
  = \sum_i \operatorname{cl}(V_i)\nabla^{E,\partial M/Y}_{V_i}.
\]
The boundary family is precisely the family of vertical Dirac operators \(\{\slashed D_{E,Z,y}\}_{y\in Y}\), and the main Fredholm and self-adjointness results assume that this family is invertible, equivalently that \(\ker(\slashed D_{E,Z,y})=\{0\}\) for every \(y\) [2508.01982].

A second rescaled tangent structure also enters the microlocal theory. The cusp edge tangent bundle \(^{ce}TM\) is generated near the boundary by
\[
x^k\partial_x,\quad x^k\partial_{y_\alpha},\quad \partial_{z_i}.
\]
With respect to this Lie algebra, \(x^k\slashed D\) and \(x^{2k}\slashed D^2\) are elliptic in the cusp edge calculus, and the preferred self-adjoint domain for \(\slashed D\) is
\[
\mathcal D = x^k H^1_{ce}(M;E).
\]
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 [2508.01982].

## 3. Witt condition, Hodge theory, and spectral properties

For differential forms, the decisive topological hypothesis is the Witt condition. If \(f=\dim Z\), then the Witt condition is: either \(f\) is odd, or
\[
H^{f/2}(Z)=0.
\]
Equivalently, the middle-dimensional cohomology of the link vanishes when \(f\) 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 [1509.06359].

Under the Witt hypothesis and \(k\ge 3\), the Hodge–Laplacian is essentially self-adjoint:
\[
\mathcal D_{\min}(\Delta)=\mathcal D_{\max}(\Delta),
\]
and its spectrum is discrete [1509.06359]. The local structure of \(\Delta\) contains a radial regular-singular part, a highly singular fibre term \(x^{-2k}\Delta^{Z,y}\), 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 \(L^2\)-harmonic forms satisfy
\[
\ker(\Delta)=\mathcal H^*_{L^2}(M,g_{ice}),
\]
and there is a natural isomorphism
\[
\mathcal H^*_{L^2}(M,g_{ice}) \cong IH^*_{\overline m}(X;\mathbb R),
\]
where \(IH^*_{\overline m}\) denotes middle-perversity intersection cohomology of the stratified quotient \(X\) obtained by collapsing the fibres of \(\partial M\to Y\) [1509.06359]. When \(Z\simeq S^f\), the quotient is topologically smooth and the same space of \(L^2\)-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
\[
N_p(\lambda)=c_n\,\mathrm{Vol}(M,g_{ice})\,\lambda^n+o(\lambda^n).
\]
The heat trace has a short-time expansion with the usual Weyl term and an additional term reflecting cusp edge geometry,
\[
t^{-(b+1)/2 + 1/(2k)},
\]
which records the codimension and anisotropic scaling of the singular region [1509.06359].

## 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 [2508.01982]. The square \(\slashed D^2\) is a uniformly elliptic ice differential operator, and the heat kernel is constructed on a blown-up heat space obtained from \(M\times M\times [0,\infty)_t\) by a sequence of blow-ups resolving the fibre diagonal at the corner, the front face where cusp edge scaling dominates, and the \(t=0\) diagonal.

At the front face \(ff\), the normal operator of \(t(\partial_t+\slashed D^2)\) is
\[
\mathcal N_{ff}\big(t(\partial_t + \slashed D^2)\big)
 = \frac12 \tilde T \partial_{\tilde T}
   + \tilde T^2(-\partial_{\tilde s}^2 - \Delta_{\tilde\eta,y'} - \slashed D_{Z,y'}^2),
\]
so the model problem is a heat equation on \(\mathbb R_{\tilde s}\times \mathbb R^b_{\tilde\eta}\times Z_y\). Invertibility of the vertical family forces exponential decay in the scaling parameter and eliminates additional singular behaviour at this face [2508.01982].

The resulting heat kernel \(H=e^{-t\slashed D^2}\) is polyhomogeneous on the heat space and satisfies the expected semigroup properties. It also regularizes domains: for each \(t>0\), \(H_t^*\) maps \(L^2\) into the minimal domain. Using an abstract self-adjointness criterion, one obtains essential self-adjointness of both \(\slashed D^2\) and \(\slashed D\). Under the invertible boundary family assumption, \(\slashed D^2\) has discrete spectrum with Weyl asymptotics, and the eigenfunctions are smooth and vanish to infinite order at \(\partial M\); the same holds for \(\slashed D\) after spectral decomposition [2508.01982].

Fredholmness is obtained through the cusp edge pseudodifferential calculus. Ellipticity of \(x^k\slashed D\) gives a small ce-parametrix, and the residual remainders are corrected by solving the normal operator at the front face using the invertibility of \(\slashed D_Z\). The resulting Green’s operator satisfies
\[
Q \in x^k\,\Psi^{-1}_{ce}(M),
\]
and
\[
\slashed D Q = \operatorname{Id}-R,\qquad Q\slashed D=\operatorname{Id}-\tilde R,
\]
with remainders vanishing to infinite order at all boundary faces. Consequently,
\[
\slashed D:\mathcal D\to L^2(M;E)
\]
is Fredholm on the unique self-adjoint domain
\[
\mathcal D=x^k H^1_{ce}(M;E)
\]
[2508.01982].

## 5. Index theory and signature formula

Because \(\slashed D\) is self-adjoint with discrete spectrum and \(e^{-t\slashed D^2}\) is trace class, the McKean–Singer formula applies:
\[
\operatorname{ind}(\slashed D^+) = \operatorname{Str}(e^{-t\slashed D^2}).
\]
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 \(\widehat A\)-density, while the singular contribution from the front face is expressed through a Bismut–Cheeger eta form of the vertical family [2508.01982].

For Dirac-type operators on ice Clifford modules satisfying the structural assumptions of the paper and with invertible boundary family, the index theorem is
\[
\operatorname{ind}(\slashed D_E^+)
= \int_M \widehat A(M)\,\operatorname{ch}'(E)
  - \int_Y \widehat A(Y)\,\operatorname{ch}'(E_B)\,\tilde\eta(\slashed D_{E,\partial M/Y}).
\]
For the spin Dirac operator this simplifies to
\[
\operatorname{ind}(\slashed D^+)
 = \int_M \widehat A(M)
   - \int_Y \widehat A(Y)\,\tilde\eta(\slashed D_{\partial M/Y}).
\]
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 \(k\ge 2\) [2508.01982].

The same heat-kernel technology yields a signature formula for Witt incomplete cusp edge spaces. When \(\dim M\) is divisible by \(4\) and \(k\ge 3\),
\[
\operatorname{sgn}_{L^2}(M,g)
  = \int_M \mathcal L(M)
    - \int_Y \mathcal L(Y)\,\tilde\eta(\slashed\partial_{\Lambda(\partial M/Y)}).
\]
Here the \(L^2\)-signature is the signature of the intersection form on the middle degree \(L^2\)-harmonic forms. In the Witt case, the additional \(bkf\)-contribution from fibre harmonic forms vanishes, so the only singular correction is the eta-form contribution from the cusp edge base \(Y\) [2508.01982].

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_{\mathrm{WP}}
  \sim 4\pi^3 \sum_{i=0}^j (d\rho_i^2 + \rho_i^6 d\theta_i^2)
     + g_{D_J} + e,
\]
and \(\rho^3\) plays the role of the boundary defining function \(x\). Near a single divisor, this is modeled by an incomplete cusp edge metric with \(k=3\) [2508.01982]. Earlier Hodge-theoretic work uses exactly this relation and states that near the interior of a divisor in \(\overline{\mathcal M}_{g,\ell}\), the Weil–Petersson metric has precisely the incomplete cusp edge form with \(k=3\) [1509.06359].

The dynamical study of cusp-like Weil–Petersson geometry gives a complementary perspective. For surfaces of revolution \(y=x^r\), \(r>2\), and for Weil–Petersson type incomplete metrics, curvature blows up like \(-\delta^{-2}\), cusp neighborhoods have finite volume, and the geometry is controlled by convexity of the distance function and quasi-Clairaut relations [1709.06355]. 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 \(\delta^r\) 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_{ie}=dx^2+x^2g_Z+\phi^*g_Y,
\]
the incomplete edge cotangent bundle is locally spanned by \(dx,\ x\,dz,\ dy\), and the natural vertical degeneration is linear in \(x\) rather than order \(x^k\) with \(k\ge 2\) [1312.4241]. 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
\[
x^2\partial_x,\ x\partial_y,\ \partial_z,
\]
and the relevant calculus is a cusp-edge calculus rather than the edge calculus [1312.4241].

Second, incomplete cusp edge spaces are a close relative of the incomplete fibred cusp case, namely the \(c=2\) regime of fibred cusp metrics. In that setting the basic \(\phi\)-vector fields are also
\[
x^2\partial_x,\quad x\partial_{y_i},\quad \partial_{z_j},
\]
and the local model for the metric is
\[
g_2\sim dx^2 + x^2\phi^*g_B + x^4 h.
\]
The survey on fibred cusp spaces states that incomplete cusp edge spaces are best understood as a close relative of this \(c=2\) case, with the additional feature that the degeneracy is only along a subset of the boundary rather than the whole boundary [2507.15467]. 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 [2508.01982][1509.06359].

Source: https://www.emergentmind.com/topics/incomplete-cusp-edge-spaces