**13**

votes

**2**answers

663 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

**0**answers

86 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

**1**answer

96 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

**1**answer

340 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

**0**answers

86 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

**0**answers

88 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

**0**answers

118 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

**3**answers

529 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

**1**answer

182 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

**0**answers

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

**0**answers

64 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

**0**answers

203 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

**1**answer

168 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

**0**answers

224 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

**1**answer

221 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

**2**answers

265 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

**2**answers

460 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

**2**answers

495 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

**1**answer

179 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

**2**answers

140 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

**0**answers

83 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

**0**answers

155 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

**1**answer

249 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

**1**answer

152 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

**0**answers

92 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

**1**answer

313 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

**2**answers

434 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

**1**answer

197 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

**1**answer

217 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

**2**answers

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

**1**answer

608 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

**1**answer

307 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

**2**answers

535 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

**0**answers

272 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

**0**answers

224 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

**2**answers

512 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

**2**answers

304 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

**2**answers

465 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

**2**answers

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 ...

**3**

votes

**0**answers

117 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

**2**answers

393 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

**1**answer

668 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

**0**answers

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

**1**answer

429 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

**0**answers

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

**1**answer

585 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

**0**answers

301 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

**0**answers

293 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

**2**answers

406 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.
...

**21**

votes

**2**answers

1k views

### A non-formal space with vanishing Massey products?

Let $X$ be a polyhedron. For each $n$-dimensional face $f$ of $X$ fix a homeomorphism $\sigma_f:\triangle^n\to f$ where $\triangle^n$ is the standard $n-$simplex so that whenever $f$ is a face of $f'$ ...