We define a dimension for a triangulated category. We prove a representability Theorem for a class of functors on finite dimensional triangulated categories. We study the dimension of the bounded derived category of an algebra or a scheme and we show in particular that the bounded derived category of coherent sheaves over a variety has a finite dimension.

Dimensions of triangulated categories

by

Raphaël Rouquier

Erratum to:

J. K-Theory 1 (2008),193–256

doi: 10.1017/is007011012jkt010

Corollary 7.45 is not correct and I would like to thank Dmitri Orlov for pointing this out to me. We explain in this erratum a version for triangulated categories of D-branes of type B in Landau-Ginzburg models.

This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful traces. We characterise the existence of a faithful semifinite lower-semicontinuous gauge-invariant trace on C* (Λ) in terms of the existence of a faithful graph trace on Λ.

Second, for k-graphs with faithful gauge invariant trace, we construct a smooth (k,∞)-summable semifinite spectral triple. We use the semifinite local index theorem to compute the pairing with K-theory. This numerical pairing can be obtained by applying the trace to a KK-pairing with values in the K-theory of the fixed point algebra of the Tk action. As with graph algebras, the index pairing is an invariant for a finer structure than the isomorphism class of the algebra.

When the index bundle of a longitudinal Dirac type operator is transversely smooth, we define its Chern character in Haefliger cohomology and relate it to the Chern character of the K—theory index. This result gives a concrete connection between the topology of the foliation and the longitudinal index formula. Moreover, the usual spectral assumption on the Novikov-Shubin invariants of the operator is improved.

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable map f : X → Y (not necessarily K-oriented). We also obtain the wrong way functoriality property for the push-forward map in twisted K-theory. For D-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial B-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges.