<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(X_n\)</EquationSource> </InlineEquation> be the projective plane blown up at <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n \geqslant 10\)</EquationSource> </InlineEquation> general points. In this paper we give several consequences of the Segre–Harbourne–Gimigliano–Hirschowitz Conjecture, that pertain to complete linear systems on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(X_n\)</EquationSource> </InlineEquation>. We begin by classifying such systems |<i>C</i>| with general irreducible member of genus <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(g \geqslant 2\)</EquationSource> </InlineEquation> (up to Cremona equivalence), in terms of invariants of the adjoint systems <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(|C+mK|\)</EquationSource> </InlineEquation>. We then use this to prove that, for fixed <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(n \geqslant 10\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(g\geqslant 2\)</EquationSource> </InlineEquation>, up to the action of the Cremona group, there exist finitely many complete linear systems on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(X_n\)</EquationSource> </InlineEquation> whose general member is irreducible of genus <i>g</i>. Further, there is a function <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(g\mapsto n(g)\)</EquationSource> </InlineEquation> such that every such (effective) system is Cremona equivalent to a system in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(X_{n(g)}\)</EquationSource> </InlineEquation>. The latter result is based on the explicit computation of the minimum possible self-intersection of an irreducible linear system with given <i>n</i> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\dim (|C|)\)</EquationSource> </InlineEquation>. We classify those systems which achieve the minimal self-intersection. We also classify the systems with <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(C^2 \leqslant 5\)</EquationSource> </InlineEquation>, whether or not they have minimal <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(C^2\)</EquationSource> </InlineEquation> for the given <i>n</i> and dimension. We finish by proving several statements concerning systems that are base-point-free, and systems that give birational maps to their image.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Boundedness results for planar linear systems assuming the Segre–Harbourne–Gimigliano–Hirschowitz Conjecture

  • Ciro Ciliberto,
  • Rick Miranda,
  • Joaquim Roé

摘要

Let \(X_n\) be the projective plane blown up at \(n \geqslant 10\) general points. In this paper we give several consequences of the Segre–Harbourne–Gimigliano–Hirschowitz Conjecture, that pertain to complete linear systems on \(X_n\) . We begin by classifying such systems |C| with general irreducible member of genus \(g \geqslant 2\) (up to Cremona equivalence), in terms of invariants of the adjoint systems \(|C+mK|\) . We then use this to prove that, for fixed \(n \geqslant 10\) and \(g\geqslant 2\) , up to the action of the Cremona group, there exist finitely many complete linear systems on \(X_n\) whose general member is irreducible of genus g. Further, there is a function \(g\mapsto n(g)\) such that every such (effective) system is Cremona equivalent to a system in \(X_{n(g)}\) . The latter result is based on the explicit computation of the minimum possible self-intersection of an irreducible linear system with given n and \(\dim (|C|)\) . We classify those systems which achieve the minimal self-intersection. We also classify the systems with \(C^2 \leqslant 5\) , whether or not they have minimal \(C^2\) for the given n and dimension. We finish by proving several statements concerning systems that are base-point-free, and systems that give birational maps to their image.