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

0
votes
0answers
29 views

Left exact functors and long exact sequences

I wonder whether in any Abelian category $\mathcal{C}$ when we have a long exact sequence $0\to M_1\to M_2\cdots\to M_n\to 0$ and a (covariant) left exact functor $F$ we have $0\to FM_1\to FM_2\to \...
0
votes
3answers
44 views

Is $Z/mZ\otimes Z \cong Z/mZ$?

I'm reading a Homological Algebra book that states this in some point without proving. I was trying to prove it and it seems to me that the first module is infinite and the second is not.
1
vote
1answer
30 views

Isomorphism on top cohomology implies isomorphism on homology

Let $F$ be a finite field (for example I could take $\mathbb{Z}_2$) and $f:X\longrightarrow Y$ a continuous map between compact, orientable and connected manifolds of dimension $n$. Suppose I have an ...
1
vote
1answer
27 views

Understanding proof of Universal coefficient theorem for cohomology

I am working through Cohomology chapter on Hatcher's book and I am having trouble with the proof of Universal Coefficient theorem for Cohomology. To be concrete I don't understand the last part of the ...
0
votes
0answers
22 views

How does the universal coefficient theorem give a map $H_k(M;\mathbb{Q})\to H_k(M;\mathbb{C})$?

On the wikipedia page for Hodge cycles, it is stated that the universal coefficient theorem gives us a map $$H_k(M;\mathbb{Q})\to H_k(M;\mathbb{C})$$ But I don't see how. From what I know we would ...
10
votes
0answers
105 views

Applications of $Ext^n$ in algebraic geometry

I have been doing a project about $\operatorname{Ext}^n$ functors for my commutative algebra class. I used the approach via extensions of degree n. Basically I have shown the long exact sequence ...
3
votes
1answer
90 views

Splitness of quotient sequence

Let $A, B, C$ be holomorphic vector bundles over some complex manifold $X$. Let $A', B', C'$ be sub bundles, respectively. Suppose that we have short exact sequences: $$0 \rightarrow A \rightarrow B \...
0
votes
0answers
26 views

about chain nullhomotopy and projective objects

Let $\mathcal{A}$ be any abelian category and let $Ch(\mathcal{A})$ denote the category of chain complexes on $\mathcal{A}$. Let $P\in Ch(\mathcal{A})$ be a projective object. How can I show that any ...
2
votes
1answer
45 views

Isomorphism on Cohomology implies isomorphism on homology

Say I am given a chain map $f:C \to D$ of complexes of (free if necessary) abelian groups. Assume that this map induces isomorphisms of cohomology with all coefficient rings. How do you prove that ...
3
votes
1answer
46 views

Bounded derived category and hereditary categories

Let $\mathcal{A}$ be an abelian category with enough projectives (injectives). I tried to prove that if every element $M$ of $\mathcal{D}^{b}(\mathcal{A})$ satisfies $$ M \cong \bigoplus_{i} H^{i}(M)[-...
1
vote
0answers
29 views

Is the BGG category $\mathcal{O}$ a Serre subcategory of $\mathfrak{g}$-mod? [duplicate]

Let $\mathcal{O}$ be the BGG category for a be a finite-dimensional, semi-simple complex Lie algebra $\mathfrak{g}$. Let $\mathfrak{g}$-mod be the category of all $\mathfrak{g}$-modules. Is the BGG ...
0
votes
2answers
68 views

Homology of the $n$-torus using the Künneth Formula

I'm trying to apply the Künneth Formula $$H_{n}(X \times Y) \simeq \displaystyle \bigoplus_{r+s=n} H_{r}(X) \otimes H_{s}(Y)$$ to compute the homology groups of the $n$-torus. For the double torus, ...
1
vote
0answers
40 views

Weibel IHA exercise 1.2.6 : Example of total complex

1.2.6 is below; Give examples of (1) a second quadrant double complex C with exact columns such that $Tot^{\prod}(C) $ is acyclic but $Tot^{\oplus}(C)$ is not; (2) a second quadrant double complex ...
2
votes
1answer
50 views

Ext functors and extensions.

Given two short exact sequences, $$ 0 \to A \xrightarrow{f} B \xrightarrow{g} C \to 0 $$ $$ 0 \to B \xrightarrow{\alpha} Y \xrightarrow{\beta} X\to 0$$ I want to show that if the short exact ...
0
votes
1answer
22 views

The existence of a non-split composition series in a indecomposable module

Assume that $R$ is a ring with unit and $M$ is a indecomposable left $R$-module with finite length. That is, $M$ has a composition series. Is it true that there is a composition series $$\begin{...
1
vote
1answer
99 views

Computation of $\mathrm{Ext}^2_{\mathbb{C}[x,y]}(\mathbb{C}[x,y]/(x^2,xy,y^2), \mathbb{C}[x,y]/(x,y))$

I need to evaluate left derived functors of $\mathrm{Ext}^2_{\mathbb{C}[x,y]}(\mathbb{C}[x,y]/(x^2,xy,y^2), -)$ on $\mathbb{C}[x,y]/(x,y)$ but i have no idea how to evaluate zeroth functor.. I wrote ...
5
votes
1answer
75 views

Showing epimorphism without using the Freyd-Mitchell Embedding Theorem

In an Abelian category $\mathscr{C}$ consider a commutative diagram as follows: $$\require{AMScd}\begin{CD} 0@>>>\ker f@>\theta>>W @>{f}>> Y\\ @. @. @V{\phi}VV @|{id} \\ @. ...
1
vote
1answer
36 views

$\operatorname{Ext}^{n}$ as the class of Yoneda extensions of degree $n$.

Given an abelian category $\mathcal{A}$, we can define $\operatorname{Ext}^{n}(A,B)$ as the class of extensions of degree $n$ of $A$ by $B$. How can one prove that $\operatorname{Ext}^{n}(A,B)$, is ...
1
vote
1answer
18 views

Extending Semiring $\mathbb{N}$ to $\mathbb{Z}$ through exact sequence

I am working on extensions in the form of $$A\hookrightarrow B\twoheadrightarrow C$$ in my thesis and I am just wanting to add as an extra note, IF POSSIBLE, this. We have that that $\mathbb{Z}$ is ...
0
votes
1answer
19 views

Module induced from projective is projective

Let $A,B$ be rings such that $A$ is $B$-module, $P$ be projective $B$-module. I want to prove that $A\otimes_B P$ is projective. I have that $\mathrm{Hom}_A(A\otimes_B P,M) \simeq \mathrm{Hom}_B(P,\...
5
votes
1answer
93 views

The bigger picture the Five Lemma fits into

The Five Lemma is a statement in category theory about certain conditions under which certain maps in exact sequences are isomorphisms. It has a few relatives like the 4 lemmas and maybe the Nine ...
2
votes
1answer
45 views

Translation functor in a triangulated category under certain hypotheses

Let $\mathcal{T}$ be a $\Bbbk$-linear triangulated category which is Hom-finite and Krull-Schmidt, with translation functor $\Sigma$ satisfying $\Sigma^2 = \text{id}$. Suppose that $\mathcal{T}$ has ...
0
votes
0answers
26 views

Yoneda extensions and $\operatorname{Ext}$ functor.

I am reading this this entry http://stacks.math.columbia.edu/tag/06XU of the Stacks Project. I'm having problems in understanding how $\left(L^{-i+1}\oplus A\right) / L^{-i}$ is constructed. I mean, ...
3
votes
1answer
86 views

What comes after diagram chasing?

An early edition of Lang's algebra textbook gives the famous exercise to Take any book on homological algebra, and prove all the theorems without looking at the proofs given in that book. Here ...
0
votes
1answer
23 views

Show that the maps are chain homotopic

Let $\Delta _{2}$ be a 2-simplex, $I=\left [ 0,1 \right ]$. Given are two maps $i_{0}:\Delta _{2}\rightarrow \Delta _{2}\times I$, defined by $x \mapsto (x,0)$ and $i_{1}:\Delta _{2}\rightarrow \...
0
votes
0answers
22 views

A direct summand of a sequence, Rotman, Homological Algebra, ex. 10.15 [duplicate]

If $0 \rightarrow A' \xrightarrow{\delta} A \rightarrow A'' \rightarrow 0$ is a split short exact sequence in an abelian category $\mathcal{A}$ (if you like, let $\mathcal{A}$ be the category of ...
0
votes
0answers
28 views

if $F_{\bullet}$ is a complex and $r$ an integer, what is $F_{r-\bullet}$?

While reading the paper Some results and questions on the Castelnuovo-Mumford regularity, by Marc Chardin, I encountered in the proof of Theorem 5.1 the notation $F^N_{r-\bullet}$. To provide some ...
2
votes
0answers
33 views

Extension Operator.

I am working on my thesis about completion and extensions from an algebraic point of view. We have the closure operator which takes subsets to subsets with 3 criterias to meet $X\subseteq C(X)$ $X\...
2
votes
1answer
56 views

Degree theory and Invariance of domain

We'll use the Proposition (F) to show that: (Invariance of domain) Let $f: M \to N$ be a proper smooth mapping of two oriented, boundaryless, smooth manifolds of dimension $m$; furthermore, $N$ is ...
1
vote
0answers
64 views

Definition of $Hom(A,B)$

I have lots of confusion about definition of $Hom(A,B)$. I would like to ask several questions with my thoughts. Hopefully I could solve my problem. -Firstly, my book write that if $A$ and $B$ is R-...
2
votes
1answer
25 views

Split Lie algebra extensions?

Let $\mathfrak{g}$ and $\mathfrak{h}$ be two Lie algebras. A Lie algebra extension is a short exact sequence $$0\longrightarrow \mathfrak{h}\stackrel{\jmath}{\longrightarrow} \mathfrak{e}\stackrel{\...
0
votes
0answers
47 views

How injective $\overline{f_p}$ maps $\mathfrak{m}M_{p}/\mathfrak{m}^2M_{p}$ to $\mathfrak{m}L_{p}/\mathfrak{m}^2L_p$?

If $(R,\mathfrak{m},k)$ is a local ring, $A$ a finite $R$-module. Let $L_{\bullet}:\cdots\rightarrow L_1\xrightarrow{d_1} L_0\xrightarrow{d_0} A\rightarrow 0$ be a minimal free resolution. $\bar{d_i}$ ...
1
vote
1answer
77 views

Determine $H(\mathbb{R, Q})$ and $H(\mathbb{R, Z})$

I need to determine the relative (singular) homology groups of $\mathbb{R} \text{ mod } \mathbb{Q}$ and $\mathbb{R} \text{ mod } \mathbb{Z}$. Any hints on what I need to know for this question? ...
1
vote
1answer
16 views

Construct a free chain complex K

Let $(A_{n})_{n \in \mathbb{Z}}$ be a set of finitely presented abelian groups. Construct a chain complex $\mathbf{K}$, with each $K_{n}$ a free abelian group, such that for each $n \in \mathbb{Z}$, $...
3
votes
0answers
214 views

Computing (the ring structure of) $\mathrm{Ext}^\bullet_R(k,k)$ for $R=k[x]/(x^2)$

Let $k$ be some field (say of characteristic zero, if it matters) and define $$R=k[x]/(x^2).$$ I want to compute $$\mathrm{Ext}^\bullet_R(k,k)$$ and, in particular, the ring structure on it (though I ...
0
votes
1answer
54 views

Why $\bar{d_0}$ is injective in a minimal free resolution? [closed]

If $(R,\mathfrak{m},k)$ is a Noetherian local ring, $A$ a finite $R$-module. Let $L.:\cdots\rightarrow L_1\xrightarrow{d_1} L_0\xrightarrow{d_0} A\rightarrow 0$ be a minimal free resolution. $\bar{d_i}...
4
votes
1answer
85 views

Calculate $\operatorname{RHom}$ in a the derived category of graded $\mathbb{C}[x]$-Modules

I was trying to do the following exercise. Consider the category of graded $\mathbb{C}[x]$-Modules, it is clear that we can regard $\mathbb{C}[x]$ as a graded module setting $\operatorname{deg}(x)=1$. ...
0
votes
0answers
37 views

projective resolution for an $I$-torsion $R$-module

Let $R$ be a commutative Noetherian ring with non-zero identity, $I$ be an ideal of $R$ and $M$ be an $I$-torsion $R$-module. We know that there exists an injective resolution of $M$ in which each ...
2
votes
1answer
76 views

Is R/m a flat R-module?

Let $(R,\frak m)$ be a commutative Noetherian local ring. Is $R/\frak m$ a flat $R$-module? Thanks.
0
votes
1answer
71 views

Compute Ext with Macaulay2

I want to compute Ext with Macaulay2. I see in the website they write how to do but I can not do. Can anyone help me with an example? For example, let $S=k[x,y,z,t]$. How compute $\mathrm{Ext}^i_S (...
11
votes
3answers
213 views

Why are we interested in cohomology?

I've been studying algebraic topology for over half a year now and came across alot of different topics of it (fundamental groups, Van Kampen, singular homology, homology theory, Mayer Vietoris, ...
0
votes
0answers
45 views

Homomorphisms of Chain Complexes

Let $(K, d^{K})$ and $(L, d^{L})$ be chain complexes. For $n \in \mathbb{Z}$ define $$ \mathrm{Hom}(K, L)_{n} := \prod_{j \in \mathbb{Z}} \mathrm{Hom}(K_{j}, L_{j+n})$$ and $$ d_{n}^{K,L} \ \colon \...
8
votes
2answers
100 views

Is this functor representable?

Fix a group $G_0$ and $R$ a subset of $G_0$. Consider the functor $F$ from $\textbf{Grps}$ to $\textbf{Sets}$, sending every object $G$ in $\textbf{Grps}$ to $F(G)$, the subset of $\varphi \in \text{...
2
votes
1answer
48 views

A short exact sequence that cannot be made into an exact triangle. (Weibel 10.1.2)

The following exercise is in Weibel Chapter 10. Regard the groups $\mathbb{Z}/2\mathbb{Z}$ and $\mathbb{Z}/4\mathbb{Z}$ as cochain complexes in degree 0. Show that the short exact sequence $$ 0 \...
1
vote
1answer
47 views

Projective Dimension and Schanuel's Lemma

Let $R$ be a ring and $M$ a (say, left) $R$-module of projective dimension $n$. According to Noncommutative Noetherian Rings, any projective resolution of $M$ can be terminated at length $n$, and this ...
2
votes
0answers
48 views

Are product / coproduct projections / inclusions 'semistrict'?

Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker (f))\...
2
votes
0answers
47 views

Proof of Birger Iversen “Cohomology of Sheaves” Theorem 6.8

I am having troubles completing the proof of theorem 6.8 (page 44) from Birger Iversen, Cohomology of Sheaves. (pdf here) Previously we had constructed a functor $\rho$ from $K^+(A)$ (the homotopy ...
3
votes
1answer
109 views

Does trivial cohomology imply trivial homology? Does $\operatorname{Hom}(A,\mathbb Z) = \operatorname{Ext}^1(A, \mathbb Z) = 0$ imply $A = 0$?

Is there a topological space $X$ such that $H^i(X; \mathbb{Z}) = 0$ for all $i > 0$, but $H_n(X; \mathbb{Z}) \neq 0$ for some $n > 0$? In his answer to the question Is homology determined by ...
1
vote
0answers
35 views

Any characterization for commutative rings over which “projective modules” equal “free modules”?

As far as I know, over any PID, an polynomial rings over a field, or an local ring, projective modules are always free. This kind of results make me curious about if there are any overall ...
0
votes
0answers
40 views

Augmented graded algebras - properties

Let $A$ be an augmented graded unital algebra over field $k$. Define $A_+=\bigoplus\limits_{i\ge 1}A^{(i)}$. I'm trying to show that $\sum\limits_{i+j>k}A_+^i\otimes A_+^j=\bigcap\limits_{l+m=k}...