Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
1 answer
506 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
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
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.3k
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
6 votes
1 answer
224 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
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
8 votes
1 answer
674 views

Frobenius $A_{\infty}$-bialgebras?

Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...
Manuel Rivera'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
3 votes
0 answers
476 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