Problem 6 - Algebraic Geometry

Question

Show that every locally free sheaf of finite rank on \(\mathbf{P}^{1}\) is isomorphic to a direct sum of invertible sheaves. [Hint: Choose a subinvertible sheaf of maximal degree. and use induction on the rank.

Step-by-Step Solution

Answer

The statement can be proved by using an inductive argument on the rank of the sheaf, applying a key property of projective spaces (that every short exact sequence of vector bundles splits), and selecting a subinvertible sheaf of maximal degree. The principle is that every locally free sheaf can be decomposed as a direct sum of invertible sheaves.

Step 1: Subinvertible Sheaf of Maximal Degree

Start with a locally free sheaf \( F \) of rank \( r \) on \( \mathbf{P}^{1} \). If the rank is 1, \( F \) is invertible and the statement is clear. Let's assume we already know the statement is true for all sheaves of rank less than \( r \) and assume \( r > 1 \). Now, select a subinvertible sheaf \( L \) of \( F \) with maximal degree.

Step 2: Quotient Sheaf and Induction

Then, consider the quotient sheaf \( F/L \). This sheaf is also locally free, and since \( L \) is assumed to be of maximal degree among subvertible sheaves of \( F \), the degree of \( F/L \) is non-positive. Moreover, the rank of \( F/L \) is less than \( r \), so by the induction hypothesis, \( F/L \) is a direct sum of invertible sheaves.

Step 3: Direct Sum Decomposition

Thus, we have a short exact sequence \[0 \rightarrow L \rightarrow F \rightarrow F/L \rightarrow 0\]which splits because \( \mathbf{P}^{1} \) is a projective space, so \( F \) is isomorphic to the direct sum \( L \oplus F/L \). Consequently, \( F \) is a direct sum of invertible sheaves as we wanted to show.

Key Concepts

Algebraic Geometry

Algebraic geometry is a branch of mathematics that studies solutions to algebraic equations and their generalizations. These solutions are known as algebraic varieties, which can be thought of as geometric manifestations of algebraic concepts. For instance, the equation \( y^2 = x^3 - x \) describes an elliptic curve, which is a type of algebraic variety.

One of the key tools in algebraic geometry is the concept of a sheaf. A sheaf assigns to every open set in a topological space a set of algebraic objects, such as functions or vector spaces, in a consistent way. Locally free sheaves, which locally look like a fixed number of copies of the structure sheaf, play a significant role in describing vector bundles over varieties.

As algebraic geometry deals with generalizations of familiar shapes like circles and ellipses to higher dimensions, it allows mathematicians and physicists to solve problems ranging from number theory to string theory. In our exercise, the connection between locally free sheaves and projective space provides a pathway to understanding more complex geometric structures.

Invertible Sheaves

Invertible sheaves, also known as line bundles, are indispensable objects in the field of algebraic geometry. An invertible sheaf is a locally free sheaf of rank 1, meaning that around every point on a variety, the sheaf looks like the structure sheaf itself. In other words, locally, an invertible sheaf has a single generator.

In the context of our exercise, an invertible sheaf on projective space \( \mathbf{P}^{1} \) is essentially a 'twistable' line over the space. This twist can be visualized as wrapping the line around \( \mathbf{P}^{1} \) multiple times, either positively or negatively, which corresponds to the degree of the sheaf. Positive degrees correspond to twists that tightly wind around the space, while negative degrees represent less tight windings.

Invertible sheaves are fundamental when dealing with divisors and Picard groups in algebraic geometry. The fact that any locally free sheaf of finite rank on \( \mathbf{P}^{1} \) can be decomposed into a direct sum of these invertible sheaves reflects the richness and symmetry present in projective spaces.

Projective Space

Projective space, denoted as \( \mathbf{P}^{n} \) for any non-negative integer \( n \), is a foundational concept in both algebraic geometry and related mathematical fields. It can be thought of as the set of lines through the origin in \( (n+1) \)-dimensional space. Particularly, \( \mathbf{P}^{1} \), the projective line, is the set of all lines through the origin in a 2-dimensional space.

Projective space has many distinctive properties, one of which is that there are no 'missing points,' as is the case with affine varieties. This completeness is important because it ensures that every polynomial equation has a solution in projective space, which is not the case in the Euclidean plane.

In the exercise, we leverage the fact that \( \mathbf{P}^{1} \) being projective means any exact sequence of coherent sheaves splits, allowing us to express any locally free sheaf as a direct sum of invertible sheaves. This property is unique to projective spaces and underlies many fundamental results, such as the classification of vector bundles on \( \mathbf{P}^{n} \).