**1**

vote

**0**answers

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

**3**

votes

**1**answer

106 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

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

**1**

vote

**1**answer

144 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

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

**6**

votes

**2**answers

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

**3**

votes

**2**answers

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

**1**

vote

**2**answers

409 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

278 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

**1**answer

177 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

138 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

398 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

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

**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'$ ...