The maximal rank conjecture for sections of curves

DOI10.1016/J.JALGEBRA.2020.03.006MaRDI QIDQ2174537zbMATH OpenOpenAlexWikidataFDO

Authors Eric Larson

Publication date 21 April 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.2730

zbMATH Keywords

algebraic curvesBrill Noether theoryHilbert functionhyperplane section.projective curves

Mathematics Subject Classification ID

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Plane and space curves (14H50) Special divisors on curves (gonality, Brill-Noether theory) (14H51)

Abstract: Let be a general curve of genus g embedded via a general linear series of degree d in P^r. The well-known Maximal Rank Conjecture asserts that the restriction maps H^0(O_{P^r}(m)) o H^0(O_C(m) are of maximal rank; if known, this conjecture would determine the Hilbert function of C. In this paper, we prove an analogous statement for the hyperplane sections of unions general curves. More specifically, if H is a general hyperplane, we show that H^0(O_H(m)) o H^0(O_{(C_1 cup C_2 cup cdots cup C_n) cap H}(m)) is of maximal rank, except for some counterexamples when m = 2. As explained in arXiv:1809.05980, this result plays a key role in the author's proof of the Maximal Rank Conjecture.

Review text

Fix a hyperplane \(H\subset \mathbb {P}^r\), \(r\ge 3\), and an irreducible family \(\Gamma\) of curves \(C\subset \mathbb{P}^r\) transversal to \(C\). For each \(C\in \Gamma\) the set \(S:= C\cap H\) has an interesting Hilbert function and the game is to compute it when \(C\) is general in \(\Gamma\). \(S\) is said to have maximal rank if all restriction maps \(H^0(\mathcal {O}_H(t)) \to H^0(\mathcal {O}_S(t))\) are either injective or surjective, i.e. if \(h^0(\mathcal {I}_{S,H}(t)) = \max\{\binom{r+t-1}{r-1} -\#S,0\}\) for all \(t>0\). This is an important property of \(\Gamma\) and it is proved here when \(\Gamma\) is the component of the Hilbert schemes of smooth curves of \(\mathbb{P}^r\) with gived degree \(d\) and genus \(g\) and general moduli. The same holds for disjoint unions of elements of \(\Gamma\) (except for a few exceptional cases with \(t=2\)) and this added generality was crucial for his proof of the Maximal Rank Conjecture for curves with general moduli ([\textit{E. Larson}, ``The maximal rank conjecture, Preprint, \url{arXiv:1711.04906}; ``Degenerations of curves in projective space and the maximal rank conjecture, Preprint, \url{arXiv:1809.05980}].

Recommendations

• The maximal rank conjecture for linearly normal curves \(C\subset \mathbb {P}^r\) with \(h^1(C,\mathcal {O}_C(1))=1\)
• Beyond the maximal rank conjecture for curves in IP3
• The maximal rank conjecture for non-special curves in \({\mathbb{P}}^ n\)
• scientific article; zbMATH DE number 3867494
• On the postulation of general projective curves: the maximal rank conjecture for curves in \(\mathbb{P}^5\)

Cites work

• Embeddings of general curves in projective spaces: the range of the quadrics
• scientific article; zbMATH DE number 3916461 (Why is no real title available?)
• Sur la postulation generique des courbes rationnelles
• The DNA inequality in non-convex regions
• The generality of a section of a curve
• The maximal rank conjecture for sections of curves
• Tropical independence. II: The maximal rank conjecture for quadrics

Cited in

(21)

• The maximal rank conjecture for non-special curves in \({\mathbb{P}}^ n\)
• Maximal rank of space curves in the range A
• Constructing reducible Brill-Noether curves
• The maximal rank conjecture for sections of curves
• The maximal rank conjecture for linearly normal curves \(C\subset \mathbb {P}^r\) with \(h^1(C,\mathcal {O}_C(1))=1\)
• Remarks on the maximal rank conjecture
• Beyond the maximal rank conjecture for curves in IP3
• scientific article; zbMATH DE number 1330550 (Why is no real title available?)
• On the Hilbert function of intersections of a hypersurface with general reducible curves
• Projective curves with nice normal bundles and containing a prescribed subset of a hyperplane
• Interpolation for curves in projective space with bounded error
• Curves in projective spaces: questions and remarks
• Good components of curves in projective spaces outside the Brill-Noether range
• Limit linear series and ranks of multiplication maps
• The extremal secant conjecture for curves of arbitrary gonality
• The generality of a section of a curve
• Constructing reducible Brill-Noether curves. II
• On the multigraded Hilbert function of lines and rational curves in multiprojective spaces
• On the Hilbert function of general unions of a non-special curve and a rational curve in \(\mathbb{P}^4\)
• The strong maximal rank conjecture and moduli spaces of curves
• Recent developments in Brill-Noether theory

This page was built for publication: The maximal rank conjecture for sections of curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174537)