Questions tagged [differential-graded-algebras]

A differential graded algebra is a graded algebra with an added chain complex structure that respects the algebra structure.

A differential graded algebra (or simply DG-algebra) $A$ is a graded algebra equipped with a map $ d\colon A\to A$ which has either degree $1$ (cochain complex convention) or degree $ -1$ (chain complex convention) that satisfies two conditions:

  • $d\circ d=0$.
    This says that $d$ gives $A$ the structure of a chain complex or cochain complex (accordingly as the differential reduces or raises degree).
  • $ d(a\cdot b)=(da)\cdot b+(-1)^{\deg(a)}a\cdot (db) $, where $\deg$ is the degree of homogeneous elements.
    This says that the differential $d$ respects the graded Leibniz rule.

A more succinct (but esoteric) way to state the same definition is to say that a DG-algebra is a monoid object in the monoidal category of chain complexes. A DG morphism between DG-algebras is a graded algebra homomorphism which respects the differential $d$.

A differential graded augmented algebra (also called a DGA-algebra, an augmented DG-algebra or simply a DGA) is a DG-algebra equipped with a DG morphism to the ground ring.

The homology $H_{*}(A)=\ker(d)/\operatorname {im} (d)$ of a DG-algebra $ (A,d) $ is a graded algebra. The homology of a DGA-algebra is an augmented algebra.

Source: Wikipedia

45 questions
9
votes
1 answer

Bar Construction / Koszul dual of $k[\varepsilon]/(\varepsilon^2)$

$\require{AMScd}$ I am studying Koszul duality of (quadratic) algebras following the paper Koszul resolutions and I wanted to perform some explicit computations to make things more concrete. In order to do this, I wanted to use a sort of toy example…
5
votes
1 answer

Definition of module of Kähler differentials for a DG algebra

Let $R$ be a $DG$ algebra over $A$, i.e, a $\mathbb{Z}$-graded $A$- algebra with a derivation $d$. For example, if $R$ is an $A$-algebra, then any chain complex $C^{\bullet}$ of $R$-modules with a product structure is a $DG$ algebra over $A$ (I…
5
votes
2 answers

Left adjoint to dg-nerve?

In https://kerodon.net/tag/00PK, Lurie introduces the dg-nerve functor from differential graded categories to simplicial sets as a tool to translate statements/ constructions from the dg-context to the context of $(\infty,1)$-categories, as it…
4
votes
0 answers

Scheme theoretic support for complexes

Let $* \to \mathbb A^1$ be the embedding of the point defined by $t=0$, where $t$ is the coordinate for $\mathbb A^1$. Let $X$ be a smooth projective variety (say $\mathbb P^1$), and $i\colon X \to X \times \mathbb A^1$ be the embedding of the…
4
votes
0 answers

Natural transformation between sheaves in homotopy theory

Firstly a small disclaimer. I am not an expert in the theory of higher sheaves and their presentation in the model categories, so please feel free to correct all inaccuracies in the question itself! Assume we have two presheaves on the $1$-site of…
4
votes
0 answers

Explicit formula for the equalizer of coalgebras

The article Limits of Coalgebras, Bialgebras and Hopf Algebras offers two descriptions for the equalizer of two unital coassociative coalgebras over a field. The latter description (Remark 1.2) is explicit and claims that, given $f,g:C\rightarrow D$…
3
votes
0 answers

Existence of biproducts in pretriangulated dg-categories

I'm studying dg-categories, and mostly following Bernhard Keller (https://arxiv.org/abs/math/0601185). I'm trying to understand how for a pretriangulated dg-category $\mathcal{A}$, the category $H^0(\mathcal{A})$ is triangulated. The step I'm…
3
votes
1 answer

Do Chevalley-Eilenberg homology functor and taking the cohomology commute?

I've stumbled upon some ideas from homological algebra that I'm trying to piece together from a talk I heard. I don't have much background in this area, so I'm not sure if this is a reasonable thing to expect. Consider the Chevalley-Eilenberg…
3
votes
1 answer

Pairing higher forms of a Lie group with the universal enveloping algebra

For a (compact) Lie group $G$ we have a pairing between its cotangent space $T^*$ and its Lie algebra $\frak{g}$. What happens for higher forms? Do we have a pairing between $\Lambda(T^*)$, the exterior algebra of $T^*$, and some subalgebra of the…
3
votes
0 answers

Categorical product of non-unital associative differential graded coalgebras

Given two non-unital associative dg coalgebras $D$ and $C$, I want to give an explicit construction of the product $C\prod D$, this may follow from the dual construction (coproduct of non-unital associative dg algebras). I have read the article A…
3
votes
1 answer

Understanding the algebra structure of $HH(\mathbb{F}_p)$

As the title suggests, i'm trying to understand this calculation of the algebra structure on $HH(\mathbb{F}_p)$, which I will outline below: We can calculate $HH(\mathbb{F}_p)$ as $$\mathbb{F}_p \otimes^{L}_{\mathbb{F}_p \otimes^L_{\mathbb{Z}}…
2
votes
1 answer

Defining the universal twisting morphism of the bar construction

I'm currently studying bar-cobar adjunction in the simplest case of algebras and coalgebras. I'm stuck in understanding of universal twisting morphism. $\pi: BA \to A$, more explicitly - $\pi: BA = T_c(s\overline{A}) \to s\overline{A} \to A$. So,I…
2
votes
1 answer

What is the definition of gluing dg algebras along bimodule?

When I am reading Lunts' Categorical Resolution of Singularities, section 3.2, I found the following: Let $A$ and $B$ be DG algebras and $N$ is a $A$-$B$-bimodule. Then we obtain a new DG algebra $$C=\begin{pmatrix}B&0\\N&A\end{pmatrix}$$ However,…
2
votes
0 answers

Why is the bar construction of a DG algebra a coalgebra?

Let $A$ be a differentially graded augmented algebra. Then $\mathbf{B}A$ can be equipped with the structure of a coalgebra. This is proved in, for example, Loday and Vallette's book on Algebraic Operads. The $n$-lab page…
2
votes
0 answers

What is the (co)homology of a free (graded) Lie algebra?

In characteristic $0$, what is the Chevalley-Eilenberg (co)homology of a free (graded) Lie algebra? Not the definition, but $H^i =$ ??
1
2 3