A note on secondary K-theory

We prove that Toën’s secondary Grothendieck ring is isomorphic to the Grothendieck ring of smooth proper pretriangulated dg categories previously introduced by Bondal, Larsen, and Lunts. Along the way, we show that those short exact sequences of dg categories in which the first term is smooth proper...

Full description

Bibliographic Details
Main Author: Trigo Neri Tabuada, Goncalo Jorge
Other Authors: Massachusetts Institute of Technology. Department of Mathematics
Format: Article
Published: Mathematical Sciences Publishers 2018
Online Access:http://hdl.handle.net/1721.1/116067
https://orcid.org/0000-0001-5558-9236
Description
Summary:We prove that Toën’s secondary Grothendieck ring is isomorphic to the Grothendieck ring of smooth proper pretriangulated dg categories previously introduced by Bondal, Larsen, and Lunts. Along the way, we show that those short exact sequences of dg categories in which the first term is smooth proper and the second term is proper are necessarily split. As an application, we prove that the canonical map from the derived Brauer group to the secondary Grothendieck ring has the following injectivity properties: in the case of a commutative ring of characteristic zero, it distinguishes between dg Azumaya algebras associated to nontorsion cohomology classes and dg Azumaya algebras associated to torsion cohomology classes (= ordinary Azumaya algebras); in the case of a field of characteristic zero, it is injective; in the case of a field of positive characteristic p, it restricts to an injective map on the p-primary component of the Brauer group.