Projective varieties of maximal sectional regularity

详细信息    查看全文

• 作者：Markus Brodmann^a ; ^{brodmann@math.unizh.ch" class="auth_mail" title="E-mail the corresponding author} ; Wanseok Lee^b ; ^{wslee@pknu.ac.kr" class="auth_mail" title="E-mail the corresponding author} ; Euisung Park^c ; ^{euisungpark@korea.ac.kr" class="auth_mail" title="E-mail the corresponding author} ; Peter Schenzel^d ; ^{schenzel@informatik.uni-halle.de" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Primary ; 14H45 ; 13D02
• 刊名：Journal of Pure and Applied Algebra
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：221
• 期：1
• 页码：98-118
• 全文大小：497 K

文摘

We study projective varieties X⊂P^r$X\subset {\mathbb{P}}^r$ of dimension 56c24f315c0add5994880b6edbf29" title="Click to view the MathML source">n≥2$n\ge 2$, of codimension c≥3$c\ge 3$ and of degree d≥c+3$d\ge c+3$ that are of maximal sectional regularity, i.e. varieties for which the Castelnuovo–Mumford regularity reg(C)$\mathrm{reg}(\mathcal{C})$ of a general linear curve section is equal to 569" class="mathmlsrc">569.gif&_user=111111111&_pii=S0022404916300706&_rdoc=1&_issn=00224049&md5=bc79c278c419d1f3f769823959eb4cc4" title="Click to view the MathML source">d−c+1, the maximal possible value (see [10]). As one of the main results we classify all varieties of maximal sectional regularity. If X   is a variety of maximal sectional regularity, then either (a) it is a divisor on a rational normal (n+1)$(n+1)$-fold scroll 824aca25f3d06da1a85f7" title="Click to view the MathML source">Y⊂Pⁿ⁺³$Y\subset {\mathbb{P}}^{n+3}$ or else (b) there is an n  -dimensional linear subspace F⊂P^r$\mathbb{F}\subset {\mathbb{P}}^r$ such that X∩F⊂F$X\cap \mathbb{F}\subset \mathbb{F}$ is a hypersurface of degree 569" class="mathmlsrc">569.gif&_user=111111111&_pii=S0022404916300706&_rdoc=1&_issn=00224049&md5=bc79c278c419d1f3f769823959eb4cc4" title="Click to view the MathML source">d−c+1. Moreover, suppose that 56107" title="Click to view the MathML source">n=2$n=2$ or the characteristic of the ground field is zero. Then in case (b) we obtain a precise description of X as a birational linear projection of a rational normal n-fold scroll.