Theorem of Enriques-Petri type for a very ample invertible sheaf on a curve of genus three
type: Item
instance of: scholarly article
title: Theorem of Enriques-Petri type for a very ample invertible sheaf on a curve of genus three
zbMATH Open document ID: 0509.14030
DOI: 10.1007/BF01176475
author: Masaaki Homma
published in: Mathematische Zeitschrift
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/173322
review text: A well known theorem of Noether-Enriques-Petri says that a canonical curve \(C\) (i.e.: \(C\subseteq {\mathbb{P}}^{g-1}; g(C)=g; \omega_ C\simeq {\mathcal O}_ C(1))\) is projectively normal and is intersection of quadrics unless \(C\) is trigonal. Furthermore if C is trigonal the intersection of the quadrics through \(C\) is a rational ruled surface or the Veronese surface [\textit{P. Griffiths} and \textit{J. Harris,} ''Principles of algebraic geometry'' (1978; Zbl 0408.14001), p. 535]. In the paper under review the author studies a similar problem for curves of genus three embedded by complete linear series. Let L be a very ample line bundle of degree d on the curve X of genus three. Denote by \(\phi_ L(X)\) the image of X in the embedding: \(\phi_ L:X\hookrightarrow {\mathbb{P}}(H^ 0(L)^{\nu})=:{\mathbb{P}}^ n.\) Note that if \(d\geq 7\) then \(\phi_ L(X)\) is projectively normal [\textit{D. Mumford}, CIME \(3^ o\) Ciclo Varenna 1969, Quest. algebr. Varieties, 29-100 (1970; Zbl 0198.258)]. The cases \(d\leq 6\) have been previously studied by the author [Tsukuba J. Math. 4, 269-279 (1980; Zbl 0473.14015)]. If \(d\geq 8\) it follows from a theorem of \textit{B. Saint-Donat} [C. R. Acad. Sci., Paris, Sér. A 274, 324-327 (1972; Zbl 0234.14012)] that \(\phi_ L(X)\) is intersection of quadrics. So the only case left is \(d=7\). In the first part of the paper, the author describes the scheme \(Q(\phi_ L(X))\) defined by the ideal generated by the quadrics through \(\phi_ L(X)\). The last section contains a comment on the general case. From the result of Saint-Donat quoted above it follows that if \(g(X)\geq 2\) and \(\deg(L)=2g+1,\) then the homogeneous ideal of \(\phi_ L(X)\) can be generated by its elements of degree 2 and 3. The author makes the following conjecture: ''Assume \(X\) non hyperelliptic then: (1) if \(h^ 0(L\otimes \omega_ X^{-1})=2, Q(\phi_ L(X))\) is a rational ruled surface; (2) if \(h^ 0(L\otimes \omega_ X^{-1})=1, Q(\phi_ L(X))\) is the union of \(…
Mathematics Subject Classification ID: 14H10
Mathematics Subject Classification ID: 14F05
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14H45
zbMATH DE Number: 3803630
zbMATH Keywords: curve of genus three
zbMATH Keywords: complete linear system
zbMATH Keywords: intersection of quadrics
zbMATH Keywords: invertible sheaf
zbMATH Keywords: hyperelliptic curve
MaRDI profile type: Publication
cites work: Petri's approach to the study of the ideal associated to a special divisor
cites work: Q4143433
cites work: On projective normality and defining equations of a projective curve of genus three embedded by a complete linear system
cites work: Q3946268
cites work: A note of Shimura's paper: Discontinuous groups and Abelian varieties
cites work: Q5642658
cites work: On Petri's analysis of the linear system of quadrics through a canonical curve
cites work: Projective Models of K - 3 Surfaces
cites work: THE NOETHER-ENRIQUES THEOREM ON CANONICAL CURVES
cites work: Correspondence
OpenAlex ID: W2055984303
description: scientific article; zbMATH DE number 3803630