Spectral Sequence of Grothendieck (Typical Example)

Introduction

Spectral sequences are fundamental tools in homological algebra, providing a systematic way to compute derived functors of exact sequences. While the classical Mayer-Vietoris sequence is a foundational example, the Grothendieck spectral sequence extends this concept to more general settings, particularly in the context of functors between categories equipped with additional structure, such as abelian categories or derived categories. This sequence is pivotal in algebraic topology and sheaf theory, enabling the computation of cohomology groups and other invariants through the interplay of exact sequences and functors. The Grothendieck spectral sequence arises when considering a pair of functors $ F: \mathcal{A} \to \mathcal{B} $ and $ G: \mathcal{B} \to \mathcal{C} $, where $ F $ is left exact and $ G $ is exact, and the category $ \mathcal{A} $ is equipped with a filtration. The sequence captures the relationship between the derived functors of $ F $ and $ G $, offering a powerful framework for homological computations.

Core Content

Definition and Structure

The Grothendieck spectral sequence is a generalization of the Mayer-Vietoris sequence, applicable to any exact couple $ (A \to B \to C \to A) $ in an abelian category $ \mathcal{A} $, where $ A $ and $ C $ are objects and $ B $ is the kernel of the map $ A \to C $. When $ F: \mathcal{A} \to \mathcal{B} $ is a left exact functor and $ G: \mathcal{B} \to \mathcal{C} $ is an exact functor, the spectral sequence connects the derived functors $ R^p F(A) $ and $ R^q G(B) $, providing a long exact sequence:
$$ \cdots \to R^p F(A) \to R^p G(B) \to R^p G(C) \to R^{p+1} F(A) \to \cdots $$
This sequence is constructed using the derived functors of $ F $ and $ G $, and its exactness is guaranteed under certain conditions, such as the existence of a filtration or the compatibility of the functors.

Properties and Exactness

The spectral sequence is exact in the sense that the sequence of derived functors is exact, provided the functors $ F $ and $ G $ satisfy specific compatibility conditions. For instance, if $ F $ is left exact and $ G $ is exact, the sequence is exact in the derived categories of $ \mathcal{A} $, $ \mathcal{B} $, and $ \mathcal{C} $. The exactness of the sequence is often verified through the filtration of $ A $, where $ B $ is the kernel of the map $ A \to C $, and $ C $ is a direct sum of objects in $ \mathcal{A} $.

Applications in Sheaf Theory

In sheaf theory, the Grothendieck spectral sequence is particularly useful when studying the cohomology of a sheaf under a morphism of schemes or a covering. For example, consider a morphism $ f: \mathcal{X} \to \mathcal{Y} $ of schemes, and the pushforward functor $ f_* $ of sheaves. If $ f $ is proper and $ \mathcal{Y} $ is a quasi-compact, quasi-separated scheme, the spectral sequence allows the computation of $ R^p f_* \mathcal{F} $ in terms of the cohomology of $ \mathcal{X} $. This is crucial in understanding the cohomology of fibrations and the behavior of sheaves under morphisms.

Derived Functors and K-Theory

The Grothendieck spectral sequence is also instrumental in the study of K-theory, where it helps compute the K-groups of a ring or a scheme. For instance, in the context of derived categories, the spectral sequence connects the K-theory of a ring $ R $ with that of its derived functors. This is particularly useful in algebraic geometry, where the K-theory of a scheme can be computed using spectral sequences derived from its structure sheaves.

Applications and Examples

Sheaf Theory Example

Consider the case where $ \mathcal{A} $ is the category of sheaves of abelian groups on a topological space, and $ F $ is the global section functor $ F(\mathcal{X}) = \Gamma(\mathcal{X}, \mathcal{F}) $, which is left exact. Suppose $ G $ is the direct image functor $ f_* $ of a morphism $ f: \mathcal{X} \to \mathcal{Y} $. The Grothendieck spectral sequence in this setting allows the computation of the derived functors $ R^p f_* \mathcal{F} $, which are essential for understanding the cohomology of the morphism $ f $.

Derived Functors in Algebra

In the realm of derived functors, the spectral sequence is used to compute the derived functors of functors like $ \mathbf{R}^p \Gamma $, where $ \Gamma $ is a sheaf on a topological space. For example, in the context of sheaf cohomology, the spectral sequence connects the cohomology of the sheaf $ \mathcal{F} $ on $ \mathcal{X} $ with that of the sheaf $ \mathcal{G} $ on $ \mathcal{Y} $, providing a bridge between local and global cohomology theories.

K-Theory and Spectral Sequences

In K-theory, the Grothendieck spectral sequence is employed to compute the K-groups of a ring $ R $ using the K-groups of its derived functors. For instance, the sequence connects $ K_n(R) $ with $ K_n(R^{\text{Der}}) $, where $ R^{\text{Der}} $ is the derived category of $ R $-modules.