pith. sign in

arxiv: 2605.19434 · v1 · pith:ZJLMSWU6new · submitted 2026-05-19 · 🧮 math.AG · math.AC

Weak and strong Lefschetz properties for Hartshorne-Rao modules of curves in mathbb P³

Juan Migliore , Uwe Nagel , Chris Peterson , Ettore Teixeira Turatti This is my paper

Pith reviewed 2026-05-20 02:41 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords Hartshorne-Rao moduleweak Lefschetz propertystrong Lefschetz propertyskew linescurves in P^3quadric surfacerational curves
0
0 comments X

The pith

The geometry of a curve in P^3 determines whether its Hartshorne-Rao module satisfies the weak and strong Lefschetz properties.

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

This paper examines how the geometric configuration of a curve C in projective three-space affects the weak and strong Lefschetz properties of its Hartshorne-Rao module M(C). It proves that multiplication by the first three powers of a general linear form has maximal rank on M(C) when C is a union of general skew lines. Curves on a smooth quadric surface have the weak Lefschetz property for M(C), and the property also holds for unions of skew lines with all but one line on the quadric and for general nondegenerate rational curves. By contrast, explicit counterexamples show failure of the weak Lefschetz property for certain unions of at least ten skew lines with all but two on a quadric and for a smooth irreducible curve of degree fifteen. A sympathetic reader cares because the results tie concrete geometric placements of curves to algebraic behavior of their cohomology modules.

Core claim

We prove that for a union of general skew lines C in P^3, multiplication by L^i for a general linear form L has maximal rank on M(C) for i=1,2,3. The proof proceeds by specializing to a zero-dimensional scheme that is a union of curvilinear schemes of degree at most three and applying generic Hilbert function results for such schemes. Curves on a smooth quadric have Hartshorne-Rao modules with the weak Lefschetz property, and the property persists for unions of skew lines with all but one line on a quadric. By contrast, for r greater than or equal to ten we construct configurations of r skew lines with all but two lines on a quadric whose modules fail the weak Lefschetz property. General non

What carries the argument

The Hartshorne-Rao module M(C), the graded module of first cohomology groups of the ideal sheaf of C, together with the multiplication action of linear forms on this module.

If this is right

  • For a union of general skew lines, multiplication by L^i on M(C) has maximal rank for i=1,2,3.
  • Curves on a smooth quadric surface have Hartshorne-Rao modules satisfying the weak Lefschetz property.
  • Unions of skew lines with all but one line on a quadric have Hartshorne-Rao modules satisfying the weak Lefschetz property.
  • For r at least 10, certain configurations of skew lines with all but two lines on a quadric have Hartshorne-Rao modules that fail the weak Lefschetz property.
  • General nondegenerate rational curves have Hartshorne-Rao modules satisfying the weak Lefschetz property.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The sharp threshold at which two lines off the quadric trigger failure suggests that the count of components not contained in a low-degree surface is a key determinant of the property.
  • The specialization technique to curvilinear clusters may extend to the study of Lefschetz properties for cohomology modules of other subschemes or in higher-dimensional projective spaces.
  • The results leave open whether the weak Lefschetz property holds for the general curve of given degree and genus beyond the rational case examined here.
  • The smooth degree-15 counterexample shows that smoothness alone is insufficient to guarantee the property and points toward the need for invariants that detect deviation from generality.

Load-bearing premise

The specialization from a general union of skew lines to a zero-dimensional scheme consisting of curvilinear clusters of degree at most three preserves the maximal-rank property of multiplication maps.

What would settle it

A direct computation of the ranks of multiplication maps by a general linear form on the Hartshorne-Rao module of some general union of skew lines that exhibits a rank drop for i=2 or i=3 would falsify the maximal-rank claim.

read the original abstract

Let $C\subset \mathbb P^3$ be a curve over an algebraically closed field of characteristic zero, and let $M(C)$ denote its Hartshorne-Rao module. We study how the geometry of $C$ influences whether $M(C)$ satisfies the Weak and Strong Lefschetz Properties. We first consider unions of general skew lines and prove that multiplication by $L^i$, for a general linear form $L$, has maximal rank on $M(C)$ for $i=1,2,3$. The proof uses a specialization to zero-dimensional schemes that can be written as a union of curvilinear schemes, each of a particular type and of degree at most three, together with generic Hilbert function results for such schemes, which are of independent interest. We then examine how special geometric configurations can affect the Weak Lefschetz Property. In particular, we show that curves on a smooth quadric surface have Hartshorne-Rao modules with the Weak Lefschetz Property, and that the property persists for unions of skew lines with all but one line on a quadric. By contrast, for $r\geq 10$, we construct configurations of $r$ skew lines with all but two lines on a quadric whose Hartshorne-Rao modules fail the Weak Lefschetz Property. Finally, we study smooth irreducible curves. We prove the Weak Lefschetz Property in several low-degree cases, construct a degree 15 curve for which it fails, and show that general nondegenerate rational curves have Hartshorne-Rao modules with the Weak Lefschetz Property. These results illustrate both the strength and the limitations of geometric hypotheses in controlling Lefschetz properties of Hartshorne-Rao modules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript examines the weak and strong Lefschetz properties for the Hartshorne-Rao modules of curves in projective 3-space. For unions of general skew lines, it proves that multiplication by L^i (i=1,2,3) for general linear form L has maximal rank on M(C). The proof relies on specialization to zero-dimensional curvilinear schemes of degree at most three combined with generic Hilbert function results. It establishes the weak Lefschetz property for curves on smooth quadrics and for general nondegenerate rational curves, while constructing counterexamples for certain skew line configurations with r >=10 and for a smooth degree-15 curve.

Significance. If the results hold, the paper advances understanding of how geometric configurations control Lefschetz properties of Hartshorne-Rao modules, with explicit constructions, counterexamples, and independent generic Hilbert-function results for curvilinear schemes that may apply more broadly.

major comments (1)
  1. [Proof for unions of general skew lines (the specialization step)] The specialization argument reducing the maximal-rank claim for general skew lines to unions of curvilinear clusters of degree at most 3 must verify that the ranks of the multiplication maps on M(C) are preserved under flat limit. Since M(C) is defined via cohomology of the ideal sheaf, the limit may introduce or remove relations invisible to the generic Hilbert function; an explicit check or additional argument controlling the module structure in the limit is required to support the central claim.
minor comments (2)
  1. [Introduction] Define the Hartshorne-Rao module M(C) explicitly upon first use in the introduction for clarity.
  2. [Section on generic Hilbert functions] Add a brief remark on the characteristic-zero assumption and its necessity for the generic results on curvilinear schemes.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Dear Editor, We thank the referee for the careful reading of our manuscript and the constructive comment on the specialization argument. We address this point below and will revise the paper accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: The specialization argument reducing the maximal-rank claim for general skew lines to unions of curvilinear clusters of degree at most 3 must verify that the ranks of the multiplication maps on M(C) are preserved under flat limit. Since M(C) is defined via cohomology of the ideal sheaf, the limit may introduce or remove relations invisible to the generic Hilbert function; an explicit check or additional argument controlling the module structure in the limit is required to support the central claim.

    Authors: We appreciate the referee's observation on the need to control the module structure under specialization. Our argument proceeds via a flat family degenerating a general union of skew lines to a zero-dimensional scheme that is a union of curvilinear clusters of degree at most three, for which we establish generic Hilbert functions. To address the concern that the flat limit might introduce or remove relations not captured by the Hilbert function alone, we will add an explicit verification in the revised version. Specifically, we will include a short argument showing that, for these low-degree curvilinear schemes, the relevant cohomology groups H^1(I_X(t)) have constant dimension in the family (by upper semicontinuity and the fact that the generic member achieves the expected dimension), and that multiplication maps by general linear forms preserve maximal rank because any potential extra relation in the limit would contradict the genericity of the Hilbert function or the curvilinear structure, which limits the possible syzygies. This additional paragraph will make the preservation of ranks fully rigorous without altering the main results. revision: yes

Circularity Check

0 steps flagged

No circularity: proofs rely on independent generic results and direct geometric arguments

full rationale

The paper establishes maximal-rank multiplication maps on M(C) for general skew lines via specialization to curvilinear clusters of degree ≤3 together with generic Hilbert-function results explicitly described as being of independent interest. Weak Lefschetz property statements for curves on smooth quadrics, unions with most lines on a quadric, and general rational curves are proved by direct geometric constructions and explicit counterexamples for specific high-degree cases. No step reduces a claimed maximal-rank or Lefschetz property to a fitted parameter, self-defined quantity, or load-bearing self-citation whose content is presupposed by the present work. The derivation chain is self-contained and externally falsifiable via the stated generic Hilbert-function lemmas and explicit constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper works in the standard setting of algebraic geometry over an algebraically closed field of characteristic zero. No free parameters are introduced; the results are proved rather than fitted. The central claims rest on standard background results in liaison theory and on new generic statements for curvilinear schemes.

axioms (2)
  • domain assumption The base field is algebraically closed of characteristic zero.
    Stated in the first sentence of the abstract; used throughout to guarantee generality of linear forms and existence of specializations.
  • domain assumption Generic Hilbert-function results hold for unions of curvilinear schemes of degree at most three.
    Invoked in the specialization argument for the skew-line case; these results are described as being of independent interest.

pith-pipeline@v0.9.0 · 5865 in / 1811 out tokens · 59291 ms · 2026-05-20T02:41:31.665343+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We study how the geometry of C influences whether M(C) satisfies the Weak and Strong Lefschetz Properties... specialization to zero-dimensional schemes that can be written as a union of curvilinear schemes, each of a particular type and of degree at most three, together with generic Hilbert function results

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Ballico, G

    E. Ballico, G. Bolondi and J. Migliore,The Lazarsfeld-Rao problem for liaison classes of two- codimensional subschemes ofP n, Amer. J. Math. 113 (1991), no. 1, 117–128

    work page 1991

  2. [2]

    Ballico and J

    E. Ballico and J. Migliore,Smooth curves whose hyperplane section is a given set of points, Communi- cations in Algebra 18:9 (1990), 3015–3040

    work page 1990

  3. [3]

    Bigatti, A.V

    A. Bigatti, A.V. Geramita and J. Migliore,Geometric consequences of extremal behavior in a theorem of Macaulay, Trans. Amer. Math. Soc. 346 (1994), 203–235

    work page 1994

  4. [4]

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

    work page 2018

  5. [5]

    Bolondi and J

    G. Bolondi and J. Migliore,Buchsbaum liaison classes, J. Algebra 123 (1989), 426–456

    work page 1989

  6. [6]

    Bolondi and J

    G. Bolondi and J. Migliore,The structure of an even liaison class, Trans. Amer. Math. Soc. 316 (1989), no. 1, 1–37

    work page 1989

  7. [7]

    Brambilla and G

    M.Ch. Brambilla and G. Ottaviani,On partial polynomial interpolation, Linear Algebra and its Appli- cations, Volume 435, Issue 6, 2011, 1415–1445

    work page 2011

  8. [8]

    Catalisano and A

    M.V. Catalisano and A. Gimigliano,On curvilinear subschemes ofP 2, J. Pure Appl. Algebra 93 (1994), no. 1, 1–14

    work page 1994

  9. [9]

    Algebraic curves. An introduction to algebraic geometry. Notes written with the collabora- tion of Richard Weiss

    W. Fulton, “Algebraic curves. An introduction to algebraic geometry. Notes written with the collabora- tion of Richard Weiss.” Reprint of 1969 original. Advanced Book Classics. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989. xxii+226 pp

    work page 1969

  10. [10]

    Fulton and R

    W. Fulton and R. V. Pandharipande,Notes on stable maps and quantum cohomology, Algebraic geometry–Santa Cruz 1995, 45–96, Proc. Sympos. Pure Math., 62, Part 2, Amer. Math. Soc., Provi- dence, RI

    work page 1995

  11. [11]

    Geramita and P

    A.V. Geramita and P. Maroscia,The Ideal of Forms Vanishing at a Finite Set of Points inP n, J. Algebra 90 (1984), 528–555. 33

    work page 1984

  12. [12]

    Geramita, P

    A.V. Geramita, P. Maroscia and L. Roberts,The Hilbert function of a reducedk-algebra, J. London Math. Soc. (2), 28 (1983), 443–452

    work page 1983

  13. [13]

    Geramita and J

    A.V. Geramita and J. Migliore,On the ideal of an arithmetically Buchsbaum curve, J. Pure Appl. Algebra 54 (1988), no. 2-3, 215–247

    work page 1988

  14. [14]

    Geramita and J

    A.V. Geramita and J. Migliore,Hyperplane sections of a smooth curve inP 3, Comm. Alg. 17 (1989), no. 12, 3129–3164

    work page 1989

  15. [15]

    Harris,The genus of space curves, Math

    J. Harris,The genus of space curves, Math. Ann. 249 (1980), 191–204

    work page 1980

  16. [16]

    Harris and D

    J. Harris and D. Eisenbud,Curves in projective space, Les Presses de l’Universit´ e de Montr´ eal, 1982

    work page 1982

  17. [17]

    Harris and D

    J. Harris and D. Eisenbud, 3264 and All That: A Second Course in Algebraic Geometry, Cambridge University Press, 2016

    work page 2016

  18. [18]

    Hartshorne and A

    R. Hartshorne and A. Hirschowitz,Droites en position g´ en´ erale dans l’espace projectif, Algebraic geom- etry (La R´ abida, 1981), 169–188, Lecture Notes in Math., 961, Springer, Berlin, 1982

    work page 1981

  19. [19]

    Huneke and B

    C. Huneke and B. Ulrich,General hyperplane sections of algebraic varieties, J. Algebraic Geom. 2 (1993), 487–505

    work page 1993

  20. [20]

    Kleiman,Bertini and his two fundamental theorems, Rend

    S. Kleiman,Bertini and his two fundamental theorems, Rend. Circ. Mat. Palermo (2) Suppl. 55 (1998), 9–37. Studies in the history of modern mathematics, III

    work page 1998

  21. [21]

    Maggioni and A

    R. Maggioni and A. Ragusa,Connections between Hilbert function and geometric properties for a finite set of points inP 2, Le Matematiche XXXIX (1984), 153–170

    work page 1984

  22. [22]

    Migliore,Geometric invariants for liaison of space curves, J

    J. Migliore,Geometric invariants for liaison of space curves, J. Algebra 99 (1986), 548–572

    work page 1986

  23. [23]

    Introduction to Liaison Theory and Deficiency Modules,

    J. Migliore, “Introduction to Liaison Theory and Deficiency Modules,” Birkh¨ auser, Progress in Mathe- matics 165, 1998

    work page 1998

  24. [24]

    Rao,Liaison among curves inP 3, Invent

    A.P. Rao,Liaison among curves inP 3, Invent. Math. 50 (1979), 205–217

    work page 1979

  25. [25]

    Strano,A characterization of complete intersection curves inP 3, Proc

    R. Strano,A characterization of complete intersection curves inP 3, Proc. Amer. Math. Soc. 104 (1988), 711–715. (J. Migliore)Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA Email address:migliore.1@nd.edu (U. Nagel)Department of Mathematics, University of Kentucky, 715 Patterson Office Tower, Lexington, KY 40506, USA Email a...

    work page 1988