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

1
vote
1answer
29 views

$M' \to M \to M'' \to 0$ exact $\implies 0\to \text{Hom}(M'',N) \to \text{Hom}(M,N) \to \text{Hom}(M',N)$ is exact.

Let, $M', M'', M, N$ be $A$-modules. $M' \stackrel{u}{\to} M \stackrel{v}{\to} M'' \to 0$ exact $\implies 0\to \text{Hom}(M'',N) \stackrel{\bar{v}}{\to} \text{Hom}(M,N) \stackrel{\bar{u}}{\to} ...
1
vote
1answer
39 views

Why is the torus not a boundary of a 3-chain?

I'm learning about homology right now and the author simply states that the torus $T^2$ does not have a boundary (I understand this) and also is not a boundary of a 3-chain. This is not at all obvious ...
1
vote
1answer
39 views

Extensions of quasicoherent sheaves are quasicoherent.

Harts theorem 5.7: Given an exact sequence $0 \to \mathscr F_1 \to \mathscr F_2 \to \mathscr F_3 \to 0 $ of sheaves on $X = \mathrm{spec} A$, if $\mathscr F_1$ and $\mathscr F_3$ are quasicoherent, ...
5
votes
3answers
139 views

Properties characterized by a vanishing Ext or Tor module

While reading Weibel's "An introduction to homological algebra'', I've noticed that many properties of a module are characterized by the vanishing of some Tor or Ext. Fix a (commutative) ring $R$ and ...
1
vote
1answer
36 views

what is the inclusion map for $Y$ to $Y$ x $Y$?

I am studying homotopy and homology and one map we have been using is the left and right inclusion maps $i_L$, $i_R$, for example from the space $Y$ to the cartesian product $Y$ x $Y$. Whilst I ...
1
vote
1answer
36 views

Modules in Morita Equivalence

In Method of Homological Algebra by Gelfand and Manin (Exercise 2.2.3). How are $\mathrm{Hom}_A(P,X)$ and $\mathrm{Hom}_B(P^*,Y)\,$ regarded as a $B$-module and $A$-module respectively?
1
vote
0answers
44 views

Characterization of Projective Objects

In which categories is an object $P$ projective if and only if every short exact sequence ending with it splits? $$0\longrightarrow A\longrightarrow B\longrightarrow P \longrightarrow 0$$
0
votes
1answer
30 views

Direct limit and constant are adjoint functors

I have a question. Why $(\varinjlim, | |)$ is an adjoint pair of functors? Here the definition of constant direct system || is: For any I, fix a module A and set $A_i=A$, all $i\in I$, and ...
1
vote
1answer
45 views

Defining a Map Between Two Chain Complexes

I would like someone to check my reasoning here and, if my reasoning is correct, help me define a map to make a short exact sequence. I am given a short exact sequence of chain complexes $$ ...
0
votes
0answers
21 views

Closure properties for classes of modules that form a cotorsion pair

A torsion theory is a pair of classes of $R$-modules (where $R$ is an associative ring with identity) $({\mathbb T},{\mathbb F})$, such that $r({\mathbb T})={\mathbb F}$ and $l({\mathbb F})={\mathbb ...
2
votes
3answers
115 views

Does a long exact sequence of flat modules remain exact after tensoring with an arbitrary module?

In Liu's Algebraic Geometry and Arithmetic Curves, Proposition 1.2.6 states that given any short exact sequence $0 \rightarrow M' \rightarrow M \rightarrow M'' \rightarrow 0$ with $M''$ flat, taking ...
-1
votes
1answer
45 views

Projective dimension of module over local ring

This question arose reading the well known article by Buchsbaum Lectures on regular local rings. He states without proof that, given $(R,m)$ a local ring and an $R$-module $M$ over $R$, we have the ...
0
votes
0answers
39 views

The kernel of an antiderivation on an exterior algebra

This is a simple algebraic question I feel I should be obvious, but maybe isn't. Let $d'\colon V \twoheadrightarrow W$ be a surjective linear map of finite-dimensional vector spaces over a field of ...
1
vote
0answers
36 views

Derived projection formula

In the MO question here two "versions" of the projection formula are stated. The projection formula in algebraic geometry is, given a (quasicompact, quasiseparated) map of schemes $f: X \rightarrow ...
0
votes
1answer
64 views

Topological modules and relative homological algebra.

This question might be a bit dumb but I'm tired right now and this is just going over my head at the moment, in "The homology of Banach and topological algebras" Helemskii said that relative ...
0
votes
0answers
25 views

Bicomplexes-reference request

I'm not an expert in homological algebra, I would say that I have gathered only preliminary knowledge. I would like to learn more in particular about bicomplexes and homology and cohomology of such ...
0
votes
1answer
53 views

The hyper-derived functors $\mathbb L_\bullet F$ are just derived functors of $H_0F$?

Problem (Weibel's Introduction to Homological Algebra, Exercise 5.7.4,2) Let $\mathbf{Ch}_{\ge0}(\mathcal A)$ be the subcategory of complexes $A$ with $A_p=0$ for $p<0$. Then the hyper-derived ...
1
vote
0answers
71 views

A quasi-isomorphism between the total complex of a Cartan-Eilenberg resolution and the complex per se.

Problem (Weibel's Introduction to Homological Algebra, Exercise 5.7.1) Suppose $A$ is a (not necessarily bounded below) chain complex over an abelian category $\mathcal A$ where axiom (AB4) holds, ...
0
votes
0answers
31 views

How to compute cyclic/dihedral powers of modules?

The $n$-th cyclic power of an $R$-module $M$ is $$T^n_C(M)=M^{\otimes n}/\langle m_1\!\otimes\!m_2\!\otimes\!\ldots\!\otimes\!m_n-m_2\!\otimes\!\ldots\!\otimes\!m_n\!\otimes\!m_1;\, ...
1
vote
2answers
112 views

example of hom of direct sum

I have a question . Can anyone give me examples for $Hom(B,\oplus A_j)$ not isomorphic to $\oplus Hom(B,A_j)$ or $\prod Hom(B,A_j)$ as abelian groups? Here $A_j$ and B are both modules. I have read ...
1
vote
1answer
33 views

Injective Resolution in Abelian Categories

Let $\mathcal{C}$ be an Abelian category. There is a fact that if $\mathcal{C}$ has enough injective objects, then any object in $\mathcal{C}$ has an injective resolution. By the definition of ...
4
votes
1answer
61 views

A simpler definition of the snake map?

I would like to ask whether the following definition of the connecting morphism in the long exact sequence in homology of a pair $(X,A)$ is correct. First, define relative cycles and boundaries via ...
1
vote
0answers
54 views

Tensor product of $C^*$- algebras

We know from the paper of Douglas and Howe (enter link description here) that the commutator ideal $\mathcal{I}$ of $\mathcal{A}(C(T^2))$, the $C^*$-algebra generated by Toeplitz operators with ...
0
votes
1answer
47 views

Good Pair corollary of the excision theorem

I have problem with understanding the following proof $q_*$ is isomorphism as q is a quotient map and so outside A, it is a homeomorphism implies that $q_*$ induces isomorphism. Given the above ...
2
votes
0answers
28 views

A category is locally finitely presented if the relative purity and purity coincide

Let $A$ be a locally finitely presented additive category, $X$ an additive subcategory. A sequence $0\rightarrow A_1\rightarrow A_2\rightarrow A_3\rightarrow 0$ in $A$ is pure exact if it is ...
1
vote
1answer
51 views

Ext and extensions

There are two abelian groups up to isomorphism of order $p^2$, where $p$ is a prime. But Ext$(\mathbb{Z}/p,\mathbb{Z}/p)$ is cyclic of order $p$. I can embed $\mathbb{Z}/p$ into $\mathbb{Z}/p^2$ in ...
0
votes
0answers
32 views

Some questions about Chain and Homological groups

Consider an oriented complex $K$ and it's chain group; that's the set $C_p(K)$ of it's $p-$chains endowed with the point-wise addition. If $T_1$ and $T_2$ are two triangulation of the same polyhedron ...
3
votes
1answer
74 views

On a property of split short exact sequences

Let $A_{\bullet}, B_\bullet$ and $C_\bullet$ be three short exact sequences of groups (not necessarily abelian) out of which $A_\bullet$ and $B_\bullet$ are split. Assume that there is again a short ...
1
vote
1answer
135 views

Long exact sequence for a triple follows from long exact sequence for a pair?

In homology theory, the long exact sequence for a pair $(X,Y)$ is just $H(Y)\to H(X)\xrightarrow{\partial(X,Y)}H(X,Y)\to H(Y)[-1]$. The long exact sequence for a triple $(X,Y,Z)$ is $H(Y,Z)\to ...
0
votes
0answers
61 views

A short exact sequence of chain complexes with null-homotopic chain maps

Problem Suppose $0\to K'\xrightarrow iK\xrightarrow pK''\to 0$ is an exact sequence of chain complexes of modules over $R$, say. If chain maps $i,p$ are null-homotopic, then $K$ is contractible. ...
1
vote
1answer
78 views

Hochschild (co)homology and derived functors

Suppose that $A$ is (complex) unital algebra. We will consider $A-A$ bimodules $M$: such a bimodule is the same as (say) left $A \otimes A^{op}$ module. Let us define $C_n(A,M)$ as $M \otimes ...
0
votes
1answer
34 views

The functor Tor for $r_R$

Suppose $R$ is commutative ring and $r \in R$. Show that if $r$ is a zero divisor, then $$\text{Tor}^R_n(R/(r),M) \cong \text{Tor}^R_{n-2}(r_R,M)$$ for $n\geq 3$, where $r_R =\{s \in R \ |\ rs =0 \}$. ...
2
votes
1answer
77 views

Is tilting theory extended also to arbitrary derived categories?

I was reading papers by Rickard ("Morita theory for derived categories") and Keller ("Derived categories and tilting") on tilting theory in derived categories, they seem to focus mostly on module ...
5
votes
2answers
219 views

Homology and (co)Limits

I've looked around on MSE and online only to find scattered results, which confuse me. I want to understand how homology behaves with (co)limits. I want to know in particular about singular homology, ...
0
votes
1answer
62 views

Determinant of a coherent sheaf over a smooth projective variety

We know a coherent sheaf $E$ over a smooth projective variety $X$ admits a finite locally free resolution. $0\longrightarrow E_n\longrightarrow E_{n-1}\longrightarrow\cdots\longrightarrow ...
2
votes
1answer
145 views

Example that inverse limit is not exact

Its known that "inverse limit is not exact". Matsumura in his book Commutative Ring Theory, page 272, gives an example for this. I can not understand how he proves that inverse limit of $Z$ is zero. ...
1
vote
1answer
77 views

direct limit of finitely generated submodule

if $A$ is a module,then the family fin($A$) of all the finitely generated submodules of $A$ is a directed set and direct limit of$M_i$ is isomorphic to$A$. for prove this needed to define to injection ...
3
votes
1answer
68 views

Is there a surjective homomorphism from $\oplus_{i=0}^\infty $ $\Bbb Z_p$ into $\prod_{i=0}^\infty$ $\Bbb Z_p$?

Is there a surjective homomorphism from $\oplus_{i=0}^\infty $ $\Bbb Z_p$ into $\prod_{i=0}^\infty$ $\Bbb Z_p$? Can this be shown by the order of element? Can we say this homomorphism is one-one, ...
0
votes
0answers
41 views

Constructing chain homotopy equivalence related to mapping cones

Problem (Weibel, Introduction to Homological Algebra, Exercise 1.5.8) Given a map $f\colon B\to C$ of complexes, let $v$ denote the inclusion of $C$ into $\operatorname{cone}(f)$. Show that there is ...
2
votes
1answer
74 views

Example of a compact module which is not finitely generated

Let $R$ be a ring and $M$ be an $R$-module. Definition: $M$ is called compact if $\text{Hom}_R(M,-)$ commutes with direct sums, that is, if for any set $I$ and any $I$-indexed family of ...
2
votes
1answer
57 views

Localization of Minimal free Resolution

Let $(R,m)$ be a local ring and $p \in \operatorname{Spec}(R)$. Let $$\cdots \longrightarrow F_n \longrightarrow F_{n-1}\longrightarrow\dots\longrightarrow F_1\longrightarrow F_0 \longrightarrow ...
-1
votes
1answer
55 views

cohomology ring of abelian Lie algebra

This is a continuation of this question. Let $\mathfrak{g}$ be a Lie $R$-algebra with module basis $e_1,\ldots,e_n$ and zero brackets. Then in the Chevalley (co)chain complex, ...
1
vote
0answers
49 views

cohomology ring of Lie algebras: multiplication

If $\mathfrak{g}$ is a Lie $R$-algebra, then the Chevalley-Eilenberg complex defines the cohomology modules $H^k(\mathfrak{g})$. If $H^\ast(\mathfrak{g})=\bigoplus_kH^k(\mathfrak{g})$, then the ...
6
votes
1answer
128 views

Help with diagram chasing

Given the diagram $\require{AMScd}$ \begin{CD} 0 @>>> A @>f>> B @>g>> C @>>> 0 \\ @. @V\alpha VV \#@V\beta V V\# @VV\gamma V @. \\ 0 @>>> {A'} ...
3
votes
2answers
73 views

Showing minimal graded free resolutions are isomorphic

I'm currently reading Rogalski's notes on noncommutative projective algebraic geometry (which can be found here) and I'm currently trying to fill out the details of Lemma 1.24 (2). The step which I ...
1
vote
2answers
79 views

Abstract homotopy invariance of homology

When topology is involved, we know (singular) homology is homotopy invariant. However, homology and homotopy can be discussed in much more general contexts. Living in ...
1
vote
1answer
38 views

Homotopy in $\mathsf{Ch}_\bullet(R\mathsf{Mod})$ induced by homotopy in $\mathsf{Top}$?

I'm trying to put together the relationships between homotopy in $\mathsf{Top}$, chain homotopy, and homotopy in $\mathsf{Ch}_\bullet(R\mathsf{Mod})$. I more-or-less understand the connection between ...
3
votes
1answer
162 views

Is the converse of Proposition 3.5.4 (c) of Bruns_Herzog true?

Question 1. Is the converse of Proposition $3.5.4 (c)$ of Bruns_Herzog true? I can see that $R$ is cohen-macaulay. so if one can prove that $r(R)=1$ , $R$ will be Gorenstein. ...
2
votes
0answers
37 views

Derived Category in terms of Torsion Theory?

It is known that there's a bijection between hereditary torsion theories on, and localizations of, a fixed abelian category. Is this bijection natural? How/why not? How can I think of the derived ...
2
votes
0answers
44 views

A form of Künneth formula?

Problem (Exercise 15.12 in Bott & Tu's Differential Forms in Algebraic Topology) If $X$ is a space having a good cover, e.g., a triangularizable space, and $Y$ is any topological space, prove ...