A fixed point formula of Lefschetz type in Arakelov geometry I:: statement and proof

• 成果类型: Article
• 署名作者: Köhler, K; Roessler, D
• 署名单位: University of Bonn; Universite Paris Cite
• 刊物名称: INVENTIONES MATHEMATICAE
• ISSN/ISSBN: 0020-9910
• DOI: 10.1007/s002220100151
• 发表日期: 2001
• 页码: 333-396
• 关键词: riemann-roch theorem; holomorphic determinant bundles; algebraic vector-bundles; analytic-torsion; currents

摘要

We consider arithmetic varieties endowed with an action of the group scheme of n-th roots of unity and we define equivariant arithmetic K-0-theory for these varieties. We use the equivariant analytic torsion to define direct image maps in this context and we prove a Riemann-Roch theorem for the natural transformation of equivariant arithmetic K-0-theory induced by the restriction to the fixed point scheme; this theorem can be viewed as an analog, in the context of Arakelov geometry, of the regular case of the theorem proved by P. Baum, W. Fulton and G. Quart in [BaFQ]. We show that it implies an equivariant refinement of the arithmetic Riemann-Roch theorem, in a form conjectured by J.-M. Bismut (cf. [B2, Par. (1), p. 353] and also Ch. Soule's question in [SABK, 1.5, p. 162]).