On the space of projective curves of maximal regularity (Q728473): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00229-016-0844-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2345883768 / rank | |||
Normal rank |
Revision as of 23:46, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the space of projective curves of maximal regularity |
scientific article |
Statements
On the space of projective curves of maximal regularity (English)
0 references
20 December 2016
0 references
Let \(r,d\) be integers such that \(r\geq 3\), \(d\geq r+2\). Let \(C\subseteq {\mathbb P}^r\) be a nondegenerate, irreducible, projective curve of degree \(d\); \(C\) is called \(m\)-regular if \(H^i({\mathbb P}^r, {\mathcal I}_C(m-i))=0\) for \(i\geq 1\). The \textit{regularity} \(\text{reg}(C)\) of \(C\) is the least integer \(m\) such that \(C\) is \(m\)-regular. We have \(\text{reg}(C)\leq d-r+2\) [\textit{L. Gruson} et al., Invent. Math. 72, 491--506 (1983; Zbl 0565.14014)], and if equality holds, \(C\) is named of \textit{maximal regularity}. In this case, \(C\) is a nonsingular rational curve admiting a \((d-r+2)\)-secant line, the so-called \textit{extremal secant line} [loc. cit.]. In this paper the authors are interested in spaces that parametrize projective curves with a fixed regularity condition; in particular, they show that \(R=R^{d-r+2}_{r,d}\), the set of all maximal regularity curves in \({\mathbb P}^r\) of degree \(d\), is an irreducible variety of dimension \(3d+r^2-r-1\) (cf. Lemma 2.4 in [\textit{T. Johnsen} and \textit{S. L. Kleiman}, Commun. Algebra 24, No. 8, 2721--2753 (1996; Zbl 0860.14038)]. Moreover, as the automorphism group \(A=\mathrm{PGL}(r+1)\) of \({\mathbb P}^r\) acts in a natural way on \(R\), we can define in particular the stabilizer group \(A_C\) for each \(C\in R\); they show that \(A_C\) is finite and \(C\) cuts out the extremal secant line in at least 4 points.
0 references
rational curve
0 references
\(m\)-regular curve
0 references
regularity of a curve
0 references
extremal secant line
0 references