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
votes
0answers
16 views

$C_g \simeq SX$ and $C_h \simeq SY$ [on hold]

Hi need some help with this problem: Let $f : X \to Y$ . Then we can form the cofiber sequence $X \to Y \to C_f \to C_g \to C_h$ where $g: Y \to C_f$, $h: C_f \to C_g$, and $i: C_g \to C_h$. Show ...
0
votes
1answer
32 views

Global dimension regular rings of finite type

Have I made an error in my reasoning? If $k$ is a field, $A$ is a commutative regular $k$-algebra of finite type and ${\mathfrak{m}}$ is a maximal ideal in $A$ then since $Ext_{A_{\mathfrak{m}} ...
1
vote
1answer
38 views

Weibel “Introduction to homological algebra” Main Theorem 4.4.16

I can't understand the proof of Main Theorem 4.4.16 from Weibel's book "An Introduction to homological algebra". The Theorem states Let $R$ be a local noetherian commutative ring, then $R$ is ...
3
votes
1answer
38 views

Question about the proof of the universal coefficient theorem

When deriving the universal coefficient theorem, in class we proceeded as follows: We have the SES: $$0\to ...
1
vote
0answers
30 views

Calculating the intersection product in CH(X)

Let CH$(X)$ be the Chow-Ring of a projective,smooth variety with cycles modulo rational equivalence. Lets assume Kunneth-Formula holds. There is an intersection product CH$^a(X) \otimes $ CH$^b(X) ...
5
votes
1answer
51 views

Ext functor commutes with connecting homomorphisms?

Suppose we have an exact sequence $0 \to L \to M \to N \to 0$ and a morphism $f \colon A \to B$ of $R$-modules. If $\delta \colon \text{Ext}^{i}_{R}(B,N) \to \text{Ext}^{i+1}_{R}(B,L)$ and $\delta' ...
3
votes
1answer
48 views

Hom and $\otimes$ functors on chain complexes.

I can't solve the exercise $2.7.3$ from Weibel's book "An Introduction to homological algebra": Let $P,Q$ be right and left $R$-module chain complexes, $I$ be a cochain complex of abelian groups. ...
2
votes
1answer
39 views

$i^{-1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism.

Let $X$ be a topological space containing two closed points $x,y$ and let $i : \{x,y\} \to X$ denote the inclusion map. Notice that $\{x,y\}$ carries the discrete topology. Let $F$ be a sheaf on $X$. ...
2
votes
0answers
100 views
+100

Homotopy limits

Let $\mathfrak C$ be a Grothendieck category and let ${\bf D}=\mathrm{D}(\frak C)$ be its derived category, that is, consider the injective model structure on the category $\mathrm{Ch}(\frak C)$ of ...
5
votes
0answers
51 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 ...
1
vote
0answers
20 views

Decomposition of finately generated graded modules over PID

I found this decomposition theorem used in a paper I'm reading, but it isn't referenced and I can't seem to find it in any of the books I have: Every graded module M over a graded PID decomposes ...
2
votes
1answer
77 views

The inverse image of a sheaf

By definition, the inverse image of the sheaf $ \mathcal{F} : \mathrm{Ouv} (Y) \to \mathrm {Set} $ is the sheaf associated to the presheaf $ f^{-1} \mathcal{F} : \mathrm{Ouv} (X) \to \mathrm{Set} $ ...
2
votes
0answers
39 views

Definition of Hochschild homology in terms of Tor functor (bar resolutions)

I had 2 kind of dumb questions about the definition of Hochschild homology in terms of the Tor functor: 1 - Let $R$ be a $k$-algebra and $M$ an $R$-bimodule, let $H_*(R,M)$ be the Hochschild homology ...
0
votes
0answers
48 views

Global dimension of translation algebra

What is the Hochschild cohomological dimension of the "translation algebra": $\mathbb{C}\langle x,y\rangle/(xy-yx-x)$? I expect it to be $2$, but I haven;t found a serious argument as to why this ...
0
votes
0answers
27 views

Motive of Pfisterforms spectral sequence

In this famous paper http://www.math.uni-bielefeld.de/~rost/data/motive.pdf Rost constructs the motive of a Pfister-Form/Pfister-Quadric. In the last proof on page 13 he writes: "By a spectral ...
2
votes
0answers
31 views

Exact sequence from Serre spectral sequence

let me say first that I don't know homological algebra very well, so I apologize in advance if my question is stupid.. It regards the Serre spectral sequence associated to a fibration $0\rightarrow F ...
1
vote
0answers
25 views

Kunneth formula for group homology

I'm trying to prove Kunneth formula for group homology. $$ 0 \to \bigoplus_p H_p(G,M)\otimes H_{n-p}(G',M') \to H_n(G\times G',M \times M') \to \bigoplus_p Tor_1^{\mathbb Z}(H_p(G,M),H_{n-p-1}(G',M')) ...
3
votes
1answer
40 views

Computing the order of the first cohomology group $|H^1(S_n, \mathbb F_p^n)|$

Assume $n\geq 3$, $p$ is a prime, and that $S_n$ acts on $V=\mathbb F_p^n$ by permuting the basis vectors $v_1,\ldots, v_n$. I want to compute the order of the first cohomology group of this action. ...
1
vote
2answers
29 views

Why does tensoring a projective resolution with a flat module give another projective resolution?

This question came up in this thread: Proving that tensoring a projective module with a flat module gives a projective module? Assume $\left\{P_i\right\}$ is a projective resolution of an $R$-module ...
4
votes
1answer
41 views

Projective modules over $kG$ equivalent to injective.

Let $k$ be a field and $G$ is finite group. I want to prove that a $kG$ module $P$ is projective iff it's injective. I proved that if module is projective then it's injective. 1) $kG$ is injective ...
5
votes
1answer
57 views

$L\otimes_{\Delta}\text{Hom}_{\Delta}(M,\Delta)\cong \text{Hom}_{\Delta}(M,L)$

This is exercise 5 in maximal orders by I.Reiner. This is not homework though. Let $\Delta$ be a ring $L_{\Delta}$ be any module, and let $M_{\Delta}$ be a finitely generated and projective. ...
1
vote
1answer
54 views

What is the injective envelope for $\mathbb{Z}/n\mathbb{Z}$.

In the category of $\mathbb{Z}-$modules, what is the injective envelope of $\mathbb{Z}/n\mathbb{Z}$. I was hoping to find a divisible group containing $\mathbb{Z}/n\mathbb{Z}$ such that it is also ...
0
votes
1answer
15 views

Using Tor to find the Torsion submodule

Say $R$ is an integral domain with field of fractions $F$. I need to show that, for any $R$-module $B$, $Tor_1^R(F/R, B)\cong t(B)$, where $t(B)$ is the torsion submodule of $B$. So say $$\cdots\to ...
1
vote
1answer
66 views

Finite pushforward commute with taking cohomology

Let $f: X \to Y$ be a finite morphism of schemes. How one can show that $f_*H^i(G) \cong H^i(f_* G)$ for any $G \in D(X)$ and any $i \in \mathbb{Z}$? In english, $G$ is a complex of quasi-coherent ...
0
votes
1answer
35 views

Empty set in a simplicial complex

Should the empty set be considered a simplex in a simplicial complex? Which justifications exist for the answer? I guess it is somewhat comparable to $1$ not being a prime number.
0
votes
0answers
28 views

Discrete external product of chains

everyone! Studying algebraic topology I've stumbled on a doubt about (multi)vectors and chains. There exists an external product of vectors, for instance $v_1^1 \wedge v_2^1 = v^2$ where the upper ...
2
votes
1answer
44 views

Possible examples where the Zero Divisor Conjecture does not hold

Given a ring $R$ with a nonzero zero divisor $x$, it is easy to show that if $M$ is a nonzero $R$-module, then there exists $y\in R-\{0\}$ such that $ym=0$ for some $m\in M-\{0\}$. I was ...
1
vote
0answers
35 views

Graduations and filtrations for localizations

I'm trying to answer the following questions: Let $A$ be a (not necessarily commutative) $\mathbb{Z}$-graded ring and $S$ a multiplicative subset of $A$ such that $AS^{-1}$ exists. Is $AS^{-1}$ a ...
0
votes
1answer
51 views

Characterization of the kernel and cokernel of the natural homomorphism between a module and its double dual. [closed]

Let $R$ be a Noetherian ring and $M$ a finite $R$-module. Suppose $$ G \overset{\varphi}{\rightarrow} F \to M \to 0$$ is exact where $F,G$ are finite free modules. Suppose ...
2
votes
0answers
41 views

Tensor product and projective dimension

Let $R$ be a local commutative Noetherian ring and be $M,N$ be finitely generated $R$ modules. Question$1$: If $\operatorname{pd}(M)$ and $\operatorname{pd}(M\otimes_{A} N)$ are finite ,then ...
6
votes
1answer
107 views

Singular $\simeq$ Cellular homology?

Given an arbitrary CW-complex, are the singular chain complex $S_\ast(X)$ and cellular chain complex $C_\ast(X)$ homotopy equivalent or just quasi-isomorphic (some chain map induces isomorphisms on ...
1
vote
0answers
44 views

Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
1
vote
0answers
15 views

Totalization and Hom

Let $(A,d)$ be a dg $k$-algebra, where the differential has degree 1. Suppose I have a complex of dg $A$-modules $N^\bullet$. I would like for there to be an isomorphism: $ Tot^\prod Hom_A ...
1
vote
1answer
43 views

When does a functor commute with colimits?

Is it true that an additive functor between abelian categories commutes with colimits if it's right-exact and commutes with (arbitrary) direct sums? If yes, does someone know a good source of a ...
2
votes
1answer
99 views

Homology of mapping telescope

It is stated here http://math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf that if $X$ is an increasing union of the type $X=\bigcup_{i \in I}X_i$ (where $X_i \subset X_{i+1}$), then we have an ...
3
votes
2answers
92 views

Hochschild cohomology of a formal quantization of an associative algebra

Let $A$ be a commutative associative $k$-algebra and let $A[[\hbar]]$ be the formal deformation of $A$. I would like to know if there is a relation between the Hochschild co-homologies ...
3
votes
0answers
18 views

Hochschild (co)-homology of a formal quantization of an associative algebra [duplicate]

Let $A$ be a commutative associative $k$-algebra and let $A[[\hbar]]$ be the formal deformation of $A$. I would like to know if there is a relation between the Hochschild co-homologies ...
0
votes
0answers
37 views

Grade of an ideal greater than the projective dimension of quotient of another one

We know that the grade of an ideal $I$ in a Noetherian ring $R$ is the infimum of the set of all $i$ with $Ext^i(R/I,R)$ nonzero. Also, the projective dimension of an $R$-module $M$ is at most $s$ if ...
1
vote
1answer
128 views

What can we say about groups $G$ with $H_3(G)=0$?

Let $G$ be a group. What can we say about groups such that $H_3(G)=0$? If a characterization is not possible, then knowing examples of such groups would be good? Any help is appreciated. Thanks
4
votes
1answer
63 views

Homological algebra (homotopical approach)

I have gone through a couple of courses in homological algebra, in the context of derived functors, abelian categories,... Now I would like to watch it from another perspective: my main interest is ...
1
vote
2answers
92 views

Soft sheaves adapted to $f_!$

I'm reading Gelfand-Manin, Homological Algebra. I understand that the class of soft sheaves is sufficiently large, because every injective sheaf is soft. Now to see that this class is adapted to ...
5
votes
1answer
59 views

From a vector bundle to a Koszul complex

Let $k = \mathbb C$. Given a commutative $k$-algebra $A$, an $A$-module $M$ and a homomorphism of $A$-modules $s:M \to A$, we can construct the Koszul dg algebra. $$K(A,M,s) = \wedge^{-\!*}_A(M)$$ ...
0
votes
2answers
79 views

$\operatorname{Ext}^0$ for free resolutions

I am studying homological algebra for an exam in algebraic topology, and I was wondering: Let $H,G$ be two abelian groups. What is $\operatorname{Ext}^0(H;G)$? Now here's what I have done: We ...
0
votes
3answers
59 views

$\mathbb{Z}/n\mathbb{Z}$ projective as $\mathbb{Z}/n\mathbb{Z}$-module

$\mathbb{Z}/n\mathbb{Z}$ as $\mathbb{Z}$-module is not projective because isn't torsionfree, but is projective as $\mathbb{Z}/n\mathbb{Z}$ module ?
1
vote
0answers
35 views

Pushout and pullback of short exact sequence of groups

I think that there might be some textbooks which introduce the notions of pushout and pullback of a short exact sequence of groups. However, I cannot find any of them. To be precise, for a given ...
1
vote
1answer
39 views

computation of a group homology

A few days ago, I asked a question about a group homology, and it was actually easy. I am continuing computing group homologies, but I am stuck on this: $H_*^{\textrm {grp}}(T, \mathbb{Z}) = ...
5
votes
1answer
82 views

(Co)homology of free symmetric algebra

Let $V$ be a (co)chain complex, and let $Sym(V)$ be the free differential graded-commutative algebra generated by $V$. Definition and examples below in case you don't know what I mean. Question: ...
4
votes
1answer
89 views

Two definitions of homology

Let $f,g$ be arrows in an abelian category such that the composite $gf$ is defined and is given by the zero arrow. I shall try to find a definition for the quotient $\ker g /\operatorname{im} f$, ...
0
votes
1answer
37 views

Relation between faithfully flatness and map of $Spec$

I'm stuck on this exercise ( from Bosch ) : Let $\phi :R \to R' $ a flat ring morphism. Show that $\phi$ is faithfully flat if and only if the associated map $Spec(R') \to Spec(R)$ , ...
1
vote
0answers
27 views

a group homology computation

I was assigned to compute the group homology of $\mathbb{Z}^k$ with $\mathbb Z$ as coefficient ring(with the trivial action): $H_*(\mathbb{Z}^k, \mathbb{Z})$. I know that $H_*(\mathbb{Z}^k, ...