Q-factoriality and Hodge-Du Bois theory

Mihnea Popa; Sung Gi Park

REVIEW 4 major objections 3 minor 3 cited by

Q-factoriality and Hodge-Du Bois theory

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

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

Pith's one-line read The paper proves Hodge-theoretic formulas for the Q-factoriality defect of normal projective varieties and for local analytic germs, yielding a local Samuel conjecture, a characterization of rational homology threefolds, and flop invariance

desk verdict A credible, potentially important claim that Q-factoriality defects are Hodge-theoretic, but the abstract alone can't verify the load-bearing torsion and local compactification steps; worth a serious referee. read the letter →

arxiv 2508.17748 v1 pith:EGVCM5WN submitted 2025-08-25 math.AG

Sung Gi Park , Mihnea Popa This is my paper · ORCID

classification math.AG MSC 14C2014B0514E3014J30

keywords Q-factorialitydefectHodge-DuBoisinvariantsDucomplexrationalsingularitiesflopsSamuel'sconjecturethreefoldsnormalprojectivevarieties

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 establishes that the Q-factoriality defect—the rank of the quotient of the Weil divisor class group by the Cartier divisor class group—is a Hodge-theoretic quantity, computable from Hodge-Du Bois invariants. The same is shown for the local analytic Q-factoriality defect of a normal singularity germ. If true, this ties divisor class groups to mixed Hodge theory and to Du Bois cohomology in a way that yields a local analytic version of Samuel's conjecture, a characterization of rational homology threefolds with rational singularities, and invariance of Hodge-Du Bois numbers under flops of projective threefolds. The paper's point is that Q-factoriality, normally thought of as a purely algebraic property of divisors, is under mild conditions governed by Hodge numbers.

What carries the argument

The Q-factoriality defect is the rank over Q of the quotient Cl(X)/Pic(X), measuring how far Weil divisors are from being Cartier up to multiples. The Hodge-Du Bois invariants are the Hodge numbers of the Du Bois complex, a cohomological replacement for the de Rham complex that carries a mixed Hodge structure even for singular varieties. The formulas do their work by comparing these two quantities through mixed Hodge theory on a projective compactification or resolution, converting a statement about divisor classes into a statement about Hodge numbers.

What would settle it

Find a normal projective variety or an analytic germ whose Hodge-Du Bois invariants all vanish but whose divisor class group still has a nonzero Q-factoriality defect, for example through torsion in Cl(X)/Pic(X); such an example would refute the claimed identification.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that for a normal projective variety the Q-factoriality defect is not merely an algebraic invariant of divisors but a Hodge-Du Bois invariant, expressible as a Hodge number attached to the Du Bois complex. The same identification is proved for the local analytic Q-factoriality defect of an analytic germ of a normal variety. The proof works by comparing the mixed Hodge structure on cohomology of a suitable compactification with the Du Bois complex, and this comparison is what drives the three stated consequences: a local analytic Samuel conjecture, a characterization of projective rational homology threefolds with rational singularities, and

Load-bearing premise

The central premise is that the Q-factoriality defect is exactly captured by Hodge-Du Bois cohomology, with no stray torsion or filtration issues, so that a failure of the identification between divisor class groups and Hodge numbers would break the formulas.

Editorial extensions

If this is right

If a normal projective variety has all relevant Hodge-Du Bois invariants vanish, it is Q-factorial; Q-factoriality can be read off from Hodge numbers.
The local analytic version of Samuel's conjecture says normal analytic germs with vanishing local Hodge-Du Bois invariants are analytically Q-factorial.
Projective rational homology threefolds with rational singularities are characterized by the vanishing of a specific Hodge-Du Bois number.
Flops of projective threefolds leave Hodge-Du Bois numbers unchanged, giving a new invariance statement for flops.
The global and local formulas put both versions of the Q-factoriality defect into one Hodge-theoretic framework, so local and global behavior are controlled by the same invariants.

Reading between the lines

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

If the equality is as robust as claimed, Q-factoriality could be tested computationally by computing Du Bois Hodge numbers rather than by direct divisor-class analysis, which would simplify searches for Q-factorial varieties.
The local analytic formula suggests that analytic Q-factoriality of a singularity germ is independent of its embedding, which would give a new embedding-invariant for singularity classification.
Flop invariance of Hodge numbers is plausibly the Hodge-theoretic shadow of derived equivalence under flops; one could ask whether the full mixed Hodge structure, not just the graded pieces, is flop invariant.
The identification may extend beyond projective compactifications and log-terminal setups to broader classes of varieties, provided the relevant Hodge-Du Bois invariants remain well defined.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

You should know this paper makes a strong, clean claim: the Q-factoriality defect of a normal projective variety, and its local analytic analogue, are computed by Hodge-Du Bois invariants. If true, that's a genuinely new bridge between birational geometry and Hodge theory, and it lands several open-looking consequences in one stroke: a local analytic Samuel conjecture, a characterization of rational homology threefolds with rational singularities, and flop invariance of Hodge-Du Bois numbers for threefolds. The abstract is well written and the authors are credible, so this is not a crank document.

What the paper does well, as far as an abstract can show: it states a unified framework, flags concrete applications, and doesn't overclaim—the list of consequences is specific and falsifiable. There's no visible circularity in the stated direction: formulas imply consequences.

Now the soft spots, and they're real but not necessarily fatal. First, the Q-factoriality defect is normally a Q-rank of a quotient of divisor class groups. Hodge numbers see dimensions of Q-vector spaces, so any torsion in Cl(X)/Pic(X) or in the local class group would be invisible. The authors either need to exclude torsion or show explicitly that it doesn't affect the defect—neither is checkable from the abstract. Second, for an analytic germ that isn't algebraizable, the local Hodge-Du Bois invariant has to be independent of the chosen projective compactification or resolution. That's a nontrivial condition, and the abstract doesn't hint at how it's handled. These are precisely the points where a formula could fail even if the applications read naturally.

Because the full text is unavailable, I can't tell whether these are handled. But the paper is not obviously wrong, and the payoff is high enough that it deserves referee time rather than a desk reject. A careful referee should focus on the torsion question and on the local-to-global comparison for analytic germs. If those check out, this is a substantial contribution.

For your own work: I wouldn't cite it yet, but I'd bring it to a reading group once the full text is out. For the editor: yes, send it to peer review.

Referee Report

4 major / 3 minor

Summary. The paper (arXiv:2508.17748, abstract only) claims Hodge-theoretic formulas for the Q-factoriality defect of a normal projective variety and for the local analytic Q-factoriality defect of an analytic germ. From these formulas it derives three consequences: a local analytic version of Samuel's conjecture, a characterization of projective rational homology threefolds with rational singularities, and flop invariance of Hodge-Du Bois numbers for projective threefolds. The abstract states these theorems but contains no proofs, definitions, or technical hypotheses.

Significance. If the formulas are correct, they would establish an unexpected bridge between Q-factoriality defects and Hodge-Du Bois invariants, with consequences for birational geometry (flop invariance), singularity theory (Samuel's conjecture), and the structure of threefolds. The claimed characterizations are strong and potentially influential. However, because only the abstract is available, the significance is conditional on the missing derivations and on the precise hypotheses under which the formulas hold. The paper's strengths, if the full text delivers, would include explicit Hodge-theoretic formulas for a classical invariant; the current submission does not supply evidence that these formulas are proven.

major comments (4)

[Abstract (entire submission)] The submitted manuscript is only an abstract; no proofs, lemmas, definitions, or computations are provided. The central formulas and all three consequences are asserted without any supporting argument. This is load-bearing: the correctness of the main claims cannot be assessed. The journal should require the full text before any substantive review.
[Abstract, Q-factoriality defect formulas] The Q-factoriality defect q(X) is typically defined as the Q-rank of the quotient Cl(X)/Pic(X) modulo torsion (or a local analogue). Hodge-Du Bois numbers are dimensions of Q-vector spaces and would be insensitive to torsion components in these quotients. The abstract does not state whether torsion is assumed absent, killed, or incorporated. Without an explicit statement, the formula q(X) = (some Hodge number) may be false in the presence of torsion, or may only hold after a non-stated torsion-free reduction. This precondition needs to be clarified in the full text.
[Abstract, local analytic formula] For an analytic germ (X,x), the notion of Hodge-Du Bois invariants requires a choice of compactification or resolution that respects the Hodge filtration. The abstract does not specify the class of germs: are they algebraic, algebraizable, or arbitrary analytic? If arbitrary, a projective compactification may not exist, and the invariant may depend on choices or fail to be defined. The local Samuel-type consequence could fail exactly in the non-algebraizable case unless this is addressed. The abstract must state, at minimum, the compactifiability/approximation hypotheses.
[Abstract, full-generality claim] The abstract says 'normal projective variety' without further conditions (e.g., Q-Gorenstein, rational singularities, dimension bounds). The characterization result for threefolds suggests some dimension/class restrictions may be needed. If the formulas are claimed for all normal projective varieties, the proof must handle singularities that are not log-terminal and Du Bois singularity classes; the abstract gives no indication of how these cases are treated.

minor comments (3)

[Abstract, terminology] The term 'Hodge-Du Bois invariants' is used without a definition. Specify which invariants are meant (e.g., Hodge numbers of the Du Bois complex, Hodge numbers of the mixed Hodge structure on local cohomology, etc.).
[Abstract, Samuel's conjecture] The 'local analytic version of Samuel's conjecture' is mentioned but not stated. A precise conjectural statement should be given so that the claimed theorem can be compared with known results.
[Abstract, rational homology threefolds] The phrase 'projective rational homology threefolds with rational singularities' is ambiguous: does it mean Q-homology projective spaces, or any projective threefold with H^1=H^3=0 over Q? Clarify the topology condition and the singularity class.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identifiable from the abstract; the claimed formulas are stated as new results, not as definitions or fitted predictions.

full rationale

Only the abstract is available, and it contains no equations, definitions, or derivations. The central claim is that Hodge-theoretic formulas are proved for the Q-factoriality defect; the direction is from formulas to consequences, and there is no visible construction that defines the defect in terms of the very invariants it is said to compute. No fitted parameter is renamed as a prediction, no self-citation carries the argument, and no uniqueness theorem is imported. The skeptic's concerns about torsion in the divisor class group and compactification-independence for analytic germs are substantive correctness conditions, but they are not circularity: they concern whether the formulas hold, not whether the claim reduces to its own assumptions by definition. Accordingly, no circular step can be exhibited, and the honest score is 0.

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

The abstract relies on the background machinery of Hodge-Du Bois theory and the standard definitions of Q-factoriality and its defect. No free parameters, fitted values, or invented entities are visible from the abstract. The entries above are the load-bearing background assumptions; a full audit requires the paper text.

assumptions (4)

domain assumption Hodge-Du Bois numbers are well defined for all normal projective varieties and for the local analytic germs considered, via the Du Bois complex and mixed Hodge theory.
The formulas are stated in terms of Hodge-Du Bois numbers, which for singular varieties require the standard Du Bois complex machinery in characteristic 0. The abstract invokes this theory without proving it.
domain assumption The setting is characteristic 0, typically over the complex numbers.
Hodge-Du Bois theory is a characteristic 0 theory; the abstract gives no indication of a positive-characteristic analogue, so the results are taken to live over C or an algebraically closed field of characteristic 0.
domain assumption The Q-factoriality defect, global and local analytic, is a well-defined invariant independent of the Hodge numbers it is compared with.
The meaning of the formulas depends on the defect being defined by class group or base change considerations, not by the Hodge invariants themselves. If the paper defines the defect through the Hodge numbers, the formula would be tautological; the abstract does not settle this.
domain assumption Local analytic germs admit a projective or compactifiable model on which the relevant Hodge-Du Bois invariants can be computed compatibly.
The local analytic formula compares a local defect to local Hodge-theoretic invariants; relating local analytic data to global Hodge theory generally requires a compactification or resolution whose Hodge filtration matches the germ's, a standard but nontrivial background condition.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Q-factoriality and Hodge-Du Bois theory." pith.science (2026). https://pith.science/paper/EGVCM5WN

@misc{pith2026250817748,
  author       = {Pith},
  title        = {Pith review of: Q-factoriality and Hodge-Du Bois theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EGVCM5WN}},
  note         = {Machine review of arXiv:2508.17748}
}

abstract

We prove Hodge-theoretic formulas for the $\mathbb{Q}$-factoriality defect of a normal projective variety, and for the local analytic $\mathbb{Q}$-factoriality defect of an analytic germ of a normal variety. These formulas lead to consequences ranging from a local analytic version of Samuel's conjecture to a characterization of projective rational homology threefolds with rational singularities, or the invariance of Hodge-Du Bois numbers under flops of projective threefolds.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A Hodge Theoretic Generalization of $\mathbb{Q}$-Homology Manifolds II: Local Complete Intersections
math.AG 2026-07 conditional novelty 6.0 of 10

For local complete intersection singularities, the new Hodge invariant HRH is bounded by integer Bernstein–Sato roots and minimum integer spectral numbers, and in the hypersurface case it is exactly determined by them.
Factoriality of normal projective varieties
math.AG 2026-01 conditional novelty 6.0 of 10

For normal projective varieties with 2-semi-rational singularities, the Q-factoriality defect equals h^{2n-2}(X)-h^2(X), and mild complete-intersection singularities are factorial when the topological defect vanishes.
Defect of projective hypersurfaces with isolated singularities
math.AG 2025-12 conditional novelty 5.0 of 10

The defect of a singular projective hypersurface equals the dimension of the unipotent Milnor fiber cohomology and can be computed by a pole-order spectral sequence for weighted homogeneous singularities.

Pith tools

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