Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Exist any common definition of simple objects in derived categories, or even better, in stable model categories? I was only able to find definition for abelian categories.

Thanks.

share|improve this question
    
You probably have something in mind which makes the obvious definition (has no proper subobjects) not a good choice? –  Mariano Suárez-Alvarez Jul 11 '11 at 17:05
1  
This is probably me not knowing enough, but what is the notion of a subobject in a derived category. –  Karl Schwede Jul 11 '11 at 17:29
1  
You might want to find a notion of simple object in a derived category such that, if the category has t-structure, an object in the heart of the t-structure is simple if and only if it is simple in the abelian category sense. I don't believe that there is such a notion which is independent of the choice of t-structure, but I'm not sure... –  Sam Gunningham Jul 11 '11 at 19:30
3  
Note that the naive definition using the general category theory notion of subobject (which I find quite unnatural to apply to derived/stable $\infty$-type categories) does not have this property. –  Sam Gunningham Jul 11 '11 at 19:32
    
What do you want to use the definition for? In the category of spectra would you like the Eilenberg spectrum $H\mathbb Z$ to be considered simple? –  Tom Goodwillie Jul 11 '11 at 21:42
add comment

2 Answers

Sometimes an object $E$ of a $k$-linear category $C$ is called simple if $Hom_C(E,E) = k$. This notion is frequently used in derived categories.

share|improve this answer
6  
That's a strange definition. For lots of abelian categories, objects with that property are in fact not simple in the sense of not having proper subobjects. (Some) representation theorists say such an object is a brick. –  Mariano Suárez-Alvarez Jul 11 '11 at 23:09
    
(and they tend to be indecomposable, not simple...) –  Mariano Suárez-Alvarez Jul 11 '11 at 23:11
    
I am not sure who is responsible for using the word ``simple'' for this property, but the fact is that this terminology is used in literature. –  Sasha Jul 12 '11 at 4:50
add comment

In an arbitrary category, you can define subobjects of $X$ to be equivalence classes of pairs $(A,f)$, where $f:A\to X$ is a monomorphism, and $(A,f)$ is equivalent to $(B,g)$ if there is an isomorphism $p:A\to B$ with $gp=f$. You can then say that an object in an additive is simple if it has only the two obvious subobjects (and they are different). In a triangulated category, any monomorphism $f:A\to X$ is split, because there is a distinguished triangle $W\xrightarrow{m}A\xrightarrow{f}X\xrightarrow{n}\Sigma W$, and $fm=0$ so $m=0$. This means that the simple objects are precisely those that are indecomposable under direct sums.

share|improve this answer
    
Good explanation. It seems to me, this definition even works in every category with a zero object, not just abelian categories. But perhaps I'm missing something ? –  Ralph Jul 11 '11 at 19:28
2  
In my experience (coming mostly from the quiver theory literature), this definition isn't popular because there are very few monomorphisms in the derived category. For example, if $R$ is a ring, and $0 \to M_1 \to M_2 \to M_3 \to 0$ is a non-split s.e.s. of $R$-modules, then $M_1 \to M_2$ is not a monomorphism in the derived category of $R$-modules. In my reading, Sasha's definition is the standard one. –  David Speyer Jul 11 '11 at 22:45
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.