A Lefschetz fixed point formula for singular arithmetic schemes with smooth generic fibres (Q621423)

This paper proves a relative Lefschetz formula for some equivariant arithmetic schemes. More specifically, let \(X\) and \(Y\) be arithmetic schemes whose generic fibers are smooth. Assume that \(X\) admits an automorphism of order \(n\), and let \(f:X\to Y\) be the composition of an \(\mu_n\)-equivariant closed immersion \(X\hookrightarrow Z\) and an \(\mu_n\)-equivariant morphism \(Z\to Y\), where \(Z\) is a regular arithmetic scheme and the \(\mu_n\)-action on \(Y\) is trivial. The main theorem (Theorem 6.1) is the Lefschetz formula for such \(f\). This answers a conjecture by \textit{V. Maillot} and \textit{D. Rössler} [in: From probability to geometry II. Volume in honor of the 60th birthday of Jean-Michel Bismut. Paris. Astérisque 328, 237--253 (2009; Zbl 1232.14016)], and it is an Arakelov-geometry analog of \textit{R. W. Thomason} [Duke Math. J. 68, No. 3, 447--462 (1992; Zbl 0813.19002)] as well as a generalization of an earlier work of the author [J. Reine Angew. Math. 665, 207--235 (2012; Zbl 1314.14049)] to a singular case. The formula takes place in the equivariant arithmetic Grothendieck groups \(\widehat {G_0}\), which are defined with respect to fixed wave front sets. The bulk of the paper consists of developing this \(\widehat {G_0}\)-theory and of proving two key results: the arithmetic concentration theorem (Theorem 5.5) and the vanishing theorem (Theorem 6.3). The paper has a thorough history of Lefschetz formula in various settings in Section 1, and Section 2 recalls necessary differential-geometric facts, such as equivariant Chern-Weil theory, equivariant analytic torsion forms, equivariant Bott-Chern singular currents, and Bismut--Ma immersion formula.