# Questions tagged [torsion-theory]

For questions about torsion theories in abelian categories and related concepts.

14
questions

2
votes

0
answers

89
views

### Pairs of ideals in an abelian category similar to torsion pairs

Let $\mathcal{A}$ be an abelian category. In the context of my work I am considering pairs of ideals $(\mathcal{I}, \mathcal{J})$ in $\mathcal{A}$ with the following properties:
$\quad \mathcal{I} \...

5
votes

2
answers

208
views

### Model of an elliptic curve with p-torsion

Suppose I have an elliptic curve $E$ defined over a number field $K$.
I know that if it has
a $2$ $K$-torsion, it has a model of the form:
$E: Y^2=X^3+aX^2+bX$
a $3$ $K$-torsion, it has a model of ...

1
vote

0
answers

58
views

### When some idempotent ideals belong to the Gabriel filter of ideals for a hereditary torsion theory

Let $\mathscr{I}_\sigma$ be the Gabriel filter of ideals for a hereditary torsion theory $\sigma$ over a commutative ring $R$. I am looking for equivalent conditions on either $\sigma$ or $R$ under ...

2
votes

0
answers

135
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}\...

5
votes

1
answer

162
views

### On the relation between two definitions of torsion functors

Let $R$ be a commutative ring, and let $\mathfrak{a}\subseteq R$ be an ideal. For an $R$-module we consider the sub-$R$-modules $$\Gamma_{\mathfrak{a}}(M)=\{x\in M\mid\exists n\in\mathbb{N}:\mathfrak{...

6
votes

1
answer

587
views

### On various "extension closures" and "orthogonals" in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

2
votes

1
answer

499
views

### Torsion theory for quasi-coherent sheaves?

In a category $\mathcal C$, we will say that $(\mathcal T,\mathcal F)$ is a torsion theory if it satisfies:
(1) $Hom(T,F)=0$ for all $T\in \mathcal T$ and $F\in \mathcal F$.
(2) If $Hom(T,F)=0$ for ...

2
votes

0
answers

239
views

### Intuition for hereditary torsion theories

I'm looking for intuition and references for the definition of a hereditary torsion theory and two facts found here. First, the definition and facts:
Definition. A torsion theory $(\mathcal T,\...

4
votes

2
answers

366
views

### Torsion pairs and projective dimension

Let $A$ denote an algebra finite dimensional, basic, and connected algebra over a algebraically closed field $K$. We denote by $mod A$ the abelian category whose objects are finitely generated right ...

2
votes

2
answers

300
views

### torsion theories localizing the base ring to the same ring

If two torsion theories on a ring localize the ring to the same extension ring, I can find no reason that their "meet" in the lattice of torsion theories must also localize to the same ring. I cannot ...

9
votes

1
answer

1k
views

### Definition of torsion sheaf on reducible spaces

I need to discuss torsion-free sheaves on reduced, but possibly reducible spaces. Here "torsion" means "element is annihilated by a non-zero-divisor". The standard references (EGA, Hartshorne, ...) ...

6
votes

1
answer

618
views

### (Co)localization of the derived category

Let me start saying that a similar question can be stated for general locally Noetherian Grothendieck categories but I state it for categories of modules as it is simpler. So we fix a right Noetherian ...

1
vote

1
answer

630
views

### Looking for reference talking about torsion theory on coherent sheaves on projective space

I am looking for reference talking about how torsion theory play roles in algebraic geometry. I will be really happy to see some concrete examples. Say, talking about torsion theory in $Coh(P^{1})$.
...

14
votes

2
answers

3k
views

### What is the relationship between t-structure and Torsion pair?

I am away from Torsion theory in abelian category for some while. So it might be a stupid question.
The definition of a torsion pair in the category of modules is as follows:
Definition:
A pair $(\...