Sheaf (mathematics)

In mathematics, a sheaf (pl.: sheaves) is a tool used to organize and study information connected to parts of a space. Imagine you have a piece of paper and you want to record something different about each small area of that paper. A sheaf helps you do this in a structured way. For each open area, you can assign data, like the set of all continuous functions that can be drawn without any sudden jumps on that area.

Sheaves are very important in many areas of math, especially in algebraic and differential geometry. They help describe geometric shapes, like smooth surfaces or more complex spaces, by using special kinds of data called sheaves of rings. Sheaves also help create powerful tools for studying the shape and properties of spaces, such as cohomology theory, which connects topology and geometry in useful ways. Because of their flexibility, sheaves are used in many advanced areas of math, from solving differential equations to exploring ideas in mathematical logic and number theory.

Definitions and examples

In many areas of mathematics, we study structures that are defined on spaces and can be limited to smaller parts of those spaces. For example, we might look at continuous functions on a space. These ideas lead to the concept of presheaves. Sheaves are a special type of presheaf where information from smaller parts can be combined to give information about the whole space.

A presheaf on a space consists of certain data assigned to each open part of the space, along with rules for how this data changes when we move to smaller open parts. For example, a presheaf might assign the set of continuous functions to each open set.

A sheaf is a presheaf that follows two extra rules. First, if two pieces of data agree on smaller overlapping parts, they must be the same on the larger part. Second, if we have pieces of data on smaller parts that all agree where they overlap, there must be one piece of data on the larger part that matches all of them. This means that local information can be combined to give global information in a unique way.

Complements

Sheaves in more general categories

In addition to simple collections of data, sheaves can also keep track of more complex structures. For example, the sections of a sheaf of continuous functions naturally form a special kind of space, and restrictions between these spaces follow specific rules.

Presheaves can be defined with values in any category, not just simple sets. This allows for more flexible and powerful ways to organize and relate different types of mathematical data.

Ringed spaces and sheaves of modules

In geometry, spaces often come with a natural sheaf of rings, called the structure sheaf. A pair consisting of a space and its structure sheaf is called a ringed space. Many important geometric objects, like vector bundles, can be understood as sheaves of modules over these structure sheaves.

The étalé space of a sheaf

Every sheaf of sets can be represented as sections of a special topological space called the étalé space. This construction provides an alternative way to understand sheaves and their properties, linking them to concepts from topology and category theory.

Sheaf cohomology

Main article: Sheaf cohomology

In math, sheaf cohomology helps us understand how data behaves over parts of a space. It looks at how pieces of data fit together when we look at smaller parts of the space.

Sheaf cohomology shows us when data doesn’t fit perfectly and measures how much it "misses" fitting. This helps us understand important patterns and relationships in complex spaces.

Sites and topoi

Main articles: Grothendieck topology and Topos

André Weil made important guesses called the Weil conjectures. These guesses talked about a special kind of math called cohomology for shapes called algebraic varieties over finite fields. This new cohomology would behave like another well-known cohomology related to the Riemann hypothesis.

To solve this problem, Alexandre Grothendieck introduced new ideas called Grothendieck topologies. These ideas changed how we think about covering shapes by focusing on groups of open areas instead of single points. With this new way of thinking, Grothendieck created new types of cohomology, like étale cohomology and ℓ-adic cohomology, which helped prove the Weil conjectures.

A group with a Grothendieck topology is called a site, and a group of sheaves on a site is called a topos or a Grothendieck topos. Later, William Lawvere and Miles Tierney made these ideas even more general with something called an elementary topos, which connects to mathematical logic.

History

The idea of sheaves in mathematics started a long time ago and grew over many years. In 1945, a mathematician named Jean Leray began working on sheaves while he was a prisoner of war. His work helped start this important area of math.

Many famous mathematicians added to sheaf theory over the next years. By the 1950s and 1960s, sheaves became very important in many parts of math, especially in geometry and topology. Today, sheaves are a main tool that mathematicians use in many different areas.