# Tagged Questions

Homological algebra studies homology in a general algebraic setting. The purpose is extraction of information about structures involved in terms of tangible objects like rings groups and modules.

539 views

52 views

### Topology on an Ext group

One can show that the group $\text{Ext}^1(\mathbf Q, \mathbf Z)$ (calculated in $Ab$) identifies naturally with $\mathbf A_f/\mathbf Q$, where $\mathbf A_f$ is the additive group of finite adèles. ...
142 views

### Eilenberg-Moore Spectral Sequence for Homology with Coefficients in the Integers

I am trying to learn about the Eilenberg-Moore spectral sequence to compute homology and cohomology. I have been using Hatcher's book on spectral sequences and also McCleary's "A User's Guide to ...
77 views

### Best approximation to an adjoint functor

I have the following question. Suppose I have a functor $F\colon C\to D$ between two categories. I would like it to have an adjoint (say, right), but it doesn't. Is there a way to define a "best ...
89 views

### What are some important examples of differential objects that aren't naturally graded?

[By a "differential object" I mean an object $A$ in some abelian category $\mathcal{A}$ together with a morphism $d : A \to A$ such that $d \circ d = 0$. By a "differential module" I mean a ...
224 views

98 views

### Hypercohomology - now replaced by derived functors?

On the Wikipedia article for hypercohomology I find the following sentence. Hyperhomology is no longer used much: since about 1970 it has been largely replaced by the roughly equivalent concept ...
115 views

90 views

### Is there an explicit description for injective sheaves?

I want to find a criterion for sheaves of modules to be injective. It would be great if one can such a criterion for sheaves of modules over a ringed space. But an answer for sheaves of abelian groups ...
134 views

### Has this variation of Hochschild cohomology been studied?

Let $k$ be a field, and let $A$ be a commutative $k$-algebra. Let $M$ be an abeliean group, and assume that it an $n$-$A$-module. That is: it has $n$ different $A$-module structures, and they are ...
159 views

### Existence of finite projective resolution

The situation I'm considering is quite involved. All rings are noetherian commutative with $1$. All modules are finitely generated. First of all we fix a non reduced local ring $A$ where all zero ...
116 views

### Leray spectral sequence for complexes

Let $f:X\rightarrow S$ be a morphism of schemes. Let $0\rightarrow C_1 \rightarrow C_2 \rightarrow C_3 \rightarrow 0$ be an exact sequence of Abelian sheaves on $X$. Is there a general procedure to ...