DG Affinity of DQ-modules

Francois Petit

DOI: https://doi.org/10.48550/arXiv.1103.0253

2011-03-05

Abstract:In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically complete and whose associated graded module is quasi-coherent.

Algebraic Geometry

What problem does this paper attempt to address?

A DG-Enhancement of with Applications in Deformation Theory

Meazzini, Francesco

DOI: https://doi.org/10.1007/s10485-024-09769-w

2024-05-08

Applied Categorical Structures

Abstract:It is well-known that DG-enhancements of the unbounded derived category of quasi-coherent sheaves on a scheme X are all equivalent to each other. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived endomorphisms of a quasi-coherent sheaf on a finite-dimensional Noetherian separated scheme (even if does not admit a locally free resolution). Moreover, these complexes are endowed with DG-Lie algebra structures, which we prove to control infinitesimal deformations of .

mathematics
Derived deformation theory of algebraic structures

Gregory Ginot,Sinan Yalin

2024-05-25

Abstract:The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $\infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $\infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.

Algebraic Topology,Quantum Algebra
Quasi DG categories and mixed motivic sheaves

Masaki Hanamura

DOI: https://doi.org/10.48550/arXiv.1401.0144

2013-12-31

Abstract:We introduce the notion of a quasi DG category, generalizing that of a DG category. To a quasi DG category satisfying certain additional conditions, we associate another quasi DG category, the quasi DG category of $C$-diagrams. We then show the homotopy category of the quasi DG category of $C$-diagrams has the structure of a triangulated category. This procedure is then applied to produce a triangulated category of mixed motives over a base variety.

Algebraic Geometry,K-Theory and Homology
Proper connective differential graded algebras and their geometric realizations

Theo Raedschelders,Greg Stevenson

2024-11-11

Abstract:We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite dimensional DG-algebra and in the smooth case we compute the noncommutative Chow motive of $A$. We go on to analyse the relationship between smoothness and regularity in more detail as well as commenting on smoothness of the degree zero cohomology for smooth proper connective DG-algebras.

K-Theory and Homology,Algebraic Geometry,Representation Theory
The Deformation Complex For DG Hopf Algebras

Ronald Umble

DOI: https://doi.org/10.48550/arXiv.math/0106266

2002-09-12

Abstract:Let H be a differential graded Hopf algebra over a field k. This paper gives an explicit construction of a triple cochain complex that defines the Hochschild-Cartier cohomology of H. A certain truncation of this complex is the appropriate setting for deforming H as an H(q)-structure. The direct limit of all such truncations is the appropriate setting for deforming H as a strongly homotopy associative structure. Sign complications are systematically controlled. The connection between rational perturbation theory and the deformation theory of certain free commutative differential graded algebras is clarified.

Algebraic Topology,Commutative Algebra,Rings and Algebras
Deformations of quasi-categories in modules

Violeta Borges Marques,Wendy Lowen,Arne Mertens

2023-08-18

Abstract:The framework of templicial objects was put forth in <a class="link-https" data-arxiv-id="2302.02484v1" href="https://arxiv.org/abs/2302.02484v1">arXiv:2302.02484v1</a> in order to develop higher categorical concepts in the presence of enrichment. In particular, quasi-categories in modules constitute a subclass of templicial modules which may be considered as a kind of "weak dg-categories (concentrated in homologically positive degrees)" according to <a class="link-https" data-arxiv-id="2005.04778v3" href="https://arxiv.org/abs/2005.04778v3">arXiv:2005.04778v3</a>. The main goal of the present paper is to initiate the deformation theory of templicial modules. In particular, we show that quasi-categories in modules are preserved under levelwise flat infinitesimal deformation.

Category Theory,Algebraic Topology,K-Theory and Homology
A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

Jack Hall,Kyle Priver

2024-05-10

Abstract:Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting Fourier-Mukai functor. There is a well-known criterion due to Bondal-Orlov for $\Phi_K$ to be fully faithful. This criterion was recently extended to smooth Deligne-Mumford stacks with projective coarse moduli schemes by Lim-Polischuk. We extend this to all smooth, proper Deligne-Mumford stacks over arbitrary fields of characteristic $0$. Along the way, we establish a number of foundational results for bounded derived categories of proper and tame morphisms of noetherian algebraic stacks (e.g., coherent duality).

Algebraic Geometry
Quasi-Isomorphisms of Commutative DG Rings and Divided Power Structures

Amnon Yekutieli

2023-10-22

Abstract:We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and $\tilde{f} : \tilde{B} \to B$ is a surjective quasi-isomorphism. This result is used in our work on a DG approach to the cotangent complex, and our work on the derived category of commutative DG rings.

Algebraic Geometry,Commutative Algebra,K-Theory and Homology
A formal category theoretic approach to the homotopy theory of dg categories

Yuki Imamura

2024-06-07

Abstract:We introduce a bicategory which refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg categories $\mathsf{DBimod}$ whose Hom categories are the derived categories of dg bimodules and then define the desired bicategory as the sub-bicategory $\mathsf{DBimod}^\text{rqr}$ consisting only of right quasi-representable dg bimodules. The first half of the paper is devoted to the study of adjunctions and equivalences in these bicategories. We then show that the embedding $\mathsf{DBimod}^\text{rqr} \hookrightarrow \mathsf{DBimod}$ is a proarrow equipment in the sense of Richard J. Wood, which is a framework for formal category theory and makes it possible to talk about (weighted) (co)limits in an abstract way. Thus we obtain the notion of homotopical (co)limits in a dg category, including homotopical shifts and cones, by which we obtain a formal characterization of pretriangulated dg categories. As an immediate application we give a conceptual proof of the fact that the pretriangulatedness is preserved under the gluing procedure.

Category Theory,Algebraic Geometry,Representation Theory
Shifted symplectic structures on derived Quot-stacks II -- Derived Quot-schemes as dg manifolds

Dennis Borisov,Ludmil Katzarkov,Artan Sheshmani

2023-12-05

Abstract:It is proved that derived Quot-schemes, as defined by Ciocan-Fontanine and Kapranov, are represented by dg manifolds of finite type. This is the second part if a work aimed to analyze shifted symplectic structures on moduli spaces of coherent sheaves on Calabi--Yau manifolds. The first part related dg manifolds to derived schemes as defined by Toën and Vezzosi.

Algebraic Geometry
Homological Invariants For Connected Dg Algebras

X.-F. Mao,Q.-S. Wu

DOI: https://doi.org/10.1080/00927870802110870

2008-01-01

Communications in Algebra

Abstract:In this article, we study various homological invariants of differential graded (DG for short) modules over a connected DG algebra following Frankild-Jorgensen. Two different versions of homological dimensions (resolutional and functorial) are defined. In some cases, they are proved to be simply the bound of the cohomology of the DG module. Some homological identities, such as Auslander-Buchsbaum formula and Bass formula, are proved for compact DG modules over a connected DG algebra.
Deformations of cohesive modules on compact complex manifolds

Zhaoting Wei

2023-09-05

Abstract:Cohesive modules give a dg-enhancement of the bounded derived category of coherent sheaves on a complex manifold via superconnections. In this paper we discuss the deformation theory of cohesive modules on compact complex manifolds. This generalizes the deformation theory of holomorphic vector bundles and coherent sheaves. We also develop the theory of Kuranishi maps and obstructions of deformations of cohesive modules and give some examples of unobstructed deformations.

Algebraic Geometry,Category Theory,Differential Geometry
Exact dg categories I : Foundations

Xiaofa Chen

2024-02-22

Abstract:We introduce the notion of exact dg category, which provides a differential graded enhancement of Nakaoka--Palu's notion of extriangulated category. We give a definition in complete analogy with Quillen's but where the category of kernel-cokernel pairs is replaced with a more sophisticated homotopy category. We introduce the notion of stable dg category, and prove that the $H^0$-category of an exact dg category $\mathcal{A}$ is triangulated if and only if $\mathcal{A}$ is stable. We illustrate our theory with several examples including the homotopy category of two-term complexes and Amiot's fundamental domain for generalized cluster categories.

Representation Theory,Category Theory
A note on higher structures on the complexes associated to quiver algebras with applications to toupie algebras

Yuming Liu,Bohan Xing

2024-01-12

Abstract:In this paper, we summarize a general method of transforming DG structures into higher structures on the various complexes related to the reduced bar resolution of a given quiver algebra using algebraic Morse theory. As an application, we describe the $A_\infty$-structures of toupie algebras. Additionally, for certain special toupie algebras, we also prove that their double homological duals are isomorphic to their associated graded algebras.

Representation Theory
On exact dg categories

Xiaofa Chen

2023-06-14

Abstract:We introduce the notion of an exact dg category, which is a simultaneous generalization of the notions of exact category in the sense of Quillen and of pretriangulated dg category in the sense of Bondal--Kapranov. It is also a differential graded analogue of Barwick's notion of exact $\infty$-category and a differential graded enhancement of Nakaoka--Palu's notion of extriangulated category. It is completely different from Positselski's notion of exact DG-category. Our motivations come for example from the categories appearing in the additive categorification of cluster algebras with coefficients. We give a definition in complete analogy with Quillen's but where the category of kernel-cokernel pairs is replaced with a more sophisticated homotopy category. We obtain a number of fundamental results concerning the dg nerve, the dg derived category, tensor products and functor categories with exact dg target. For example, we show that for a given dg category $\mathcal{A}$ with additive homotopy category $H^0(\mathcal{A})$, there is a bijection between exact structures on $\mathcal{A}$ and exact structures (in the sense of Barwick) on the dg nerve of $\mathcal{A}$. We also show the existence of the greatest exact structure on a (small) dg category with additive homotopy category. This generalizes a theorem of Rump for Quillen exact categories.

Representation Theory,Category Theory
Coherent sheaves, sheared D-modules, and Hochschild cochains

Dario Beraldo,Kevin Lin,Wyatt Reeves

2024-10-22

Abstract:We show that the category of ind-coherent sheaves on a quasi-smooth scheme is naturally tensored over the category of sheared D-modules on its shifted cotangent bundle, commuting with its natural action of categorified Hoschschild cochains. We prove that it defines a Morita equivalence as such. We then extend these results to quasi-smooth Artin stacks. As a consequence of our formalism, we are able to articulate a precise sense in which the space of unramified automorphic functions over a function field localizes over the stack of arithmetic Arthur parameters.

Algebraic Geometry
Quantization of the universal centralizer and central D-modules

Tom Gannon,Victor Ginzburg

2024-09-27

Abstract:The group scheme of universal centralizers of a complex reductive group G has a quantization called the spherical nil-DAHA. The category of modules over this ring is equivalent, as a symmetric monoidal category, to the category of bi-Whittaker D-modules on G. We construct a braided monoidal equivalence, called the Knop-Ngô functor, of this category with a full monoidal subcategory of the abelian category of Ad(G)-equivariant D-modules, establishing a D-module abelian counterpart of an equivalence established by Bezrukavnikov and Deshpande, in a different way. As an application of our methods, we prove conjectures of Ben-Zvi and Gunningham by relating this equivalence to parabolic induction and prove a conjecture of Braverman and Kazhdan in the D-module setting.

Representation Theory,Algebraic Geometry,Quantum Algebra
Deformation quantization and perverse sheaves

Sam Gunningham,Pavel Safronov

2024-09-04

Abstract:Kashiwara, Polesello, Schapira and D'Agnolo defined canonical deformation quantizations of a holomorphic symplectic manifold and a holomorphic Lagrangian submanifold equipped with an orientation data. The goal of this paper is to use deformation quantization modules to construct a Fukaya-like category of holomorphic Lagrangians, resolving a conjecture of Joyce. Our main result describes the RHom complex between two such deformation quantization modules associated to a pair of Lagrangian submanifolds in terms of the derived geometry of the Lagrangian intersection. Namely, we identify the RHom complex with the DT sheaf associated to the d-critical structure on the Lagrangian intersection. Via a Riemann-Hilbert correspondence this describes the RHom complex in the category of microsheaves of sheaf quantizations of conic holomorphic Lagrangians.

Algebraic Geometry,Symplectic Geometry
Deformations of triangulated categories with t-structures via derived injectives

Francesco Genovese,Wendy Lowen,Julie Symons,Michel Van den Bergh

2024-11-23

Abstract:This paper provides the final ingredient in the development of the deformation theory of pretriangulated dg-categories endowed with a nice t-structure, which was initiated by the authors and is modeled after the previously developed deformation theory of abelian categories. We show how to extend a t-structure on a pretriangulated dg-category to its dg-derived category so that the Yoneda embedding becomes t-exact. We construct several equivalences between deformation problems; in particular, we prove a deformation equivalence between the bounded t-deformations of a bounded t-dg-category on the one hand, and dg-deformations of the dg-category of derived injective ind-dg-objects on the other hand. Since this latter dg-category is cohomologically concentrated in nonpositive degrees, we do not encounter curvature.

Category Theory,K-Theory and Homology
Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves

Dmitri Orlov

2024-05-08

Abstract:New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth. This description allows us to show that some of these DG algebras determine smooth proper noncommutative curves that provide smooth minimal noncommutative resolutions for singular rational curves.

Algebraic Geometry,Category Theory,Rings and Algebras

DG Affinity of DQ-modules

A DG-Enhancement of with Applications in Deformation Theory

Derived deformation theory of algebraic structures

Quasi DG categories and mixed motivic sheaves

Proper connective differential graded algebras and their geometric realizations

The Deformation Complex For DG Hopf Algebras

Deformations of quasi-categories in modules

A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

Quasi-Isomorphisms of Commutative DG Rings and Divided Power Structures

A formal category theoretic approach to the homotopy theory of dg categories

Shifted symplectic structures on derived Quot-stacks II -- Derived Quot-schemes as dg manifolds

Homological Invariants For Connected Dg Algebras

Deformations of cohesive modules on compact complex manifolds

Exact dg categories I : Foundations

A note on higher structures on the complexes associated to quiver algebras with applications to toupie algebras

On exact dg categories

Coherent sheaves, sheared D-modules, and Hochschild cochains

Quantization of the universal centralizer and central D-modules

Deformation quantization and perverse sheaves

Deformations of triangulated categories with t-structures via derived injectives

Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves