Torsion of differentials of hypersurfaces with isolated singularities (Q1903700)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Torsion of differentials of hypersurfaces with isolated singularities
scientific article

    Statements

    Torsion of differentials of hypersurfaces with isolated singularities (English)
    0 references
    4 November 1997
    0 references
    Let \(K\) be a field of characteristic 0. Let \(F\in R =K[X_1,\dots,X_N]\) be a reduced polynomial defining an affine hypersurface \(A\) with only isolated singularities. Let \(J=\bigl(\frac{\partial F}{\partial X_1},\dots,\frac{\partial F}{\partial X_N}\bigr)\) be the Jacobian ideal, \(I=(J:F)\), \(T(\Omega^{N-1}_{A/K})=\) torsion submodule of \(\Omega^{N-1}_{A/K}\). The author proves that there is an isomorphism of \(A\)-modules \(T(\Omega^{N-1}_{A/K})\approx I/J\). Under the additional assumption that \(K\) is algebraically closed, it is proved that \(T(\Omega^{N-1}_{A/K})\) and \((\Omega^N_{A/K})\) have the same (finite) dimension over \(K\). If \(F\) is quasi-homogeneous, \(A\) has isolated singularity if and only if \(\frac{\partial F}{\partial X_1},\dots,\frac{\partial F}{\partial X_N}\) is an \(R\)-sequence and in that case \(T(\Omega^{N-1}_{A/K}) \approx \Omega^N_{A/K}\) is a cyclic \(A\)-module [\textit{R. I. Michler}, Rocky Mt. J. Math. 26, No. 1, 229-236 (1996; see the preceding review)]. The author shows that for the reduced non-quasi homogeneous plane curve \(F:X^3Y^2+Y^5+X^7=0\) with isolated singularity at the origin \(\frac{\partial F}{\partial X}\), \(\frac{\partial F}{\partial Y}\) is an \(R\)-sequence and in that case \(T(\Omega^{N-1}_{A/K})\) is not cyclic. It is also proved that for the family of reduced plane curves defined by \(F=(c+X)^2Y^2/2+cX^2/2+X^3/3\), \(c\neq 0\), with a single isolated singularity at the origin, \(\frac{\partial F}{\partial X}\), \(\frac{\partial F}{\partial Y}\) do not form an \(R\)-sequence.
    0 references
    differentials
    0 references
    affine hypersurface
    0 references
    Jacobian ideal
    0 references
    torsion submodule
    0 references
    isolated singularity
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references