All Questions
Tagged with homological-algebra abelian-categories
33 questions with no upvoted or accepted answers
12
votes
0
answers
814
views
Why do some tricks in homological algebra work over the category of C*-algebras?
The category of $C^*$-algebras is not abelian (a "proof" that it is pre-abelian can be found here, but it does not seem correct; I can't find any authoritative sources). However, it's ...
- 1,094
12
votes
0
answers
917
views
Are the Alexander-Whitney and Eilenberg-Zilber maps homotopy inverse in arbitrary abelian categories?
Let $\mathcal{A}$ be a monoidal abelian category. Let $A$ and $B$ be simplicial objects in $\mathcal{A}$, and let $N_\ast(-)$ denote the normalized chain complex functor. Let
$$AW_{A,B}\colon N_\ast(...
- 721
12
votes
0
answers
433
views
Abelian categories have become the language of homological algebra. Why haven't Zariski categories become the language of commutative algebra?
I'm not seeing much mention of Zariski categories in the literature. There is no article on Zariski categories in nLab, which would seem to be an obvious place to have such an article. What has ...
- 629
11
votes
0
answers
121
views
Description of the canonical equivalence between Adelman's free abelian category and Freyd's free abelian category on an additive category?
Let $\mathcal A$ be an additive category. Then there is a free abelian category $F(\mathcal A)$ on $\mathcal A$. I'm aware of two constructions in the literature, and I'd like to relate them.
The ...
- 63.9k
11
votes
0
answers
818
views
How to compute Ext-groups for categories without enough injectives/projectives?
I am studying a category of representations of an infinite-dimensional Lie algebra, which is an abelian category. Unfortunately, the category does not have enough injectives/projectives. I would ...
- 507
8
votes
0
answers
275
views
Is every $R^iF(M)$ isomorphic to some $F(N)$?
Let $A$ and $B$ be abelian categories. Assume that $A$ has enough injectives. Is there a "useful" (take that to mean what you will) condition on $A$ and $B$ such that the following is true?
For all ...
- 3,079
7
votes
0
answers
97
views
Is the double orthogonal of a localizing Serre subcategory still a localizing Serre subcategory?
Let $R$ be an unital ring and consider the category of left $R$-modules $R$-Mod. We call a full subcategory $\mathcal{W}\subset R$-Mod a localizing Serre subcategory if $\mathcal{W}$ is closed under ...
- 9,019
6
votes
0
answers
230
views
Relation between extensions and filtrations
We work in an Abelian category. Consider Yoneda extensions, i.e., the Abelian groups Ext$^n(C,A)$ consisting (for $n \ge 1$) of equivalence classes of exact sequences starting at $A$ and ending at $C$ ...
- 533
6
votes
0
answers
313
views
Extension to a right exact functor
Setup. Let $k$ be a field, $\mathcal{C}$ be a $k$-linear abelian category, $\mathcal{D}$ an arbitrary $k$-linear category. Let $\mathcal{C}'$ be a full subcategory of $\mathcal{C}$ with the following ...
- 63.1k
5
votes
0
answers
112
views
Finitely generated projective modules over Noetherian endomorphism ring
Let $\mathcal A$ be a locally Noetherian Grothendieck abelian category and $M\in \mathcal A$ be a Noetherian object. Set $B:=\text{End}_{\mathcal A}(M)$. Let $B$-mod be the category of finitely ...
- 413
5
votes
0
answers
361
views
On a simple alternative correction to Roos' theorem on $\varprojlim^1$
Here is a discussion about an incorrect theorem of Roos, later corrected, some counterexamples and so on. Reading over this, I was a bit shocked because it contradicted something from Weibel's ...
- 1,021
5
votes
0
answers
230
views
Is there a way to “derive” a (non-exact) functor which preserves images?
Let $F : \mathcal A \to \mathcal B$ be an additive functor between abelian categories. If $F$ is left exact, then under certain conditions $F$ admits right derived functors which “measure” its failure ...
- 63.9k
5
votes
0
answers
348
views
A 2-category of abelian categories?
Is there a reasonably well-behaved $2$-category of abelian categories, and if so, what are its objects (perhaps one needs to restrict one's attention to finite abelian categories ?), $1$-morphisms (...
- 1,516
5
votes
0
answers
190
views
On the not so clear relationship between torsion theories and localization for a newcomer
Given an hereditary torsion theory $(\mathcal{T}, \mathcal{F})$ on an abelian category $\mathcal{A}$, how we can relate this to a localization (i.e Ore localization). This is mentioned with not so ...
- 83
5
votes
0
answers
158
views
On existence of finitely generated projective generator with commutative endomorphism ring in ${}_R Mod$
Let $R$ be a ring with unity (not necessarily commutative). Let ${}_R Mod$ be the category of left $R$-modules. If ${}_R Mod$ has a projective generator with commutative endomorphism ring , then does $...
- 1,209
5
votes
0
answers
300
views
Can we obtain a derived category from an additive category? Like a category of Banach modules?
Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...
- 211
4
votes
0
answers
157
views
Is taking Freyd envelopes adjoint to taking stable module categories?
Let $T$ be an (idempotent-complete) triangulated category. Then the Freyd envelope $mod(T)$ is an abelian category, the universal recipient of a homological functor $T \to mod(T)$. The Freyd envelope ...
- 63.9k
4
votes
0
answers
102
views
Derived category supported in a Serre subcategory of a locally noetherian category
This is a cross-post from math.stackexchange at https://math.stackexchange.com/questions/4251692/derived-category-supported-in-a-serre-subcategory-of-a-locally-noetherian-catego, since I didn't get ...
- 41
4
votes
0
answers
195
views
Example of pseudocoherent complex which is not locally quasi-isomorphic to a strict pseudocoherent one
I ask this question here even if I posted it also on math.stackexchange (recieving no answer so far) because I have read some analogous question but for perfect complexes on this site, even though ...
- 351
4
votes
0
answers
173
views
Do we have criteria of strict localization of a Grothendieck category?
Let $\mathcal{C}$ be an abelian category and $\mathcal{S}$ be a full subcategory of $\mathcal{C}$. We call $\mathcal{S}$ a Serre subcategory of $\mathcal{C}$ if $\mathcal{S}$ is closed under ...
- 9,019
3
votes
0
answers
160
views
Does a functor preserving injectives also preserve K-injective complexes?
Let $F:A\to B$ be an exact functor of Grothendieck abelian categories. If $F$ preserves injective objects, then does the exact functor $F:K(A)\to K(B)$ preserves K-injective complexes?
For example, ...
- 615
3
votes
0
answers
215
views
Baer sum and endomorphisms
I work in an Abelian category. If I take the Baer sum $M' + M''$ of two extensions $M'$ and $M''$ of $
M_2$ by $M_1$, i.e.,
$$ 0 \to M_1 \to M' \to M_2 \to 0$$
is exact, and the same for $M''$, then ...
- 533
3
votes
0
answers
561
views
Tensor product of pullbacks of abelian categories
Does the tensor product of abelian categories commute with pullbacks? In more detail:
Let $k$ be a field. We consider $k$-linear small abelian categories $\mathcal{B},\mathcal{A}_0,\mathcal{A}_1,\...
- 63.1k
2
votes
0
answers
121
views
Extensions in a full subcategory
Let $\mathcal{C}$ be an abelian category (feel free to put more adjectives here) and $\mathcal{D}$ a full abelian subcategory closed under kernels and cokernels.
Then by definition for $A,B\in \...
- 309
2
votes
0
answers
195
views
Small abelian categories and module categories - preservation of injective and projective objects
A soft question on small abelian categories:
https://en.wikipedia.org/wiki/Grothendieck%27s_T%C3%B4hoku_paper
Wikipedia: "The article "Sur quelques points d'algèbre homologique" by ...
user122276
2
votes
0
answers
116
views
Functors with adjoints
I want to find a functor between abelian categories, which is faithful but not full. And this functor has left and right adjoint. I want to know a nontrivial example,which is not inducecd by a ring ...
- 169
2
votes
0
answers
53
views
Eilenberg–Zilber-type theorem for Map([n],A), where the degeneracy maps for [n] are forgotten
The following statement should be immediately implied by Eilenberg–Zilber theorem if the sequences $(i_0,\ldots,i_k)$ below are only monotone. But I need the strict monotone version which I believe to ...
- 461
2
votes
0
answers
104
views
Quotient categories and essential extension
Let $A$ be a right Noetherian positively graded ring. Let $Gr(A)$ be the category of right graded $A$-modules, and $Tors(A)$ be the full subcategory of $Gr(A)$ of torsion modules. Let $QGr(A)$ be the ...
- 141
2
votes
0
answers
947
views
Additive functors preserving quasi-isomorphism
Let $F: \mathcal{A} \rightarrow \mathcal{B}$ be an additive functor between abelian categories (with enough injectives and projectives) and $K^\cdot, L^\cdot$ objects of $\textrm{Ch}(\mathcal{A})$. ...
- 3,555
1
vote
0
answers
54
views
contravariant finiteness and limit closure: is there dual to a result of Crawley-Boevey?
Let $\mathcal A$ be a locally finitely presented category. Theorem 4.2 of https://doi.org/10.1080/00927879408824927 says that given a full additive subcategory $\mathcal D$ of finitely presented ...
- 480
1
vote
0
answers
174
views
Characterization of weakly convergence of spectral sequences
Let $C$ be a chain complex (in any abelian category) and let $\{F_p\}$ be a decreasing filtration of $C$. It induces a filtration on the homologies of $C$, given by $$F_pH=im(H(F_p)\rightarrow H(C)),$$...
- 183
1
vote
0
answers
179
views
Injective envelope in the category of left exact functors
Let $\mathcal{A}$ be an Abelian category. $\mathcal{L}$ is the category of
absolutely pure objects of $\mathcal{A}$ and $\mathcal{L}(\mathcal{A})$ is the category of the exact left functors of $\...
- 31
0
votes
0
answers
108
views
Connecting homomorphism and Baer sum in an abelian category
I would like to prove that the connecting homomorphism $\delta \colon \mathrm{Hom}_{\mathcal{A}}(N,M_3) \to \mathrm{Ext}_{\mathcal{A}}(N,M_1)$ from part (2) of Lemma 12.6.4 of the Stacks Project is ...
- 237