Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 29th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexhave created [[crystalline site]]

   have created crystalline site

2. • CommentRowNumber2.
   • CommentAuthorhilbertthm90
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: hilbertthm90
   Format: MarkdownItexDo we have to worry about positive characteristic? I don't know anything about the crystalline site, but I've been hunting for readable references for awhile to learn. Usually people take 50 pages or so and go through all sorts of divided power structures and things that I've never sat down and figured out what they are talking about. I'm skeptical of such a compact, simple definition. Maybe all this stuff comes out if you write out what it actually means to be a coequalizer of the two projections out of the formal neighborhood of the diagonal?

   Do we have to worry about positive characteristic? I don’t know anything about the crystalline site, but I’ve been hunting for readable references for awhile to learn. Usually people take 50 pages or so and go through all sorts of divided power structures and things that I’ve never sat down and figured out what they are talking about. I’m skeptical of such a compact, simple definition. Maybe all this stuff comes out if you write out what it actually means to be a coequalizer of the two projections out of the formal neighborhood of the diagonal?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexLet me see, maybe I am missing something, I just meant to record the statement as stated on p. 7 of Simpson-Teleman <a href="http://math.berkeley.edu/~teleman/math/simpson.pdf">de Rham theorem for $\infty$-stacks</a>, where it says > Thus, the over category $Aff/X_{dR}$ — whose objects are, by definition, natural transformations from representable functors to $X_{dr}$ — agrees with Grothendieck’s (big) infinitesimal site of X of [Gr], where [Gr] is Grothendieck, _Crystals and the de Rham cohomology of schemes_ In: Dix Expos´es sur la cohomologie des sch&eacute;mas, 306–358, North-Holland, Amsterdam 1968

   Let me see, maybe I am missing something, I just meant to record the statement as stated on p. 7 of Simpson-Teleman de Rham theorem for $\infty$-stacks, where it says

   Thus, the over category $Aff/X_{dR}$ — whose objects are, by definition, natural transformations from representable functors to $X_{dr}$ — agrees with Grothendieck’s (big) infinitesimal site of X of [Gr],

   where [Gr] is Grothendieck, Crystals and the de Rham cohomology of schemes In: Dix Expos´es sur la cohomologie des schémas, 306–358, North-Holland, Amsterdam 1968

4. • CommentRowNumber4.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexDivided power structures are used, among other things, to describe Taylor series for functions in positive characteristic ($p$, say), because every term beyond $x^p$ is obviously not naively defined. I think dividing out by the nilradical is a pretty substantial alteration, and that's where the interesting stuff happens.

   Divided power structures are used, among other things, to describe Taylor series for functions in positive characteristic ($p$, say), because every term beyond $x^p$ is obviously not naively defined.

   I think dividing out by the nilradical is a pretty substantial alteration, and that’s where the interesting stuff happens.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexRight, so they assume characteristic 0 (complex or analytic site). I have edited the entry a bit. But clearly more should be said here eventually.

   Right, so they assume characteristic 0 (complex or analytic site). I have edited the entry a bit. But clearly more should be said here eventually.

6. • CommentRowNumber6.
   • CommentAuthorzskoda
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexSo what Grothendieck topology you take on $Aff/X_{dR}$ to have it equivalent as a site to the crystalline site ?

   So what Grothendieck topology you take on $Aff/X_{dR}$ to have it equivalent as a site to the crystalline site ?

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexAccording to the Simpson-Teleman piece that I mentioned, you take the [[big site]]-topology. But can you help me with the terminology: when do we say "infinitesimal site" and when "crystalline site"? Is it right that in char = 0 both notions coincide?

   According to the Simpson-Teleman piece that I mentioned, you take the big site-topology.

   But can you help me with the terminology: when do we say “infinitesimal site” and when “crystalline site”?

   Is it right that in char = 0 both notions coincide?

8. • CommentRowNumber8.
   • CommentAuthorzskoda
   • CommentTimeMar 30th 2011
   • (edited Mar 30th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexLook I know how to induce the topology on the overcategory, but which topology do you use in the first place on Aff for this reason; there exist Zariski big site, fpqc big site and so on. So what is the topology which will agree with crystalline after the translation ? Flat ? Zariski ? (my guess would be Zariski)

   Look I know how to induce the topology on the overcategory, but which topology do you use in the first place on Aff for this reason; there exist Zariski big site, fpqc big site and so on. So what is the topology which will agree with crystalline after the translation ? Flat ? Zariski ? (my guess would be Zariski)

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeMar 30th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexAs I said, I am just following the statement in Simpson-Teleman, page 7. They state this for Zariski and étale topology. But apparently we need better sources. Does anyone have an electronic copy of the original Grothendieck article or else another _good_ account?

   As I said, I am just following the statement in Simpson-Teleman, page 7. They state this for Zariski and étale topology.

   But apparently we need better sources. Does anyone have an electronic copy of the original Grothendieck article or else another good account?

10. • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 30th 2011
    • (edited Mar 31st 2011)
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexOnly a paper copy of 'Dix exposes...', I'm afraid. I could dig it out and have a look. Edit: and I don't have the relevant section ... :( Sorry.

    Only a paper copy of ’Dix exposes…’, I’m afraid. I could dig it out and have a look.

    Edit: and I don’t have the relevant section … :( Sorry.

11. • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeMar 31st 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexDix exposes is online at many places, huge file. But it will not answer the question, as it does not have the de Rham space approach I suppose, but the original crystalline site. For the original crystalline site good sources are many online available papers by Ogus and by (his former student) [[Martin Olsson]].

    Dix exposes is online at many places, huge file. But it will not answer the question, as it does not have the de Rham space approach I suppose, but the original crystalline site. For the original crystalline site good sources are many online available papers by Ogus and by (his former student) Martin Olsson.

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> But it will not answer the question, as it does not have the de Rham space approach But when I see the definition I can translate it to the de Rham space. I mean, the de Rham space is a very trivial thing: the presheaf defined by $X_{dR} : Spec R \mapsto X(Spec R_{red})$. This is just a sheaf-theoretic way of saying what is said in the definition of infinitesimal site anyway. All I need to see is what the definition of crystalline ssite boils down to in char 0 and what the terminiology convention is concerning "infinitesimal site" and "crystalline site". I guess the latter is just the adjustment of the former with those $W_n$-quotients invoked to make things work. I don't have time to search for this right now. Will do it later. Unless somebody else does.

    But it will not answer the question, as it does not have the de Rham space approach

    But when I see the definition I can translate it to the de Rham space.

    I mean, the de Rham space is a very trivial thing: the presheaf defined by $X_{dR} : Spec R \mapsto X(Spec R_{red})$. This is just a sheaf-theoretic way of saying what is said in the definition of infinitesimal site anyway.

    All I need to see is what the definition of crystalline ssite boils down to in char 0 and what the terminiology convention is concerning “infinitesimal site” and “crystalline site”. I guess the latter is just the adjustment of the former with those $W_n$-quotients invoked to make things work.

    I don’t have time to search for this right now. Will do it later. Unless somebody else does.

13. • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeMar 31st 2011
    • PermaLink
    Author: zskoda
    Format: TextGood, if you can translate! I am now in a rush as well, but will do that part eventually, so we will nail it down :)

    Good, if you can translate! I am now in a rush as well, but will do that part eventually, so we will nail it down :)
14. • CommentRowNumber14.
    • CommentAuthorIngoBlechschmidt
    • CommentTimeApr 3rd 2019
    • PermaLink
    Author: IngoBlechschmidt
    Format: MarkdownItexAdded the recent result of Matthias Hutzler on what the big infinitesimal topos classifies. More details will most likely be added by himself in the near future. <a href="https://ncatlab.org/nlab/revision/diff/crystalline+site/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/crystalline+site/4">v4</a>, <a href="https://ncatlab.org/nlab/show/crystalline+site">current</a>

    Added the recent result of Matthias Hutzler on what the big infinitesimal topos classifies. More details will most likely be added by himself in the near future.

    diff, v4, current

15. • CommentRowNumber15.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 3rd 2019
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexMade Hutzler's thesis a linkable reference, and linked to it in the text. <a href="https://ncatlab.org/nlab/revision/diff/crystalline+site/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/crystalline+site/5">v5</a>, <a href="https://ncatlab.org/nlab/show/crystalline+site">current</a>

    Made Hutzler’s thesis a linkable reference, and linked to it in the text.

    diff, v5, current

16. • CommentRowNumber16.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 3rd 2019
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@Ingo - what's the state of the art as far as getting what the various usual toposes classify? Which ones are still outstanding?

    @Ingo - what’s the state of the art as far as getting what the various usual toposes classify? Which ones are still outstanding?

17. • CommentRowNumber17.
    • CommentAuthorIngoBlechschmidt
    • CommentTimeApr 3rd 2019
    • (edited Apr 3rd 2019)
    • PermaLink
    Author: IngoBlechschmidt
    Format: MarkdownItex@David: To the best of my knowledge, we know what the following toposes classify: * little Zariski topos: local localizations * big Zariski topos: local rings * big étale topos: separably closed local rings * big fppf topos: fppf-local rings (conjecturally that's the same as algebraically closed local rings) * big fpqc topos: this is the same as the fppf topos if the usual finiteness conditions are imposed (which we need for all of the toposes anyway if we want them to classify a reasonable theory) * big surjective topos: algebraically closed geometric fields * big infinitesimal topos: surjective ring homomorphisms with nilpotent kernel Some of the "little" variants are missing from this list, but could be rather easy to obtain or might already be folklore. The Zariski case is folklore, the canonical reference being Moerdijk and Mac Lane's *Sheaves in Geometry and Logic*. The étale case is in Monique Hakim's thesis and Gavin Wraith's [Generic Galois theory of local rings](https://link.springer.com/chapter/10.1007%2FBFb0061844). Fppf, fpqc and surjective are [in Section 21 of these notes](https://rawgit.com/iblech/internal-methods/master/notes.pdf#page=186). Infinitesimal is in [Matthias's master thesis](https://gitlab.com/MatthiasHu/master-thesis/raw/master/thesis.pdf?inline=false). We don't know (at least there is no written account of) what any of the remaining toposes classify, in particular: * the $\neg\neg$ subtopos of the big Zariski topos (conjecturally: algebraically closed geometric fields which are integral over the base) * big ph topos (conjecturally: algebraically closed valuation rings) * big crystalline topos (Matthias is working on it) * big Nisnevich topos * big smooth topos * big syntomic topos * big cl topos * big rh topos Some ramblings about the two conjectures is towards the end of [above-cited Section 21](https://rawgit.com/iblech/internal-methods/master/notes.pdf#page=186). For many of these toposes, we at least know what their points are. Note that today we have much better technology at our disposal to tackle these questions: I'm thinking of [[Diaconescu's theorem]], the coherent account in Olivia's book, composition of internal geometric theories and the recognition of the notion of compact objects as being important in this context. (Matthias deduces his characterization more or less as a corollary of what the compact objects in a certain category are.) These help to strip away technicalities, allowing us to focus on the mathematical contents.

    @David: To the best of my knowledge, we know what the following toposes classify:

    • little Zariski topos: local localizations
    • big Zariski topos: local rings
    • big étale topos: separably closed local rings
    • big fppf topos: fppf-local rings (conjecturally that’s the same as algebraically closed local rings)
    • big fpqc topos: this is the same as the fppf topos if the usual finiteness conditions are imposed (which we need for all of the toposes anyway if we want them to classify a reasonable theory)
    • big surjective topos: algebraically closed geometric fields
    • big infinitesimal topos: surjective ring homomorphisms with nilpotent kernel

    Some of the “little” variants are missing from this list, but could be rather easy to obtain or might already be folklore. The Zariski case is folklore, the canonical reference being Moerdijk and Mac Lane’s Sheaves in Geometry and Logic. The étale case is in Monique Hakim’s thesis and Gavin Wraith’s Generic Galois theory of local rings. Fppf, fpqc and surjective are in Section 21 of these notes. Infinitesimal is in Matthias’s master thesis.

    We don’t know (at least there is no written account of) what any of the remaining toposes classify, in particular:

    • the $\neg\neg$ subtopos of the big Zariski topos (conjecturally: algebraically closed geometric fields which are integral over the base)
    • big ph topos (conjecturally: algebraically closed valuation rings)
    • big crystalline topos (Matthias is working on it)
    • big Nisnevich topos
    • big smooth topos
    • big syntomic topos
    • big cl topos
    • big rh topos

    Some ramblings about the two conjectures is towards the end of above-cited Section 21. For many of these toposes, we at least know what their points are.

    Note that today we have much better technology at our disposal to tackle these questions: I’m thinking of Diaconescu’s theorem, the coherent account in Olivia’s book, composition of internal geometric theories and the recognition of the notion of compact objects as being important in this context. (Matthias deduces his characterization more or less as a corollary of what the compact objects in a certain category are.) These help to strip away technicalities, allowing us to focus on the mathematical contents.