University of Cambridge > Talks.cam > Category Theory Seminar > Using the internal language of toposes in algebraic geometry

Using the internal language of toposes in algebraic geometry



We describe how the internal language of certain toposes, the associated little and big Zariski toposes of a scheme, can be used to give simpler definitions and more conceptual proofs of the basic notions and observations in algebraic geometry.

The starting point is that, from the internal point of view, sheaves of rings and sheaves of modules look just like plain rings and plain modules. In this way, some concepts and statements of scheme theory can be reduced to concepts and statements of intuitionistic linear algebra.

Furthermore, modal operators can be used to model phrases such as ``on a dense open subset it holds that’’ or ``on an open neighbourhood of a given point it holds that’’. These operators define certain subtoposes; a generalization of the double-negation translation is useful in order to understand the internal universe of those subtoposes from the internal point of view of the ambient topos.

A particularly interesting task is to find an internal characterization for a sheaf of algebras to be quasicoherent, related to an observation by Mulvey which Tierney called “somewhat obscure”, and to internally construct the relative spectrum, which, given a quasicoherent sheaf of algebras on a scheme X, yields a scheme over X. From the internal point of view, this construction should simply reduce to an intuitionistically sensible variant of the ordinary construction of the spectrum of a ring, but it turns out that this expectation is too naive and that a refined approach is necessary.

We also discuss how the little Zariski topos can be described using the internal language of the big Zariski topos, and vice versa; here too there is a small surprise.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

