Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
124 views

Minimal model for $A_\infty$-categories

Is there a reference for existence and construction of the minimal model of an $A_\infty$-category? Most references I found ultimately refer to Lefèvre-Hasegawa's thesis but there doesn't seem to be a ...
Eugenio Landi's user avatar
4 votes
1 answer
109 views

Simplicial enrichment on unbounded algebras over an operad

In his paper "Homological Algebra of Homotopy Algebras" V.Hinich introduced a simplicial structure on algebras in unbounded chain complexes over arbitrary $\Sigma$-split operads. Not to get ...
Grisha Taroyan's user avatar
1 vote
0 answers
135 views

Explicit proof of Quillen's connectivity theorem

Definition Let $A$ be a commutative ring. An ideal $I \triangleleft A$ is called quasiregular if $I/I^2$ is flat over $A/I$ and there is a canonical isomorphism of algebras $$ \Lambda_A I/I^2\...
Grisha Taroyan's user avatar
7 votes
1 answer
411 views

Under which conditions is the bar construction a conservative functor?

The bar construction is a functor $A\mapsto Bar(A)$ from the category of augmented differential graded algebras over a commutative ring $R$ to the category of chain complexes of $R$-modules. It sends ...
Geoffroy Horel's user avatar
3 votes
0 answers
117 views

Twisting an L_{\infty} module quasi-isomorphism with a sufficiently small Maurer-Cartan element

I was wondering if someone could help me understand this result, or point me towards a reference. Suppose that $M$ and $N$ are $L_{\infty}$ modules over a dgla $L$. Suppose that $\phi: M \rightarrow N$...
Elliot's user avatar
  • 295
3 votes
0 answers
180 views

$k$-invariants of $KO$ and $ko$ and differentials in the AHSS spectral sequence

Let $KO$ and $ko$ denote real $K$-theory and connective real $K$-theory. It appears to be a well done result that the $k$-invariants can be used to determine the early differentials in the Atiyah-...
Sam's user avatar
  • 855
9 votes
2 answers
991 views

Reference for homotopy colimit = total complex

I'm looking for a reference for the following fact: take a simplicial chain complex $ X:\Delta^{op}\to Ch_{\geq 0}(\mathcal A)$ for $\mathcal A$ a nice abelian category (say, cocomplete with enough ...
Maxime Ramzi's user avatar
  • 15.8k
5 votes
1 answer
323 views

Sullivan minimal model in the case of $H^1(V)\neq 0$

Is there a simple construction of a Sullivan minimal model $\Lambda U \rightarrow V$ in the case that $H^1(V)\neq 0$? Do you have a reference? I envisage a degree-wise construction as in the case of $...
Pavel's user avatar
  • 466
1 vote
1 answer
186 views

Comparing self-equivalences of a triangulated category and automorphisms of its Grothendieck group

There is a homomorphism from the group of (isomorphism classes of) self-equivalences of a triangulated category to the automorphism group of its Grothendieck group. Is this homomorphism surjective? If ...
მამუკა ჯიბლაძე's user avatar
3 votes
0 answers
310 views

Functoriality of Leray homology spectral sequences of fibrations

Let $p\colon E\to B$ and $p'\colon E'\to B'$ be two fibrations. Assume for simplicity that $B,B'$ are simply connected. Let we have morphism of these fibrations, i.e. two continuous maps $$f\colon E\...
asv's user avatar
  • 21.8k
7 votes
1 answer
493 views

Pro-representability of deformation functor associated to a DG Lie algebra

Edit : There are several satisfying proofs in the case each $L^i$ is finite-dimensional. It is proven (for example, Hinich DG coalgebras as formal stacks) that for $A$ : local Artin ring then $\...
Louis-Clément LEFÈVRE's user avatar
4 votes
0 answers
235 views

Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...
Yining Zhang's user avatar
10 votes
1 answer
657 views

Cap product on Leray-Serre spectral sequences

Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and $H^*(...
Sergei Ivanov's user avatar
6 votes
1 answer
616 views

reference for "Topological algebra of Grothendieck"

I would like to have some references for Grothendieck's theory of "Topological algebra": a synthesis of homotopical and homological algebra, with special emphasis on topoi.
MCarmona's user avatar
25 votes
1 answer
2k views

Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question. In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...
Arrow's user avatar
  • 10.5k
4 votes
1 answer
448 views

Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of non-...
John-Ed's user avatar
  • 117
3 votes
1 answer
575 views

What is the "higher version" of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem: Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...
Zhaoting Wei's user avatar
  • 9,019
15 votes
1 answer
1k views

Comodule exercises desired

This Question is inspired by a Quote of Moore's "There are two ‘evil’ influences at work here: 1. we are toilet trained with algebras not coalgebras 2. some of us are addicted to manifolds and so ...
Sean Tilson's user avatar
  • 3,726