Some remarks on Quillen's Dévissage theorem

Abstract

In this paper we give a different proof of Quillen's Dévissage theorem using Barwick's theorem of the heart. The key ingredient is a certain short exact sequence of dg categories, which is closely related to the Auslander-type construction for nilpotent extensions which was used in papers by Kuznetsov and Lunts \cite{KL15}, Land and Tamme \cite{LT19}, and the author \cite{E20}.

arXiv comment14 pages; v3: minor corrections. Final version to appear in Proc. Steklov. Math. Inst