Cohomology in Algebraic Geometry

Cohomology is a deep and foundational concept in algebraic geometry that explores the relationship between different geometric spaces. It provides tools to understand the global structure of spaces from local data. The journey of cohomology begins with understanding the basic topological and algebraic structures, gradually moving into more sophisticated constructions applicable to the field of geometry. In this detailed explanation, we delve into the details full of examples to uncover the fascinating world of cohomology.

1. Introduction to cohomology

First, let's consider what cohomology attempts to achieve. Cohomology as a mathematical tool enables us to take complex algebraic structures and understand their global properties. It is similar to a magnifying glass that helps us see the big picture by examining small parts of a space. To understand this, let's start by considering a simple illustrative concept known as Čech cohomology.

2. Topology and simplicial complexes

Algebraic topology provides an approach to cohomology where simplicial complexes are considered first. A simplicial complex is a combinatorial object built from points, line segments, triangles, and higher-dimensional analogs. For example, a triangle can be broken down into its edges and vertices.

Vertices: A, B, C 
Edges: (A, B), (B, C), (C, A) 
Facet (triangle): (A, B, C)

The structure of simplicial packages allows easy computation of topological invariants such as the number of connected components or holes in different dimensions, which cohomology aims to encompass and generalize.

3. Sheaf principle

Sheaf theory is important in understanding cohomology because it abstracts the idea of collecting algebraic data assigned to the open sets of a topological space. The key to this is the presheaf, which assigns a set of sections or functions to each open set. A sheaf refines this by satisfying a locality condition where the sections can be glued together, and a uniqueness condition of such gluing.

4. Čech cohomology

Čech cohomology provides a concrete approach to understanding complex spaces. Suppose we take a manifold and cover it with overlapping open sets. The goal is to understand functions that are locally defined on each open set, but are not necessarily well glued together on these sets. Čech cohomology captures the obstruction to making these local functions global.

Consider three overlapping open sets, U₁, U₂, and U₃, covering a space X:

U1 = {x ∈ X | ..., } 
U2 = {y ∈ X | ..., } 
U3 = {z ∈ X | ..., }

A Čech cochain (say f) assigned to the intersection of these sets (U_i ∩ U_j) describes the local data. Cohomology measures how these local data fail to be extended globally.

5. Cohomology functor and derived functor

In algebraic geometry, cohomology is often visualized through the functorial language. Put simply, a functor maps objects and morphisms from one category to another. Cohomology functors take spaces or sheaves and create algebraic structures that reveal topological and geometric information. The process through which these functors work involves special tools called derived functors.

6. Visualization of co-symmetry

Let's look at a simple graphical representation of a space and its covering sets.

In this graphic, the circles represent the open sets U₁, U₂, U₃. The overlapping regions are needed to compute intersections, where important details about cohomology emerge.

7. Examples of cohomology computations

Consider a simple example: compute the first Čech cohomology group for a circle S¹. Cover S¹ with two open intervals U₁ and U₂:

U1 = (0, π+ε) 
U2 = (π-ε, 2π) 
U1 ∩ U2 = (π-ε, π+ε)

The 1-cocycle for this cover has a function that respects the difference between intersections. Since S¹ is compact and has no boundary, the first cohomology group H^1(S^1) reveals the nature of the loops on the circle, which are revealed as the group Z. This neat result shows how cohomology measures give information about topological features, such as the presence of 'holes'.

8. Applications in algebraic geometry

Cohomology groups serve as the cornerstone for many areas within algebraic geometry. Some essential applications include:

• Classification of complex varieties: Varieties with the same cohomology groups can often be classified in a similar way. This classification covers a wide range of scenarios, connecting to invariants that determine the algebraic structure of the space.
• Lefschetz Theorem: Results such as the Lefschetz hyperplane theorem use cohomology to describe properties of projective varieties and tell us many interesting aspects about their intersection patterns and fundamental groups.
• Riemann–Roch theorem: This famous theorem, which directs results between algebraic and geometric line bundles on curves, connects directly with coherent sheaf cohomology.

9. Beyond the basic concepts

Cohomology is multifaceted, extending to many types such as singular, étale, and crystalline cohomology. Singular cohomology, often found in differential topology, provides invariants that classify spaces in a homotopy-equivalent way. Étale cohomology extends these ideas to variations over arbitrary fields, which is paramount in the toolkit of algebraic geometry.

10. Conclusion

The discovery of cohomology in algebraic geometry is an intense and arduous journey, revealing insights across many disciplines - transforming the understanding of geometric and topological spaces. This interpretation has revealed the core concepts of cohomology, providing a fundamental understanding of its vast applications and underlying principles. Undoubtedly, its beauty and power are evident as it intricately formulates the relationship between local behavior and global properties of spaces.

Comments