**30**

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

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

**18**

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

1k 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 somewhere....

**10**

votes

**0**answers

882 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

883 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; ...

**4**

votes

**1**answer

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

**67**

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

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

**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, ...

**31**

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

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

**24**

votes

**2**answers

565 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$ ...

**20**

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

**23**

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: \...

**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

**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) + \mathrm{dim}...

**9**

votes

**1**answer

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

**8**

votes

**2**answers

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

**8**

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?

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

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

**4**

votes

**1**answer

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

**13**

votes

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

**7**

votes

**2**answers

1k 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

526 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

**2**answers

672 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 (...

**5**

votes

**1**answer

524 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 \...

**14**

votes

**3**answers

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

**6**

votes

**1**answer

372 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

185 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

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

**6**

votes

**0**answers

268 views

### Description of connecting maps of Derived functors

Let $C$ be an abelian category with enough injectives and $F$ be a left exact additive functor. Consider the short exact sequence $0 \to A' \to A \to A ''\to 0$. Therefore, we have connecting maps $\...

**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

**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!

**3**

votes

**3**answers

1k views

### Homology or cohomology?

How do people call an additive functor from a triangulated category $C$ to an abelian one that converts distinguished triangles into long exact sequences. Does one usually call a covariant functor ...

**3**

votes

**1**answer

285 views

### Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$.
The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$
has the bracket
$$[xt^r, yt^...

**5**

votes

**2**answers

388 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...