**29**

votes

**8**answers

3k views

### When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine.
Let X be a topological space. It is well known that the abelian category of sheaves on X has enough injectives: that is, every sheaf ...

**18**

votes

**12**answers

2k views

### Homological Algebra for Commutative Monoids?

Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...

**17**

votes

**2**answers

1k views

### (co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...

**19**

votes

**4**answers

2k views

### Non-vanishing of group cohomology in sufficiently high degree

Atiyah in his famous paper , Characters and cohomology of finite groups, after proving completion of representation ring in augmentation ideal is the same as $ K(BG)$, gives bunch of corollaries of ...

**19**

votes

**2**answers

988 views

### Calculating Mayer-Vietoris efficiently

This is a question whose motivation and framing seem to involve a lot of topology, but which I suspect comes down to some simple and standard combinatorics that's probably recorded in a book ...

**10**

votes

**0**answers

864 views

### Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...

**16**

votes

**2**answers

867 views

### Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra?
Is it easier if we impose any of the three conditions: characteristic zero; ...

**15**

votes

**3**answers

1k views

### Characterising categories of vector spaces

Consider the category $FdVect_k$ of finite dimensional $k$-vector spaces, for some given field. It is abelian, semisimple, in that each object is a finite sum of simple objects (of which there is only ...

**4**

votes

**0**answers

287 views

### Cohomological dimension of the category of sheaves

Let $X$ be an $n$-dimensional manifold. Then for any sheaf $\mathcal{F}$ on $X$, the cohomology $H^i(X; \mathcal{F})$ vanishes for $i > n$.
Let $k$ be a field, and let $\mathrm{Shv}_k(X)$ be the ...

**4**

votes

**1**answer

528 views

### Solid Rings and Tor

A solid ring is a ring $R$ such that the multiplication
$R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are
subrings of $R\subseteq\mathbb{Q}$,
...

**83**

votes

**11**answers

6k views

### Spectral sequences: opening the black box slowly with an example

My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.
...

**63**

votes

**4**answers

4k 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 ...

**42**

votes

**5**answers

5k views

### Why are spectral sequences so ubiquitous?

I sort of understand the definition of a spectral sequence and am aware that it is an indispensable tool in modern algebraic geometry and topology. But why is this the case, and what can one do with ...

**33**

votes

**4**answers

3k views

### How to make Ext and Tor constructive?

EDIT: This post was substantially modified with the help of the comments and answers. Thank you!
Judging by their definitions, the $\mathrm{Ext}$ and $\mathrm{Tor}$ functors are among the most ...

**24**

votes

**2**answers

3k views

### How do I know the derived category is NOT abelian?

I have heard the claim that the derived category of an abelian category is in general additive but not abelian. If this is true there should be some toy example of a (co)kernel that should be there ...

**22**

votes

**8**answers

3k 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 ...

**30**

votes

**4**answers

4k views

### Definition of an E-infinity algebra

Can anyone give me a plain-and-simple
definition of an E-infinity algebra without using
the words "operad," "ring spectrum," or
"stable homotopy"?
Sorry, but I honestly couldn't find it using
all ...

**31**

votes

**4**answers

2k views

### Chain homotopy: Why du+ud and not du+vd?

When one wants to prove that a morphism $f_*$ between two chain complexes $\left(C_*\right)$ and $\left(D_*\right)$ is zero in homology, one of the standard approaches is to look for a chain homotopy, ...

**32**

votes

**2**answers

4k views

### Kunneth formula for sheaf cohomology of varieties

What is a good reference for the following fact (the hypotheses may not be quite right):
Let $X$ and $Y$ be projective varieties over a field $k$. Let $\mathcal{F}$ and $\mathcal{G}$ be coherent ...

**27**

votes

**1**answer

2k views

### Do all exact 1 -> A -> AxB -> B -> 1 split for finite groups?

Let $A$, $B$ be finite groups. Is it true that all short exact sequences $1 \rightarrow A \rightarrow A \times B \rightarrow B \rightarrow 1$ split on the right?
In other words, do there exist ...

**15**

votes

**2**answers

3k views

### Grothendieck's Tohoku Paper and Combinatorial Topology

Hi,
I've read some discussions of Grothendieck's famous Tohoku Paper, and I understand that one reason it was a landmark paper was that it introduced abelian categories and gave us sheaf cohomology ...

**22**

votes

**1**answer

2k views

### Freyd-Mitchell's embedding theorem

Freyd-Mitchell's embedding theorem states that: if A is a small abelian category, then there exists a ring R and a full, faithful and exact functor F: A → R-Mod.
I have been trying to find a proof ...

**17**

votes

**2**answers

1k views

### Acyclic models via model categories?

Recall the acyclic models theorem: given two functors $F, G$ from a "category $\mathcal{C}$ with models $M$" to the category of chain complexes of modules over a ring $R$, a natural transformation ...

**5**

votes

**1**answer

2k views

### What are tame and wild hereditary algebras?

What are tame and wild hereditary algebras?
Are they related to hereditary rings? (Those are rings for which every left (resp. right) ideal is projective, equivalently, for which every left (resp. ...

**25**

votes

**2**answers

474 views

### Complete the following sequence: point, triangle, octahedron, . . . in a dg-category

Let $\mathcal C$ be a pre-triangulated dg-category (or a stable $\infty$-category, if you wish).
An object $X$ in $\mathcal C$ gives a "point":
$$X$$
A morphism $X\xrightarrow f Y$ in $\mathcal C$ ...

**19**

votes

**3**answers

2k 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 ...

**14**

votes

**1**answer

2k views

### When is a quasi-isomorphism necessarily a homotopy equivalence?

Under what circumstances is a quasi-isomorphism between two complexes necessarily a homotopy equivalence? For instance, this is true for chain complexes over a field (which are all homotopy ...

**9**

votes

**1**answer

567 views

### Is anything known about the “closure” of an additive category by adding all the images and kernels?

It is possible well-known: is there a "minimal" pre-abelian (or abelian) category, containing the given additive category, or which conditions should be performed for this property?
For example, let ...

**9**

votes

**5**answers

2k views

### Generalizing miracle flatness (Matsumura 23.1) via finite Tor-dimension

Let $(A,m_A)$ and $(B,m_B)$ be noetherian local rings and $f:A\rightarrow B$ a local homomorphism. Let $F = B/m_AB$ be the fiber ring and assume that
$$\mathrm{dim}(B) = \mathrm{dim}(A) + ...

**8**

votes

**2**answers

559 views

### H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory

Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...

**40**

votes

**3**answers

2k views

### whence commutative diagrams?

It seems that commutative diagrams appeared sometime in the late 1940s -- for example, Eilenberg-McLane (1943) group cohomology paper does not have any, while the 1953 Hochschild-Serre paper does. ...

**21**

votes

**2**answers

1k views

### Lemma 1 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

Consider Lemma 1 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows.
Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, $F: ...

**12**

votes

**2**answers

1k views

### Is there a Serre Tor formula for nonproper intersections?

Background: Let $X$ be a smooth complex projective algebraic variety, and let $V$ and $W$ be closed subvarieties. For simplicity, let's assume that $\dim V+\dim W=\dim X$.
Now Serre's famous Tor ...

**7**

votes

**3**answers

2k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**4**

votes

**1**answer

649 views

### Is there a way to define a prime ideal object via diagrams in the category of rings?

I like to think in terms of commutative diagrams rather than referring to elements. So to me a group is really a group object, i.e. an object with some maps satisfying certain commutative diagrams. ...

**13**

votes

**2**answers

2k views

### Why are injective modules more complicated than projective modules?

For beginners in homological algebra, it is a fact of life that injective modules seems to be more mysterious than projective modules. For example, for finitely generated modules over a noetherian ...

**7**

votes

**2**answers

924 views

### Does module Hom commute with tensor product in the second variable?

Let $A$ be a commutative ring, and $L, M, N$ be $A$-modules. Then is it true that
$$\text{Hom}_A (L, M)\otimes_A N \cong \text{Hom}_A (L, M\otimes_A N)$$
as $A$-modules?
(Note that there is a ...

**6**

votes

**1**answer

518 views

### What kind of spectral sequences come from double complexes?

Given a double complex in the first quadrant, one can derive from it a (homological or cohomological) spectral sequence converging to the (co)homology of the total complex of the double complex.
My ...

**5**

votes

**1**answer

505 views

### Homology of classifying space of spin group BSpin(n)

While dealing with $BO(n)$, $BSO(n)$ and $BSpin(n)$ with the universal coefficient theorem and Künneth formula, I came to have the following question:
The universal coefficient says $H^n(X;M)\cong ...

**5**

votes

**2**answers

651 views

### Differentials in the Lyndon-Hochschild spectral sequence

The Lyndon-Hochschild(-Serre) spectral sequence applies to group extensions in a manner analogous to the Serre-Leray spectral sequence applied to a fibration.
Does anyone know of a good description ...

**14**

votes

**3**answers

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

**12**

votes

**3**answers

1k views

### Serre's theorem about regularity and homological dimension

One of the nicest results I know of is (Auslander-Buchsbaum-)Serre's theorem asserting that a (commutative!) local ring is regular iff it has finite global dimensional.
I'd like to ask a somewhat ...

**6**

votes

**1**answer

348 views

### Is the sheaf of smooth functions flat?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?

**4**

votes

**2**answers

1k views

### Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has
$$\otimes: D^{-}(X) \times D^{-}(X) \to ...

**17**

votes

**5**answers

1k views

### A ring such that all projectives are stably free but not all projectives are free?

This question is motivated by this recent question. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and ...

**5**

votes

**1**answer

103 views

### Maps between products of symmetric powers

This question might be too elementary but it arises naturally as a part of a more complicated computation and I struggle to find the answer.
Let $V$ be an $n$-dimensional complex vector space. ...

**5**

votes

**6**answers

2k views

### Differences between reflexives and projectives modules

Let R be a normal noetherian domain.
What is the difference between a finitely generated reflexive module and a finitely generated projective module?
Can anybody recommend any references or make ...

**4**

votes

**2**answers

182 views

### Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over
the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given
by
$V \otimes W:= \oplus_{j\in ...

**4**

votes

**1**answer

399 views

### About the category of chain complexes and Grothendieck categories.

Given an abelian category $\mathcal{A}$ the category of chain complexes over $\mathcal{A}$ is again an abelian category. If $\mathcal{A}$ is a Grothendieck category then the category of chain ...

**4**

votes

**3**answers

1k views

### Do the homological dimension and cohomological dimension for a group agree?

Or equivalently, if $G$ is a group, do the projective and injective dimension of $Z$ (viewed as a $ZG$-module) agree?
Thanks!