# Tagged Questions

**20**

votes

**4**answers

1k views

### origin of spectral sequences in algebraic topology

I have the following somewhat vague question. I am not sure if it is appropriate for this forum, please feel free to close (or migrate to stackexchange).
I have been "brought up" as an algebraic ...

**3**

votes

**1**answer

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

**5**

votes

**0**answers

154 views

### Homotopy unites of a differential graded algebra

I apologize in advance if the question is too basic.
Let $A$ be a differential graded algebra and $H^{0}A$ the 0-cohomology of $A$ (which is an ordinary ring) and $A^0$ is the 0-level of $ A$ . An ...

**4**

votes

**0**answers

196 views

### Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...

**1**

vote

**1**answer

248 views

### A computation by the Shapiro Lemma

Hi:
When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that
"Shapiro's Lemma tell us that
$H_q(S_n(X)\otimes_{Z}A)$ is zero if $q\neq 0$ and is ...

**1**

vote

**1**answer

201 views

### Defining Transfers Algebraically

I was trying to understand group (co)homology from a homological algebra point of view. Namely, given a group, $G$, one considers the category of (left) $\mathbb{Z}[G]$-modules, ...

**4**

votes

**1**answer

293 views

### Mayer-Vietoris sequence in homology with local coefficients

Background. I'm trying to compute some homology groups using a Mayer-Vietoris argument, but I really need local coefficients.
Question 1. What does the Mayer-Vietoris sequence look like when using ...

**8**

votes

**3**answers

725 views

### Serre Spectral Sequence of Representations

Suppose that $G$ is a group acting on a fibre bundle $(F,E,B)$ by bundle automorphisms. In this case, the action automorphisms $E\to E$ give the integral homology $H_\ast(E;\mathbb{Z})$ the structure ...

**12**

votes

**2**answers

353 views

### Is the derived category of abelian groups a subcategory of the stable homotopy category?

An extension of the Dold-Kan equivalence gives an adjunction between the stable homotopy category and the (unbounded) derived category of abelian groups $SH \rightleftarrows D(Ab)$.
Question 1: Is ...

**6**

votes

**1**answer

306 views

### Exceptional collections of objects in topological triangulated categories?

People often consider exceptional sets of objects (i.e. collections of objects satisfying certain strong orthogonality conditions: $Ext^{l}(P_i,P_j)$ should be zero for $l\neq 0$ + something else) in ...

**2**

votes

**1**answer

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

**4**

votes

**1**answer

221 views

### How to construct maps between (co)fibre sequences in a stable $\infty$-category?

Fix a stable $\infty$-category $\mathcal{C}$ and two (co)fibre sequences $a \rightarrow b \rightarrow c$ and $x \rightarrow y \rightarrow z$ in $\mathcal{C}$. Now suppose we are given a map $a ...

**7**

votes

**2**answers

498 views

### How to compute homology of symmetric products of complexes?

First, I would appreciate references on the notion of derived symmetric powers of perfect modules over various kinds of derived commutative algebras (say cdgas in characteristic zero, simplicial ...

**3**

votes

**2**answers

212 views

### When does $M \otimes_{A} \pi_{0}(A) \simeq 0$ imply $M \simeq 0$?

Let $A$ be a simplicial commutative ring over a field $k$ of characteristic zero (or a cdga
in non-positive degrees with differential of degree -1). Let $M$ be a perfect $A$ module. If necessary, ...

**5**

votes

**2**answers

257 views

### Chain Homotopy classes as n-homology of a double complex

Hey all,
I try to understand an argument in Lücks "A basic introduction to surgery theory" on page 51 which goes as follows:
Let $\mathbb{Z} \pi$ be the group ring where $\pi$ denotes the ...

**0**

votes

**1**answer

499 views

### derived functors and triangulated categories

If you derive a right exact functor $F$ you get a functor normally denoted by $RF$ on the derived category. Similarly, if you start with a left exact functor $G$ you get a functor normally denoted by ...

**17**

votes

**3**answers

1k views

### Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...

**6**

votes

**1**answer

266 views

### Does there exist a model of chains on oriented manifolds with both a strict intersection pairing and strict functoriality for closed embeddings?

Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, ...

**8**

votes

**1**answer

384 views

### Is there a “derived” Free $P$-algebra functor for an operad $P$?

Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps ...

**3**

votes

**0**answers

167 views

### Closed Model Category Structure on Chain Complexes Related to A Left-exact Functor

Let $F:A \to B$ be an additive left-exact functor of abelian categories (Do not assume that they have enough injectives / projectives.) Suppose we are given a class of objects $R$ adapted to $F$ (see ...

**4**

votes

**1**answer

363 views

### homotopy transfer for sheaves of algebras

homotopy transfer for algebras
Let $A$ be a differential graded (dg) $k$-algebra, and $H(A)$ its cohomology. $H(A)$ is naturally equipped with the structure of a graded algebra. In general we don't ...

**5**

votes

**1**answer

535 views

### How do I split a homotopy idempotent?

I want to check that the homotopy category of cochain complexes of an idempotent splitting, preadditive category is idempotent splitting.
Let $a\xleftarrow{e}{}a$ be an idempotent chain map up to ...

**22**

votes

**6**answers

2k views

### Poincare duality and the $A_\infty$ structure on cohomology

If $X$ is a topological space then the rational cohomology of $X$ carries a canonical $A_\infty$ structure (in fact $C_\infty$) with differential $m_1: H^\ast(X) \to H^{\ast+1}(X)$ vanishing and ...

**4**

votes

**1**answer

624 views

### Simplicial “universal extensions”, the hammock localization, and Ext

Let $M,B$ be $R$-modules, and suppose we're given an n-extension $E_1\to\dots\to E_n$ of $B$ by $M$, that is, an exact sequence $$0\to M\to E_1\to\dots\to E_n \to B\to 0.$$
A morphism of ...

**7**

votes

**4**answers

666 views

### Intuition about the triangulation of a homotopy category K(A)

Let $\cal{A}$ be an additive category. Given a morphism of (cochain) complexes $f:X\rightarrow Y$ we can form the mapping cone $C_f$, which is the complex $X[1]\oplus Y$ with differential given by
...

**3**

votes

**0**answers

515 views

### A Question about a theorem in Toën's notes “Lectures on dg-categories”

So I am trying to learn a bit about dg categories from Toën's notes, "Lectures on dg-categories" http://www.math.univ-toulouse.fr/~toen/swisk.pdf and in particular I would like to understand ...

**3**

votes

**1**answer

430 views

### A chain homotopy that does not arise from a homotopy of spaces?

Algebraic topologists like to cook up algebraic invariants on topological spaces in order to answer questions, so they are often concerned with how strong those invariants are. Currently, I am ...

**0**

votes

**1**answer

709 views

### About universal coefficient theorem

Let $(X,A)$ be a finite CW-pair $m=p^r$ for some prime $p$. Unspecified coefficient is in $\mathbb{Z}$.
From the universal coefficient theorem, We know that
$H^1(A;\mathbb{Z}_m)=\textrm{Hom} ...

**14**

votes

**1**answer

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

**5**

votes

**1**answer

1k views

### quasi-isomorphism

Is the distinction between quasi-isomorphism and `weak homotopy equivalence'
ONLY that the first means inducing an isomorphism in homology
and the second to an isomorphism of homotopy groups?

**15**

votes

**0**answers

344 views

### Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...

**6**

votes

**2**answers

764 views

### Splitting of the Universal Coefficients sequence

The really beautiful way to prove the Universal Coefficients theorem, to my taste,
is to use the fibration sequence $K(\mathbb{Z}, n) \to K(\mathbb{Z}, n) \to
K(\mathbb{Z}/k, n)$ (I'm using ...

**5**

votes

**1**answer

600 views

### Serre spectral sequence with spectra

A friend recently asked me if i had heard anything about a stable Serre Spectral Sequence or one constructed with spectra, has any one else ever heard of this? is there any reason other than ...

**9**

votes

**1**answer

609 views

### Is ΩΣ in {simplicial commutative monoids} group completion?

Let C be the model category of simplicial commutative monoids (with underlying weak equivalences and fibrations), or equivalently the (∞,1)-category PΣ(Top), where T is the Lawvere theory ...

**15**

votes

**6**answers

1k views

### Noncommutative rational homotopy type

Ok, this question is much less ambitious than it might sound, but still:
Two commutative differential graded algebras (cdga's) are quasi-isomorphic if they can be connected by a chain of cdga ...

**6**

votes

**1**answer

434 views

### cosimplicial algebras to dg-algebras

The normalized Moore complex functor is usually considered taking simplicial abelian groups to chain complexes. But there is an obvious dual version that takes cosimplicial abelian groups to N-graded ...

**22**

votes

**6**answers

2k views

### How to think about model categories?

I've read about model categories from an Appendix to one of Lurie's papers.
What are the examples of model categories? What should be my intuition about them?
E.g. I understand the typical examples ...

**19**

votes

**8**answers

2k views

### triangulated vs. dg/A-infinity

Someone recently said "derived/triangulated categories are an abomination that should struck from the earth and replaced with dg/A-infinity versions".
I have a rough idea why this is true ("don't ...