Ramirez's conjecture on the structure of the second Jacobian ideal

Let FF be a holomorphic function of nn variables, and let KK be the (n+1)(n+1)-by-(n+12)\binom{n+1}{2} submatrix of the second Jacobian Jac2(F)\operatorname{Jac}_2(F) consisting of the columns βab\beta_{ab} with 0<abn0<a\leq b\leq n. Let J1(F)\mathcal{J}_1(F) be the Jacobian ideal of FF, and define

Q(F)=(Qij;kl(F))1i,j,k,ln,\mathcal{Q}(F)=\big(Q_{ij;kl}(F)\big)_{1\leq i,j,k,l\leq n},

where

Qij;kl(F)=ikFjFlFjkFiFlFilFjFkF+jlFiFkF.Q_{ij;kl}(F)=\partial_{ik}F\partial_jF\partial_lF-\partial_{jk}F\partial_iF\partial_lF-\partial_{il}F\partial_jF\partial_kF+\partial_{jl}F\partial_iF\partial_kF.

Ramirez's conjecture. The ideal of maximal minors of KK is

J1(F)n2Q(F).\mathcal{J}_1(F)^{n-2}\mathcal{Q}(F).

The conjecture concerns the decomposition of the second Jacobian ideal into a power of the Jacobian ideal and an ideal determined by second-order partial derivatives. It was confirmed for n=2n=2 and n=3n=3 in the cited work, while the supplied source does not establish a general resolution.

Sources & referencesView supporting material

Primary source

Fei Ye, “On the Structure of Second Jacobian Ideals”, arXiv:2411.15097 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.