Abstract
We study Maurer–Cartan moduli spaces of dg algebras and associated dg categories and show that, while not quasiisomorphism invariants, they are invariants of strong homotopy type, a natural notion that has not been studied before. We prove, in several different contexts, Schlessinger–Stasheff type theorems comparing the notions of homotopy and gauge equivalence for Maurer–Cartan elements as well as their categorified versions. As an application, we reprove and generalize Block–Smith’s higher Riemann–Hilbert correspondence, and develop its analogue for simplicial complexes and topological spaces.
1 Introduction
The simplest version of the Riemann–Hilbert correspondence is the statement, known for many decades, that the category of flat vector bundles on a smooth manifold M is equivalent to the category of representations of its fundamental group \(\pi _1(M)\). Recently Block and Smith [7] developed a higher generalization of this statement. In it, the category of representations of \(\pi _1(M)\) was replaced by a differential graded category of infinity local systems on M and the category of flat vector bundles by a differential graded (dg) category of certain modules, called cohesive modules, over \(\Omega (M)\), the de Rham algebra of M. The correspondence was given by a certain \(A_\infty \) functor.
The proof in loc.cit. is technically complicated and our original motivation was to understand it in simple terms, particularly keeping in mind that one side of the equivalence—the category of infinity local systems—is essentially the same as the more classical notion of a cohomologically locally constant (clc) complex of sheaves, i.e. a complex of sheaves whose cohomology forms an ordinary (graded) locally constant sheaf. An obvious approach to proving the desired result is based on the observation that \(\Omega (M)\) is the global sections of the sheaf of de Rham algebras on M and the latter is a soft resolution of the constant sheaf \({\mathbb {R}}\). Similarly, a dg module N over \(\Omega (M)\) could be sheafified and viewed as a module over the sheaf of de Rham algebras. Imposing suitable restrictions on M, one could hope that the resulting sheaf of modules would be quasiisomorphic to a clc sheaf and that this procedure establishes an equivalence between the derived category of clc complexes of sheaves on M and a suitable homotopy subcategory of dg \(\Omega (M)\)modules (such as cohesive \(\Omega (M)\)modules). Taking into account that the category of clc sheaves makes sense for spaces more general than manifolds, e.g. simplicial complexes, one could further ask whether this programme can be carried out in this more general context. Next, one could try to achieve a similar result working with the singular cochain complex of a topological space or a simplicial set, with values in rings other than \({\mathbb {R}}\), e.g. \({\mathbb {Z}}\). Finally, one should study the functorial properties of this construction, in particular its liftability to the suitable homotopy category of spaces that are being considered (manifolds, simplicial complexes, topological spaces or simplicial sets).
Somewhat surprisingly, this naive approach does work and eventually produces all the results one would initially hope to obtain (and, in fact, quite a bit more). The main difficulty in implementing the strategy outlined above is proving, in different contexts, that the associated complex of sheaves of a dg \(\Omega (M)\)module N is clc. To show this, one needs to work with MaurerCartan (MC) elements in dg algebras and their moduli spaces. MC elements and their moduli arise in deformations of various geometric and algebraic objects (flat connections in vector bundles, complex analytic manifolds [26], associative algebras [31]), models of function spaces in rational homotopy theory [33] and innumerable other contexts of differential and algebraic geometry, homological and homotopical algebra. MC elements are also known as ‘twisting cochains’, particularly in algebrotopological literature [11].
A priori there are different notions of equivalence for MC elements and it is both necessary for our applications and generally desirable to compare them. We establish various versions of the classical Schlessinger–Stasheff theorem [45] which states that, under appropriate conditions, homotopy equivalent MC elements must be gauge equivalent, and viceversa. This result is usually formulated in the context of dg (pro)nilpotent Lie algebras but we need it for dg associative algebras.
Schlessinger–Stasheff type results are established in this paper in two different contexts: analytical (for dg algebras such as the smooth de Rham algebra of a manifold) and algebraic (for dg algebras without any topology or with a pseudocompact topology such as the singular cochain algebra of a topological space).
The algebraic version of the Schlessinger–Stasheff theorem is particularly interesting and has ramifications far beyond higher Riemann–Hilbert correspondence; some of them have been explored in the present paper but others await further study.
We associate to any dg algebra A several dg categories, of which the most important is the category of twisted Amodules \({{\,\mathrm{Tw}\,}}(A)\). A version of this category (in the context where A itself is a dg category) was first introduced by Bondal and Kapranov in the seminal paper [9] where it was called the category of (twosided) twisted complexes and denoted by \(\mathrm{PreTr(A)}\) (in fact, \({{\,\mathrm{Tw}\,}}(A)\) is obtained from \(\mathrm{PreTr(A)}\) by adding infinite direct sums of objects). The homotopy category \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(A))\) is superficially similar to D(A), the derived category of A, but is a finer invariant; in particular it is not, generally, a quasiisomorphism invariant of A, unlike D(A) (as pointed out by Drinfeld [15, Remark 2.6]). It turns out that the correct notion to use in this context is that of strong homotopy equivalence of dg algebras. This is a chain homotopy equivalence that takes into account the multiplicative structure and it was not studied before, as far as we know. We show that two strongly homotopy equivalent dg algebras have quasiequivalent dg categories of twisted modules.
Furthermore, the notion of strong homotopy and strong homotopy equivalence exists also for dg coalgebras (equivalently, pseudocompact dg algebras), such as the normalized chain complex of a simplicial set, and we show that two weakly equivalent Kan simplicial sets give rise to strongly homotopy equivalent dg coalgebras. This is an important ingredient in the proof of the singular version of the higher Riemann–Hilbert correspondence, but it also has philosophical significance as it shows that the singular chain coalgebra on a simplicial set that is not Kan (or fibrant) might have the wrong homotopy type. The simple example of a nonfibrant model of the circle \(S^1\) shows that this indeed happens, cf. Remark 6.4 below. This phenomenon also showed up in the recent paper by Rivera and Zeinalian [44] where a generalization of Adams’ cobarconstruction to the nonsimply connected case was established.
Denoting by \(C^*(X)\) the normalized cochain algebra of a Kan simplicial set X, we show that the homotopy category of twisted \(C^*(X)\)modules is equivalent to the derived category of clc complexes of sheaves on X, the geometric realization of X. If X is not Kan, the category \({{\,\mathrm{Tw}\,}}(C^*(X))\) has no homotopy invariant meaning, but one could speculate that it is related to the category of sheaves on X that are constructible with respect to some stratification. A related idea is contained in Kontsevich’s preprint [30, pp. 3–4].
The paper is organized as follows. Section 2 introduces the notion of an MC element in a dg algebra as well as concomitant concepts: gauge equivalence, MC twisting and a notion of homotopy gauge equivalence^{Footnote 1} that is, as the name suggests, a relaxation of familiar gauge equivalence to an up to homotopy notion.
Section 3 introduces twisted modules, and gives a comparison with Block’s cohesive modules [6]. In Sect. 4 we study smooth homotopies of topological algebras and their MC elements, and prove an appropriate analogue of the Schlessinger–Stasheff theorem, its categorified version and show that homotopic maps of manifolds give rise to isomorphic functors between the corresponding categories of twisted modules over their de Rham algebras. In Sect. 5 we introduce the notions of a strong homotopy of dg algebra morphisms and of a strong homotopy equivalence. A comparison is given with various weaker notions, of which the notion of derivation homotopy has been previously known, particularly in the context of rational homotopy theory. We obtain a suitable version of the Schlessinger–Stasheff theorem that implies that strongly homotopy equivalent dg algebras have quasiequivalent dg categories of twisted modules and obtain a similar result for pseudocompact dg algebras. In Sect. 6 we apply our results to normalized cochain algebras of simplicial sets and show that weakly equivalent Kan simplicial sets give rise to quasiequivalent categories of twisted modules.
In Sect. 7 we consider complexes of sheaves on a locally ringed space and, using our Schlessinger–Stasheff theorems, show that, under suitable assumptions, the homotopy category of perfect (i.e. finitely generated up to homotopy retractions) twisted modules over the dg algebra of global sections is equivalent to the derived category of perfect complexes. This is applied in Sect. 8 to produce versions of the higher Riemann–Hilbert correspondence for smooth, possibly noncompact, manifolds and finitedimensional simplicial complexes, thus generalizing the results of Block and Smith [7]. We also consider the case of the Dolbeault algebra and coherent sheaves on a complex manifold, slightly strengthening the result of Block [6]. Finally, we treat the most interesting case, that of the singular cochain algebra on a topological space and the corresponding higher Riemann–Hilbert correspondence. The latter is obtained under very general assumptions, i.e. we consider any locally contractible topological space and its dg category of possibly infinitely generated and unbounded clc sheaves over any ring of finite homological dimension.
The paper contains an appendix where relevant facts from the theory of nuclear spaces are collected.
1.1 Notation and Conventions
We work in the category of \({\mathbb {Z}}\)graded dg modules over a fixed commutative ring \(k\); an object in this category is a pair \((V,d_V)\) where V is a graded \(k\)module and \(d_V\) is a differential on it; it will always be assumed to be of cohomological type (so it raises the degree of a homogeneous element). Unmarked tensor products and Homs will be understood to be taken over \(k\). The shift of a graded \(k\)module V is the graded \(k\)module V[1] with \(V[1]^i=V^{i+1}\).
A pseudocompact relative graded \(k\)module is a a projective limit of finitely generated free \(k\)modules; it is thus complete and separated with respect to the projective limit topology. The adjective ‘relative’ pertains to the discrete ground ring \(k\); note that in the original definition of Gabriel [17] the ground ring is itself supposed to be topological and pseudocompact modules considered were more general, i.e. not necessarily topologically free. Later on, we shall omit the adjective ‘relative’ as no other pseudocompact modules will be considered. Pseudocompact \(k\)modules form a category where maps are required to be continuous. The category of pseudocompact \(k\)modules is antiequivalent to that of (discrete) free \(k\)modules via \(k\)linear duality. The category of pseudocompact \(k\)modules is monoidal: if \(V=\varprojlim V_{\alpha }\) and \(U=\varprojlim U_{\beta }\) are two pseudocompact \(k\)modules represented as inverse limits of finitely generated free \(k\)modules, then \(V\hat{\otimes }U:=\varprojlim _{\alpha ,\beta }(V_{\alpha }\otimes U_\beta )\). Later on, the hat will always be omitted (but understood) for the tensor product of two pseudocompact \(k\)modules. We will also need to form the tensor product of a pseudocompact \(k\)module \(V=\varprojlim V_{\alpha }\) and a discrete \(k\)module U; such a tensor product will be defined as \(V\hat{\otimes } U:=\varprojlim _\alpha (V_{\alpha }\otimes U)\) and, as before, the hat will be omitted but understood. Note that the tensor product of a pseudocompact and discrete \(k\)modules has a topology but is not, in general, pseudocompact. Overviews of this monoidal structure can be found, e.g. in [21] (where pseudocompact modules are called profinite) and in [51].
A dg algebra is an associative monoid in the dg category of dg \(k\)modules and in the examples we consider its underlying \(k\)module is free. A (right) dg module over a dg algebra A is a dg \(k\)module V together with a map \(V\otimes A\rightarrow V\) of dg \(k\)modules satisfying the usual conditions of associativity and unitality. Similarly a pseudocompact dg algebra is a monoid in the monoidal category of pseudocompact \(k\)modules. Via continuous linear duality a pseudocompact dg algebra becomes a dg coalgebra, and the two notions are therefore equivalent. We, however, will work consistently with pseudocompact algebras rather than coalgebras. An important example of a pseudocompact dg algebra over \({\mathbb {Z}}\) is the singular integervalued cochain complex \(C^*(X,{\mathbb {Z}})\) of a topological space X (or, more pertinently, its normalized version); it is pseudocompact as dual to the dg coalgebra \(C_*(X,{\mathbb {Z}})\) of singular chains on X.
We will consider dg contramodules over dg pseudocompact algebras, cf. [41, 42]; a (right) contramodule over a pseudocompact algebra A is a discrete \(k\)module V supplied with a ‘contraaction’ map \(V\otimes A\rightarrow V\) satisfying the usual conditions of associativity and unitality. Note that in loc.cit. a contramodule M over a coalgebra C is defined via a structure map \({{\,\mathrm{Hom}\,}}(C,V)\rightarrow V\) satisfying suitable conditions; this definition is equivalent, via dualization \(A:=C^*\), to ours.
We reiterate that \(V\otimes A\) is a completed tensor product so a contramodule is not merely an Amodule where the topology on A is disregarded; at the same time the contraaction map \(V\otimes A\rightarrow V\) is not required to be continuous. Importantly, a contramodule cannot be viewed as a module over a monoid in a symmetric monoidal category in same way as discrete modules or pseudocompact modules can; this subtlety makes the category of contramodules quite peculiar. Prominent among contramodules are those of the form \(V\otimes A\) with the A(contra)action given by the right multiplication. These contramodules are free in the sense that if U is another Acontramodule, then \({{\,\mathrm{Hom}\,}}_A(V\otimes A,U)\cong {{\,\mathrm{Hom}\,}}_{k}(V,U)\) just as it is in the case of usual free Amodules. Contramodules encountered in this paper will only be free (and so we will steer clear of various peculiar phenomena alluded to above). For example, X is a topological space and V is a (possibly infinitely generated) free abelian group then \(C^*(X,V)\cong V\otimes C^*(X,{\mathbb {Z}})\), the singular cochain complex of X with coefficients in V is a free \(C^*(X, {\mathbb {Z}})\)contramodule.
If M is a dg object (such as a dg module, dg algebra etc), we will write \(M^{\#}\) for its underlying graded object (i.e. graded module, graded algebra etc).
A dg category in this paper will be understood to be a category enriched over dg \(k\)modules. For example, if A is a dg algebra then the category of dg Amodules is a dg category; similarly the category of contramodules over a pseudocompact dg algebra is also a dg category. The dg \(k\)module of homomorphisms in a dg category C will be denoted by \(\underline{{{\,\mathrm{Hom}\,}}}(,)\) and similarly for endomorphisms. The homotopy category \({{\,\mathrm{H^{0}}\,}}(C)\) of the dg category C has the same objects as C and for two objects \(O_1, O_2\) in C we have \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{H^{0}}\,}}(C)}(O_1,O_2):=H^0[{{\,\mathrm{\underline{Hom}}\,}}_C(O_1,O_2)]\).
A dg functor \(F:C\rightarrow C^\prime \) between two dg categories is quasiessentially surjective if \({{\,\mathrm{H^{0}}\,}}(F):{{\,\mathrm{H^{0}}\,}}(C)\rightarrow {{\,\mathrm{H^{0}}\,}}(C^\prime )\) is essentially surjective and quasifully faithful if F induces quasiisomorphisms on the \({{\,\mathrm{Hom}\,}}\)spaces; if both conditions are satisfied then F is called a quasiequivalence. A stronger notion is that of a dg equivalence: this is a dg functor \(F:C\rightarrow C^\prime \) admitting a quasiinverse dg functor \(G:C^\prime \rightarrow C\), in the sense that there exist natural closed isomorphisms \(F\circ G\cong {\mathbf {1}}_{C^\prime }\) and \(G\circ F\cong {\mathbf {1}}_{C} \).
A dg category is strongly pretriangulated if it admits cones and shifts, and has a zero object (precise definitions can be found in e.g. [15]), and pretriangulated if it is quasiequivalent to a strongly pretriangulated category. A dg functor between pretriangulated dg categories is a quasiequivalence if and only if it induces an equivalence on their homotopy categories. A category dgequivalent to a strongly pretriangulated category is likewise strongly pretriangulated. Examples of strongly pretriangulated categories are provided by dg Amodules or dg Acontramodules where A is a dg algebra or a dg pseudocompact algebra respectively.
If X is a topological space, we denote by \(C_*(X)\) its normalized singular chain dg coalgebra with coefficients in \(k\) and by \(C^*(X)\) its \(k\)dual normalized cochain (pseudocompact) dg algebra; similarly if X is a simplicial set, \(C_*(X)\) and \(C^*(X)\) will stand for its normalized chain dg coalgebra and normalized cochain (pseudocompact) dg algebra.
We will call a complex of sheaves on a topological space a dg sheaf. For a \(k\)module M we define by \(\underline{M}\) the corresponding constant sheaf on a given topological space. For two dg sheaves \(\mathscr {F,G}\) the corresponding dg sheaf of homomorphisms is denoted by \({{{\,\mathrm{\mathscr { H} \! { om}}\,}}}(\mathscr {F,G})\).
We denote by \(\Omega (M)\) the de Rham algebra of a smooth manifold M. If K is a simplicial complex, then we write \(\Omega (K)\) for its piecewise smooth de Rham algebra. Recall that a smooth form on an nsimplex \(\Delta ^n\) is a smooth form on the interior of \(\Delta ^n\) such that it and all its derivatives extend continuously to the boundary of \(\Delta ^n\). It follows from Seeley’s extension theorem [46] that such a form restricts to piecewise smooth forms on the faces of \(\Delta ^n\). The elements of \(\Omega (K)\) are collections of smooth forms on the simplices of K that are compatible with restriction maps. We define the sheaf \(\Omega \) on K, the geometric realization of K, by setting \(\Omega (U) = \lim _{\Delta ^{n}\in K} \mathscr {A}^{*}(\Delta ^{n}\cap U)\) for \(U \subset K\). Then it is clear that \(\Omega (K)\) coincides with the global sections of \(\Omega \).
When working with complete locally convex spaces U and V, we will write \(U\otimes V\) for the completed projective tensor product of U and V; in the examples relevant to us, U and V will be nuclear, for which this choice of a tensor product is isomorphic to any other reasonable one.
2 Maurer–Cartan Elements for Algebras: Basic Notions, Definitions and Examples
Let A be a dg algebra.
Definition 2.1
An element \(x\in A^1\) is MaurerCartan or MC if it satisfies the equation
The set of MaurerCartan elements in A will be denoted by \({{\,\mathrm{MC}\,}}(A)\).
The group \(A^\times \) of invertible degree 0 elements in A acts on \({{\,\mathrm{MC}\,}}(A)\) by gauge equivalences: for \(g\in A^\times , x\in {{\,\mathrm{MC}\,}}(A)\) set
The MaurerCartan moduli set \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\) is the quotient of \({{\,\mathrm{MC}\,}}(A)\) modulo gauge equivalences.
We now introduce the notion of MC twisting.
Definition 2.2
For \(x\in {{\,\mathrm{MC}\,}}(A)\) the dg A module \(A^{[x]}\) has A as its underlying graded space and the differential \(d^{[x]}:\)
The right Amodule structure on \(A^{[x]}\) is the ordinary right multiplication. We will call \(A^{[x]}\) the module twisting of A by x. Similarly define the algebra twisting \(A^x\) as the dg algebra having A as an underlying graded algebra and the differential \(d^x:\)
Note that the MC condition (1) for x implies (in fact, is equivalent to) \(d^{[x]}\) squaring to zero in \(A^{[x]}\). It also implies that \(d^x\) squares to zero in \(A^x\). With these definitions, \(A^{[x]}\) becomes a dg \((A^x,A)\)bimodule.
Example 2.1
Let X be a smooth manifold and \(E\rightarrow X\) be a flat vector bundle on X. Consider \({{\,\mathrm{End}\,}}(E)\), the associated endomorphism bundle and set \(A=\Omega (X,{{\,\mathrm{End}\,}}(E))\), the de Rham algebra of X with values in \({{\,\mathrm{End}\,}}(E)\). The given flat structure determines a derivation d on A of square zero; if the bundle E is topologically trivial then d could be taken to be the ordinary de Rham differential. Then an MC element of A is an \({{\,\mathrm{End}\,}}(E)\)valued 1form x on X satisfying the MC Eq. (1). The set \({{\,\mathrm{MC}\,}}(A)\) is the set of all flat connections on the bundle E and \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\) is the set of gauge equivalence classes of such flat connections. The complexes \(A^{[x]}\) and \(A^x\) are respectively onesided and twosided twisted de Rham complexes of X with values in \({{\,\mathrm{End}\,}}(E)\).
Example 2.2
Let \(A:=k[x], d(x)=x^2\). Clearly x is a nonzero MC element of A, and it is not gauge equivalent to 0. This algebra is universal in the sense that an MC element y in a dg algebra B is equivalent to a dg algebra map \(A\rightarrow B\) with \(x\mapsto y\). Note that A is quasiisomorphic to \(k\), which implies that the MC moduli set is not quasiisomorphism invariant.
Recall that the category of (right) Amodules is enriched over dg modules: for any two right dg Amodules M and N, we have the dg module of homomorphisms \(\underline{{{\,\mathrm{Hom}\,}}}(M,N)\) from M to N; it is the graded vector space \(\bigoplus _{n=\infty }^\infty {{\,\mathrm{Hom}\,}}(M, N[n])\) with the differential \(d(f)(m):= df(m)(1)^{f}f(dm)\). Then we have the following result whose proof is straightforward inspection.
Proposition 2.1
Let \(x,y\in {{\,\mathrm{MC}\,}}(A)\). The dg module \(A^{[x,y]}\) of right Amodule homomorphisms \(A^{[x]}\rightarrow A^{[y]}\) has A as its underlying graded space and the differential \(d^{[x,y]}:\)
The operations of left and right multiplications determine a dg \((A^y,A^x)\)bimodule structure on \(A^{[x,y]}\). \(\square \)
Note that for two right Amodules M and N a map \(M\rightarrow N\) of right Amodules is precisely a zerococycle in \(\underline{{{\,\mathrm{Hom}\,}}}(M,N)\). Then M and N are homotopy equivalent if there are maps of (right) Amodules \(f:M\rightarrow N\) and \(g:N\rightarrow M\) such that \(f\circ g\) is cohomologous to \(1\in {\underline{{{\,\mathrm{Hom}\,}}}}(N,N)\) and \(g\circ f\) is cohomologous to \(1\in {\underline{{{\,\mathrm{Hom}\,}}}}(M,M)\). The notion of a gauge equivalence of MC elements admits an important weakening to a homotopy gauge equivalence.
Definition 2.3
Let \({{\,\mathrm{MC_{dg}}\,}}(A)\) be the dg category whose objects are MC elements of A and for \(x,y\in A\) the dg module of morphisms \({{{\,\mathrm{Hom}\,}}(x,y)_{{{\,\mathrm{MC_{dg}}\,}}(A)}:=\underline{{{\,\mathrm{Hom}\,}}}(A^{[x]},A^{[y]})}\). The correspondence \(A\mapsto {{\,\mathrm{MC_{dg}}\,}}(A)\) is a functor from dg algebras to dg categories.
Two MC elements \(x,y\in A\) are called homotopy gauge equivalent if they are homotopy equivalent as objects in \({{\,\mathrm{MC_{dg}}\,}}(A)\). The Maurer Cartan homotopy moduli set \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\) is the set of isomorphism classes of objects in \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{MC_{dg}}\,}}(A))\), i.e. the quotient of \({{\,\mathrm{MC}\,}}(A)\) modulo homotopy gauge equivalences.
Thus, \(x,y\in {{\,\mathrm{MC}\,}}(A)\) are homotopy gauge equivalent if there exist elements \(g, h\in A^0\) such that

(1)
\(dg+yggx=0\);

(2)
\(dh+xhhy=0\);

(3)
hg is cohomologous to 1 in \(A^x\);

(4)
gh is cohomologous to 1 in \(A^y\).
Note that if \(g\in A\) is invertible (i.e. x and y are isomorphic, as opposed to merely homotopy equivalent in \({{\,\mathrm{MC_{dg}}\,}}(A)\)) then we could take \(h=g^{1}\) and conditions (2), (3) and (4) above are automatically implied by condition (1). In that case x and y are gauge equivalent. However, the following example shows that the relation of homotopy gauge equivalence is strictly weaker than that of gauge equivalence.
Example 2.3
Let \(A:=k\langle x,y,g,h,s,t\rangle \), the free algebra with two generators x, y in degree 1, two generators g, h in degree 0 and two generators s, t in degree \(1\). The differential in A is given by the formulae:
It is clear that \(x,y\in {{\,\mathrm{MC}\,}}(A)\) and that g and h provide maps of right dg Amodules \(A^{[x]}\rightarrow A^{[y]}\) and \(A^{[y]}\rightarrow A^{[x]}\) respectively that are homotopy equivalences with homotopies given by s and t. As an aside, also note that A is the universal dg algebra having two homotopy gauge equivalent MC elements in the sense that any other such dg algebra B receives a unique map from A. Now A, being free, has no nonscalar invertible elements, and it follows that the MC elements x and y are not gauge equivalent, although they are homotopy gauge equivalent.
3 Twisted Modules and Cohesive Modules
We will now introduce the notion of a twisted module over a dg algebra A.
Definition 3.1
A twisted Amodule is a (right) dg Amodule M such that \(M^{\#}\) is free as an \(A^{\#}\)module. A twisted Amodule is finitely generated if \(M^{\#}\) is finitely generated. Finally, any twisted module that is a homotopy retract of a finitely generated twisted module is called a perfect twisted module.
We will denote the dg category of twisted Amodules by \({{\,\mathrm{Tw}\,}}(A)\), and its full subcategories of finitely generated and perfect twisted Amodules by \({{\,\mathrm{Tw_{fg}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\) respectively.
Remark 3.1
If A is a dg ring, then a dg Amodule M is sometimes called perfect if it represents a compact object in the derived category of A. This is not the same as a perfect twisted Amodule, in particular the latter need not represent a compact object in a triangulated category. Later on, we will also use the notion of a perfect dg sheaf of modules. In all cases, our terminology will always be clear from the context and unambiguous.
Remark 3.2
A twisted Amodule can be written as \((V \otimes A^{\#}, D_{V})\) where V is a free \(k\)module and \(D_V\) is a differential on the free Amodule \(V \otimes A^{\#}\) compatible with the Amodule structure. This is further equivalent to that of an MC element \(x\in {{\,\mathrm{End}\,}}(V)\otimes A\): for such an element \(D_V={\mathbf {1}}\otimes d_A+x\) gives a differential \(D_V\) on \(V\otimes A\) compatible with that of A and any compatible differential on \(V\otimes A\) must be of this form. We will often slightly abuse notation and write \(V \otimes A\) for \((V \otimes A^{\#}, D_{V}).\)
It is easy to see that \({{\,\mathrm{Tw}\,}}(A), {{\,\mathrm{Tw_{fg}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\) are strongly pretriangulated dg categories. Shifts are induced by the shift functor on V and the cone on \(f: (V \otimes A, D_V) \rightarrow (W \otimes A, D_W)\) is given by the complex \((V\oplus W[1])\otimes A\) with differential \(\left( \begin{matrix} D_V &{} f \\ &{}D_W[1]\end{matrix}\right) \).
The following result shows that the categories \({{\,\mathrm{Tw}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\) are closed with respect to taking retracts up to homotopy, i.e. their homotopy categories are idempotent complete.
Proposition 3.1
Any idempotent morphism in \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(A))\) or \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A))\) is split.
Proof
Since \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(A))\) is a triangulated category with direct sums, all idempotents in it split by [8, Proposition 3.2]. The statement about \({{\,\mathrm{Tw_{perf}}\,}}(A)\) follows directly. \(\square \)
Remark 3.3
We defined the category \({{\,\mathrm{Tw_{perf}}\,}}(A)\) as a certain subcategory of \({{\,\mathrm{Tw}\,}}(A)\). We see that \({{\,\mathrm{Tw}\,}}(A)\) is pretriangulated, with \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(A))\) being idempotent complete; it is thus Morita fibrant, cf. [48] regarding this notion. Moreover, the inclusion of the category \({{\,\mathrm{Tw_{fg}}\,}}(A)\) of finitely generated twisted Amodules into \({{\,\mathrm{Tw_{perf}}\,}}(A)\) is a Morita morphism. Thus, \({{\,\mathrm{Tw_{perf}}\,}}(A)\) is a Morita fibrant replacement of \({{\,\mathrm{Tw_{fg}}\,}}(A)\) and could be defined, up to a quasiequivalence, independently of the category \({{\,\mathrm{Tw}\,}}(A)\).
The notion of a twisted Amodule is closely related to that of a cohesive Amodule cf. [6].
Definition 3.2
A right dg Amodule M is cohesive if \(M^{\#}\) is of the form \(E \otimes _{A^{0}} A^{\#}\) for a graded right \(A^{0}\)module E that is projective, finitely generated in every degree and bounded. We will denote the dg category of cohesive Amodules by \(\mathscr {P}_{A}\).
The following result shows that any cohesive Amodule is, up to a homotopy, a perfect twisted Amodule.
Proposition 3.2
Any cohesive Amodule is a retract of a free cohesive Amodule.
Proof
The forgetful functor \(A\text {Mod}\rightarrow A^{\#}\text {Mod}\) has a left adjoint sending a (right) \(A^{\#}\)module L to the Amodule G(L) consisting of formal symbols \(x+dy\) for \(x,y \in L\) with Aaction given by
and differential \(d(x+dy) = dx\), see e.g. the proof of Theorem 3.6 in [41]. The unit map \(L \rightarrow G(L)\) is injective with cokernel isomorphic to \(L[1]\). In particular, if L is projective, then \(G(L)^{\#}\) is isomorphic to \(L\oplus L[1]\).
Let P be a dg Amodule and assume that \(P^{\#}\) is projective. Let L be a (projective) \(A^{\#}\)module such that \(P^{\#}\oplus L\) is free. Then P is a retract of \(F :=P \oplus P[1] \oplus G(L)\) and \(F^{\#}\) is isomorphic to \(P^{\#}\oplus P^{\#}[1]\oplus L \oplus L[1]\), which is a free \(A^{\#}\)module. Note that if \(P^{\#}\) is finitely generated then F can be chosen so that \(F^{\#}\) is of finite rank.
In particular a cohesive module M is a retract of a module F such that \(F^{\#}\) is a free \(A^{\#}\)module of finite rank. But then we can write \(F^{\#} = F'\otimes _{A^{0}}A^{\#}\) for some graded \(A^{0}\)module \(F'\) that is bounded and free of finite rank in every degree, i.e. F is a free cohesive module. \(\square \)
Under mild assumptions cohesive modules and perfect twisted modules agree.
Lemma 3.1
If A is concentrated in nonnegative degrees and A is flat over \(A^{0}\) then idempotents split in the homotopy category of cohesive modules.
Proof
We call a bounded complex of finitely generated projective modules over \(A^{0}\) strictly perfect; any dgmodule \(A^0\)module quasiisomorphic to a strictly perfect will be called perfect.
Let \(h: E' \otimes _{A^0} A \rightarrow E' \otimes _{A^0} A\) be a homotopy idempotent. We can construct a splitting in the homotopy category of all Amodules by the wellknown telescope trick. Writing \(E = E' \otimes _{A^0} A\) we define a map \(\sigma _{h} : \oplus _{\mathbb {N}} E \rightarrow \oplus _{\mathbb {N}} E\) defined by sending the ith copy of E to the \((i+1)\)st copy using h and to the ith copy using \(1h\). Then the cone of \(\sigma _{h}\) splits h, i.e. there is an equivalence \(E \simeq {{\,\mathrm{cone}\,}}(\sigma _{h})\oplus {{\,\mathrm{cone}\,}}(\sigma _{1h})\).
By construction \({{\,\mathrm{cone}\,}}(\sigma _{h})\) is of the form \((N' \otimes _{A^0} A, D_N)\) for some graded \(A^0\)module \(N'\). Moreover, inspecting the construction we see that \((N', D_N^{0})\) is equal to \({{\,\mathrm{cone}\,}}(\sigma _{h^{0}})\), which is the complex obtained by going through the above construction with \((E', h^{0})\) in place of (E, h). To check this note that the underlying complex of \({{\,\mathrm{cone}\,}}(\sigma _{h})\) consists of a direct sum of copies of \(E' \otimes A\) with some degree shifts. Writing the differential as a matrix each coefficient is given by \({\mathbf {1}}\), \(D_E\) or h. Dividing out by \(A^{\ge 1}\) leaves a direct sum of shifted copies of \(E'\) with differential given by a matrix of \({\mathbf {1}}\), \(D_E^{0}\) and \(h^{0}\), which is exactly \({{\,\mathrm{cone}\,}}(\sigma _{h^{0}})\).
The complex \({{\,\mathrm{cone}\,}}(\sigma _h)\) is a quasicohesive module in the sense of [6] (i.e. a cohesive module without the assumption of finite generation) and we assumed that A is in nonnegative degrees and is flat over \(A^{0}\). In this situation Theorem 3.2.7 of loc. cit. states that \({{\,\mathrm{cone}\,}}(\sigma _{h})\) is cohesive if \({{\,\mathrm{cone}\,}}(\sigma _{h^{0}})\) is perfect.
But as A is in nonnegative degrees we can check that \(h^{0}\) is a homotopy idempotent for \((E', D_E^{0})\) in \(A^{0}\text {Mod}\). In fact assuming K is a homotopy from h to \(h^{2}\) then \(K^{0}\) is a homotopy from \(h^{0}\) to \((h^{0})^{2}\). Thus \({{\,\mathrm{cone}\,}}(\sigma _{h^{0}})\) is a direct summand of \(E'\) in the homotopy category. We claim that this implies it is perfect. Following [43] we say a map is algebraically nuclear if it factors through a strictly perfect complex. Then a complex is homotopy equivalent to a strictly perfect complex if and only if the identity is homotopy equivalent to a nuclear map, see [43, Proposition 1.1]. Since the identity of \({{\,\mathrm{cone}\,}}(\sigma _{h^{0}})\) factors through \(E'\) it is algebraically nuclear up to homotopy. This proves the claim and the lemma. \(\square \)
Corollary 3.1
If A is concentrated in nonnegative degrees and flat over \(A^{0}\) then the dg categories \({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \(\mathscr {P}_{A}\) are quasiequivalent.
Proof
The inclusion of the dg category of finitely generated twisted modules \(J:{{\,\mathrm{Tw_{fg}}\,}}(A) \rightarrow \mathscr {P}_{A}\) is quasifully faithful by construction; moreover it induces, by Proposition 3.2 and Lemma 3.1 an equivalence on idempotent completions of its homotopy categories. It follows that J is a Morita morphism and since by Lemma 3.1\(\mathscr {P}_{A}\) is Morita fibrant, it could be viewed as a Morita fibrant replacement of \({{\,\mathrm{Tw_{fg}}\,}}(A)\). It is, thus, quasiequivalent to \({{\,\mathrm{Tw_{perf}}\,}}(A)\), cf. Remark 3.3. \(\square \)
Example 3.1
Let \(A=\Omega (X)\), the de Rham algebra of a smooth manifold X, and \(E\rightarrow X\) be a flat vector bundle over X. Then \(\Gamma (X,E)\), the sections of the bundle E, form a finitely generated projective module over \(A^0\) and the given flat connection form on E determines the structure of a cohesive A module (and thus, of a perfect twisted A–module) on \(\Gamma (X,E)\otimes _{A^0} A\).
The notions described in this and the previous sections make sense when A is a pseudocompact dg algebra. The definitions of \( {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A), {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A), {{\,\mathrm{MC_{dg}}\,}}(A), {{\,\mathrm{Tw}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\) are repeated verbatim. One slight subtlety is that the notions of twisted module over A as a pseudocompact dg algebra and as a discrete dg algebra (i.e. forgetting its pseudocompact structure) are different, in general. This is because the tensor product of a pseudocompact algebra and a (discrete) vector space is understood to be completed. A twisted Amodule in this case is the same as a free Acontramodule.
Remark 3.4
In good cases the homotopy category of twisted modules also agrees with Positselski’s derived category of the second kind [41]. It follows from the proof of Proposition 3.2 that twisted Amodules agree up to homotopy with Positselski’s projective Amodules \(A\text {Mod}_{\text{ proj }}\). Under certain conditions on \(A^{\#}\), the underlying graded algebra of A, there is an equivalence \({{\,\mathrm{H^{0}}\,}}(A\text {Mod}_{\text{ proj }}) \cong D^{\text {ctr}}(A\text {Mod})\). See Sections 3.8, 3.9 and 4.4 of [41].
Thus, for any dg algebra or pseudocompact dg algebra A, we associated several invariants: the dg categories \({{\,\mathrm{MC_{dg}}\,}}(A), {{\,\mathrm{Tw}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\) as well as moduli sets \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\) and \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\). These are not quasiisomorphism invariants of A as, e.g. Example 2.2 demonstrates. Later on we will show that they are, nevertheless, homotopy invariants in two different contexts: analytic and algebraic.
4 Smooth Homotopies for dg Algebras
In this section we will consider dg ArensMichael (AM) algebras. These are complete, Hausdorff, locally mconvex topological dg algebras over \({\mathbb {R}}\). For a detailed introduction see [40]. A special case of a dg AM algebra is a nuclear dg algebra, e.g the de Rham algebra \(\Omega (X)\) where X is a smooth manifold or a simplicial complex.
For our purposes it is enough to know that any dg AM algebra is an inverse limit of dg Banach algebras. There is a natural notion of smooth homotopy between dg AM algebras.
Definition 4.1
Let \(f_0, f_1:A\rightarrow B\) be two continuous maps between dg AM algebras A and B. A smooth homotopy between \(f_0\) and \(f_1\) is a map \(F:A\rightarrow B\otimes \Omega [0,1]\) such that \(({\mathbf {1}}_A\otimes ev_{0})\circ F=f_0\) and \(({\mathbf {1}}_A\otimes ev_{1})\circ F=f_1\).
Furthermore, A and B are called smooth homotopy equivalent if there are maps \(f:A\rightarrow B\) and \(g:B\rightarrow A\) such that \(f\circ g\) and \(g\circ f\) are smooth homotopic to \({\mathbf {1}}_B\) and \({\mathbf {1}}_A\) respectively.
Lemma 4.1
Any AM dg algebra A is smooth homotopy equivalent to \(A\otimes \Omega [0,1]\).
Proof
It suffices to prove that \(\Omega [0,1]\) is smooth homotopy equivalent to \({\mathbb {R}}\). This, in turn, would follow if we show that the map \(1_{\Omega [0,1]}\circ ev_0:\Omega [0,1]\rightarrow \Omega [0,1]\) is smooth homotopic to the identity map on \(\Omega [0,1]\). This last homotopy can be taken to be the diagonal map \(\Delta :\Omega [0,1]\rightarrow \Omega [0,1]\otimes \Omega [0,1]\) induced by the multiplication \([0,1]\times [0,1]\rightarrow [0,1]\). \(\square \)
Proposition 4.1
The relation of smooth homotopy on morphisms between AM algebras is an equivalence relation.
Proof
Reflexivity is obvious and symmetry follows from the existence of a autodiffeomorphism of [0, 1] swapping the endpoints. For transitivity consider a homotopy \(F:A\rightarrow B\otimes \Omega [0,1]\cong B\otimes \Omega [0,\frac{1}{2}]\) such that
\(({\mathbf {1}}_B\otimes ev_{0})\circ F=f_1\) and \(({\mathbf {1}}_B\otimes ev_{\frac{1}{2}})\circ F=f_2\), and another one \(G:A\rightarrow B\otimes \Omega [0,1]\cong B\otimes \Omega [\frac{1}{2},1]\) such that \(({\mathbf {1}}_B\otimes ev_{\frac{1}{2}})\circ G=f_2\) and \(({\mathbf {1}}_B\otimes ev_{1})\circ G=f_3\), The homotopies F and G together constitute a map
where the target of the last map could be viewed as Bvalued forms on [0, 1] that are not necessarily smooth at \(\frac{1}{2}\).
To remedy the nonsmoothness issue at \(\frac{1}{2}\), let \(h_1:[0,\frac{1}{2}]\rightarrow [0,\frac{1}{2}]\) be a smooth function such that \(h(0)=0,h(\frac{1}{2})=\frac{1}{2}\) and constant in small neighbourhoods of the endpoints. The correspondence \(\omega \rightarrow \omega \circ h\) determines a homomorphism \(\Omega [0,\frac{1}{2}]\rightarrow \Omega _0[0,\frac{1}{2}]\) where \(\Omega _0\) denotes differential forms constant near the endpoints. Note that this homomorphism preserves the values of the differential forms at the endpoints. Similarly, there is a homomorphism \(h_2:\Omega [\frac{1}{2},1]\rightarrow \Omega _0[\frac{1}{2},1]\) preserving the values at endpoints. The homomorphisms \(h_1\) and \(h_2\) together constitute a map
and we denote by \(\tilde{h}\) the composition of the latter map with the inclusion \( (\Omega _0[0,\frac{1}{2}]\times _{{\mathbb {R}}}\Omega _0[\frac{1}{2},1]\subset \Omega [0,1]\); the maps \(\tilde{h}\) thus gets rid of a potential nonsmoothness at \(\frac{1}{2}\). Then
is the desired homotopy between \(f_1\) and \(f_3\). \(\square \)
There are also obvious notions of a polynomial or real analytic homotopy, both of which imply smooth homotopy. The relations of polynomial or analytic homotopy are not necessarily transitive.
As in the discrete setting a MC element x in a dg AM algebra A is an element of degree 1 such that \(dx+x^2=0\) and we can define the gauge action etc. in the same way.
Definition 4.2
Let A be a dg AM algebra. Two MC elements \(x_0, x_1\in A\) are called smoothly homotopic if there exists a MC element \(X\in A\otimes \Omega [0,1]\) such that \(({\mathbf {1}}_A\otimes ev_{0})(X)=x_0\) and \(({\mathbf {1}}_A\otimes ev_{1})(X)=x_1\).
We have the following result that is a direct consequence of Proposition 4.1.
Lemma 4.2
The relation of smooth homotopy on MC elements of an AM algebra is an equivalence relation. \(\square \)
Let \(X=x(z)+y(z)dz\) be a smooth homotopy as above. Then it is equivalent to the system of equations
Theorem 4.1
Two MC elements \(x_0\) and \(x_1\) are smoothly homotopic if and only if they are gauge equivalent via an element of \(A^{\times }\) in the path component of 1.
Proof
Note first that we can, without loss of generality, assume that A is a Banach space. Indeed, having a MC element in \(A :=\varprojlim A_\alpha \) where \(A_\alpha \) are Banach spaces, is the same as having a compatible collection of MC elements in every \(A_\alpha \) (as MC elements are just maps from the algebra \({\mathbb {R}}[x \  \ dx + x^{2} = 0]\)). The same is true for gauge equivalences and also for homotopies since tensoring with the nuclear space \(\Omega [0,1]\) commutes with inverse limits by Theorem 9.2.
The proof is similar to that in [13, Theorem 4.4]. Suppose that two MC elements \(x_0,x_1\in A\) are gauge equivalent; that means that there exists \(g\in A^\times \) for which \(g x_0g^{1}dg\cdot g^{1} = x_1\). By assumption, there exists a smooth curve g(z) with \(g(0)=1\) and \(g(1)=g\). Then define the homotopy \(x(z)+y(z)\) in A by \(x(z)=g(z)x_0g^{1}(z)dg\cdot g^{1}\) and \(y(z)=\partial _z g(z)g^{1}(z)\). Then a straightforward inspection shows that (2) holds.
Conversely, suppose that there is a homotopy \(x(z)+y(z)dz\) such that (2) holds. Consider the differential equation
with the initial condition \(g(0)=1\). (We note that this gives a compatible system of differential equations in Banach algebras.) If g(z) is a solution of this differential equation and is invertible in A then (2) would be satisfied with \(g(z) x_0g^{1}(z)dg\cdot g^{1}\) in place of x(z) Since a solution of a linear differential equation in a Banach algebra is unique, the solution in the AM algebra A is likewise unique and we conclude that, in fact, \(x(z)=g(z)x_0g^{1}(z)dg\cdot g^{1}\) and thus, \(x_0\) and \(x_1\) are gauge equivalent.
But (4) does have the solution \(g(z)=\mathrm{P}\exp \int _0^zy(t)dt\) where \(\mathrm{P}\exp \) denotes the path ordered integral, defined by
By [3, Propositions 3 and 4], g(z) is invertible. \(\square \)
Corollary 4.1
A smooth homotopy equivalence between two AM dg algebras A and B induces bijections \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\cong {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(B)\) and \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\cong {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(B)\).
Proof
Let \(f: A \rightarrow B\) and \(g: B \rightarrow A\) be homomorphisms such that \(g \circ f\) and \(f\circ g\) are smoothly homotopic to the identity. Then f and g induce functions between \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\) and \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}}\,}}(A)\). To see they are inverse note that, for each \(a \in A\), \(g \circ f(a)\) is smoothly homotopic to a and thus by Theorem 4.1 it is gauge equivalent to a, similarly \(f \circ g(b)\) is gauge equivalent to b. The bijection \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\cong {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(B)\) is proved in the same way. \(\square \)
We would like to consider twisted modules over AM algebras. Since an endomorphism algebra of an infinitedimensional space is, in general, not AM, it is not clear whether an arbitrary (infinitely generated) twisted module is a reasonable notion. For an AM algebra A, we consider the dg category \({{\,\mathrm{Tw_{fg}}\,}}(A)\) of dg Amodules of the form \(V\otimes A\) where V is a finitedimensional \(\mathbb R\)space and denote \({{\,\mathrm{Tw_{perf}}\,}}(A)\), its Morita fibrant replacement. The latter can be obtained, e.g. by taking the closure of the Yoneda embedding of \({{\,\mathrm{Tw_{fg}}\,}}(A)\) with respect to homotopy idempotents.
Remark 4.1
Note that the definition of \({{\,\mathrm{Tw_{perf}}\,}}(A)\) depends, strictly speaking, on whether A is viewed as an AM algebra or a discrete one since in the latter case \({{\,\mathrm{Tw_{perf}}\,}}(A)\) is defined in terms of \({{\,\mathrm{Tw}\,}}(A)\) which is not considered for an AM algebra A. Nevertheless, this is only an ambiguity up to quasiequivalence since the notion of a Morita fibrant replacement is welldefined up to a quasiequivalence of dg categories, cf. Remark 3.3. Corollary 3.1 continues to hold for an AM algebra A with the same proof.
A map \(A\rightarrow B\) of AM algebras induces functors \({{\,\mathrm{MC_{dg}}\,}}(A)\rightarrow {{\,\mathrm{MC_{dg}}\,}}(B)\) and \({{\,\mathrm{Tw_{perf}}\,}}(A)\rightarrow {{\,\mathrm{Tw_{perf}}\,}}(B)\). It is natural to ask how these induced functors differ for smoothly homotopic maps. The following result answers this question.
Proposition 4.2
Let \(f,g:A\rightarrow B\) be two smoothly homotopic maps of AM algebras. Then the induced functors on homotopy categories \({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(B)\) and \({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(B)\) are isomorphic.
Lemma 4.3
For an AM algebra A consider the two natural maps
Then the induced functors
are isomorphic.
Proof
The map \(i:A\rightarrow A\otimes \Omega [0,1];a\mapsto a\otimes 1\) induces a quasiequivalence
Indeed, i is a smooth homotopy equivalence by Lemma 4.1, and Corollary 4.1 then implies that \({{\,\mathrm{MC_{dg}}\,}}(A)(i)\) is quasiessentially surjective (even essentially surjective). The quasifully faithfulness of \({{\,\mathrm{MC_{dg}}\,}}(A)(i)\) follows from acyclicity of \(\Omega [0,1]\).
The composition \(({\mathbf {1}}_A\otimes ev_{0})\circ i:A\rightarrow A\) is clearly the identity map on A and it follows that the map \({\mathbf {1}}_A\otimes ev_{0}\) induces the functor \({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A\otimes \Omega [0,1])\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A)\) that is quasiinverse to the one induced by i. The same can be said about the functor induced by \({\mathbf {1}}_A\otimes ev_{1}\). Since quasiinverse functors are determined uniquely up to an isomorphism, the desired claim follows. \(\square \)
Proof of Proposition 4.2
Let \(h:A\rightarrow B\otimes \Omega [0,1]\) be a smooth homotopy between f and g. Then \(({\mathbf {1}}_B\otimes ev_1)\circ h=f\) and \(({\mathbf {1}}_B\otimes ev_2)\circ h=g\), and applying Lemma 4.3 we obtain the desired result.
Theorem 4.2
Let A and B be two dg AM algebras that are smoothly homotopy equivalent. Then there is a quasiequivalence between the dg categories

(1)
\({{\,\mathrm{MC_{dg}}\,}}(A)\) and \({{\,\mathrm{MC_{dg}}\,}}(B)\),

(2)
\({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(B)\).
Proof
Let \(f:A\rightarrow B\) and \(g:B\rightarrow A\) be the dg algebra maps such that \(f\circ g\) is smoothly homotopic to \({\mathbf {1}}_B\) and \(g\circ f\) is smoothly homotopic to \({\mathbf {1}}_A\). These maps induce functors \({{\,\mathrm{MC_{dg}}\,}}(A)(f):{{\,\mathrm{MC_{dg}}\,}}(A)\rightarrow {{\,\mathrm{MC_{dg}}\,}}(B)\) and \({{\,\mathrm{MC_{dg}}\,}}(A)(g):{{\,\mathrm{MC_{dg}}\,}}(B)\rightarrow {{\,\mathrm{MC_{dg}}\,}}(A)\). Corollary 4.1 implies that \({{\,\mathrm{MC_{dg}}\,}}(A)(f)\) is quasiessentially surjective and Proposition 4.2 – that \({{\,\mathrm{MC_{dg}}\,}}(A)(f)\) and \({{\,\mathrm{MC_{dg}}\,}}(A)(g)\) induce an equivalence \({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(B)\). It follows that \({{\,\mathrm{MC_{dg}}\,}}(A)\) and \({{\,\mathrm{MC_{dg}}\,}}(B)\) are quasiequivalent.
The same argument establishes a quasiequivalence between \({{\,\mathrm{Tw_{fg}}\,}}(A)\) and \({{\,\mathrm{Tw_{fg}}\,}}(B)\) after one observes that a finitely generated twisted Amodule is the same as an MC element in the dg algebra \(A\otimes {{\,\mathrm{End}\,}}(V)\) where V is a graded finitely generated free \(k\)module and similarly for B. It follows that \({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(B)\) (as Morita fibrant replacements of \({{\,\mathrm{Tw_{fg}}\,}}(A)\) and \({{\,\mathrm{Tw_{fg}}\,}}(B)\)) are quasiequivalent. \(\square \)
If X is a smooth manifold or a simplicial complex we write \({{\,\mathrm{MC_{dg}}\,}}(X)\) and \({{\,\mathrm{Tw}\,}}(X)\) for the dg categories \({{\,\mathrm{MC_{dg}}\,}}(\Omega (X))\) and \({{\,\mathrm{Tw}\,}}(\Omega (X))\) respectively. For a smooth (piecewise smooth in the case of simplicial complexes) homotopy \(X\times [0,1]\rightarrow Y\) of maps between X and Y, the associated map \(\Omega (Y)\rightarrow \Omega (Y\times [0,1])\cong \Omega {Y}\otimes \Omega [0,1]\) (see Corollary 9.3 regarding the last isomorphism) is a smooth homotopy of the corresponding dg AM algebras. Therefore, we have the following result.
Corollary 4.2
Let \(f,g:X\rightarrow Y\) be (piecewise) smooth homotopic maps between M and N. Then the induced functors
are isomorphic.
If X and Y are (piecewise) smooth homotopy equivalent smooth manifolds or simplicial complexes then the following dg categories are quasiequivalent.
\(\square \)
5 Strong Homotopies for dg Algebras
In this section we introduce the notion of strong homotopy between maps of dg algebras and the concomitant notion of strong homotopy equivalence of dg algebras. All definitions, results and proofs are applicable verbatim to dg pseudocompact algebras as long as we keep in mind our conventions that homomorphisms of pseudocompact algebras are assumed to be continuous, unmarked tensor products are automatically completed etc.
Let I be the singular simplicial set of the unit interval [0, 1]; recall that the set \(I_n\) of nsimplices of I is the set of singular nsimplices of [0, 1], i.e. the set of continuous maps \(\Delta ^n\rightarrow [0,1]\) where \(\Delta ^n\) is the standard topological nsimplex. We will consider a collection of simplicial subsets of I defined as follows.

(1)
The simplicial set \(K_0\) is generated by two nondegenerate simplices \(a_0,b_0\) in degree zero corresponding to the endpoints of [0, 1] and one nondegenerate simplex \(a_1\) in degree one corresponding to the linear path from 0 to 1 in [0, 1], viewed as a 1simplex in [0, 1].

(2)
The simplicial set \(K_1\) contains all the simplices of \(K_0\) and has, additionally, one other nondegenerate 1simplex \(b_1\) corresponding to the linear path from 1 to 0 in [0, 1].

(3)
Assuming that for \(n\ge 1\) the simplicial set \(K_n\) has been defined, we let \(K_{n+1}\) contain all the simplices of \(K_n\) plus two additional nondegenerate simplices \(a_n,b_n\) in degree n defined as follows. Writing \(\Delta ^n\) as the convex hull of its vertices \(x_0,\ldots , x_n\), we let \(a_n:\Delta ^n\rightarrow [0,1]\) and \(b_n:\Delta ^n\rightarrow [0,1]\) be the affine maps for which
$$\begin{aligned}a(x_i)={\left\{ \begin{array}{ll}0, \text {if { i} is even,}\\ 1,\text {if { i} is odd}\end{array}\right. } \text {and~} b(x_i)={\left\{ \begin{array}{ll}1, \text {if { i} is even,}\\ 0,\text {if { i} is odd.}\end{array}\right. }\end{aligned}$$ 
(4)
The simplicial set \(K_\infty \) is the union of the nested sequence of simplicial sets \(K_1\subset K_2\subset \ldots \).
Remark 5.1
We have the following inclusions of the simplicial sets introduced above:
as well as their geometric realizations \(K_n\). It is clear that \(K_0\) is a cell decomposition of [0, 1] with two 0cells and one 1cell. Furthermore, for \(n=1,\ldots ,\infty \) the cell complex \(K_n\) is homeomorphic to the nsphere \(S^n\) with two cells in each dimension.
Lemma 5.1
The simplicial set \(K_\infty \) is a retract of I.
Proof
Consider the category \({\mathscr {K}}\) with two objects and two mutually inverse morphisms between them. The simplicial set \(K_\infty \) is, by definition, the nerve of \({\mathscr {K}}\). Since \({\mathscr {K}}\) is a groupoid, its nerve is a Kan simplicial set (cf. [19, Lemma 3.5]). Clearly, the inclusion \(K_\infty \rightarrow I\) is an acyclic cofibration and it follows that it admits a splitting, exhibiting \(K_\infty \) as a retract of I. \(\square \)
Remark 5.2
Since the simplicial sets \(K_n, 1\le n<\infty \) are not contractible, they are not retracts of I. The simplicial set \(K_0\), while contractible, is still not a retract of I since it is not Kan.
We denote by \(K_n^*, n=0,1,\ldots , \infty \) and \(I^*\) the complexes of normalized cochains on the corresponding simplicial sets with values in \(k\). Endowed with the AlexanderWhitney product, these become dg algebras, in fact pseudocompact dg algebras (as duals to dg coalgebras). We reiterate that, even though \(K_\infty ^*\) is a degreewise finitely generated free \(k\)module, it will be regarded as pseudocompact, in particular tensor products with it will always be understood in the completed sense, as per our convention. Note that this subtlety is vacuous for \(K_n^*, n<\infty \) as these free \(k\)modules have totally finite rank. We have the following tower of surjective maps of dg pseudocompact algebras:
Note that any pseudocompact dg algebra in this tower admits two maps \(ev_1\) and \(ev_2\) to \(k\) corresponding to the inclusion of the two endpoints of [0, 1] into the corresponding simplicial set. We can define the notion of a Kmultiplicative homotopy of dg algebra maps where K is any simplicial subset of I containing the 0simplices corresponding to the endpoints of [0, 1]. In the following definition K is \(K_n, n=0, 1,\ldots ,\infty \), or I.
Definition 5.1
Let \(f,g:A\rightarrow B\) be two dg algebra maps. An elementary Khomotopy between them is a map \(H:A\rightarrow B\otimes K^*\) such that \(({\mathbf {1}}_B \otimes ev_1)(H)=f\) and \(({\mathbf {1}}_B\otimes ev_2)(H)=g\). We say that f and g are Khomotopic, if they are related by the equivalence relation generated by elementary Khomotopy. If \(K=I\), we will refer to Khomotopy as strong homotopy.
Furthermore, A and B are called K homotopy equivalent if there are maps \(f:A\rightarrow B\) and \(g:B\rightarrow A\) such that \(f\circ g\) and \(g\circ f\) are Khomotopic to \({\mathbf {1}}_B\) and \({\mathbf {1}}_A\) respectively. If \(K=I\) we will refer to a K homotopy equivalence as a strong homotopy equivalence.
Remark 5.3
It is easy to see that for \(n>0\) the relation of elementary homotopy is symmetric but not transitive and for \(n=0\) it is not even symmetric. Furthermore, using normalized cochains is essential: almost all of our results will fail for unnormalized cochains. For example, the unnormalized singular cochain algebra of the onepoint topological space is the dg algebra of Example 2.2 having nontrivial dg categories of MC elements and twisted modules.
Since \(K_\infty \) is a retract of I, the notions of strong homotopy and strong homotopy equivalence are equivalent to those of a \(K_\infty \) homotopy and \(K_\infty \) homotopy equivalence respectively. It is this notion of multiplicative homotopy that is of chief relevance to this paper. Also of interest is the notion of \(K_0\) homotopy (sometimes called derivation homotopy); it has been used in rational homotopy theory, cf. for example [2].
Lemma 5.2
Any dg algebra A is strongly homotopy equivalent to \(A\otimes I^*\) (and thus, also to \(A\otimes K_\infty ^*\)).
Proof
The multiplication map \([0,1]\times [0,1]\rightarrow [0,1]\) makes \(I^*\) into a bialgebra and the coproduct map \(I^*\rightarrow I^*\otimes I^*\) could be viewed as a strong homotopy between the identity map on \(I^*\) and a projection onto \(k\). It follows that \(I^*\) (and thus, \(K_\infty ^*\)) is strongly homotopy equivalent to \(k\) and the desired statement is an immediate consequence. \(\square \)
Remark 5.4
Similarly, \(K_0^*\) is \(K_0\)homotopy equivalent to \(k\) and so A is \(K_0\) homotopy equivalent to \(A\otimes K_0\); we will not use this result. Since for \(0<n<\infty \) the algebra \(K_n^*\) is not acyclic, it is not \(K_n^*\) homotopy equivalent to \(k\). We will see later on (Example 5.1) that \(K_0^*\) is not \(K_2\) homotopy equivalent to \(k\).
Proposition 5.1
Let \(f,g:A\rightarrow B\) be two Khomotopic dg algebra maps. If C is a third dg algebra then for any dg algebra map \(h:C\rightarrow A\) the maps \(f\circ h,g\circ h:C\rightarrow B\) are Khomotopic. Similarly for any dg algebra map \(k:B\rightarrow C\) the maps \(k\circ f, k\circ g:A\rightarrow C\) are Khomotopic.
Proof
It suffices to treat the case of an elementary homotopy. If \(H:A\rightarrow B\otimes K^*\) is an elementary homotopy between f and g then \(H\circ h\) is an (elementary) Khomotopy between \(f\circ h\) and \(g\circ h\). Similarly, \((k\otimes {\mathbf {1}}_{K^*})\circ H\) is an (elementary) homotopy between \(k\circ f\) and \( k\circ g\). \(\square \)
Remark 5.5
Using Proposition 5.1 we can define the Khomotopy category of dg algebras as having dg algebras as objects and Khomotopy classes of maps as morphisms. Of most interest is the case \(K=K_\infty \) and \(K=K_0\) as \(K_\infty ^*\) and \(K_0^*\) are acyclic dg algebras. As was mentioned earlier, \(K_0^*\) is not \(K_\infty \) contractible and so, the relation of \(K_\infty \) homotopy equivalence is strictly finer than that of \(K_0\)equivalence.
Moreover, the existence of a Khomotopy category of dg algebras suggest the existence of a closed model category structure underpinning it. The standard closed model structures on dg algebras having quasiisomorphisms as weak equivalences, should then be localizations of the \(K_\infty \) closed model structure.
The main advantage of the dg algebra \(K^*_\infty \) over \(I^*\) is that the former is much smaller, and \(K_{\infty }\), as well as its quotients \(K_n,n<\infty \), admits an explicit description.
Proposition 5.2

(1)
The dg algebra \(K_\infty ^*\) is generated by two elements e, f in degree zero and two elements s, t in degree one, subject to the relations
$$\begin{aligned} e^2&=e,&f^2&=f,&ef&=fe=0;\\ fs&=s,&se&=s,&sf&=es=0;\\ tf&=t,&et&=t,&ft&=te=0;\\ t^2&=s^2=0 \end{aligned}$$with the differential specified by the formulae
$$\begin{aligned} d(e)&=ts,&d(f)&=st; \\ d(s)&=ts+st,&d(t)&=st+ts. \end{aligned}$$ 
(2)
The algebra \(K_n^*,0<n<\infty \) is the quotient of \(K_\infty ^*\) by the dg ideal generated by monomials in s and t of length \(>n\).

(3)
The algebra \(K_0^*\) is the quotient of \(K_\infty ^*\) by the dg ideal generated by t and polynomials in s of degree \(>1\).
Proof
Statements (2) and (3) clearly follow from (1). To prove (1), we use the interpretation of \(K^*_\infty \) as the normalized cochain algebra of the nerve of the category with two objects and two mutually inverse morphisms between them as in the proof of Lemma 5.1. It follows that \(K^*_\infty \) is the path algebra of the graded quiver
with arrows s and t placed in degree 1. The stated relations in \(K^*\) are precisely the relations in this path algebra, with the elements e and f corresponding to the length zero paths at the vertices of the above quiver. The formula for the differential in \(K^*_\infty \) is straightforward to obtain. \(\square \)
5.1 Strong Homotopies for MC Elements
There is a corresponding notion of Khomotopy for MC elements.
Definition 5.2
Two MC elements \(x_0, x_1\) in a dg algebra A are called Khomotopic if there exists an MC element \(X\in A \otimes K^*\) such that \(({\mathbf {1}}_A \otimes ev_0)(X)=x_0\) and \(({\mathbf {1}}_A \otimes ev_1)(X)=x_1\). If \(K=I\), this will be referred to as strong homotopy of MC elements.
It turns out that the notions of \(K_2\) homotopy and homotopy gauge equivalence for MC elements are equivalent.
Lemma 5.3
Let \(x,x^\prime \) be two MC elements in a dg algebra A. Then x and \(x^\prime \) are homotopy gauge equivalent if and only if they are \(K_2\)homotopic.
Proof
Let \(X\in A\otimes K^*_2\) be a \(K_2\)homotopy between x and \(x^\prime \). We could write
where \(y,y^\prime \) and \(z,z^\prime \) are elements of A of degrees 0 and 1 respectively. Writing down the MC equation for X and equating to zero the coefficients at e, f, s, t, st and ts we obtain:
The first line above is the statement that x and \(x^\prime \) are MC elements in A, the second and third – that the elements \(y+1\) and \(y^\prime +1\) determine right Amodule maps \(A^{[x]}\rightarrow A^{[x^\prime ]}\) and \(A^{[x^\prime ]}\rightarrow A^{[x]}\) respectively and the last two lines – that the elements \((y+1)(y^\prime +1)\) and \((y^\prime +1)(y+1)\) are cohomologous to 1 in \(A^x\) and \(A^{x^\prime }\) respectively. It follows that x and \(x^\prime \) are homotopy gauge equivalent. Conversely, if x and \(x^\prime \) are homotopy gauge equivalent, then performing the above calculations in the reverse order, we find a \(K_2\)homotopy between x and \(x^\prime \). \(\square \)
Rather surprisingly, the notions of \(K_2\) and \(K_\infty \) homotopy for MC elements are equivalent. This could be interpreted as a strong homotopy analogue of the Schlessinger–Stasheff theorem. Strikingly, it holds with no assumptions on the dg algebra in question. To show this, we need a few preliminary results. Recall that we introduced a category \({\mathscr {K}}\) having two objects \(O_1\) and \(O_2\) and two mutually inverse morphisms between them. Let \({\mathscr {K}}_\infty \) be the dg category with the same set of objects \(O_1\) and \(O_2\) and a set of free generators:
with \(x_n=y_n=n\). The differential d is given on the generators as follows:
and for \(n>0\):
Note that \({\mathscr {K}}_\infty \) is a cofibrant dg category. Clearly there is a surjection \({\mathscr {K}}_\infty \rightarrow {\mathscr {K}}\) whose kernel is generated by all \(x_n, y_n,n>0\). Then we have the following result.
Lemma 5.4
The map \({\mathscr {K}}_\infty \rightarrow {\mathscr {K}}\) is a quasiisomorphism, i.e. \({\mathscr {K}}_\infty \) is a cofibrant resolution of \({\mathscr {K}}\).
Proof
This is proved in [36, Theorem 9,]; note that \({\mathscr {K}}\) and \({\mathscr {K}}_\infty \) are called ‘coloured operads’ in the cited reference but these are really dg categories as they do not support operations of higher arities. \(\square \)
Remark 5.6

The proof of Lemma 5.4 in [36] is computational. In fact, the resolution \({\mathscr {K}}_\infty \rightarrow {\mathscr {K}}\) is the standard reduced barcobar resolution of the category \({\mathscr {K}}\). The existence of such a resolution seems to be a wellknown fact and is mentioned, in, e.g. [15, 29]. We are, however, unaware of any reference where this general fact has been given a full proof.

A different (smaller) resolution of the category \({\mathscr {K}}\) was described in [15, Corollary 3.7.3].

A one object analogue of the dg category \({\mathscr {K}}\) is the algebra \(k[s,s^{1}]\) with \(s=0\). A cofibrant resolution of this algebra was constructed in [10]; the formulae are essentially the same as for \({\mathscr {K}}_\infty \).
Lemma 5.5
Let A be a dg algebra and \(x, x^\prime \in {{\,\mathrm{MC}\,}}(A)\). Then there is a 11 correspondence between strong homotopies from x to \(x^\prime \) and dg functors \({\mathscr {K}}_\infty \rightarrow {{\,\mathrm{MC_{dg}}\,}}(A)\) sending \(O_1\) and \(O_2\) to x and \(x^\prime \) respectively.
Proof
Let \(X\in {{\,\mathrm{MC}\,}}(A\otimes K^*_\infty )\) be a strong homotopy from x to \(x^\prime \). We could write
In other words the coefficient of X at the monomial \(st\ldots t\) or \(st\ldots s\) of length n is \(u_n\) and the coefficient at the monomial \(ts\ldots t\) or \(ts\ldots s\) of length n is \(v_n\). Note that the \(u_n,v_n\) are elements of A of degree n.
Similarly, a dg functor \(F:{\mathscr {C}}\rightarrow {{\,\mathrm{MC_{dg}}\,}}(A)\) such that \(F(O_1)=x\) and \(F(O_2)=x^\prime \) is determined (since \({\mathscr {C}}\) is a free category) by a collection of elements
where \(n=0,1,\ldots \).
The correspondence between these two sets of data is given by
and, for \(n>0\):
Finally, a somewhat tedious but straightforward calculation, similar to that of Lemma 5.3 shows that the MC equation \(d(X)+X^2=0\) translates into the condition that F is a dg functor (i.e. determines a dg map on \({{\,\mathrm{Hom}\,}}\)complexes). \(\square \) \(\square \)
Theorem 5.1
Let A be a dg algebra. Then two MC elements in A are strongly homotopic if and only if they are homotopy gauge equivalent.
Proof
If two MC elements \(x, x^\prime \) in A are strongly (or \(K_\infty \)) homotopic then they are \(K_2\) homotopic since \(K_2^*\) is a quotient of \(K_\infty ^*\) and thus by Lemma 5.3 they are homotopy gauge equivalent.
Conversely, let \(x,x^\prime \in {{\,\mathrm{MC}\,}}(A)\) be homotopy gauge equivalent and consider a map \(f:x\rightarrow x^\prime \) inducing an isomorphism in \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{MC_{dg}}\,}}(A))\). Let \({\mathscr {K}}_0\) be the \(k\)linear category generated by two objects O and \(O^\prime \) and a single morphism \(i:O\rightarrow O^\prime \). Then there is a unique dg functor \(F:{\mathscr {K}}_0\rightarrow {{\,\mathrm{MC_{dg}}\,}}(A)\) mapping i to f. Since f represents an isomorphism in \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{MC_{dg}}\,}}(A))\), the functor F factors through \(L_i({\mathscr {K}}_0)\), the derived localisation of \({\mathscr {K}}_0\), cf. [49]. On the other hand, it follows from the proof of [49, Corollary 9.7] that \(L_i(\mathscr {K}_0)\) is quasiequivalent to the category \({\mathscr {K}}\) consisting of two mutually inverse isomorphisms between two objects \(O_1\) and \(O_2\). Since \({\mathscr {K}}_\infty \) is a cofibrant replacement of \({\mathscr {K}}\), we obtain a dg functor \({\mathscr {K}}_\infty \rightarrow {{\,\mathrm{MC_{dg}}\,}}(A)\) taking \(O_1\) and \(O_1\) to x and \(x^\prime \) respectively. By Lemma 5.5 this implies that x and \(x^\prime \) are strongly homotopic. \(\square \)
Corollary 5.1
For \(n=2,3\ldots ,\infty \) the relation of \(K_n\)homotopy on MC elements of a dg algebra is an equivalence relation.
Proof
Indeed, by Theorem 5.1 two MC elements in a dg algebra A are \(K_n\)homotopic if and only if they are homotopy equivalent as objects in \({{\,\mathrm{MC_{dg}}\,}}(A)\). The latter relation is obviously an equivalence relation. \(\square \) \(\square \)
Corollary 5.2
A strong homotopy equivalence between two dg algebras A and B induces a bijection \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\cong {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(B)\).
Proof
The given strong homotopy equivalence between A and B clearly induces a bijection of MC elements up to strong homotopy. By Theorem 5.1 this becomes a bijection of MC elements up to homotopy gauge equivalence, i.e. a bijection \({{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(A)\cong {{\,\mathrm{{\mathscr {M}}{\mathscr {C}}_h}\,}}(B)\). \(\square \)
The following result is a strong homotopy analogue of Proposition 4.2 and its proof is completely analogous, after replacing \(\Omega [0,1]\) with \(I^*\) and Corollary 4.1 with Corollary 5.2.
Proposition 5.3
Let \(f,g : A\rightarrow B\) be two strongly homotopic maps of dg algebras. Then the induced functors on homotopy categories:

(1)
\({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(f), {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(g): {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(B)\);

(2)
\({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw}\,}}(f), {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw}\,}}(g): {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw}\,}}(B)\);

(3)
\({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(f), {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(g): {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(A)\rightarrow {{\,\mathrm{H^{0}}\,}}{{\,\mathrm{Tw_{perf}}\,}}(B)\)
are isomorphic. \(\square \)
The following result is a strong homotopy analogue of Theorem 4.2 and the proof is completely analogous, after replacing \(\Omega [0,1]\) with \(I^*\), Corollary 4.1 with Corollary 5.2 and Proposition 4.2 with Proposition 5.3.
Theorem 5.2
Let A and B be two dg algebras that are strongly homotopy equivalent. Then there are quasiequivalences of dg categories between

(1)
\({{\,\mathrm{MC_{dg}}\,}}(A)\) and \({{\,\mathrm{MC_{dg}}\,}}(B)\),

(2)
\({{\,\mathrm{Tw}\,}}(A)\) and \({{\,\mathrm{Tw}\,}}(B)\),

(3)
\({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}}\,}}(B)\). \(\square \)
Example 5.1
Assume that 2 is not invertible in \(k\) and consider the dg algebra \(K_0^*\); recall that it is the path algebra of the quiver
with \(s=1\) with the differential being \({{\,\mathrm{ad}\,}}(s)\). It is clear that \(s\in K^*_0\) is an MC element. It is easy to see that the \(K^*_0\)module \(K^{*[x]}_0\) is not isomorphic to \(K^*_0\) as its first homology group is \(k/2\ne 0\). It follows that s is not homotopy gauge equivalent to zero and therefore by Theorem 5.2, \(K^*_0\) is not \(K_2\) homotopy equivalent to \(k\).
Example 5.2
Now let \(k\) be a field of characteristic zero and consider \(A:=k[z,dz]\), the polynomial de Rham algebra of the line. This is quasiisomorphic to \(k\), and even polynomially homotopy equivalent to \(k\), however \({{\,\mathrm{MC_{dg}}\,}}(A)\) is not quasiequivalent to \({{\,\mathrm{MC_{dg}}\,}}(k)\) (and so, A is not \(K_2\) homotopy equivalent to \(k\)). To see this note that MC elements are just polynomial 1forms and a map in \({{\,\mathrm{MC_{dg}}\,}}(k[z,dz])\) between two such elements x and y is a polynomial f satisfying \(df + fx + yf = 0\). This differential equation will not usually have polynomial solutions, so different choices of x and y give a large number of MC elements in A which do not map to one another (and thus represent nonisomorphic objects in \({{\,\mathrm{H^{0}}\,}}{{\,\mathrm{MC_{dg}}\,}}(A)\)). The finitely generated twisted modules represented by these \({{\,\mathrm{MC}\,}}\) elements are examples of \(\mathscr {O}\)coherent \(\mathscr {D}\)modules with irregular singularities at infinity.
Remark 5.7
It is interesting to find out whether there is a closed model category on dg algebras with weak equivalences being what we call strong homotopy equivalences. Such a closed model category cannot be transferred from the category of complexes. For example, if \(k\) is a field of characteristic zero, the de Rham algebra \(k[z,dz]\) is chain homotopy equivalent to \(k\) as a complex of \(k\) vector spaces, but supports many nontrivial MC element and so, cannot be strongly homotopy equivalent to \(k\).
6 Categories of Twisted Modules Associated with Simplicial Sets
In this section we consider twisted modules over the dg pseudocompact algebra \(C^*(X)\), the normalized cochain complex of a simplicial set X. We have the dg categories \({{\,\mathrm{MC_{dg}}\,}}(C^*(X)), {{\,\mathrm{Tw}\,}}(C^*(X))\) and \({{\,\mathrm{Tw_{perf}}\,}}(C^*(X))\) that we will abbreviate to \({{\,\mathrm{MC_{dg}}\,}}(X), {{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}}\,}}(X)\) respectively. These dg categories are not (up to quasiequivalence) invariants of the weak homotopy type of X, however they are homotopy invariants of X in a sense that we will now make precise.
Recall cf. [19] that two maps of simplicial sets \(f,g:X\rightarrow Y\) are called homotopic if they can be extended to a map \(X\times K_0\rightarrow Y\); recall that \(K_0\) stands for the standard simplicial interval having two nondegenerate 0simplices and one nondegenerate 1simplex. This notion of homotopy is completely adequate only in the case where Y is a Kan complex (in which case it is an equivalence relation). We will now introduce the notion of a strong homotopy of maps between simplicial sets and the concomitant notion of strong homotopy equivalence. Let C be a fibrant cylinder object for the simplicial point. For example, we can take \(C=I\) or \(C=K_\infty \). Then \(X\times C\) is a cylinder object for any simplicial set X; moreover it is very good in the sense that the natural projection \(X\times C\rightarrow X\) is a fibration of simplicial sets. We will denote by \(i_0, i_1:X\rightarrow X\times C\) the two natural inclusions of X into \(X\times C\).
Definition 6.1
An elementary strong homotopy of maps of simplicial sets \(f,g:X\rightarrow Y\) is a map \(h:X\times C\rightarrow Y\) such that \(h\circ i_0 =f\) and \(h \circ i_1=g\). the maps f and g are called strongly homotopic if there is a chain of elementary homotopies connecting f and g.
Furthermore, X and Y are called strongly homotopy equivalent if there are maps \(f:X\rightarrow Y\) and \(g:Y\rightarrow X\) such that \(f\circ g\) and \(g\circ f\) are strongly homotopic to \({\mathbf {1}}_Y\) and \({\mathbf {1}}_X\) respectively.
Proposition 6.1
The relation of strong homotopy does not depend on the choice of a very good cylinder object C. Any such very good cylinder is strongly homotopy equivalent to the point.
Proof
Let P stand for the simplicial point. For any two very good cylinder objects C and \(C^{\prime }\) of P consider the diagram
Since the left downward arrow is a monomorphism and thus a cofibration of simplicial sets, and the right downward arrow is a fibration (\(C^{\prime }\) being fibrant), there exists a filler \(C\rightarrow C^{\prime }\). It follows that any strong homotopy based on \(C^{\prime }\) gives rise to a strong homotopy based on C. Symmetrically, any strong homotopy based on C gives rise to a strong homotopy based on \(C^{\prime }\); this proves the first claim of the proposition. The second claim follows from general theory of closed model categories: any very good cylinder object is weakly equivalent to the point; then, being a fibrantcofibrant object it is homotopy equivalent to the point through any fixed good cylinder object, i.e. it is strongly homotopy equivalent to the point. \(\square \)
Remark 6.1
Two natural candidates for C are \(K_\infty \) and I, the singular simplicial set of the unit interval [0, 1]. The multiplication on [0, 1] turns I into a simplicial monoid, and the multiplication map \(I\times I\rightarrow I\) could be viewed as a homotopy between the identity map on I and the map to the point. This is an explicit strong homotopy equivalence between I and the point.
Proposition 6.2
Let \(f,g:X\rightarrow Y\) be two maps of simplicial sets. If f and g are strongly homotopic, then the induced maps of pseudocompact dg algebras \(f^*,g^*:C^*(Y)\rightarrow C^*(X)\) are strongly homotopic.
If two simplicial sets X and Y are strongly homotopy equivalent, then the pseudocompact dg algebras \(C^*(X)\) and \(C^*(Y)\) are strongly homotopy equivalent.
Proof
The second statement of the proposition follows from the first. For the first, choosing \(X\times I\) as a very good cylinder object for X, consider a homotopy \(h:X\times I\rightarrow Y\) such that \(h\circ i_0=f\) and \(h\circ i_0=g\). This gives rise to a map of dg pseudocompact algebras \(C^*(Y)\rightarrow C^*(X\times I)\) and, composing the latter with the EilenbergZilber map \(C^*(X\times I)\rightarrow C^*(X)\otimes I^*\) (which is known to be a dg algebra map) we obtain the desired strong homotopy between \(f^*\) and \(g^*\). \(\square \)
Corollary 6.1
Let X and Y be two strongly homotopy equivalent simplicial sets. Then the following dg categories are quasiequivalent:

(1)
\({{\,\mathrm{MC_{dg}}\,}}(X)\) and \({{\,\mathrm{MC_{dg}}\,}}(Y)\),

(2)
\({{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{Tw}\,}}(Y)\),

(3)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}}\,}}(Y)\).
Proof
This is a direct consequence of Theorem 5.2 and Proposition 6.2. \(\square \)
Corollary 6.2
Let X and Y be two weakly equivalent Kan simplicial sets. Then the following dg categories are quasiequivalent:

(1)
\({{\,\mathrm{MC_{dg}}\,}}(X)\) and \({{\,\mathrm{MC_{dg}}\,}}(Y)\),

(2)
\({{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{Tw}\,}}(Y)\),

(3)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}}\,}}(Y)\).
Proof
Two weakly equivalent Kan simplicial sets are homotopy equivalent through any given very good cylinder object. In particular, they are strongly homotopy equivalent. The conclusion then follows from Corollary 6.1. \(\square \)
This also has a consequence for singular cochain algebras of topological spaces.
Corollary 6.3
Let X and Y be weakly equivalent topological spaces. Then there are quasiequivalences of dg categories between

(1)
\({{\,\mathrm{MC_{dg}}\,}}(X)\) and \({{\,\mathrm{MC_{dg}}\,}}(Y)\),

(2)
\({{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{Tw}\,}}(Y)\),

(3)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}}\,}}(Y)\).
In particular, if X is a contractible topological space, then the dg categories \({{\,\mathrm{MC_{dg}}\,}}(X)\), \({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw}\,}}(X)\) are quasiequivalent to the category of free \(k\)modules of rank 1, the category of finitely generated free dg \(k\)modules and the category of all free dg \(k\)modules, respectively.
Proof
Since the topological spaces X and Y are weakly equivalent, so are their singular simplicial sets. Since the latter are Kan complexes, the claim follows from Corollary 6.2. \(\square \)
6.1 Reduced and Minimal Twisted Modules
Let A be a nonnegatively graded pseudocompact algebra, such as \(C^*(X)\) for a simplicial set X, and \(M:=V\otimes A\) be a twisted Amodule. The differential \(D_M\) on M is determined by its restriction on V; furthermore we have: \(D_M_{V\otimes 1}=d^0+d^1+\ldots \) where \(d^n:V\rightarrow V\otimes A^n\). In particular, \(d^0:V\rightarrow V\otimes A^0\) determines an \(A^0\)linear differential on \(V\otimes A^0\).
Definition 6.2
A twisted Amodule M as above is called reduced if \(d_0\) factors through \(V\hookrightarrow V\otimes A^{0}: v\mapsto v\otimes 1\), i.e. if it is induced by a differential in the graded \(k\)module V. If, further, \(d_0=0\), we will call the twisted Amodule M minimal. We will denote by \({{\,\mathrm{Tw^{red}}\,}}(A)\), \({{\,\mathrm{{Tw}^m}\,}}(A)\), \({{\,\mathrm{Tw_{perf}^m}\,}}(A)\), and \({{\,\mathrm{Tw_{perf}^{red}}\,}}(A)\) the categories of reduced, minimal twisted Amodules and their perfect versions respectively. If \(A=C^*(X)\) for a simplicial set X, we will denote these categories by \({{\,\mathrm{Tw^{red}}\,}}(X)\), \({{\,\mathrm{{Tw}^m}\,}}(X)\), \({{\,\mathrm{Tw_{perf}^m}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}^{red}}\,}}(X)\) respectively.
Remark 6.2
If A, in addition to being nonnegatively graded, is connected i.e. \(A^0=k\), then clearly any twisted Amodule is reduced. Such is the case, when \(A=C^*(X)\) for a reduced simplicial set X.
Remark 6.3
The notion of a minimal twisted module is similar to that of a minimal \(A_\infty \)module, [28]; indeed in the case when A is a completed tensor algebra representing an \(A_\infty \) algebra, then a minimal twisted Amodule is a contramodule corresponding to a minimal \(A_\infty \)module under the comodulecontramodule correspondence, cf. [41, Theorem 5.2].
Proposition 6.3
A homotopy equivalence between two minimal twisted modules is necessarily an isomorphism.
Proof
It suffices to show that any endomorphism of a minimal twisted module that is homotopic to the identity is invertible. Let \(V\otimes A\) be such a minimal Amodule; then its dg algebra of endomorphisms is \(A\otimes {{\,\mathrm{End}\,}}(V)\); by minimality the differential in it has the form \(D_A=d_A^1+d_A^2+\ldots \) where
Let \(f\in A\otimes {{\,\mathrm{End}\,}}(V)\) be a closed endomorphism homotopic to the identity; thus \(f=1+D_A(g)\) for some \(g\in A\otimes {{\,\mathrm{End}\,}}(V)\). Then \(D_A(g)\) must have the form \(D_A(g)=d_A^1(g)+d_A^2(g)+\ldots \) with \(d_A^n(g)\in A^n\otimes {{\,\mathrm{End}\,}}(V)\) and therefore f is invertible: \(f^{1}=1+\sum _{i=1}^{\infty }(1)^i(\sum _{n=1}^\infty d_A^i(g))\). \(\square \)
The following result is analogous to the wellknown theorem on minimal \(A_\infty \) modules [28].
Proposition 6.4
If \(k\) is a field then any reduced twisted Amodule is homotopy equivalent to a minimal one.
Proof
Let \(A\otimes V\) be a reduced twisted Amodule; it has differential \(d^0+d^\prime :=d^0+d^1+\ldots \) as described above and \(d^0\) makes V into a dg \(k\)vector space. Since \(k\) is a field, V admits a decomposition \(V\cong H(V)\oplus d_0(V)\oplus U\) with \(d^0\) mapping U isomorphically onto V. Denote by \(t:V\rightarrow V\) the projection onto H(V) and by \(s:V\rightarrow V\) the operator that is inverse to \(d^0\) on \(d^0(V)\) (viewed as an operator \(U\rightarrow d^0(V)\)) and whose restriction on H(V) and U is zero. The pair of operators (s, t) determines an abstract Hodge decomposition on V (cf. for example [14] concerning this notion) and we can apply the Perturbation Lemma as formulated in [14, Corollary 3.17]. Namely, the twisted module \(A\otimes V\) is isomorphic to the direct sum of \(M_1:=A\otimes (d^0(V)\oplus U)\) and \(M_2:=A\otimes H(V)\) where \(M_1\) is supplied with the differential \({\mathbf {1}}_A\otimes d^0\) and \(M_2\) with the differential \(td^\prime (1+sd^\prime )^{1}t\). Since \(M_1\) is clearly homotopy equivalent to zero and \(M_2\) is minimal, the claim follows. \(\square \)
Then we have the following result.
Corollary 6.4
If A and B are two nonnegatively graded pseudocompact dg algebras that are strongly homotopy equivalent. Then the following categories are quasiequivalent:

(1)
\({{\,\mathrm{{Tw}^m}\,}}(A)\) and \({{\,\mathrm{{Tw}^m}\,}}(B)\),

(2)
\({{\,\mathrm{Tw_{perf}^m}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}^m}\,}}(B)\).
Let A be a connected pseudocompact dg algebra over a field. Then the following dg categories are quasiequivalent:

(1)
\({{\,\mathrm{Tw}\,}}(A)\) and \({{\,\mathrm{{Tw}^m}\,}}(A)\),

(2)
\({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \({{\,\mathrm{Tw_{perf}^m}\,}}(A)\).
Proof
Let \(f:A\rightarrow B\) and \(g:B\rightarrow A\) be two maps that are inverse up to \(K_2\)homotopy. These maps induce dg functors \({{\,\mathrm{Tw}\,}}(f):{{\,\mathrm{Tw}\,}}(A)\rightarrow {{\,\mathrm{Tw}\,}}(B)\) and \({{\,\mathrm{Tw}\,}}(g):{{\,\mathrm{Tw}\,}}(B)\rightarrow {{\,\mathrm{Tw}\,}}(A)\) inducing quasiequivalence of the corresponding dg categories by (the pseudocompact analogue of) Theorem 5.2. These functors restrict to the categories of minimal twisted modules and, using Proposition 6.4 we see, that these restrictions give mutually inverse quasiequivalences. The statement about perfect minimal twisted modules is proved similarly.
Finally, if A is connected, any twisted Amodule is automatically reduced, and the proof is finished by appealing to Proposition 6.4. \(\square \)
Theorem 6.1
Let X be a connected Kan simplicial set. Then the pseudocompact dg algebra \(C^*(X)\) is strongly homotopy equivalent to a connected one.
Proof
Choosing a vertex of X amounts to constructing a map \(P\rightarrow X\) from the onepoint simplicial set P to X. Let \(X^\prime \) be the simplicial set defined by the pullback diagram
Here \({\mathrm{cosk}_{0}}(X')\) is the 0coskeleton (the zeroth stage of the MoorePostnikov tower of X). The simplicial set \(X^\prime \) has a single vertex corresponding to the map \(P\rightarrow X\) and so \(C^*(X^\prime )\) is a connected pseudocompact dg algebra. It is wellknown (e.g. [37, Proposition 8.2, Theorem 8.4]) that \({\mathrm{cosk}_{0}}(X)\) is a weakly contractible Kan simplicial set, and it follows that \(X^\prime \) is likewise Kan. Then \(f:X^\prime \rightarrow X\) is a strong homotopy equivalence with a strong homotopy inverse \(g:X\rightarrow X^\prime \) (in fact it is clear that \(X^\prime \) is a deformation retract of X so that \(g\circ f={\mathbf {1}}_{X^\prime }\)). By Proposition 6.2\(C^*(X)\) and \(C^*(X^\prime )\) are strongly homotopy equivalent. \(\square \)
Combining Corollary 6.4 and Theorem 6.1 we obtain the following result.
Corollary 6.5

(1)
Let X be a Kan simplicial set. Then there is a quasiequivalence between the following dg categories:

(a)
\({{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{Tw^{red}}\,}}(X)\),

(b)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}^{red}}\,}}(X)\).

(a)

(2)
If \(k\) is a field then, additionally, the following dg categories are quasiequivalent:

(a)
\({{\,\mathrm{Tw}\,}}(X)\) and \({{\,\mathrm{{Tw}^m}\,}}(X)\),

(b)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}^m}\,}}(X)\).

(a)

(3)
If \(X,X^\prime \) are weakly equivalent Kan simplicial sets, then the following dg categories are quasiequivalent:

(a)
\({{\,\mathrm{{Tw}^m}\,}}(X)\) and \({{\,\mathrm{{Tw}^m}\,}}(X^\prime )\),

(b)
\({{\,\mathrm{Tw_{perf}}\,}}(X)\) and \({{\,\mathrm{Tw_{perf}^m}\,}}(X^\prime )\). \(\square \)

(a)
Remark 6.4
If X is a reduced simplicial set and \(k\) is a field then \(C^*(X)\) is a local pseudocompact dg algebra (which is the dual to a conilpotent dg coalgebra \(C_*(X)\)). The category of local pseudocompact dg algebras admits the structure of a closed model category, see [41] where this result is formulated in the dual language of coalgebras. It makes sense to ask whether weakly (or strongly) homotopy equivalent reduced simplicial sets give rise to weakly equivalent (in the sense of the aforementioned closed model category) local pseudocompact dg algebras. A partial answer to this question could be extracted from the recent paper [44] where it is proved that if X is a singular simplicial set of a topological space (or, more generally, a Kan simplicial set) then the cobarconstruction of \(C_*(X)\) is quasiisomorphic to the dg algebra of chains on the loop space of X. Note that this generalizes the classical result of Adams on the cobarconstruction [1] in that simple connectivity of X is not assumed. This result implies that for two weakly equivalent Kan simplicial sets X and \(X^\prime \) the pseudocompact local dg algebras \(C^*(X)\) and \(C^*(X^\prime )\) are indeed weakly equivalent. The Kan condition is essential; e.g. taking for X a simplicial circle with one nondegenerate simplex in degree zero and another in degree one (which is not a Kan simplicial set), a straightforward inspection shows that the cobarconstruction of \(C_*(X)\) is isomorphic to \(k[x]\) with \(x=0\) whereas the singular chain algebra on \(\Omega (S^1)={\mathbb {Z}}\) is \(k[x,x^{1}]\ne k[x]\).
7 Twisted Modules and Sheaves
7.1 Generalities on dg Sheaves
In this section we will present the local to global arguments needed to apply Schlessinger–Stasheff type results to infinity local systems. The results obtained here are directly used in Sects. 8.1 and 8.2 and the methods of proof are used in Sect. 8.3.
Let X be a topological space, always assumed paracompact and Hausdorff in this section. Let \(\mathscr {R}\) be a sheaf of kalgebras on X and let \(\mathscr {A}= (\mathscr {A}^{\bullet }, d)\) be a sheaf of nonnegatively graded dg \(\mathscr {R}\)algebras. Write \(\mathscr {A}^{\#}\) for \((\mathscr {A}^{\bullet }, 0)\). We will consider the dg algebra \(A :=\mathscr {A}(X)\).
Write \(A\text {Mod}\) for the dg category of dg Amodules and \(\mathscr {A}\text {Mod}\) for the dg category of sheaves of dg modules over \(\mathscr {A}\). Write \(\mathscr {R}\text {Mod}\) for the dg category of sheaves of dg \(\mathscr {R}\)modules.
There is an adjunction \(p^{*}\dashv p_{*}\) between dg modules over \(\mathscr {A}\) and dg modules over A which is induced by the map \(p: (X,\mathscr {A}) \rightarrow (*, A)\) of dg ringed spaces.
For free modules we recall the following straightforward result:
Lemma 7.1
The adjunction \(p^{*} \dashv p_{*}\) induces a dg equivalence between dg Amodules and dg \(\mathscr {A}\)modules whose underlying \(A^{\#}\)modules, respectively \(\mathscr {A}^{\#}\)modules, are free. \(\square \)
Proof
We first forget the differential and the grading and consider a ringed space \((X, \mathscr {R})\) and let \(R = \mathscr {R}(X)\). Let q be the map \((X, \mathscr {R}) \rightarrow (*, R)\). Then \(q^{*}\) induces an equivalence between free Rmodules and free \(\mathscr {R}\)modules: Any free \(\mathscr {R}\)module is of the form \(q^{*}V\) for a free Rmodule V and \(q_{*}q^{*}(W) = (q^{*}W)(X) = W\), which gives the isomorphism \({{\,\mathrm{Hom}\,}}_{\mathscr {R}}(q^{*}V, q^{*}W) \cong {{\,\mathrm{Hom}\,}}_{R}(V, W)\).
Thus the unit and counit of the adjunction are isomorphisms. They are also compatible with the grading and the differential, hence they are isomorphisms of dg modules, resp. dg sheaves, proving the lemma. \(\square \)
For a fine sheaf \(\mathscr {R}\) we can compare categories of locally free sheaves and projective modules over the ring of global sections.
Recall that a sheaf \(\mathscr {F}\) is fine if for any locally finite open cover \(\{U_{i}\}\) of X there is family of morphisms \(\phi _{i}: \mathscr {F} \rightarrow \mathscr {F}\) such that \(\sum \phi _{i} = {\mathbf {1}}_{\mathscr {F}}\) and such that \(\phi _{i}\) has support contained in \(U_{i}\). On a paracompact Hausdorff space fine sheaves are always soft and thus \(\Gamma \)acyclic. A module over a fine sheaf of rings is automatically fine. For more details see e.g. [18, Section II.3].
The following is Swan’s theorem as stated in [39, Corollary 3.2].
Theorem 7.1
Assume \((X, \mathscr {R})\) is a locally ringed space of finite covering dimension with \(\mathscr {R}\) a fine sheaf of commutative algebras. Then the category of finitely generated projective \(\mathscr {R}(X)\)modules is equivalent to the category of locally free \(\mathscr {R}\)modules of bounded rank.
We note that Lemma 7.1 gives an equivalence of dg categories, but the two sides have a priori very different homotopy theories: For dg sheaves the natural class of weak equivalences is given by local quasiisomorphisms, i.e. morphisms which restrict to quasiisomorphisms on all stalks.
To make this more precise we recall that the categories \(\mathscr {R}\text {Mod}^{psh}\) and \(\mathscr {A}\text {Mod}^{psh}\) of presheaves of dg \(\mathscr {R}\)modules, respectively presheaves of dg \(\mathscr {A}\)modules, have model structures.
To define this, first recall the definition of a hypercover. A hypercover of a presheaf P on a topological space X is an augmented simplicial presheaf \(C_{\bullet } \rightarrow P\) such that all \(C_{n}\) are coproducts of representable presheaves and for all n the map \(C_{n} \rightarrow (\mathrm{cosk}_{n1}C)_n\) is a cover, where we take the coskeleton in the augmented sense. In particular a hypercover of X is defined to be a hypercover of the presheaf \(h_{X}\) that X represents, and it may be represented by a cover \({\mathfrak {U}}_{0} \rightarrow X\) together with covers \({\mathfrak {U}}_{n} \rightarrow \lim _{k < n} {\mathfrak {U}}_{k}\). The fundamental example of a hypercover is the nerve of a Čech cover. In this case all the covers (except for \({\mathfrak {U}}_{0} \rightarrow X\)) are isomorphisms.
Definition 7.1
The projective model structure on presheaves of dg \(\mathscr {R}\)modules has fibrations and weak equivalences defined objectwise. The local model structure on presheaves of dg \(\mathscr {R}\)modules is the localization of the projective model structure at all hypercovers.
Then weak equivalences are given by maps inducing weak equivalences on stalks. We will abuse notations and refer to them as quasiisomorphisms. An object P is fibrant if it is a hypersheaf, i.e. for any open subset \(U \subset X\) and hypercover \({\mathfrak {U}}_{\bullet } \rightarrow U\) there is a quasiisomorphism \(P(U) \simeq \check{C}({\mathfrak {U}}_{\bullet }, P)\). Here the right hand side is the Čech complex of a hypercover, defined exactly like the Čech complex for a cover. We say a hypercover is contractible if every \({\mathfrak {U}}_{n}\) is a coproduct of contractible open sets. Any locally contractible topological space admits a contractible hypercover.
Remark 7.1
We will in the following sometimes compute Čech cohomology with respect to a hypercover, but not much generality is lost if the reader wants to mentally replace them by Čech covers.
The local model structure on presheaves of dg \(\mathscr {A}\)modules is defined in the same way (or it can be transferred via the forgetful functor, see e.g. [20]).
The homotopy category of this model category is the usual derived category of \(\mathscr {R}\text {Mod}\), respectively \(\mathscr {A}\text {Mod}\). The adjunction \(p_{*} \dashv p^{*}\) is Quillen.
For more details on the local model structure see [16] (in the case of simplicial presheaves) and [12] (for chain complexes).
We now assume \(\mathscr {R} \rightarrow \mathscr {A}\) is an objectwise quasiisomorphism, i.e. in particular a local weak equivalence. Writing J for the forgetful functor we have a dg adjunction \(\otimes _{\mathscr {R}}\mathscr {A}\dashv J: \mathscr {R}\text {Mod}\rightleftarrows \mathscr {A}\text {Mod}\). We consider the derived categories of \(\mathscr {R}\text {Mod}\) and \(\mathscr {A}\text {Mod}\) and write RJ for the total derived functor of J, i.e. the lift of J to the derived categories. As \(\mathscr {A}\) and \(\mathscr {R}\) are quasiisomorphic RJ is an equivalence.
Definition 7.2
Let \(F = J \circ p^{*}: A\text {Mod}\rightarrow \mathscr {R}\text {Mod}\) be the dg functor given by composition of the two functors defined above.
We will use F to map different categories of twisted modules to dg sheaves. In the remainder of this paper we will abuse notation and write F for different choices of A as well as for the restriction of F to \({{\,\mathrm{Tw}\,}}(A)\), \({{\,\mathrm{Tw_{perf}}\,}}(A)\) and \({{\,\mathrm{Tw_{fg}}\,}}(A)\).
7.2 Twisted Modules and Perfect Complexes
We now consider the functor \(F: A\text {Mod}\rightarrow \mathscr {R}\text {Mod}\) in more detail. We let \(D(X, \mathscr {R})\) or simply \(D(\mathscr {R})\) be the derived category of \(\mathscr {R}\text {Mod}\).
In this section we will assume X is locally good, which is defined as follows. We say a ringed space \((U, \mathscr {R})\) is good if the natural map \(\mathscr {R}(U)\rightarrow Ru_{*}\mathscr {R}_{U}\) is a quasiisomorphism (here \(u:U\rightarrow *\) is the map to the onepoint space). Then X is locally good if its topology has a basis of good open sets.
Most spaces of interest are locally good, for example algebraic schemes, analytic spaces and locally contractible topological spaces with the constant structure sheaf. Good neighbourhoods are given by affine subvarieties, Stein subspaces and contractible subsets respectively.
Definition 7.3
A dg \(\mathscr {R}\)module on X is strictly perfect if it is bounded and a direct summand of a free sheaf of finite rank in each degree. A dg \(\mathscr {R}\)module G is perfect if for every \(x \in X\) there is a neighbourhood U such that \(G_{U}\) is quasiisomorphic to a strictly perfect dg sheaf.
We denote by \(D_{\mathrm{perf}}(X, \mathscr {R})\) or \(D_{\mathrm{perf}}(\mathscr {R})\) the subcategory of \(D(X, \mathscr {R})\) consisting of perfect dg sheaves of \(\mathscr {R}\)modules. We will say a perfect dg sheaf of \(\mathscr {R}\)modules is globally bounded if there are integers a, b and N such that there is a cover \(\{U_{i}\}\) such that each \(G_{U_{i}}\) is quasiisomorphic to a strictly perfect dg sheaf \(G^{U}\) which is concentrated in degrees [a, b] and has at most N generators. We let \(D_{\mathrm{perf}}^{B}(\mathscr {R})\) denote the subcategory of globally bounded perfect dg sheaves.
Remark 7.2
In many cases of interest all perfect dg sheaves are globally bounded. An example of a nonglobally bounded one is given by the following construction. Consider \({{\mathbb {C}}}\) equipped with the holomorphic (or smooth) structure sheaf. Then the skyscraper sheaf \({{\mathbb {C}}}_{n}\) at \(n \in {{\mathbb {C}}}\) is perfect and so is \(\oplus _{n \in \mathbb {N}} {{\mathbb {C}}}_{n}^{\oplus n}\). But this sum is clearly not globally bounded.
For later use we also define \(D_{\mathrm{lf}}(X, \mathscr {R})\) or \(D_{\mathrm{lf}}(\mathscr {R})\) to be the subcategory of \(D(\mathscr {R})\) consisting of locally free dg sheaves of \(\mathscr {R}\)modules, i.e. those which are locally quasiisomorphic to free \(\mathscr {R}\)modules without any finiteness assumptions. In the case \(\mathscr {R}=\underline{k}\), the locally free dg sheaves of \(\mathscr {R}\)modules will be referred to as cohomologically locally constant (clc) sheaves. We will need the following:
Lemma 7.2
\(D_{\mathrm{lf}}(\mathscr {R})\), \(D_{\mathrm{perf}}(\mathscr {R})\) and \(D_{\mathrm{perf}}^{B}(\mathscr {R})\) are idempotent complete.
Proof
The result for \(D_{\mathrm{lf}}(\mathscr {R})\) follows from [8].
Next, recall that for any ring perfect dg modules are exactly compact objects in the derived category, and since compact objects are closed under direct summands so are perfect dg sheaves, see e.g. [8, Proposition 6.4].
We consider a perfect dg sheaf of the form \(G \simeq M \oplus N\) and will now show M is perfect. It follows from the definition that any point has a neighbourhood U on which we may assume G is strictly perfect. Then the restriction \(G_{U}\) is isomorphic to the sheaf associated to G(U) (apply Lemma 7.1 restricted to finitely generated modules and extended to the idempotent completion).
We write \(u: U \rightarrow *\). Then \(G_{U} \cong u^{*}G(U)\simeq Lu^{*}G(U)\) as G(U) is cofibrant. We may assume U is good and then \(G(U) \simeq Ru_{*}G \simeq Ru_{*}M\oplus Ru_{*}N\). G(U) is perfect and thus so is \(Ru_{*}M\). As \(G \simeq Lu^{*}G(U)\) it follows that \(M \oplus N \simeq Lu^{*}Ru_{*}M \oplus Lu^{*}Ru_{*}N\). Since the map \(M \rightarrow Lu^{*}Ru_{*}N\) in the derived category corresponds to the zero map \(Ru_{*}M \rightarrow Ru_{*}N\) under an adjunction it is zero and \(M \simeq Lu^{*}Ru_{*}M\). Thus M is perfect. The same argument applies to globally bounded dg sheaves. \(\square \)
Proposition 7.1
Let \((X, \mathscr {R})\) be a ringed space, and let \(\mathscr {A}\) be a fine sheaf of dg algebras on X such that there is a quasiisomorphism \(\mathscr {R} \rightarrow \mathscr {A}\) satisfying condition (*) below. Then the associated sheaf functor \(p^{*}\) gives a quasifully faithful functor \({{\,\mathrm{Tw_{perf}}\,}}(A) \rightarrow \mathscr {A}\text {Mod}\) and \(F = J\circ p^{*}\) induces an embedding of triangulated categories \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A)) \rightarrow D_{\mathrm{perf}}^{B}(X, \mathscr {R})\).
Remark 7.3
Proposition 7.1 only depends on the construction of \({{\,\mathrm{Tw_{perf}}\,}}(A)\) up to quasiequivalence and thus holds equally if we consider A as a dg AM algebra, see Remark 4.1.
The crucial assumption is the following
 (*):

For every free graded kmodule G, every \(x \in X\) with a neighbourhood \(U'\) and any MC element \(\xi \in {{\,\mathrm{MC}\,}}(\mathscr {A}(U')\otimes {{\,\mathrm{\underline{End}}\,}}(G))\) there is a neighbourhood \(x\in U \subset U'\) such that \(\xi _{U}\) is homotopy gauge equivalent to an element in the image of the Maurer Cartan set of \(\mathscr {R}(U)\otimes {{\,\mathrm{\underline{End}}\,}}(G)\).
We will be particularly interested in cases where (*) is the consequence of the following stronger condition:
 (**):

For every \(x \in X\) and every free graded kmodule G there is a neighbourhood U such that \(\mathscr {R} \rightarrow \mathscr {A}\) induces a quasiequivalence \({{\,\mathrm{MC_{dg}}\,}}(\mathscr {R}(U)\otimes {{\,\mathrm{\underline{End}}\,}}(G)) \simeq {{\,\mathrm{MC_{dg}}\,}}(\mathscr {A}(U)\otimes {{\,\mathrm{\underline{End}}\,}}(G))\).
Proof of Proposition 7.1
By Lemma 7.1 the restriction \(p^{*}: \mathscr {{{\,\mathrm{Tw_{fg}}\,}}}(A) \rightarrow \mathscr {A}\text {Mod}\) is quasifully faithful. Then \(p^{*}\) on \({{\,\mathrm{Tw_{perf}}\,}}(A)\) is just the extension of \(p^{*}_{{{\,\mathrm{Tw_{fg}}\,}}(A)}\) to homotopy idempotents and it follows that \(p^{*}\) is also quasifully faithful.
It remains to prove the statement on homotopy categories. We have the following composition
where \(q_{\mathscr {A}}\) is the quotient by quasiisomorphisms.
In Lemma 7.4 we will show that \(q_{\mathscr {A}}\) is fully faithful on the image of \(p^{*}\). It is wellknown that RJ is fully faithful. Thus \(RJ \circ q_{\mathscr {A}} \circ {{\,\mathrm{H^{0}}\,}}(p^{*})\) is fully faithful. It is clearly compatible with shifts and cones.
The fact that RJ lands in \(D_{\mathrm{perf}}(\mathscr {R})\) is Lemma 7.3. \(\square \)
Lemma 7.3
The dg functor F sends perfect twisted Amodules to globally bounded perfect sheaves of \(\mathscr {R}\)modules.
Proof
By Lemma 7.2 it suffices to show that a finitely generated twisted Amodule E is sent to a globally bounded perfect dg sheaf.
We may write \(E = (G\otimes A, D)\) where G is a free graded module over k. It suffices to show that \(F(E) \cong ({\underline{G}} \otimes \mathscr {A}, D)\) is perfect locally.
On any U we know that \(D_{U}  {\mathbf {1}}\otimes d_{A(U)}\) can be represented by a MC element \(\xi \) in \( \mathscr {A}(U) \otimes {{\,\mathrm{\underline{End}}\,}}(G)\). Fix some x. For a suitably small neighbourhood we may assume that \(\xi \) is as in in condition \((*)\). Thus there is a homotopy gauge equivalence \(g \in \mathscr {A}(U)\otimes {{\,\mathrm{\underline{End}}\,}}(G)\) between \(\xi \) and some element \(\eta \) in the image of \(\mathscr {R}(U)\otimes {{\,\mathrm{\underline{End}}\,}}(G)\).
It follows that g gives a homotopy equivalence from \((G \otimes \mathscr {A}(U), D_{U})\) to \((G \otimes \mathscr {A}(U), d_{G}\otimes {\mathbf {1}}+ {\mathbf {1}}\otimes d_{\mathscr {A}})\) where \(d_{G}\) is some differential on \(G \otimes \mathscr {R}(U)\). Thus we obtain a quasiisomorphism from \(F(E)_{U}\) to the perfect dg sheaf \(({\underline{G}}\otimes \mathscr {R}_{U}, d_{G})\) of \(\mathscr {R}_{U}\)modules.
Boundedness follows immediately from finite generation of E. \(\square \)
Lemma 7.4
The natural functor \(q_{\mathscr {A}}: {{\,\mathrm{H^{0}}\,}}(\mathscr {A}\text {Mod})\rightarrow D(\mathscr {A})\) is fully faithful when restricted to the image of perfect twisted modules.
Proof
It suffices to consider finitely generated twisted modules, so we fix \((V \otimes A, D_{V})\), \( (W \otimes A, D_{W}) \in \mathscr {{{\,\mathrm{Tw_{fg}}\,}}}(A)\) and compute \(R{{\,\mathrm{\underline{Hom}}\,}}_{D(\mathscr {A})}({\underline{V}}\otimes \mathscr {A}, {\underline{W}}\otimes \mathscr {A})\). The derived Hom can be computed as derived global sections of the sheaf Hom \(U \mapsto R{{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {A}_{U}}(({\underline{V}}\otimes \mathscr {A})_{U}, ({\underline{W}} \otimes \mathscr {A})_{U})\).
We first compute locally. We write \(\mathscr {V} = {\underline{V}}\otimes \mathscr {R}\) and \(\mathscr {W} = {\underline{W}} \otimes \mathscr {R}\). Then let U be any good open set as in condition (*), such that \((\underline{V}\otimes \mathscr {A})_{U}\) is homotopy equivalent to \((\mathscr {V}_{U}, d_V)\otimes _{\mathscr {R}_{U}} \mathscr {A}_{U}\), say. Then we can compute:
As \((\mathscr {V}_{U}, d_{V})\) is free it is a cofibrant dg sheaf over \(\mathscr {R}\) and the Hom space is underived.
To compute global sections we pick a hypercover \({\mathfrak {U}}\) consisting of good open sets U satisfying condition (*). By the above the Hom presheaf on \({\mathfrak {U}}\) may be written as \(U \mapsto {{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {R}_{U}}(\mathscr {V}, \mathscr {W})\otimes _{\mathscr {R}(U)} \mathscr {\mathscr {A}}(U)\) with a suitable differential.
We compute Čech cohomology. Since \(\mathscr {A}^{\#}\) is fine each \(({{\,\mathrm{\mathscr { H} \! { om}}\,}}_{\mathscr {R}}(\mathscr {V}, \mathscr {W}) \otimes _{\mathscr {R}} \mathscr {A})^{i}\) has no higher cohomology. We filter the map \(\epsilon : \check{C}^{*}({\mathfrak {U}}, {{\,\mathrm{\mathscr { H} \! { om}}\,}}_{\mathscr {R}}(\mathscr {V}, \mathscr {W}) \otimes _{\mathscr {R}} \mathscr {A}) \rightarrow \check{C}^{0}({\mathfrak {U}}, {{\,\mathrm{\mathscr { H} \! { om}}\,}}_{\mathscr {R}}(\mathscr {V},\mathscr {W})\otimes _{\mathscr {R}} \mathscr {A})\) by the degree of coefficients. The associated map \(\mathrm{Gr}(\epsilon )\) is a quasiisomorphism and, since the filtration is exhaustive and Hausdorff, \(\epsilon \) is a quasiisomorphism, too. Putting all of this together we have:
\(\square \)
Corollary 7.1
If \(\mathscr {A}\) is flat over \(\mathscr {R}\) then F is quasifully faithful.
Proof
We use the notation from the proof of Lemma 7.4. It suffices to compare \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {R}}({\underline{V}}\otimes \mathscr {A}, {\underline{W}}\otimes \mathscr {A})\) and \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {A}}({\underline{V}}\otimes \mathscr {A}, {\underline{W}}\otimes \mathscr {A})\). Locally on U the terms are quasiisomorphic to \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {R}}((\mathscr {V}, d_{V})\otimes \mathscr {A}, {\underline{W}}\otimes \mathscr {A})\) and \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {R}}((\mathscr {V}, d_{V}), {\underline{W}}\otimes \mathscr {A})\), respectively. If \(\mathscr {A}\) is flat over \(\mathscr {R}\) they are quasiisomorphic. The localtoglobal argument remains unchanged. \(\square \)
Lemma 7.5
Let \((X, \mathscr {R})\) and \(\mathscr {A}\) be as in Proposition 7.1. If moreover \((X, \mathscr {A}^{0})\) is locally ringed, \(\mathscr {A}^{0}\) is commutative, A is flat over \(A^{0}\) and X has finite covering dimension then \(D_{\mathrm{perf}}(X, \mathscr {R})\) lies in the image of \({{\,\mathrm{H^{0}}\,}}(F)\).
Proof
Consider a globally bounded perfect dg sheaf \(\mathscr {V}\) of \(\mathscr {R}\)modules on X. Then \(\mathscr {V}\otimes _{\mathscr {R}} \mathscr {A}^{0}\) is a perfect dg sheaf of \(\mathscr {A}^{0}\)modules. Let \(\Gamma _{\mathscr {V}} :=(\Gamma (X, {\mathscr {V}}\otimes _{\mathscr {R}} \mathscr {A}), D_{{\mathscr {V}}}\otimes {\mathbf {1}}+ {\mathbf {1}}\otimes d_{A})\). This is a dg sheaf of Amodules which is not necessarily a perfect twisted module. However, it is a dg Amodule of the form \(Q\otimes _{A^{0}} A\) where Q is some dg \(A^{0}\)module. Such objects are called quasicohesive modules in [6].
By Lemma 2.3 and [39, Proposition 2.5] the associated sheaf functor will send \(\Gamma _{\mathscr {V}}\) to \({\mathscr {V}}\). We will show that \(\Gamma _{\mathscr {V}}\) is homotopy equivalent to a cohesive module, which by 3.2 is in turn homotopy equivalent to a perfect twisted module \(\Gamma _{{\mathscr {V}}}'\). Then it is clear that \(F(\Gamma _{{\mathscr {V}}}')\) is homotopy equivalent to \({\mathscr {V}}\).
As \(\Gamma _{\mathscr {V}}\) is a quasicohesive modules we may apply [6, Theorem 3.2.7]. It suffices to show that \(\Gamma (X, {\mathscr {V}}\otimes _{\mathscr {R}} \mathscr {A}^{0})\) is a perfect dg sheaf of \(A^{0}\)modules to deduce that there is a cohesive module homotopy equivalent to \(\Gamma _{\mathscr {V}}\).
By assumption \(E :={\mathscr {V}} \otimes _{\mathscr {R}} \mathscr {A}^{0}\) is a perfect dg sheaf. Thus there is a cover \(\{U_{i}\}_{i \in I}\) of X such that each \(E_{U_{i}}\) is quasiisomorphic to a strictly perfect dg sheaf \(E'_{i}\). Following the argument in in [18, Proposition III.4.1] we may actually assume I is finite as long as we only demand \(E'_{i}\) to be strictly perfect on each connected component of \(U_{i}\). Of course \(U_{i}\) can have infinitely many components, but since E is globally bounded we may still choose the \(E'_{i}\) to be strictly perfect. As \(\mathscr {A}^{0}\) is fine we may apply Theorem 7.1 degree by degree and see that each \( E'_{i}(U_{i})\) is a finitely generated bounded complex of projective \(\mathscr {A}^{0}(U_{i})\)modules.
We use the fact that \(\mathscr {A}^{0}\) is fine to write the identity on E(X) as a finite sum \(\sum _{i} \phi _{i}\) where \(\mathrm{supp} \phi _{i} \subset U_{i}\). Thus every \(\phi _{i}: E(X) \rightarrow E(X)\) factors (up to homotopy) through \(E(U_{i})\). By the above \(E(U_{i})\) is strictly perfect and thus \(\phi _{i}\) is algebraically nuclear (up to homotopy), cf. the proof of Lemma 3.1. Then [43, Proposition 1.1] shows that \(\phi _{i}\) is homotopy equivalent to a map \(x \mapsto \sum _{j} f_{ij}(x)e_{ij}\) for some finite family of functions \(f_{ij}: E(X) \rightarrow A^{0}(X)\) and objects \(e_{ij} \in E(X)\). Thus \({\mathbf {1}}\simeq \sum _{i} \sum _{j} f_{ij}(x)e_{ij}\). So the identity on E(X) is algebraically nuclear and \(E(X) =\Gamma (X, {\mathscr {V}}\otimes _{\mathscr {R}} \mathscr {A}^{0})\) is perfect. \(\square \)
We can now compare perfect twisted modules with perfect dg sheaves. The following two results are needed in the next section.
Theorem 7.2
Let \((X, \mathscr {R})\) and \(\mathscr {A}\) be as in Proposition 7.1. If moreover \((X, \mathscr {A}^{0})\) is locally ringed, \(\mathscr {A}^{0}\) is commutative, A is flat over \(A^{0}\) and X has finite covering dimension then F induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A)) \rightarrow D_{\mathrm{perf}}^{B}(X, \mathscr {R})\).
Proof
This is Proposition 7.1 together with Lemma 7.5, which says that the functor \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A)) \rightarrow D_{\mathrm{perf}}^{B}(X, \mathscr {R})\) is essentially surjective. \(\square \)
Theorem 7.3
Let \((X, \mathscr {R})\) and \(\mathscr {A}\) be as in Proposition 7.1. If moreover \((X, \mathscr {A}^{0})\) is locally ringed, \(\mathscr {A}^{0}\) is commutative and \(\mathscr {R}\) is the constant sheaf \({\underline{k}}\) then F induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A)) \rightarrow D_{\mathrm{perf}}(X, {\underline{k}})\).
Proof
Again this follows by Proposition 7.1 together with essential surjectivity. By Lemma 7.6 below we may identify perfect dg sheaves with dg sheaves with locally constant cohomology. Then we note that any locally constant sheaf \(\mathscr {M}\) on X is in the essential image of F. \(\mathscr {M}\otimes \mathscr {A}^{0}\) is locally free and thus \(\Gamma (X, \mathscr {A} \otimes \mathscr {M})\) is a cohesive module by Theorem 7.1 and thus homotopy equivalent to a perfect twisted module by Proposition 3.2. Clearly \(\mathscr {M}\) is quasiisomorphic to \(F(\Gamma (X, \mathscr {A} \otimes \mathscr {M}))\).
As F is quasifully faithful and \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A))\) is triangulated this shows that any subcategory of \(D_{\mathrm{perf}}(X, {\underline{k}})\) containing locally constant sheaves and closed under triangles is in the essential image of \({{\,\mathrm{H^{0}}\,}}(F)\). But any perfect complex over \({\underline{k}}\) is a finite extension of its cohomology sheaves, thus contained in the image of \({{\,\mathrm{H^{0}}\,}}(F)\). We note that the global boundedness condition on perfect dg sheaves is automatic for clc sheaves. \(\square \)
Lemma 7.6
Let X be locally contractible. Then \(D_{\mathrm{lf}}(X, \underline{k})\) is equivalent to the derived category of clc sheaves. Moreover, \(D_{\mathrm{perf}}(X, {\underline{k}})\) is equivalent to the category of sheaves with locally constant cohomology sheaves whose fibres are perfect when considered as dg modules over k.
Proof
The cohomology of \(\mathscr {M} \in D_{\mathrm{lf}}(X, {\underline{k}})\) is locally given as the cohomology of a complex of \(k\)modules, and thus constant.
Conversely consider a dg sheaf \(\mathscr {M}\) and some contractible open set U on which its cohomology is a constant \({\underline{k}}\)module. As U has no cohomology \(\mathscr {M}_{U}\) is quasiisomorphic to a direct sum of its cohomology sheaves. Using free resolutions of the cohomology sheaves shows that \(\mathscr {M}\) is locally quasiisomorphic to a free dg sheaf.
The statement for perfect dg sheaves follows similarly. \(\square \)
Corollary 7.2
In the setting of Theorems 7.2 and 7.3 we also have \({{\,\mathrm{H^{0}}\,}}(\mathscr {P}_{A}) \cong D_{\mathrm{perf}}^{B}(X, \mathscr {R})\).
Proof
There is an embedding \({{\,\mathrm{H^{0}}\,}}(\mathscr {P}_{A}) \rightarrow {{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(A))\) so it remains to show essential surjectivity, which follows by inspecting the proofs. \(\square \)
Remark 7.4
Corollary 7.1 shows that if we assume \(\mathscr {A}\) is flat over \(\mathscr {R}\) then moreover F is quasifully faithful in Theorems 7.2 and 7.3 and gives a quasiequivalence with a dg category of perfect complexes.
In general, the equivalences of homotopy categories may be be enhanced to quasiequivalences of dg categories between \({{\,\mathrm{Tw_{perf}}\,}}(A)\) and the dgcategory of fibrant cofibrant dg \(\mathscr {R}\)modules which are perfect dg sheaves. As presheaves in the image of F are fibrant it suffices to compose F with functorial cofibrant replacement.
8 Applications
8.1 The de Rham Algebra
In this section the ground ring k is \(\mathbb {R}\) and X is a connected smooth manifold. We consider perfect twisted modules over the de Rham algebra \(\Omega (X)\). We denote by \(\Omega \) the dg sheaf of de Rham algebras.
Recall that we consider \(\Omega (X)\) as a dg AM algebra and that all tensor products are understood to be completed.
Using what we have done so far we can recover and generalise the main result of [7], up to replacing infinity local systems by clc sheaves with cohomology sheaves of finite rank.
Remark 8.1
Note that one may consider cohesive modules (or equivalently perfect twisted modules) over the de Rham algebra A as \({\mathbb {Z}}\)graded connections. By Theorem 7.1 we may consider a a complex of finitely generated projective \(\Omega ^{0}(X)\)modules E as a dg vector bundle \(\mathscr {E}\), and the differential becomes a \(\mathbb {Z}\)graded connection \(\mathbb {E}: \mathscr {E} \rightarrow \mathscr {E} \otimes _{\Omega ^{0}} \Omega \) satisfying \(d\mathbb {E} + \mathbb {E}^{2} = 0\). This is the natural derived analogue of a vector bundle with a flat connection.
Theorem 8.1
Let X be a connected manifold (not necessarily compact). Then the dg functor \(F:{{\,\mathrm{Tw_{perf}}\,}}(X) \rightarrow \underline{\mathbb {R}}\text {Mod}\) sending E to \(U \mapsto E \otimes _{\Omega (X)} \Omega (U)\) is quasifully faithful and induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(X)) \cong D_{\mathrm{perf}}(X, \underline{\mathbb {R}})\).
Proof
The theorem follows from Theorem 7.2 or Theorem 7.3 together with Corollary 7.1, applied to \(\mathscr {R} = \underline{\mathbb {R}}\) and \(\mathscr {A} = \Omega \).
To check the conditions fix some point \(x \in X\) and some perfect dg \({\underline{{\mathbb {R}}}}\)module G. We consider the smooth homotopy equivalence \(\mathbb {R}\otimes {{\,\mathrm{\underline{End}}\,}}(G) \rightarrow \Omega (U)\otimes {{\,\mathrm{\underline{End}}\,}}(G)\) given by inclusion and evaluation at x. Then we apply Corollary 4.2(i) to verify that the de Rham algebra satisfies (**) and the assumptions of Proposition 7.1. \(\square \)
Remark 8.2
To recover the results of [7] we use Corollary 7.2 and then recall that perfect dg sheaves over \(\underline{\mathbb {R}}\) are clc sheaves by Lemma 7.6, which are in turn equivalent to various other notions of infinity local systems.
In fact, under mild assumptions, the following are all quasiequivalent dg categories:

(1)
perfect clc sheaves, sometimes called homotopy locally constant sheaves, i.e. fibrant cofibrant dg sheaves whose cohomology sheaves are locally constant of finite rank,

(2)
perfect dg modules over the dg algebra of chains on the Moore loop space of X,

(3)
the dg category obtained from the cotensor action of singular simplices on X on the dg category of perfect chain complexes, see [23],

(4)
(combinatorial) infinity local systems on a simplicial set as explicitly described in terms of a MaurerCartan condition in [7].
One can extend all these notions by dropping the assumption of perfectness and the quasiequivalences still hold.
The equivalence of (1) and (2) follows from [24] and [25], (2) and (3) are identified in [24]. The correspondence of (3) and (4) follows from [23]; note that there is a difference of definition between the objects considered in (3) and (4) for an arbitrary simplicial set, but on fibrant simplicial sets the definitions agree. In [24] it is shown that all of these can be interpreted as categorified cohomology of X, i.e. cohomology of X with coefficients in the dg category of perfect complexes. Keeping with this viewpoint one could consider the dg category of cohesive modules over \(\Omega (X)\) as categorified de Rham cohomology.
Unravelling definitions we may also see that the category (4) for a reduced simplicial set K agrees precisely with our definition of \({{\,\mathrm{Tw}\,}}(K)\). One may deduce that the two notions agree for arbitrary Kan complexes from Corollary 6.5 and homotopy invariance of infinity local systems.
The main result of [7] shows that if X is a compact manifold and \(k = \mathbb {R}\) then the dg category of infinity local systems as in (4) is \(A_{\infty }\)quasiequivalent to the dg category of \({\mathbb {Z}}\)graded connections, using computations with iterated integrals. In Theorem 8.1 we directly establish a quasiequivalence of cohesive modules for the de Rham algebra with (1). There is, incidentally, also a direct proof comparing \({\mathbb {Z}}\)graded connections to (2), also using iterated integrals [4].
We now extend this result to the case where we replace the manifold X by a simplicial complex K. We write \(\Omega (K)\) for de Rham algebra of piecewise smooth differential forms on K. Piecewise smooth differential forms define a sheaf on the underlying topological space K of K that we also denote by \(\Omega \).
Theorem 8.2
Let K be a connected finite dimensional simplicial complex. Then the functor \(F: {{\,\mathrm{Tw_{perf}}\,}}(K)\rightarrow \underline{\mathbb {R}}\text {Mod}\) sending E to \(U \mapsto E \otimes _{\Omega (X)} \Omega (U)\) is quasifully faithful and induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(K)) \cong D_{\mathrm{perf}}(K, \underline{\mathbb {R}})\).
Proof
First we show that piecewise smooth functions (and thus piecewise smooth forms) form a fine sheaf on K.
It is enough to construct, given two closed subsets A and B of K, a section s of \(\Omega ^0\) that is equal to 1 on A and 0 on B. We proceed by induction on the dimension of the simplex. So assume we have constructed the restriction of s to ksimplices and denote it by \(s'\). Consider a \((k+1)\)simplex L. We have to check that we can separate \(L\cap A\) and \(L\cap B\) by a function that restricts to \(s'\) on the boundary. As \(\Omega ^0\) is fine on L, we may choose a section t that is equal to 1 on \(L\cap A\) and 0 on \(L\cap B\). Then on the boundary of L we observe that the function \(t  s'\) is 0 on the intersections of A and B with the boundary of K. We can easily find a smooth function \(t'\) on K that restricts to \(ts'\) and which has support disjoint from A and B. Then we let \(s = t  t'\). We can clearly do this for all \((k+1)\)simplices simultaneously as we did not change \(s'\).
Now we need to check that \(\Omega \) satisfies condition (*) to deduce the theorem from Theorem 7.3. The other conditions on \((K,\Omega )\) are immediate. Note that we cannot use Theorem 7.2 as \(\Omega (K)\) is not flat over \(\Omega ^0(K)\).
Let \(x \in K\). There is a neighbourhood U of x and a piecewise linear contracting homotopy \(H: U \times [0,1] \rightarrow U\). This induces a map \(H^{*}: \Omega (U) = \lim _{\Delta \in K} \Omega (U \cap \Delta ) \rightarrow \lim _{\Delta \in K} \Omega ((U \cap \Delta ) \times [0,1]) \cong \Omega (U) \otimes \Omega [0,1]\). Here for the last equivalence we use Corollary 9.3. Thus the map \(H^{*}\) gives a smooth homotopy equivalence between \(\mathbb {R}\) and \(\Omega (U)\).
Now we apply Theorem 4.2 to deduce condition (**) and apply Theorem 7.3. \(\square \)
Remark 8.3
Note that Theorem 8.2 would be false for the polynomial de Rham algebra that is used for example in rational homotopy theory, cf. Example 5.2.
8.2 The Dolbeault Algebra
In this subsection k is \({{\mathbb {C}}}\) and X is a (not necessarily compact) complex manifold equipped with its sheaf of holomorphic functions \(\mathscr {O}_{X}\). We revisit Block’s proof [6] that the derived category of perfect dg coherent sheaves on a complex manifold X is equivalent to the homotopy category of cohesive modules over the Dolbeault algebra \((\mathscr {A}^{0*}(X), {\bar{\partial }})\). Note that the main result in the previous section draws from the methods in [6]; we have generalised the setting and added some details regarding faithfulness of the functor from twisted modules to perfect dg sheaves.
Thanks to Lemma 7.5 we may answer the implicit question in [6, Remark 4.1.4].
Theorem 8.3
Let X be a complex manifold. The functor \(F: {{\,\mathrm{Tw_{perf}}\,}}(\mathscr {A}^{0*}(X), {\bar{\partial }}) \rightarrow \mathscr {O}_{X}\text {Mod}\) sending \(V \otimes \mathscr {A}^{0*}(X)\) to its dg associated sheaf is quasifully faithful and induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}{(\mathscr {A}^{0*}(X), {\bar{\partial }})}) \cong D_{\mathrm{perf}}^{B}(X, \mathscr {O}_{X})\).
Proof
The equivalence of homotopy categories follows from Theorem 7.2. Condition (*) is exactly the content of [6, Lemma 4.1.5].
Quasifull faithfulness follows from Corollary 7.1, which applies since smooth functions are flat over holomorphic functions. To see this, note real analytic functions are flat over holomorphic functions and smooth functions are flat over analytic functions, see [35, Corollary V.1.2]. \(\square \)
Remark 8.4
One might try to also view this result through a suitable Schlessinger–Stasheff theorem. There are, however, considerable conceptual obstacles to implementing this. Note that the inclusion \(\mathscr {O}(U) \rightarrow (\mathscr {A}^{0*}(U),{\bar{\partial }})\) does not have a section as a function of topological vector spaces for any open set U, see [38, Proposition 5.4]. On a closed polydisk D there is a section (not compatible with restrictions), but it is not clear how to construct a homotopy equivalence between \(\mathscr {O}(D)\) and \((\mathscr {A}^{0*}(D),\partial )\), or even what the correct notion of homotopy equivalence would be.
8.3 The Singular Cochain Algebra
In this subsection X is a topological space and \(C^{*}(X)\) the pseudocompact dg algebra of its normalized singular cochains. We will assume that X is connected and locally contractible, and that k has finite homological dimension.
We will consider infinitely generated modules, so recall from Sect. 1.1 that whenever we consider \(M\otimes C^*(X)\) for some graded kmodule M we will understand it as the completed tensor product.
To define a functor from \({{\,\mathrm{Tw}\,}}(C^*(X))\) to \({\underline{k}}\text {Mod}\) we recall that the presheaf of singular cochains with coefficients in any abelian group L, given for an open set \(U\subset X\) by \(U \mapsto C_{\text{ sing }}^*(U, L)\), has a sheafification given by \(U \mapsto C^{*}_{\text {sing}}(U,L)/C_0^{*}(U,L)\). Here \(C_{0}^{*}(U,L)\) consists of those singular cochains on U such that there is an open cover of U on which they vanish. See [47] for details. We write \(\mathscr {C}^{*}(L) = (\mathscr {C}^{*}(L), d_{\mathscr {C}})\) for the normalization of \(C_{\text {sing}}^{*}(U,L)/C_{0}^{*}(U,L)\). This is a flabby sheaf if X is semilocally contractible and there is a quasiisomorphism \({\underline{L}} \rightarrow \mathscr {C}^{*}(L)\). When \(L = k\) we drop it from the notation, and we note that \({\underline{L}} \otimes \mathscr {C}^{*} \cong \mathscr {C}^{*}(L)\).
Let us consider the dg functor \(F: {{\,\mathrm{Tw}\,}}(X) \rightarrow {\underline{k}}\text {Mod}\) defined by
where U is an open subset of X. Note that as \(C^{*}(X)\) is different from \(\mathscr {C}^{*}(X)\) this differs from Definition 7.2. Then we have the following result.
Theorem 8.4
The dg functor \(F: {{\,\mathrm{Tw}\,}}(X) \rightarrow {\underline{k}}\text {Mod}\) defined above is quasifully faithful, and induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X)) \cong D_{\mathrm{lf}}(X, {\underline{k}})\).
The proof is somewhat long and technical and will occupy the rest of the paper. Many of the technical complications of the proof disappear under the assumption that \(k\) is a field.
Given a simplex \(\sigma \) we will denote its vertices by \(\sigma _{0}, \dots , \sigma _{n}\) and write \(\sigma _{i_{0}\dots i_{k}}\) for the subsimplex spanned by \(\sigma _{i_{0}}, \dots , \sigma _{i_{k}}\).
Recall that we may write objects of \({{\,\mathrm{Tw}\,}}(X)\) as \((V \otimes C^{*}(X), D_{V})\) where V is some free graded \(k\)module.
Lemma 8.1
Let V be a \(k\)module considered as a dg module concentrated in degree 0. Then there is a bijective correspondence between \(C^*(X)\)modules of the form \((V \otimes C^*(X), D_V)\) and functors from the fundamental groupoid \(\Pi (X)\) of X to \({{\,\mathrm{End}\,}}(V)\), where the latter is viewed as a linear category with one object.
Proof
It suffices to identify \({{\,\mathrm{MC}\,}}(C^{*}(X, {{\,\mathrm{End}\,}}(V)))\) with functors from \(\Pi (X)\) to \({{\,\mathrm{End}\,}}(V)\). Consider an element \(f\in {{\,\mathrm{MC}\,}}(C^{*}(X, {{\,\mathrm{End}\,}}(V)))\), which is by definition a 1cochain. To define the functor \(\Phi (f): \Pi (X) \rightarrow {{\,\mathrm{End}\,}}(V)\) it suffices to specify it on the morphisms of \(\Pi (x)\). For a singular 1simplex \(\sigma \) of X, viewed as a morphism of \(\Pi (X)\), set \(\Phi (f)([\sigma ]) = 1+f(\sigma )\).
Assuming f is MC we obtain, for any singular 2simplex \(\tau \),
We deduce that \(1+f(\tau _{02}) = (1+f(\tau _{01}))(1+f(\tau _{12}))\). This shows that homotopic paths have the same image and concatenation of paths is sent to multiplication, so \(\Phi (f)\) is a welldefined functor.
Conversely, given a functor \(F: \Pi (X) \rightarrow {{\,\mathrm{End}\,}}(V)\), define a cochain \(\Psi (F)\) by \(\Psi (F)(\sigma ) = F([\sigma ])  1\). Given any twosimplex \(\tau \) we know \(F(\tau _{01}) \circ F(\tau _{12}) = F(\tau _{02})\), and the same computation as above shows \(\Psi (F)\) is MC. The maps \(\Psi \) and \(\Phi \) are inverse to each other. \(\square \)
Lemma 8.1 is compatible with the correspondence between locally constant sheaves and representations of the fundamental groupoid. With the notation of the proof, for every MC element \(x \in {{\,\mathrm{MC}\,}}({{\,\mathrm{End}\,}}(V) \otimes C^{*}(X))\) we have that \(({\underline{V}} \otimes \mathscr {C}^{*}, d + x)\) is a soft resolution of the locally constant sheaf \(\mathscr {V}\) associated to \(\Phi (g)\). To check the monodromy we may observe that if \(f: C_{*}(X) \rightarrow V\) represents a section and \(\sigma \) is a 1simplex connecting two points \(\sigma _{1}\) and \(\sigma _{0}\) then the cocycle condition \((d_{C}+g)(f)(\sigma ) = 0\) gives \(f(\sigma _{0}) = \Phi (g)([\sigma ])(f(\sigma _{1}))\).
Lemma 8.2
Let A, B be kalgebras concentrated in degree zero and x, y be MC elements in \(A \otimes C^{*}(X)\) and \(B \otimes C^{*}(X)\) respectively. Let M be a (B, A)bimodule and consider the dg module \((M \otimes C^{*}(X), D_{M})\) where \(D_{M}(f) = df + yf  (1)^{f}fx\). Then the natural quotient map \(q_{M}:M \otimes C^{*}(X) \rightarrow M\otimes \mathscr {C}^{*}(X)\) is a quasiisomorphism.
Proof
We proceed exactly in the same way as to establish the quasiisomorphism \(C^{*}(X) \rightarrow \mathscr {C}^{*}(X)\). For the reader’s convenience we provide some details. We first observe that \(\mathscr {C}^{*}(X) = \varinjlim C^{*}_{{\mathfrak {U}}}(X)\) where the limit is over covers of X and \(C^{*}_{{\mathfrak {U}}}(X)\) are those singular cochains which vanish on \({\mathfrak {U}}\). So it suffices to show \(q_{M}^{{\mathfrak {U}}}: M \otimes C^{*}(X)\rightarrow M\otimes C^{*}_{{\mathfrak {U}}}(X)\) is a quasiisomorphism for every cover \({\mathfrak {U}}\).
The natural quotient map \(q^{{\mathfrak {U}}}: C^{*}(X)\rightarrow C^{*}_{{\mathfrak {U}}}(X)\) has a homotopy inverse P induced by iterated barycentric subdivision of simplices. Inspection of the proof e.g. in [22, Proposition 2.21] shows that this homotopy equivalence is entirely formal, depending only on the boundary operator d and the operator b induced by taking the cone over the barycentre of a simplex. As long as they satisfy \(db + bd = {\mathbf {1}}\) one may define a subdivision chain map S and the homotopy T from S to the identity, and use these to define the desired map P, see below. Thus we may repeat the whole construction with twisted coefficients.
Write \(X = x+1\) and \(Y = y+1\). We may write the differential on \(M \otimes C^{*}(X)\) as
We observe that this is just a twosided version of the usual singular cochain complex with local coefficients.
Let \(\beta (\sigma )\) denote the cone over the barycentre of \(\sigma \). We then define \(b_{M}f(\sigma )\) as \(Y(\sigma _{0b})f(\beta \sigma )\) where \(\sigma _{0b}\) denotes the 1simplex connecting \(\sigma _{0}\) to the barycentre of \(\sigma \). A straightforward computation, using the fact that \(Y(\sigma _{0b})Y(\sigma _{b0}) = {\mathbf {1}}\) by Lemma 8.1, shows \(b_{M}D_{M}+D_{M}b_{M} = {\mathbf {1}}\).
We inductively define a twisted subdivision \({S_M}(f) = D_{M}S_{M}b_{M}(f)\), with \(S_{M}(f) = f\) on a 0cochain, and a chain homotopy \(T_{M}(f) = ({\mathbf {1}} D_{M}T_{M})b_{M}\), with \(T_{M}(f)= 0\) on a 0cochain. Then \(D_{M}T_{M} + T_{M}D_{M} = {\mathbf {1}} S_{M}\). For \(m \ge 0\) let \(H_{m}= \sum _{0\le i < m} S^{i}_{M}T_{M}\), this is a chain homotopy from \({\mathbf {1}}\) to \(S_{M}^m\). For every simplex \(\sigma \) there is a minimum \(m(\sigma )\) such that \(\beta ^{m(\sigma )}(\sigma )\) is contained in \({\mathfrak {U}}\). We then define the map H by \(H(f)(\sigma ) = H_{m(\sigma )}(f)(\sigma )\) and the map \(P_{M} = S_{M}^{m(\sigma )} + D_{M}H_{m(\sigma )}  D_{M}H\). One can check that H is a chain homotopy between the identity and \(P_{M}\circ q^{{\mathfrak {U}}}_{M}\). Moreover \(P_{M}\) is a right inverse of \(q^{{\mathfrak {U}}}_{M}\). This establishes the desired homotopy equivalence. Details are as for the untwisted dual case, which may be found in [22]. \(\square \)
Remark 8.5
Associated to a representation of the fundamental groupoid \(R:\Pi (X)\rightarrow {{\,\mathrm{End}\,}}(V)\) is, according to Lemma 8.1, an MC element \(\Psi (R)\). The corresponding twisted module \((V\otimes C^*(X),D_V)\cong (V\otimes C^*(X))^{[\Psi (R)]}\) coincides with the singular complex of X with local coefficients corresponding to the representation R. To a \(\Pi (X)\)bimodule, i.e. a representation \(P:\Pi \times \Pi ^{\text {op}}\rightarrow {{\,\mathrm{End}\,}}(M)\) one similarly associates a pair \(\Psi _1(P),\Psi _2(P)\) of MC elements and a twosided twisted complex \((M\otimes C^*(X))^{[\Psi _1(P),\Psi _2(P)]}\); this complex was used in the proof of Lemma 8.2. Any \(\Pi (X)\)bimodule determines, via the canonical functor \(\Pi (X)\rightarrow \Pi (X)\times \Pi (X)^{\text {op}}\), a left \(\Pi (X)\)module. It is easy to see that for a singular ncochain f with values in M, the map
determines an isomorphism from the twosided complex with local coefficients to the onesided complex. This is analogous to the wellknown isomorphism between the twosided Hochschild complex of a group and a onesided complex, cf. [34, Chapter 6, p. 293].
The following lemma is only needed if \(k\) is not a field. In that case not all locally constant sheaves are locally free, but the underlying graded module of a twisted module needs to be free.
Lemma 8.3
Any locally constant sheaf \(\mathscr {V}\) on X is the image under F of a bounded twisted \(C^*(X)\)module \(W\otimes C^*(X)\).
Proof
By Lemma 8.1 we know there is a \(C^*(X)\)module \((V\otimes C^*(X), D_V)\) mapping to \(\mathscr {V}\). The only problem is that V might not be free over k. We pick a finite free resolution \(q: (W, d_{W}) \rightarrow V\). Now we need to construct a differential \(D_W\) on \(W \otimes C^*(X)\) that maps to \(D_V\).
\(D_V\) is determined by the map \(D^{1}_{V}_{V}: V \rightarrow V \otimes C^{1}(X)\). For degree reasons all the maps \(D^{i}_{V}: V \rightarrow V \otimes C^{i}(X)\) for \(i \ne 1\) are zero.
As W is free we can lift \(D_{V}^{1}\) to a chain map \(w_{1}: W \rightarrow W \otimes C^{1}(X)\). As \(D_{V}^{2}=0\) we know \(w_{1}^{2} = d_{W}(w_{2})\) for some \(w_{2}: W \rightarrow W[1] \otimes C^{2}\). We let \(w_{0}= d_{W}\). Then this is the beginning of an inductive construction of a homomorphism \(\sum _{i \ge 0} w_{i}\) that will define a differential on \(W \otimes C^*(X)\). Assume we are given \(w_{i}\) for \(i \le k\) satisfying \(\sum _{i=0}^{n} w_{i}w_{ni} = 0\) for every \(n \le k\). Then \(\sum _{i=1}^{k} w_{i}w_{k+1i}\) is an object of \({{\,\mathrm{End}\,}}(W)\otimes C^{k+1}\).
We now compute \([w_{0}, \sum _{i=1}^{k} w_{i}w_{k+1i}]\) to check that \(\sum w_{i}w_{k+1i}\) is a \(d_{W}\)cocycle. We observe that
by symmetry. Then we split the sum as
But for \(m \ge 1\) all \(\sum _{i} w_{i} w_{k+1mi}\) are 0 by induction. Thus the first term in the sum is 0, which is what we had to show.
As \(H^{k}({{\,\mathrm{\underline{End}}\,}}((W, d_{W}))) = {{\,\mathrm{Ext}\,}}^{k}(V, V) = 0\) we see that the cocycle \(\sum _{i=1}^{k} w_{i}w_{k+1i}\) is a boundary and we can define \(w_{k+1}\) such that \(\sum _{i=0}^{k+1} w_{i}w_{k+1i} = 0\). As W is finite this process terminates. \(D_{W}_{W} :=\sum w_{i}\) defines a differential on \(W\otimes C^*(X)\) that is compatible with \(D_{V}\).
Now we filter \(q: (W \otimes C^*(X), D_W) \rightarrow (V \otimes C^*(X), D_V)\) by the singular cochain degree. This is a complete exhaustive filtration and the associated graded map consists of quasiisomorphisms \((W, d_{W})\otimes C^{p}(X) \simeq V \otimes C^{p}(X)\), thus q is a quasiisomorphism.
In fact, q is a quasiisomorphism if we replace X by any open subset U and thus we have constructed \((W \otimes C^*(X), D_{W})\) whose image under F is quasiisomorphic to \(\mathscr {V}\).\(\square \)
Lemma 8.4
For any twisted module E the sheaf F(E) is clc.
Proof
Consider \(P = (V \otimes C^*(X), D_V)\) in \({{\,\mathrm{Tw}\,}}(C^*(X))\) and restrict P to a contractible subset \(U \subset X\). We use the weak equivalence between U and a point and apply Corollary 6.3 to show that \(P_{U}\) is weakly equivalent to a constant sheaf on U with fibre \((V, d_{V})\). \(\square \)
Lemma 8.5
The natural functor \({{\,\mathrm{Tw}\,}}(C^{*}(X)) \rightarrow \mathscr {C}^{*}\text {Mod}\) is quasifully faithful.
Proof
Given twisted modules \((V \otimes C^*(X), D_V)\) and \((W \otimes C^*(X), D_W)\) over \(C^*(X)\) we know that \({{\,\mathrm{\underline{Hom}}\,}}_{{{\,\mathrm{Tw}\,}}({C^*(X)})}(V \otimes C^{*}(X), W \otimes C^{*}(X))\) is given by \(({{\,\mathrm{\underline{Hom}}\,}}(V,W)\otimes C^*(X))\) with a differential defined by \(f \mapsto D_W \circ f  (1)^{f}f \circ D_V\) on \({{\,\mathrm{\underline{Hom}}\,}}(V,W)\).
We then compute \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {C}^{*}}({\underline{V}}\otimes \mathscr {C}^*, {\underline{W}} \otimes \mathscr {C}^*)\). By Lemma 7.1 it is homotopy equivalent to module homomorphisms \({{\,\mathrm{\underline{Hom}}\,}}_{\mathscr {C}^{*}(X)}(V\otimes \mathscr {C}^*(X), W \otimes \mathscr {C}^*(X))\). This space in turn can be computed as \({{\,\mathrm{\underline{Hom}}\,}}(V, W) \otimes \mathscr {C}^{*}(X)\) with differential induced by \(f \mapsto D_{W}\circ f (1)^{f}f \circ D_{V}\).
Writing M for \({{\,\mathrm{\underline{Hom}}\,}}(V,W)\) we now need to show that there is a quasiisomorphism \(M \otimes C^{*}(X) \simeq M \otimes \mathscr {C}^{*}(X)\). Note that \(M \otimes C^{*}(X)\) with its differential \(D_{M}\) is not a \(C^{*}(X)\)module, and in particular not a twisted module. We may still consider its sheafification.
By Lemma 8.4 we know \({\underline{V}}\otimes \mathscr {C}^{*}\) and \({\underline{W}} \otimes \mathscr {C}^{*}\) are clc and thus so is \({{\,\mathrm{\mathscr { H} \! { om}}\,}}(V, W) \otimes \mathscr {C}^{*}\). Moreover, by Corollary 6.5 we may assume that \(V \otimes C^{*}\) and \(W \otimes C^{*}\) are reduced, so we may assume that \(D^{0}_{M}\) induces a differential on M.
We consider the natural map induced by the quotient \(C^{*}(X) \rightarrow \mathscr {C}^{*}(X)\) and filter both sides by the singular degree. We claim the associated spectral sequences agree on the second sheet, showing the map is a quasiisomorphism as the filtration is complete exhaustive. For the first spectral sequence we have \({}^{I}E_{1}^{pq} = H^{q}(M\otimes C^{0}(X))\otimes _{C^{0}(X)} C^{p}(X)\), which we may rewrite as \(H^{q}(M)\otimes C^{p}(X)\). The second sheet computes cohomology of a dg module \((H^{q}(M)\otimes C^*(X), d_{1})\), which satisfies the conditions of Lemma 8.2 for \(A = {{\,\mathrm{End}\,}}(V)\) and \(B = {{\,\mathrm{End}\,}}(W)\). For the second spectral sequence one has \({}^{II}E_{1}^{pq} = H^{q}(M)\otimes \mathscr {C}^{p}(X)\), and by Lemma 8.2 the \(E_{2}\)terms agree.
Here the first spectral sequence computes the Ext groups between clc sheaves using the singular cochain complex, and the second spectral sequence computes the Ext groups using a soft resolution. \(\square \)
Recall that to any dg \(k\)module \(C^*\) one can associate its canonical truncation \({\tau _{\le i}C^*}\) obtained by replacing \(C^n\) with zero for \(n>i\) and with \({\ker (C^i\rightarrow C^{i+1})}\) for \(n=i\). Then \(\tau _{\le i}C^*\) is a dg submodule in \(C^*\) and we set \(\tau _{\ge i+1}C^*:=C^*/(\tau _{\le i}C^*)\). This construction works for complexes over any abelian category, in particular one can define canonical truncations for dg sheaves of \(k\)modules. The following result shows that there are corresponding truncation functors for twisted \(C^*(X)\)modules.
Lemma 8.6
For every twisted \(C^*(X)\)module M there is a twisted module \(\tau _{\le i}M\) and a map \(\tau _{\le i}M\rightarrow M\) such that \(F(\tau _{\le i}M)\rightarrow F(M)\) is isomorphic in the derived category of dg \(k\)sheaves on X to the canonical map \(\tau _{\le i}F(M)\rightarrow F(M)\). Similarly there is twisted module \(\tau _{\ge i}M\) and a map \(M\rightarrow \tau _{\ge i}M\) such that \(F(M)\rightarrow F(\tau _{\ge i}M)\) is isomorphic in the derived category of dg \(k\)sheaves on X to the canonical map \(F(M)\rightarrow \tau _{\ge i}F(M)\).
Proof
We will prove the statement for the truncation \(\tau _{\le i}\); the other claim for \(\tau _{\ge i}\) will follow by taking \(\tau _{\ge i}M\) to be the cone of the map \(\tau _{\ge i1}M\rightarrow M\). Let \((V \otimes C^*(X), D_{V})\) be a twisted \(C^*(X)\)module that will be assumed to be reduced (or we replace it by a reduced one by Corollary 6.5). Note that \(D_V\) restricts to \((\tau _{\le i}(V) \otimes [C^*(X)])\) and so \((\tau _{\le i}(V) \otimes [C^*(X)], D_{V})\) is welldefined as a dg \(C^*(X)\)module. This may not be a twisted \(C^*(X)\)module since \(\tau _{\le i}(V)\) may not be free over \(k\).
We pick a \(k\)free resolution \((W,d_W)\) of \(\tau _{\le i}(N)\) and, arguing as in the proof of Lemma 8.3, construct a differential \(D_W\) on \(W\otimes C^*(X)\) together with a filtered quasiisomorphism \((W\otimes C^*(X), D_W)\rightarrow (\tau _{\le i}(V) \otimes [C^*(X)], D_{V})\).
Let us set \(\tau _{\le i}(V \otimes C^*(X), D_{V}):=(W\otimes C^*(X), D_W)\). We need to show that the truncation so obtained agrees with the truncation of dg sheaves upon applying the functor F. This is a local statement, and so it suffices to prove it with X replaced by a small contractible neighbourhood \(U\subset X\). This is, however, obvious since the twisted \(C^*(U)\)module \((W\otimes C^*(U), D_W)\) is homotopy equivalent to the (untwisted) tensor product of complexes \((W,d_W)\) and \(C^*(U)\) by Corollary 6.3. \(\square \)
Proof of Theorem 8.4
We use Lemma 7.6 to identify \(D_{\mathrm{lf}}(X, {\underline{k}})\) with cohomologically constant sheaves. Then by Lemma 8.4 the image of F consists of locally free dg sheaves. Next we show that the functor \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X)) \rightarrow D_{\mathrm{lf}}(X, {\underline{k}})\) induced by F is fully faithful.
To this end note that this functor can be represented as the following composition:
By Lemma 8.5 the first functor is fully faithful. To show the second functor is fully faithful on the image of \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X))\) we claim \({{\,\mathrm{\underline{Hom}}\,}}({\underline{V}} \otimes \mathscr {C}^{*}, {\underline{W}} \otimes \mathscr {C}^{*}) \simeq R{{\,\mathrm{\underline{Hom}}\,}}({\underline{V}} \otimes \mathscr {C}^{*}, {\underline{W}} \otimes \mathscr {C}^{*})\). We deduce this claim by following verbatim the proof of Lemma 7.4. By Corollary 6.5 (1) we have a homotopy equivalence \((V \otimes C^{*}(U), D_{W}) \simeq (V,d_{V})\otimes C^{*}(U)\) on any contractible set U. This takes the place of condition (*). We allow for unbounded dg sheaves, but this does not affect the proof as the filtration by degree of \({{\,\mathrm{\mathscr { H} \! { om}}\,}}(V,W)\otimes \mathscr {C}^{*}\) is still exhaustive and Hausdorff. Note that the dg kmodule \((V, d_{V})\) is cofibrant as it is free in each degree and k has finite homological dimension. Hence the associated sheaf \({\underline{V}} \otimes \mathscr {C}^{*}\) is also cofibrant.
Since \({\underline{k}} \simeq \mathscr {C}^{*}\) we have \(D(X, \mathscr {C}^{*}) \cong D(X, {\underline{k}})\) and \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X)) \rightarrow D_{lf}(X, {\underline{k}})\) is fully faithful.
Moreover, as \(\mathscr {C}^{*}\) is flat over k we may refine the argument and show, as in the proof of Corollary 7.1, that the functor \(F: {{\,\mathrm{Tw}\,}}(X) \rightarrow {\underline{k}} \text {Mod}\) is quasifully faithful.
Now we determine the quasiessential image of F. The subcategory of \(D_{\mathrm{lf}}(X, {\underline{k}})\) given by bounded dg sheaves is the smallest triangulated subcategory inside the derived category of dg \(k\)module sheaves on X containing all locally constant sheaves. This follows since any bounded element in \(D_{\mathrm{lf}}(X, {\underline{k}})\) is an iterated extension of its cohomology sheaves. The image of F contains all locally constant sheaves by Lemma 8.3. Thus, since F is compatible with cones, the quasiessential image of F contains all bounded clc sheaves.
Observe that every bounded below clc sheaf \(\mathscr {M}\) in \(D_{\mathrm{lf}}({\underline{k}})\) is a homotopy colimit (in the sense of [8]) of its truncations, \(\mathrm{hocolim}_i \tau _{\le i} \mathscr {M} \simeq \mathscr {M}\). By Lemma 8.3 we may lift the diagram \(\tau _{\le i}\mathscr {M}\) to a diagram \(\{P_i\}\) in \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X))\). As \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X))\) has arbitrary direct sums we may define \(P = \mathrm{hocolim}_i P_{i}\) and there is a natural map \(\mathscr {M} \rightarrow F(P)\) which is an isomorphism on cohomology (as we can check on truncations using \(\tau _{\le i} F(P) \simeq F(\tau _{\le i} (P)) \simeq \tau _{\le i} \mathscr {M}\) by Lemma 8.6). Thus, all bounded below clc sheaves are in the quasiessential image of F.
Finally we write a bounded above clc sheaf \(\mathscr {M}\) as a limit of bounded dg sheaves; \(\mathscr {M} \cong \lim \tau _{\ge i} \mathscr {M}\). We will explicitly construct a twisted \(C^*(X)\)module Q with a map \(F(Q) \rightarrow \mathscr {M}\) such that \(\tau _{\ge i}F(Q) \simeq \tau _{\ge i}\mathscr {M}\), showing \(F(Q) \simeq \mathscr {M}\).
To find Q we proceed as follows. We fix some \(Q_{0} = Q_{0}' \otimes C^{*}(X)\) mapping to \(\tau _{\ge 0}\mathscr {M}\) and then construct twisted modules \(Q_{i} = Q_{i}'\otimes C^{*}(X)\), \(i < 0,\) inductively. We may write \(\tau _{\ge i} \mathscr {M}\) as an extension of \(\tau _{\ge i+1}\mathscr {M}\) by \(H^{i}(\mathscr {M})[i]\). Using Lemma 8.3 we obtain \(W_{i} \otimes C^*(X)\) mapping to \(H^{i}(\mathscr {M})[i]\) under F where \(W_{i}\) is a finite complex of free \(k\)modules; moreover, because \(k\) is of finite homological dimension \(\mathrm{gd}(k)\), the length of \(W_i\) is bounded independently of i.
As F is quasifull we may lift the extension map \(\tau _{\ge i+1}\mathscr {M} \rightarrow H^{i}(\mathscr {M})[i+1]\) to \(\eta _{i}: Q_{i+1} \rightarrow W_{i}\otimes C^*(X)[1]\). Now the cone on \(\eta _{i}\) is defined as the twisted module of the form \(Q'_{i} \otimes C^{*}(X)\) where \(Q'_{i} = Q'_{i+1} \oplus W_{i}[1]\) and the differential is given by \(D_{Q_{i}} = (D_{Q_{i+1}}, D_{W} + \eta _{i})\), see Sect. 3. Thus we let \(Q_{i}\) be the cone of the map \(\eta _{i}\). By construction there is a quasiisomorphism \(F(Q_{i}) \simeq \tau _{\ge i}\mathscr {M}\).
By construction \(Q_{i}'\) is eventually constant, to be precise the degree m part \((Q_{i}')^{m}\) is independent of i if \(i < m  \mathrm{gd}(k) 1\). We define a graded \(k\)module \(Q'\) by \((Q')^{m} :=(Q_{i}')^{m}\) for sufficiently small i. Similarly, the differential \(D_{Q_{i}}\) restricted to \(Q_{i}'\) is eventually constant and we define \(D_{Q}\) on \((Q')^{m}\) to be \(D_{Q_{i}}\) (for sufficiently small i) and extend by the Leibniz rule.
Then \(Q = (Q' \otimes C^{*}(X), D_{Q})\) is the desired twisted module. There is a natural map \(Q \rightarrow Q_{i}\) and the maps \(F(Q_{i}) \rightarrow \tau _{\ge i}\mathscr {M}\) induce a map \(F(Q) \rightarrow \mathscr {M}\). We need to check that \(\tau _{\ge i}F(Q) \simeq F(\tau _{\ge i}Q)\) is equivalent to \(\tau _{\ge i}\mathscr {M}\). By construction \(\tau _{\ge i+1} Q' = Q'_{i+1} \oplus \tau _{\ge i+1}W_{i}[1] \oplus \tau _{\ge i+1}W_{i1}[2] \oplus \dots \). All summands but the first are acyclic for \(D^{0}\), thus after applying F we can show that \(F(\tau _{\ge i} Q) \simeq \tau _{\ge i}\mathscr {M}\).
This shows that that every bounded above clc sheaf is in the quasiessential image of F.
As every dg sheaf \({\mathscr {F}}\) is an extension of a bounded above sheaf \(\tau _{\ge 0}{\mathscr {F}}\) by a bounded below dg sheaf \(\tau _{\le 0}{\mathscr {F}}\), it follows that F is quasiessentially surjective. \(\square \)
Corollary 8.1
With X as above F induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(X) ) \rightarrow D_{\mathrm{perf}}(X, {\underline{k}})\).
Proof
We follow the proof of Theorem 8.4. In particular this means we define the functor F on \({{\,\mathrm{Tw_{fg}}\,}}(X)\), the dg category of finitely generated twisted modules, and obtain an embedding \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{fg}}\,}}(X)) \rightarrow D_{\mathrm{perf}}(X, {\underline{k}})\). As the right hand side is idempotent complete this extends to an embedding \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw_{perf}}\,}}(X)) \rightarrow D_{\mathrm{perf}}(X, {\underline{k}})\).
Essential surjectivity needs a little extra care. Considering any perfect \({\underline{k}}\)module as a finite extension of its cohomology sheaves it suffices to find a preimage for a locally constant sheaf \(\mathscr {M}\).
The fiber of \(\mathscr {M}\) may not be free, but by Lemma 7.6 it is quasiisomorphic to a strictly perfect dg module P over k. Next we find a dg module Q over k such that \(P \oplus Q\) is free and of finite rank in each degree, and Q has cohomology concentrated in degree 0. To do this let us write P as \(P^{n}\rightarrow \dots \rightarrow P^{0}\). We pick for each \(P^{i}\) a kmodule \(R^{i}\) such that \(P^{i}\oplus R^{i}\) is free of finite rank. Then let \(Q^{i} = R^{i} \oplus \bigoplus _{j = i+1}^{n} R^{j}\oplus P^{j}\) and define differentials inductively. The map \(d^{n}: Q^{n}\rightarrow Q^{n1}\) is just the inclusion of \(R^{n}\), and \(d^{i}\) is defined as the natural inclusion into \(Q^{i1}\) of the cokernel of \(d^{i1}\). With this definition the cohomology of Q is a kmodule N concentrated in degree 0.
We now consider the locally constant sheaf \(\mathscr {M}' = \mathscr {M} \oplus {\underline{N}}\). By construction its fiber has a finite free resolution of finite rank. We use Lemma 8.3 to lift \(\mathscr {M}'\) to a finitely generated twisted module, using the fact that we may choose W in the proof of Lemma 8.3 to be of finite rank. But \(\mathscr {M}\) is a summand of \(\mathscr {M}'\). Thus, as \({{\,\mathrm{Tw_{perf}}\,}}(X)\) is equivalent to an idempotent complete subcategory of \(D_{\mathrm{perf}}(X, {\underline{k}})\), it follows that \(\mathscr {M}\) is in the essential image of \({{\,\mathrm{Tw_{perf}}\,}}(X)\). \(\square \)
Remark 8.6
For an early incarnation of MC elements on singular cochains see [11]. There twisting cochains are used to express singular chains on a fibre space in terms of singular chains on base and fibre. One may interpret this as higher MC elements on \(C^{*}(X)\) representing certain infinity local systems.
There is a version of Theorem 8.4 for simplicial sets.
Corollary 8.2
Let X be a connected Kan complex. Then there is a quasifully faithful functor from \({{\,\mathrm{Tw}\,}}(X)\) to the category of dg sheaves of \(k\)modules on X, the geometric realization of X, which induces an equivalence \({{\,\mathrm{H^{0}}\,}}({{\,\mathrm{Tw}\,}}(X)) \cong D_{\mathrm{lf}}(X)\).
Proof
The singular simplicial set of X, is weakly equivalent to X. Since both are Kan simplicial sets, by Corollary 6.2 their categories of twisted modules are quasiequivalent. Now the result follows from 8.4 since X is locally contractible. \(\square \)
References
Adams, J.: On the cobar construction. Proc. Natl. Acad. Sci. U.S.A. 42, 409–412 (1956)
Anick, D.J.: Hopf algebras up to homotopy. J. Am. Math. Soc. 2, 417–453 (1989)
Araki, H.: Expansional in banach algebras, in Annales scientifiques de l’École Normale Supérieure, vol. 6, Elsevier, pp. 67–84 (1973)
Abad, C.A., Schätz, F.: Flat \({\mathbb{Z}}\)graded connections and loop spaces. Int. Math. Res. Not. IMRN 2018(4), 961–1008 (2016)
Behrend, K., Getzler, E.: Geometric higher groupoids and categories, in Geometry, analysis and probability, vol. 310 of Progr. Math., Birkhäuser/Springer, Cham, pp. 1–45 (2017)
Block, J.: Duality and equivalence of module categories in noncommutative geometry, in CRM Proceedings and Lecture Notes, vol. 50 (2010)
Block, J., Smith, A.M.: The higher Riemann–Hilbert correspondence. Adv. Math. 252, 382–405 (2014)
Bökstedt, M., Neeman, A.: Homotopy limits in triangulated categories. Compos. Math. 86, 209–234 (1993)
Bondal, A.I., Kapranov, M.M.: Framed triangulated categories. Mat. Sb. 181, 669–683 (1990)
Braun, C., Chuang, J., Lazarev, A.: Derived localisation of algebras and modules. Adv. Math. 328, 555–622 (2018)
Brown Jr., E.: Twisted tensor products, I. Ann. Math. 69, 223–246 (1959)
Choudhury, U., de Souza, M.G.A.: Homotopy theory of dg sheaves. Commun. Algebra 47, 3202–3228 (2019)
Chuang, J., Lazarev, A.: Feynman diagrams and minimal models for operadic algebras. J. Lond. Math. Soc. (2) 81, 317–337 (2010)
Chuang, J., Lazarev, A.: On the perturbation algebra. J. Algebra 519, 130–148 (2019)
Drinfeld, V.: DG quotients of DG categories. J. Algebra 272, 643–691 (2004)
Dugger, D., Hollander, S., Isaksen, D.: Hypercovers and simplicial presheaves. Math. Proc. Camb. Phil. Soc. 136, 9–51 (2004)
Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. France 90, 323–448 (1962)
GarciaPrada, O., Wells, R.: Differential Analysis on Complex Manifolds, Graduate Texts in Mathematics. Springer, New York (2007)
Goerss, P., Jardine, J.: Simplicial homotopy theory, Progress in Mathematics Series, Birkhäuser Verlag (1999)
Goerss, P., Schemmerhorn, K.: Model Categories and Simplicial Methods, in Contemporary Mathematics. American Mathematical Society, Providence (2007)
Hamilton, A., Lazarev, A.: Cohomology theories for homotopy algebras and noncommutative geometry. Algebr. Geom. Topol. 9, 1503–1583 (2009)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Holstein, J.V.S.: Properness and simplicial resolutions for the model category dgCat. Homol. Homotopy Appl. 16, 263–273 (2014)
Holstein, J.V.S.: Morita cohomology. Math. Proc. Camb. Phil. Soc. 158, 1–26 (2015)
Holstein, J.V.S.: Morita cohomology and homotopy locally constant sheaves. Math. Proc. Camb. Phil. Soc. 158, 27–35 (2015)
Huybrechts, D.: An introduction of Complex Geometry, Universitext. Springer, Berlin (2005)
Jarchow, H.: Locally Convex Spaces. Vieweg+Teubner Verlag, Mathematische Leitfäden (2012)
Keller, B.: Introduction to Ainfinity algebras and modules. Homology Homotopy Appl. 3(1), 1–35 (2001)
Keller, B.: On differential graded categories, in International Congress of Mathematicians, vol. II, pp. 151–190. Zürich, Eur. Math. Soc. (2006)
Kontsevich, M.: The symplectic geometry of homological algebra. http://www.ihes.fr/~maxim/TEXTS/SymplecticAT2009.pdf
Kontsevich, M.: Deformation quantization of poisson manifolds. Lett. Math. Phys. 66, 157–216 (2003)
Kriegl, A., Michor, P.W.: The Convenient Setting of Global Analysis, vol. 53 of Mathematical Surveys and Monographs. American Mathematical Society, Providence (1997)
Lazarev, A.: Maurer–Cartan moduli and models for function spaces. Adv. Math. 235, 296–320 (2013)
MacLane, S.: Homology, SpringerVerlag, BerlinNew York, first ed., 1967. Die Grundlehren der mathematischen Wissenschaften, Band 114
Malgrange, B.: Ideals of Differentiable Functions. Oxford University Press, Oxford (1966)
Markl, M.: Ideal perturbation lemma. Commun. Algebra 29, 5209–5232 (2001)
May, J.P.: Simplicial objects in algebraic topology. Van Nostrand Mathematical Studies, No. 11 D. Van Nostrand Co., Inc., Princeton, N.J.Toronto, Ont.London, p vi+161 (1967)
Mityagin, V., Khenkin, G.: Linear problems of complex analysis. Russ. Math. Surv. 26, 99–164 (1971)
Morye, A.S.: Note on the SerreSwan Theorem. Math. Nachr. 286, 272–278 (2013)
Pirkovskii, A.: Arens–Michael envelopes, homological epimorphisms, and relatively quasifree algebras. Trans. Moscow Math. Soc. 69, 27–104 (2008)
Positselski, L.: Two kinds of derived categories, Koszul duality, and comodulecontramodule correspondence. Mem. Am. Math. Soc. 212, vi+133 (2011)
Positselski, L.: Contramodules (2015). arXiv:1503.00991
Quillen, D.: \(K_0\) for nonunital rings and Morita invariance. J. Reine Angew. Math. 472, 197–217 (1996)
Rivera, M., Zeinalian, M.: Cubical rigidification, the cobar construction and the based loop space. Algebr. Geom. Topol. 18, 3789–3820 (2018)
Schlessinger, M., Stasheff, J.: Deformation theory and rational homotopy type (2012). arXiv:1211.1647
Seeley, R.T.: Extension of \(C^{\infty }\) functions defined in a half space. Proc. Am. Math. Soc. 15, 625–626 (1964)
Sella, Y.: Comparison of sheaf cohomology and singular cohomology (2016). arXiv:1602.06674
Tabuada, G.: Invariants additifs de dgcategories. Int. Math. Res. Not., p. 3309 (2005). arXiv:0507227v1
Toën, B.: The homotopy theory of \(dg\)categories and derived Morita theory. Invent. Math. 167, 615–667 (2007)
Treves, F.: Topological Vector Spaces. Dover books on mathematics, Academic Press, Distributions and Kernels (1967)
Van den Bergh, M.: Calabi–Yau algebras and superpotentials. Sel. Math. (N.S.) 21, 555–603 (2015)
Acknowledgements
The authors would like to thank Jonathan Block, Chris Braun and Maxim Kontsevich for stimulating discussions, and the anonymous referee for drawing our attention to the paper [5]. A substantial part of this paper was completed during the third author’s visit to IHES, and he wishes to thank this institution for excellent working conditions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Batanin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by EPSRC Grants EP/N015452/1 and EP/N016505/1.
Appendix: Nuclear Spaces
Appendix: Nuclear Spaces
In this Appendix we collect some facts about Grothendieck’s nuclear spaces used in the main text, for the reader’s convenience. Our main sources are [27] and [50]. We will consider complete locally convex Hausdorff topological vector spaces over \({\mathbb {R}}\) which will be referred to below as simply ‘vector spaces’. If we have a linear continuous injection \(U\hookrightarrow V\) that is a homeomorphism of U on its image, we will refer to U as a subspace of V.
Definition 9.1
Let U and V be vector spaces. Their projective tensor product \({U\otimes _\pi V}\) is a vector space having a universal property with respect to continuous bilinear maps out of \(U\times V\), i.e. for any vector space W there is a natural isomorphism between the set of continuous bilinear maps \(U\otimes _\pi V\rightarrow W\) and the space of bilinear continuous maps \(U\times V\rightarrow W\).
It is clear that the above defines \(U\otimes _\pi V\) up to a unique isomorphism, and there is an explicit construction (that we will not need) showing that the vector space with the required universal property exists. There are other natural notions of a tensor product of vector spaces, of which the most important is that of an injective tensor product denoted by \(U\otimes _\epsilon V\), [27, Chapter 16]. There is a canonical continuous map \(U\otimes _\pi V\rightarrow U\otimes _\epsilon V\).
Definition 9.2
A vector space U is called nuclear if for any vector space V the canonical map \(U\otimes _\pi V\rightarrow U\otimes _\epsilon V\) is a topological isomorphism.
From now on we will refer to projective tensor products as simply tensor products and omit the corresponding subscript.
The category of nuclear spaces and continuous linear maps is closed with respect to various natural operations.
Theorem 9.1
The collection of nuclear spaces is stable with respect to forming arbitrary direct products, tensor products and passage to subspaces.
Proof
See [27, Corollary 21.2.3]. \(\square \)
Corollary 9.1
The category of nuclear spaces contains arbitrary limits.
Proof
This follows immediately from Theorem 9.1 since any limit can be constructed using direct products and passing to subspaces. \(\square \)
It turns out that the operation of tensor product with a nuclear space commutes with arbitrary limits:
Theorem 9.2
Let \(U_\alpha \) be a diagram of vector spaces and continuous linear maps and V be a nuclear space. Then there is a natural topological isomorphism
Proof
It suffices to show that tensor products commutes with direct products and passing to kernels. This follows from [27, Proposition 16.2.5 and Theorem 16.3.1], taking into account that injective and projective tensor products with a nuclear space are isomorphic. \(\square \)
A lot of vector spaces one encounters in analysis are nuclear. In particular:
Theorem 9.3
Let W be an open subset of some topological simplex \(\Delta ^{n}\). Then the algebra \(C^\infty (W)\) of smooth functions on W is nuclear.
Proof
Let \(I^n_\epsilon \subset {\mathbb {R}}^n\) denote the ndimensional cube in \({\mathbb {R}}^n\) with side of length \(\epsilon >0\). Using Seeley’s extension theorem, more specifically its version for domains with corners [32, Proposition 24.10], we conclude that the restriction map \({C^\infty ({\mathbb {R}}^n)\rightarrow C^\infty (I^n_\epsilon )}\) has a continuous splitting and, since \(C^\infty ({\mathbb {R}}^n)\) is nuclear, [50, Corollary to Theorem 51.5], its retract \(C^\infty (I^n_\epsilon )\) is likewise nuclear. Moreover, clearly the algebra of smooth functions on any closed subset in \({\mathbb {R}}^n\) diffeomorphic to \(I^n_\epsilon \) also forms a nuclear space as it is isomorphic to \(C^\infty (I^n_\epsilon )\). We then deduce nuclearity of W by representing it as a union of a collection of subsets diffeomorphic to \(I^n_\epsilon \) and using Theorem 9.2. \(\square \)
Given a smooth manifold X we consider its de Rham algebra \(\Omega (X)\) and for a simplicial complex K we consider its piecewise smooth de Rham algebra \(\Omega (K)\). We also consider the piecewise smooth de Rham algebra on any open subset U of the underlying space K of K. Theorem 9.3 implies the following.
Corollary 9.2
If W be an open subset of \({\mathbb {R}}^n\) or of some standard simplex \(\Delta ^{n}\) then the dg algebra \(\Omega (W)\) is nuclear. \(\square \)
Theorem 9.4
Let U, W be open subsets of topological simplices \(\Delta ^{n}\) and \(\Delta ^m\) respectively for some \(n,m>0\). Then there is a natural topological isomorphism \(\Omega (U\times W)\cong \Omega (U)\otimes \Omega (W)\).
Proof
It suffices to prove the isomorphism \(C^\infty (U\times W)\cong C^\infty (U)\otimes C^\infty (W)\). Arguing as in the proof of Theorem 9.3, we represent U and V as unions of subsets diffeomorphic to cubes \(I^n_\epsilon \) and \(I^m_{\epsilon ^\prime }\); it will be sufficient to prove the desired isomorphism for \(U=C^\infty (I^n_\epsilon )\), \(V=C^\infty (I^m_{\epsilon ^\prime })\). Since \(C^\infty (I^n_\epsilon )\) and \(C^\infty (I^m_{\epsilon ^{\prime }})\) are retracts of \(C^\infty ({\mathbb {R}}^n)\) and \(C^\infty ({\mathbb {R}}^m)\) respectively, the natural map \({C^\infty (I^n_\epsilon )\otimes C^\infty (I^m_{\epsilon ^\prime })\rightarrow C^\infty (I^n_\epsilon \times I^m_{\epsilon ^\prime })}\) is a retract of the map \(C^\infty ({\mathbb {R}}^n)\otimes C^\infty ({\mathbb {R}}^m)\rightarrow C^\infty ({\mathbb {R}}^n\times {\mathbb {R}}^m)\) and so is an isomorphism since the latter map is, [50, Theorem 51.6]. \(\square \)
Corollary 9.3
Let U and W be open subsets of the underlying spaces of simplicial complexes K and L. Then \(\Omega (U \times W) \cong \Omega (U)\otimes \Omega (W)\).
Proof
By definition \(\Omega (U) = \lim _{\Delta \in K} \Omega (U \cap \Delta )\). As the tensor product commutes past the limits by Theorems 9.3 and 9.2 it suffices to check the result for open subsets of the standard simplex, which is the content of Theorem 9.4. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chuang, J., Holstein, J. & Lazarev, A. Maurer–Cartan Moduli and Theorems of Riemann–Hilbert Type. Appl Categor Struct 29, 685–728 (2021). https://doi.org/10.1007/s10485021096313
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485021096313
Keywords
 Maurer–Cartan element
 Differential graded algebra
 Simplicial complex
 Smooth manifold
 Locally constant sheaf