Pith. sign in

REVIEW 2 major objections 4 minor 13 references

The paper proves that for projective varieties with isolated klt-type singularities, the rational negative K-group K_{-n+2} is not an exotic torsion invariant but is canonically isomorphic to the weight-two Hodge piece of middle cohomology,

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 06:22 UTC pith:2QJYX2IA

load-bearing objection Substantive new framework for negative K-theory via Hodge theory and MMP, but the n≥6 case and integral statements rest on flagged conditional/unpublished inputs. the 2 major comments →

arxiv 2607.12672 v2 pith:2QJYX2IA submitted 2026-07-14 math.AG math.KT

Negative K-theory and Hodge theory

Andrew Burke , Mihnea Popa , Wanchun Shen This is my paper
classification math.AG math.KT MSC 19E2019E1514C3014J17
keywords negative K-theorymixed Hodge theorycdh cohomologyhigher rational singularitiesklt singularitiesChow groupshomotopy K-theoryminimal model program
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper aims to explain negative K-theory of singular complex varieties through mixed Hodge theory: it conjectures, and proves in important cases, that the vanishing and precise descriptions of the groups K_{-i} are governed by the weight filtration on cohomology and by higher singularity notions. Its central theorem states that for a projective variety of dimension n at least 3 with isolated klt-type singularities, the rational group K_{-n+2} is isomorphic to the weight-two piece of middle cohomology, computed explicitly from Picard groups of the strata of a log resolution. This turns a mysterious invariant of singularities into a Hodge-theoretic quantity, and explains when it vanishes and when it is merely torsion. A sympathetic reader should care because the paper replaces a case-by-case study of singular K-theory with a systematic mechanism, and it names the precise conjectural conditions under which the mechanism should hold unconditionally.

Core claim

The central theorem is Theorem 12.1: for a projective variety X of dimension n ≥ 3 with isolated singularities of klt type, there are natural isomorphisms K_{-n+2}(X)_Q ≃ KH_{-n+2}(X)_Q ≃ H^{n-2}(Pic(X•))_Q ≃ gr^W_2 H^n(X,Q). In words, the next-to-bottom negative K-group is rationally controlled by the weight-two piece of middle cohomology, and can be computed as a quotient and kernel of restriction maps among Picard groups of the surface and curve strata in a log resolution. The paper also formulates systematic conjectures B, C, E, and G: weight bounds on mixed Hodge structure imply vanishing of rational homotopy K-theory; pre-m-rational singularities imply the same for ordinary K-theory; a

What carries the argument

The engine is cdh-motivic cohomology H^k_cdh(X,Q(j)), which appears on the E_2-page of the Atiyah–Hirzebruch type spectral sequence converging to KH_{-i}(X)_Q. The paper computes the weight-zero and weight-one cdh cohomology in terms of the integral weight filtration and of Pic(X•), the complex of Picard groups attached to a cubical hyperresolution of X; its cohomology H^{n-2}(Pic(X•))_Q is the concrete Picard-strata formula from the main theorem. The decisive step is proving that the borderline weight-two group H^{n+2}_cdh(X,Q(2)) vanishes for isolated klt-type singularities, via surjectivity of restriction maps CH^2(Y)_Q → ⊕_j CH^2(S_j)_Q on a log resolution, or between threefold and surfa

Load-bearing premise

The load-bearing premise is an unpublished integral weight-purity theorem for klt-type varieties — H^i_0(X,Z) = H^i_1(X,Z) = 0 for i > 0 — cited to the first author's forthcoming work in Section 2 and not proved here; all klt-type vanishings and descriptions over Z in the paper depend on it.

What would settle it

Take a projective variety X of dimension n ≥ 3 with isolated klt-type singularities and compute the explicit Picard-strata group H^{n-2}(Pic X•)_Q from a log resolution; if it is not isomorphic to gr^W_2 H^n(X,Q), or if K_{-n+2}(X)_Q is nonzero while gr^W_2 H^n(X,Q) = 0, Theorem 12.1 fails. The paper's Kummer-threefold example already shows the integral version fails through torsion, so the rational isomorphism is the precise claim to test.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For a projective threefold of klt type, K_{-3} = 0 and K_{-2} is the cokernel of the restriction map from Picard groups of surface strata to Picard groups of curve strata; when the singularities are isolated, K_{-1}(X)_Q ≃ gr^W_2 H^3(X,Q).
  • For any n ≥ 3 with isolated klt-type singularities, K_{-n+2}(X)_Q vanishes exactly when the middle cohomology has no weight-two part, and it vanishes automatically for pre-1-rational (or D_1) singularities.
  • Rational singularities imply K_{-n}(X)_Q = K_{-n+1}(X)_Q = 0; quotient-singular and toric varieties have all negative rational K-groups equal to zero, so their nonzero negative K-theory is torsion.
  • The full conjectural picture, including the cdh-cohomology vanishing and the formulas beyond vanishing, would follow from a generalized Bloch–Beilinson filtration on higher Chow groups, so the proved cases give concrete evidence for that filtration.
  • The methods extend by localization to quasi-projective varieties with isolated singularities and to local rings of such singularities, so the same formulas describe K-groups of germs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the formula K_{-n+2}(X)_Q ≃ gr^W_2 H^n(X,Q) suggests reading the group as a higher-dimensional Q-factoriality defect, a global-versus-local measure of Weil divisors modulo Cartier divisors; a natural next step is to write an exact sequence expressing it through class groups of the singular germs, as the paper explicitly does for threefolds.
  • Editorial extension: the same machinery points to the next hard case, namely the weight-two cdh groups H^{n+4}_cdh(X,Q(3)) (and higher weights), whose vanishing under klt-type hypotheses would give analogous control of K_{-n+3}; the paper stops at weight two, and its Chow-restriction technique suggests an MMP-based ordering for fivefold strata as the needed input.
  • Editorial extension: the clean rational theorem makes the integral failure exhibited by the Kummer threefold more informative: it suggests that integral refinements require control of integral weight filtrations, so a concrete test is to search for klt-type examples beyond the Kummer one where integral weights misbehave.
  • Editorial extension: because quotient singularities have all negative rational K-groups zero but sometimes nonzero integral K_{-1}, the Kummer-type torsion can be read as a new invariant of rational homology manifolds that is invisible in cohomology and is governed by the integral weight filtration.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper develops a program relating negative K-theory of complex varieties to mixed Hodge theory and to the theory of higher singularities (Du Bois, D_m, pre-m-rational). The main results are: Theorem H computes weight-zero and weight-one cdh cohomology; Theorem D/F give vanishing of the two bottom K-groups under rational singularities; Theorem 12.1 gives, for a projective variety X of dimension n≥3 with isolated klt-type singularities, an isomorphism K_{-n+2}(X)_Q ≃ KH_{-n+2}(X)_Q ≃ H^{n-2}(Pic X•)_Q ≃ gr^W_2 H^n(X,Q), together with integral/LCI refinements in special cases. The proofs use cdh-descent, higher Chow groups, restriction maps on codimension-two cycles on log resolutions, and an MMP-based ordering of exceptional strata. The appendix derives the conjectural picture from a generalized Bloch–Beilinson conjecture and collects examples, including Kummer varieties and Cayley-threefold examples showing integral obstructions.

Significance. If the main theorem is correct, it gives a striking and non-obvious formula: for isolated klt-type singularities, the next-to-bottom negative K-group is not a mysterious torsion invariant but is the weight-two Hodge piece of middle cohomology, computed from Picard groups of strata in a log resolution. The weight-zero and weight-one sections are clean and likely standard, and the examples (Kummer varieties, Cayley surfaces, cones, toric varieties, quotient singularities) are valuable in calibrating the conjectures. The paper is also honest in separating conjectures from theorems and in flagging conditional input. However, a central part of the claimed theorem for n≥4 is conditional on an MMP statement whose proof the paper itself admits is not unconditional, so the paper is not yet in a state where the headline theorem can be accepted as proved in full.

major comments (2)
  1. [§9, proof of Theorem 9.9, footnote after eq. (9.10)] This is the load-bearing conditional step. The proof of Theorem 9.9 runs an MMP for the dlt pair (Y,Γ) via the klt perturbation G=Γ−εg*D; the footnote explicitly concedes that running such an MMP for a dlt pair is not known without Special Termination and is unconditional only in dimension ≤5. The ordering property (i)(2)/(ii)(2) of Theorem 9.9 is then used in Theorem 9.6 to prove the surjectivity of α_Q, hence Lemma 8.5(ii), Theorem I(ii), and ultimately Theorem 12.1(i) for n≥4 (in particular for all n≥6). If that MMP step fails, the triangular ordering T_q⊂F_r only if q≤r can fail, the diagram chase proving α_Q surjective collapses, and the vanishing of H^{n+2}_cdh(X,Q(2)) is not established. The theorem as stated is therefore not proved unconditionally for n≥4; the manuscript should either supply the missing MMP input, restrict the statement to the range where the MMP is known, or sta
  2. [§2, Theorem 2.10 and its use] Theorem 2.10 is cited to the first author's unpublished and forthcoming work [Bur], and it is not proved in this paper. It underpins the integral statements in Proposition 6.1, the final claim of Proposition 7.3, Theorem 11.2, and the integral versions of the main consequences. If [Bur] is not available, these integral klt-type conclusions are conditional. The rational central claim can probably avoid Theorem 2.10, but the paper should state clearly in the main theorems which parts depend on [Bur], or else include a proof of Theorem 2.10 in this paper.
minor comments (4)
  1. [§10, proof of Theorem 10.1] The proof says 'Thanks to Corollary 3.8 we have K_{-n}(X)≃KH_{-n}(X)', but the cited statement appears to be Theorem 3.8 (Weibel's conjecture and K_{-n}-regularity), not Corollary 3.8. Please check the cross-reference.
  2. [§5, eq. (5.1)] In the definition of log pullback, the second displayed formula should read f_*Δ_Y=Δ, not f^*Δ_Y=Δ. As written it is not the usual pushforward formula for log pullback.
  3. [§8, after Example 8.1] The text says 'Since such a blow-up always exists, there will be no loss of generality in assuming it' regarding factorisation through a plt blow-up. This is plausible, but it should be justified or made precise, since Theorem 9.6 and Theorem 9.9 explicitly assume this factorization.
  4. [§12, proof of Theorem 12.1] The phrase 'it is straightforward to see that it survives to the E∞-page' for H^n_cdh(X,Z(1)) can be made precise by pointing at the relevant differentials and the vanishing of H^{n-2}_cdh(X,Z(0)) and H^{n+2}_cdh(X,Z(2)). A one-sentence explanation would improve readability.

Circularity Check

1 steps flagged

No definitional circularity or fitted-input prediction; the rational central isomorphism is a genuine derivation. The main circularity concern is the integral klt-type purity theorem [Bur], cited to the first author's unpublished forthcoming work and used as a load-bearing input for integral klt conclusions.

specific steps
  1. self citation load bearing [§2, Theorem 2.10; applied in §6, Proposition 6.1; used in §12, proof of Theorem 12.1]
    "Forthcoming work of the first author [Bur] clarifies this picture to some extent, using singularities of the minimal model program. Theorem 2.10 ([Bur]). Suppose X is projective and of klt type. Then H^i_0(X,Z)=H^i_1(X,Z)=0 for i>0. In particular, H^i(X,Z) has weights ≥ min{i,2}. ... The last statement is a consequence of Theorem 2.10."

    The integral klt-type claims in the paper are derived from an unpublished theorem attributed to the first author's forthcoming work. Proposition 6.1's vanishing for klt varieties is justified solely by Theorem 2.10, and Proposition 7.3 and Theorem 11.2/12.1 integral statements inherit this dependence. Since [Bur] is not proved, machine-checked, or otherwise independently verified in the manuscript, those specific load-bearing steps reduce to an unverified same-group citation rather than to a derivation contained in this paper. This does not touch the rational central claim, because Corollary 1.7 and Corollary 6.4 already supply rational weight purity from [PP24]/[SVV23], so the circularity is partial and confined to the integral side.

full rationale

The paper's main rational result, Theorem 12.1(i), is not circular: it follows from the cdh descent spectral sequence (Theorem 4.5), rational weight bounds from Corollary 1.7, Corollary 7.6, and the Chow-level surjectivity Theorem I, which is proved via MMP ordering in Theorem 9.9. None of these steps has the conclusion as an input, and there is no fitted parameter renamed as a prediction. The proof does contain a clearly flagged conditional step in Theorem 9.9's MMP ordering: the footnote admits that running an MMP for a dlt pair is not known without Special Termination and is unconditional only in dimension ≤5. That is a genuine correctness/robustness risk for n≥6, but it is not circularity. The only load-bearing self-citation is the integral weight-purity theorem [Bur], used for integral klt-type statements; because it is unpublished and unverified in the manuscript, those specific claims rest on an unproved same-group citation. Since the rational central claim is independent of [Bur], the appropriate score is 4 rather than higher.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

No numerical fitting appears; the ledger is dominated by background theorems from the literature. The two notable dependencies are the unpublished [Bur] theorem on integral weights for klt type and the conditional Bloch conjecture; both are explicitly named by the authors.

axioms (8)
  • standard math Gillet–Soulé integral weight filtration on cohomology is invariant from E_2 onward and agrees with Deligne's rational weight filtration (Theorem 2.5).
    Introduced in §2 and used to identify H^i_cdh(X,Z(0)) with H^i_0(X,Z) and to define integral weights in §6–§7.
  • ad hoc to paper For projective klt type X, H^i_0(X,Z) = H^i_1(X,Z) = 0 for i > 0 (Theorem 2.10, [Bur]).
    Quoted from the first author's forthcoming paper; no proof appears here. It is the bridge from klt type to integral weight purity used in Propositions 6.1 and 7.3 and in the klt statements of Theorems 11.2 and 12.1.
  • domain assumption Hodge–Du Bois symmetry and the D_m/double-duality theorems of [PP24] (Theorem 1.6, Corollary 1.7).
    Gives the weight bounds that turn singularity hypotheses (pre-m-rational, D_m) into vanishing statements for cdh cohomology; [PP24] is a coauthor's prior preprint.
  • domain assumption K-regularity criteria for (pre-)m-Du Bois and isolated singularities (Theorem 3.9, [Sh25]).
    Used repeatedly to identify K_i with KH_i in the negative range; a prior result by an author of this paper.
  • standard math Atiyah–Hirzebruch spectral sequence for KH with rational E_2-degeneration (Ha04; KP18).
    Backbone for expressing KH in terms of cdh cohomology; cited as established.
  • standard math BCHM existence of MMP for klt pairs (Theorem 5.2).
    Used in Lemma 5.3 and in the proof of Theorem 9.9 to run relative MMPs in the Chow-surjectivity argument.
  • domain assumption Bloch's conjecture on 0-cycles for smooth projective surfaces (Conjecture 19.1).
    Explicitly assumed for the rational, non-Gorenstein, non-klt cases of Theorem 9.1 and Theorem I; stated as an open conjecture.
  • standard math Hodge conjecture for smooth projective threefolds (via Lefschetz (1,1) and hard Lefschetz).
    Used in the proofs of Theorems 9.1 and 9.6 to lift cohomological surjectivity to Chow groups.

pith-pipeline@v1.3.0-alltime-deepseek · 53989 in / 16711 out tokens · 159905 ms · 2026-08-02T06:22:16.285355+00:00 · methodology

0 comments
read the original abstract

We study the negative $K$-groups of complex varieties from a mixed Hodge-theoretic perspective, making use of the theory of higher singularities, Chow groups, and the Minimal Model Program.

Figures

Figures reproduced from arXiv: 2607.12672 by Andrew Burke, Mihnea Popa, Wanchun Shen.

Figure 1
Figure 1. Figure 1: Cdh cohomology Hk (j) := Hk cdh(X, Q(j)), displayed according to the standard indexing in the Atiyah–Hirzebruch spectral sequence E p,q 2 = Hp−q (−q) ⇒ KH−p−q(X)Q. The fact that Conjecture G implies Conjecture B is a consequence of the rational E2- degeneration of an Atiyah-Hirzebruch type spectral sequence, which filters KH−i(X)Q by the cdh-cohomology groups H i+2j cdh (X, Q(j)) with 0 ≤ j ≤ n − i [PITH_… view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 6 linked inside Pith

  1. [1]

    Arapura, P

    [ABW13] D. Arapura, P. Bakhtary, and J. Wlodarczyk,Weights on cohomology, invariants of singu- larities, and dual complexesMath. Ann.357(2013), no. 2, 513–550. [As00] M. Asakura,Motives and algebraic de Rham cohomology, CRM Proc. Lecture Notes24, Amer- ican Mathematical Society, Providence, RI, 2000, 133–154. [Ay15] J. Ayoub,Motives and algebraic cycles: ...

    Pith/arXiv arXiv 2013

  2. [8]

    Mustat ¸˘ a, S

    [MOPW23] M. Mustat ¸˘ a, S. Olano, M. Popa, and J. Witaszek,The Du Bois complex of a hypersurface and the minimal exponentDuke Math. J.172(2023), no. 7, 1411–1436. [MP22] M. Mustat ¸˘ a and M. Popa,Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension, Forum Math. Pi10(2022), Paper No. e22, 58pp. [MP25] M. Mustat ¸˘ a and...

    2023

  3. [13]

    Xu,Finiteness of algebraic fundamental groups, Compositio Math.150(2014), 409–414

    [Xu14] C. Xu,Finiteness of algebraic fundamental groups, Compositio Math.150(2014), 409–414. Department of Mathematics, Harvard University, 1 Oxford Street, Cambridge, MA 02138, USA Email address:aburke@math.harvard.edu Department of Mathematics, Harvard University, 1 Oxford Street, Cambridge, MA 02138, USA Email address:mpopa@math.harvard.edu Department ...

    2014

  4. [34]

    [PP24] S. G. Park and M. Popa,Hodge symmetry and Lefschetz theorems for singular varieties, preprint arXiv:2410.15638. [PP25] S. G. Park and M. Popa,Q-factoriality and Hodge-Du Bois theory, preprint arXiv:2508.17748. [PS23] N. Pavic and S. Schreieder,The diagonal of quartic fivefolds, Algebr. Geom.10(2023), no. 6, 754–778. [PS21] N. Pavic and E. Shinder,K...

    Pith/arXiv arXiv 2023

  5. [54]

    [We80] C. A. Weibel,K-theory and analytic isomorphisms, Invent. Math.61(1980), no. 2, 177–197. [We84] C. Weibel,NegativeK-theory of varieties with isolated singularities, J. Pure Appl. Algebra34 (1984), no. 2-3, 331–342. [We89] C. A. Weibel,Homotopy algebraicK-theory, AMS Contemp. Math.83(1989), 461–488. [We01] C. Weibel,The negativeK-theory of normal sur...

    1980

  6. [414]

    Dayton and C

    [DW97] B. Dayton and C. Weibel,K-theory of hyperplanes, Trans. AMS257(1997), 67–98. [DOR25] B. Dirks, S. Olano, and D. Raychaudhury,A Hodge theoretic generalization ofQ-homology manifolds, preprint arXiv:2501.14065,

    Pith/arXiv arXiv 1997

  7. [1968]

    Birkar,Existence of log canonical flips and a special LMMP, Publ

    [Bi12] C. Birkar,Existence of log canonical flips and a special LMMP, Publ. Math. Inst. Hautes ´Etudes Sci.115(2012), 325–368. [BCHM10] C. Birkar, P. Cascini, C. D. Hacon, and J. McKernan,Existence of minimal models for varieties of log general type, J. Amer. Math. Soc.23(2010), no. 2, 405–468. [Bl86] S. Bloch,Algebraic cycles and higherK-theory, Adv. in ...

    2012

  8. [1988]

    Hacon and J

    [HM07] C. Hacon and J. McKernan,On Shokurov’s rational connectedness conjecture, Duke Math. J. 138(2007), no. 1, 119–136. [Hamm71] H. Hamm,Lokale topologische Eigenschaften komplexer R¨ aume, Math. Ann.191(1971), 235–252. [Ha04] C. Haesemeyer,Descent properties of homotopyK-theory, Duke Math. J.125(2004), no. 3, 589–620. [HW25] C. Haesemeyer and C. Weibel...

    Pith/arXiv arXiv 2007

  9. [1998]

    Gazaki and J

    [GR25] E. Gazaki and J. Rathore,Zero-cycles and quasi-projective surfaces over p-adic fields, preprint arXiv:2507.20076. [GS15] A. Geraschenko and M. Satriano,Torus quotients as global quotients by finite groups, J. London Math. Soc. (2)92(2015), 736–759. [GS95] H. Gillet and C. Soul´ e,Descent, motives andK-theory, J. Reine Angew. Math.478(1996), 127–176...

    Pith/arXiv arXiv 2015

  10. [2003]

    Vorst,Localization of theK-theory of polynomial extensions, Math

    62 ANDREW BURKE, MIHNEA POPA, AND W ANCHUN SHEN [Vor79] T. Vorst,Localization of theK-theory of polynomial extensions, Math. Ann.,244(1979), 33–

    1979

  11. [2008]

    Popa and W

    [PS25] M. Popa and W. Shen,Du Bois complexes of cones over singular varieties, local cohomological dimension, andK-groups, L. B˘ adescu memorial volume, Rev. Roumaine Math. Pures Appl.70 (2025), no. 1-2, 133–155. [PSV26] M. Popa, W. Shen, and A. D. Vo,Injectivity and vanishing for the Du Bois complexes of isolated singularities, Algebra Number Theory20(20...

    Pith/arXiv arXiv 2025

  12. [2013]

    Krishna and P

    [KP18] A. Krishna and P. Pelaez,The slice spectral sequence for singular schemes and applications, Ann. K-Theory3(2018), no. 4, 657–708. [LS25] J. Lange and S. Schreieder,On the rationality problem for low degree hypersurfaces, Forum Math. Pi13(2025), Paper No. e25, 31pp. [Le01] M. Levine,Techniques of localization in the theory of algebraic cycles, J. Al...

    2018

  13. [2025]

    Elmanto and M

    [EM23] E. Elmanto and M. Morrow,Motivic cohomology of equicharacteristic schemes, preprint arXiv:2309.08463. [FV00] E. Friedlander and V. Voevodsky,Bivariant cycle cohomology, Ann. of Math. Stud.143, Prince- ton University Press, Princeton, NJ, 2000, 138–187. [FS02] E. Friedlander and A. Suslin,The spectral sequence relating algebraicK-theory to motivic c...

    arXiv 2000