REVIEW 3 major objections 4 minor 18 references
Schemes supported on the singular locus of a hyperplane arrangement in $\mathbb P^n$
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Liaison addition makes the singular-locus schemes of hyperplane arrangements Cohen-Macaulay in most cases — and prescribes their failures otherwise.
desk verdict A solid, genuinely new paper that brings liaison addition into hyperplane arrangement theory; the main theorems hold up, and the only real weakness is the lack of computer-check scripts, which is standard for the field. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is liaison addition (Theorem 2.4): for two codimension-two schemes $V_1,V_2$ with $F_i\in I_{V_i}$ forming a regular sequence $(F_1,F_2)$, the ideal $F_2 I_{V_1}+F_1 I_{V_2}$ defines the union of $V_1,V_2$ and the complete intersection, and the Hartshorne-Rao module splits as a direct sum with degree shifts. Basic double linkage (Proposition 2.5) is the degenerate case where one scheme is empty; it adds a complete intersection while shifting the Hartshorne-Rao module by one degree. Translated to arrangements (Propositions 2.6 and 2.9), these two operations say that for products $F$ and $G$ of linear forms, $M(C_{FG}) \cong M(C_F)(-p)\oplus M(C_G)(-m)$ and $M(C_{LF}) \cong M(C_F)(-1)$, which is exactly what makes the positive theorem and the prescribed-failure construction work.
What would settle it
Compute the Hartshorne-Rao module of the nine-plane arrangement $F=xyzw(x+y)(y+z)(z+w)(w+x)(w+x+y+z)$ by resolving the saturated ideal of its top-dimensional Jacobian component; if the module is not one-dimensional in exactly one degree, Theorem 6.2 collapses. A negative test for the positive theorem would be any arrangement satisfying the separation hypothesis whose $\overline J$ or $\sqrt J$ is not Cohen-Macaulay.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the schemes cut out by the height-two primary components of the Jacobian ideal of a hyperplane arrangement behave like liaison-theoretic curves: they can be assembled piece by piece. Under the hypothesis that no hyperplane contains the support of two distinct non-reduced components, Theorem 3.2 shows in $\mathbb P^3$ that $\overline J$ is Cohen-Macaulay by adding non-reduced components one at a time with liaison addition and then adding the reduced lines with basic double linkage; Corollaries 3.5 and 3.6 extend the same conclusion to $\sqrt J$ and to $\cap \mathfrak p_i^{b_i}$, and Corollary 3.7 lifts the result to $\mathbb P^n$ by a general hyperplane section. When the hypothesis is dropped, Examples 4.1–4.5 show that the three ideals can fail independently, and that a free arrangement can even have a non-Cohen-Macaulay radical. The second main theorem, Theorem 6.2, asserts that for every $r\ge 1$ there is an arrangement whose top-dimensional part has Hartshorne-Rao module of dimension $r$ supported in exactly one degree, and Corollary 6.5 gives the same for the radical; the proof builds these curves by taking $r$ general copies of a fixed nine-plane building block and combining them with liaison addition, then shifting with basic double linkage.
Load-bearing premise
The positive results rest on the assumption that no plane of the arrangement contains the supports of two distinct non-reduced (thickened) singular components; the failure-tuning results rest on a computer check that a specific nine-plane arrangement has a one-dimensional Hartshorne-Rao module in exactly one degree.
Editorial extensions
If this is right
- Whenever the separation hypothesis holds, $\overline V$, $V_{\mathrm{red}}$ and the fattened ideals $\cap \mathfrak p_i^{b_i}$ are arithmetically Cohen-Macaulay, independent of whether the arrangement itself is free.
- For graphic arrangements, the hypothesis translates to a graph condition: if no two 3-cycles of a graph share an edge, then $R/\sqrt J$ and $R/\overline J$ are Cohen-Macaulay; every bipartite graph satisfies this.
- For every $r\ge 1$, the even liaison class whose Hartshorne-Rao module is one-dimensional in a single degree contains infinitely many curves arising as top-dimensional parts of Jacobian ideals of plane arrangements, in infinitely many degree shifts; the same holds for reduced singular loci.
- The failure of Cohen-Macaulayness of the singular curve can be made to occur in exactly one degree with dimension $r$, so arrangement singular loci realise the minimal possible non-ACM behaviour; in these constructions the syzygy bundle of the Jacobian ideal is locally free.
- The hypothesis cannot simply be dropped: arrangements with the same intersection lattice can have different Betti diagrams for $\overline J$ and $\sqrt J$, so the Cohen-Macaulay question is genuinely finer than pure combinatorics.
Reading between the lines
- Because liaison addition gives a direct-sum decomposition of Hartshorne-Rao modules, the family of modules arising from arrangement singular loci is closed under shifted direct sums; if this closure is robust, one could conjecture that every even liaison class of curves in $\mathbb P^3$ contains an arrangement-defined curve, not just the one-dimensional-supported classes treated here.
- The one-degree, dimension-$r$ failures are the signature of Buchsbaum curves, so arrangement singular loci provide many new examples of Buchsbaum curves with locally free syzygy bundles; one could test whether the same operations produce modules supported in several degrees with prescribed maps, which would answer the paper's open question about classifying arising liaison classes.
- The separation hypothesis looks combinatorial in nature — it concerns which planes contain which triple-line supports — so one could try to turn Theorem 3.2 into a pure intersection-lattice criterion for Cohen-Macaulayness of $\overline J$ and $\sqrt J$, and test on the two arrangements of Example 4.6 whether their common lattice already decides the Cohen-Macaulay property.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces liaison-theoretic tools (liaison addition and basic double linkage) to the study of hyperplane arrangements. For an arrangement defined by a product of linear forms F, the authors consider three unmixed ideals associated to the Jacobian ideal J: the top-dimensional part Jbar, the radical sqrt(J), and an intersection of powers of the associated primes. The first main result (Theorem 3.2 and Corollaries 3.5, 3.6, 3.7) states that under the hypothesis that no hyperplane of the arrangement contains the supports of two distinct non-reduced components of the Jacobian scheme, all of these ideals define arithmetically Cohen-Macaulay schemes, in P^3 and then in P^n by hyperplane sections. The second main result (Theorem 6.2 and Corollary 6.5) shows that for every r >= 1 there are arrangements in P^3 whose top-dimensional part (respectively radical) has Hartshorne-Rao module of dimension r supported in exactly one degree, and that arbitrary shifts of the supporting degree can be achieved while staying in the same even liaison class. The proofs rely on a building-block example whose Hartshorne-Rao module is claimed to be a one-dimensional vector space, verified by a displayed Betti diagram computed with CoCoA.
Significance. If the results hold, the paper makes a substantial contribution by importing liaison addition into arrangement theory, giving a broad sufficient condition for Cohen-Macaulayness of the top-dimensional part and the radical of the Jacobian ideal, independent of freeness. The second theorem is striking: it shows that the failure of ACM-ness can be concentrated in one degree with arbitrarily large multiplicity, and it connects these curves to known irreducible even liaison classes. The paper is clearly written, and the main non-computational proof of Theorem 3.2 is convincing and well structured. The novel use of liaison addition and basic double linkage for arrangements is a genuine strength. The principal weakness is the reproducibility gap for the computer-algebra verification that underpins Theorem 6.2 and Corollary 6.5, together with a compressed inference from a Betti diagram to the structure of the Hartshorne-Rao module.
major comments (3)
- [Section 6, Theorem 6.2] The proof of the building-block claim rests entirely on a computer calculation that is not reproducible from the manuscript. For the 9-plane arrangement F = xyzw(x+y)(y+z)(z+w)(w+x)(w+x+y+z), the displayed Betti diagram is stated without providing the CoCoA or Macaulay2 code, the input file, or a verification certificate. If this computation is incorrect, the inductive construction has no starting block and Theorem 6.2 collapses. The same issue affects part (iii) of Theorem 6.2 ("one can check on the computer") and the building block of Corollary 6.5 ("One can check"). Please provide machine-readable code or an independent certificate for each of these computations, or replace the computational verification with a human-checkable derivation.
- [Section 6, Theorem 6.2 proof] The step from the displayed Betti diagram to the conclusion M(C) is isomorphic to k is too compressed. The text asserts that Rao's theorem gives a minimal presentation R(-c-1)^4 -> R(-c) -> M(C)^vee -> 0 and hence M(C)^vee is isomorphic to k; however, the displayed Betti numbers alone do not determine the module structure. One needs to know that the presentation matrix is the 1 x 4 matrix of the four variables generating the maximal ideal, not some other linear forms. Please write out the full minimal free resolution of R/I_C with all degrees, state the precise form of Rao's theorem being used, and show explicitly how the Betti table forces the claimed Hartshorne-Rao module. As written, this load-bearing step is not checkable.
- [Theorem 3.2] The proof does not explicitly treat the case where every hyperplane of the arrangement is a factor of one of the F_i, so that no linear form L exists outside all F_i. In that case the final basic-double-linkage step is vacuous, and the proof should say that all components have already been accounted for. This is a minor gap in an otherwise sound argument, but it should be addressed in the revision.
minor comments (4)
- [Notation and typography] The overline on Jbar is frequently lost in the typeset text, so that Jbar and J are indistinguishable in several displayed formulas. Please ensure consistent notation throughout.
- [Corollary 3.9] The term "dual arrangement" is used without definition. Please define the dual construction for a set of points Z in P^n.
- [Theorem 6.2 proof] The phrase "n-tuple" in the discussion before Theorem 6.2 conflicts with the use of n for the dimension of projective space. Rename the tuple length to avoid confusion.
- [Computer checks] The Betti diagrams reported in Examples 4.1, 4.3, 4.5, 4.6, 5.4, and 6.6 are stated as computer checks. While individual checks are acceptable, providing the scripts or at least a summary of the commands would improve reproducibility and is in the spirit of the journal's standards.
Circularity Check
No significant circularity: the paper's central claims are proved using external liaison-theoretic results and independent computational checks, not by assuming the conclusions.
full rationale
The paper's first main theorem (Theorem 3.2 and its corollaries) proves Cohen-Macaulayness of the top-dimensional Jacobian scheme and its radical under a stated geometric hypothesis. The proof is constructive: it uses liaison addition and basic double linkage to build up the scheme from complete intersections, invoking external results due to Schwartau, Geramita-Migliore, Lazarsfeld-Rao, and Migliore-Nagel. The hypothesis (no hyperplane contains the supports of two non-reduced components) is not definitionally tied to Cohen-Macaulayness, and the conclusion is not used as an input. The second main theorem (Theorem 6.2) rests on a specific 9-plane arrangement whose Betti diagram is computed and reported, followed by an application of Rao's theorem to identify the Hartshorne-Rao module as one-dimensional. That computation is an independent check, not a renaming of the desired result; the paper does not fit a parameter to the target Hartshorne-Rao module and then call it a prediction. The inductive construction then uses Proposition 2.6, a direct consequence of liaison addition, to combine copies of the building block. While the computational verification is not accompanied by code or a certificate, that is a reproducibility concern, not circularity. The paper cites the authors' own prior work for background tools such as liaison addition and basic double linkage, but those citations support standard external results and do not assume Theorem 6.2 or Theorem 3.2. No equation is shown to be identical to its input by construction, and no fitted quantity is relabeled as a prediction. The derivation chain is therefore self-contained with respect to the claims proved.
Assumptions & free parameters
assumptions (4)
- standard math The base field k has characteristic zero.
- standard math Liaison addition and basic double linkage theorems are valid as stated in Theorem 2.4 and Proposition 2.5.
- standard math Rao's theorem connecting Hartshorne-Rao modules to minimal free resolutions is valid (used in Theorem 6.2).
- ad hoc to paper The reported CoCoA computations for Betti diagrams and Hilbert polynomials are correct.
Cite this review
Pith. "Pith review of Schemes supported on the singular locus of a hyperplane arrangement in $\mathbb P^n$." pith.science (2026). https://pith.science/paper/56BEUL3W
@misc{pith2026190803939,
author = {Pith},
title = {Pith review of: Schemes supported on the singular locus of a hyperplane arrangement in $\mathbb P^n$},
year = {2026},
howpublished = {\url{https://pith.science/paper/56BEUL3W}},
note = {Machine review of arXiv:1908.03939}
}
abstract
We introduce the use of liaison addition to the study of hyperplane arrangements. For an arrangement, $\mathcal A$, of hyperplanes in $\mathbb P^n$, $\mathcal A$ is free if $R/J$ is Cohen-Macaulay, where $J$ is the Jacobian ideal of $\mathcal A$. Terao's conjecture says that freeness of $\mathcal A$ is determined by the combinatorics of the intersection lattice of $\mathcal A$. We study the Cohen-Macaulayness of three other ideals, all unmixed, that are closely related to $\mathcal A$. Let $\overline J = \mathfrak q_1 \cap \dots \cap \mathfrak q_s$ be the intersection of height two primary components of $J$ and $\sqrt{J} = \mathfrak p_1 \cap \dots \cap \mathfrak p_s$ be the radical of $J$. Our third ideal is $\mathfrak p_1^{b_1} \cap \dots \cap \mathfrak p_s^{b_s}$ for suitable $b_1,\dots, b_s$. With a mild hypothesis we use liaison addition to show that all of these ideals are Cohen-Macaulay. When our hypothesis does not hold, we show that these ideals are not necessarily Cohen-Macaulay, and that Cohen-Macaulayness of any of these ideals does not imply Cohen-Macaulayness of any of the others. While we do not study the freeness of $\mathcal A$, we show by example that the Betti diagrams can vary even for arrangements with the same combinatorics. We then study the situation when the hypothesis does not hold. For equidimensional curves in $\mathbb P^3$, the Hartshorne-Rao module from liaison theory measures the failure of an ideal to be Cohen-Macaulay, degree by degree, and also determines the even liaison class of such a curve. We show that for any positive integer $r$ there is an arrangement $\mathcal A$ for which $R/\overline J$ fails to be Cohen-Macaulay in only one degree, and this failure is by $r$; we also give an analogous result for $\sqrt{J}$. We draw consequences for the corresponding even liaison class of the curve defined by $\overline J$ or by $\sqrt{J}$.
Reference graph
Works this paper leans on
-
[1]
J. Abbott, A.M. Bigatti, and L. Robbiano, CoCoA : a system for doing Computations in Com- mutative Algebra, available at http://cocoa.dima.unige.it
-
[2]
E. Ballico, G. Bolondi and J. Migliore, The Lazarsfeld-Rao problem for liaison classes of two- codimensional subschemes of Pn, Amer. J. Math. 113 (1991), 117–128
work page 1991
-
[3]
G. Bolondi and J. Migliore, Classification of maximal rank curves in the liaison class Ln, Math. Ann. 277 (1987), 585–603
work page 1987
-
[4]
G. Bolondi and J. Migliore, The structure of an even liaison class , Trans. Amer. Math. Soc. 316 (1989), 1–37
work page 1989
-
[5]
A. Dimca and G. Sticlaru, Saturation of Jacobian ideals: Some applications to nearly free curves, line arrangements and rational cuspidal plane curves , J. Pure Appl. Algebra 223 (2019), 5055– 5066
work page 2019
-
[6]
A.V. Geramita, B. Harbourne and J. Migliore, Star configurations in P3, J. Algebra 376 (2013), 279–299
work page 2013
-
[7]
A.V. Geramita and J. Migliore, A generalized liaison addition , J. Algebra 163 (1994), 139–164
work page 1994
-
[8]
R. Hartshorne and A. Hirschowitz, Droites en position g´ en´ erale dans l’espace projectif, Algebraic geometry (La R´ abida, 1981), 169–188, Lecture Notes in Math., 961, Springer, Berlin, 1982
work page 1981
Show all 18 references
-
[9]
Huneke and B
C. Huneke and B. Ulrich, General Hyperplane Sections of Algebraic Varieties , J. Alg. Geom. 2 (1993), 487–505
1993
-
[10]
Kung and H
J. Kung and H. Schenck, Derivation modules of orthogonal duals of hyperplane arrangements , J. Algebraic Combin. 24 (2006), no. 3, 253–262
2006
-
[11]
Lazarsfeld and A.P
R. Lazarsfeld and A.P. Rao, Linkage of general curves of large degree ,” Algebraic geometry – open problems (Ravello, 1982), 267–289, Lecture Notes in Math., 997, Springer, Berlin, 1983
1982
-
[12]
Introduction to Liaison Theory and Deficiency Modules,
J. Migliore, “Introduction to Liaison Theory and Deficiency Modules,” Birkh¨ auser, Progress in Mathematics 165, 1998. THE SINGULAR LOCUS OF A HYPERPLANE ARRANGEMENT IN Pn 23
1998
-
[13]
Migliore and U
J. Migliore and U. Nagel, Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers , Adv. Math. 180 (2003), 1–63
2003
-
[14]
Mustat ¸ˇ a and H
M. Mustat ¸ˇ a and H. Schenck,The module of logarithmic p-forms of a locally free arrangement , J. Algebra 241 (2001), 699–719
2001
-
[15]
Arrangements of hyperplanes,
P. Orlik and H. Terao, “Arrangements of hyperplanes,” Grundlehren der Mathematischen Wis- senschaften, 300. Springer-Verlag, Berlin, 1992
1992
-
[16]
Rao, Liaison among curves in P3, Invent
A.P. Rao, Liaison among curves in P3, Invent. Math. 50 (1978/79), no. 3, 205–217
1978
-
[17]
Schenck, Elementary modifications and line arrangements in P2, Comment
H. Schenck, Elementary modifications and line arrangements in P2, Comment. Math. Helv. 78 (2003), 447–462
2003
-
[18]
Liaison Addition and Monomial Ideals,
P. Schwartau, “ Liaison Addition and Monomial Ideals,” Ph.D. thesis, Brandeis University (1982) (thesis advisor: D. Eisenbud). Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556 USA E-mail address : migliore.1@nd.edu Department of Mathematics, University...
1982
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.