Skip to main content

All Questions

Filter by
Sorted by
Tagged with
90 votes
5 answers
7k views

Algorithm or theory of diagram chasing

One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...
Greg Kuperberg's user avatar
72 votes
3 answers
8k views

Where do all these projection formulas come from?

I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples. Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, Y'\...
Georges Elencwajg's user avatar
7 votes
0 answers
434 views

spectral sequence for a complex with two filtrations

Suppose $(C,d)$ is a chain complex: an abelian group with a map $d:C \to C$ such that $d^2 = 0$ (people like to assume $C$ is graded; if that helps - feel free to do so). A filtration is an ascending ...
Just Me's user avatar
  • 353
7 votes
1 answer
470 views

Twisted spin bordism invariants in 5 dimensions

[Note]: My question will be a bit long. So, first, thank you for your careful reading, generous comments, helps and answers, in advance! The spin $G$-bordism invariant can be twisted in the way that ...
wonderich's user avatar
  • 10.5k
6 votes
1 answer
980 views

Group (Co)Homology of Symmetric Group

The question concerns the group homology or group cohomology of symmetric groups. The entries in groupprops.subwiki.org and in this MO post show the results for the symmetric group S$_4$. groupprops....
wonderich's user avatar
  • 10.5k