On the $k$-torsion of the module of differentials of order $n$ of hypersurfaces

Daniel Duarte; Hern\'an de Alba

REVIEW 3 major objections 4 minor 17 references

On the $k$-torsion of the module of differentials of order $n$ of hypersurfaces

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

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

Pith's one-line read For hypersurfaces, the k-torsion freeness of every order-n differential module is determined by the codimension of the singular locus.

desk verdict A solid generalization of Lipman's k-torsion criterion to high-order differentials of hypersurfaces, with a small gap in the general module-level theorem. read the letter →

arxiv 1908.01749 v2 pith:GZLMRR5N submitted 2019-08-05 math.AC

Hernán de Alba , Daniel Duarte This is my paper · ORCID

classification math.AC MSC 13N0513D0713C12

keywords k-torsionhighorderdifferentialshypersurfacesmoduleofsingularlocusprojectivedimensionCohen-Macaulayreflexivemodules

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

The paper establishes that, for the local ring of a closed point on an irreducible hypersurface over a perfect field, the module of differentials of order $n$ is $k$-torsion free exactly when every singular prime has codimension at least $k+1$. This extends the classical torsion-free versus codimension-one criterion and the reflexive versus codimension-two criterion from order $1$ to all orders $n$ and all positive integers $k$. A sympathetic reader should care because it turns a homological property of every high-order differential module into a single geometric condition on the singular locus, with no module computation needed.

What carries the argument

The transpose module $D(M)$, defined as the cokernel of the dual of a presentation map $P_1 \to P_0 \to M$, carries the argument: $k$-torsion freeness is the vanishing of $\operatorname{Ext}^i_R(D(M),R)$ for $i=1,\dots,k$. For any module with projective dimension at most one, Theorem 3.4 converts this into a depth condition on the support of $D(M)$, and Corollary 4.4 converts that support into the singular locus of the hypersurface.

What would settle it

Take the cusp ring $R=K[x,y]/(y^2-x^3)$ localized at the origin. Its singular prime has codimension 1, so the theorem predicts that $\Omega^{(n)}_{R/K}$ is not torsion-free for any $n$; showing that some $n$ gives a torsion-free module would refute the central claim.

Watch

Extended reading notes

Core claim

Theorem 4.5 states that, with $R$ the local ring of a closed point on an irreducible hypersurface over a perfect field, the module $\Omega^{(n)}_{R/K}$ is $k$-torsion free if and only if $\operatorname{codim}(R/\mathfrak{p}) \geq k+1$ for every prime $\mathfrak{p}$ in the singular locus of $R$. The proof identifies the support of $\operatorname{Ext}^1_R(\Omega^{(n)}_{R/K}, R)$ with the singular locus, then applies a general criterion for modules of projective dimension at most one: $k$-torsion freeness is equivalent to $\operatorname{depth}(R_{\mathfrak{p}}) \geq k+1$ on the support of the transpose module $D(M)$, which becomes the codimension condition because $R$ is Cohen-Macaulay.

Load-bearing premise

The proof depends on the imported bound that $\Omega^{(n)}_{R/K}$ has projective dimension at most one; if that bound ever fails for a hypersurface, the support computation and the $k$-torsion criterion no longer apply.

Editorial extensions

If this is right

Checking $k$-torsion freeness of $\Omega^{(n)}_{R/K}$ for any $n$ reduces to checking the codimension of singular primes; no direct computation of Ext modules is required.
Setting $k=1$ recovers the statement that the module is torsion free exactly when the hypersurface is normal at the point, and $k=2$ gives reflexivity exactly when it is non-singular in codimension $2$.
Because the codimension condition does not depend on $n$, for a fixed hypersurface and fixed $k$ the property holds for every order $n$ or for none.
The general Theorem 3.4 provides a $k$-torsion criterion for any finite module of projective dimension at most one, independent of differentials.

Reading between the lines

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

Editorial inference: the same strategy would prove the analogous statement for reduced complete intersections if the projective dimension bound carries over; the authors state this conditional in Remark 4.7 but do not settle it.
Editorial inference: the theorem implies that the largest $k$ for which $\Omega^{(n)}_{R/K}$ is $k$-torsion free is $\min_{\mathfrak{p}\in\operatorname{Sing}(R)} \operatorname{codim}(R/\mathfrak{p}) - 1$, a single integer invariant of the singularity that the paper does not name.
Editorial inference: the explicit presentation of $\Omega^{(n)}_{R/K}$ available for general finitely generated algebras could be used to test the projective dimension bound computationally; the authors report that the matrices become too large for examples with $n>1$.

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

Dear —,

The headline is that Theorem 4.5 looks right: for a hypersurface local ring, Ω^(n)_R/K is k-torsion free iff the singular locus has codimension at least k+1, for every n and every k. This genuinely extends Lipman's classical criterion and the k=1 version previously proved for high-order differentials. The proof is a clean reduction: Theorem 3.4 gives a module-level criterion, Corollary 4.4 identifies the support of Ext^1(Ω^(n)_R/K, R) with Sing(R), and the main equivalence follows directly. The paper does not just re-coordinatize existing results; Theorem 3.4 is a genuinely more general statement about modules of projective dimension at most one.

The main soft spot is in the proof of Theorem 3.4. The authors apply Auslander–Buchsbaum to the total quotient ring Q, treating it as a local ring of depth zero. That is automatic when R is a domain, which covers the hypersurface case, but the theorem as stated for arbitrary Noetherian local rings is not fully justified. A referee should ask them to either restrict the statement to domains or handle the semi-local Artinian case properly. This gap does not endanger Theorem 4.5.

The other caveat is the heavy reliance on [4] for the projective dimension bound projdim(Ω^(n)_R/K) ≤ 1 and for the regularity criterion in Proposition 4.1. This is a published result by one of the present authors, so citing it is legitimate, but it is genuinely load-bearing. If that bound failed for some n, the equivalence in Theorem 4.5 would have no support. The paper does not reprove or sketch the bound, and Remark 4.7 honestly reports that the authors could not compute any examples for n > 1. This makes the final theorem conditional on [4] being correct, not circular.

I think the paper deserves a serious referee. The main theorem is plausible, the strategy is sound, and the writing is clear. The gaps are fixable. I would send it to review and ask the authors to tighten Theorem 3.4 and state the relevant results from [4] in enough detail that a reader can check the hypotheses. I would cite this in work on differential modules and singularity theory.

Referee Report

3 major / 4 minor

Summary. The paper studies the R-module Ω^(n)_R/K of Kähler differentials of order n for the local ring R of a closed point on an irreducible hypersurface W over a perfect field K. Its main theorem (Theorem 4.5) asserts that Ω^(n)_R/K is k-torsion free if and only if codim(R/p) ≥ k+1 for every prime p in the singular locus Sing(R). The proof follows Lipman's strategy: Proposition 4.1 gives a regularity criterion in terms of freeness of high-order differentials; Corollary 4.4 identifies the support of Ext^1_R(Ω^(n)_R/K,R) with Sing(R); and Theorem 3.4 converts vanishing of Ext^i_R(D(M),R) into grade conditions, using the imported bound projdim(Ω^(n)_R/K)≤1 from [4]. Section 3 develops a general k-torsion freeness criterion for modules of projective dimension at most one.

Significance. If the main theorem is correct, it gives a clean and elegant characterization: k-torsion freeness of high-order differentials of a hypersurface is controlled entirely by codimensions of singular primes, generalizing Lipman's classical theorem and the n=1 result of [4] to all n and k. The paper is clearly written and honest about its limitations, with Remark 4.7 stating that no example for n>1 could be computed. It also gives self-contained module-theoretic tools (Lemma 3.3, Theorem 3.4) that may be useful beyond hypersurfaces. The central argument, conditional on the cited projective dimension bound, is coherent. The main reservations are a proof gap in the general Theorem 3.4 and an inconsistent citation for the projective dimension bound.

major comments (3)

[Section 3, proof of Theorem 3.4] The proof applies the Auslander-Buchsbaum formula to the total quotient ring Q as if Q were a local ring, writing 0 = depth(Q) = projdim(M_Q)+depth(M_Q). For a general Noetherian local ring R the total quotient ring Q need not be local; for example, if R is the local ring of a reducible hypersurface such as K[x,y]/(xy) at a maximal ideal, Q is a nontrivial product of fields and not local. Depth is not defined globally for such Q and the formula as stated is not justified. The argument can be repaired by localizing at the maximal ideals of Q and using that every such localization has depth 0, but as written the proof of the general theorem is incomplete. Since Theorem 4.5 is applied only to a domain, where Q is a field, the main theorem is not endangered, but Section 3 states a broader result and should be corrected.
[Section 4, Corollary 4.4 and Theorem 4.5] The proof of Theorem 4.5 rests on the bound projdim(Ω^(n)_R/K)≤1, quoted in Corollary 4.4 as '[4, Theorem 4.3]'. The same reference is used in Theorem 2.3 for the assertion that Ω^(n)_R/K is torsion free if and only if W is normal at P. These cannot both be the same statement unless [4, Theorem 4.3] contains both claims, which the manuscript does not state. Since every application of Lemma 4.3 and Theorem 3.4 requires projdim≤1, the equivalence in Theorem 4.5 has no support if this bound fails; a precise and correct citation of the source of the bound is therefore load-bearing. The authors should identify exactly which theorem in [4] supplies the bound and, if space permits, give a short indication of why it holds.
[Section 4, Proposition 4.1] Proposition 4.1 uses the regularity criterion [4, Theorem 3.1] as a black box for the converse direction. This is acceptable for a published theorem, but since it is a second external result on which the main theorem depends, the statement of [4, Theorem 3.1] should be reproduced verbatim in the paper, and the authors should clearly record its exact hypotheses (e.g., whether it requires the maximal ideal to be closed and the field to be perfect).

minor comments (4)

[Throughout] The manuscript contains numerous typographical and OCR artifacts (e.g., 'HYPERSURF ACES' in the title, 'OBject', 'equiva lent', 'diﬀerentials'); the authors should proofread the final version carefully.
[Section 4, proof of Proposition 4.1] In the converse direction, the sentence 'there exists m ⊂ Ag a maximal ideal such that p ⊂ m' is correct but could be clarified: any prime ideal of Ag is contained in a maximal ideal, and since U = Spec(Ag), the chosen m automatically lies in U.
[Section 4, Theorem 4.5] The theorem statement uses the phrase 'W is non-singular in codimension k at P', which is defined in Section 2 in terms of codim(R/p) ≥ k+1 for all p ∈ Sing(R). Repeating this definition in Theorem 4.5 would make the statement more self-contained.
[Section 3, equation (2)] Equation (2) asserts grade(M) = min{depth(Rp) : p ∈ Supp(M)}. This requires M to be finite and R Noetherian, which is assumed, but the passage would be clearer if it noted explicitly that D(M) is finite whenever M is finite with a length-one projective resolution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the k-torsion characterization is derived from stated grade/depth facts plus independent lemmas from [4]; the self-citations are load-bearing but not circular.

full rationale

The paper does not define its target conclusion into its hypotheses. Theorem 4.5 reduces k-torsion freeness of Ω^(n)_R/K to codim(R/p) ≥ k+1 on Sing(R) by applying Theorem 3.4 (a grade/depth characterization for modules with projdim ≤ 1) and Corollary 4.4 (Supp(Ext^1_R(Ω^(n)_R/K,R)) = Sing(R)); neither statement is the conclusion of Theorem 4.5 in disguise. The two load-bearing inputs from [4]—'By [4, Theorem 4.3], projdim(Ω^(n)_R/K) ≤ 1' (Corollary 4.4) and 'By [4, Theorem 3.1]' (Proposition 4.1, regularity criterion)—are published, parameter-free statements whose explicit hypotheses (hypersurface over a perfect field) do not include k-torsion freeness, so they are independent mathematical evidence rather than a self-citation chain that forces the result; [4] has one author in common with this paper, but that alone does not make the derivation circular. Two flagged limitations are real but non-circular: the proof of Theorem 3.4 invokes the Auslander–Buchsbaum formula on the total quotient ring Q, which need not be local in general (for the hypersurface-domain case Q is a field, so Theorem 4.5 is unaffected), and Remark 4.7 states 'we did not succeed in computing any example for n > 1', a missing-computation caveat rather than a circular step.

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

The paper introduces no new entities. Its free-parameter count is zero because no numerical or fitted parameters enter. The listed axioms are the unproved or imported ingredients on which the characterization rests.

assumptions (5)

domain assumption projective dimension of Ω^(n)_R/K is at most 1 for the local ring R of an irreducible hypersurface over a perfect field
Used in Corollary 4.4 and Theorem 4.5 to apply Lemma 4.3 and Theorem 3.4. The proof is cited to [4, Theorem 4.3] and not reproduced.
domain assumption for a maximal ideal m of a hypersurface, Ω^(n)_{A_m/K} is free if and only if A_m is regular
Used in Proposition 4.1 to pass from freeness of high-order differentials to regularity. Cited to [4, Theorem 3.1].
ad hoc to paper the total quotient ring Q of a Noetherian local ring can be treated as a local ring in the Auslander-Buchsbaum formula
The proof of Theorem 3.4 asserts depth(Q)=0 and applies Auslander-Buchsbaum over Q. This is automatic when R is a domain, as in the hypersurface case, but not justified for arbitrary reduced local rings.
domain assumption the local ring of a point on an irreducible hypersurface over a perfect field is Cohen-Macaulay
Used in Theorem 4.5 to convert depth(R_p) into codim(R/p). Standard for hypersurface local rings.
standard math grade and depth facts from Bruns-Herzog, including grade(Ann M,R)=min depth(R_p) over p in Supp M
Used in the proof of Theorem 3.4 to translate vanishing of Ext into depth bounds.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the $k$-torsion of the module of differentials of order $n$ of hypersurfaces." pith.science (2026). https://pith.science/paper/GZLMRR5N

@misc{pith2026190801749,
  author       = {Pith},
  title        = {Pith review of: On the $k$-torsion of the module of differentials of order $n$ of hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GZLMRR5N}},
  note         = {Machine review of arXiv:1908.01749}
}

abstract

We characterize the $k$-torsion freeness of the module of differentials of order $n$ of a point of a hypersurface in terms of the singular locus of the corresponding local ring.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[4]

Barajas, D

P. Barajas, D. Duarte; On the module of diﬀerentials of order n of hypersurfaces , J. Pure Appl. Algebra, 224(2), (2020), 536-550

work page 2020
[1]

Atiyah, I

M. Atiyah, I. G. MacDonald, Introduction to Commutative Algebra , Addison-Wesley Series in Mathematics, 1969

work page 1969
[2]

Auslander; Coherent Functors, Proceedings of the Con ference Categorical Alge- bra, La Jolla 1965, Springer Verlag, 1966

M. Auslander; Coherent Functors, Proceedings of the Con ference Categorical Alge- bra, La Jolla 1965, Springer Verlag, 1966

work page 1965
[3]

Auslander, M

M. Auslander, M. Bridger; Stable Module Theory, Memoir o f the American Math- ematical Society, 94. American Mathematical Society, Prov idence, Rhode Island, 1969

work page 1969
[5]

Brenner, J

H. Brenner, J. Jeﬀries, L. N´ u˜ nez-Betancourt, Quantifying singularities with diﬀer- ential operators, Adv. Math, 358, (2019)

work page 2019
[6]

Bruns, J

W. Bruns, J. Herzog, Cohen-Macaulay rings, Cambridge Un iversity Press, 1998

work page 1998
[7]

Hartshorne; Algebraic Geometry, Graduate Texts in Mathematics Vol

R. Hartshorne; Algebraic Geometry, Graduate Texts in Mathematics Vol. 52, 1977

work page 1977
[8]

Grothendieck; ´El´ ements de g´ eometrie alg´ ebrique IV, Quatri` eme partie, ´Etude locale des sch´ emas et des morphismes des sch´ emas, Publ

A. Grothendieck; ´El´ ements de g´ eometrie alg´ ebrique IV, Quatri` eme partie, ´Etude locale des sch´ emas et des morphismes des sch´ emas, Publ. Math. IHES 32 (1967)

work page 1967

Show all 17 references

[9]

Laksov, A

D. Laksov, A. Thorup; Weierstrass points on schemes , J. Reine Angew. Math., 460, pp. 127-164, (1995)

1995
[10]

Lipman; Free derivation modules on algebraic varieties , Amer

J. Lipman; Free derivation modules on algebraic varieties , Amer. J. Math., 87, pp. 874-898, (1965)

1965
[11]

Lipman; On the Jacobian ideal of the module of diﬀerentials , Proc

J. Lipman; On the Jacobian ideal of the module of diﬀerentials , Proc. Amer. Math. Soc., Vol. 21, No. 2, pp. 422-426, (1969)

1969
[12]

Nakai; High order derivations I , Osaka J

Y. Nakai; High order derivations I , Osaka J. Math., 7, pp. 1-27, (1970)

1970
[13]

Osborn; Modules of diﬀerentials I , Math

H. Osborn; Modules of diﬀerentials I , Math. Ann., 170, pp. 221-244, (1967)

1967
[14]

Oneto, E

A. Oneto, E. Zatini; Remarks on Nash blowing-up , Rend. Sem. Mat. Univ. Politec. Torino 49 (1991), no. 1, 71-82, Commutative algebra and algebraic geo metry, II (Italian) (Turin 1990)

1991
[15]

Suzuki; On torsion of the module of diﬀerentials of a locality which is a complete intersection, J

S. Suzuki; On torsion of the module of diﬀerentials of a locality which is a complete intersection, J. Math. Kyoto Univ., 4-3, pp. 471-475, (1965)

1965
[16]

Vasconcelos, Reﬂexive Modules over Gorenstein Rings , Proc

W. Vasconcelos, Reﬂexive Modules over Gorenstein Rings , Proc. Am. Math. Soc. 19, 1349-1355, (1968). k-TORSION OF MODULES OF HIGH ORDER DIFFERENTIALS 9

1968
[17]

Villamayor; On ﬂattening of coherent sheaves and of projective morphism s, J

O. Villamayor; On ﬂattening of coherent sheaves and of projective morphism s, J. Algebra, 295, no. 1, 119-140, (2006). Email address : H. de Alba, hdealbaca@conacyt.mx Email address : D. Duarte (corresponding author), aduarte@uaz.edu.mx Universidad Aut ´onoma de Zacatecas - CO...

2006

Pith tools

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

[1] [4]

Barajas, D

P. Barajas, D. Duarte; On the module of diﬀerentials of order n of hypersurfaces , J. Pure Appl. Algebra, 224(2), (2020), 536-550

work page 2020

[2] [1]

Atiyah, I

M. Atiyah, I. G. MacDonald, Introduction to Commutative Algebra , Addison-Wesley Series in Mathematics, 1969

work page 1969

[3] [2]

Auslander; Coherent Functors, Proceedings of the Con ference Categorical Alge- bra, La Jolla 1965, Springer Verlag, 1966

M. Auslander; Coherent Functors, Proceedings of the Con ference Categorical Alge- bra, La Jolla 1965, Springer Verlag, 1966

work page 1965

[4] [3]

Auslander, M

M. Auslander, M. Bridger; Stable Module Theory, Memoir o f the American Math- ematical Society, 94. American Mathematical Society, Prov idence, Rhode Island, 1969

work page 1969

[5] [5]

Brenner, J

H. Brenner, J. Jeﬀries, L. N´ u˜ nez-Betancourt, Quantifying singularities with diﬀer- ential operators, Adv. Math, 358, (2019)

work page 2019

[6] [6]

Bruns, J

W. Bruns, J. Herzog, Cohen-Macaulay rings, Cambridge Un iversity Press, 1998

work page 1998

[7] [7]

Hartshorne; Algebraic Geometry, Graduate Texts in Mathematics Vol

R. Hartshorne; Algebraic Geometry, Graduate Texts in Mathematics Vol. 52, 1977

work page 1977

[8] [8]

Grothendieck; ´El´ ements de g´ eometrie alg´ ebrique IV, Quatri` eme partie, ´Etude locale des sch´ emas et des morphismes des sch´ emas, Publ

A. Grothendieck; ´El´ ements de g´ eometrie alg´ ebrique IV, Quatri` eme partie, ´Etude locale des sch´ emas et des morphismes des sch´ emas, Publ. Math. IHES 32 (1967)

work page 1967