(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
This section is no good…
Any pretriangulated dg-category presents a stable (infinity,1)-category. A plain dg-category only presents a spectrally enriched (infinity,1)-category. One way to construct this is to apply the Dold-Kan correspondence on each hom-object to produce a fibrant sSet-enriched category and then, if desired, form the homotopy coherent nerve of that to obtain a quasi-category.
On the other hand, the dg-nerve of is a more direct construction that directly sends the dg-category to a simplicial set which is the quasi-category incarnation of the corresponding stable (∞,1)-category.
To the extent that one may think of as analogous to a category of chain complexes, the dg-nerve may be thought of producing the simplicial set whose -simplices are the local systems on with coefficients in (flat ∞-connections with coefficients in ). The formula is just as for Lie integration of L-infinity algebroids.
Recall:
From a relative category (a category with weak equivalences ) one obtains:
the sSet-enriched category which is its simplicial localization,
the quasi-category which is the homotopy coherent nerve of that.
or alternatively, up to equivalence of quasi-categories:
the simplicial nerve ,
Now:
For an additive category, write
for the plain category of chain complexes in ,
for the dg-category obtained form the self-enrichment of
(via its symmetric monoidal structure given by the tensor product of chain complexes),
for the class of chain homotopy equivalences
(which for Vect coincide with the quasi-isomorphisms, but not otherwise).
Then the dg-nerve of is equivalent as a quasi-category to the (homotopy coherent) nerve of the (simplicial) localization of at in the sense of Rem. :
Similarly:
Given a -enriched model category (over some ring ) all whose objects are cofibrant, then
where denotes the underlying ordinary category and again the class of chain homotopy equivalences.
The definition originates with:
Further discussion:
Jonathan Block, Aaron M. Smith, Def. 2.3 (2.4 in the preprint) of: The higher Riemann–Hilbert correspondence, Advances in Mathematics 252 (2014) 382-405 [arXiv:0908.2843, doi:10.1016/j.aim.2013.11.001]
Jacob Lurie, Construction 1.3.1.6 in: Higher Algebra (2017)
Extension to -categories, proof that the dg-nerve maps pretriangulated dg-categories to stable (∞,1)-categories.
Further discussion:
Last revised on April 18, 2024 at 04:06:54. See the history of this page for a list of all contributions to it.