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
21 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 ...
8
votes
2answers
398 views

Vanishing of a certain Tor

I am reading about the construction of the Affine Grassmannian in Dennis Gaitsgory's seminar notes and there are some commutative algebra facts that I am not able to figure out by myself apparently, ...
0
votes
1answer
33 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
52 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
49 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
0answers
115 views

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 ...
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$. ...
11
votes
1answer
385 views

What are $E_\infty$-rings?

I've been working with DG-algebras for the last year, and was able to obtain using them some nice commutative homological algebra results. However, I keep hearing about a (more general???) concept of ...
5
votes
0answers
54 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
21 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
127 views

Splitting short exact sequence of space groups

I want to prove the following: Assume we have two space groups $G,G^\prime \subseteq \text{Euc}(V) \subseteq \text{Aff}(V)$ which are affinely equivalent, $G \sim G^\prime, \; \text{ i.e. }\; ...
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} $ ...
3
votes
4answers
71 views

Proving that P/PJ is a projective right module over R/J

If P is a projective right module over a ring R and J is a two sided ideal of R. Prove that P/PJ is a projective right module over R/J . My idea was trying to proof that " $M$ is an $R$-module ...
2
votes
0answers
40 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 ...
3
votes
1answer
245 views

Projective resolution of tensor product

Let $M,N$ are $R$ modules and $P^\bullet, Q^\bullet$ are their projective resolutions. Can we obtain projective resolution $M\otimes N$ using $P^\bullet, Q^\bullet$. If i understand correctly homology ...
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
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 ...
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 ...
7
votes
1answer
471 views

Equivalences and isomorphisms of short exact sequences

In case it's necessary, I'm working in the category $\mathbf{Ab}$ of abelian groups. My question concerns what I find to be a strange way of viewing the elements of the Ext group $\mbox{Ext}(A,B)$ of ...
6
votes
1answer
198 views

Does maximal Cohen-Macaulay modules localize?

Let $A$ be a Noetherian local ring and $M$ a finitely generated $A$-module such that $$\operatorname{depth}M= \dim M=\dim A.$$ I can prove that $$\operatorname{depth}M_{\mathfrak{p}}= \dim ...
0
votes
2answers
56 views

Show that Q, as a Z module, is a direct summand in a direct product of copies of Q/Z.

Prove:Q, as a Z module, is a direct summand in a direct product of copies of Q/Z. This is a problem from P.J.Hilton&Stammbach's Homological Algebra. If this is true, then there exists a ...
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 ...
2
votes
2answers
108 views

Examples of Noetherian local rings which are not Gorenstein

Can anyone give me an example of a Noetherian local ring which is not a Gorenstein ring?
5
votes
1answer
116 views

On Gorenstein ring of dimension zero

Let $R$ be an Artinian local ring. Then $R$ is a Gorenstein ring (i.e., $R$ is an injective $R$-module) iff for any ideal $I$ of $R$, Ann$($Ann$(I))=I$. Why? (We call $R$ Gorenstein if injective ...
0
votes
1answer
87 views

Localization of Gorenstein ring

Let $R$ be a Gorenstein local ring and $S=R \setminus Z(R)$. I want to prove $S^{-1}R =⊕_{ht\ p=0} R_p$ and $S^{-1}R$ is injective $R$-module. I can see the above $p$'s are minimal, $id_{R_p} R_p=0$ ...
1
vote
1answer
67 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 ...
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
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 ...
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 ...
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 ...
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 ...
6
votes
1answer
114 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 ...
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 ...
1
vote
1answer
44 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 ...
6
votes
1answer
130 views

The projective model structure on chain complexes

Let $\mathcal{A}$ be an abelian category with enough projective objects and let $\mathcal{M}$ be the category of chain complexes in $\mathcal{A}$ concentrated in non-negative degrees. Quillen [1967, ...
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 ...
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 ...