Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2009
    • (edited Nov 3rd 2009)
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2009
    HELP:

    I need the following for connecting the two main sections at this entry. I thought I knew this, but now I am feeling a bit uncertain:

    what is, if any, the explicit expression for the respresenting (oo,1)-topos of a G-scheme that is given as a sheaf on G?

    In particular for the case of derived Deligne-Mumford stacks, in theorem 2.6.16 of Structured Spaces:

    the theorem states that given F it is representable by (X,O_X).

    How do I express X in terms of F here?

    It should be this, but I am a bit worried:

    X should be the oo,1-topos of oo-stacks on the site G/F.

    Is it?
    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2009
    Hm, I think I get it. The DM stack as a groupoid appears essentially as the object U in the second paragraph below the diagram on p. 80 of Structured Spaces and Y/U is the topos of sheaves "on the groupoid".
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2009
    polished introduction and beginning of the first part
    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2009
    I worked the morrning over on the entry A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves,

    on the subsection "notions of space".

    This is now effectively (in as far as it achieves what it means to achieve) a srvey of the key ideas in Structured Spaces . I am thinking of copying that subsection eventually to this entry.

    This should be of interest to anyone who took interest in the discussion on comparative smootheology.
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 6th 2013

    copied some of the paragraphs to moduli stack of elliptic curves and polished slightly.

    An improvement over the previous sad situation, but still not good.