Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hello !

If $X$ is a scheme, we can consider the etale topos of $X$ whose object are etale scheme above $X$ with the etale topology.

My question is : is there a know way to express this topos as the classifying topos of some geometric theory ? Of course it is possible, just because it's a grothendieck topos, but I'm looking for an explicit theory at least on some particular case (like when $X$ is affine, or when $X$ is the spectrum of the ring of integer of a number field, or when $X$ is a projective curve over a finite field... )

For example, if $A$ is a ring, then the Zariski topos of $Spec A$ (topos of finite presentation scheme above $Spec A$ with the Zariski topology) is the classifying topos of the theory of local $A$ algebra. (the universal local $A$ algebra being the structural sheaf).

share|improve this question
1  
I think this answers your question (at least for the affine case): mathoverflow.net/questions/48690/… –  Achilleas K Mar 23 '12 at 15:17
add comment

1 Answer 1

up vote 4 down vote accepted

I cannot give the details, but my guess is that the etale topos should be the classifying topos of the theory of strictly local $A$ algebras. By a strictly local $A$ algebra I mean a henselian local algebra with separably closed residue field. I don't know if this is a honest algebraic theory.

Bonus: in this vein the Nisnevich topos should be the classifying topos of the theory of henselian local $A$ algebras. The proof should follow similar lines to the previous one.

share|improve this answer
1  
The link by Achilleas K supports your guess. –  Martin Brandenburg Mar 23 '12 at 17:12
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.