Hochschild dimensions of tilting objects
type: Item
instance of: scholarly article
zbMATH Open document ID: 1250.18011
author: Matthew Ballard
author: David Favero
publication date: 2012-08-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/0905.1444
Mathematics Subject Classification ID: 18E30
Mathematics Subject Classification ID: 14F05
zbMATH DE Number: 6074833
zbMATH Keywords: derived category
zbMATH Keywords: Rouquier dimension
zbMATH Keywords: tilting object
zbMATH Keywords: Hochschild dimension
zbMATH Keywords: Deligne-Mumford stacks
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2962771980
DOI: 10.1093/IMRN/RNR124
published in: IMRN. International Mathematics Research Notices
title: Hochschild dimensions of tilting objects
review text: If \(\mathcal{T}\) is a triangulated category, a generator is, roughly speaking, an object \(E\) such that any other object in \(\mathcal{T}\) can be built from \(E\) by taking shifts, direct sums, direct summands and a finite number of cones. The latter number is the generation time of \(E\) and the dimension of \(\mathcal{T}\) is the infimum over all generation times. This notion was introduced by \textit{R. Rouquier} [J.\ K-Theory 1, No.\ 2, 193--256 (2008); Erratum ibid. 257--258 (2008; Zbl 1165.18008)], where it was, in particular, proved that if \(\mathcal{T}\) is the bounded derived category \(D^b(X)\) of coherent sheaves on a smooth projective variety \(X\), then the dimension of \(D^b(X)\) is bounded below by the dimension of \(X\) and bounded above by twice the dimension of \(X\). \textit{D. Orlov} conjectured that the dimension of \(D^b(X)\) is, in fact, equal to \(\text{dim}(X)\) and proved this for curves [Mosc.\ Math.\ J.\ 9, No.\ 1, 143--149 (2009; Zbl 1197.18004)]. It is also known that the conjecture holds for affine varieties.NEWLINENEWLINEIn the paper under review the authors consider the case where \(X\) admits a tilting object. Recall that an object \(T\) in a \(k\)-linear (\(k\) field, for simplicity algebraically closed of characteristic zero) triangulated category \(\mathcal{T}\) is called tilting if \(\text{Hom}(T,T[i])=0\) for all \(i\neq 0\) and \(T\) generates \(\mathcal{T}\). Furthermore, recall that the Hochschild dimension of a \(k\)-algebra \(A\) is the projective dimension of \(A\) as an \(A\otimes_k A^{\mathrm {op}}\)-module. The main result is then as follows. If \(i_0\) is the largest \(i\) for which \(\text{Hom}(T,T\otimes \omega_X^\vee[i])\neq 0\), then the Hochschild dimension of \(\text{End}(T)\) is equal to \(\text{dim}(X)+i_0\). If \(i_0=0\), then the Hochschild dimension of \(\text{End}(T)\), the dimension of \(X\) and the dimension of \(D^b(X)\) are all equal. In particular, this applies to del Pezzo surfaces, toric surfac…
reviewed by: Pawel Sosna
Recommended article: Tilting preserves finite global dimension
Recommended article: Tilting objects on some global quotient stacks
Recommended article: Orlov spectra: bounds and gaps
Recommended article: Hochschild (co-)homology of schemes with tilting object
Recommended article: A characterization of hereditary categories with tilting object
description: scientific article; zbMATH DE number 6074833