under construction
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A complex analytic -groupoid is an ∞-groupoid equipped with geometric structure in the sense of complex analytic geometry, such that complex analytic spaces constitute a full subcategory of the 0-truncated complex analytic -groupoids. Hence a complex analytic -groupoid is an (∞,1)-sheaf/∞-stack on the site of complex manifolds (or some of its dense subsites). This is directly analogous to how (∞,1)-sheaves over the site of smooth manifolds may be regarded as smooth ∞-groupoids.
Write for the category of complex manifolds, regarded as a site with the standard Grothendieck topology.
Write
for the full subcategories of Stein spaces and of complex polydiscs, respectively, regarded as sites by equipping them with the induced coverages.
The inclusions in def. exhibit dense subsite inclusions.
Write
for the hypercomplete (∞,1)-sheaf (∞,1)-topos over the sites of complex manifolds def. .
By the discussion at model structure on simplicial presheaves this means that is equivalently the simplicial localization of any of the hypercomplete local model structures on simplicial (pre-)sheaves, such as the Joyal model structure on simplicial sheaves.
This is considered in (Hopkins-Quick 12, section 2.1).
We discuss the existence of the extra left adjoint (the shape modality). This proceeds essentially as in the discussion of the cohesion of Smooth∞Grpd (see there) only that where there one may choose good open covers here we have to choose genuine split hypercovers by polydiscs. The rest of the proof is verbatim as for Smooth∞Grpd.
To start with, since the hypercompletion depends only on the underlying sheaf topos of a site we may represent
by the simplicial localization of the local model structure on simplicial presheaves over , localized (by the theorem of descent recognition along hypercovers) at the hypercovers as seen over restricted to a polydisc (this roundabout way since does not carry a Grothendieck topology but just a coverage).
Now before Bousfield localization we have a simplicially enriched Quillen adjunction
which is simplicial-degree wise just the defining adjunction of the colimit functor left adjoint to the constant presheaf functor.
To see that this descends to a Quillen adjunction on the local model structure, by the recognition theorem for simplicial Quillen adjunctions we hence need to check that preserves fibrant objects with respect to the local model structure, hence that any constant simplicial presheaf for a Kan complex already satisfies descent with respect to hypercovers as seen over .
By the theorem of descent recognition along hypercovers satisfies descent precisely if for each hypercover of any polydisc . the induced morphism of derived hom-spaces
in the global model structure on simplicial presheaves is a weak equivalence. This in turn may be computed as the -enriched hom object out of a cofibrant resolution and , respectively. By the recognition of cofibrant objects in the projective model structure the representable is already cofibrant and a sufficient condition for a resolution to be cofibrant is that it is a split hypercover.
Since is a dense subsite, we may always choose such a split hypercover such that consists simplicial-degreewise of coproducts of polydiscs: by the proposition at hypercover – Existence of split refinements
Since the colimit of a representable functor is the point, this means that with such a choice is the simplicial set obtained by replacing in the hypercover by polydiscs each polydisc by a point. Forgetting the complex structure on all manifolds involved, one sees that this is precisely the “etale homotopy type” of as seen by the site CartSp of Cartesian spaces, by the discussion at Smooth∞Grpd, and this comes out as the ordinary homotopy type of the underlying topological space of . But this is of course contractible.
In conclusion this means that
Therefore the descent condition for is satisfied. (This is also the statement of (Hopkins-Quick 12, lemma 2.3, prop. 2.4, lemma 2.5, prop. 2.6)).
From here on the argument for the cohesion of proceeds as at ∞-cohesive site (which might just as well be adapted to the hyper-discussion here).
For a complex manifold, then the shape is the homotopy type of its underlying topological space.
In (Hopkins-Quick 12)) this is part of prop. 2.6.
Discussion of the Oka principle in terms of is in (Larusson 01).
Say that a complex manifold is an Oka manifold if for every Stein manifold the canonical inclusion
from the mapping space of holomorphic functions to that of continuous functions (both equipped with the compact-open topology) is a weak homotopy equivalence.
By corollary , in terms of cohesion, prop. , definition should (…check…) read
By prop. is cohesive and hence by the discussion at differential cohomology hexagon the objects (hence the sheaves of spectra on ) qualify as differential cohomology refinements of the cohomology theories represented by the shapes Spectra.
Discussion of such complex analytic differential generalized cohomology is in (Hopkins-Quick 12, section 4),.
The multiplicative group is a canonical ∞-group object
given as an (∞,1)-presheaf by the assignment
that sends a Stein manifold to the multiplicative abelian group of non-vanishing holomorphic functions on it.
The delooping is the universal moduli stack for holomorphic line bundles (the Picard stack) and the double delooping that for holomorphic line 2-bundles (the Brauer stack).
Finnur Lárusson, Excision for simplicial sheaves on the Stein site and Gromov’s Oka principle (arXiv:math/0101103)
Jacob Lurie, section 4.4. of Structured Spaces
Jacob Lurie, sections 11 and 12 of Closed Immersions
Michael Hopkins, Gereon Quick, Hodge filtered complex bordism, Journal of Topology, 8 1 (2015) (arXiv:1212.2173, doi:10.1112/jtopol/jtu021)
Last revised on November 20, 2021 at 07:31:24. See the history of this page for a list of all contributions to it.