Lambda-structure on Grothendieck groups of Hermitian vector bundles (Q5935813): Difference between revisions

Let \(X\) be a scheme over \({\mathbb Z}\) whose generic fibre \(X_{\mathbb Q}\) is smooth. Using exterior powers of hermitian bundles on \(X\) on the one hand and the natural grading of the real vector space \(\widetilde{A}(X):= \bigoplus_{p\geq 0} A^{p,p}(X({\mathbb C}))/(\text{im}(\partial) +\text{im}(\bar{\partial}))\) on the other hand, \textit{H. Gillet} and \textit{Ch. Soulé} have defined a natural pre-\(\lambda\)-ring structure on the arithmetic Grothendieck group \(\widehat{K}_0(X)\) [Ann. Math., II. Ser. 131, No. 2, 205-238 (1990; Zbl 0715.14006). The goal of the very well written paper under review is to show that this pre-\(\lambda\)-ring structure is in fact a (special) \(\lambda\)-ring structure which means to verify certain axioms for the composition of any \(\lambda\)-operation on \(\widehat{K}_0(X)\) with multiplication and with any other \(\lambda\)-operation. The strategy applied is to ``compactify'' the universal ring for natural operations on classical Grothendieck groups in the spirit of Arakelov geometry, more precisely: He defines a ``compactification'' \(\widehat{R}\) of the representation ring of the group scheme \(\text{GL}_n \times \text{GL}_m\) over Spec(\({\mathbb Z}\)) and then shows that it is a (special) \(\lambda\)-ring and that the sub-pre-\(\lambda\)-ring of \(\widehat{K}_0(X)\) generated by any two hermitian bundles on \(X\) is the image of a pre-\(\lambda\)-ring homomorphism from \(\widehat{R}\) to \(\widehat{K}_0(X)\). The main theorem of this paper plays a crucial role in the proof of the arithmetic Adams-Riemann-Roch theorem [\textit{D. Roessler}, Duke Math. J. 96, No. 1, 61-126 (1999; Zbl 0961.14006)] and in the proof of the invertibility of the Todd element in a Lefschetz fixed point formula [see \textit{K. Köhler} and \textit{D. Roessler}, Invent. Math. 145, 333-396 (2001; Zbl 0999.14002)]. Another approach to it based on the classical splitting principle has been carried out by \textit{A. Meissner} is his thesis [``Arithmetische \(K\)-Theorie, Univ. Regensburg (1993; Zbl 0833.19001)].