All Questions
Tagged with homological-algebra differential-graded-algebras
77 questions
4
votes
1
answer
160
views
DG algebra structure on minimal free resolution of modules over regular local ring
Let $(Q, \mathfrak n, k)$ be a regular local ring. Let $I\subseteq \mathfrak n^2$ be an ideal, and fix a minimal generating set $\mathbb f= f_1,\cdots, f_n$ of $I$. The Koszul complex $E:= Q[e_1,...,...
5
votes
0
answers
285
views
Serre subcategories of the category of chain complexes of modules
Let $k$ be an algebraically closed field of characteristic $0$.
Let $R$ be a commutative $k$-algebra.
We denote by $\operatorname{Mod}(R), C(R), $ and $ D(R)$ the category of $R$-modules, the category ...
5
votes
1
answer
208
views
Equivalences of categories of complexes of modules
Let $k$ be an algebraically closed field of characteristic $0$.
Let $R, S$ be two commutative $k$-algebras.
Let $\operatorname{Ch}(R), \operatorname{Ch}(S)$ be the categories of complexes of $R$-...
0
votes
0
answers
41
views
Is any deformation of an acyclic complex gauge equivalent to a trivial one?
This question is related to this question. Let $(C^{\bullet},d)$ be a cochain complex over a field $k$ with char$k$=0. We fix an Artin local $k$-algebra $(A,m)$. A deformation of $d$ is a new operator ...
6
votes
0
answers
138
views
Does homotopy equivalence between deformations of cochain complexes imply gauge equivalence?
Let $(C^{\bullet},d)$ be a cochain complex over a field $k$ with char$k$=0. We fix an Artin local $k$-algebra $(A,m)$. A deformation of $d$ is a new operator $d+\epsilon: C^{\bullet}\otimes_k m\to C^{\...
4
votes
1
answer
109
views
Simplicial enrichment on unbounded algebras over an operad
In his paper "Homological Algebra of Homotopy Algebras" V.Hinich introduced a simplicial structure on algebras in unbounded chain complexes over arbitrary $\Sigma$-split operads. Not to get ...
2
votes
0
answers
119
views
dg-natural transformation between FM functors and Hom between kernels
The question is related to Morphism between Fourier-Mukai functors implies the morphism between kernels?
Consider a complex smooth projective variety $X$ and the bounded derived category $D^b(X)$, it ...
4
votes
0
answers
97
views
Lifting theorem for modules over a DGA
In the survey paper "Cartan's Constructions, the homology of $K(\pi,n)$'s, and some later developments" by J. C. Moore ( http://www.numdam.org/item/AST_1976__32-33__173_0/ ) he states a ...
0
votes
0
answers
138
views
Homotopy equivalent dg modules
$\newcommand\modl[1]{#1\text{-mod}}$Let $A:=(A,d_A)$ be a dg algebra. I would like to ask about isomorphisms in the homotopy category $H(\modl A)$ of the dg category $\modl A$ of dg modules over $A$.
...
3
votes
1
answer
245
views
Two equivalent definitions of differential graded algebras
There are two equivalent definitions of differential graded algebras with different point of view. The first one is that it is a sequence $A=(A^n)_{n\in \mathbb{Z}}$ of vector spaces together with a ...
3
votes
0
answers
114
views
Conditions for a minimal derived $A_\infty$-algebra to be bounded
I was looking for some examples of derived $A_\infty$-algebras (or $dA_\infty$-algebras) in the original reference by Sagave, DG-algebras and derived A-infinity algebras, where some examples obtained ...
5
votes
0
answers
87
views
Reference request: Étale base change of differential-graded algebras
I've asked this question on Math.StackExchange, but didn't receive an answer, so I'd like to try my luck here.
I'm looking for a reference for the following fact, which I've recently stumbled upon:
...
4
votes
0
answers
107
views
Perfect dg-modules under faithfully flat extension
Let $k \subseteq \bar{k}$ be an extension of fields (Orlov in the reference below seems to indicate the same thing will hold for faithfully flat maps but the case of fields is enough for me).
On page ...
1
vote
0
answers
72
views
Bound on Hochschild dimension of a dg-algebra
Consider a dg-algebra $A$, is there any way I can estimate the Hochschild dimension, or global dimension of $A$?
More precisely the algebra that I am considering is the Endomorphism dg-algebra $\...
7
votes
0
answers
270
views
Differentials in spectral sequences and Massey products
Consider a multiplicative spectral sequence such as the cohomological Serre spectral. It is known that differentials will satisfy a Leibniz rule. Is there a clean statement involving differentials and ...
1
vote
0
answers
137
views
Degree shift of multilinear maps
Let $V$ be a graded vector space over $\mathbb{k}$ and $V[1]$ its odd degree shift.
Given $k$, $l\in \mathbb{N}_0$, is there a natural way to define the following map,
$$
\psi: \hom_{\mathbb{k}}(V^{\...
14
votes
1
answer
699
views
Who introduced the abstract definition of a DGA?
Differential graded algebras, or DGAs, are a basic object of study in many areas of modern mathematics. While they were present (implicitly at least) since the start of modern differential geometry, I ...
4
votes
0
answers
165
views
About Homotopy Transfer Lemma
If M, A are two differential graded complexes over a commutative ring R with the following data,
$$(M,d_M) \overset{\Delta}{\longrightarrow} (A,d_A)$$ $$(A,d_A) \overset{f}{\longrightarrow} (M,d_M)$$ ...
4
votes
0
answers
168
views
detecting a semi-free module from its bar-resolution
Let $A$ be a DG-algebra over a field (say $k$). A DG-module $M$ over $A$ is said to be semi-free if it admits an exhaustive filtration $0 = M_0 \subset M_1 \subset \ldots \subset M_p = M$ such that ...
7
votes
0
answers
167
views
Simple, explicit, functorial cylinder object in CDGA
In the model category of graded commutative dg-algebras CDGA over $\mathbb{Q}$ (with the projective model structure) there is a simple, functorial construction of a path object given by tensoring with ...
3
votes
0
answers
131
views
Applying a Hochschild cocycle to a Maurer-Cartan element: how one should think of this?
Let $C^{\bullet}(A,M)$ be the Hochschild cochain complex of a DG-algebra $A$ with coefficients in a DG-bimodule $M$. Let $\zeta \in C^0(A,M)$ be a cocycle. Let $a \in A$ be a Maurer-Cartan element, $d(...
7
votes
1
answer
288
views
Skew differential graded algebra
A sigma, or skew, derivation is a natural generalisation of the
notion of derivation depending on an algebra automorphism $\sigma$ which
when equal to $id = \sigma$ reduces to the usual notion of a
...
5
votes
1
answer
323
views
Sullivan minimal model in the case of $H^1(V)\neq 0$
Is there a simple construction of a Sullivan minimal model $\Lambda U \rightarrow V$ in the case that $H^1(V)\neq 0$? Do you have a reference? I envisage a degree-wise construction as in the case of $...
1
vote
0
answers
146
views
Functoriality of Hochschild cohomology for Drinfeld quotients
Let $C$ be a dg category and $C \to D$ a Drinfeld localization. Is there an induced pushforward map on $\operatorname{HH}^*(C) \to \operatorname{HH}^*(D)$, where $\operatorname{HH}^*$ denotes the ...
1
vote
0
answers
72
views
Simplicial differential graded algebra and a filtration
Let $A$ be a simplicial differential algebra, i.e. for each $n \in \mathbb{N}$ a differential graded algebra $(A_n,d_n)$ and for each weakly increasing map $f \colon [n] \to [m]$ a morphism $f_* \...
13
votes
1
answer
983
views
De Rham and Koszul complexes
Consider the algebraic de Rham complex of the $n$-dimensional plane: this is merely
$$\ldots\rightarrow Sym(V^*)\otimes\bigwedge^{k}V^*\rightarrow Sym(V^*)\otimes\bigwedge^{k+1}V^*\rightarrow\ldots
$$...
1
vote
0
answers
46
views
Does a homologically bounded dg A-module admit a "locally finite" semi-free resolution
Let $A$ be a bounded dg-algebra whose underlying algebra is Noetherian and such that $H^*(A)$ is Noetherian. Let $M$ be a cohomologically bounded dg-module over $A$, whose cohomology groups are ...
5
votes
0
answers
129
views
The interaction between differentials on a graded ring and chain-homotopy equivalences
I am wondering about the following question:
Given a differential graded algebra $A$, how many other differentials can we put on the underlying graded ring of $A$, which are also chain-homotopy ...
1
vote
0
answers
98
views
Construct $A_\infty$ bimodules maps from dg-maps
Let $ A $ be a dg-algebra. Let $U,V,W$ and $Z$ be dg-bimodules over $A$-$A$. Suppose I have cofibrant replacements $\pi_U : Up \rightarrow U$ (as right dg-module) and $\pi_W : pW \rightarrow W$ (as ...
5
votes
1
answer
540
views
Sign in May’s General algebraic approach to Steenrod operations
In the first section of J. P. May’s General algebraic approach to Steenrod operations, May defines for $\pi\subseteq\Sigma_r$ an integer $q\in\mathbb{Z}$ and a commutative ring $\Lambda$, the $\Lambda\...
1
vote
0
answers
38
views
Regarding linear splitting of lie algebra morphism and their CE complexes
The main question here is to ask if anyone has ever seen/researched the map $\alpha$ below and get a reference regarding it. Also, if anyone tells me the equivalent conditions to $\alpha=0$, I would ...
3
votes
0
answers
165
views
Free DGA given a map and cohomology groups
Why do Free DGAs on a morphism often give the same (co)homology as other (co)homologies?
Here is the example that comes to mind first:
Example: Let $R$ be a ring, let $A$ be an $R$-algebra, let $M$ ...
3
votes
2
answers
191
views
Two definitions of minimal models
Is there any relationship between both definitions of minimal models? (the couple of definitions I know are the one mentioned in Lefèvre's thesis, in the sense that the differential is zero, and the ...
6
votes
1
answer
223
views
Is the existence of $A_{\infty}$-inverse a consequence of Homotopy Transfer Theorem?
Let $k$ be a field of characteristic $0$ and $(A,d_A)$, $(B,d_B)$ be two differential graded (dg) algebras over $k$. Let $f: A\to B$ be a closed degree $0$ map of dg-algebras and $g: B\to A$ be a map ...
11
votes
1
answer
505
views
If C is a cocomplete coalgebra, then $\psi:C\rightarrow B\Omega C$ is a filtered quasi-isomorphism
I am reading the PhD thesis thesis of Kenji Lefèvre-Hasegawa and the corresponding errata by Bernhard Keller, my question is about the first error found in the thesis. Lemma 1.3.2.3 c states 'the ...
11
votes
1
answer
534
views
On the coalgebraic homotopy transfer theorem
Let $A$ be a dg algebra, say over a field. The Homotopy Transfer Theorem says that $H(A)$ can noncanonically be given the structure of $A_\infty$-algebra, extending the induced multiplication on $H(A)$...
2
votes
0
answers
239
views
Reference Request: A "Chevalley-Eilenberg"-style formulation of the $L_\infty$ algebra minimal model theorem?
The nicest definition of $L_\infty$-algebras ---which I will call a "Chevalley-Eilenberg" style definition after the obvious analogy with the Chevalley-Eilenberg differential of Lie algebras--- is the ...
7
votes
2
answers
517
views
Tensor product of a DGA and an $A_\infty$ algebra
In general there seems no way to naturally define the tensor product of two $A_\infty$ algebras $A$ and $B$. But, if $(A, m^A_1,m^A_2)$ is only a DGA(differential graded algebra) and $(B, m^B_k, k\ge ...
4
votes
1
answer
385
views
Algebras: Homology vs. Resolution as a dg-algebra
My question is what is the relation (if any) between the following two notions.
Starting from an augmented algebra $A$ over a field $k$, one way to compute the homology of $A$ is to find a projective ...
7
votes
0
answers
199
views
Is $\text{DGA}^{-}$ a monoidal model category?
Let $\text{DGA}^{-}$ denote the category of non-positively graded differential graded algebras with differentials of degree $+1$. It is well-known that $\text{DGA}^{-}$ has a model structure with
...
4
votes
1
answer
664
views
Homology of bar complex vs homology of indecomposables
$\require{AMScd}$
Background: This question is about the bar and cobar constructions, and their relationship with the indecomposables of a dg-algebra. A brief summary of the bar and cobar ...
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) \...
7
votes
0
answers
465
views
Correct notion of chain homotopy for linearized homology of augmented DGAs?
$\require{AMScd}$
Preliminaries: Let $(A,\partial)$ be a differential graded $k$-algebra with an augmentation $\epsilon$. That is, $\epsilon$ is a DGA map $\epsilon:(A,\partial) \to k$ where $k$ is ...
8
votes
1
answer
540
views
Vanishing of H-cohomology
This looks elementary, but somehow I am stuck, please bear with me:
Let $H$ be a differential 3-form, nowhere vanishing, but not necessarily closed. What is a sufficient condition that the sequence ...
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-...
3
votes
0
answers
475
views
(co)chain homotopy of dg algebras ($A_{\infty}$ algebras) and other notion of homotopy
In this question I will work over a field of char. $0$. Let $f,g\: : \: A\to B$ be dg algebras morphism between two cochain (commutative) dg algebras $A,B$ (assume positively graded). Let $h$ be a ...
8
votes
1
answer
320
views
Do chain homotopic maps between dg-algebras induce "same" maps on dg-modules
Let $A$ and $B$ be two dg-algebras over a field $k$. Let $f, g: A\to B$ be two maps between dg-algebras. We call $f$ and $g$ chain homotopic if there exists a degree $-1$ map $h: A\to B$ such that $f-...
4
votes
1
answer
573
views
Homotopy colimit of a simplicial DGA
It seems to be well-known that the homotopy colimit of a simplicial chain complex (unbounded) can be computed by taking the totalization of the associated (half-plane) double complex. The totalization ...
23
votes
3
answers
2k
views
Where does one go to learn about DG-algebras?
The theory of differential graded algebras (in char 0) and their modules has numerous applications in rational homotopy theory as well as algebraic geometry.
I'm looking for a reasonably complete ...
3
votes
0
answers
150
views
Do quadratic DGCA's have rational homology series?
Suppose $A$ is a differential graded-commutative algebra (in non-negative degree) over a char-0 field, with $|d| = -1$, such that $A$ is finitely generated in degree $\le 1$ with relations in degree $\...