Internal homs via extensions of dg functors (Q2342655): Difference between revisions

The paper under review studies extensions of dg functors. In more details, let \(\mathbf{A}\) and \(\mathbf{B}\) be two dg categories over a ring \(k\) and \(\text{dgMod}(\mathbf{B})=\underline{\text{Hom}}(\mathbf{B}^{\circ}, \text{Ch}_{\text{dg}}(k))\) be the dg category of \(\mathbf{B}\)-dg modules. Let \(F: \mathbf{A}\to \text{dgMod}(\mathbf{B})\) be a dg functor corresponding to a dg bimodule \(E\in \text{dgMod}(\mathbf{A}^{\circ}\otimes \mathbf{B})\). We could define (see Section 3.1) the \textit{extension} of \(F\) to be the dg functor \[ \widehat{F}: \text{dgMod}(\mathbf{A})\to \text{dgMod}(\mathbf{B}), \widehat{F}(-):=-\otimes_{\mathbf{A}}E. \] It is clear that \(\widehat{F}\circ Y_{\mathbf{A}}\) is dg isomorphic to \(F\) where \(Y_{\mathbf{A}}: \mathbf{A}\to \text{dgMod}(\mathbf{A})\) is the Yoneda embedding. Hence \(\widehat{F}\) is a version of Kan extension in the context of dg functors. This paper studies various properties of \(\widehat{F}\) and its restriction to certain subcategories of \(\text{dgMod}(\mathbf{A})\) as well as \(\widehat{F}\) in \textbf{Hqe}, the localization of \textbf{dgCat} with respect to quasi-equivalences. One of the key facts is given in Proposition 3.10, which claims that the natural maps of sets \[ [\text{h-proj}(\mathbf{A}),\text{h-proj}(\mathbf{B})]_c\to [\mathbf{A},\text{h-proj}(\mathbf{B})], f\mapsto f\circ [Y_{\mathbf{A}}] \] is a bijection, where \(\text{h-proj}(-)\) denotes h-projective dg modules, \([-,-]\) denotes the set of morphisms in \textbf{Hqe} and \([-,-]_c\) denotes the subset of continuous morphisms. As an application of extensions of dg functors, the authors give an alternative proof of the existence of internal Homs in \textbf{Hqe}, i.e. the dg category \(\mathbb{R}\underline{\text{Hom}}(\mathbf{B},\mathbf{C}):=\text{h-proj}(\mathbf{B}^{\circ}\otimes ^L \mathbf{C})^{rqr}\) gives a natural bijection \[ [\mathbf{A}\otimes^L \mathbf{B},\mathbf{C}]\overset{1:1}{\longleftrightarrow} [\mathbf{A}, \mathbb{R}\underline{\text{Hom}}(\mathbf{B},\mathbf{C})], \] where \((\mathbf{B}^{\circ}\otimes ^L \mathbf{C})^{rqr}\) denotes right quasi-representable bimodules. This result was originally stated and proved by \textit{B. Toën} in [Invent. Math. 167, No. 3, 615--667. (2007; Zbl 1118.18010)], which is a consequence of deep results on the mapping spaces in \textbf{dgCat} with the Dwyer-Kan model structure. The proof in the current paper, in contrast, is more straightforward, which is obtained by describing morphisms in \textbf{Hqe} in terms of certain dg bimodules and completely avoids the machinery of model category. See Proposition 3.12 and the proof in Section 4.