12
$\begingroup$

I am looking for examples (references) of pairs of non Quillen-equivalent model categories having the same homotopy categories.

The motivation is of course that I have two model categories and all the attempts to prove that they are Quillen equivalent have failed so far, but the homotopy categories are equivalent as category. I cannot find in this case any zig-zag of adjunctions between them. Reading such examples could help me to understand better the problem.

$\endgroup$
  • 1
    $\begingroup$ Maybe people can help if you say a little bit about your categories. $\endgroup$ – Fernando Muro Jul 4 '13 at 8:13
  • $\begingroup$ Yes of course ; Should I post here or open a new thread ? I will give the definitions, and my attempts to find zig-zag of adjunctions, and why that does not work (so far). $\endgroup$ – Philippe Gaucher Jul 4 '13 at 8:59
  • 1
    $\begingroup$ I don't know, maybe in another thread since I guess you spect different kinds of answers. $\endgroup$ – Fernando Muro Jul 4 '13 at 9:00
16
$\begingroup$

The ones which usually come up to my mind as soon as I think of this:

  • The categories of modules over $\mathbb Z/p^2$ and $\mathbb F_p[\epsilon]/(\epsilon^2)$, $p$ a prime integer. These rings are quasi-Frobenius, so their module categories have a model structure where cofibrations are monomorphisms, fibrations are epimorphisms and weak equivalences are homomorphisms which become isomorphisms in the stable module category, obtained from the module category by killing projective-injective objects. The homotopy category is this stable module category, which in both cases is the category of $\mathbb F_p$-vector spaces. This example is equivalent to Rasmus'.

  • The category of DG-modules over $\mathbb F_p[v_n^{\pm1}]$, $|v_n|=2p^n-2$, $d(v_n)=0$, and the category of modules over Morava's $K(n)$.

  • The model category of spectra localized at $K_{(p)}$-equivalences, where $K$ is complex $K$-theory and $p$ is an odd prime, and Franke's algebraic model category $C^{(T,N)}(\mathcal A)$ defined in http://www.math.uiuc.edu/K-theory/0139/. This doesn't happen for $p=2$ by results of Constanze Roitzheim.

In all these cases the model categories are stable and the homotopy categories are not only equivalent as categories but as triangulated categories.

$\endgroup$
  • $\begingroup$ To the best of my knowledge these are the only known examples... Unless someone cares to update 'my knowledge'. $\endgroup$ – Dylan Wilson Jul 4 '13 at 10:54
  • 5
    $\begingroup$ @Dylan: There are variations on these examples. See for example Section 4.3 of Patchkoria's arxiv.org/pdf/1108.6309.pdf $\endgroup$ – Lennart Meier Jul 4 '13 at 12:52
  • $\begingroup$ ... a paper which should be mentioned in the context of Franke's paper anyway. $\endgroup$ – Rasmus Jul 4 '13 at 14:53
14
$\begingroup$

Daniel Dugger and Brooke Shipley give an example in their paper

A curious example of triangulated-equivalent model categories which are not Quillen equivalent

available here.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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