Problem 3 - Algebraic Geometry

Question

(a) If \(\delta\) is a locally free sheaf of rank \(r\) on a (nonsingular) curve \(C\), then there is a sequence $$0=\mathscr{E}_{0} \subseteq \mathscr{E}_{1} \subseteq \ldots \subseteq \mathscr{E}_{r}=\mathscr{E}$$ of subsheaves such that \(\mathscr{E}_{i} / \mathscr{E}_{i-1}\) is an invertible sheaf for each \(i=1, \ldots, \mathrm{r}\). We say that \(\mathscr{E}\) is a successive extension of invertible sheaves. [Hint: Use(II, Ex. 8.2 ).] (b) Show that this is false for varieties of dimension \(\geqslant 2 .\) In particular, the sheaf of differentials \(\Omega\) on \(\mathbf{P}^{2}\) is not an extension of invertible sheaves.

Step-by-Step Solution

Answer

The sheaf \(\delta\) on a nonsingular curve \(C\) can be extended as a series of invertible sheaves. However, this is not possible for varieties with a dimension of 2 or more. Specifically, the sheaf of differentials on \(\mathbf{P}^{2}\) cannot be extended as an invertible sheaf.

Step 1: Understand and apply the problem

Given \(\delta\) is a locally free sheaf of rank \(r\) on a nonsingular curve \(C\). We are to prove that there is a sequence \(\mathscr{E}_{0}, \mathscr{E}_{1}, ..., \mathscr{E}_{r}\) of subsheaves such that \(\mathscr{E}_{i}/\mathscr{E}_{i-1}\) is an invertible sheaf for each \(i=1,...,r\). To begin with, consider \(\mathscr{E}_{0}=0\). For \(i \geq 1\), choose an exact sequence \(0 \rightarrow \mathscr{E}_{i-1} \rightarrow \mathscr{E} \rightarrow \mathscr{F}_i \rightarrow 0\), where \(\mathscr{F}_i\) is an invertible sheaf by the hint (II, Ex. 8.2). By repeating this process \(r\) times, we can get \(i\) invertible sheaves \(\mathscr{F}_i\).

Step 2: Demonstrate that this is false for varieties of dimension \( \geqslant 2 \)

In order to prove this, we need to give a counterexample. The sheaf of differentials \(\Omega\) on \(\mathbf{P}^{2}\) serves as a proper counterexample. We can observe that the sheaf of differentials on \(\mathbf{P}^{2}\) is a rank-2 vector bundle, meaning it is a locally free sheaf. However, this sheaf cannot be broken down into a series of line bundles (i.e., invertible sheaves), so it is not an extension of invertible sheaves.

Step 3: Conclusion

From the above steps, it can be concluded that a locally free sheaf of rank \(r\) on a nonsingular curve can be seen as a successive extension of invertible sheaves. However, for varieties of dimension greater than or equal to 2, this property is not held and in particular, the sheaf of differentials on \(\mathbf{P}^{2}\) is not an extension of invertible sheaves.

Key Concepts

Locally Free Sheaf

In algebraic geometry, a locally free sheaf is an essential concept that helps us understand the structure of various algebraic objects like varieties and schemes. You can think of a locally free sheaf as a sheaf of modules that behaves like a vector bundle over the underlying topological space. This means that, locally, the sheaf looks like free modules, hence the name "locally free."
Here are some key characteristics of locally free sheaves:

• They are locally isomorphic to free modules. This local freeness enables them to be quite flexible and versatile in dealing with various geometric problems.
• The rank of a locally free sheaf is the dimension of these modules, which remains constant over connected components of the space.
• Locally free sheaves are especially significant on curves, as their useful properties can be exploited to gain insights into the topology and geometry of the curve.

Understanding locally free sheaves sets the foundation for further exploration of other related concepts like invertible sheaves and their extensions.

Invertible Sheaf

An invertible sheaf is a special type of locally free sheaf that holds great importance in the study of algebraic geometry. These sheaves, often referred to as line bundles, can be intuitively understood as objects that have an "inverse" regarding the tensor product.
Invertible sheaves have their own distinctive features:

• They are locally isomorphic to the structure sheaf, which means they can be regarded as one-dimensional vector spaces over each open set of the base space.
• In terms of algebraic geometry, invertible sheaves are crucial because they help define divisors and line bundles, both of which play a central role in the geometric interpretation of algebraic structures.
• One of the significant properties of these sheaves on a curve is that they can serve as building blocks for more complex sheaves. For instance, a locally free sheaf on a nonsingular curve can be expressed as a series of extensions of these invertible sheaves.

By getting familiar with invertible sheaves, you equip yourself with a better understanding of the intricate relationships inherent in algebraic geometry.

Nonsingular Curve

A nonsingular curve, sometimes called a smooth curve, is a vital concept in algebraic geometry. In simple terms, a curve is a one-dimensional variety, and being nonsingular implies that it lacks certain types of singularities that complicate its geometry.
Several key aspects define nonsingular curves:

• They do not have any "cusps" or "self-intersections," meaning at any given point on the curve, a single tangent line exists, ensuring a smooth course.
• Nonsingular curves possess a well-defined tangent space at every point, contributing to understanding their local and global geometric properties.
• On these curves, we often explore the structure of vector bundles, like locally free sheaves and their extensions through invertible sheaves. Nonsingular curves allow for straightforward application of these concepts due to their simpler geometry.

A good grip on what nonsingular curves are helps in unwrapping the complex relationships and properties found in algebraic geometry, outlining the stage for richer studies in various algebraic contexts.