Reconstruction of a superscheme from its derived category
type: Item
instance of: scholarly article
zbMATH Open document ID: 1283.18011
author: Umesh V. Dubey
author: Vivek M. Mallick
publication date: 2013-07-12T00:00:00Z
Mathematics Subject Classification ID: 18E30
Mathematics Subject Classification ID: 14F05
zbMATH DE Number: 6187619
zbMATH Keywords: superschemes
zbMATH Keywords: perfect complexes
zbMATH Keywords: triangulated categories
zbMATH Keywords: compact objects
MaRDI profile type: Publication
Recommended article: Spectrum of some triangulated categories
Recommended article: Generalized tensor idempotents and the telescope conjecture
Recommended article: The Balmer spectrum of a tame stack
Recommended article: Tensor triangular Chow groups
Recommended article: Q5039920
Recommended article: Tensor triangular geometry of filtered objects and sheaves
Recommended article: Stratification and Duality for Unipotent Finite Supergroup Schemes
Recommended article: Q6077736
Recommended article: Higher comparison maps for the spectrum of a tensor triangulated category
title: Reconstruction of a superscheme from its derived category
published in: Journal of the Ramanujan Mathematical Society
review text: A superspace \(X\) is a ringed space \((X,\mathcal{O}_X)\) such that \(\mathcal{O}_X\) is a sheaf of supercommutative superrings and every stalk is a local superring. A superspace is a superscheme if the even part \((X,\mathcal{O}_{X,0})\) is a scheme and \(\mathcal{O}_{X,1}\) is a coherent sheaf over \(\mathcal{O}_{X,0}\).NEWLINENEWLINERecall that, for any tensor triangulated category, \textit{P. Balmer} [J.\ Reine Angew.\ Math.\ 588, 149--168 (2005; Zbl 1080.18007)] defined a locally ringed space, called the spectrum, and computed it in some examples. In the present paper the authors define the notion of a \(\mathbb{Z}/2\mathbb{Z}\)-graded tensor triangulated category \(\mathcal{T}\) and show that Balmer's definitions and results work in this setting, that is, there exists a spectrum of \(\mathcal{T}\). They then define perfect complexes on superschemes and show that if \(X\) is a superscheme with an ample family of line bundles, then the category of perfect complexes \(\mathcal{T}=D^{\text{perf}}(X)\) on the superscheme \(X\) is the category of compact objects in the bounded derived category of coherent sheaves \(D^b(X)\) on \(X\) and that the spectrum of \(D^{\text{perf}}(X)\) is isomorphic to \(X\) as a superscheme.
reviewed by: Pawel Sosna
description: scientific article; zbMATH DE number 6187619