Characterization of Jacobian linear type for hypersurfaces with one-dimensional singularities

Let X=V(f)AknX=V(f)\subseteq \mathbb{A}_k^n be an affine hypersurface with one-dimensional singularities. For a minimal prime q\mathfrak q of the Jacobian ideal I(f)I(f), let T(f)qT(f)_{\mathfrak q} and M(f)qM(f)_{\mathfrak q} denote the local Tjurina and Milnor algebras, respectively, and let ()\ell(-) denote length. Jacobian linear type characterization. The hypersurface XX is of Jacobian linear type if and only if, for each minimal prime q\mathfrak q of I(f)I(f),

(T(f)q)=(M(f)q)\ell\bigl(T(f)_{\mathfrak q}\bigr)=\ell\bigl(M(f)_{\mathfrak q}\bigr)

and I(f)qI(f)_{\mathfrak q} is a complete intersection. This proposes a length-theoretic and local complete-intersection criterion for Jacobian linear type in the one-dimensional singular-locus case; the source presents it as a question motivated by the failure of analogous behavior for higher-dimensional singularities, and gives no resolution.

Sources & referencesView supporting material

Primary source

Amir Behzad Farrahy and Abbas Nasrollah Nejad, “Hypersurfaces with linear type singular loci”, arXiv:1901.03833 (2019).

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.