MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In his paper "Generic Galois Theory of Local Rings", G.C. Wraith states on p. 743 that the (big) crystalline topos "can be conveniently described in terms of the theory it describes". What exactly is the theory it describes? I.e., what type of objects in a topos E correspond to geometric morphisms from E to the big crystalline topos (over some scheme)?

P.S.: One paragraph later, G.C. Wraith adds that he conjectures that the fppf-topos classifies algebraically closed local rings. Has this been established somewhere?

share|cite|improve this question
The fppf-local rings need to be at least strict Henselian (since the fppf topology is finer than the étale topology, and it makes sense that their residue fields would be algebraically closed (since the fppf-closure of a field is its algebraic closure). Also, I asked a similar question a few weeks ago . – Harry Gindi Nov 22 '10 at 3:31
@Harry: Thanks for providing the link to your related question. – Marc Nieper-Wißkirchen Nov 30 '10 at 7:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.