On \(K_{1}\) of an assembler (Q515893): Difference between revisions

The author introduced in her article [Adv. Math. 304, 1176--1218 (2017; Zbl 1355.19001)] a very general framework to deal with generalizations of scissor congruence groups and higher related homotopical invariants, defining the notion of \textit{assemblers}, which are Grothendieck sites satisfying some extra properties (one being that all morphisms are monomorphisms, for example) -- see \S1 of the paper under review for a precise definition and the construction of the \textit{Waldhausen \(K\)-theory spectrum} \(K^W(\mathcal{C})\) of a closed assembler \(\mathcal{C}\). Its homotopy groups are denoted by \(K_*(\mathcal{C})\) and called its \textit{\(K\)-theory}. In fact, the definition given in the paper under review differs slightly form the one given in her aforementioned article, but the author proves (see \S2 of the article under review) that both approaches are equivalent. In her previous works, she studied above all \(K_0\) of an assembler, which is a direct generalization of scissor congruence groups (see Theorem 2.13 of the aforementioned article); here she gives an explicit set of generators for \(K_1(\mathcal{C})\), for any assembler \(\mathcal{C}\). She gives also relations that satisfy these generators and conjectures that these relations give a presentation of the \(K_1\). This is made in \S3, from a general theorem (3.8) on the \(K_1\) of a simplicial Waldhausen category, theorem which is inspired form work by \textit{F. Muro} and \textit{A. Tonks} [Adv. Math. 216, No. 1, 178--211 (2007; Zbl 1125.19001); in: \(K\)-theory and noncommutative geometry. Proceedings of the ICM 2006 satellite conference, Valladolid, Spain, August 31--September 6, 2006. Zürich: European Mathematical Society (EMS). 91--115 (2008; Zbl 1165.18010)]. To this aim, Zakharevich needs to extend the main construction of these works by Muro and Tonks from Waldhausen categories to \textit{simplicial} Waldhausen categories. That is made in \S6 of the article under review. In \S4, she gives as an application of her main theorem to the computation of the \(K_1\) of the assembler of half-open interval in real numbers. (Note that the authors gets here a \textit{complete} computation, even if her main general result expresses the \(K_1\) of an assembler only as a \textit{quotient} of an explicit abelian group defined by generators and relations.) In \S5, an application to a spectral sequence associated to classical scissor congruence groups (in arbitrary dimension) is also given.