|
3 |
added the torsion-theory tag
|
||
|
2 | deleted 3 characters in body | ||
|
I am away from Torsion theory in abelian category for some while. So It might be a stupid question. The definition of torsion pair in category of modules is as follows: Definition: A pair $[(T,F)]$ of full subcategories of $[A-mod]$ is called a torsion pair if following conditions hold: 1) $[Hom_{A}(M,N)=0]$ for all $[M\epsilon T,N\epsilon F]$ 2) $[Hom_{A}(M,-)|_{F}=0\Rightarrow M\epsilon T]$ 3) $[Hom_{A}(-,N)|_{T}=0\Rightarrow N\epsilon F]$ condition 2) and 3) means that the pair $[(T,F)]$ is maximal for $[Hom_{A}(M,N)=0]$ This definition is from the book elements of representation theory of associative algebras I found this definition is similar to the definition of t-structures in derived category. I just quote the definition from dimca sheaves in topology as follows: A t-structure on a triangulated category $[D]$ consists in two strictly full subcategories: $[D^{\leq 0},D^{\geq 0}]$ such that the following condition holds: 1)$[Hom(X,Y)=0]$ if $[X\epsilon D^{\leq 0},Y\epsilon D^{\geq 1}]$ 2) $[D^{\leq 0}\subseteq D^{\leq 1},D^{\geq 1}\subseteq D^{\geq 0}]$ 3) For any $[X\epsilon D]$,there is a distinguished triangle: $[A\rightarrow X\rightarrow B\rightarrow A[+1],A\epsilon D^{\leq 0},B\epsilon D^{\geq 1}]$ Although the axioms 3) for t-structures looks different to the axioms of torsion pairs. However, there is a propositions of torsion pairs establishing the similar formula: Let a pair $[(T,F)]$ be a torsion pair in $[A-mod]$ , M is an A-module. Then there exists a short exact sequence: $[0\rightarrow tM\rightarrow M\rightarrow M/tM\rightarrow 0,tM\epsilon T,M/tM\epsilon F]$ where t is the idempotent radical(it behaves like radical of module) My question##question
Thank you in advance! |
||||
|
1 |
|
||
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 torsion pair in category of modules is as follows: Definition: A pair $[(T,F)]$ of full subcategories of $[A-mod]$ is called a torsion pair if following conditions hold: 1) $[Hom_{A}(M,N)=0]$ for all $[M\epsilon T,N\epsilon F]$ 2) $[Hom_{A}(M,-)|_{F}=0\Rightarrow M\epsilon T]$ 3) $[Hom_{A}(-,N)|_{T}=0\Rightarrow N\epsilon F]$ condition 2) and 3) means that the pair $[(T,F)]$ is maximal for $[Hom_{A}(M,N)=0]$ This definition is from the book elements of representation theory of associative algebras I found this definition is similar to the definition of t-structures in derived category. I just quote the definition from dimca sheaves in topology as follows: A t-structure on a triangulated category $[D]$ consists in two strictly full subcategories: $[D^{\leq 0},D^{\geq 0}]$ such that the following condition holds: 1)$[Hom(X,Y)=0]$ if $[X\epsilon D^{\leq 0},Y\epsilon D^{\geq 1}]$ 2) $[D^{\leq 0}\subseteq D^{\leq 1},D^{\geq 1}\subseteq D^{\geq 0}]$ 3) For any $[X\epsilon D]$,there is a distinguished triangle: $[A\rightarrow X\rightarrow B\rightarrow A[+1],A\epsilon D^{\leq 0},B\epsilon D^{\geq 1}]$ Although the axioms 3) for t-structures looks different to the axioms of torsion pairs. However, there is a propositions of torsion pairs establishing the similar formula: Let a pair $[(T,F)]$ be a torsion pair in $[A-mod]$ , M is an A-module. Then there exists a short exact sequence: $[0\rightarrow tM\rightarrow M\rightarrow M/tM\rightarrow 0,tM\epsilon T,M/tM\epsilon F]$ where t is the idempotent radical(it behaves like radical of module) My question##
Thank you in advance!
|
||||

