Pith. sign in

REVIEW 1 major objections 4 minor 7 references

On the Structure of Second Jacobian Ideals

T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The second Jacobian ideal of a holomorphic function decomposes as a power of the Jacobian ideal plus an explicit correction ideal, confirming a conjecture in all dimensions.

desk verdict The all-n decomposition of the second Jacobian ideal is real and likely correct, but Proposition 4.1's base-case classification misses a column configuration; the gap is a one-line fix. read the letter →

arxiv 2411.15097 v2 pith:FO5NS66Z submitted 2024-11-22 math.AG

Fei Ye This is my paper · ORCID
classification math.AG MSC 14B0514E1514J1732S0532S25
keywords secondJacobianidealhighermatrixhypersurfacesingularitiesNashblow-upcontactinvariantmaximalminorsJacobidecompositionholomorphicfunctions
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 proves a structural identity for the second Jacobian ideal of a holomorphic function $F$ in $n$ variables. It shows that $J_2(F)$, the ideal generated by the maximal minors of the second Jacobian matrix, decomposes as $J_1(F)^{n+1} + J_1(F)^{n-2}Q(F)$, where $J_1(F)$ is the Jacobian ideal and $Q(F)$ is an explicit ideal generated by expressions $Q_{ij;kl}(F) = f_{ik}f_jf_l - f_{jk}f_i f_l - f_{il}f_j f_k + f_{jl}f_i f_k$ with $f_i = \partial_i F$ and $f_{ik} = \partial_i\partial_k F$. This confirms a conjecture previously known only for $n=2$ and $n=3$. As an application, the paper gives an elementary proof that the second Nash blow-up algebra of an isolated hypersurface singularity is a contact invariant.

What carries the argument

The machinery is the second Jacobian matrix $\mathrm{Jac}_2(F)$: the $(n+1)\times(n+\binom{n+1}{2})$ matrix whose entries are first partials $f_i$ and second partials $f_{ij}$. The proof rests on three combinatorial facts: Lemma 2.5, which puts every square submatrix into block upper-triangular form with diagonal blocks that are either diagonal in first partials or a core block $D$ where every nonzero row index appears in at least two column labels and every column index is also a row index; Lemma 2.6, which classifies the possible column-label frequencies in $D$ (either one index appears four times or two indices appear three times, all others twice); and the determinant identities of Section 3 (Lemmas 3.3–3.8), which rewrite the determinant of such a core block as a first-partial factor times a smaller determinant plus terms already in $J_1^{r-2}Q(F)$. This induction on the size of $D$ is what carries the proof of Proposition 4.1.

What would settle it

Take a generic holomorphic function $F$ in four variables, compute all $5\times5$ minors of $\mathrm{Jac}_2(F)$ symbolically, and test whether each lies in $J_1(F)^5 + J_1(F)^2Q(F)$: the first minor that fails would refute Theorem 4.3.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.3: for every holomorphic function $F$ of $n$ variables, $J_2(F) = J_1(F)^{n+1} + J_1(F)^{n-2}Q(F)$. The inclusion from right to left is proved by constructing explicit submatrices of $\mathrm{Jac}_2(F)$ whose determinants are exactly $Q_{ij;kl}(F)$ times any prescribed product of $n-2$ first partials, together with the elementary observation that all degree-$(n+1)$ monomials in the first partials arise as maximal minors. The reverse inclusion is a structural analysis of maximal minors: every maximal square submatrix is reduced by row and column permutations to a block upper triangular form whose diagonal blocks are either diagonal matrices of first partials or a core block $D$; a frequency-counting argument shows that the core block has one of two shapes, and a sequence of determinant identities transforms $\det(D)$ into an element of $J_1(F)^{r-2}Q(F)$ by induction. This establishes Conjecture 1.1 of [RSY24] for all $n$. The same decomposition yields a short proof that $O_n/(F,J_2(F))$, the second Nash blow-up algebra of an isolated hypersurface singularity, is unchanged under contact equivalence.

Load-bearing premise

The induction in Proposition 4.1 relies on Lemma 2.5 and Lemma 2.6 covering every possible arrangement of column labels inside the core block $D$; if any unclassified frequency configuration exists, the reduction of a maximal minor to a product of first partials times a smaller determinant would fail.

Editorial extensions

If this is right

  • For every $n$, the second Jacobian ideal $J_2(F)$ is generated by $(n+1)$-fold products of first partials together with products of $n-2$ first partials and the $Q_{ij;kl}(F)$'s, so it has an explicit finite generating set.
  • The known cases $n=2$ and $n=3$ follow from the same uniform formula, confirming Conjecture 1.1 of [RSY24] in all dimensions.
  • The containment $J_2(F)\subseteq J_1(F)^n$, a special case of a general bound for higher Jacobian ideals, is an immediate corollary because $Q(F)\subseteq J_1(F)^2(f_{ij})$.
  • The second Nash blow-up algebra of an isolated hypersurface singularity is a contact invariant, proved here by an elementary argument rather than by Fitting ideals.
  • The decomposition converts questions about the second Nash blow-up into computations with two finitely generated ideals, one of which is a power of the Jacobian ideal.

Reading between the lines

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

  • If the block-uppertriangular and frequency-counting lemmas generalize to the $k$-th Jacobian matrix, the same style of induction would likely produce a decomposition of $J_k(F)$ into $J_1(F)$-powers plus a finite list of explicit correction terms, giving a positive answer to Question 4.5.
  • The identity $\det(M)+\det(N)=-Q_{ij;kl}(F)\det(A)$ resembles a Plücker relation; one could ask whether $Q(F)$ arises as the defining ideal of a natural variety built from the Hessian and gradient of $F$.
  • Because $Q(F)$ is visibly spanned by bilinear expressions in the second derivatives weighed by two first partials, the quotient $J_2(F)/J_1(F)^{n+1}$ isolates the Hessian-dependent correction, which could be studied as a module over the coordinate ring.
  • The elementary contact-invariance proof may extend to higher $k$ if similar decompositions for $J_k(F)$ are found, since it uses only the decomposition, a chain rule, and the transformation property of Jacobian ideals from Le–Yasuda.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper proves a structural decomposition for the second Jacobian ideal of a holomorphic function in n variables: Theorem 4.3 states that J2(F) = J1(F)^(n+1) + J1(F)^(n-2)Q(F), where Q(F) is generated by the explicit quadratic expressions Q_{ij;kl}(F) in first and second partial derivatives. This confirms Conjecture 1.1 from the author's prior work with collaborators. The proof is a combinatorial case analysis on maximal minors of the second Jacobian matrix: Lemma 2.5 reduces a submatrix to block triangular form, Lemma 2.6 classifies the possible frequency patterns of the core block, Lemmas 3.3-3.8 provide determinant identities, Proposition 4.1 proves the containment for maximal minors by induction, Proposition 4.2 proves the reverse containment by explicit submatrix constructions, and Theorem 4.3 combines them. Section 5 uses the decomposition to give an elementary proof that the second Nash blow-up local algebra of an isolated hypersurface singularity is a contact invariant, a result already proved by Le and Yasuda via Fitting ideals. The paper is honest about prior attribution and does not rely on fitted parameters or circular reasoning.

Significance. The decomposition itself is natural and explicit, and an elementary proof of the contact-invariance statement is a useful contribution even though the statement was already known. The paper's method is mostly self-contained and the main theorem, if fully justified, is a clean structural result that directly explains the containment J2(F) ⊂ J1(F)^n. The main proof, however, currently contains a gap in the base-case classification of Proposition 4.1. The gap is local and repairable, so the central claim remains plausible, but the proof as written is not complete.

major comments (1)
  1. [Section 4, proof of Proposition 4.1, base case r+1=4] The classification of the 4-by-4 core blocks is incomplete. For rows β0, βi, βj, βk, the column multiset {βii, βjj, βkk, βij} satisfies Lemma 2.6 with frequencies (m_i, m_j, m_k) = (3,3,2), but it has three diagonal column labels, whereas the two displayed normal forms have one and two diagonal labels, respectively. The number of diagonal column labels is invariant under row and column permutations, so this admissible configuration cannot be reduced to either displayed form. Since this is a base case on which the induction is anchored, the proof of Proposition 4.1 has a load-bearing gap as written. The gap is repairable: the matrix with columns βii, βjj, βkk, βij is block triangular with the 3-by-3 block M([β0,βi,βj],[βii,βij,βjj]) and the 1-by-1 block (βk, βkk), so Lemma 3.5 gives det = (1/2) f_k Q_{ij;ij}(F) ∈ J1(F)Q(F). The proof should add this case explicitly.
minor comments (4)
  1. [Lemma 3.6] The final displayed line of the proof says det(M) = f_i^2 Q_{ij;ik}(F) det(A), but the statement of the lemma (and its use in Proposition 4.2) requires Q_{ij;kl}(F). This is presumably a typographical error, but it should be corrected so that the proof matches the statement.
  2. [Lemmas 3.5-3.7] These determinant identities are stated as 'straightforward calculations' and are used repeatedly in both directions of the main theorem. Since they are load-bearing, the paper would be easier to referee and more reproducible if the 3-by-3 and 5-by-5 determinant computations were expanded in an appendix or at least written out in full.
  3. [Section 5, proof of Theorem 5.2] The chain-rule computation exhibiting Q(F ∘ φ) ⊆ φ*(Q(F) + J1(F)^3) is very compressed. A few sentences unpacking the two displayed terms and explaining why the first lies in φ*Q(F) and the second in φ*(J1(F)^3) would improve readability and make the contact-invariance proof easier to verify.
  4. [Abstract] The abstract contains a typographical error: 'W e' should be 'We'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 4.3 is proved by direct determinant calculations, and the cited prior-work lemmas are elementary independent facts rather than assumptions of the main result.

full rationale

The paper derives the decomposition J2(F)=J1(F)^{n+1}+J1(F)^{n-2}Q(F) from explicit computations of maximal minors of the second Jacobian matrix. Proposition 4.1 shows every maximal minor lies in J1(F)^{n-2}Q(F) by induction using Lemma 2.5, Lemma 2.6, and the determinant identities in Section 3; Proposition 4.2 proves the reverse inclusion by explicitly constructing submatrices whose determinants equal Q_{ij;kl}(F) times products of first partials. No parameter is fitted and no target conclusion is used as a hypothesis. The quoted Lemma 3.1 from the authors' earlier paper [RSY24] is a straightforward determinant identity for diagonal-type submatrices and is used only as a calculational tool; the paper even gives the matrix structure making the identity immediate, so this self-citation is not load-bearing in a circular sense. Likewise, the chain-rule statements from [RSY24] used in Section 5 are independent analytic identities, not restatements of the Nash blow-up contact invariance being proved. The 'leak' noted by the skeptic concerning the base-case classification in Proposition 4.1 is a potential completeness gap in an induction case split, not a circularity: a missing or misclassified case would mean the proof is incomplete, but it would not mean the theorem was assumed as an input. The central claim, Conjecture 1.1, is explicitly being proved rather than presupposed, and the external comparison with [LY24] further confirms that the result has independent content.

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

The paper introduces no free parameters or invented entities. It relies on standard linear algebra and prior lemmas about higher Jacobian matrices, some from the author's own earlier paper, but these are background results rather than unjustified assumptions.

assumptions (3)
  • standard math Standard facts about determinants, cofactor expansion, and ideals in the ring of holomorphic function germs.
    Used throughout the proof, e.g., Laplace expansion in Lemmas 3.3 and 3.4.
  • domain assumption Definition of higher Jacobian matrices as in Barajas-Duarte and Le-Yasuda.
    The object J2(F) is defined by this convention, which differs from Duarte's version only modulo F (Remark after Definition 2.1).
  • domain assumption Chain rule formulas for first and second derivatives under composition, including the Hessian chain rule (RSY24 Lemmas 3.3 and 3.5).
    Used in Section 5 to prove the inclusion Q(F∘φ) ⊆ φ*(Q(F)+J1(F)^3).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Structure of Second Jacobian Ideals." pith.science (2026). https://pith.science/paper/FO5NS66Z

@misc{pith2026241115097,
  author       = {Pith},
  title        = {Pith review of: On the Structure of Second Jacobian Ideals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FO5NS66Z}},
  note         = {Machine review of arXiv:2411.15097}
}
read the original abstract

We show that the second Jacobian ideal of a hypersurface can be decomposed such that a power of the Jacobian ideal becomes a factor. As an application of the decomposition, we present an elementary proof establishing that the second Nash blow-up algebra of a hypersurface singularity is a contact invariant.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    On the module of differentials of order n of hypersurfaces

    Paul Barajas and Daniel Duarte. On the module of differentials of order n of hypersurfaces. Journal of Pure and Applied Algebra , 224(2):536--550, February 2020

    work page 2020

  2. [2]

    Arc scheme and higher differential forms

    Yann Le Dréau and Julien Sebag. Arc scheme and higher differential forms. Osaka Journal of Mathematics , 61(3):381--390, July 2024. Publisher: Osaka University and Osaka Metropolitan University, Departments of Mathematics

    work page 2024

  3. [3]

    Computational aspects of the higher Nash blowup of hypersurfaces

    Daniel Duarte. Computational aspects of the higher Nash blowup of hypersurfaces. Journal of Algebra , 477:211--230, May 2017

    work page 2017

  4. [4]

    Naveed Hussain, Guorui Ma, Stephen S. T. Yau, and Huaiqing Zuo. Higher Nash blow-up local algebras of singularities and its derivation Lie algebras. Journal of Algebra , 618:165--194, March 2023

    work page 2023

  5. [5]

    Higher Jacobian ideals, contact equivalence and motivic zeta functions

    Quy Thuong Lê and Takehiko Yasuda. Higher Jacobian ideals, contact equivalence and motivic zeta functions. Revista Matemática Iberoamericana , October 2024

    work page 2024

  6. [6]

    A computational approach to higher Jacobian ideals

    Tabitha Ramirez, Hao Shen, and Fei Ye. A computational approach to higher Jacobian ideals . Involve, a Journal of Mathematics , 2024. To appear

    work page 2024

  7. [7]

    Higher Nash blowups

    Takehiko Yasuda. Higher Nash blowups. Compositio Mathematica , 143(6):1493--1510, November 2007. tex.ids= Yasudaa

    work page 2007

Pith tools

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