Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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,...,...
uno's user avatar
  • 412
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 ...
YkMz's user avatar
  • 889
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$-...
YkMz's user avatar
  • 889
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 ...
Zhaoting Wei's user avatar
  • 9,019
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^{\...
Zhaoting Wei's user avatar
  • 9,019
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 ...
Grisha Taroyan's user avatar
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 ...
user avatar
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 ...
Patrick Nicodemus's user avatar
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$. ...
sock's user avatar
  • 323
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 ...
G.-S. Zhou's user avatar
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 ...
Javi's user avatar
  • 499
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: ...
Florian Adler's user avatar
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 ...
onefishtwofish's user avatar
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 $\...
Felix's user avatar
  • 213
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 ...
qqqqqqw's user avatar
  • 965
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^{\...
Pavel's user avatar
  • 466
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 ...
Bas Winkelman's user avatar
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)$$ ...
Monkey.D.Luffy's user avatar
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 ...
Libli's user avatar
  • 7,300
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 ...
lilstack's user avatar
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(...
Dasha Poliakova's user avatar
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 ...
Jake Wetlock's user avatar
  • 1,144
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 $...
Pavel's user avatar
  • 466
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 ...
mathdonkey's user avatar
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_* \...
Roberto Pagaria's user avatar
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 $$...
A. S.'s user avatar
  • 528
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 ...
mathdonkey's user avatar
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 ...
Mo Behzad Kang's user avatar
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 ...
G. Naisse's user avatar
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\...
FKranhold's user avatar
  • 1,623
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 ...
sock's user avatar
  • 323
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$ ...
user avatar
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 ...
Victor TC's user avatar
  • 795
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 ...
Zhaoting Wei's user avatar
  • 9,019
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 ...
Victor TC's user avatar
  • 795
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)$...
Dan Petersen's user avatar
  • 40.2k
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 ...
AlexArvanitakis's user avatar
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 ...
Hang's user avatar
  • 2,789
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 ...
Maxime Lucas's user avatar
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 ...
Zhaoting Wei's user avatar
  • 9,019
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 ...
Julian Chaidez's user avatar
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) \...
Mykola Pochekai's user avatar
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 ...
Julian Chaidez's user avatar
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 ...
Urs Schreiber's user avatar
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-...
Sasha's user avatar
  • 5,562
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 ...
Cepu's user avatar
  • 1,424
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-...
Zhaoting Wei's user avatar
  • 9,019
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 ...
Christian Wimmer's user avatar
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 ...
Saal Hardali's user avatar
  • 7,789
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 $\...
Kevin Casto's user avatar
  • 3,139