Questions tagged [abelian-categories]
The abelian-categories tag has no usage guidance.
251
questions
9
votes
1
answer
592
views
What are abelian categories enriched over themselves?
As far as I understand, an arbitrary abelian category is not enriched over itself, for example, $\mathrm{ChainComplex}(\mathrm{Ab})$ is, right? On the other hand, the categories $\mathrm{Mod}(R)$ (in ...
- 6,484
5
votes
0
answers
106
views
Indecomposable objects in iterated functor categories
Let $\mathcal{O}$ be a DVR with a uniformizer $\pi$ and a finite quotient field $\mathbb{F}_q=\mathcal{O}/\pi$. Write $\mathcal{O}_r = \mathcal{O}/(\pi^r)$. Fix now an integer $r\geq 2$. We define ...
- 4,979
7
votes
1
answer
271
views
Is any abelian category a subcategory of $\mathrm{Ab}^I$?
Motivation: define a concrete Abelian category as a category with a univalent and injective functor in $\mathrm{Ab}^I$ (such that all homological concepts in it coincide with simple set-theoretic ...
- 6,484
5
votes
0
answers
176
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
2
votes
0
answers
120
views
When semi-simple subcategories "extend" to hearts of t-structures?
Let $A$ be a semi-simple abelian subcategory of a triangulated category $C$ that "generates" $A$ (that is, $C$ equals its own smallest triangulated subcategory that is closed under direct ...
- 16.5k
3
votes
1
answer
165
views
Is this concept of a left-abelian category studied?
A category is abelian if it is preadditive and
it has a zero object,
it has all binary biproducts,
it has all kernels and cokernels, and
all monomorphisms and epimorphisms are normal.
Now we ...
- 1,023
4
votes
1
answer
235
views
When is a thick subcategory the preimage of a weak Serre class under a homological functor?
Let $\pi : \mathcal T \to \mathcal A$ be a homological functor from a stable / triangulated category to an abelian category, and let $\mathcal C \subseteq \mathcal A$ be a weak Serre subcategory. Let $...
- 61.5k
3
votes
1
answer
126
views
A non-projective rigid object in an abelian monoidal category
What is an example of a rigid object $A$ in an abelian monoidal category $\mathcal{M}$ that is not projective as an object in $\mathcal{M}$? (Since $\mathcal{M}$ is abelian projective just means that ...
- 435
4
votes
0
answers
89
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
3
votes
0
answers
75
views
A question about simple and finitely-generated objects in Grothendieck categories
Let $\mathcal{E}$ be a Grothendieck category and consider the following conditions:
(LFG) $\mathcal{E}$ is locally finitely generated (that is, the finitely generated objects of $\mathcal{E}$ generate ...
- 710
5
votes
0
answers
154
views
Extension groups in quotient categories
Let $\mathcal{A}$ be an abelian category and let $\mathcal{B}$ be a Serre subcategory of $\mathcal{A}$. We can form the quotient category $\mathcal{A}/\mathcal{B}$, and the canonical functor $Q:\...
- 1,479
2
votes
0
answers
119
views
A finiteness condition for Grothendieck categories
Let $\mathcal{E}$ be a locally finitely generated Grothendieck category. Let us say that an object $X$ of $\mathcal{E}$ is finitely cogenerated if every set of subojects of $X$ whose intersection is ...
- 710
3
votes
1
answer
199
views
Category of modules over internal monoid is abelian
I have asked the following question on MSE a few days ago, but without any success.
I am interested in proving the following statement:
Let $\mathcal{A}$ be a tensor category. Then the category of ...
- 275
4
votes
1
answer
312
views
In a category with a projective generator, do morphisms from the generator determine the object?
I have a cocomplete abelian category $\mathcal C$ and two objects $X$, $Y$ in $\mathcal C$.
Further, $\mathcal C$ has a projective generator $P$. I have an isomorphism
$$ \mathcal C(P,X) \cong \...
- 131
2
votes
0
answers
106
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 \...
- 181
2
votes
0
answers
191
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
8
votes
1
answer
253
views
Bounds on homological dimension of functor categories
Let $A$ be a Grothendieck abelian category. I will say that $A$ is of global dimension less or equal to $n$ if $Ext^{k}_{A}(a, b) = 0$ for $k > n$ and all $a, b \in A$. This is equivalent to saying ...
- 2,157
4
votes
0
answers
112
views
How can one characterize categories of exact functors?
Does there exist any intrinsic characterization of additive categories equivalent to $\operatorname{Ex}(A,Ab)$, that is, of exact functors from a small abelian category $A$ into abelian groups? Any ...
- 16.5k
8
votes
1
answer
312
views
Filling square to push-out in abelian category
Let $\mathcal{C}$ be an abelian category. In $\mathcal{C}$ we consider the diagram
\begin{array}{ccc}
A&&\\\
\downarrow&&\\\
C&\rightarrow&D
\end{array}
with arrows being ...
- 463
2
votes
1
answer
124
views
Methods for finding complex for subobjects of homology
Let $\mathcal{C}$ be an abelian category and
$$ C_\bullet:C_n \rightarrow C_{n-1}\rightarrow \ldots \rightarrow C_1\rightarrow C_0$$
a complex in $\mathcal{C}$. Suppose we have for each $i$ a ...
- 463
9
votes
1
answer
1k
views
Functorial kernel in derived category
By the work of Verdier, we know that cones in a triangulated category $\mathcal{T}$ are functorial if and only if $\mathcal{T}$ is semisimple abelian. However, in these notes, it is said that
In the ...
- 4,246
2
votes
1
answer
247
views
How to use $5$-lemma to prove that $F(M) \otimes_RM' \overset{\simeq}{\longrightarrow} F(M \otimes_R M') $ is a (natural) isomorphism?
I am describing the question details, though the main question is short as below.
Let $O$ be the ring of integers of the finite extension $K$ of the $p$-adic field $\mathbb{Q}_p$. Let $R$ be a finite $...
- 870
5
votes
0
answers
223
views
Derived category of an abelian monoidal category
For any abelian category $\mathcal{A}$, we can consider its derived category $\mathcal{D(A)}$, which is naturally triangulated. If $\mathcal{A}$ is endowed with a monoidal structure (bilinear with ...
- 203
7
votes
1
answer
840
views
When is the category of finitely presented modules abelian?
Let $R$ be an associative ring with identity and $\mathrm{mod}R$ be the category of finitely presented $R$-modules. I would like to know when the category $\mathrm{mod}R$ is abelian.
I know that if $R$...
- 75
19
votes
1
answer
461
views
Vopěnka's principle and contravariant full embeddings between module categories
I was recently reminded about this old question on math.stackexchange.
Let $\operatorname{Mod}R$ be the category of (right) modules for a ring $R$. The questioner mistakenly thought that the Freyd-...
- 33.9k
0
votes
0
answers
92
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
2
votes
0
answers
138
views
Subclasses of abelian categories, that are closed under extensions and their complement as well and a construction of torsion pairs using them
Let $\mathcal{A}$ be a length abelian category. A subclass $\mathcal{S}$ of $\mathcal{A}$ is called super-closed if $0\in \mathcal{S}$, $\mathcal{S}$ is closed under extensions and $\mathcal{A}\...
- 1,023
3
votes
0
answers
118
views
Is the category of Yetter-Drinfeld modules abelian?
Is $YD(H)$ the category of Yetter--Drinfeld modules over a Hopf algebra (defined over a field $k$) necessarily abelian? If not then what is the simplest example of a Hopf algebra $H$ for which $YD(H)$ ...
- 1,144
6
votes
1
answer
1k
views
Categorical presentation of direct sums of vector spaces, versus tensor products
My apologies in advance if this question is to vague, but here goes.... In the category of vector spaces, products are given by direct sums. In general category theory, the existence of products is a ...
- 1,144
4
votes
0
answers
190
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
5
votes
1
answer
278
views
Which abelian categories possess an exact faithful functor into abelian groups that respects products?
Let $A$ be an abelian category closed with respect to small coproducts (that is, and AB3 category). Which assumptions are sufficient to ensure the existence of an exact faithful functor from $A^{op}$ ...
- 16.5k
9
votes
1
answer
442
views
From Topoi to Grothendieck categories
This question is mostly about a reference request. Let $\mathcal{E}$ be a Grothendieck topos. I am looking for a reference of the following two facts. I am aware that $(2) \Rightarrow (1)$ by Gabriel-...
- 8,186
3
votes
1
answer
308
views
Is every middle exact functor a derived functor?
Assume for the sake of simplicity we are working with categories of modules over some ring. Call a functor $F$ middle exact if for an exact sequence $ 0 \to A \to B \to C \to 0 $, we have that $FA \to ...
- 933
2
votes
0
answers
114
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
7
votes
1
answer
243
views
Existence of eigenvalues in a k-linear abelian category
I cannot find any categorical definition of an eigenvalue, so I ask this question. Let $\mathbb{k}$ a be a field and $\mathcal{C}$ be a $\mathbb{k}$-linear abelian category. Let $f: X \rightarrow X \...
- 229
8
votes
0
answers
266
views
Grothendieck axioms and sheaf categories
An abelian category, $A$, is said to satisfy axiom AB6 if for every family of filtered diagrams $I_j$ indexed by a set $J$, the canonical map $\mathrm{colim}_{\prod_{I_j}}(\prod_j M_{ij}) \to \prod_J \...
- 4,064
11
votes
1
answer
295
views
Do the isomorphism classes of indecomposable objects in $R{\text{-mod}}$ form a set?
Let $R$ be a unital (associative) ring. Consider the category $R\text{-mod}$ of unitary left $R$-modules. Set $\text{Indec}(R)$ to be the class of all isomorphism classes of indecomposable objects ...
- 507
2
votes
0
answers
51
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
4
votes
0
answers
178
views
additivity of trace with respect to short exact sequences
Let $\mathcal{C}$ be an abelian rigid symmetric monoidal category over a field $K$. Assume that the endomorphism ring of the tensor unit in $\mathcal{C}$ is $K$. If $X$ is an object in $\mathcal{C}$ ...
- 4,979
8
votes
1
answer
485
views
Category of modules over an Azumaya algebra and the Brauer group
Let $k$ be a field, and let $\alpha \in \mathrm{Br}(k)$. Let $A$ be an Azumaya algebra representing $\alpha$. Then the category $A$–$\mathrm{mod}$ depends only on $\alpha$.
I would like to know ...
- 15.1k
1
vote
1
answer
136
views
Has the covariant Hom-functor of the category of additive categories a left adjoint?
Let $\mathsf{Add}$ denote the (strict) 2-category of small additive categories and additive functors. Because categories of additive functors are itself additive, we have for each additive category $\...
- 111
12
votes
0
answers
746
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,054
4
votes
1
answer
436
views
Semisimple Abelian categories with infinite sums
A semisimple category is an abelian category in which every object is a finite direct sum of simple objects.
A) Why does one impose the finiteness condition here?
B) If one condsiders infinite direct ...
- 1,144
2
votes
1
answer
104
views
When uniquely divisible objects can be embedded into ind-torsion ones?
Let $A$ be an AB3 abelian category. We will say that an object $M$ of $A$ is uniquely divisible if for any integer $n\neq 0$ the endomorphism $nid_M$ is invertible. We will say that $M'$ is ind-...
- 16.5k
7
votes
1
answer
553
views
Any exact faithful functor is represented by a unique projective generator
In the book 'Tensor Categories' by Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych and Victor Ostrik on page 10 it says:
'Conversely, it is well known (and easy to show) that any exact faithful functor ...
- 275
4
votes
1
answer
163
views
Is the center of an abelian rigid monoidal category, abelian?
Is the Drinfeld-Majid center of an abelian rigid monoidal category, abelian?
[stated in 1J of On the center of fusion categories" by Bruguières and Virelizier (link at Virelizier's page)]
In ...
- 91
3
votes
0
answers
80
views
Embedding abelian categories into abelian sheaves
The Yoneda functor from an abelian category into sheaves of abelian groups is shown to be exact in The Stacks Project, Lemma 19.9.2. I like this proof because it is constructive and it doesn't use ...
4
votes
1
answer
380
views
Projective (or injective) object in a subcategory
Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be a full subcategory of $\mathcal{A}$. Suppose that $\mathcal{B}$ is abelian and that the inclusion of $\mathcal{B}$ in $\mathcal{A}$ is ...
user144185
9
votes
1
answer
338
views
Freyd-Mitchell for $k$-linear categories
I don't know much about the proof of the Freyd–Mitchell embedding theorem and I could not find an answer to my question looking naïvely online, but at the same time I feel like this is the kind of ...
- 533
2
votes
1
answer
162
views
Condition for an additive functor to be an equivalence
Consider an additive functor $F : \mathcal{A} \longrightarrow \mathcal{B}$ between abelian categories and suppose that $F$ is a dense functor, that is, for every object $B$ in $\mathcal{B}$ there is ...
user144185