The homological-algebra tag has no wiki summary.

**3**

votes

**0**answers

225 views

### Rejects and injectives

Let $A$ be any ring and consider modules on the left. For $M$ $A$-module, the trace $Tr(M,A)$ is a two-sided ideal of $A$. If $A$ is a unitary ring then:
$Tr(P,A)P=P$, for $P$ projective;
...

**3**

votes

**0**answers

180 views

### Cisinski-Deglise model structure on chain complexes

Let $\newcommand{\A}{\mathscr{A}}\A$ be a grothendieck abelian category. In their paper "Local and stable homological algebra in grothendieck abelian categories", Cisinski and Déglise define the ...

**1**

vote

**0**answers

99 views

### A Isomorphism between the extension group and cohomology group of Lie algebras [closed]

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...

**5**

votes

**1**answer

112 views

### Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it:
The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...

**6**

votes

**1**answer

174 views

### Does the forgetful G-Groups to Groups (nonabelian) have a left adjoint?

Motivation
For a fixed group $G$, consider the category of $G$-groups, whose objects consist of (not necessarily abelian) groups $A$ together with an action $G\to \mathrm{Aut}(A)$. Now we can ...

**7**

votes

**1**answer

277 views

### Quasi-isomorphisms in exact categories

I am trying to understand quasi-isomorphisms in an exact category as defined via the mapping cylinder. I would like to know whether these form a category of weak equivalences in the sense of ...

**1**

vote

**2**answers

202 views

### Decomposition of a quotient module

Let $R=k[v,x,y,z]/I$, with $I=\langle v^2,z^2,xy,vx+xz,vy+yz,vx+y^2,vy-x^2\rangle$,and let
$f:R^2 \rightarrow R^2$ denote the map given by the matrix
$$M=\begin{pmatrix}
v & y \\
x & z
...

**5**

votes

**1**answer

295 views

### Computing Ext in Exterior algebra (related to Koszul duality)

Let $V = \mathbb{C}^n$, $A = \Lambda^{\bullet}(\mathbb{C}^n)$ is a graded algebra (with $A_0 =
\mathbb{C}, A_1 = V$, etc).
Consider $A_0$ as a left $A$-module, how do we compute the graded ring ...

**3**

votes

**3**answers

266 views

### When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also?
I would be interested in any necessary or sufficient ...

**11**

votes

**1**answer

270 views

### When is Ext*(M,N) finitely generated as a Ext*(M,M) module?

Let A be a finite dimensional algebra over a field k and M,N a finitely generated A-module.
Im searching for examples where the module $ Ext^{o} (M,N) $ is a finitely generated $ Ext^{o}(M,M) $ ...

**3**

votes

**1**answer

141 views

### Non-degeneracy of cup products on Tate-cohomology groups

I am working on a paper of R.P Langlands called "Representations of abelian algebraic groups", available here: http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf
Now on page ...

**7**

votes

**2**answers

476 views

### Properties of quotient categories.

I asked this on math.stackexchange.com, but didn't get any answer.
Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre/thick/dense ...

**2**

votes

**1**answer

158 views

### Is there an $A$ such that $B$ injective iff 1st Ext functor vanishes?

In the category of $\mathbb{Z}$-modules, there exists a module $A$---for instance $\bigoplus_{k=2}^\infty \mathbb{Z}/k\mathbb{Z}$---such that a $\mathbb{Z}$-module $B$ is injective iff ...

**1**

vote

**0**answers

122 views

### When does Ext^2 vanish in a category of group representations.

Let $G$ be a linear algebraic group over field $k$ of characteristic zero. It is well known that the category of finite dimensional $k$--linear representations of $G$ is abelian, and that it is ...

**1**

vote

**0**answers

146 views

### Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes in $\mathcal A$.
Is ...

**3**

votes

**2**answers

140 views

### Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over
the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given
by
$V \otimes W:= \oplus_{j\in ...

**1**

vote

**0**answers

110 views

### Why are the left exact functors from an abelian category to abelian groups cocomplete and have a injective generator?

Let $\mathcal{C}$ be an abelian category, $\mathcal{Ab}$ the category of abelian groups and $Lex(\mathcal{C}, \mathcal{B})$ the category of left exact functors between abelian categories.
What is the ...

**1**

vote

**2**answers

136 views

### Why every complex of injectives is homotopically injective (provided that, the injective dimension is finite)?

Let $\scr A$ be an abelian category with exact products and a cogenerator (e.g. $\scr A$ is a category of modules). Let ${\mathbf K}(\scr A)$ be the homotopy category of cochain complexes over $\scr ...

**4**

votes

**2**answers

358 views

### Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings.
As far as I understand, in various generalizations of this situation, such a map is called smooth if $B$ ...

**1**

vote

**1**answer

293 views

### Drect limit of sequences

Let $\mathcal{C}$ is a grothendiect category and consider all of what follows in $\mathcal{C}$.
Let $$\{\varepsilon_i: 0\to A_i \to B_i \to C_i\to 0\ ,\ \phi_i^j\}$$ be a direct system of
short ...

**3**

votes

**0**answers

101 views

### minimal model of $A_\infty$ structure

Hi all,
I am reading about minimal model of $A_\infty$ structure. So far, I find two different ways of the construction, given by Kadeishvili and Kontsevich, Soibelman.
1) The construction of these ...

**4**

votes

**0**answers

175 views

### Computation of Ext(Z^N,Z)

What is $Ext_{\mathbb Z}^1 (\mathbb Z^{\mathbb N},\mathbb Z)$, where $\mathbb Z^{\mathbb N}$ stands for the infinite product $\prod_{n \in \mathbb N} \mathbb Z$?

**0**

votes

**0**answers

193 views

### Homology of the dg-nerve vs Hochschild homology of the dg-category

Lurie in Higher Algebra, section 1.3 associates a quasi-category to a dg-category A via the so called dg-nerve construction, extending the classical nerve. I have a feeling the homology of the ...

**2**

votes

**1**answer

300 views

### An example of a tensor product consisting of only simple tensors?

Hy guys. I'm doing some independent analysis which makes use of the tensor product of modules (over commutative rings with unit 1, and ring homomorphisms map $1 \mapsto 1$). Let $\pi: A' \to A$ be a ...

**1**

vote

**1**answer

267 views

### A computation by the Shapiro Lemma

Hi:
When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that
"Shapiro's Lemma tell us that
$H_q(S_n(X)\otimes_{Z}A)$ is zero if $q\neq 0$ and is ...

**3**

votes

**2**answers

301 views

### Why is $Lex(\mathcal{A},\mathcal{Ab})$ abelian? Does $Lex(\mathcal{A},\mathcal{Ab})\rightarrow Func(\mathcal{A},\mathcal{Ab})$ admit a left-adjoint?

What is the best way to show, that $Lex(\mathcal{A},\mathcal{Ab})$ is abelian, where $\mathcal{A}$ is an abelian category and $\mathcal{Ab}$ is the category of abelian groups from scratch?
There is ...

**2**

votes

**0**answers

148 views

### Coordinate free Koszul-Tate resolution

Tate's original construction of the Koszul-Tate resolution involved choosing cocycles representing the cohomology to be killed. Where is it written in a coordinate free treatment, perhaps via a ...

**1**

vote

**1**answer

196 views

### Cup-products and Transgression maps.

This question is related to Lyndon-Hochschild-Serre spectral sequence and cup products.
I have the followin result by J.S Milne in his book Arithmetic duality theorems pg 105.
Let $$0 \rightarrow C ...

**1**

vote

**0**answers

98 views

### Explicit transgression maps for Group homology in LHS

This question is related to another question of mine (Here: Lyndon-Hochschild-Serre spectral sequence and cup products).
I'm trying to figure out if some diagram commutes an one of the maps involved ...

**6**

votes

**0**answers

305 views

### Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup:
Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...

**2**

votes

**1**answer

144 views

### Compatibility of connecting homomorphisms for Tor/Ext

This is a simple question about Tor and Ext functors.
Let $R$ be a commutative ring, and let $0 \to M' \to M \to M'' \to 0$ and $0 \to N' \to N \to N'' \to 0$ be short exact sequences of $R$-modules. ...

**0**

votes

**0**answers

122 views

### Split and pure exact sequence of sheaves

Let $X$ be a topological space and
$$\varepsilon \ :\ 0 \to A \to B \to C \to 0$$
be an exact sequence of sheaves of ${\cal O}_X$-modules. $\varepsilon$ is said to be pure if
for each point $x\in ...

**0**

votes

**2**answers

329 views

### Is this square a push-out square?

Consider the following diagram which lives in the category of $R$-modules.
$$
\begin{array}{ccccccccc}
0 & \xrightarrow{i} & A & \xrightarrow{f} & B & \xrightarrow{q} & C ...

**3**

votes

**1**answer

222 views

### Resolutions chain homotopic to projective ones

Motivation. In my research I have a situation where a monoid $M$ is acting by nice cellular maps on a contractible cell complex and so the augmented chain complex is a resolution of the trivial module ...

**4**

votes

**2**answers

232 views

### the first cohomology group of units of biquadratic number fields

Let $k=\mathbb{Q}(\sqrt{d_1}, \sqrt{-d_0})$, be an imaginary biquadratic number field and $H^1(G, U_k)$ the first cohomology group with $G=\mathrm{G}al(k/\mathbb{Q})$ and $U_k$ is the unit group of ...

**1**

vote

**1**answer

245 views

### Coequalizer in category of dg-algebras

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to ...

**4**

votes

**4**answers

197 views

### Stratifications and Cohomology Computations

I am interested in references and suggestions concerning the use of stratifications in topology to inductively compute topological invariants. I would appreciate a fairly introductory reference on the ...

**3**

votes

**0**answers

136 views

### Repeated Homotopy Category of Chain Complexes

Consider an additive category $\mathcal{C}$. It is known that the category $Ch(\mathcal{C})$ of chain complexes in $\mathcal{C}$ is again an additive category and hence one can consider the category ...

**8**

votes

**2**answers

532 views

### H^d[U(1)^n,U(1)] of the Borel cohomology and Chern-Simons theory

Firstly I apologize that I am a physicist, with a relatively unrigorous math training. My approach of the problem can be Feynman style. Below $Z$ is the integer $\mathbb{Z}$, and $U(1)$ Abelian group ...

**0**

votes

**2**answers

141 views

### Flatness and tensor product of rings

Let $R_1$ and $R_2$ be two subrings of the ring $R$ which commute in $R$ so that we have a ring homomorphism $R_1\otimes_\mathbb{Z} R_2\rightarrow R$. Assume that $R$ is flat over $R_1$ and $R_2$. Is ...

**9**

votes

**1**answer

414 views

### Examples of applications of the Freyd-Mitchell embedding theorem.

The Freyd-Mitchell embedding theorem states the following:
Let $\mathcal{A}$ be a small abelian category. There exists a unital ring $R$ and a full, faithful and exact functor ...

**1**

vote

**0**answers

84 views

### Cocompleteness of the category of small $A_\infty$ categories

To follow up on my previous question, is the category of small $A_\infty$ categories even cocomplete? Looking for reference.

**0**

votes

**2**answers

308 views

### An exercise about Tor [closed]

Let $I$ and $J$ be two ideals in $A$. Show that
$\operatorname{Tor}_{1} (A/I, A/J) =\frac {I \cap J} { IJ} $
and
$Tor_{2} (A/I, A/J) =\ker(I \otimes_ {A}J \to IJ )$.
The first Tor is not a ...

**9**

votes

**0**answers

250 views

### Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...

**2**

votes

**0**answers

151 views

### About free resolutions of graded commutative algebras

Hi, I'm having troubles in adapting certain algebraic constructions to graded cases.
We know that if $A$ is a commutative ring and $a_1,...,a_k$ are elements on $A$, there is a construction of the ...

**13**

votes

**1**answer

604 views

### What is the purpose of section 3 of BBD?

I am not quite sure that this question is appropriate for Mathoverflow, yet I would be deeply grateful for any hint: what happens in section 3 of Beilinson A., Bernstein J., Deligne P., Faisceaux ...

**3**

votes

**1**answer

254 views

### Commutativity of Tor

Let $A$ be a commutative ring with $1$ and $M,N$ be $A$-modules. Can you give a quick proof that $\textrm{Tor}_i(M,N) \cong \textrm{Tor}_i(N, M)$ using derived categories?
In his Homological algebra ...

**4**

votes

**1**answer

253 views

### Additive functors and Derived Categories

I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F ...

**5**

votes

**2**answers

376 views

### Are subfunctors of left exact functors also left exact?

Consider the direct image functor $f_*: Sh(X) \rightarrow Sh(Y)$, let $X$ and $Y$ be topological spaces, let $f: X \rightarrow Y$ be a continuous map, let $G \in Sh(X)$ be a sheaf. I was reading this ...

**1**

vote

**1**answer

314 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 ...