Grothendieck's relative point of view
   HOME

TheInfoList



OR:

Grothendieck's relative point of view is a
heuristic A heuristic (; ), or heuristic technique, is any approach to problem solving or self-discovery that employs a practical method that is not guaranteed to be optimal, perfect, or rational, but is nevertheless sufficient for reaching an immediate, ...
applied in certain abstract
mathematical Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
situations, with a rough meaning of taking for consideration families of 'objects' explicitly depending on
parameter A parameter (), generally, is any characteristic that can help in defining or classifying a particular system (meaning an event, project, object, situation, etc.). That is, a parameter is an element of a system that is useful, or critical, when ...
s, as the basic field of study, rather than a single such object. It is named after Alexander Grothendieck, who made extensive use of it in treating foundational aspects of
algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
. Outside that field, it has been influential particularly on
category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
and
categorical logic __NOTOC__ Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categ ...
. In the usual formulation, the language of category theory is applied, to describe the point of view as treating, not
objects Object may refer to: General meanings * Object (philosophy), a thing, being, or concept ** Object (abstract), an object which does not exist at any particular time or place ** Physical object, an identifiable collection of matter * Goal, an ...
''X'' of a given category ''C'' as such, but
morphism In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...
s :''f'': ''X'' → ''S'' where ''S'' is a fixed object. This idea is made formal in the idea of the
slice category In mathematics, specifically category theory, an overcategory (and undercategory) is a distinguished class of categories used in multiple contexts, such as with covering spaces (espace etale). They were introduced as a mechanism for keeping track ...
of objects of ''C'' 'above' ''S''. To move from one slice to another requires a base change; from a technical point of view base change becomes a major issue for the whole approach (see for example Beck–Chevalley conditions). A base change 'along' a given morphism :''g'': ''T'' → ''S'' is typically given by the
fiber product In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms and with a common codomain. The pullback is often w ...
, producing an object over ''T'' from one over ''S''. The 'fiber' terminology is significant: the underlying heuristic is that ''X'' over ''S'' is a family of fibers, one for each 'point' of ''S''; the fiber product is then the family on ''T'', which described by fibers is for each point of ''T'' the fiber at its image in ''S''. This set-theoretic language is too naïve to fit the required context, certainly, from algebraic geometry. It combines, though, with the use of the
Yoneda lemma In mathematics, the Yoneda lemma is arguably the most important result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (view ...
to replace the 'point' idea with that of treating an object, such as ''S'', as 'as good as' the
representable functor In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i.e. sets a ...
it sets up. The
Grothendieck–Riemann–Roch theorem In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is ...
from about 1956 is usually cited as the key moment for the introduction of this circle of ideas. The more classical types of
Riemann–Roch theorem The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It rel ...
are recovered in the case where ''S'' is a single point (i.e. the
final object In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): ...
in the working category ''C''). Using other ''S'' is a way to have versions of theorems 'with parameters', i.e. allowing for continuous variation, for which the 'frozen' version reduces the parameters to constants. In other applications, this way of thinking has been used in
topos theory In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notio ...
, to clarify the role of
set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
in foundational matters. Assuming that we don't have a commitment to one 'set theory' (all toposes are in some sense equally set theories for some
intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems ...
) it is possible to state everything relative to some given set theory that acts as a base topos.


See also

*
Fiber product of schemes In mathematics, specifically in algebraic geometry, the fiber product of schemes is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an algebraic variety over one field determi ...


References

*{{Springer, id=b/b015310, title=Base change Scheme theory Category theory