Pith. sign in

REVIEW 3 major objections 4 minor 15 references

Symmetry, Unimodality, and Lefschetz Properties for Graded Modules

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Explicit degree inequalities give non-cyclic modules over $K[x,y,z]$ the Weak Lefschetz Property.

desk verdict Section 5 on the non-Lefschetz locus for graded modules is the real contribution; the main WLP proof is unsupported because Proposition 3.10 is false. read the letter →

arxiv 1908.03648 v2 pith:7KFZIQMX submitted 2019-08-09 math.AC math.AG

Zachary Flores This is my paper · ORCID
classification math.ACmath.AG MSC 13D0213D4013E1014F0514M12
keywords WeakLefschetzPropertygradedmodulesBuchsbaum-RimcomplexHilbertfunctionsymmetricallyGorensteinnon-LefschetzlocusArtinianvectorbundlesonP^2
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Over the polynomial ring $R = K[x,y,z]$ with $K$ algebraically closed of characteristic zero, the paper studies modules $M$ that are cokernels of graded maps $\phi : \bigoplus_{j=1}^{n+2} R(-b_j) \to \bigoplus_{i=1}^{n} R(-a_i)$ whose ideal of maximal minors has codimension three. Its central goal is to show that a large family of these non-cyclic finite-length modules satisfies the Weak Lefschetz Property—the condition that multiplication by a general linear form has maximal rank in every degree. The main theorem gives explicit numerical inequalities on the shifts $a_i, b_j$ under which this holds, and the proof passes through three structurally interesting results: the Hilbert function of $M$ is symmetric, it is strictly unimodal, and the associated rank-two vector bundle on $\mathbb{P}^2$ is semistable. A second thread defines the non-Lefschetz locus for arbitrary graded finite-length modules and shows that for level modules it is supported in at most two degrees, and for symmetrically Gorenstein modules in a single degree. A sympathetic reader would care because these are the first general WLP results for non-cyclic modules in three variables beyond isolated examples, connecting commutative algebra to vector-bundle stability.

What carries the argument

The load-bearing machinery is the Buchsbaum–Rim complex, which supplies the minimal free resolution $0 \to \bigoplus_{i=1}^n R(-d_i) \to \bigoplus_{j=1}^{n+2} R(-c_j) \to \bigoplus_{j=1}^{n+2} R(-b_j) \xrightarrow{\phi} \bigoplus_{i=1}^n R(-a_i) \to M \to 0$ when the ideal of maximal minors has codimension three; its graded twists compute to $c_j = d - b_j$ and $d_i = d - a_i$. From those shifts, the paper extracts the Hilbert function via a known syzygy formula, and establishes symmetry through Kunte's notion of a Symmetrically Gorenstein module—an Artinian module whose minimal resolution is self-dual with an antisymmetric middle map. Unimodality is then checked interval by interval on the piecewise-quadratic Hilbert function. Finally, the sheafified kernel $E$ of $\phi$ is a rank-two bundle on $\mathbb{P}^2$, and the same inequalities guarantee $H^0(\mathbb{P}^2, E_{\mathrm{norm}}(-1)) = 0$ (or $H^0(\mathbb{P}^2, E_{\mathrm{norm}}) = 0$ in the odd case), which is the semistability condition that Grauert–Mülich converts into a splitting type and hence into the Weak Lefschetz Property.

What would settle it

Exhibit a single matrix $\phi$ satisfying the hypotheses of Theorem 4.3 (codimension-three maximal minors, positive-degree entries, $a_1=0$) for which multiplication by a general linear form is not of maximal rank in some degree—or, equivalently, for which the vector bundle $E$ of Lemma 4.1 is not semistable; computing $H^0(\mathbb{P}^2, E_{\mathrm{norm}}(-1))$ or $H^0(\mathbb{P}^2, E_{\mathrm{norm}})$ via the exact sequences $(\star\star)$ and $(\star\star\star)$ would settle it. If every such map has semistable $E$, the numerical inequalities are unnecessary; if one map with the inequalities has an unstable $E$, Theorem 4.3 is false.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 4.3: if $a_1 = 0$ and either $d$ is even with $d' + 2 + b_{n+1} > b_{n+2}$, or $d$ is odd with $d' + 1 + b_{n+1} > b_{n+2}$, where $d = \sum_j b_j - \sum_i a_i$ and $d' = \sum_{i=1}^n (b_i - a_i)$, then $M = \operatorname{coker}(\phi)$ has the Weak Lefschetz Property. The theorem applies to modules that are usually not cyclic (in fact the minimal number of generators is $n$), so it genuinely extends the classical result that codimension-three complete intersections have WLP. The proof establishes along the way that $M$ is Symmetrically Gorenstein in the sense of Kunte when $a_1=0$, giving a symmetric Hilbert function, and that under the same inequalities the Hilbert function is strictly unimodal. It then identifies, via the Buchsbaum–Rim resolution, the first syzygy sheaf $E$ as a rank-two vector bundle on $\mathbb{P}^2$ with $c_1(E) = -d$; the numerical inequalities are exactly what forces $E$ to be semistable, and Grauert–Mülich then fixes its splitting type, which is the input that yields maximal rank for multiplication by a general linear form.

Load-bearing premise

The argument depends on the imported fact that the Buchsbaum–Rim complex is the minimal free resolution of $M$ whenever the ideal of maximal minors has codimension three and every entry of $\phi$ is zero or a positive-degree form; if that resolution is not minimal, all the degree-shift computations and the Hilbert-function formula collapse.

Editorial extensions

If this is right

  • Every cokernel satisfying the inequalities has a symmetric, strictly unimodal Hilbert function, not just the modules that are complete intersections; this gives a large pool of test modules for numerical Hilbert-function questions.
  • The explicit family in Example 4.5—banded matrices whose nonzero entries are a regular sequence $f_1,f_2,f_3$ of equal degree—yields non-cyclic Artinian modules with WLP for every $q \ge 3$ and $n > 1$.
  • The proof template (self-dual resolution, symmetric Hilbert function, semistability of the syzygy bundle, WLP) applies whenever the Buchsbaum–Rim resolution is minimal, so any future improvement of the inequalities in Theorem 4.3 would automatically enlarge the WLP family.
  • For level modules, the non-Lefschetz locus is contained in the union of two consecutive degrees, and for symmetrically Gorenstein modules it is a single degree; this recovers and extends the known single-degree result for Gorenstein algebras.
  • Complete intersections in $K[x,y,z]$ obtain a new proof of WLP as the $n=1$ case of Theorem 4.3, with the remaining range covered by a known bound.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The numerical inequalities are presented as sufficient; a natural next question is whether they are also necessary for semistability of $E$ when the zero pattern of $\phi$ is generic, which would characterize WLP for this family by degree data alone.
  • The non-Lefschetz locus results do not require a unimodal Hilbert function: the proof suggests the locus is concentrated around any degree where the Hilbert function changes direction, so a 'peak degree' version of Proposition 5.11 might hold for non-level modules with a symmetric socle.
  • Example 4.5's circulant-like matrices resemble discretizations of differential operators; one could test WLP numerically for larger $n$ and for rings in more variables, where the Buchsbaum–Rim resolution is not minimal but the non-Lefschetz locus is still defined by minors of linear-form matrices.
  • The connection between semistability and WLP may transfer to other Artinian modules whose first syzygy sheaf is a vector bundle of rank $>2$; Grauert–Mülich has higher-rank analogues that could fix the splitting type up to a bounded spread.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The manuscript studies finite-length graded modules M = coker(φ) over R = K[x,y,z], where φ: ⊕_{j=1}^{n+2} R(-b_j) → ⊕_{i=1}^n R(-a_i) is a graded map whose ideal of maximal minors has codimension three. It computes the minimal free resolution of M via the Buchsbaum-Rim complex, derives formulas for the Betti degrees, and then analyzes the Hilbert function for symmetry and strict unimodality. The main theorem (Theorem 4.3) asserts that M has the Weak Lefschetz Property under the numerical conditions that a1 = 0 and either (a) d even and d' + 2 + b_{n+1} > b_{n+2}, or (b) d odd and d' + 1 + b_{n+1} > b_{n+2}, where d = Σb_j - Σa_i and d' = Σ(b_i - a_i). The second half defines the non-Lefschetz locus for finite-length graded modules over S = K[x_1,...,x_r], proves a containment result for the ideals defining the locus (Proposition 5.7), and derives that for level modules the non-Lefschetz locus is contained in two degrees, while for symmetrically Gorenstein modules it is supported in a single degree.

Significance. If Theorem 4.3 were established, it would provide a substantial family of non-cyclic finite-length modules over K[x,y,z] with the Weak Lefschetz Property, generalizing the complete intersection case. The non-Lefschetz locus results extend the framework of Boij, Migliore, Miró-Roig, and Nagel from cyclic algebras to arbitrary finite-length graded modules, and the connection with Artin level modules is potentially useful. The explicit Buchsbaum-Rim resolution computations in Section 2 and the symmetric Gorenstein criterion in Section 3 are also of independent interest. However, the central WLP claim rests on an omitted proof and on a false strict-unimodality statement, so these contributions are contingent on a successful revision.

major comments (3)
  1. [§3, Proposition 3.10] Proposition 3.10 is false as stated. Take n=1, a1=0, b1=2, b2=3, b3=5 over K of characteristic zero. The maximal minors of the 1×3 matrix are the three generators of a complete intersection of degrees 2, 3, and 5 in R=K[x,y,z], so the codimension-three hypothesis holds. Here d=10, d'=2, and d' + b_{n+1} + 2 = 2+3+2 = 7 > 5 = b_{n+2}, so hypothesis (a) holds. The Hilbert function of R/(f1,f2,f3) is (1,3,5,6,6,5,3,1), which is symmetric but not strictly unimodal because the two middle values coincide. The proof's error is that the binomial-coefficient expressions in (⋆⋆) are differentiated on intervals where the binomial coefficients vanish combinatorially, so the polynomial treatment is not justified. Since the proof of Theorem 4.3 explicitly states that Proposition 3.10 supplies the strict-unimodality input, this false proposition undermines the proof of the main theorem.
  2. [§4, Theorem 4.3] Theorem 4.3 is the central claim of the paper but its proof is omitted, with only the sentence 'The proof of Theorem 4.3 works entirely in the same way as the proof ([9], Theorem 2.3), changing only what is necessary, so we omit the details.' This is not adequate for a substantial generalization to non-cyclic modules. Moreover, the omitted proof depends on Proposition 3.10, which is false (see the preceding comment). The author must supply a complete proof, or at least a fully detailed explanation of why the arguments of [9] carry over, and must address how the failure of strict unimodality (e.g., the plateau in the complete intersection example) is handled in the Lefschetz argument.
  3. [§5, Proposition 5.7] Proposition 5.7 is load-bearing for Corollary 5.8 and Proposition 5.11, the main non-Lefschetz locus results, yet its proof is omitted with only 'the proof ... mutatis mutandis'. The statement relates the containment of ideals of maximal minors to a socle condition and to growth of the Hilbert function; this is a nontrivial matrix-ideal statement, and the cyclic case in [2] does not automatically transfer to modules. The details should be written out or a precise reference supplied. Without this proof, Corollary 5.8 and Proposition 5.11 are not established.
minor comments (4)
  1. [Throughout] The manuscript contains many typographical errors, including 'Kosuzl' in the abstract, 'Gorenstien' in Proposition 3.9, 'neessary' in Section 2, 'disucssion', 'ony', and a duplicated 'want to know' in Section 5. The paper requires careful proofreading before resubmission.
  2. [§3, Proposition 3.10] In formula (⋆), the binomial coefficients such as binom(t+2-a_i,2) should be defined explicitly to be zero when the upper argument is smaller than 2. The proof later differentiates these expressions as polynomials on intervals where the combinatorial values vanish, which is the source of the error; a precise convention and a corrected argument are needed.
  3. [§5, Corollary 5.8] In the proof of Corollary 5.8, the inclusion chain is written for i = 0, ..., j-1, but the initial inclusion I(L_{N,j-1}) ⊆ I(L_{N,j-2}) is not justified by the displayed chain; the indexing should be checked and clarified.
  4. [References] Reference [5] is cited in the text as 'Peterson Z.', but the arXiv listing for arXiv:1803.10337 gives 'Peterson C.'; the author's name should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain relies on external commutative algebra and vector bundle machinery, not on the paper's own conclusions.

full rationale

The paper's central claim, Theorem 4.3, is derived from the Buchsbaum-Rim minimal free resolution of M (imported from Eisenbud's book, encoded in Lemma 2.1 and the degree computations of Section 2), the symmetry characterization of Kunte (Theorem 3.6, external), a Hilbert-function computation from Eisenbud's syzygy book, and the Grauert-Mulich theorem for vector bundles on P^2 (Lemma 4.1, Corollary 4.2). None of these inputs assumes M has the Weak Lefschetz Property or that its Hilbert function is strictly unimodal. The conditions in Theorem 4.3 are explicit numerical inequalities on the degrees a_i, b_j, not fitted parameters or data-dependent quantities. The proof of Theorem 4.3 is omitted and is said to follow the template of Harima-Migliore-Nagel-Watanabe [9], but that is an external source, not a self-citation, and the extension to the non-cyclic module setting is nontrivial. The only self-citation, [5], is explicitly contextual ('These restrictions were removed in [5]') and is not load-bearing. Even if Proposition 3.10 is false or its proof is incomplete, as a skeptical reading might suggest, that would be a correctness or rigor problem, not a circularity problem; the proposition is not being assumed as an input but rather derived from independent Hilbert-function data. The non-Lefschetz locus portion of the paper similarly builds on external results of Boij, Migliore, Miró-Roig, Nagel, and Boij's level-module theory. No stage of the derivation reduces to renaming a known result or to fitting an output into an input.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper does not fit parameters to data; it relies on a standard package of background results in commutative algebra and algebraic geometry. The main explicit inputs are the codimension-3 condition and the numerical inequalities, which are hypotheses rather than fitted parameters.

assumptions (6)
  • domain assumption The Buchsbaum-Rim complex gives a minimal free resolution of M over R when the ideal I of maximal n x n minors has codimension 3 and all entries of phi are either zero or of positive degree.
    Invoked at the start of Section 2 to identify the resolution modules F3, F2, F1 and to compute the shifts c_j and d_i. Underlies all subsequent Hilbert function and Lefschetz arguments.
  • domain assumption Kunte's characterization of Symmetrically Gorenstein modules (Theorem 3.6) is correct.
    Used in the proof of Proposition 3.9 to conclude M is Symmetrically Gorenstein and hence has symmetric Hilbert function.
  • domain assumption Grauert-Mulich theorem: the splitting type of a semistable rank-two bundle on P2 is determined by its first Chern class.
    Used in Corollary 4.2 and Theorem 4.3 to compute E's splitting type, which is the key to the WLP proof.
  • domain assumption Boij's level module duality: if N is an Artinian level module, then N^vee(-c) is level.
    Used in Proposition 5.6 and Corollary 5.8 for the non-Lefschetz locus of level modules.
  • domain assumption Boij-Migliore-Miro-Roig-Nagel's Proposition 2.5 on inclusion of non-Lefschetz loci ideals extends to modules as used in Proposition 5.7.
    Proposition 5.7 is stated without proof, with the comment 'mutatis mutandis' to [2, Prop 2.5].
  • domain assumption The Hilbert function formula from Eisenbud's syzygy book (Corollary 1.2) is valid for resolutions of this form.
    Used to write the formula (star) for h_M(t) in Proposition 3.10.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Symmetry, Unimodality, and Lefschetz Properties for Graded Modules." pith.science (2026). https://pith.science/paper/7KFZIQMX

@misc{pith2026190803648,
  author       = {Pith},
  title        = {Pith review of: Symmetry, Unimodality, and Lefschetz Properties for Graded Modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7KFZIQMX}},
  note         = {Machine review of arXiv:1908.03648}
}
read the original abstract

We investigate the Weak Lefschetz Properties for modules whose minimal free resolutions are given by generalized Kosuzl complexes in dimension three through a careful study of their Betti numbers and the symmetry and unimodality of their Hilbert functions. We also study the non-Lefschetz locus for finite length modules in arbitrary dimension, and are able to generalize several previous results on the non-Lefschetz locus in this setting. Along the way, we find several connections with a Gorenstein analogue for finite length modules and Artin level modules that are both interesting and useful throughout this paper.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [5]

    On the Weak Lefschetz Property for Vector Bundles on $\mathbb P^2$

    Failla G., Flores Z., Peterson Z. On the W eak Lefschetz Pr operty for Vector Bundles on P2, arXiv:1803.10337

    work page Pith review arXiv

  2. [9]

    Journal of Algebra 262(1), pp

    Harima, T., Migliore, J.C., Nagel, U., W atanabe, J., The W eak and Strong Lefschetz Properties for Artinian K-algebras. Journal of Algebra 262(1), pp. 99-126, 2003

    work page 2003

  3. [2]

    The non- Lefschetz locus, Journal of Algebra 505: 288-320 (2018)

    Boij M., Migliore J., Mir-Roig R.M., and Nagel U. The non- Lefschetz locus, Journal of Algebra 505: 288-320 (2018)

    work page 2018

  4. [1]

    361-374, 2000

    Boij M., Artin Level Modules, Journal of Algebra , 226(1), pp. 361-374, 2000

    work page 2000

  5. [3]

    Springer-Verlag New York, Inc

    Eisenbud, D., Commutative Algebra with a View Toward Algebraic Geometry . Springer-Verlag New York, Inc. New York, New York, 1995

    work page 1995

  6. [4]

    Springer Science+Business Media, Inc

    Eisenbud, D., The Geometry of Syzygies . Springer Science+Business Media, Inc. New York, New York, 2005. 16 ZACHARY FLORES

    work page 2005

  7. [6]

    Matematiche (Catania 67 (1), pp

    Favacchio, G., Thieu, P.D., On the W eak Lefschetz Proper y for Graded Modules over k[x, y ]. Matematiche (Catania 67 (1), pp. 223-235, 2012

    work page 2012

  8. [7]

    and Merle M., Singularit´ es isol´ ees et sections planes de vari´ et´ es d´eterminantielles

    Giusti M. and Merle M., Singularit´ es isol´ ees et sections planes de vari´ et´ es d´eterminantielles. II. Sections de vari´ et´ es d´ eterminantielles par les plans de coordonn´ ees, Algebraic geometry (La R´ abida, 1981), 1982, pp.103-118

    work page 1981

Show all 15 references
  1. [8]

    Harima T., Maeno T., Morita H., Numata Y., W achi A., W atan abe J., The Lefschetz Properties , Springer-Verlag Berlin Heidelberg, 2013

    2013

  2. [10]

    Mathematische Nachrichten 284(7), pp

    Kunte, M., Gorenstein Modules of Finite length. Mathematische Nachrichten 284(7), pp. 899–919, 2011

    2011

  3. [11]

    63-80, 1992

    Kustin A.R., Ulrich B., If the Socle Fits, Journal of Algebra , 147(1), pp. 63-80, 1992

    1992

  4. [12]

    Monomial Ideals, Almost Complete Intersections and the W eak Lefschetz Property, Trans

    Migliore J.C., Mir´ o-Roig R.M., and Nagel U. . Monomial Ideals, Almost Complete Intersections and the W eak Lefschetz Property, Trans. Amer. Math. Soc. , 363(1), 229–257, 2011

    2011

  5. [13]

    Journal of Commutative Algebra Vol.5 No

    Migliore, J., Nagel, U., A Tour of the W eak and Strong Lef schetz Properties. Journal of Commutative Algebra Vol.5 No. 3, 2013

    2013

  6. [14]

    Birkh¨ auser Boston

    Okonek, C., Schneider, M., Spindler, H., Vector Bundles on Complex Projective Space . Birkh¨ auser Boston. Boston, MA, 1980

    1980

  7. [15]

    W atanabe, J., A Note on Complete Intersections of Heigh t Three, Proc. Amer. Math. Soc. 126(1998) 3161-3168 Department of Mathematics, Colorado State University, Loui s R. Weber Building, 841 Oval Drive, Fort Collins, CO 80523, USA E-mail address : flores@math.colostate.edu

    1998

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.