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

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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})$.

Thanks in advance

-

## 1 Answer

Depending upon how strict you are with your definition of torsion theory a good source of examples is the theory of semi-orthogonal decompositions. A really nice example of this is the appearance of such decompositions which parallel operations in the minimal model program. A good introduction to this is Kawamata's survey. Of course there are other interesting things one can do with such decompositions in algebraic geometry (e.g. the work of Bondal, Orlov, Kapranov, and many others).

For torsion theories on abelian categories a good example is stability conditions. Here what is interesting is the interplay between torsion theory on hearts and t-structures. The original paper is by Bridgeland and in the case of $\mathbb{P}^1$ the stability manifold has been computed by Okada (I suggest looking at the journal version, I recall that there were at one point some typos in the arxiv version which were fixed in the published one).

As far as torsion theories on $\mathrm{Coh}(\mathbb{P}^1)$ goes it is a reasonable exercise to actually classify them (I did this at one point but never wrote it up properly). The closest place to this being written down that I know of is in the paper of Gorodentsev, Kuleshov, and Rudakov "t-stabilities and t-structures on triangulated categories" where they classify the minimal t-stabilities on the derived category of coherent sheaves on $\mathbb{P}^1$.

An example of something similar but that is not quite what you asked for is the application of cotorsion theories to relative homological algebra.

Definition: Suppose that $\mathcal{A}$ is an abelian category and that $(\mathcal{F},\mathcal{C})$ is a pair of full subcategories. Then we say that $(\mathcal{F},\mathcal{C})$ is a cotorsion theory if
$\mathcal{F} = \{F \in \mathcal{A} \; \vert \; \mathrm{Ext}^1(F,\mathcal{C}) = 0\}$ and $\mathcal{C} = \{C \in \mathcal{A} \; \vert \; \mathrm{Ext}^1(\mathcal{F},C) = 0\}$
where the subcategories appearing in the Ext's just signifies that it is true for every object of that subcategory.

There is a notion of a cotorsion theory having enough injectives and projectives and this guarantees for sufficiently good $\mathcal{A}$, say $R$-modules, (by a theorem of Eklof and Trlifaj) that $\mathcal{F}$-covers and $\mathcal{C}$-envelopes exist. In particular this can be used to show that flat covers exist. A good reference for this is Chapter 7 of Relative Homological Algebra by Enochs and Jenda.

The application to algebraic geometry/commutative algebra is using this formalism to build Gorenstein injective/projective/flat covers and envelopes.

-
Thank you very much! – Shizhuo Zhang Mar 8 2010 at 1:39

1
No problem :) Hopefully some other people will contribute suggestions as well. – Greg Stevenson Mar 8 2010 at 2:40
The paper t-stabilities and t-structures on triangulated categories is really nice, it is the very thing I am looking for. It seems that the t-stabilities described t-structures on derived category. This is good! In fact, in our lecture course, Rosenberg took the Keller's observations on t-structure and built the machinery based on certain spectrum on triangulated category to describe t-structures. According to him, there is a decomposition for this spectrum, different t-structures sitting in different component. He is going to lecture this soon, now he is talking about cohomology induction – Shizhuo Zhang Mar 10 2010 at 2:30
in the language of spectrum of triangulated category and how it goes to abelian induction(in the language of spectrum of abelian category)via t-structures to get representations – Shizhuo Zhang Mar 10 2010 at 2:33
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 13, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9357896447181702, "perplexity_flag": "middle"}