Skip to content
Notes on how to use the internal language of toposes in algebraic geometry
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
images
.gitignore
README.md
abstract-colloquium-logicum2018.txt
abstract-como2018.tex
abstract-filmat2018.tex
abstract-ihes2015.pdf
abstract-ihes2015.tex
abstract-unilog2018.tex
bibliography.bib
draft-mo-answer.txt
generic-freeness.txt
kripke-joyal-semantics.pdf
kripke-joyal-semantics.tex
notes.pdf
notes.tex
paper-composition.pdf
paper-composition.tex
paper-filmat.tex
paper-flabby-objects.bib
paper-flabby-objects.pdf
paper-flabby-objects.tex
paper-generic-freeness.bib
paper-generic-freeness.pdf
paper-generic-freeness.tex
paper-macneille-reals.bib
paper-macneille-reals.pdf
paper-macneille-reals.tex
paper-qcoh.bib
paper-qcoh.pdf
paper-qcoh.tex
paper-reflection.bib
paper-reflection.pdf
paper-reflection.tex
paper-wlog.bib
paper-wlog.tex
poster.pdf
poster.tex
slides-augsburg2016.pdf
slides-augsburg2016.tex
slides-bayreuth2018.pdf
slides-bayreuth2018.tex
slides-cambridge2016.pdf
slides-cambridge2016.tex
slides-como2018.pdf
slides-como2018.tex
slides-duesseldorf2017.pdf
slides-duesseldorf2017.tex
slides-filmat2018.pdf
slides-filmat2018.tex
slides-ihes2015.pdf
slides-ihes2015.tex
slides-leipzig2018.pdf
slides-leipzig2018.tex
slides-muenchenwiler2018.pdf
slides-muenchenwiler2018.tex
slides-munich2018.pdf
slides-munich2018.tex
slides-padova2018.pdf
slides-padova2018.tex
slides-phd-defense.pdf
slides-phd-defense.tex
slides-pssl101.pdf
slides-pssl101.tex
slides-pssl103.pdf
slides-pssl103.tex
slides-pssl104.pdf
slides-pssl104.tex
slides-pssl99.pdf
slides-pssl99.tex
slides-unilog2018.pdf
slides-unilog2018.tex
slides-verona2018.pdf
slides-verona2018.tex
slides-warwick2017.pdf
slides-warwick2017.tex

README.md

Using the internal language of toposes in algebraic geometry

Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the internal perspective, the structure sheaf looks like an ordinary local ring (instead of a sheaf of rings with local stalks) and vector bundles look like ordinary free modules (instead of sheaves of modules satisfying a local triviality condition). The translation of internal statements and proofs is facilitated by an easy mechanical procedure.

We investigate how the internal language of the little Zariski topos can be exploited to give simpler definitions and more conceptual proofs of the basic notions and observations in algebraic geometry. To this end, we build a dictionary relating internal and external notions and demonstrate its utility by giving a simple proof of Grothendieck's generic freeness lemma in full generality. We also employ this framework to state a general transfer principle which relates modules with their induced quasicoherent sheaves, to study the phenomenon that some properties spread from points to open neighborhoods, and to compare general notions of spectra.

We employ the big Zariski topos to set up the foundations of a synthetic account of scheme theory. This account is similar to the synthetic account of differential geometry, but has a distinct algebraic flavor. Central to the theory is the notion of synthetic quasicoherence, which has no analog in synthetic differential geometry. We also discuss how various common subtoposes of the big Zariski topos can be described from the internal point of view and derive explicit descriptions of the geometric theories which are classified by the fppf and by the surjective topology.

No prior knowledge about topos theory or formal logic is assumed.

Sheaves of rings look like ordinary rings from the internal point of view.

You can’t perform that action at this time.