Jumping line
In mathematics, a jumping line or exceptional line of a vector bundle over projective space is a projective line in projective space where the vector bundle has exceptional behavior, in other words the structure of its restriction to the line "jumps". Jumping lines were introduced by . The jumping lines of a vector bundle form a proper closed subset of the Grassmannian of all lines of projective space. The Birkhoff–Grothendieck theorem classifies the "n"-dimensional vector bundles over a projective line as corresponding to unordered "n"-tuples of integers. This phenomenon cannot be generalized to higher dimensional projective spaces , namely, one cannot decompose an arbitrary bundle in terms of a Whitney sum of powers of the Tautological bundle, or in fact of line bundles in general. Still one can gain information of this type by using the following method. Given a bundle on formula_1, formula_2, we may take a line formula_3 in formula_1, or equivalently, a 2-dimensional subspace of formula_5. This forms a variety equivalent to formula_6 embedded in formula_1, so we can the restriction of formula_8 to formula_3, and it will decompose by the Birkhoff–Grothendieck theorem as a sum of powers of the Tautological bundle . It can be shown that the unique tuple of integers specified by this splitting is the same for a 'generic' choice of line. More technically, there is a non-empty, open sub-variety of the Grassmannian of lines in formula_1, with decomposition of the same type. Lines such that the decomposition differs from this generic type are called 'Jumping Lines'. If the bundle is generically trivial along lines, then the Jumping lines are precisely the lines such that the restriction is nontrivial. Example. Suppose that "V" is a 4-dimensional complex vector space with a non-degenerate skew-symmetric form . There is a rank 2 vector bundle over the 3-dimensional complex projective space associated to "V", that assigns to each line "L" of "V" the 2-dimensional vector space "L"/"L". Then a plane of "V" corresponds to a jumping line of this vector bundle if and only if it is isotropic for the skew-symmetric form.