REVIEW 2 major objections 2 minor 1 cited by
General base change for relative Du Bois complexes
T0 review · 2 major / 2 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For a family over a nonsingular curve, the relative Du Bois complex commutes with base change at a general point of the base, while special points generally break the rule.
desk verdict A plausible and well-scoped partial answer to a Kovacs-Taji question, but the supplied text is unreadable so the proof needs referee scrutiny. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the relative Du Bois complex $\underline{\Omega}_{X/C}^{\bullet}$, a complex of sheaves on the total space that relativizes the absolute Du Bois complex. The absolute Du Bois complex is the complex whose cohomology recovers the cohomology of a singular variety and whose zeroth term detects Du Bois singularities. The load-bearing step is the comparison morphism between the pullback of the relative complex to a fiber and the fiber's own Du Bois complex; the nonsingular-curve hypothesis lets the paper show this comparison is an isomorphism at general points, while the failure at special points comes from the same comparison no longer being an isomorphism.
What would settle it
Choose a family $f\colon X\to C$ satisfying the theorem's hypotheses and a general point $t\in C$. Compare the cohomology of the derived pullback of $\underline{\Omega}_{X/C}^{\bullet}$ with the cohomology of the absolute Du Bois complex $\underline{\Omega}_{X_t}^{\bullet}$. If the dimensions of $\mathrm{H}^i$ differ for any $i$, the comparison map is not a quasi-isomorphism and the claimed generic base change is false.
Extended reading notes
Core claim
The paper proves that for a morphism $f\colon X\to C$ with $C$ a nonsingular curve, the relative Du Bois complex $\underline{\Omega}_{X/C}^{\bullet}$ commutes with base change to a general point $t\in C$: the natural comparison morphism from the pullback of the relative complex to the fiber $X_t$ is a quasi-isomorphism with the absolute Du Bois complex $\underline{\Omega}_{X_t}^{\bullet}$, so the two complexes have identical cohomology. The paper also shows that this base-change property usually fails at special points, so the positive generic statement is sharp and special fibers form the exceptional locus.
Load-bearing premise
The claim depends on the prior construction of relative Du Bois complexes being valid for all morphisms over nonsingular curves; if that construction imposes extra hypotheses such as properness, flatness, or a Du Bois condition on the total space, the generic base-change theorem applies only within that restricted class.
Editorial extensions
If this is right
- For any family over a nonsingular curve, the Du Bois complex of a general fiber can be computed by restricting the relative Du Bois complex of the total space, avoiding a separate resolution of each fiber.
- Any cohomological invariant that the relative complex encodes is the same for the generic fiber and for all nearby fibers, because the base-change comparison is an isomorphism on a dense open set.
- The special-point counterexamples show that a base-change theorem for relative Du Bois complexes cannot hold without a genericity hypothesis; special fibers must be studied on their own terms.
- This settles the motivating question for one-dimensional bases: the generic part of the base change is true, while the special-part failure is an expected phenomenon.
Reading between the lines
- If the comparison morphism is functorial, the same one-dimensional argument could serve as the key lemma for a generic base-change theorem over smooth bases of higher dimension, by slicing the base with curves.
- The special fibers where base change fails may provide explicit constructions of non-Du Bois singularities, effectively marking where a degeneration departs from the generic singularity type.
- A natural sharpening would be to identify the exact closed set of bad points on the curve and to describe how the obstruction to base change there is controlled by the singularities of the total space.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper, arXiv:2508.02848 (math.AG), titled "General base change for relative Du Bois complexes," is a short continuation of work by Kovács and Taji. The abstract claims that for a family parametrized by a non-singular curve, the relative Du Bois complex commutes with base change to a general point on the base, and that this property usually fails for special points. This would provide a partial answer to a question raised in arXiv:2307.07192. However, the version of the manuscript submitted for review contains a full text that is almost entirely corrupted and illegible; only the abstract is readable. As a result, none of the underlying definitions, theorem statements, proofs, or examples can be inspected. The present assessment is therefore based solely on the abstract and the general framing provided by the surrounding metadata.
Significance. If correct, the claimed result is a meaningful contribution: it would establish generic base change for a relative Du Bois complex over a smooth curve, while delineating the failure at special points, thereby sharpening and partially resolving a question from Kovács and Taji. The statement is concrete, falsifiable, and has clear scope. The paper appears to be a direct continuation of the cited work rather than a circular argument, and the abstract does not suggest that the target result is assumed. However, the significance cannot be properly evaluated because the technical content is inaccessible in the supplied version. The strength of the claim depends crucially on the hypotheses of the Kovács–Taji machinery (properness, flatness, relative Du Bois type, and the definition of 'general point'), none of which can be verified from the abstract alone. Machine-checked proofs, reproducible code, or parameter-free derivations are not visible in the legible portion of the manuscript.
major comments (2)
- [Entire body after the abstract] The full text of the manuscript is corrupted beyond legibility in the version supplied for review; only the abstract is readable. All sections, including the introduction, definitions, theorem statements, proofs, and examples, appear as unreadable character sequences. This is a load-bearing issue because the central claim cannot be checked in any detail. Please provide a clean, complete, and legible version of the manuscript so that the derivation can be inspected.
- [Abstract] The abstract does not state the precise hypotheses on the family for which the relative Du Bois complex is defined, nor the exact meaning of 'general point' on the base curve. Whether the claimed base-change result holds depends on these hypotheses (for instance, whether the family is proper, flat, or of relative Du Bois type, and whether the base field is algebraically closed or of characteristic zero). The full text presumably contains these statements, but their absence from the abstract and the illegibility of the body prevent verification. Please specify these conditions explicitly in the revision.
minor comments (2)
- [Metadata] The abstract of the paper is for math.AG (arXiv:2508.02848), but the header of the full text includes the line 'arXiv:2508.02849v1 [eess.AS] 4 Aug 2025', which appears to be an unrelated identifier from a different subject class. Please check and correct the metadata in the manuscript.
- [Abstract] The abstract would be clearer if it stated the characteristic and base-field assumptions, since the relative Du Bois complex construction is typically considered over algebras of finite type over the complex numbers or over a field of characteristic zero.
Circularity Check
No circular derivation is exhibited: the claimed base-change result is a genuine extension of Kovács–Taji's construction, not a restatement of it.
full rationale
The abstract reports "A partial answer is given to a question raised by Kovács and Taji in arxiv:2307.07192, namely that the relative Du Bois complex of a family parametrized by a non-singular curve commutes with base change to a general point on the base. It is also shown that this property usually fails for special points." This is an extension claim: the target base-change statement is not presented as one of the inputs of the prior paper, and the "usually fails for special points" clause is an independent boundary statement rather than a consequence of any definition. No fitted parameter is renamed as a prediction, no uniqueness theorem from the authors' prior work is invoked to force the answer, and no equation in the supplied text exhibits the conclusion as a restatement of its assumptions. The only self-reference is the natural citation of Kovács–Taji for the relative Du Bois complex machinery, which is contextual and not load-bearing for the stated theorem. Because the supplied full text is corrupted and no legible proof can be inspected, no specific reduction can be quoted; under the requirement that circularity be demonstrated by quotation of the paper's own reduction, none is found. The main unverifiable aspect is epistemic rather than circular: the proof cannot be stress-tested, but no circular step is visible even at the claim level.
Assumptions & free parameters
assumptions (3)
- domain assumption Definitions and base-change properties of relative Du Bois complexes as established in Kovacs-Taji (arXiv:2307.07192).
- domain assumption The family is parameterized by a nonsingular curve and satisfies the hypotheses that make the relative Du Bois complex well-defined.
- standard math Standard derived-category machinery for restriction and base change, including derived pullback, pushforward, and distinguished triangles.
Cite this review
Pith. "Pith review of General base change for relative Du Bois complexes." pith.science (2026). https://pith.science/paper/PX76ZDIF
@misc{pith2026250802848,
author = {Pith},
title = {Pith review of: General base change for relative Du Bois complexes},
year = {2026},
howpublished = {\url{https://pith.science/paper/PX76ZDIF}},
note = {Machine review of arXiv:2508.02848}
}
read the original abstract
A partial answer is given to a question raised by Kov\'acs and Taji in arxiv:2307.07192, namely that the relative Du Bois complex of a family parametrized by a non-singular curve commutes with base change to a general point on the base. It is also shown that this property usually fails for special points.
Forward citations
Cited by 1 Pith paper
-
Deformations, local freeness, and base change for higher Du Bois singularities
Strict higher Du Bois singularities deform, satisfy base change for the relative Du Bois complex, and imply local freeness and Hodge-number constancy in families.
Reference graph
Works this paper leans on
-
[1]
� �������������� ����������� ������� ��������� ���������������� ������ ����� ������ ������ ����� ����� ����� ����� ������� ����� ����� ��� ������� ����� ��� ����� ������� ����� �������� ���������� ����� ������� ���� ������� ����� ���� ������ �������� ����� ������� ����� ������ ����� ������� ����� ������� ���������� ������� ���� ��������������� ������ ����...
arXiv 2025
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.