In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C that 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 ℓ-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 that do not come from topological spaces.
The term "Grothendieck topology" has changed in meaning. In Artin (1962) it meant what is now called a Grothendieck pretopology, and some authors still use this old meaning. Giraud (1964) modified the definition to use sieves rather than covers. Much of the time this does not make much difference, as each Grothendieck pretopology determines a unique Grothendieck topology, though quite different pretopologies can give the same topology.
and 20 Related for: Grothendieck topology information
In category theory, a branch of mathematics, a Grothendiecktopology is a structure on a category C that makes the objects of C act like the open sets...
lattice of open sets as the basic notion of the theory, while Grothendiecktopologies are structures defined on arbitrary categories that allow the definition...
spaces). Grothendieck moved to Lawrence, Kansas at the beginning of 1955, and there he set his old subject aside in order to work in algebraic topology and...
The Zariski topology in the set-theoretic sense is then replaced by a Zariski topology in the sense of Grothendiecktopology. Grothendieck introduced Grothendieck...
In mathematics, the flat topology is a Grothendiecktopology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays...
algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendiecktopology on the category of schemes which...
many different Grothendiecktopologies, each of which is well-suited for a different purpose. This is a list of some of the topologies on the category...
The Zariski topology in the set theoretic sense is then replaced by a Grothendiecktopology. Grothendieck introduced Grothendiecktopologies having in mind...
acquired an extended meaning, since it involved a Grothendiecktopology. The idea of a Grothendiecktopology (also known as a site) has been characterised...
and design firm Site (mathematics), a category C together with a Grothendiecktopology on C The Site, a 1990s TV series that aired on MSNBC SITE Intelligence...
which were introduced by Grothendieck around 1960), the Zariski topology is defined on algebraic varieties. The Zariski topology, defined on the points...
In algebraic geometry, the h topology is a Grothendiecktopology introduced by Vladimir Voevodsky to study the homology of schemes. It combines several...
In mathematics, a Grothendieck universe is a set U with the following properties: If x is an element of U and if y is an element of x, then y is also an...
}\right),} which is the weak topology induced on X ′ {\displaystyle X^{\prime }} by its bidual. Said differently, a Grothendieck space is a Banach space for...
{Sch} /S)} through the Grothendieck construction. Getting the correct technical conditions, such as the Grothendiecktopology on ( S c h / S ) {\displaystyle...
set is a sheaf of sets on the site of profinite sets, with the Grothendiecktopology given by finite, jointly surjective collections of maps. Similarly...