Nef line bundles on flag bundles on a curve over \(\overline{\mathbb F}_p\) (Q368510)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nef line bundles on flag bundles on a curve over \(\overline{\mathbb F}_p\)
scientific article

    Statements

    Nef line bundles on flag bundles on a curve over \(\overline{\mathbb F}_p\) (English)
    0 references
    0 references
    0 references
    0 references
    23 September 2013
    0 references
    D. Mumford gave an example of a pair of the form \((M,L)\) where \(M\) is a smooth complex projective variety and \(L\) is a line bundle on \(M\) such that the restriction of \(L\) to every irreducible complete curve has positive degree, but \(L\) is not ample; see \textit{R. Hartshorne} [Ample subvarieties of algebraic varieties. Notes written in collaboration with C. Musili. Berlin-Heidelberg-New York: Springer-Verlag (1970; Zbl 0208.48901)]. More concretely, in his example \(M\) is a suitable \(\mathbb{P}^1\)-bundle over a curve. On the other hand, \textit{S. Keel}, in [Commun. Algebra 31, No. 8, 3955--3982 (2003; Zbl 1051.14017)], asked the following question: given a smooth projective surface \(S\), defined over \(\overline{\mathbb{F}}_p\), and given a line bundle \(L\) on \(S\) such that the restriction of \(L\) to every irreducible complete curve in \(S\) has positive degree, is \(L\) ample? Taking into account Mumford's example, it is natural to consider Keel's question in the case where \(M\) is a \(\mathbb{P}^1\) over a curve defined over \(\overline{\mathbb{F}}_p\). This was carried out in [\textit{I. Biswas} and \textit{A. J. Parameswaran}, C. R., Math., Acad. Sci. Paris 350, No. 3--4, 213--216 (2012; Zbl 1242.14008)], providing a positive answer to Keel's question. Indeed, in that paper the more general case of a Grassmann bundle was considered. In the present paper, the authors consider the case where \(M\) is the flag bundle of a vector bundle \(E\) over a curve \(X\) defined over \(\overline{\mathbb{F}}_p\), and reach the same conclusion. More precisely, let \(E\) be a vector bundle over \(X\) and let \(\mathrm{Fl}(E)\) be a corresponding flag bundle. If \(\xi\) is a line bundle over \(\mathrm{Fl}(E)\) such that for any irreducible, smooth, projective curve \(C\) and any nonconstant morphism \(\phi:C\to\mathrm{Fl}(E)\), \(\mathrm{deg}(\phi^*\xi)>0\). Then \(\xi\) is ample.
    0 references
    Nef bundle
    0 references
    amplitude
    0 references
    finite fields
    0 references
    curve
    0 references
    flag bundle
    0 references

    Identifiers