Skip to main content

All Questions

Filter by
Sorted by
Tagged with
32 votes
5 answers
4k views

Some intuition behind the five lemma?

Slightly simplified, the five lemma states that if we have a commutative diagram (in, say, an abelian category) $$\require{AMScd} \begin{CD} A_1 @>>> A_2 @>>> A_3 @>>> A_4 @...
Armin Straub's user avatar
  • 1,412
20 votes
3 answers
3k views

Is there an additive functor between abelian categories which isn't exact in the middle?

Suppose $F: C\to D$ is an additive functor between abelian categories and that $$0\to X\xrightarrow f Y\xrightarrow g Z\to 0$$ is and exact sequence in $C$. Does it follow that $F(X)\xrightarrow{F(f)...
Anton Geraschenko's user avatar
20 votes
3 answers
2k views

Can a module be an extension in two really different ways?

(Edit: I've realized that there was an error in my reasoning when I was convincing myself that these two formulations are equivalent. Hailong has given a beautiful affirmative answer to my first ...
Anton Geraschenko's user avatar
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
9 votes
7 answers
2k views

Hochschild/cyclic homology of von Neumann algebras: useless?

Hochschild homology gives invariants of (unital) $k$-algebras for $k$ a unital, commutative ring. If we let our algebra $A$ be the group ring $k[G]$ for $G$ a finite group, we get group homology. ...
Dave Penneys's user avatar
  • 5,425
7 votes
0 answers
218 views

Twisting cochain intuition

I'm currently reading through Ed Brown's paper "Twisted tensor products, I", (MR105687, Zbl 0199.58201) and I couldn't find any simple examples of twisting cochains. I understand all ...
VadimKSt's user avatar
  • 171
3 votes
1 answer
385 views

Concrete examples of derived categories

What examples of abelian categories $\mathcal{A}$ are there such that the derived category $\mathcal{D}(\mathcal{A})$ can be described concretely? For example, is there a concrete way of describing $\...
Jannik Pitt's user avatar
  • 1,474