Grothendieck topology

related topics
{math, number, function}
{build, building, house}
{household, population, female}

In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.

Grothendieck topologies axiomatize the notion of an open cover. Using the notion of covering provided by a Grothendieck topology, it becomes possible to define sheaves on a category and their cohomology. This was first done in algebraic geometry and algebraic number theory by Alexander Grothendieck to define the étale cohomology of a scheme. It has been used to define other cohomology theories since then, such as l-adic cohomology, flat cohomology, and crystalline cohomology. While Grothendieck topologies are most often used to define cohomology theories, they have found other applications as well, such as to John Tate's theory of rigid analytic geometry.

There is a natural way to associate a site to an ordinary topological space, and Grothendieck's theory is loosely regarded as a generalization of classical topology. Under meager point-set hypotheses, namely sobriety, this is completely accurate—it is possible to recover a sober space from its associated site. However simple examples such as the indiscrete topological space show that not all topological spaces can be expressed using Grothendieck topologies. Conversely, there are Grothendieck topologies which do not come from topological spaces.


Full article ▸

related documents
Binomial coefficient
Discrete cosine transform
Travelling salesman problem
Pythagorean triple
Original proof of Gödel's completeness theorem
Μ-recursive function
Riemann integral
P-adic number
Lambda calculus
Group theory
Lie group
Lebesgue integration
Class (computer science)
Formal power series
Banach–Tarski paradox
Dedekind domain
Orthogonal matrix
Red-black tree
Hilbert's tenth problem
Algebraic geometry
Fast Fourier transform
Big O notation
Closure (computer science)
Continued fraction
Singleton pattern
Axiom of choice