40
$\begingroup$

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this still an open question? Actually, let me be a bit more specific and break this into two parts:

  1. The usual axioms for a triangulated category are known to be redundant. Do we know of a list of independent axioms? (Peter May wrote something about this, and it's the best I've seen but it still doesn't give independence results for the new list of axioms.)
  2. Assuming it is known that, say, the octahedral axiom is independent from the others, what is an example of a pre-triangulated category that is not a triangulated category?

It appears that if there is such an example, it would have to be very artificial... all of the pre-triangulated categories appearing in nature are automatically triangulated. (I haven't read all of May's article but it looks like he explains how one usually goes about proving that the octahedral axiom holds for a given category, so perhaps this would give some clues for situations where this would fail.)

$\endgroup$
2
  • 3
    $\begingroup$ I've never thought hard about producing a counterexample but I have discussed this with a couple of people relatively recently and they weren't aware of any examples of a category which was pre-triangulated but not triangulated. $\endgroup$ Jul 14, 2010 at 23:48
  • 5
    $\begingroup$ Part 2 of this question came up in a local reading group - even though it's not so recent, I hope people won't mind my attempting to bump it up again. Is there still no known example, abstract or otherwise? $\endgroup$ May 19, 2014 at 15:28

4 Answers 4

35
$\begingroup$

Don't know if you're still interested in this question, but for anyone who is curious about it, the answer seems to be that there are no pretriangulated categories that are not triangulated.

Macioca Pre-triangulated categories are triangulated. Unfortunately, the article is removed by the author with the comment: "There is a serious error at the end of the proof of 3.4 which cannot be fixed. There is a counterexample to the statement of 3.4 due to Canonaco and Kunzer. Lemma 3.5 also needs stronger hypotheses."

$\endgroup$
8
  • 5
    $\begingroup$ Wow, I find it amazing that such a basic result took 50 years for anyone to figure out! $\endgroup$ Jun 3, 2015 at 1:47
  • 6
    $\begingroup$ I think it's a great, major achievement! $\endgroup$ Jun 3, 2015 at 4:04
  • 3
    $\begingroup$ Whoa! I definitely didn't expect that result to be true- very cool! $\endgroup$ Jun 3, 2015 at 8:00
  • 8
    $\begingroup$ The author has apparently removed the preprint from the arxiv (see arxiv.org/abs/1506.00887v2), leaving the following comment: "There is a serious error at the end of the proof of 3.4 which cannot be fixed. Thee [sic] is a counterexample to the statement of 3.4 due to Canonaco and Kunzer. Lemma 3.5 also needs stronger hypotheses. Many thanks to those whonsent [sic] comments, counterexamples and encouragement" $\endgroup$ Jun 17, 2015 at 14:37
  • 3
    $\begingroup$ Perhaps all the excitement was premature... $\endgroup$ Jun 17, 2015 at 14:41
17
$\begingroup$

I have to say that this article http://arxiv.org/abs/1506.00887 has at least one mistake.

Lemma 3.5, Counterexample - take group $G=$ sequences of integer numbers $=\mathbb{Z}^\mathbb{N}$.

$\ell$ and $m$ are right and left shift respectively.

Then $m\circ\ell=id$, so $Image(e)=G$.

$\endgroup$
4
  • $\begingroup$ Why is this a counterexample? Take the isomorphism asked of in the lemma to be $l$. $\endgroup$ Jun 8, 2015 at 15:25
  • 2
    $\begingroup$ well, it is not isomorphism ) right shift don't have sequence 1 0 0 0 ... in it's image $\endgroup$
    – Tomas Paul
    Jun 8, 2015 at 15:31
  • $\begingroup$ although I'm not sure if this is very important - this lemma is used to construct automorphism of some Ext, which is zero in many cases $\endgroup$
    – Tomas Paul
    Jun 8, 2015 at 16:27
  • 9
    $\begingroup$ (I have informed the author of the paper) $\endgroup$ Jun 8, 2015 at 16:39
17
$\begingroup$

Yes, I'm about to post some fixes. My interest in it was really just the k-linear case. In fact, that example is not a counterexample to the main result because the map omega_* cannot be an injection (as the spectral sequence implies that the kernel and cokernel must either both not vanish or both vanish). However,in replacing Lemma 3.5 I need an assumption on the enrichment. This means that the result is still open for the general case. It seems to work for k-linear, divisible, finitely generated and, as it were, co-finitely generated (ie the duals of finitely generated groups). The assumptions are not likely to be necessary though and I would expect that someone better equipped to deal with the infinite group case might be able to fix it.

There are a couple of of other blunders at the end. In particular, there is some mistake in the uniqueness result. I've removed it in the meantime.

I'll post the fixes on arxiv in a day or so. Antony Maciocia

$\endgroup$
-2
$\begingroup$

I think there do exists some pretriangulated categories which are not triangulated. There are at least two methods to produce such examples, although I don't have any concrete example.

The first is algebraic. Let $\mathcal{A}$ be an abelian category, $\mathcal{B}$ a functorially finite subcategory. Then the quotient category $\mathcal{A}/\mathcal{B}$ is a pretriangulated category, but it is usually not triangulated.

The second is topological. Take a Quillen model category which is also an additive category, but which is not a stable model category. Then the homotopy category of this model category is a pretriangualted category which is not triangulated.

$\endgroup$
3
  • 2
    $\begingroup$ I'm highly skeptical of both of these 'examples'. $\endgroup$ Mar 7, 2017 at 1:08
  • 2
    $\begingroup$ The quotient of an abelian category by a functorially finite subcategory is not in general pretriangulated. For example, the zero subcategory is always functorially finite. $\endgroup$ Mar 7, 2017 at 9:33
  • $\begingroup$ I am very sorry that I misunderstood the question. I had another definition in head, that is, pretriangulated categories are additive categories which are both left triangulated categories and right triangulated categories etc. Very sorry for this wrong answer! $\endgroup$
    – motivique
    Mar 11, 2017 at 13:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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