Derived Stratifications and Arithmetic Intersection Theory for Varieties with Isolated Singularities

Jiaming Luo; Shirong Li

REVIEW 3 major objections 4 minor 1 references

Derived Stratifications and Arithmetic Intersection Theory for Varieties with Isolated Singularities

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper closes a gap in Ohsawa's proof of the Cheeger–Goresky–MacPherson conjecture for varieties with isolated singularities, showing that $L^2$ harmonic forms converge strongly and $L^2$-cohomology coincides with intersection…

desk verdict Unreadable submission announcing a known result; the only potential novelty, a proof repair, cannot be audited and is missing its metric hypotheses. read the letter →

arxiv 2508.01679 v1 pith:YHQ7Y3F4 submitted 2025-08-03 math.AG

Jiaming Luo , Shirong Li This is my paper · ORCID

classification math.AG MSC 14F4314F0832S35

keywords intersectioncohomologyL2isolatedsingularitiesCheeger-Goresky-MacPhersonconjectureharmonicformsstratifieddeRhamtheoryderivedgeometryp-adic

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims that the Cheeger–Goresky–MacPherson conjecture, which predicts that the $L^2$-cohomology of the regular part of a singular variety is isomorphic to its intersection cohomology, can be completed for varieties with isolated singularities by repairing a specific convergence gap in Ohsawa's proof. The repair shows that $L^2$ harmonic forms converge strongly near the singular point, and this strong convergence is what forces the two cohomology theories to agree. In the same paper, the authors propose a derived stratified de Rham framework intended to carry de Rham, Hodge, and deformation theory of singular spaces into stratified, $p$-adic, and derived settings. If the analytic claim holds, it removes a known obstruction to the conjecture and gives canonical harmonic representatives for intersection cohomology classes on isolated singularities.

What carries the argument

The load-bearing mechanism is the strong-convergence statement for $L^2$ harmonic forms, meaning square-integrable differential forms annihilated by the Laplacian, on the regular part of a variety with isolated singularities: the argument supplies the missing analytic comparison that identifies the harmonic representatives with intersection cohomology classes. The accompanying structural object is the derived stratified de Rham complex, a complex built from stratified and derived-geometric data that is said to carry de Rham, Hodge, and deformation information of singular spaces in one formalism.

What would settle it

Examine an explicit isolated-singularity variety, such as a complex cone of dimension at least two with the natural incomplete metric, and check whether the $L^2$ harmonic forms converge strongly in the predicted sense; a single counterexample with divergent harmonic forms would falsify the convergence claim.

Watch

Extended reading notes

Core claim

The central discovery, stated on the paper's own terms, is that the missing step in Ohsawa's proof is not the existence of $L^2$ harmonic representatives but their strong convergence as the regular part approaches the isolated singularity. Once that convergence is established, the $L^2$-cohomology computed on the smooth locus is isomorphic to the intersection cohomology of the variety, in the sense predicted by Cheeger, Goresky, and MacPherson. The paper also constructs a derived stratified de Rham complex that is meant to organize this comparison and to unify de Rham, Hodge, and deformation theory across complex, $p$-adic, and derived-geometric settings.

Load-bearing premise

The argument rests on the premise that the analytic framework for $L^2$ harmonic forms on the regular part of an isolated singularity is well-posed enough for the claimed strong convergence to hold; if that premise fails, the isomorphism does not follow.

Editorial extensions

If this is right

It settles the $L^2$-to-intersection cohomology comparison for varieties with only isolated singularities, so the two invariants can be used interchangeably for such spaces.
It assigns canonical harmonic representatives to every intersection cohomology class on an isolated singularity, giving the topological classes an analytic realization.
It supplies a repaired proof of Ohsawa's convergence step, meaning the Cheeger–Goresky–MacPherson conjecture no longer has a known gap for this class of varieties.
The derived stratified de Rham complex, if it performs as claimed, gives a single formalism in which de Rham, Hodge, and deformation-theoretic objects on singular spaces can be discussed over complex, $p$-adic, and derived bases.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper does not compute convergence rates; a natural next check is to run the convergence argument on explicit cone metrics, where harmonic forms can be solved in coordinates, to verify the claimed strong convergence quantitatively.
If the local convergence theorem is correct, the same mechanism, with weighted Sobolev spaces adapted to each stratum, would plausibly extend the isomorphism from isolated singularities to depth-one stratifications, an extension the paper does not make.
The promised unification with $p$-adic and derived geometry implies that an analogous comparison should hold for singular spaces over non-archimedean fields, but the manuscript appears to leave that comparison at the level of a framework rather than a proved theorem.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this submission cannot be reviewed as-is. The full text is corrupted mojibake, and the only readable part, the abstract, announces a result that is already in the literature the authors cite. The one potentially new thing is a claimed repair of a gap in Ohsawa's proof, but no argument is recoverable, and the abstract omits the metric and weight hypotheses that would determine whether the claim is true or trivial.

What is actually new: nothing I can verify. The equality of L2-cohomology with intersection cohomology for isolated singularities is Cheeger's theorem for cone-like metrics and Ohsawa's for the complex analytic case. The paper's framing as "closing a gap" is honest, since it does not claim the full Cheeger-Goresky-MacPherson conjecture, but the contribution is a proof repair of a known result, not a new theorem. The broader stratified de Rham framework is too vaguely stated to evaluate.

Credit where due: the abstract engages the right literature and anchors the claim to an external benchmark rather than a self-referential construction. That is the opposite of a circular argument.

Soft spots: the supplied text is undecodable, and an unrelated arXiv header is embedded mid-file, which alone prevents any mathematical assessment. The abstract's load-bearing sentence about strong convergence states neither the metric class nor the weight conditions. For non-conic metrics, L2-cohomology need not agree with intersection cohomology, so the claim is either metric-sensitive or vacuous depending on the unstated setup. The final sentence "Indicating that..." is broken English; minor, but not confidence-inspiring.

Bottom line: I cannot decide whether the math is right, and neither can a referee, until there is a clean source. If the clean version supplies a precise theorem with cone-like or asymptotically conical metrics and a valid trace or weighted Sobolev argument, it could be a legitimate repair paper. As submitted, it deserves a request for a clean manuscript, not a referee assignment.

Referee Report

3 major / 4 minor

Summary. The paper (arXiv:2508.01679, math.AG) announces a derived stratified de Rham framework intended to unify de Rham, Hodge, and deformation theories for singular spaces across stratified, p-adic, and derived settings, and claims to close a gap in Ohsawa's proof of the Cheeger-Goresky-MacPherson conjecture for varieties with isolated singularities, specifically obtaining strong convergence of L2 harmonic forms and equality of L2-cohomology with intersection cohomology. The abstract is the only readable part of the submission; the full text is undecodable, so no definitions, theorem statements, proofs, or bibliographic references can be inspected.

Significance. If the announced results were established, the paper would be significant: a repair of a known gap in Ohsawa's proof of the Cheeger-Goresky-MacPherson conjecture would resolve a substantive analytic question, and a derived stratified de Rham framework could provide a useful unifying language. The potential significance is real but entirely prospective: because no mathematical content is recoverable from the supplied text, no result can be credited, and there are no machine-checked proofs, reproducible computations, or parameter-free derivations to verify.

major comments (3)

[Full text (all pages)] The body of the manuscript is undecodable (mojibake), and the only readable header is an arXiv identifier for a different cs.CV submission (arXiv:2508.01684v1). Consequently there are no theorem statements, definitions, or proofs; the central claims in the abstract are unsupported. This is a load-bearing problem: a referee cannot check the claimed repair of Ohsawa's convergence step or the asserted cohomology isomorphism.
[Abstract, final two sentences] The strong-convergence and L2-cohomology-equals-intersection-cohomology claims are metric-sensitive, but the abstract states neither the metric class on the regular part nor the weights or Sobolev conditions used to define the L2 harmonic forms. For non-conic metrics, L2-cohomology need not agree with intersection cohomology; the proof must specify, for example, a conic or asymptotically conical metric and the relevant trace or weighted estimates. As written, the theorem cannot be evaluated and may be false for general metrics.
[Abstract, "close a gap in Ohsawa's original proof"] The manuscript does not identify what the gap is, where in Ohsawa's argument it occurs, or what new estimate repairs it. A repair claim of this kind needs a precise statement of Ohsawa's theorem, the disputed step, and a comparison with the existing literature; none of this is visible in the submitted text.

minor comments (4)

[Abstract] The sentence "In this paper, We develop" has an errant capital W, and "Indicating that harmonic forms converge strongly..." is a sentence fragment.
[Title vs. Abstract] The title mentions Arithmetic Intersection Theory, but the abstract states no arithmetic intersection-theoretic result; if such results are part of the paper, they should be stated explicitly.
[Full text, header] The full text contains an unrelated cs.CV arXiv identifier at the top, which suggests that the wrong source file may have been uploaded; this should be corrected in any resubmission.
[References] No bibliography or references are recoverable from the supplied text; the paper should cite Ohsawa's original proof and the relevant L2 and intersection cohomology literature.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable: the abstract's claims are anchored to an external benchmark, and the corrupted body provides no recoverable derivation that reduces to its own inputs.

full rationale

The only readable portion of the manuscript is the abstract. Its central claims—closing a gap in Ohsawa's proof and establishing strong convergence of L2 harmonic forms so that L2-cohomology coincides with intersection cohomology—are posed against an external result and conjecture, not against a self-defined quantity. The body text is almost entirely mojibake, so no equation, fitted parameter, or self-citation chain can be exhibited. Under the hard rule that circularity may only be claimed when the paper itself shows a specific reduction, no such reduction is identifiable. Missing metric or weight hypotheses for the convergence statement would be a correctness or completeness concern, not a circularity concern. Accordingly, the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

This ledger is necessarily sparse because the supplied full text is unreadable mojibake; every entry above is inferred from assertions in the abstract and is labeled as such. No free parameters or named invented entities appear in the abstract. The two axioms listed are the premises an independent reader can see the paper's contribution depends on: the existence of the gap in Ohsawa's proof, and the existence of an analytic convergence apparatus that turns strong convergence of harmonic forms into a cohomology isomorphism. A full audit requires the readable manuscript.

assumptions (2)

domain assumption Ohsawa's original proof of the Cheeger-Goresky-MacPherson case for isolated singularities contains the specific gap the authors claim to close.
The entire second contribution is defined relative to this gap; the abstract states the claim but gives no location or reconstruction. If the gap does not exist, the contribution reduces to a restatement. Inferred from the abstract; no text was readable to verify.
domain assumption A well-posed analytic calculus of L2 harmonic forms on the regular part of an isolated singularity (metric class, weight conditions, strong convergence) exists and is what yields the cohomology isomorphism.
The abstract asserts strong convergence of harmonic forms and coincidence of L2-cohomology with intersection cohomology without specifying the metric or functional-analytic setup. This is the standard place convergence arguments fail. Inferred from the abstract's final sentence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Derived Stratifications and Arithmetic Intersection Theory for Varieties with Isolated Singularities." pith.science (2026). https://pith.science/paper/YHQ7Y3F4

@misc{pith2026250801679,
  author       = {Pith},
  title        = {Pith review of: Derived Stratifications and Arithmetic Intersection Theory for Varieties with Isolated Singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YHQ7Y3F4}},
  note         = {Machine review of arXiv:2508.01679}
}

abstract

In this paper, We develop the stratified de Rham theory on singular spaces using modern tools including derived geometry and stratified structures. This work unifies and extends the de Rham theory, Hodge theory, and deformation theory of singular spaces into the frameworks of stratified geometry, $p$-adic geometry, and derived geometry. Additionally, we close a gap in Ohsawa's original proof, concerning the convergence of $L^2$ harmonic forms in the Cheeger-Goresky-MacPherson conjecture for varieties with isolated singularities. Indicating that harmonic forms converge strongly and the $L^2$-cohomology coincides with intersection cohomology.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

�� ...

work page Pith review arXiv 2025

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

�� ...

work page Pith review arXiv 2025