higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
The concept of geometric -stack is the refinement to ∞-stack of that of geometric stack.
There is an intrinsic definition which iterates that of geometric stacks and says inductively that a geometric -stack is one which has an -atlas and such that its diagonal is -representable (Toën-Vezzosi 04, def. 1.3.3.1).
Then there is a result which says that such geometric -stacks are equivalently those represented by suitable Kan complex-objects in the given site (“internal infinity-groupoids” in the site) (Pridham 09).
(There is also a definition of “geometric -stack” in (Toën 00, definition 4.1.4), which is however different.)
A presentation of geometric -stacks, in some generality, by suitably Kan-fibrant simplicial objects is in (Pridham 09). See also at Kan-fibrant simplicial manifold.
Every object in the image of is a geometric -stack.
Over the étale site an algebraic stack that is a geometric stack is also a geometric -stack.
Every schematic homotopy type is given by a geometric -stack.
Kan-fibrant simplicial manifolds serve to present geometric -stacks in higher differential geometry, the Lie infinity-groupoids
The text below follows (Toën 00). Needs to be connected to the rest of the entry.
We consider the higher geometry encoded by a Lawvere theory via Isbell duality. Write for the category of algebras over a Lawvere theory and write for the (∞,1)-category of cosimplicial -algebras .
Consider a site that satisfies the assumptions described at function algebras on ∞-stacks. Then, by the discussion given there, we have a pair of adjoint (∞,1)-functors
where is the (∞,1)-category of (∞,1)-sheaves over , the big topos for the higher geometry over .
An object is called a geometric -stack over if there is it is the (∞,1)-colimit
over a groupoid object in such that
and are in the image of ;
the target map is lisse.
For the theory of commutative associative algebras over a commutative ring and the fpqc topology this appears as (Toën 00, definition 4.1.4).
Geometric -stacks are stable under (∞,1)-pullbacks along morphism in the image of .
Use that in the (∞,1)-topos we have universal colimits and that is right adjoint.
geometric -stack, function algebras on ∞-stacks
Arin-Luire representability theorem?
The notion of geometric -stack as a weak quotient of affine -stacks is considered in section 4 of
More general theory in the context of derived algebraic geometry is in
and specifically in E-∞ geometry in
Jonathan Pridham, Representability of derived stacks (arXiv:1011.2189)
Discussion of presentation of geometric -stacks by Kan-fibrant simplicial objects in the site is in
Last revised on January 16, 2016 at 13:20:13. See the history of this page for a list of all contributions to it.