Questions tagged [dg-categories]
A differential graded category is a category enriched over complexes of modules for some commutative ring.
40 questions with no upvoted or accepted answers
16
votes
0
answers
591
views
Lifting DG-categories to characteristic zero
The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...
- 25.6k
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
10
votes
0
answers
650
views
(Co-)Limits and fibrations of DG-Categories?
First of all, let me see if I got the 1-categorical version right:
Let $\mathcal F:C\to Cat $ be a
(pseudo-) functor. The 2-colimit
$\mathrm{colim}_C\mathcal F$ is then
given by the Grothendieck
...
- 3,249
10
votes
0
answers
1k
views
Regarding the Gerstenhaber bracket on Hochschild cohomology and Morita equivalence
Associated to any $A_\infty$ $k$-algebra $A$ the Hochschild cochain complex $CH^*(A)$ has the structure of a dg-Lie algebra and a dg-algebra which are compatible enough that the cohomology is a ...
- 1,038
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
9
votes
0
answers
330
views
DG vs. abelian quotients
The following, if true, should probably be "standard," but I don't know where to look. I'd rather be slightly imprecise about hypotheses in the hope that there's a good general answer. Feel free to ...
- 2,083
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
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
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
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
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
7
votes
0
answers
809
views
A Question about a theorem in Toën's notes "Lectures on dg-categories"
So I am trying to learn a bit about dg categories from Toën's notes, "Lectures on dg-categories" http://www.math.univ-toulouse.fr/~toen/swisk.pdf and in particular I would like to understand ...
- 3,758
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
6
votes
0
answers
314
views
Formality of $A_\infty$-category vs formality of its total algebra
Let $\cal C$ be an $A_\infty$-category and $A$ its total algebra (elements in $A$ are formal linear combinations of arbitrary morphisms in $\cal C$ and multiplications of arrows which can't be ...
- 13.2k
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
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
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
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
0
answers
202
views
Lifting commutative diagrams of functors from the homotopy level to the "higher" level
Let $\mathcal A$ and $\mathcal B$ be differential graded categories over a field. Let $F, G, K : \mathcal A \to \mathcal B$ be quasi-functors (see here for definitions). Assume you have morphisms of ...
- 2,079
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
4
votes
0
answers
225
views
Natural transformations of $A_\infty$-functors (between dg-categories) are "directed homotopies" (reference?)
Let $\mathbf A$ and $\mathbf B$ be dg-categories over a field, viewed as $A_\infty$-categories. The $A_\infty$-category (actually, dg-category) of strictly unital $A_\infty$-functors $\mathbf A \to \...
- 2,079
4
votes
0
answers
309
views
Perf($\mathscr{A}$) and perfect chain complexes
Suppose $\mathscr{A}$ is a dg category and $ \mathcal{D} (\mathscr{A})$ its associated derived category. For an object in $ a \in \mathscr{A}$ there is associated (right )dg $ \mathscr{A}$ module, $ \...
- 595
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
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
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
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
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
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
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
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
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
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
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
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
2
votes
0
answers
276
views
Is the dg-nerve functor a Quillen equivalence?
Lurie defines the dg-nerve $N_{dg}(\mathcal{C})$ of a dg-category $\mathcal{C}$ in Higher Algebra Construction 1.3.1.6: for each $n \geq 0$, we define $N_{dg}(\mathcal{C})_n\simeq \text{Hom}_{\mathcal{...
- 9,009
2
votes
0
answers
215
views
Extending natural transformations of triangulated functors on $D^b(\mathbb P^1)$
Let $\mathcal T = D^b(\mathbb P^1)$, the bounded derived category of $\mathbb P^1$ over a field $k$. It is well known that $\mathcal T$ admits a strong and full exceptional sequence $\{\mathcal O, \...
- 2,079
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
1
vote
0
answers
82
views
Reconstructing an isomorphism of exact triangles in the homotopy cat. of a dg-cat. using a functorially induced isomorphism between cones
This question is strictly related to this other one.
Let $\mathcal A$ be a (strongly) pretriangulated dg-category over a field $k$. Let
(source: presheaf.com)
be a diagram in $Z^0(\mathcal A)$, ...
- 2,079