MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

People often consider exceptional sets of objects (i.e. collections of objects satisfying certain strong orthogonality conditions: $Ext^{l}(P_i,P_j)$ should be zero for $l\neq 0$ + something else) in derived categories of coherent sheaves (over algebraic varieties; possibly the first example corresponds to the Beilnson's description of the derived category of coherent sheaves on the projective space of dimension $n$). Are there any examples of this notion in some stable homotopy categories (in the sense of abstract model categories; one can consider the category of modules over a ring spectrum here)?

share|cite|improve this question
Can you say more about what "exceptional" means and the algebraic examples you have in mind? There are certainly notions of "orthogonal" subcategories that come up in the theory of Bousfield localization. – Eric Wofsey Nov 21 '12 at 9:04
I updated the question. – Mikhail Bondarko Nov 21 '12 at 9:42
I find this question very interesting, as most of your questions. I've wondered the same in the past, but never thought of it seriously. I don't remember to have seen anything like that in purely topological triangulated categories (algebraic ones, like those arising in algebraic geometry, are also topological by trivial reasons). I have the feeling that it is a typical phenomenon of algebraic contexts. This may be suported by the fact that, under some circumstances, the triangulated category you start with ends up being equivalent to the derived category of the endomorphism algebra of the col – Fernando Muro Nov 21 '12 at 10:51
The condition that Ext vanishes in all degrees except 0 is kind of bizarre from a topological point of view--it says that the spectrum of maps between two objects is an Eilenberg-MacLane spectrum concentrated in degree 0. This is not something I can imagine coming up in a "topological" setting unless the mapping spectra were all actually 0. – Eric Wofsey Nov 21 '12 at 10:55
So, I guess in the topological situation you first have to specify the base ring object. Then an exceptional object over a ring object $S$ should be an object $E$ on which $S$ acts and such that $Map(E,E)\cong S$. A collection $E_1,…,E_n$ of $S$-exceptional objects should be called exceptional if $Map(E_i,E_j)$ is contractible for $i>j$. – Sasha Nov 21 '12 at 11:09

A natural topological example of a [higher] category with an exceptional collection is constructible complexes on a stratified space, locally constant along contractible strata. This holds with any coefficients - e.g. you can look at sheaves of S-modules or E-modules for an $E_\infty$-ring spectrum if you prefer. The exceptionality encodes a. the contractibility of strata, b. the absence of Exts "in the wrong direction" for extensions of constant sheaves off the strata.

I would presume you could also find examples of "derived Fano schemes" with exceptional collections - i.e. nontrivial analogs of the many (toric Fano e.g.) schemes admitting exceptional collections, but I don't know of such.

share|cite|improve this answer
Thank you! I will think about this. – Mikhail Bondarko Nov 22 '12 at 2:49
nice! I took the 'topological' from the title to mean 'homotopical' or 'spectral', didn't think about plain topological. – Jacob Bell Nov 22 '12 at 23:07

Your Answer


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.