Questions tagged [dg-categories]
A differential graded category is a category enriched over complexes of modules for some commutative ring.
86 questions
4
votes
0
answers
123
views
Minimal model for $A_\infty$-categories
Is there a reference for existence and construction of the minimal model of an $A_\infty$-category? Most references I found ultimately refer to Lefèvre-Hasegawa's thesis but there doesn't seem to be a ...
- 489
3
votes
0
answers
101
views
The infinity category of dg-categories is bicomplete
We can define the $\infty$-category of dg-categories $dgCat_\infty$ as the definition of the $\infty$-category of $\infty$-categories which given gy the section.3 of J.Lurie "Higher Topos Theory&...
- 121
7
votes
1
answer
354
views
Why Faonte called "small" and "big" dg-nerves?
I read G.Faonte "Simplicial nerve of an $A_\infty$-category" (https://arxiv.org/abs/1312.2127). In his paper, he calls two dg-nerve construction "small" and "big".
"...
- 121
6
votes
1
answer
384
views
Derived categories of smooth proper varieties?
We know several amazing techniques about the derived category $Perf (X)$ of a smooth projective variety such as the whole theory of Fourier-Mukai transforms. On the other hand, from a dg-categorical ...
- 256
2
votes
0
answers
136
views
dg-Künneth formula for qcqs schemes
Let $X$ and $Y$ be qcqs schemes over a field $k$ (or I am happy to assume any nice condition up to smooth (quasi-)projective varieties if that makes the folloiwng question true). Let us define $Perf(X)...
- 256
3
votes
0
answers
172
views
(Commutative) Algebras in $\mathsf{dgCat}_k$
Suppose $k$ is a fixed commutative ring, and let $\mathsf{dgCat}_k$ denote the category of $k$-linear dg-categories. We will equip $\mathsf{dgCat}_k$ with the Morita model structure (see theorem 2.27 ...
- 1,349
2
votes
1
answer
276
views
Colimits of DG-categories and functors between them
Suppose I have two diagrams $\{\mathcal{C}_i\}_{i\in \mathcal{I}}$ and $\{\mathcal{D}_i\}_{i\in \mathcal{I}}$ in the $\infty$-category of DG-categories over a field $k$ with continuous functors (i.e. ...
- 61
2
votes
0
answers
101
views
Find a Morita equivalent finite cell DG category
I am trying to understand the following statement:
Suppose that $\mathcal{E}$ is a pre-triangulated proper DG category with a full exceptional collection. Then $\mathcal{E}$ is Morita equivalent to a ...
- 21
5
votes
0
answers
260
views
Signs in dg Yoneda embedding: proof of existence of Dwyer-Kan model structure on $\mathit{dgcat}$
I'm studying a proof of the fact that the category of dg-categories admits a (Dwyer-Kan) model structure. As references, I'm using Pieter Belmans' master thesis and Goncalo Tabuada's paper Une ...
- 1,115
2
votes
0
answers
180
views
Integral lattice in noncommutative Hodge theory
Associated to a $DG_{\mathbb{C}}$-category, $\mathcal{C}$, we have some Hodge theoretic data - $HH_{*}(\mathcal{C})$ plays the role of Hodge cohomology and $HP$ plays the role of de Rham cohomology. ...
user108998
5
votes
0
answers
147
views
Definition of $E_{n}$-operad in dgCat
In "Derived Algebraic Geometry and Deformation Quantization" Toën defines in 5.1.2 an $E_{n}$-monoidal A-linear dg-category as an $E_{n}$-monoid in the symmetric monoidal $\infty$-category $...
- 1,482
4
votes
1
answer
490
views
Intuition for points of the moduli of objects for a dg-category
Problem summary: I'm trying to get some intuition for what the moduli space of objects for a dg-category (as in this paper by Brav and Dyckerhoff) actually looks like/how to give an alternative ...
- 185
9
votes
0
answers
452
views
Symmetric monoidal structure(s) on the $\infty$-category of dg-categories
Let $k$ be a commutative ring with $1$, and let $\mathsf{dgCat}_k$ be the category of $k$-linear dg-categories, as defined in [1, Section 2]. We may equip $\mathsf{dgCat}_k$ with the Morita model ...
- 1,349
8
votes
0
answers
478
views
Relationship between different definitions of the Hochschild homology
Throughout the literature, one can find many definitions of the Hochschild homology of various objects. However, the precise relationship between these definitions is not always so clear, at least to ...
- 1,349
2
votes
1
answer
365
views
Are dg-modules over a cofibrant dg-category cofibrant?
Fix a commutative ring $k;$ all dg-categories will be dg-categories over $k.$ Throughout the question, I will be following the notation and conventions of Toën's "The homotopy theory of dg-...
- 1,349
3
votes
1
answer
402
views
Is there a notion of projective dg category?
Since the paper Smooth and proper noncommutative schemes and gluing of DG categories by Orlov, dg categories are considered the non-commutative counterpart of algebraic geometry. More specifically, we ...
- 1,325
3
votes
0
answers
165
views
Kan liftings and projective varieties
Regard the following two bicategories:
$\operatorname{dg-\mathcal{B}imod}$, with objects dg categories, and morphisms categories from $C$ to $D$ being the categories of $C$-$D$-bimodules. Composition ...
- 898
5
votes
0
answers
244
views
Calabi-Yau structures on dg-categories
A (smooth) dg algebra is called (left) Calabi-Yau if (see for example here)
$$ A^! = A[-n]$$
Here we use the inverse dualizing complex $A^!=\mathbf{R}\operatorname{Hom}_{(A^e)^{op}}(A,A^e)$. In ...
- 898
1
vote
1
answer
152
views
Morphisms on fibre products
Let $X$ and $Y$ be two quasi compact, separated schemes over $k$, and consider the fibre product $X \times Y$. If we call $p_1$ and $p_2$ the two projections, and we take perfect complexes $F_1, F_2 \...
- 1,325
7
votes
2
answers
639
views
$k$-linear $\infty$ stable categories and dg categories
This question is related to this question, where I asked about the relation between the derived category of a fiber product $Y \times_Z W$ and the push out of the diagram of derived categories one ...
- 1,325
4
votes
2
answers
737
views
Perfect DG modules
I was wondering whether there is a characterization of perfect DG modules over a DG algebra as there is one for modules over a ring. Namely, an object in $D(R)$, where $R$ is a ring, is perfect if and ...
- 1,325
1
vote
0
answers
201
views
Application of the cube lemma
In the paper Spherical DG-functors, the authors introduce the notion of twisted cubes and prove a lemma that they call "The cube lemma". One of the applications they prove is the following, given a ...
- 1,325
4
votes
1
answer
299
views
Definition of gluing of dg categories
I am reading the paper by Kuznetsov and Lunts, Categorical resolutions of irrational singularities, and I’m struggling with a few things. The definition of gluing of DG-categories $\mathcal{D}_1$ and $...
- 1,325
5
votes
2
answers
487
views
Is every dg-coalgebra the colimit of its finite dimensional dg-subcoalgebras?
I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg ...
- 795
6
votes
2
answers
1k
views
Functorial cones
This is probably more a reference request than a real question. I was studying dg-categories in order to understand how one can derive a functorial cone construction when a triangulated category (...
- 1,325
9
votes
1
answer
503
views
Is the tensor product of pretriangulated dg-categories a pretriangulated dg-category?
In "Grothendieck ring of pretriangulated categories", Bondal, Larsen and Lunts define a product of perfect (pretriangulated with Karoubian homotopy category) dg-categories as $A\bullet B:=Perf(A\...
- 1,482
3
votes
0
answers
200
views
"DG categories" over other DG categories
The standard definition of a DG-category is "a category enriched in chain complexes over a commutative ring $k$".
Suppose I have a category enriched over some symmetric monoidal DG-category, for ...
- 3,752
3
votes
1
answer
216
views
How to show mapping cones are homotopy cofibers
In a dg-category $\mathcal{C}$, the $n$-translation of an object $C$ is an object $C[n]$ representing the functor
$$
{\rm Hom}(-,C)[n].
$$
The cone of a closed morphism $f\colon C \to D$ of degree ...
- 467
7
votes
0
answers
145
views
DG functors along which contractions can be lifted
For an object $X$ in a DG category, its contraction is $r \in Hom^{-1}(X,X)$ such that $d(r)=1_X$. Let us say that contractions lift along a DG functor $F: \mathcal{C} \to \mathcal{D}$, if for a ...
- 765
8
votes
0
answers
228
views
Is there any survey of dg-categories from the $\infty$-category point of view?
I was reading this question on dg-categories and a comment by David Ben-Zvi says "An excellent pre-$\infty$-categorical overview is Keller's ICM address https://arxiv.org/abs/math/0601185".
I was ...
- 629
3
votes
0
answers
242
views
Wrong way Poincare duality for Calabi-Yau dg-algebras?
Let $A$ be a smooth compact Calabi-Yau dg $k$-algebra of dimension $w$. It is widely known (e.g. Atsusi Takahashi proposition 2.4) that in such situation we have non canonical isomorphism of $A^{en}$-...
- 1,307
3
votes
0
answers
106
views
Explicit description of periodic map $S : HC_{i} \to HC_{i-2}$ for dg and $A_\infty$ algebras
Let $A$ some associative unital $k$-algebra, let $HC_*(A)$ is cyclic homology of $A$ and $HH_*(A)$ is hochschild homology of $A$. Then we have Connes exact sequence:
$$ ... \xrightarrow[]{} HH_n(A) \...
- 1,307
3
votes
0
answers
114
views
Compact generation of the category of D-modules on moduli stack of principal bundles for algebraic groups?
Let $k$ be an algebraically closed field of characteristic 0. Let $X$ be a connected smooth complete curve over $k$. Consider the moduli stack $\mathrm{Bun}_G$ of principal $G$-bundles on $X$ for ...
user74900
4
votes
3
answers
476
views
Deriving the functor $ \int_{\Gamma} F(-,-)$
Suppose that $C$, $D$, and $E$ are combinatorial model categories, so that for any category $\Gamma$, the functor categories $C^{\Gamma}$, $D^{\Gamma}$, and $E^{\Gamma}$ have both the projective and ...
- 295
3
votes
0
answers
198
views
On homotopically inverting maps in DG categories
In a DG category $\mathcal{C}$, call a (closed degree 0) morphism $f: X \to Y$ a homotopy equivalence, if there exists $g: Y \to X$ such that $gf-1_X$ and $fg-1_Y$ are exact.
For a full DG ...
- 765
7
votes
0
answers
781
views
Hochschild cohomology of a universal enveloping algebra of a Lie algebra
I was told that the following equation is true:
Given a finitely generated Lie algebra $\mathfrak g$, there is a Gerstenhaber algebra isomorphism
$$ HH(U\mathfrak g) \cong HH(\wedge^* \mathfrak g^\vee,...
- 323
2
votes
0
answers
442
views
Tensor product of dg-modules in the framework of dg categories
Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in the framework of dg-...
- 191
10
votes
0
answers
372
views
Simple question about DG-algebras
Considering the following conditions for two DG-algebras $A$ and $B$:
1) There exists quasi-isomorphic DG-algebra morphism $A \to B$.
2) There exists a DG-algebra $C$ and two quasi-isomorphic DG-...
- 5,562
6
votes
0
answers
214
views
Drinfeld quotient of 'finite' dg-categories
I have been reading Gonçalo Tabuada's paper Higher K-theory via universal invariants in a seminar and the following question arose.
At one point in his construction (specifically $\S$10) he looks at ...
- 161
3
votes
1
answer
164
views
Could $RHom(A,-)$ distinguish non-quasi-equivalent dg-categories?
One of the remarkable results in Toen's paper is the existence of internal homs of dg-categories. Actually for two dg-categories $A$ and $B$, there exists a dg-category $RHom(A,B)$ such that for any ...
- 9,009
2
votes
0
answers
227
views
What is the motivation behind the definition for a smooth differential graded category?
Let $\mathcal{A}$ be an $\mathbb{F}$-linear differential graded category. It is said to be smooth if it is a perfect complex over the differential graded category $\mathcal{A}^\circ\otimes_\mathbb{F}\...
- 1,716
5
votes
0
answers
409
views
DG model of A-infinity category
Given a $k$-linear dg category $\mathcal{C}_{dg},$ I can produce an ($A_\infty$-quasi-equivalent) $k$-linear $A_\infty$ category $\mathcal{C}_{A_\infty}$ by taking the homotopy category $H^0(\mathcal{...
- 423
5
votes
1
answer
435
views
Twisted derived Morita theory of schemes
It has been proved by Toën and Lunts-Schnürer that the dg category $\mathrm{L}_{qcoh}(X\times Y)$ of quasi-coherent sheaves over the product of two quasi-compact, quasi separated (and flat over a ...
- 155
3
votes
0
answers
251
views
On the category of $D$-modules
Let $X$ be a smooth variety over an algebraically closed field $k$ of char. $0$.
1) Is the abelian category $M(X)$ of $D$-modules on $X$, which are quasi-coherent as $O$-modules, a Grothendieck ...
- 5,562
30
votes
3
answers
4k
views
DG categories in algebraic geometry - guide to the literature?
Although my experience with DG categories is pretty basic I find them to be a very neat tool for organizing (co-)homological techniques in algebraic geometry. For someone who has algebro-geometric ...
- 7,789
7
votes
0
answers
274
views
Is the bar resolution of complexes dg-functorial?
Let $k$ be a commutative ring, and let $V$ be a complex of $k$-modules (more in general, we can take an $\mathcal A$-dg-module, where $\mathcal A$ is a dg-category. We can construct the bar resolution ...
- 2,079
2
votes
1
answer
175
views
Why do some literatures prefer right module to left module when dealing with DG modules?
I've been trying to read some papers on differential graded modules (for example, Keller, Deriving DG categories)
In most of literature I found about dg-modules, they define them as right modules (Of ...
- 233
21
votes
2
answers
2k
views
How to stop worrying about enriched categories?
Recently I realized that ordinary category theory is not a suitable language for a big portion of the math I'm having a hard time with these days. One thing in common to all my examples is that they ...
3
votes
1
answer
223
views
comparison of truncations
I am trying to understand the proof of Lemma 3.0.15 of this paper (Ben-Zvi, Nadler, Preygel - Integral transforms for coherent sheaves).
The context is of two triangulated categories $C,D$ with t-...
- 303
2
votes
1
answer
473
views
DG natural transformation Serre functors
This question might be really easy (or stupid), but I have only vague (heard-about) knowledge of DG categories, so I don't know where to look for an answer.
Let $X$ be a smooth projective variety ...
- 7,300