Exceptional 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 $\mathbb^n$, $\mathcal$, we may take a line $L$ in $\mathbb^n$, or equivalently, a 2-dimensional subspace of $\mathbb^$. This forms a variety equivalent to $\mathbb^1$ embedded in $\mathbb^n$, so we can the restriction of $\mathcal_L$ to $L$, 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 $\mathbb^n$, 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.

References

*
*
*

Vector bundles

{{math-stub