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.

learn more… | top users | synonyms

28
votes
0answers
628 views

Applying Freyd-Mitchell's embedding theorem on large categories

One commonly reads that the Freyd-Mitchell's embedding theorem allows proof by diagram chasing in any abelian category. This is not immediately clear, since only small abelian categories can be ...
15
votes
0answers
373 views

Who was Hermann Künneth?

Question as in the title: Who was Hermann Künneth? Where can I find some biographical information beyond what is available on Wikipedia? The well-known Künneth formula, for example in the form of ...
11
votes
0answers
302 views

Why do universal $\delta$-functors annihilate injectives?

Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories. Suppose $\mathcal{A}$ has enough injectives, and consider a universal (cohomological) $\delta$-functor $T^\bullet$ from $\mathcal{A}$ to ...
9
votes
0answers
212 views

cohomological proof of Maschke's theorem

I have been working on the following problem.. I have spent plenty of time trying to solve it myself. I am, however, unable to prove one small step in the argument. Beneath you can find my attempt. ...
9
votes
0answers
627 views

Does finite projective resolution imply finite free resolution?

Suppose that $R$ is a ring (commutative, if it simplifies things), and that $M$ is a (left) $R$-module. Then $M$ has a projective resolution of length $n$ if and only if $\operatorname{Ext}_R^m(M,-)$ ...
8
votes
0answers
97 views

Is there anything to be learned from the spectrum of a cohomology ring?

Given some topological space, $X$, is there any benefit to studying $Spec(H^*(X))$, or is everything we care about already available "in the algebra"? As $H^*$ is a graded ring, does this question ...
7
votes
0answers
79 views

Galois Group of Composite Field vs. Second Isomorphism Theorem

$\DeclareMathOperator{\Gal}{Gal}$ In my abstract algebra class, we learned about how Galois groups interact with composite fields. Namely, if $K/F$ is Galois, and $L/F$ is any extension: $$\Gal(KL/L) ...
7
votes
0answers
250 views

Composition of derived functors and comparison between hypercohomology and sheaf cohomology

I had a few questions about compositions of derived functors, the comparison between hypercohomology, and sheaf cohomology and the following theorem from the Gelfand, Manin homological algebra book: ...
6
votes
0answers
145 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
6
votes
0answers
157 views

Description of $\mathrm{Ext}^1(R/I,R/J)$

Let $R$ be a commutative ring with unit and $I$ and $J$ are nonzero ideals of $R$. Do we have a nice description for $\mathrm{Ext}^1_R(R/I,R/J)$? What do I mean by a nice description? For example ...
6
votes
0answers
99 views

Sequences of maps between modules such that $\ker(d_n) \subseteq \text{im}(d_{n+1})$

Consider a sequence of maps between $R$ modules (where $R$ is a ring with unity) $$\cdots \rightarrow M_{n+1} \xrightarrow{d_{n+1}} M_{n} \xrightarrow{d_{n}} M_{n-1} \rightarrow \cdots$$ such that ...
6
votes
0answers
365 views

Why didn't Cartan-Eilenberg develop homological algebra on sheaf theory?

Cartan-Eilenberg created homological algebra on modules over rings. I wonder why they didn't develop it also on sheaves over ringed spaces. Grothendieck and Godement did that soon after(or almost at ...
6
votes
0answers
281 views

Condition for a ring on projective and free modules problem

Let $R$ be a ring. Then we know that a free module over $R$ is projective. Moreover, if $R$ is a principal ideal domain then a module over $R$ is free if and only if it is projective or if $R$ is ...
5
votes
0answers
177 views

Morse theory Vs degree theory

I have this paragraph from K.C. Chang Infinite dimensional Morse theory In comparison with degree theory, which has proved very useful in nonlinear analysis in proving existence and in ...
5
votes
0answers
71 views

Leray's theorem for cech and derived sheaf cohomology.

My question is about the hypothesis of Leray's theorem. This theorem says that if $\mathcal{U}$ is an open cover of a topological space $X$, and $\mathcal{F}$ is a sheaf over $X$ and if ...
5
votes
0answers
43 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. ...
5
votes
0answers
126 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 ...
5
votes
0answers
62 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 ...
5
votes
0answers
72 views

Maps between spectral sequences

I am trying to understand a subtle point about how Theorem 2.2.5 is used in Kedlaya, Abbott, and Roe's "Bounding Picard numbers of surfaces using p-adic cohomology". Below I've tried to pose the ...
5
votes
0answers
78 views

Is there an analog of Cech complex for local cohomology over noncommutative rings?

Let $A$ be a noetherian ring, and let $I\subseteq A$ be an ideal. Suppose $I$ is generated by $a_1,\dots,a_n$. Let $M$ be a left $A$-module. If $A$ is commutative, then one can compute the derived ...
5
votes
0answers
74 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 ...
5
votes
0answers
112 views

Properties of quotient categories.

Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre subcategory or "thick" subcategory, such that the quotient functor $T\colon ...
5
votes
0answers
57 views

Flatness and tensor product of rings

Let $R_1$ and $R_2$ be two subrings of a ring $R$ (not necessarily commutative) which commute in $R$ so that we have a ring homomorphism $R_1\otimes_\mathbb{Z} R_2\rightarrow R$ and $R$ is a module ...
5
votes
0answers
191 views

Computing the hypercohomology of a complex of acyclic sheaves

Let $K^{\bullet}$ be a cochain complex of sheaves of finite-dimensional vector spaces, I wanted to compute $\mathbb{H}^{\bullet}(X,K^{\bullet})$ = the hypercohomology of the complex $K^{\bullet}$, the ...
5
votes
0answers
164 views

Non-trivial conditions for $\mathrm{Ext}^2(A,B)=0$?

Edit: Since I had some trouble making my previous question precise without diving into details about the origin of the homological objects I'm interested in, let me ask a more open-ended question: ...
5
votes
0answers
135 views

Projective objects in compounded Abelian category

Suppose we have an Abelian category $\mathfrak A$ and a ring $R$. From this data we can form a new Abelian category $\mathfrak A[R]$ whose objects are objects $A\in\mathfrak A$ together with a ring ...
5
votes
0answers
107 views

Does order isomorphism of linear extensions of two partially ordered sets imply order isomorphism of themselves?

This question was firstly posted on Mathoverflow. Two answers are pretty interesting. The potential counter-example given in the second answer is really interesting, but it is not surely a ...
4
votes
0answers
51 views

On the definition of groups of multiplicative type

Let $k$ be a field of characteristic 0. The definition of a linear algebraic $k$-group of multiplicative type (m.t.) I've seen the most in the literature is that $G$ is of m.t. if it is a ...
4
votes
0answers
49 views

Left and Right minimal homomorphisms.

In the literature on representation theory of finite dimensional algebras, a left (and similarly right) minimal homomorphism is defined as the following: For a pair of modules $L $ and $M$ in ...
4
votes
0answers
92 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 ...
4
votes
0answers
89 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 ...
4
votes
0answers
106 views

Long exact sequence in cohomology associated to a short exact sequence of *functors*

In homological algebra, when you have a left exact functor $F$ From an abelian category $\mathcal{A}$ to an abelian category $\mathcal{B}$ and you have enough injectives in $\mathcal{A}$, then you ...
4
votes
0answers
91 views

A question about the universal coefficient theorem.

Or rather a couple of questions. Let $X$ be some topological space, $R$ be a (unital) PID and $G$ be an $R$-module. Am I correct in understanding that the singular cochain complexes ...
4
votes
0answers
50 views

The functor $\underline{\mathbf{R}}^if_*$

Let $f: X \to Y$ be a proper morhpism of varieties, and $\mathcal{F}$ be a sheaf on $X$. Then we have $f_* \mathcal{F}$ as a sheaf on Y and we also have a higher derived functor $\mathbf{R}^i ...
4
votes
0answers
120 views

Simplicial homology for n-simplex

I've just started to study homology theory. And I'm trying to calculate all $H_n(\Delta_N)$ for some $N$. I know that the number of $m$-simplex in $N$-simlex is $b_{N,m}={N+1 \choose ...
4
votes
0answers
199 views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
4
votes
0answers
68 views

Examples of exact couples of abelian groups

Exact couples are really important when defining spectral sequences. However, I have never really seen a simple non-trivial example of two exact couples of abelian group with a morphism between them. ...
4
votes
0answers
129 views

Cartan-Eilenberg resolutions, adapted classes and acyclic resolutions

I may get grilled for this but here I go: Let $\mathcal{A}$ be an abelian category with enough injectives. What I want to know is VERY VERY specific. Let's say I have a complex in $\mathcal{A}$ $0 ...
4
votes
0answers
182 views

Homology and Homotopy group

$E, F, B$ are topological space, $B$ path connected. If we have given a long exact sequence.. $$\cdots\to \pi_1(F)\to \pi_1(E)\to \pi_1(B)\to\cdots$$ what will the relationship of $H_1(F,\mathbb R)$, ...
4
votes
0answers
116 views

Ext in Dedekind domains

I know and can prove that $\operatorname{Ext}_Z^1(\mathbb{Z}/p\mathbb{Z},A) \simeq A/pA$. Does similar formula work for more general rings, such as Dedekind domains and their ideals, i.e. ...
4
votes
0answers
267 views

Additive functors preserve split exact sequences

How can I prove that additive functors preserve split exact sequences?
4
votes
0answers
256 views

How to understand the diagonal approximation?

In the Brown's book “Cohomology of groups”, chapter 5.1, there is a concept diagonal approximation, maybe that is not a standard definition, I feel something hard to understand it. The book says that ...
4
votes
0answers
93 views

Why does applying $-\Box_{A//B} A$ to a free coresolution preserve exactness?

Let $A$ be a Hopf algebra over a field $k$, and let $B$ be a normal subHopf algebra of $A$. Suppose we have an $A$-free coresolution of $k$ over the form $F_n=K_n \otimes_k A$. Kochman claims that ...
4
votes
0answers
303 views

The cohomology of finite $G$-modules

This is to some extent a continuation of an earlier question of mine. Now that I'm all cleared up on what it means for a finite group to have periodic cohomology, I have another question; first I will ...
4
votes
0answers
305 views

Chain map inducing isomorphism in homology

If $X$ is a CW complex, show that there is a chain map $W_*(X) \to S_*(X)$ inducing isomorphisms in homology. Here $W_p(X) = H_p(X^p,X^{p-1})$ Let $E$ be the CW decomposition of $X$ and let $M$ ...
3
votes
0answers
31 views

A variant of projective objects?

Let $\mathcal{C}$ be an additive category. Is there a common name for objects $P \in \mathcal{C}$ with the property that $\hom(P,-) : \mathcal{C} \to \mathsf{Ab}$ is right exact, i.e. preserves all ...
3
votes
0answers
35 views

Homology Theory based on “linear symmetric differences”

Homology Theory is based on the idea that if you have a sequence $A \rightarrow B \rightarrow C$ of homomorphisms $f \colon A \rightarrow B$ and $g \colon B \rightarrow C$ such that their composition ...
3
votes
0answers
130 views

Does $\operatorname{id} M =\dim R$ hold for finite modules of finite injective dimension?

When $\operatorname{id}R<∞$ then $\operatorname{id}R = \dim R$. The same holds for a finite free, projective or flat module instead of $R$, that is, $\operatorname{id}M = \dim R$. Does it hold for ...
3
votes
0answers
40 views

Reference request: where can I find illustrative, concrete examples of the use of the Eilenberg–Moore spectral sequence?

Pursuant to advice at When does cohomology take pullbacks to pushouts?, I tried to use the Eilenberg–Moore spectral sequence in the simplest conceivable example, for the Hopf bundle $S^3 \to ...
3
votes
0answers
67 views

Mapping cones and resolutions

Let me preface my question by acknowledging the vagueness of it. I am hoping to find some information in the form of references as opposed to a hard and fast solution. Suppose that $S=k[x_1, \dots, ...