Linear system of divisors: Difference between revisions

Revision as of 05:43, 31 January 2022

Revision as of 10:51, 15 February 2022

Line 18:

Note that if <math>X</math> has [[Mathematical singularity|singular points]], 'divisor' is inherently ambiguous ([[Cartier divisor]]s, [[Weil divisor]]s: see [[divisor (algebraic geometry)]]). The definition in that case is usually said with greater care (using [[invertible sheaves]] or [[holomorphic line bundle]]s); see below.

A '''complete linear system''' on <math>X</math> is defined as the set of all effective divisors linearly equivalent to some given divisor <math>D \in \text{Div}(X)</math>. It is denoted <math>|D|</math>. Let <math>\mathcal{L}</math> be the line bundle associated to <math>D</math>. In the case that <math>X</math> is a nonsingular projective variety elements of the set <math>|D|</math>, iswhich can be written as <math>E = (f)+D </math>, are in natural bijection with <math> (\Gamma(X,\mathcal{L}) \smallsetminus \{0\})/k^\ast, </math> <ref name=":0">Hartshorne, R. 'Algebraic Geometry', proposition II.7.2, page 151, proposition II.7.7, page 157, page 158, exercise IV.1.7, page 298, proposition IV.5.3, page 342</ref> {{explain|dateby associating <math>E =July 2020}}(f)+D</math> to <math>[(f)]</math> (this is well defined since <math>(\lambda f) = \lambda (f)</math>) and is therefore a projective space.

A '''linear system''' <math> \mathfrak{d} </math> is then a projective subspace of a complete linear system, so it corresponds to a vector subspace ''W'' of <math> \Gamma(X,\mathcal{L}). </math> The dimension of the linear system <math> \mathfrak{d} </math> is its dimension as a projective space. Hence <math> \dim \mathfrak{d} = \dim W - 1 </math>.