Abstract:Let C be a general curve of genus g, embedded in P r via a general linear series of degree d. In this paper, we prove the Maximal Rank Conjecture, which determines the Hilbert function of C ⊂ P r .
DegenerationsIn this section, we outline the degenerations we shall use in the proof of Theorem 1.3.
“…(3) For Theorem 1.6, it suffices to consider the cases where (d, g) is one of: (9, 5), (10,6), (11,7), (12,9), (16, 15), (17, 16), (18, 17).…”
Section: It Thus Remains To Showmentioning
confidence: 99%
“…Our three main theorems (five counting the first two cases which are trivial) give a complete description of this intersection in all of these cases. Both the results and the techniques developed here play a critical role in the author's proof of the Maximal Rank Conjecture [10], as explained in [11]. (5,2), (6,2), (6,4), (7,5), (8,6)}.…”
This paper considers the following fundamental problem about intersections in projective space: When is the intersection of a (varying) curve with a (fixed) hypersurface a general set of points on the hypersurface?For example, let Q ⊂ P 3 be a general quadric, C be a general curve of genus g, and f : C → P 3 be a general map of degree d. Then we show f (C) ∩ Q is a general set of 2d points on Q, except for exactly six cases. We prove a similar theorem for the intersection of a space curve with a plane, and for the intersection of a curve in P 4 with a hyperplane; besides the trivial cases of the intersection of a plane curve with a line or conic, these cases are the only ones for which such a theorem can hold.
“…(3) For Theorem 1.6, it suffices to consider the cases where (d, g) is one of: (9, 5), (10,6), (11,7), (12,9), (16, 15), (17, 16), (18, 17).…”
Section: It Thus Remains To Showmentioning
confidence: 99%
“…Our three main theorems (five counting the first two cases which are trivial) give a complete description of this intersection in all of these cases. Both the results and the techniques developed here play a critical role in the author's proof of the Maximal Rank Conjecture [10], as explained in [11]. (5,2), (6,2), (6,4), (7,5), (8,6)}.…”
This paper considers the following fundamental problem about intersections in projective space: When is the intersection of a (varying) curve with a (fixed) hypersurface a general set of points on the hypersurface?For example, let Q ⊂ P 3 be a general quadric, C be a general curve of genus g, and f : C → P 3 be a general map of degree d. Then we show f (C) ∩ Q is a general set of 2d points on Q, except for exactly six cases. We prove a similar theorem for the intersection of a space curve with a plane, and for the intersection of a curve in P 4 with a hyperplane; besides the trivial cases of the intersection of a plane curve with a line or conic, these cases are the only ones for which such a theorem can hold.
“…Proof In both cases, the multiplication map fails to be surjective and hence its dual fails to be injective. Case (1) follows from the classical Maximal Rank Conjecture, which is now a theorem of Eric Larson; see [20]. Larson's theorem implies that there exists a non‐zero extension in with , in which case and hence .…”
Section: The Bertram–feinberg–mukai Conjecture and Its Connection With The Smrcmentioning
In this paper, we compute the cohomology class of certain 'special maximal-rank loci' originally defined by Aprodu and Farkas. By showing that such classes are non-zero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg and independently Mukai in higher rank Brill-Noether theory.
Contents
“…We prove that it has the expected number of moduli in the sense of Sernesi [30] (Proposition 3.1). We also prove some statements on the intersection of some elements of A(d, g; n) with a hyperplane (in the spirit of [2,4,8,10,23,26]) (see section 4). The last 5 sections are devoted to the proof of Theorem 1.1, the last one containing the numerical lemmas used in the proof.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.