91Ó°ÊÓ

The Grothendieck Group \(K(X) .\) Let \(X\) be a noetherian scheme. We define \(K(X)\) to be the quotient of the free abelian group generated by all the coherent sheaves on \(X,\) by the subgroup generated by all expressions \(\mathscr{F}-\mathscr{F}^{\prime}-\mathscr{F}^{\prime \prime},\) whenever there is an exact sequence \(0 \rightarrow \mathscr{F}^{\prime} \rightarrow \mathscr{F} \rightarrow \mathscr{F}^{\prime \prime} \rightarrow 0\) of coherent sheaves on \(X\) If \(\mathscr{F}\) is a coherent sheaf, we denote by \(\gamma(\mathscr{F})\) its image in \(K(X)\) (a) If \(X=\mathbf{A}_{k}^{1},\) then \(K(X) \cong \mathbf{Z}\) (b) If \(X\) is any integral scheme, and \(\mathscr{F}\) a coherent sheaf, we define the rank of \(\mathscr{F}\) to be \(\operatorname{dim}_{\kappa} \mathscr{F}_{\xi},\) where \(\xi\) is the generic point of \(X,\) and \(K=\mathscr{C}_{\xi}\) is the function field of \(X .\) Show that the rank function defines a surjective homomorphism \(\operatorname{rank}: K(X) \rightarrow \mathbf{Z}\) (c) If \(Y\) is a closed subscheme of \(X\), there is an exact sequence \\[ K(Y) \rightarrow K(X) \rightarrow K(X-Y) \rightarrow 0 \\] where the first map is extension by zero, and the second map is restriction. \([\text {Hint}: \text { For exactness in the middle, show that if } \mathscr{H} \text { is a coherent sheaf on } X\) whose support is contained in \(Y\), then there is a finite filtration \(\overline{\mathscr{H}}=\overline{\mathscr{H}}_{0} \supseteq\) \(\mathscr{H}_{1} \supseteq \ldots \supseteq \cdot \overline{\mathscr{H}}_{n}=0,\) such that each \(\mathscr{H}_{i} / \mathscr{H}_{i+1}\) is an \((\mathrm{r}-\) module. To show surjectivity on the right, use (Ex. \(5.15 \text { ). }]\) For further information about \(K(X)\), and its applications to the generalized Riemann-Roch theorem, see Borel Serre [1], Manin [1]. and Appendix A.

Step by step solution

01

Confirm Isomorphism in Part (a)

To determine that \(K(X) \cong \mathbf{Z}\) when \(X=\mathbf{A}_{k}^{1}\), consider coherent sheaves on \(X\). All such coherent sheaves are of the form \(\mathcal{O}_X^{n}\), for some integer \(n\). The Grothendieck group of this will be \(\mathbb{Z}\), because the integer \(n\) can take on any integer value.

02

Show Surjectivity of the Rank Function in Part (b)

Define the rank of a coherent sheaf \(\mathscr{F}\) as the dimension of the fibre \(\mathscr{F}_{\xi}\) at the generic point \(\xi\) of \(X\), denoted as \(\operatorname{dim}_{\kappa} \mathscr{F}_{\xi}\). To show that the rank function defines a surjective homomorphism, it is necessary to take any integer \(n\) in \(\mathbb{Z}\) and a coherent sheaf \(\mathscr{F}\) on \(X\) of rank \(n\). This implies that the rank function indeed maps from \(K(X)\) onto \(\mathbb{Z}\), fulfilling the condition for a surjective homomorphism.

03

Establishing the Exact Sequence in Part (c)

The first step is to establish the extensions and restrictions by zero. If \(\mathscr{H}\) is a coherent sheaf on \(X\) with support in \(Y\), there will be a mapping from \(\mathscr{H}\) to its direct image in \(K(X)\). The restriction from \(K(X)\) to \(K(X-Y)\) can be achieved by considering a short exact sequence of coherent sheaves. The sequence \(0 \rightarrow \mathscr{H} \rightarrow \mathscr{H}^' \rightarrow \mathscr{H}^'' \rightarrow 0\) can be used to show that the coherent sheaf on \(X\) is an exact sequence. The existence of a finite filtration can be proved, showing each quotient \(\mathscr{H}_{i} / \mathscr{H}_{i+1}\) is a module.

Unlock Step-by-Step Solutions & Ace Your Exams!

• Full Textbook Solutions

  Get detailed explanations and key concepts

• Unlimited Al creation

  Al flashcards, explanations, exams and more...

• Ads-free access

  To over 500 millions flashcards

• Money-back guarantee

  We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Noetherian Scheme

A Noetherian scheme is a fundamental concept in algebraic geometry, named after Emmy Noether. The term "Noetherian" relates to a key property involving chains of ideals in rings. A Noetherian scheme means that every open set in the scheme satisfies the descending chain condition for open subschemes.

This concept is crucial because it ensures that the scheme has a manageable structure, allowing for more effective studying and exploration of its properties.

• One of the primary benefits of Noetherian schemes is that they can be described by finitely many generators. That makes them very useful in the exploration of algebraic sets in algebraic geometry.
• Given any descending chain of open subschemes within a Noetherian scheme, there's a point where no further proper inclusions are possible. This yields essential results like finite-dimensionality in the context of schemes.
• In the context of the Grothendieck group, working with Noetherian schemes limits the types of coherent sheaves to those that are finitely generated. This quality contributes directly to defining elements of the Grothendieck group for such schemes.

Being Noetherian also helps in various critical theoretical contexts, including schemes' compatibility with homological algebra and the properties associated with being locally ringed spaces.

Coherent Sheaves

Coherent sheaves are another pivotal concept in the exploration of sheaves in algebraic geometry. They can be thought of as generalizing vector bundles, objects that tell you how a particular function or data is spread over a geometric object in a coherent manner.

The characteristics of coherent sheaves make them highly relevant when defining Grothendieck groups on schemes:

• A coherent sheaf is a sheaf of modules with the property that locally, over a small enough open set, it is finitely presented. That means it can be thought of as having a finite set of generators and relations.
• Coherent sheaves are often associated with a collection of data that aligns neatly, piece by piece, across different sections of a variety or a scheme. They track how algebraic information is stitched together.
• Think of coherent sheaves as refined tools that describe how sections of algebraic structures can be combined to offer a simplified, yet rich, picture of a scheme.

In algebraic geometry, they're particularly useful for global insights into the properties of varieties and schemes, helping define equivalence classes and providing a basis for various advanced theoretical frameworks, such as those needed to understand and apply the Grothendieck group.

Exact Sequence

Exact sequences are a fundamental component in homological algebra and algebraic geometry. They involve collections of sheaves and morphisms that provide insight into complex algebraic structures by tracking how information passes through a chain of algebraic objects.

An exact sequence is composed of morphisms between sheaves, where the image of one morphism matches the kernel of the next. This condition helps understand how components of a scheme are related and interact. Here's a breakdown of why they are essential:

• An exact sequence like \[0 \rightarrow \mathscr{F}' \rightarrow \mathscr{F} \rightarrow \mathscr{F}'' \rightarrow 0\] means that the sheaf \(\mathscr{F}\) can be broken down into its constituent parts \(\mathscr{F}'\) and \(\mathscr{F}''\).
• The beginning and end zeros indicate that there are no further transformations that can expand or reduce the complexity or size of the information contained in the sequence beyond the sheaves presented.
• Exact sequences allow for a more straightforward understanding of the underlying structures by observing how one sheaf informs and constrains the next.

This utility is evident when constructing the Grothendieck group, where coherent sheaves' exact sequences provide a basis for defining and relating its elements. Exact sequences play an essential role in many algebraic problems, helping to simplify and solve systems that require them.