Pith. sign in

REVIEW 2 major objections 3 minor 2 cited by

$K_2$-regularity and normality

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read K2-regularity, a vanishing condition on polynomial-extended algebraic K-theory, forces normality in characteristic zero, and for local complete intersections it forces regularity from about half of Vorst's bound.

desk verdict Theorem 0.1 and 0.3 are solid and worth knowing; Theorem 2.6's 'by inspection' gap is real and should be fixed before the du Bois-to-regularity claim is taken as established. read the letter →

arxiv 2501.01567 v2 pith:6A3C3GOU submitted 2025-01-02 math.AG math.KT

Christian Haesemeyer , Charles A. Weibel This is my paper · ORCID
classification math.AGmath.KT MSC 19D3514F2019E20
keywords algebraicK-theoryK-regularitynormalityduBoissingularitieslocalcompleteintersectionscdhdescentHochschildhomologyminimalexponent
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 tries to show that K-theoretic regularity—a condition on the vanishing of certain Nil K-groups—carries strong geometric information about singularities. Its first theorem states that in characteristic zero, any noetherian ring with finite normalization that is K2-regular must be normal, a conclusion previously known only in low dimensions. The second main theorem improves Vorst's classical bound for affine local complete intersections: K(p+1)-regularity forces regularity in codimension 2p, so a d-dimensional local complete intersection that is K(q)-regular for q ≥ d/2 + 1 is actually regular. If these results stand, then a single low-degree K-theoretic vanishing condition can certify normality or even smoothness without dimension restrictions.

What carries the argument

The argument runs on three machines. The normality half uses the conductor square of a finite birational extension A ⊆ B: applying relative K-theory and excision to the Milnor square reduces K2-regularity of A to a statement about the residue-field extension, where Lemma 1.5 identifies the obstruction with the relative group $K_1(A[t], B[t], \mathfrak{m}[t]) \cong \mathfrak{m}/\mathfrak{m}^2 \otimes_L \Omega_{L/K} \otimes_L L[t]$; a nonzero K2 element is produced by a Dennis–Stein symbol whose Dennis trace to $\Omega^2_{A'[t]}$ is a nonzero 2-form. The regularity half uses p-du Bois complexes $\underline{\Omega}^p_X$, defined via cdh-descent from the sheaf of Kähler differentials, and the theorem that K(p+1)-regularity implies p-du Bois singularities through p-cdh descent for Hochschild homology. For local complete intersections, the bound is carried by the minimal exponent $\widetilde{\alpha}(S,X)$: combining the upper bound $\widetilde{\alpha} \le n/2$ from the local complete intersection condition and the lower bound $\widetilde{\alpha} \ge p + r$ from p-du Bois behaviour forces regularity in codimension $2p + r - 1$.

What would settle it

Find a 3-dimensional local complete intersection singularity over C that is K2-regular but has minimal embedding codimension 2; Corollary 3.6 predicts r ≤ 1, so such an example would refute Theorem 0.3 and the Shen sharpening.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the vanishing of polynomial-extended K-groups is a sharper singularity detector than previously recognized. Theorem 0.1 asserts that K2-regularity forces normality for noetherian rings containing Q whose normalization is finite, and the proof works by localizing at a prime, using the conductor square to reduce to the case where the conductor is the maximal ideal, and then showing that a nontrivial finite birational extension would produce a nonzero Dennis–Stein symbol, hence a nonzero element of N K2. Theorem 0.3 asserts that for affine local complete intersections over a characteristic-zero field, K(p+1)-regularity implies regularity in codimension 2p, so that K(q)-regularity with q at least d/2 + 1 implies regularity; the proof passes through p-du Bois singularities and the Hodge-theoretic theorem that p-du Bois local complete intersection singularities are regular in codimension 2p. The paper also records a sharpening, communicated by Wanchun Shen, showing that a p-du Bois local complete intersection singularity of embedding codimension r is regular in codimension 2p + r − 1, and it recovers a new proof of Vorst's conjecture as a special case.

Load-bearing premise

The load-bearing premise is that the p-du Bois condition provides exactly the two vanishing conditions (2.6a) and (2.6b), and that these suffice to carry through the earlier proof and force the next exterior power of differentials to vanish; the paper asserts this bridge by inspection rather than proving it.

Editorial extensions

If this is right

  • In characteristic zero, K2-regularity becomes a dimension-free certificate of normality for affine algebras with finite normalization, extending Vorst's curve-level result to all dimensions.
  • For affine local complete intersections of dimension d, Vorst's bound K_{d+1}-regularity can be replaced by K_q-regularity with q ≥ d/2 + 1; the same conclusion—regularity—follows from roughly half as much K-theoretic input.
  • A 3-dimensional K2-regular local complete intersection singularity must be a hypersurface, since its minimal embedding codimension r must satisfy r ≤ d − 2p = 1.
  • Every K_{p+1}-regular affine scheme is regular in codimension p, giving a new proof of Vorst's conjecture through p-du Bois singularities rather than through the full descent conditions.

Reading between the lines

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

  • If Theorem 0.1 is right, K2-regularity is a purely K-theoretic way to detect normality without fixing the dimension; one testable consequence is that K2-regularity should fail for every non-normal isolated singularity in characteristic zero, which could be checked by computing N K2 of its local ring directly.
  • The separation between the normality theorem (no local complete intersection assumption) and the smoothness theorem (local complete intersection assumption) suggests that the true obstruction to smoothness under K2-regularity is torsion-freeness of differentials; non-local-complete-intersection K2-regular surfaces would be a natural place to look for a counterexample to regularity.
  • The minimal-exponent formulation in Theorem 3.5 gives an explicit inequality r ≤ d − 2p linking embedding codimension to K-regularity degree; this could be tested computationally on explicit local complete intersection singularities, since the minimal exponent is accessible from a V-filtration.
  • In positive characteristic, the proof of normality requires separability of residue-field extensions (Lemma 1.5), suggesting K2-regularity alone may fail to imply normality over imperfect fields; constructing an inseparable K2-regular local ring would settle the sharpness of the Q ⊆ A hypothesis.
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.

Referee Report

2 major / 3 minor

Summary. The paper has two main parts. In Section 1, using a conductor square, relative K-theory exact sequences, and a Dennis--Stein symbol argument after strict henselization, the authors prove that K2-regularity implies normality for noetherian rings containing Q with finite normalization (Theorem 0.1/1.9), and also treat the two-dimensional perfect-residue-field case. In Sections 2 and 3, the paper connects K-regularity to higher du Bois singularities. Proposition 2.7 extracts from the published [1] that K_{p+1}-regularity implies p-du Bois; Theorem 2.6 claims conversely that p-du Bois singularities are regular in codimension p; and Theorem 3.3 combines Proposition 2.7 with the Mustata--Popa theorem to prove that K_{p+1}-regular local complete intersections are regular in codimension 2p. Theorem 3.5, credited to Wanchun Shen, sharpens this using minimal exponents.

Significance. If the proofs are completed, the paper would contain two notable results: a dimension-free normality criterion for K2-regular rings, and a substantial improvement over Vorst's bound for local complete intersections. The Section 1 induction is largely independent of the authors' earlier work and appears sound in outline; the Section 3 lci argument is short and transparent because it separates the K-theoretic input (Proposition 2.7) from the Hodge-theoretic input (Mustata--Popa). The paper is concise and does not overclaim in its main statements. However, the Section 2 result Theorem 2.6, which is presented as a general structural consequence of du Bois conditions, is proved only by an assertion that is not verified in the text. That gap does not by itself invalidate Theorem 0.1 or Theorem 0.3, but it is load-bearing for Theorem 2.8 and for the categorical statement in Question 3.2, and it must be fixed or removed before the paper can be accepted.

major comments (2)
  1. [§2, Theorem 2.6 (pp. 7–8)] The proof is incomplete in a load-bearing way. The reduction of the p-du Bois hypothesis to conditions (2.6a)–(2.6b) is not literally Definition 2.3, which requires isomorphisms for all q ≤ p rather than only q ≤ d; the case d < q ≤ p is dropped without explanation. More seriously, the sentence "By inspection, the proof of [1, Theorem 3.1] only needs the weaker hypotheses given here" is the actual content of the theorem, and the text does not check it. Lemma 2.5 lists three conditions characterizing p-cdh descent; condition (2.5a), the vanishing of the Hochschild homology groups HH^q_m(R/k) for 0 ≤ q < m ≤ p, is not shown to follow from p-du Bois, and the displayed comparison H*(Ω^{≤d}_{A/k}, d) ≅ H*_cdh(X, Ω^{≤d}_{/k}) ≅ H*_cdh(X, Ω^•_{/k) is precisely the kind of statement for which (2.5a) is used in [1]. Since the final conclusion Ω^{d+1}_{A/k} = 0 is obtained from these isomorphisms, Theorem 2.6 is unsupported as written. Consequently Theorem 2.8 and the assertion in Question 3.2 that a 1-du Bois algebra is regular in codimension 1 inherit the gap.
  2. [§1, Proposition 1.8 (pp. 4–5)] The construction of the elements f and g after strict henselization is not justified. The proof needs f,g in the maximal ideal with disjoint supports among the factors of B', so that fg = 0, and with linearly independent classes modulo m^2. Such elements depend on a branch decomposition of the strict local ring A'; if A' is a domain then B' is a domain and s > 1 is already impossible, while if A' is not a domain, the existence of branch-separating functions in A' and their linear independence modulo m^2 must be proved. Because the Dennis--Stein symbol and the nonvanishing of its Dennis trace depend on these properties, the contradiction proving A = B, and hence Theorem 1.9, rests on an unstated branch-separation lemma.
minor comments (3)
  1. [§1, Corollary 1.4] The displayed isomorphism "N U(A/c) ∼= -→ N U(B/c)" contains a stray arrow and should be cleaned up.
  2. [§2, Definition 2.1] The notation Ω^p_{/k}|X in the definition of Ω^p_{X/k} is confusing; please specify that Ω^p_{/k} is first regarded as a sheaf on the cdh site and then restricted to X.
  3. [§3, Theorem 3.5] The theorem is credited to Wanchun Shen as a personal communication; if a published source is available, it should be cited here, and otherwise the provenance should be stated precisely so that the reader can verify the hypotheses.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; Section 2 leans heavily on the authors' prior [1], but the core K2-normality proof is independent.

full rationale

The main result Theorem 0.1 is proved in Section 1 by a Milnor-square/K-theory argument whose load-bearing inputs are external: Vorst [26, 1.9] for localization of K-regularity, the Geller-Weibel computation [14, Theorem 0.2] for K1(A,B,I), and van der Kallen [25, Theorem 3.2] for descent to strict henselization. None of these inputs is defined in terms of normality, and no parameter is fitted, so there is no self-definitional or fitted-input circularity. Section 2 is a reorganization of the authors' earlier JAMS paper [1]: Proposition 2.7 is 'extracted from [1]', and Theorem 2.6 is justified by saying 'by inspection, the proof of [1, Theorem 3.1] only needs the weaker hypotheses given here.' This is a heavy self-citation, and the specific assertion that conditions (2.6a,b) suffice without condition (2.5a) is not demonstrated; if true it is a genuine strengthening, and if false it is an unsupported step. Either way this is a correctness risk, not a circular reduction: p-du Bois is not defined as 'regular in codimension p', and [1, Theorem 3.1] is an external published theorem rather than the paper's own conclusion being assumed. Section 3 combines Proposition 2.7 with the external Mustata-Popa theorem [21] (via [11]) and a communicated result of Shen; again no equation reduces to its own input. Overall the derivation chain is not circular; the paper reuses the authors' own earlier results heavily, but does not make any claim tautologically true by definition.

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

The central claims import almost all hard machinery from published theorems. The paper-specific contribution is the Milnor-square induction in Section 1 and the combination of K-theoretic descent with du Bois results. No free parameters are fitted, and no new objects are postulated; higher du Bois singularities and minimal exponents are taken from the cited literature.

assumptions (7)
  • domain assumption K_n-regularity is inherited by localization at prime ideals, as proved in Vorst [26, 1.9].
    Used throughout Section 1 to reduce Theorem 1.9 to local rings; if this fails, the noetherian induction in the proof of Theorem 1.9 cannot start.
  • standard math Milnor square (1.1) and the associated relative K-theory long exact sequence (1.2), including excision for relative K-groups.
    Foundational for Lemmas 1.3, 1.5, and Corollary 1.7; the paper does not re-prove excision.
  • domain assumption Geller-Weibel computation K1(A[t], B[t], m[t]) ≅ m/m^2 ⊗_L Ω_{L[t]/K[t]} ([14, Theorem 0.2]).
    Lemma 1.5 uses this to characterize separability of L/K via vanishing of Ω_{L/K}; this drives the inseparable obstruction in Corollary 1.6.
  • domain assumption van der Kallen descent: N K2(A) = 0 implies N K2(A') = 0 for the strict henselization A' of A ([25, Theorem 3.2]).
    The final contradiction in Proposition 1.8 depends on this descent property for the strict henselization.
  • domain assumption Equivalence between K(p+1)-regularity and p-cdh descent for Hochschild homology, together with Lemma 2.5's explicit description ([1, Corollary 1.7 and Lemma 2.3]).
    Proposition 2.7, the bridge from K-theory to p-du Bois singularities, is imported from [1].
  • domain assumption Mustaţă-Popa theorem: a p-du Bois local complete intersection is normal and regular in codimension 2p ([21], quoted as [11, Theorem 3.8]).
    Theorem 3.3, the claimed sharpening of Vorst's bound, is a direct consequence of this external theorem combined with Proposition 2.7.
  • domain assumption Minimal exponent inequalities for local complete intersections ([6, Theorem 1.2] and [21, Theorem F]) and preservation of p-du Bois under generic hyperplane sections ([11, Corollary 5.11]).
    Theorem 3.5, credited to Wanchun Shen, relies on these published results for its isolated-singularity reduction and codimension bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $K_2$-regularity and normality." pith.science (2026). https://pith.science/paper/6A3C3GOU

@misc{pith2026250101567,
  author       = {Pith},
  title        = {Pith review of: $K_2$-regularity and normality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6A3C3GOU}},
  note         = {Machine review of arXiv:2501.01567}
}
abstract

We take a fresh look at the relationship between $K$-regularity and regularity of schemes, proving two results in this direction. First, we show that $K_2$-regular affine algebras over fields of characteristic zero are normal. Second, we improve on Vorst's $K$-regularity bound in the case of local complete intersections; this is related to recent work on higher du Bois singularities.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Negative $K$-theory and Hodge theory

    math.AG 2026-07 unverdicted novelty 7.0 of 10

    Negative K-groups of complex varieties are analyzed via mixed Hodge theory, higher singularities, Chow groups, and the Minimal Model Program.

  2. On higher Du Bois singularities and $K$-regularity

    math.AG 2025-04 conditional novelty 7.0 of 10

    Higher Du Bois singularities are shown to be equivalent, in many characteristic-zero settings, to K-regularity, yielding a strengthened Vorst conjecture for local complete intersections and a projective characterizati...

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages · cited by 2 Pith papers

  1. [1]

    Corti˜ nas, C

    G. Corti˜ nas, C. Haesemeyer, and C. Weibel, K-regularity, cdh-fibrant Hoch- schild homology, and a conjecture of Vorst, J. AMS 21 (2008), 547–561

    work page 2008

  2. [2]

    Corti˜ nas, C

    G. Corti˜ nas, C. Haesemeyer, M. Walker and C. Weibel, Bass’ N K groups and cdh-fibrant Hochschild homology, Invent. Math. 181 (2010), 421–448

    work page 2010

  3. [3]

    Corti˜ nas, C

    G. Corti˜ nas, C. Haesemeyer, M. Walker and C. Weibel, A negativ e answer to a question of Bass, Proc. AMS 139 (2011), 1187-1200

    work page 2011

  4. [4]

    Corti˜ nas, C

    G. Corti˜ nas, C. Haesemeyer, M. Walker and C. Weibel, The K–theory of toric varieties, Trans. AMS 361 (2009), 3325–3341

    work page 2009

  5. [5]

    Corti˜ nas, C

    G. Corti˜ nas, C. Haesemeyer, M. Walker and C. Weibel, The K–theory of cones of smooth varieties, J. Alg. Geom. 22 (2013), 13–34

    work page 2013

  6. [6]

    Q. Chen, B. Dirks, M. Mustat ¸˘ a, and S. Olano, V -filtrations and minimal ex- ponents for local complete intersections, J. Reine Angew. Math. 811 (2024), 219–256

    work page 2024

  7. [7]

    Q. Chen, B. Dirks, and M. Mustat ¸˘ a, The minimal exponent and k-rationality for local complete intersections, J. ´Ec. polytech. Math. 11 (2024), 849–873

    work page 2024

  8. [8]

    R. K. Dennis and M. Stein, K2 of radical ideals and semilocal rings revisited, Lecture Notes in Mathematics 342 (1973), 281–303

    work page 1973

Show all 30 references
  1. [9]

    du Bois, Complexe de de Rham filtr´ e d’une vari´ et´ e singuli` ere, Bull

    Ph. du Bois, Complexe de de Rham filtr´ e d’une vari´ et´ e singuli` ere, Bull. SMF 109 (1981), 41–81

    1981

  2. [10]

    Friedman and R

    R. Friedman and R. Laza, The higher Du Bois and higher rational p roperties for isolated singularities, J. Algebraic Geom. 33 (2024), 493–520

    2024

  3. [11]

    Friedman and R

    R. Friedman and R. Laza, Higher Du Bois and higher rational singu larities, Duke Math. J. 173 (2024), 1839–1881

    2024

  4. [12]

    Geisser and L

    T. Geisser and L. Hesselholt, On the vanishing of negative K-groups, Math. Ann. 348 (2010), 707–736

    2010

  5. [13]

    Geisser and L

    T. Geisser and L. Hesselholt, On a conjecture of Vorst, Math. Z. 270 (2012), 445–452

    2012

  6. [14]

    S. C. Geller and C. A. Weibel, K1(A, B, I), J. reine angew. Math. 342 (1983), 12—34

    1983

  7. [15]

    S. C. Geller and C. A. Weibel, Hodge decompositions of Loday symb ols in K-Theory and cyclic homology, K-theory 8 (1994), 587–632

    1994

  8. [16]

    Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, and Youngho Yoon , Higher Du Bois singularities of hypersurfaces, Proc. Lond. Math. Soc. (3) 125 (2022), 543–567

    2022

  9. [17]

    Kassel, Cyclic homology, comodules, and mixed complexes, J

    C. Kassel, Cyclic homology, comodules, and mixed complexes, J. Alg. 107 (1987), 195–216

    1987

  10. [18]

    M. Kerz, F. Strunk and G. Tamme, Algebraic K-theory and desc ent for blow- ups, Invent. Math. 211 (2018), 523–577

    2018

  11. [19]

    M. Kerz, F. Strunk and G. Tamme, Towards Vorst’s conjectur e in positive characteristic, Compos. Math. 157 (2021), 1143–1171

    2021

  12. [20]

    Mustat ¸˘ a, S

    M. Mustat ¸˘ a, S. Olano, and M. Popa, and J. Witaszek, The Du B ois complex of a hypersurface and the minimal exponent, Duke Math. J. 172 (2023), 1411– 1436

    2023

  13. [21]

    Pi 10 (2022), Paper No

    Mustat ¸˘ a, Mircea and Popa, Mihnea, Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension, Forum Math. Pi 10 (2022), Paper No. e22. 12 CHRISTIAN HAESEMEYER AND CHARLES A. WEIBEL

    2022

  14. [22]

    arXiv 2306.03977

    Wanchun Shen, Sridhar Venkatesh, and Anh Duc Vo, On k-Du Bois and k- Rational Singularities, Preprint 2023. arXiv 2306.03977

    2023 arXiv

  15. [23]

    Saito, On microlocal b-function, Bull

    M. Saito, On microlocal b-function, Bull. Soc. Math. France 122 (1994), 163– 184

    1994

  16. [24]

    J. H. M. Steenbrink, Mixed Hodge structures associated with is olated singu- larities, in Singularities, Part 2 (Arcata, Calif., 1981) , Proc. Sympos. Pure Math. 40 (Amer. Math. Soc., Providence, 1983), 513–536

    1981

  17. [25]

    van der Kallen, Descent for the K-Theory of Polynomial Rings, Math

    W. van der Kallen, Descent for the K-Theory of Polynomial Rings, Math. Z. 191 (1986), 405–415

    1986

  18. [26]

    Ann., 244:33–54, 1979

    Ton Vorst, Localization of the K-theory of polynomial extensions, Math. Ann., 244:33–54, 1979

    1979

  19. [27]

    Ton Vorst, Polynomial extensions and excision for K1, Math. Ann. 244, 193– 204, 1979

    1979

  20. [28]

    Weibel, An introduction to homological algebra , Cambridge U

    C. Weibel, An introduction to homological algebra , Cambridge U. Press, 1994

    1994

  21. [29]

    Weibel, The negative K-theory of normal surfaces, Duke Math

    C. Weibel, The negative K-theory of normal surfaces, Duke Math. J. 108 (2001), 1–35

    2001

  22. [30]

    Weibel, The K-book, Grad

    C. Weibel, The K-book, Grad. Studies in Math. 145, AMS, 2013. School of Mathematics and Statistics, University of Melbou rne, VIC 3010, Australia Email address : christian.haesemeyer@unimelb.edu.au URL: https://blogs.unimelb.edu.au/christian-haesemeyer Math. Dept., Rutgers Uni...

    2013

Pith tools

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