Sheaf Cohomology
Introduction to Sheaf Cohomology
Sheaf cohomology is a powerful mathematical tool that emerged in the mid-20th century as a fundamental framework for studying global properties of local data. It provides a bridge between algebraic topology, algebraic geometry, and complex analysis by allowing mathematicians to measure the obstruction to extending local solutions to global ones.
The theory was pioneered by Henri Cartan, Jean Leray, and Jean-Pierre Serre in the 1940s and 1950s, with significant contributions from Alexander Grothendieck later. Sheaf cohomology has since become an indispensable tool in modern mathematics, with applications ranging from algebraic geometry to number theory and theoretical physics.
At its core, sheaf cohomology addresses a fundamental question: if we have a collection of locally defined data or functions that satisfy certain consistency conditions, when can this local data be pieced together to form a globally defined object? The cohomology groups measure the "obstruction" to this gluing process, providing rich information about the underlying topological or geometric space.
What are Sheaves?
Before diving into sheaf cohomology, we must understand the concept of a sheaf. A sheaf $\mathcal{F}$ on a topological space $X$ is a tool that systematically tracks locally defined data attached to the open subsets of $X$. More formally, a sheaf assigns to each open subset $U \subseteq X$ a set (or abelian group, ring, etc.) $\mathcal{F}(U)$, along with restriction maps that satisfy certain natural conditions.
For an open set $U$ and an open cover $\{U_i\}$ of $U$, a sheaf $\mathcal{F}$ satisfies:
- (Locality) If two sections $s, t \in \mathcal{F}(U)$ agree when restricted to each $U_i$, then $s = t$.
- (Gluing) If we have sections $s_i \in \mathcal{F}(U_i)$ that agree on intersections $U_i \cap U_j$, then there exists a unique section $s \in \mathcal{F}(U)$ whose restriction to each $U_i$ is $s_i$.
Common examples of sheaves include:
- The sheaf of continuous real-valued functions on a topological space
- The sheaf of holomorphic functions on a complex manifold
- The constant sheaf, which assigns the same abelian group to every connected open set
- The structure sheaf $\mathcal{O}_X$ of a scheme in algebraic geometry
Example: On the complex plane $\mathbb{C}$, consider the sheaf $\mathcal{O}$ of holomorphic functions. On any open set $U$, $\mathcal{O}(U)$ consists of all holomorphic functions defined on $U$. If we have a covering $\{U_i\}$ of an open set $U$, and holomorphic functions $f_i$ on each $U_i$ that agree on overlaps, these can be glued together to give a unique holomorphic function on $U$, satisfying the sheaf axioms.
Sheaf Cohomology Groups
The sheaf cohomology groups $H^i(X, \mathcal{F})$ of a sheaf $\mathcal{F}$ on a topological space $X$ measure the obstruction to extending local sections to global ones. They are constructed as derived functors of the global section functor $\Gamma(X, \mathcal{F}) = \mathcal{F}(X)$.
There are several equivalent constructions of sheaf cohomology:
- Derived functor approach: Using injective resolutions of the sheaf $\mathcal{F}$
- ech cohomology: Defined using open covers of $X$
- Godement resolution: A canonical flasque resolution
- Hypercohomology for complexes of sheaves
The $n$-th sheaf cohomology group $H^n(X, \mathcal{F})$ can be defined as the right-derived functors of the global section functor:
H^n(X, \mathcal{F}) = R^n\Gamma(X, \mathcal{F})
This means we take an injective resolution $0 \to \mathcal{F} \to \mathcal{I}^0 \to \mathcal{I}^1 \to \cdots$, apply $\Gamma(X, -)$, and take the cohomology of the resulting complex:
H^n(X, \mathcal{F}) = H^n(\Gamma(X, \mathcal{I}^\bullet))
Key properties of sheaf cohomology include:
- $H^0(X, \mathcal{F})$ is naturally isomorphic to $\mathcal{F}(X)$, the global sections
- The cohomology groups $H^i(X, \mathcal{F})$ are zero for all $i > 0$ if $\mathcal{F}$ is a flasque (or flabby) sheaf
- Short exact sequences of sheaves give rise to long exact sequences in cohomology
If $0 \to \mathcal{F} \to \mathcal{G} \to \mathcal{H} \to 0$ is a short exact sequence of sheaves, then there is a long exact cohomology sequence:
$$0 \to H^0(X, \mathcal{F}) \to H^0(X, \mathcal{G}) \to H^0(X, \mathcal{H}) \to H^1(X, \mathcal{F}) \to H^1(X, \mathcal{G}) \to H^1(X, \mathcal{H}) \to H^2(X, \mathcal{F}) \to \cdots$$
Important Theorems and Results
Several fundamental theorems in sheaf cohomology have profound implications across mathematics:
Leray's Theorem
Leray's theorem provides conditions under which ech cohomology agrees with derived functor cohomology. If $\mathcal{U}$ is an acyclic cover for $\mathcal{F}$, meaning that $H^i(U_{i_0} \cap \cdots \cap U_{i_p}, \mathcal{F}) = 0$ for all $i > 0$, then the ech cohomology groups $\check{H}^i(\mathcal{U}, \mathcal{F})$ are isomorphic to the sheaf cohomology groups $H^i(X, \mathcal{F})$.
Grothendieck's Vanishing Theorem
If $X$ is a Noetherian topological space of dimension $n$, then for any sheaf $\mathcal{F}$ of abelian groups, the cohomology groups vanish above dimension $n$: $H^i(X, \mathcal{F}) = 0$ for all $i > n$.
De Rham's Theorem
For a smooth manifold $M$, the de Rham cohomology groups, defined using differential forms, are isomorphic to the sheaf cohomology groups of the constant sheaf $\mathbb{R}$: $H^k_{\text{dR}}(M) \cong H^k(M, \mathbb{R})$.
Serre's Duality Theorem
For a smooth projective variety $X$ of dimension $n$ over an algebraically closed field, there is a perfect pairing $H^i(X, \mathcal{F}) \times H^{n-i}(X, \mathcal{F}^* \otimes \omega_X) \to k$, where $\omega_X$ is the canonical sheaf and $\mathcal{F}^*$ is the dual sheaf.
Riemann-Roch Theorem
The Hirzebruch-Riemann-Roch theorem relates the Euler characteristic $\chi(X, \mathcal{F}) = \sum_{i=0}^n (-1)^i \dim H^i(X, \mathcal{F})$ to the Chern classes of $\mathcal{F}$ and the Todd class of $X$.
Applications of Sheaf Cohomology
Sheaf cohomology has found numerous applications across mathematics:
Algebraic Geometry
In algebraic geometry, sheaf cohomology is fundamental to the study of algebraic varieties and schemes. It provides powerful tools for:
- Counting the number of global sections of line bundles
- Understanding the deformation theory of varieties
- Classifying algebraic vector bundles
- Formulating and proving the Weil conjectures
Example: For a line bundle $\mathcal{L}$ on a compact Riemann surface $X$ of genus $g$, the Riemann-Roch theorem states that $\dim H^0(X, \mathcal{L}) - \dim H^1(X, \mathcal{L}) = d - g + 1$, where $d$ is the degree of $\mathcal{L}$. This fundamental result relies entirely on sheaf cohomology.
Complex Analysis
In complex analysis, sheaf cohomology provides solutions to Cousin problems (complex analogs of Mittag-Leffler problems) and leads to:
- The theory of Stein spaces
- The Oka coherence theorem
- Applications in several complex variables
Topology
Sheaf cohomology connects with algebraic topology through:
- Singular cohomology as sheaf cohomology with constant coefficients
- Relation to Borel-Moore homology
- Intersection theory via sheaf operations
$$H^k(X, \mathbb{Z}) \cong H^k(X, \underline{\mathbb{Z}})$$
Mathematical Physics
In theoretical physics, sheaf cohomology appears in:
- String theory through the study of Calabi-Yau manifolds
- Twistor theory and the Penrose transform
- Quantum field theory through the study of instantons and gauge theories
Computational Methods
Several techniques exist for computing sheaf cohomology groups:
ech Cohomology
ech cohomology provides a concrete computational method using open covers. For a sheaf $\mathcal{F}$ on $X$ with an open cover $\mathcal{U} = \{U_i\}$, the ech complex is:
$$C^p(\mathcal{U}, \mathcal{F}) = \prod_{i_0 < \cdots < i_p} \mathcal{F}(U_{i_0} \cap \cdots \cap U_{i_p})$$
with coboundary maps given by alternating sums of restriction maps. The ech cohomology groups $\check{H}^p(\mathcal{U}, \mathcal{F})$ are the cohomology groups of this complex.
Spectral Sequences
Spectral sequences provide powerful tools for relating different cohomology theories:
- Leray spectral sequence: Relates sheaf cohomology on $X$ to that on $Y$ for a map $f: X \to Y$
- Grothendieck spectral sequence: Composes derived functors
- Hochschild-Serre spectral sequence: Relates group cohomology to sheaf cohomology
$$E_2^{p,q} = H^p(Y, R^q f_*\mathcal{F}) \Rightarrow H^{p+q}(X, \mathcal{F})$$
Vanishing Theorems
Various vanishing theorems help simplify calculations by showing that certain cohomology groups are zero:
- Kodaira vanishing theorem
- Kawamata-Viehweg vanishing theorem
- Frobenius vanishing theorem in characteristic $p$
Example Calculation: For the projective space $\mathbb{P}^n$ over a field $k$, and the line bundle $\mathcal{O}(m)$, the cohomology groups are given by:
- $H^0(\mathbb{P}^n, \mathcal{O}(m))$ consists of homogeneous polynomials of degree $m$ in $n+1$ variables, so its dimension is $\binom{n+m}{n}$ for $m \geq 0$ and $0$ for $m < 0$.
- $H^i(\mathbb{P}^n, \mathcal{O}(m)) = 0$ for $0 < i < n$ (all intermediate cohomology vanishes).
- $H^n(\mathbb{P}^n, \mathcal{O}(m))$ is isomorphic to $H^0(\mathbb{P}^n, \mathcal{O}(-m-n-1))^*$ (by Serre duality).
This calculation is fundamental to the geometry of projective spaces and their subvarieties.
Current Research Directions
Sheaf cohomology continues to be an active area of mathematical research with several exciting directions:
Derived Algebraic Geometry
Derived algebraic geometry generalizes classical algebraic geometry by replacing spaces with derived functors and higher homotopical structures. In this framework, sheaf cohomology is enriched to derive algebraic geometry.
Non-abelian Sheaf Cohomology
While classical sheaf cohomology primarily deals with abelian sheaves, non-abelian sheaf cohomology generalizes this to sheaves of non-abelian groups, leading to applications in:
- Stacks and gerbes
- Descent theory for non-abelian structures
- Galois cohomology in number theory
$$H^1(X, G) \text{ classifies } G\text{-principal bundles over } X$$
Higher Category Theory Connections
Recent developments connect sheaf cohomology with higher category theory and homotopy theory:
- -topos theory provides a natural setting for sheaf theory
- Non-abelian cohomology as obstruction theory in higher toposes
- Connections to stable homotopy theory
Arithmetic Applications
In arithmetic geometry, sheaf cohomology plays crucial roles in:
- p-adic cohomology theories (crystalline, tale, de Rham)
- Iwasawa theory and p-adic L-functions
- Special values of L-functions and Tamagawa numbers
Computational Developments
Active efforts are being made to develop computational tools for sheaf cohomology:
- Computer algebra systems for computing sheaf cohomology
- Algorithmic approaches to vanishing theorems
- Applications in enumerative geometry via virtual cohomology
Conclusion
Sheaf cohomology stands as one of the most powerful and versatile tools in modern mathematics. From its origins in the mid-20th century to its contemporary applications across diverse mathematical fields, it continues to provide deep insights into the structure of geometric objects and algebraic spaces.
The theory not only serves as a bridge between different areas of mathematics but also continues to evolve with new generalizations and applications. Whether in the study of algebraic varieties, complex manifolds, or in the abstract realms of derived and non-abelian geometry, sheaf cohomology remains an indispensable language for expressing and solving fundamental mathematical problems.
