Tagged Questions

A differential graded algebra is a graded algebra endowed with a differential of degree $1$ respecting the graded Leibniz rule.

learn more… | top users | synonyms

3
votes
0answers
66 views

model structure of noncommutative non-negatively graded DGAs

Take non-negatively graded differential graded algebras, which are vector spaces over some field (the last assumption just to simplify things). We have the usual $d^2=0$, but the product is not ...
14
votes
2answers
710 views

Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra? Is it easier if we impose any of the three conditions: characteristic zero; ...
3
votes
0answers
88 views

When does a commutative DGA have a finitely generated quasi-free resolution?

Suppose that $A$ is a commutative dg-algebra (say over base $k$) which is bounded in non-positive degree (with cochain complex conventions). There exists a quasi-free resolution of $A$. My question ...
2
votes
1answer
100 views

Does semi-free behave well under totalization

Suppose I have a dg algebra $(A,d)$ and a chain complex $M^\bullet$ of semi-free $(A,d)$ modules. I am hoping it is true that $ Tot^\coprod (M^\bullet)$ is again a semi-free $(A,d)$ module. Is this ...
7
votes
1answer
353 views

DG enhancements of $\ell$-adic derived categories

This question is similar in flavor to Existence of dg realization for 6 functors Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...
5
votes
0answers
87 views

A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...
4
votes
0answers
91 views

Definition of modules over $C_\infty$-algebras (“commutative $A_\infty$-algebras”)

Let $\Lambda$ be a finite-dimensional associative algebra. We can think of this as an $A_\infty$-algebra with vanishing $m_i$ for $i \ne 2$ and consider $A_\infty$-modules $M$ over it. A list of ...
9
votes
0answers
123 views

When were bordered Heegaard Floer homology's DA bimodules invented?

This is less of a strictly mathematical question and more of a reference request. In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston ...
8
votes
3answers
537 views

The cohomology plus what characterizes the rational homotopy type?

For simplicity let me work only with connected and simply connected spaces. "Space" will mean a space of this type. A space is rational if its homotopy groups are rational vector spaces ...
5
votes
1answer
186 views

Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$. Assume further there exists a ...
4
votes
0answers
115 views

Formal DG-algebras

Sorry for this question but I really have difficulties with model categories. Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
3
votes
0answers
65 views

Quasi-isomorphisms and Subalgebras

Let $A$ and $B$ $dg$-algebras over $\mathbb{C}$. If there exists an isomorphism $f:A\to B$, then every subalgebra $A'$ of $A$ is isomorphic to the subalgebra $f(A')$ of $B$. What is if $f$ is ...
1
vote
0answers
211 views

Gauss Manin connection in algebraic geometry and DG setting

E.Geltzler defined Gauss Manin connection on periodic cyclic homology of smooth proper DG algebra.I just began to learn his definition.But it seems that his construction is very different to the Gauss ...
4
votes
1answer
170 views

Complexes of sheaves with locally constant cohomology versus $C_{*}(\Omega M)$-modules

Let $M$ be a nice, connected topological space. Assume it is a manifold, if you like. There are two rather similar looking differential-graded (dg) categories that one can associate to $M$ that ...
1
vote
0answers
231 views

Tensor product of d.g-algebras

I'd like to prove that the tensor product functor $- \otimes Y$, where $Y$ is a d.g-algebra over a field of characteristic 0, preserves finite products of d.g-algebras. This statement is in a paper by ...
2
votes
1answer
230 views

Semi-free resolutions

Let $\mathscr{C}$ be a DG category (not much will be lost if you assume that $\mathscr{C}$ has one object, i.e. is a DG algebra). One way to construct the unbounded derived category of ...
3
votes
2answers
274 views

What is the correct definition of the (derived) tensor product over a dg-algebra?

Let $A_\bullet$ be a dg-algebra over a field $k$. Let $M_\bullet$ (resp. $N_\bullet$) be a right (resp. left) $A_\bullet$-module. There is then a notion of the derived tensor product: ...
6
votes
2answers
465 views

Higher commutators in E_n algebras and the Maurer--Cartan equation

Let $A$ be an associative algebra in $dgVect_k$. Then the commutator $[\cdot,\cdot]:A\otimes A\to A$ defined by $[x,y]=xy-(-1)^{|x||y|}yx$ gives $A$ the structure of a (dg-)Lie algebra. The ...
1
vote
2answers
497 views

Homological smoothness implies projectivity?

Let $A$ be a unital associative algebra over a commutative noetherian ring $R$. Assume that $A$ is homologically smooth, which means that $A\in D_{perf}(A\otimes_R^L A^{op})$, which also means that ...
2
votes
1answer
182 views

Formality of classifying spaces (for not necessarily connected groups)

As should be evident from the title this question has a similar flavor to: Formality of classifying spaces However, unlike Geordie's question, I will be working with torsion free coefficients (say ...
3
votes
2answers
143 views

Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given by $V \otimes W:= \oplus_{j\in ...
0
votes
0answers
85 views

Decalage isomorphism and algebra structure

Consider the symmetric monoidal category of graded vector spaces in which the symmetric structure is given by the Koszul sign rule. Assume if necessary that the ground field is of characteristic zero. ...
2
votes
0answers
159 views

Coordinate free Koszul-Tate resolution

Tate's original construction of the Koszul-Tate resolution involved choosing cocycles representing the cohomology to be killed. Where is it written in a coordinate free treatment, perhaps via a ...
1
vote
1answer
257 views

Coequalizer in category of dg-algebras

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to ...
1
vote
1answer
153 views

Contraction of graded vector fields on de Rham complex

Given a commutative algebra $A$ smooth over a field $k$ of characteristic zero, the module of K\"ahler differentials $\Omega^{1}$ is projective of finite rank and so the sum of all wedge powers ...
1
vote
0answers
93 views

bar construction for algebras with unusual grading of d

The bar construction is usually applied to differential graded algebras with differential $d$ of degree +1 or -1. Using multiple (de)suspensions, it also works for $d$ of any degree $\neq 0$. Is this ...
3
votes
1answer
319 views

Do the solutions of the Maurer--Cartan equation form a simplicial set?

The Maurer--Cartan equation is the equation: $$d\gamma+\frac 12[\gamma,\gamma]=0$$ where $\gamma$ represents a degree one element in a differential graded Lie algebra $\mathfrak g^\ast$. Let's denote ...
6
votes
2answers
446 views

Homotopy Transfer Theorem for Differential Graded Associative Algebras

As in Algebra+Homotopy=Operad by Bruno Vallette, let $A$ with multiplication $\nu$ be a differential graded associative algebra equipped with degree +1 map $h$ and let $H$ be a chain complex such that ...
7
votes
1answer
200 views

Morphisms between formal dg-algebras

Suppose we are given a map $f:A \rightarrow B$ between two dg-algebras which are formal. Is the map $f$ also "formal" in some sense? More precisely can we find isomorphisms $\phi_A:A\rightarrow ...
2
votes
1answer
218 views

Negative and periodic cyclic homology of a semi-free cdga

Let $A$ be a semi-free commutative differential graded algebra in non-negative degrees with differential $d$ of degree $-1$, over a field of characteristic zero. Recall that semi-free means that if ...
13
votes
2answers
325 views

Exact DG Poisson algebra

A symplectic manifold gives rise to a Poisson algebra. If the symplectic form is exact, how is this revealed in the algebra?
5
votes
1answer
619 views

What is knot contact homology?

Recently, it was conjectured by the paper of Aganagic and Vafa that the $Q$-deformed $A$-polynomials can be identified with the augmentation polynomials of the knot contact homology. The $Q$-deformed ...
1
vote
1answer
313 views

Associated graded of a filtration of a tensor product

I'm trying to understand a part of the PhD thesis of Kenji Lefèvre-Hasegawa (e.g. available here). My question is about the proof of Lemma 1.3.2.3b stating: Remarquons que nous avons un ...
3
votes
2answers
548 views

How to define the equivalence of Maurer-Cartan elements in an $L_{\infty}$-algebra?

First let $L^{\bullet}$ be a pro-nilpotent differential graded Lie algebra (dgla). We have the set of Maurer-Cartan elements in $L^{\bullet}$ ($MC(L^{\bullet})$) which are $\alpha \in L^1$ such that ...
9
votes
0answers
274 views

Algebras Morita equivalent to their centers

Hi, I wonder if there is a name for: 1) Algebras which are Morita equivalent to their centers, or 2) dg-algebras which are derived Morita equivalent to their Hochshild cohomology? For instance, ...
7
votes
0answers
226 views

Computer Algebra solution for simplicial resolutions for André-Quillen cohomology

Hello, I would like to experiment with André-Quillen (co)homology. Especially for singular rings. A key problem is that the construction of a simplicial resolution of a ring seems to require a rather ...
2
votes
2answers
521 views

Origin of the sign convention in the Tensor product of graded vector spaces

Suppose $V := \bigoplus_{i \in \mathbb{N}}V_i$ and $W := \bigoplus_{i \in \mathbb{N}}W_i$ are $\mathbb{N}$-graded vector spaces. Then their graded tensor power is defined by $V \bigotimes W := ...
1
vote
2answers
307 views

Sign convention for derivations in CDGAs

I'm trying to understand K\"ahler differentials for CDGAs (commutative differential graded algebras). A few minor things have been confusing me all afternoon. Pointers and references are welcome. Let ...
3
votes
2answers
473 views

Reference request - CDGA vs. sAlg in char. 0

Hello, Are the model categories of simplicial commutative algebras over $k$ and that of commutative differential graded algebras (in negative cohmological dimension) Quillen equivalent in char. 0 (or ...
4
votes
2answers
202 views

Reference for Tensors on graded spaces needed

Is there a good introduction to 1.) Tensor (co)algebras on graded vector spaces ? 2.) Tensor (co)algebras on graded modules ? In the research field of $L_\infty$-algebras there is some stuff, but ...
4
votes
0answers
118 views

Have equivalent commutative dg-algebras equivalent monoidal derived categories?

Let $R,S$ be dg-algebras and $f:R \rightarrow S$ be a quasi-isomorphism. Then $f$ induces an equivalence between their derived categories of dg-modules. If in addition $R,S$ are graded commutative ...
6
votes
2answers
396 views

Somewhat general question that includes: “Do quasi-isomorphic cdgas have quasi-isomorphic spaces of derivations?”

Question: Given two quasi-isomorphic dg commutative algebras (over a field of characteristic zero, if you like), to what extent do their various homological geometric data agree? Example: Given a dg ...
6
votes
1answer
679 views

Constructible sheaves and dg-modules

Let $M$ be a smooth manifold, $A_M$ the de Rham algebra of $M$, $D_{A_M}$ the derived category of the category of differential graded (dg) $A_M$-modules and $D^+_c(M)$ the bounded below constructible ...
3
votes
0answers
145 views

The vanishing of homotopy invariant $K$-theory of dg-categories

In my previous question The vanishing of non-connective K-theory in negative degrees I asked when one can be sure that the negative non-connective $K$-groups of a differential graded category vanish. ...
4
votes
1answer
430 views

The vanishing of non-connective K-theory in negative degrees

In the works of Cisinski, Tabuada, and Schlichting certain non-connective K-theory groups for a differential graded category $C$ are defined. As far as I understand, $K_i(C)$ is not necessarily zero ...
2
votes
0answers
58 views

Computing morphisms in localizations of $K(B)$

Let $B$ be an additive category (a small one; one can assume that it is a $\mathbb{Q}$-category, yet not much else is known about it). Given a set of objects $S$ of $K^b(B)$ (or $K(B)$), I consider ...
6
votes
1answer
593 views

Do I need to know what an infinity-Gerstenhaber algebra is, and if so, what is it?

I am in the following situation. I have two (rather explicit and specific) dg commutative algebras $R,S$ over a field of characteristic $0$. In fact, $S$ is an $R$-algebra, in that I have a map $R ...
1
vote
0answers
304 views

Is there a model category structure on non-negatively graded commutative chain algebras?

Let $\mathtt{DGA}$ be the category of non-negatively graded DG chain algebras, and $\mathtt{DGA}$* the category of non-negatively graded cochain algebras. Let $\mathtt{CommDGA}$ be the full ...
2
votes
0answers
296 views

simplicial deRham complex and model category structure

To every simplicial manifold is associated its simplicial deRham complex. Is there any literature that discusses explicitly to which extent this classical construction, regarded as a (contravariant) ...
8
votes
2answers
410 views

On-the-nose commutative cup product $\Longrightarrow$ characteristic $0$?

I was discussing with a student today the nature of the non-commutativity of cup-product at the level of cochains. In trying to explain what happens, I came up with the following statement. ...