Jacobian schemes arising from hypersurface arrangements in \(\mathbb{P}^n\) (Q6630601)

A hypersurface arrangement \(\mathcal {A}\) in projective space is a union of distinct hypersurfaces \(F_1, \ldots, F_s\) in \(\mathbb{P}_k^n\), where \(k\) is a field of characteristic \(0\). Let \(f = \prod_{1}^s f_i\) where \(f_i\) defines \(F_i\). Let \(J = \operatorname{Jac}(f)\) be the Jacobian ideal of \(f\) and \(J^{\text{top}}\) the top component of \(J\). \N\NIn [\textit{J. Migliore} et al., Int. Math. Res. Not. 2022, No. 1, 18941--18971 (2022; Zbl 1478.14080)], the authors proved that if \(\mathcal{A}\) is a hyperplane arrangement and that no linear factor of \(f\) is in the associated prime of any two non-reduced components of \(J^{\text{top}}\) then \(S/\sqrt{J}\) and \(S/J^{\text{top}}\) are Cohen-Macaulay. In the current papers, the authors generalized this result to hypersurface arrangements. \N\NThe main results read ``Assume that any two factors of \(f\) meet in a smooth codimension two complete intersection, and that no \(f_i\) is in the associated prime of more than one non-reduced component of \(J^{\text{top}}\). Then the scheme defined by \(J^{\text{top}}\) is ACM. Furthermore, if each \(f_i\) is smooth, then \(\sqrt{J}\) defines an ACM scheme.'' \NThe main technical tool is the Liaison addition for arrangements (Theorem 4.5).