Weak and strong Lefschetz properties for Hartshorne-Rao modules of curves in $\mathbb P^3$

Technical Summary of "Weak and Strong Lefschetz Properties for Hartshorne-Rao Modules of Curves in $\mathbb{P}^3$"

Problem Statement
Let $K$ be an algebraically closed field of characteristic zero and $C \subset \mathbb{P}^3$ be a locally Cohen-Macaulay curve. The Hartshorne-Rao module of $C$, defined as $M(C) = \bigoplus_{t \in \mathbb{Z}} H^1(\mathbb{P}^3, \mathcal{I}_C(t))$, is a graded $R$-module of finite length. The central problem addressed is determining how the geometric configuration of $C$ influences whether $M(C)$ satisfies the Weak Lefschetz Property (WLP) or the Strong Lefschetz Property (SLP).

While one might intuitively expect that smoothness or irreducibility of $C$ would guarantee WLP, the authors note that any graded module of finite length can be realized (up to shift) as the Hartshorne-Rao module of a smooth curve. Consequently, smoothness alone is insufficient to ensure WLP. The paper investigates specific geometric constraints—such as unions of skew lines, lines lying on quadric surfaces, and smooth irreducible curves of low degree—to identify conditions that force or preclude these Lefschetz properties.

Methodology
The authors employ a combination of liaison theory, cohomological exact sequences, and specialization arguments.

1. Exact Sequences and Specialization: A primary tool is the analysis of the multiplication map $\times L^m: [M(C)]_{t-m} \to [M(C)]_t$ via the exact sequence:
   $$0 \to [\mathcal{I}_C]_{t-m} \xrightarrow{\times L^m} [\mathcal{I}_C]_t \to [\mathcal{I}_{Z_m}|_{H_m}]_t \to [M(C)]_{t-m} \xrightarrow{\times L^m} [M(C)]_t \to H^1(\mathcal{I}_{Z_m}(t)) \to \dots$$
   where $L$ is a general linear form, $H_m$ is the $m$-fold thickening of a hyperplane defined by $L^m$, and $Z_m$ is the scheme defined by the saturation of $\mathcal{I}_C + (L^m)$. The authors relate the maximal rank of the map on $M(C)$ to the Hilbert functions of zero-dimensional schemes $Z_m$.

2. Specialization to Fat Points: To prove results for general sets of skew lines, the authors specialize the lines onto a hyperplane $H$. This transforms the problem into studying the Hilbert functions of unions of "flat fat points" (curvilinear schemes of multiplicity $m$ supported on a line). They establish that general unions of such points (with multiplicity $m \le 3$) possess generic Hilbert functions.

3. Uniform Position Property (UPP): For smooth irreducible curves, the authors utilize the fact that a general hyperplane section $\Gamma$ has the UPP. They apply the Huneke-Ulrich theorem, which relates the initial degree of the socle of the Artinian reduction of the coordinate ring of $\Gamma$ to the lifting of elements from the hyperplane section to the curve. This allows them to determine when multiplication maps fail to have maximal rank based on the geometry of the hyperplane section.

Key Contributions and Results

• General Sets of Skew Lines:

  • The authors prove that if $C$ is a general set of skew lines in $\mathbb{P}^3$, then $M(C)$ satisfies the WLP.
  • Furthermore, they establish that $M(C)$ has maximal rank for multiplication by $L^i$ for $i=1, 2, 3$ (SLP in range $\le 3$).
  • A key technical result (Theorem 3.4) shows that a general union of $s$ flat fat points of multiplicity $m \in \{1, 2, 3\}$ in $\mathbb{P}^2$ has the generic Hilbert function, provided $s$ is sufficiently large (specifically $s \ge 3$ for $m=3$).

• Lines on Quadric Surfaces:

  • All lines on a quadric: If $C$ is a union of skew lines lying entirely on a smooth quadric surface, $M(C)$ has the WLP. This result extends to any curve on a smooth quadric surface via liaison.
  • All but one line: If all but one line lie on a quadric, the WLP is preserved.
  • All but two lines: The authors construct a counterexample showing that for $r \ge 10$ skew lines, if all but two lie on a quadric, $M(C)$ fails the WLP. This demonstrates that the WLP is sensitive to the number of lines deviating from the quadric surface.

• Smooth Irreducible Curves:

  • Low Degree: The authors prove that if $\deg(C) < 10$, then $M(C)$ has the WLP.
  • Counterexample: They construct a smooth, irreducible curve of degree 15 (arithmetic genus 25) for which $M(C)$ fails the WLP. This curve is an arithmetically Buchsbaum curve.
  • Degree 10–14: For degrees up to 14, the WLP holds for all smooth irreducible curves except for three specific cases involving the h-vectors of their general hyperplane sections: $(1, 2, 3, 3, 1)$, $(1, 2, 3, 4, 2, 1)$, and $(1, 2, 3, 4, 3, 1)$. The status of these three cases remains open.
  • Rational Curves: The authors prove that a general nondegenerate rational curve of degree $d$ has a Hartshorne-Rao module with the WLP. However, they provide an example of a smooth reducible rational curve (degree 10) that fails WLP, highlighting the importance of irreducibility.

Significance and Conclusions
The paper illustrates both the strength and limitations of geometric hypotheses in controlling Lefschetz properties. It demonstrates that while "generic" configurations (general skew lines, general rational curves) tend to satisfy WLP/SLP, specific geometric constraints (such as lines on a quadric) can either enforce or break these properties depending on the exact configuration.

The authors conclude by formulating several open questions:

1. Whether general sets of skew lines satisfy the full SLP (Conjecture 6.1).
2. Whether the generic Hilbert function result for flat fat points extends to multiplicity $m \ge 4$ (Conjecture 6.2).
3. Whether curves on a smooth quadric satisfy SLP (Question 6.3).
4. Whether the WLP holds for the three specific open cases of smooth irreducible curves with degrees between 10 and 14 (Question 6.4).
5. Whether every smooth rational curve (not just the general one) satisfies WLP (Question 6.5).

The work provides a detailed map of the relationship between curve geometry and the algebraic properties of their Hartshorne-Rao modules, particularly in the context of the Weak Lefschetz Property.