Descent of dg cohesive modules for open covers on complex manifolds (Q6051904)

From MaRDI portal
scientific article; zbMATH DE number 7740683
Language Label Description Also known as
English
Descent of dg cohesive modules for open covers on complex manifolds
scientific article; zbMATH DE number 7740683

    Statements

    Descent of dg cohesive modules for open covers on complex manifolds (English)
    0 references
    0 references
    20 September 2023
    0 references
    \textit{J. Block} [in: A celebration of the mathematical legacy of Raoul Bott. Based on the conference, CRM, Montreal, Canada, June 9--13, 2008. Providence, RI: American Mathematical Society (AMS). 311--339 (2010; Zbl 1201.58002)] assigned a dg-category \(\mathcal{P}_{\mathcal{A}}\), called cohesive modules, to a (curved) dg-algebra \(\mathcal{A}\), establishing that, for a compact complex manifold \(X\), \(\mathcal{P}_{\mathcal{A}(X)}\) gives a dg-enhancement of \(D_{\mathrm{coh}}^{\mathrm{b}}(X)\), the bounded derived category of cohesive sheaves on \(X\). Based on this result, the author et al. [``Coherent sheaves, superconnections, and RRG'', Preprint, \url{arXiv:2102.08129}] established the Grothendieck-Riemann-Roch theorem for coherent sheaves on compact complex manifolds. Moreover, [\textit{J. Chuang} et al., Appl. Categ. Struct. 29, No. 4, 685--728 (2021; Zbl 1487.18009)] generalized the result in [\textit{J. Block}, in: A celebration of the mathematical legacy of Raoul Bott. Based on the conference, CRM, Montreal, Canada, June 9--13, 2008. Providence, RI: American Mathematical Society (AMS). 311--339 (2010; Zbl 1201.58002)] to the case that \(X\) is non-compact with a slightly more restricted definition of coherent sheaves. This paper investigates the descent of \(\mathcal{P}_{\mathcal{A}(X)}\) for an arbitrary locally finite open cover \ of \(\mathcal{U} =\left\{ U_{i}\right\} \), where it is established that the natural functor \[ \mathcal{P}_{\mathcal{A}(X)}\rightarrow\mathrm{Holim}_{\mathcal{U}}\mathcal{P}_{\mathcal{A}(U_{i})} \] is a quasi-equivalence of dg-categories. Owing to [Zbl 1477.18005, Zbl 1408.14065], the homotopy limit \(\mathrm{Holim}_{\mathcal{U}}\mathcal{P}_{\mathcal{A}(U_{i})}\) is to be realized concretely as the dg-category of twisted complexes \(\mathrm{Tw}(X,\mathcal{P}_{\mathcal{A}},U_{i})\), so that the main result claims that the natural functor \[ \mathcal{P}_{\mathcal{A}(X)}\rightarrow\mathrm{Tw}(X,\mathcal{P}_{\mathcal{A}},U_{i}) \] is a dg-quasi-equivalence of dg-categories for locally finite open cover and the dg-category of globally bounded twisted complexes. The result can be considered as a dg-categorification of the Čech-Dolbeault theory of cohomologies on complex manifolds. The proof consists of \begin{itemize} \item[1.] a detailed study of the pair \(\mathcal{T}\rightrightarrows\mathcal{S}\) restricted to underlying complexes; \item[2.] some general results on dg-categories and cohesive modules. \end{itemize} The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] reviews cohesive modules. \item[\S 3] reviews twisted complexes, defining the natural functor \[ \mathcal{T}:\mathcal{P}_{\mathcal{A}(X)}\rightarrow \mathrm{Tw}(X,\mathcal{P}_{\mathcal{A}},U_{i}) \] as well as its right adjoint \(\mathcal{S}\). \item[\S 4] temporarily ignores the \(\overline{\partial}\)-\(\mathbb{Z}\)-connection, focusing on the gluing of underlying complexes. \item[\S 5] takes the \(\overline{\partial}\)-\(\mathbb{Z}\)-connection back, considering the descent of cohesive modules, where the main result is established (Theorem 5.5). \end{itemize}
    0 references
    descent
    0 references
    cohesive modules
    0 references
    twisted complexes
    0 references
    dg-categories
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references