In mathematics, a Grothendieck category is a certain kind of , introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962.
To every algebraic variety one can associate a Grothendieck category , consisting of the quasi-coherent sheaves on . This category encodes all the relevant geometric information about , and can be recovered from (the Gabriel–Rosenberg reconstruction theorem). This example gives rise to one approach to noncommutative algebraic geometry: the study of "non-commutative varieties" is then nothing but the study of (certain) Grothendieck categories.
By definition, a Grothendieck category is an with a . Spelled out, this means that
is an ;
every (possibly infinite) family of objects in has a coproduct (also known as direct sum) in ;
direct limits of short exact sequences are exact; this means that if a direct system of short exact sequences in is given, then the induced sequence of direct limits is a short exact sequence as well. (Direct limits are always right-exact; the important point here is that we require them to be left-exact as well.)
possesses a generator, i.e. there is an object in such that is a faithful functor from to the . (In our situation, this is equivalent to saying that every object of admits an epimorphism , where denotes a direct sum of copies of , one for each element of the (possibly infinite) set .)
The name "Grothendieck category" neither appeared in Grothendieck's Tôhoku paper nor in Gabriel's thesis; it came into use in the second half of the 1960s in the work of several authors, including Jan-Erik Roos, Bo Stenström, Ulrich Oberst, and Bodo Pareigis. (Some authors use a different definition in that they don't require the existence of a generator.)
The prototypical example of a Grothendieck category is the ; the abelian group of integers can serve as a generator.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
In this course we will describe in numerous examples how methods from l-adic cohomology as developed by Grothendieck, Deligne and Katz can interact with methods from analytic number theory (prime numb
En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé qui possède une structure de module sur le faisceau structural . Sur un espace localement annelé , un faisceau de -modules (ou un -Module) est un faisceau sur tel que soit un -module pour tout ouvert , et que pour tout ouvert contenu dans , l'application restriction soit compatible avec les structures de modules: pour tous , on a Les notions de sous--modules et de morphismes de -modules sont claires.
En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Couvre les conjectures de Weil sur la rationalité, l'équation fonctionnelle et l'hypothèse de Riemann, explorant les propriétés des variétés en géométrie algébrique.
Let X /S be a flat algebraic stack of finite presentation. We define a new & eacute;tale fundamental pro-groupoid pi(1)(X /S), generalizing Grothendieck's enlarged & eacute;tale fundamental group from SGA 3 to the relative situation. When S is of equal pos ...
The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold M with the Grothendieck group of constructible sheaves on M. When M is a finite dimensional real vector space, Kashiwara-Schapira have recently in ...
We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localizatio ...