Uniqueness of equivariant singular Bott-Chern classes (Q715151)

The Grothendieck-Riemann-Roch theorem gives a formula that relates direct images and characteristic classes. In general this formula is not valid for characteristic forms. The singular Bott-Chern classes measure the failure of an exact Grothendieck-Riemann-Roch theorem for closed immersions at the level of characteristic forms. Similarly, the analytic torsion forms measure the failure of an exact Grothendieck-Riemann-Roch theorem for submersions. Among other things, the existence of analytic torsion, makes the arithmetic Riemann-Roch Theorem hard to use. A Lefschetz fixed point formula was developed by \textit{K. I. Köhler} and \textit{D. Roessler} [C. R. Acad. Sci., Paris, Sér. I, Math. 326, No. 6, 719--722 (1998; Zbl 0934.14017)] in representing an equivariant version of the Riemann Roch theorem. The authors consider arithmetic varieties endowed with an action of the group scheme of \(n\)-th roots of unity and defined equivariant arithmetic \(K_0\)-theory for these varieties. Still the fixed point theorem can only be used for smooth morphism over the complex. The work of \textit{J~. I. Burgos-Gil}, \textit{R.~ Litcanu} and \textit{G. Freixas} [Doc. Math., J. DMV 15, 73--176 (2010; Zbl 1192.14019); J. Math. Pures Appl. (9) 97, No. 5, 424--459 (2012; Zbl 1248.18011); in: ``Alexandru Myller'' Mathematical Seminar AIP Conf. Proc. 1329, Amer. Inst. Phys. (2010; \url{doi:10.1063/1.3546075})] seeks to extend the Riemann-Roch Theorem to arbitrary proper morphisms. The present work of Tang combines the equivariant Lefschetz type theorem with the extension of Riemann-Roch to arbitrary proper morphisms. The first step is to generalize the analytic torsion to closed immersions. The strategy of work is as follows: by deforming a resolution to a more treatable one, the author proved that the theory of equivariant singular Bott-Chern classes is determined by its effects on Koszul resolutions. By adding suitable axioms to the usual axiomatic of the equivariant Bott-Chern secondary classes, it is shown how Bismut's construction provides a uniqueness property for the Bott-Chern characteristic classes. As a consequence of this uniqueness an analytic statement is presented in the last section with represents a concentration formula for equivariant classes, extending the concentration theorem in algebraic \(K\)-theory to Arakelov Geometry.