arXiv Science⌕ Search

arXiv · 2609.33995

Codimension-four regularity of noncollapsed Ricci limit spaces under an integral volume-deficit bound

Abstract

Let $(X,d,p)$ be an $n$-dimensional noncollapsed Ricci limit space, where $n\ge4$. Under an integral volume-deficit bound, we prove that the metric singular set has Hausdorff codimension at least four and sigma-finite $(n-4)$-dimensional Hausdorff measure. This establishes a special case of the codimension-four regularity conjecture. Moreover, the nonmanifold locus is closed and has locally finite $(n-4)$-dimensional Hausdorff measure, and its intersection with each bounded ball satisfies a tubular-volume estimate of order $r^4$. In dimension four, the nonmanifold points form a locally finite set. A flat quotient example shows that the codimension bound is sharp.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lingling Kong. 2026-09-27. Codimension-four regularity of noncollapsed Ricci limit spaces under an integral volume-deficit bound. https://arxiv.org/abs/2609.33995

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Miyaoka-Yau inequality for minimal Kähler klt spaces

Let $X$ be a compact Kähler space with quotient singularities in codimension $2$. In terms of orbifold Chern classes, we prove a generalized Bogomolov-Gieseker inequality for a reflexive coherent sheaf $\mathcal{E}_X$ on $X$ equipped with a Higgs field $θ_{X_{reg}}$ defined on the regular locus of $X$. As a direct application, we prove the Miyaoka-Yau inequality for minimal Kähler spaces. The proof relies on two main ingredients. The first is the existence of $L^p$-approximate critical Hermitian structures for orbifold Higgs bundles over compact Gauduchon orbifolds. The second is the construction of an orbifold Higgs bundle on a suitable orbifold modification $f:W\to X$, agreeing with the reflexive pullback of $(\mathcal{E}_X,θ_{X_{reg}})$ over $f^{-1}(X_{reg})$.

math.DG↗

Length spectrum rigidity and flexibility of spheres of revolution with one equator

We define a notion of marked length spectrum for $S^1$-symmetric Riemannian metrics on the two-sphere having only one equator. We prove that isospectral metrics in this class have conjugate geodesic flows. Under a further $\mathbb{Z}_2$-symmetry assumption, we show that the marked length spectrum determines the metric. Finally, we show that every isospectral class of metrics contains a unique $\mathbb{Z}_2$-symmetric metric and give an explicit description of this isospectral class as an infinite dimensional convex set, generalizing the known description of $S^1$-symmetric Zoll metrics. This paper contains also two appendices, in which we provide an elementary proof of the fact that a $C^2$ real valued function on an interval is determined by the set of tangent lines to its graph, and we classify a class of $S^1$-invariant contact forms on three-manifolds.

math.DG↗

Finite-energy equivariant minimal immersions in $\mathbb{CH}^2$ with fixed-lift proper cusp ends

Let $Σ_0\,=\,Σ\setminus\{z_1,\,\ldots,\, z_n\}$ be a finite-type hyperbolic Riemann surface, with its universal cover being identified with $\mathbb H$. We prove that a finite-energy equivariant harmonic map \[ f\colon\mathbb H\;\longrightarrow\;\mathbb{CH}^2 \] is fixed-lift proper at every puncture --- that is, its restriction to a fixed lifted cusp eventually leaves every compact subset of the target --- if and only if its peripheral holonomy is parabolic. For conformal immersions, parabolic holonomy at every puncture also implies completeness of the descended induced metric. We further show that if a polystable parabolic $\mathrm{PU}(2,\,1)$-Higgs bundle has local data $α_p\,=\,s_p\,=\,0$ and $Y_p\,\ne\,0$, and if the associated harmonic map is weakly conformal, then the corresponding end is unbranched, complete, and has finite energy. We also show that, for mixed conformal data, stability is equivalent to two explicit parabolic slope inequalities. Finally, for every $n\;\ge\;5$, we construct explicit Higgs data producing mixed unbranched $\mathbb{CH}^2$-$n$-noids with nonidentity unipotent peripheral monodromy, finite total energy, complete induced metric, and fixed-lift proper ends.

math.DG↗