Twisted complexes and simplicial homotopies

DOI10.1007/S40879-021-00480-XMaRDI QIDQ2049059zbMATH OpenOpenAlexFDO

Authors Zhaoting Wei

Publication date 24 August 2021

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.07460

zbMATH Keywords

\(A_\infty\)-natural transformationsdg categoriestwisted complexes

Mathematics Subject Classification ID

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Chain complexes (category-theoretic aspects), dg categories (18G35) (A_{infty})-categories, relations with homological mirror symmetry (18G70)

Abstract: In this paper we consider the dg-category of twisted complexes over simplicial ringed spaces. It is clear that a simplicial map $f:(mathcalU,mathcalR)o(mathcalV,mathcalS)$ between simplicial ringed spaces induces a dg-functor $f^{\ast }:extTw(mathcalV,mathcalS)oextTw(mathcalU,mathcalR)$ where $extTw(mathcalU,mathcalR)$ denotes the dg-category of twisted complexes on $(mathcalU,mathcalR)$. In this paper we prove that for simplicial homotopic maps $f$ and $g$, there exists an $A_{infty}$-natural transformation $Phi:f^{\ast }Rightarrow{g}^{\ast }$ between induced dg-functors. Moreover the $0$th component of $Phi$ is an objectwise weak equivalence. If we restrict ourselves to the full dg-subcategory of twisted perfect complexes, then we prove that $Phi$ admits an $A_{infty}$-quasi-inverse when $(mathcalU,mathcalR)$ satisfies some additional conditions.

Review text

The author considers a question on the functoriality of the dg category of twisted complexes. The dg category of twisted complexes may be considered for any sheaf of rings on a simplicial space and often provides an explicit model for global sections of the associated sheaf of categories of modules. An important special case gives an explicit enhancement of the derived category of perfect complexes on a complex manifold or algebraic variety. This construction going back to Toledo and Tang has recently seen renewed attention (see the references in the article). While any map between simplicial spaces induces a dg functor on categories of twisted complexes it is not true that a simplicial homotopy induces a dg natural transformation. To remedy this Wei explicitly constructs an \(A_\infty\)-natural transformation induced by a simplicial homotopy. In fact, this \(A_\infty\)-natural transformation only has two components (rather than a countably infinite family of components as for a general \(A_\infty\)-natural transformation). Restricted to perfect complexes he finds that this \(A_\infty\) natural transformation admits an \(A_\infty\)-quasi-inverse.

Recommendations

• Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
• Twisted complexes on a ringed space as a dg-enhancement of the derived category of perfect complexes
• Differential graded versus simplicial categories
• Derived \(A\)-infinity algebras and their homotopies
• The homotopy theory of dg-categories and derived Morita theory

Cites work

• A Grothendieck-Riemann-Roch formula for maps of complex manifolds
• A microlocal category associated to a symplectic manifold
• Category of \(A_\infty\)-categories
• Duality and intersection theory in complex manifolds. I
• ENHANCED TRIANGULATED CATEGORIES
• Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
• Fukaya categories and Picard-Lefschetz theory
• Hirzebruch-Riemann-Roch for Coherent Sheaves
• Homotopy limits in the category of dg-categories in terms of \(\mathrm{A}_\infty\)-comodules
• scientific article; zbMATH DE number 206022 (Why is no real title available?)
• Simplicial homotopy theory
• The Trace Map and Characteristic Classes for Coherent Sheaves
• Twisted complexes on a ringed space as a dg-enhancement of the derived category of perfect complexes

Cited in

(6)

• Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
• Iterated homology of simplical complexes
• The twisted homology of simplicial set
• Index type invariants for twisted signature complexes and homotopy invariance
• Unbounded twisted complexes
• Complexification and homotopy

This page was built for publication: Twisted complexes and simplicial homotopies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049059)