All Questions
5 questions
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 ...
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'\...
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 ...
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 ...
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....