typical contexts
Backround
Definition
Presentation over a site
Models
In a local topos there is a notion of concrete objects. These form a reflective subcategory. The corresponding reflector is the concretification map which universally approximates any object by a concrete object.
There is a unique evident notion of concretification in any local topos, this we discuss first in
This involves an image factorization. Since in higher category theory/homotopy theory image factorization refines to a tower of notions of n-image factorization in a local (∞,1)-topos there are different constructions that one may all think of as concretification. This we discuss in
A local topos is a topos equipped with a sharp modality .
In a local (∞,1)-topos there is still the sharp modality, but here the 1-image-factorization of its unit is rarely of interest, for this concretifies an object in degree 0 but makes it codiscrete in all higher degrees. Typically one is interested in concretifying in all degrees. One needs to specify extra data to say what this means.
One case where this is arises is the differential concretification of moduli ∞-stacks of principal ∞-connections.
The following gives a sufficient condition for modeling n-image factorizations in some (∞,1)-toposes with particularly convenient presentation.
Let be a site with enough points, so that the weak equivalences in are detected on stalks (this prop.). Then given a morphism of Kan complex-valued simplicial presheaves
such that both and are homotopy k-types for some finite , then its n-image factorization in the (∞,1)-topos for any is presented by any factorization in through some Kan-complex valued simplicial presheaf such that for each object the simplicial homotopy groups satisfy the following conditions:
are isomorphisms;
is the (epi,mono) factorization of ;
are isomorphisms.
Evalutation on stalks is a filtered colimit which preserves the finite limits and finite colimits that go into the definition of simplicial homotopy groups. Therefore the global conditions assumed on the simplicial homotopy groups imply that the same kind of conditions holds for the stalkwise homotopy groups. These are the categorical homotopy groups in . By this prop. and this def. we may recognize -truncation of morphisms on categorical homotopy groups (using the assumption that and are -truncated for some ). Therefore the claim now follows from the stalkwise long exact sequence of homotopy groups.
In order to appeal to prop. we are interested in explicit models for -image factorization of morphisms of Kan complexes. The following gives such for the special case that the the morphism of Kan complexes is the image under the Dold-Kan correspondence of a chain map between chain complexes.
Let be a chain map between chain complexes
For , consider the abelian group
For the following it is helpful to think of this abelian group in the following equivalent ways.
Define an equivalence relation on by
Then
is equivalently the set of equivalence classes of this equivalence relation, which inherits abelian group structure since the eqivalence relation is linear.
This is because the equivalence relation says equivalently that
and hence is generated under linearity by
Moreover, notice that the Dold-Kan correspondence
factors through globular strict omega-groupoids (here). An n-morphism in the strict omega-groupoid is of the form
In terms of these morphisms the equivalence relation above says that two of them are equivalent precisely if
they are “parallel morphisms” in that they have the same source and target;
they have the same image under in the n-morphisms of .
This suggests yet another equivalent way to think of : it is the disjoint union over the target -cells in of the images under of the sets of -cells from zero to that target:
Let be a chain map between chain complexes and let . Recall the abelian group from remark .
The following diagram of abelian groups commutes:
Moreover, the middle vertical sequence is a chain complex , and hence the diagram gives a factorization of into two chain maps
Finally, this is a model for the (n+1)-image factorization of in that on homology groups the following holds:
are isomorphisms;
is the image factorization of ;
are isomorphisms.
This follows by elementary and straightforward direct inspection.
For and write
for the simplicial presheaf which is the image under the Dold-Kan correspondence of the presheaf of chain complexes which is the Deligne complex starting with the presheaf represented by in degree and truncated to the differential -forms, as shown.
Since the map sends surjections of chain complexes to Kan fibrations, the canonical projection maps yield a tower of objectwise Kan fibrations of the following form:
For a smooth manifold, write
for the image under the Dold-Kan correspondence of the presheaf of chain complexes which to assigns the vertical Cech-Deligne complex on in the given degree, i.e. the Cech-Deligne complex involving differential forms on that have no leg along , i.e. those in .
We first consider differential concretification on geometrically contractible base spaces. Once this is established, then the general differential concretification follows simply by stackifying along the base space.
(differential concretification for higher circle connections on contractibles)
Let be a contractible smooth manifold. For write
and then for define inductively
Let be a contractible smooth manifold. Then there is a weak equivalence
from the inductively defined object from def. to the moduli object from def. .
By the assumption that is contractible, the Cech-direction of the Cech-Deligne double complex is trivial and so we have for all and weak equivalences of the form
and
We claim now for all that
For this is the statement to be shown. Hence we may now prove this by induction.
It is manifestly true for . Hence suppose it is true for some . Observe then that
is an objectwise Kan fibration, because so is by def. , and both as well as are right Quillen functors from with its global projective model structre to itself.
It follows (this prop.) that the homotopy fiber product in question is presented by the plain 1-categorical fiber product. Since is right adjoint, this in turn is given by the degreewise fiber product of the corresponding chain complexes. By direct inspection this means that
Hence we are now reduced to computing the image of
Observe that in degree the ordinary image is
(differential concretification of moduli for higher connection)
For a smooth manifold, define for
to be the homotopy limit over the differential concretifications from def. of contractibles , for
a presentation of as a homotopy colimit of contractible manifolds (e.g. the realization of the Cech nerve of a good open cover).
For a smooth manifold, then the differential concretifiction of def. is equivalent to the moduli object from def. :
Let be the realization of the Cech nerve of a good open cover. Then
is equivalently the image under DK of the corresponding Cech hypercomplex with coefficients in the presheaf of chain complexes . By lemma this is the vertical Deligne complex, and hence the claim follows.
Introductory lecture notes with an eye towards applications in fundamental physics are at
The differential concretification of differential moduli is discussed in
Last revised on June 25, 2020 at 17:22:04. See the history of this page for a list of all contributions to it.