A fixed point formula of Lefschetz type in Arakelov geometry. I: Statement and proof (Q5944961)

From MaRDI portal
scientific article; zbMATH DE number 1710121
  • A fixed point formula of Lefschetz type in Arakelov geometry. II: A residue formula
Language Label Description Also known as
English
A fixed point formula of Lefschetz type in Arakelov geometry. I: Statement and proof
scientific article; zbMATH DE number 1710121
  • A fixed point formula of Lefschetz type in Arakelov geometry. II: A residue formula

Statements

A fixed point formula of Lefschetz type in Arakelov geometry. I: Statement and proof (English)
0 references
A fixed point formula of Lefschetz type in Arakelov geometry. II: A residue formula (English)
0 references
0 references
0 references
29 November 2002
0 references
21 February 2002
0 references
The authors develop and prove a fixed point formula of Lefschetz type in Arakelov geometry which may be viewed as an analog of the regular case of the theorem proved by \textit{P. Baum, W. Fulton} and \textit{G. Quart} for varieties over an algebraically closed field [see Acta Math. 143, 193-211 (1979; Zbl 0454.14009)]. It implies an equivariant refinement of the arithmetic Riemann-Roch theorem, in a form conjectured by \textit{E. Bismut} [Compos. Math. 93, 291-354 (1994; Zbl 0817.32014)], and by \textit{C. Soulé, D. Abramovich, J.-F. Burnol} and \textit{J. Kramer} [``Lectures on Arakelov geometry'', Camb. Stud. Adv. Math. 33 (1992; Zbl 0812.14015)]. The following explanations aim to give a rough picture of the main result. Let \(f: Y \rightarrow \text{Spec}({{\mathbb Z}})\) be a projective regular scheme equipped with an action of the diagonalisable group scheme \(\mu_n\) of \(n\)-th roots of unity. Choosing the action of \(\mu_n\) (rather than the action of an automorphism of order \(n\)) ensures that the fixed point scheme \(h: Z \rightarrow \text{Spec}({\mathbb Z})\) is regular again. Let \(\overline{E} = (E,h)\) be a \(\mu_n\)-equivariant hermitian bundle on \(Y\), i.e., a vector bundle \(E\) on \(Y\) together with an action of \(\mu_n\) (compatible with the given action on \(X\)) and a hermitian metric \(h\) on the associated bundle \(E_{{\mathbb C}}\) on \(Y({\mathbb C})\) which is invariant under complex conjugation and under the action of \(\mu_n\). The authors define equivariant arithmetic Grothendieck groups \(\widehat{K}_0^{\mu_n}(Y)\), \(\widehat{K}_0^{\mu_n}(Z)\), and they construct push-forward homomorphism \(f_*:\widehat{K}_0^{\mu_n}(Y) \rightarrow \widehat{K}_0^{\mu_n}({\mathbb Z})\), \(h_*: \widehat{K}_0^{\mu_n}(Z) \rightarrow \widehat{K}_0^{\mu_n}({\mathbb Z})\) (dependent on a chosen \(\mu_n\)-invariant Kähler metric \(\omega_Y\) on \(Y\)) and a restriction homomorphism \(\rho: \widehat{K}_0^{\mu_n}(Y) \rightarrow \widehat{K}_0^{\mu_n}(Z)\) in a natural way. Furthermore, a primitive \(n\)-th root of unity \(\zeta_n\) is fixed; it induces a ring homomorphism from the representation ring \(R(\mu_n)\) to \({\mathbb C}\) and a holomorphic automorphism \(g\) of \(Y({\mathbb C})\). The main result of the paper is the following formula in \(\widehat{K}_0^{\mu_n}({\mathbb Z}) \otimes_{R(\mu_n)} {\mathbb C}\): \[ f_*(\overline{E}) = h_*\left(\left(\lambda_{-1}(\overline{N}_{Y/Z}^\vee)\right)^{-1} \rho(\overline{E})\right) - \int_{Z({\mathbb C})} \text{Td}_g(TY_{{\mathbb C}}) R_g(N_{Y_{{\mathbb C}}/Z_{{\mathbb C}}}) \text{ch}_g(E_{{\mathbb C}}). \] As in the classical case, \(\lambda_{-1}(\overline{N}_{Y/Z}^\vee)\) denotes the alternating sum of the exterior powers of the normal bundle \(\overline{N}_{Y/Z}^\vee\) (which is equipped with the metric it inherits from \(\omega_Y\)), and the authors show that this sum is invertible in \(\widehat{K}_0^{\mu_n}(Z) \otimes_{R(\mu_n)} {\mathbb C}\). The expressions \(\text{Td}_g(TY_{{\mathbb C}})\), \(R_g(N_{Y_{{\mathbb C}}/Z_{{\mathbb C}}})\) and \(\text{ch}_g(E_{{\mathbb C}})\) represent complex characteristic classes depending on \(g\). In order to gain a better understanding of the push-forward homomorphism \(f_*\), the following expression for the equivariant degree of \(f_*(\overline{E})\) (which holds in the case that \(f\) is flat and \(R^if_*(E) = 0\) for \(i \geq 1\)) may be helpful: \[ \widehat{\text{deg}}_{\mu_n}(f_*(\overline{E})) = \sum_{k \in {\mathbb Z}/n {\mathbb Z}} \zeta_n^k \widehat{\text{deg}}\left((R^0f_*(E))_k\right) - T_g(Y({\mathbb C}),\overline{E}_{{\mathbb C}}) \] where the subscript \(k\) denotes the \(k\)-th term in the natural grading on the direct image \(R^0f_*(E)\) associated with the obvious action of \(\mu_n\), and \(T_g(Y({\mathbb C}), \overline{E}_{{\mathbb C}})\) is the equivariant analytic torsion of \(E_{{\mathbb C}}\), a purely analytic term which depends on \(\omega_Y\) and the metric on \(\overline{E}_{{\mathbb C}}\). Thus the main theorem sketched above computes the arithmetic Lefschetz trace of \(\overline{E}\) as a contribution of the fixed point scheme \(Z\) and an anomaly term, the equivariant analytic torsion. The proof of the main theorem is globally parallel to the proof of the arithmetic Adams-Riemann-Roch theorem by \textit{D. Roessler} [Duke Math. J. 96, No. 1, 61-126 (1999; Zbl 0961.14006)]. Its algebro-geometric part is based on the deformation to the normal cone, while its differential-geometric part relies on the results of \textit{J.-M. Bismut} [J. Differ. Geom. 41, No. 1, 53-157 (1995; Zbl 0826.32024)]. On the analytic side, the main original ingredient is a double complex formula which generalizes a result of \textit{J.-M. Bismut, H. Gillet} and \textit{C. Soulé} [in: The Grothendieck Festschrift. Vol. I, Prog. Math. 86, 249-331 (1990; Zbl 0744.14015)]. Several applications of the main result to heights on arithmetic varieties are discussed in separate papers, for example see \textit{K. Köhler} and \textit{D. Roessler}, Ann. Inst. Fourier 52, 81-103 (2002; Zbl 1001.14006).
0 references
The authors prove a Bott residue formula in the context of Arakelov geometry. More precisely, for any arithmetic variety \(X\) endowed with the action of a diagonalisable torus \(T\), they obtain a formula which computes arithmetic Chern numbers of equivariant Hermitian vector bundles on \(X\) in terms of arithmetic Chern numbers of bundles on the fixed point scheme \(X^T\) and an anomaly term derived from the equivariant and non-equivariant analytic torsion on \(X({{\mathbb C}})\). The formula and the method of proof are similar to those in the papers by \textit{M. F. Atiyah} and \textit{I. M. Singer} [Ann. Math. (2) 87, 484-530, 531-545, 546-604 (1968; Zbl 0164.24001, Zbl 0164.24201, Zbl 0164.24301)]. [A more recent approach to the classical formula can be found in a paper by \textit{D. Edidin} and \textit{W. Graham}, Am. J. Math. 120, No. 3, 619-636 (1998; Zbl 0980.14004).] The fundamental step of the proof is a passage to the limit on both sides of the authors' arithmetic Lefschetz fixed point formula [\textit{K. Köhler} and \textit{D. Roessler}, Invent. Math. 145, No. 2, 333-396 (2001; Zbl 0999.14002)] where the limit is taken over finite group schemes of increasing order inside \(T\). The determination of the anomaly term relies on results of \textit{J.-G. Bismut} and \textit{S. Goette} [Geom. Funct. Anal. 10, No. 6, 1289-1422 (2000; Zbl 0974.58033)]. The appendix contains a concise conjectural relative fixed point formula in Arakelov geometry. In a further paper [see \textit{C. Kaiser} and \textit{K. Köhler}, Invent. Math. 147, No. 3, 633-669 (2002; Zbl 1023.14008)], the residue formula proved in this paper is applied to compute the height of some flag varieties.
0 references
equivariant arithmetic variety
0 references
fixed point scheme
0 references
Arakelov geometry
0 references
fixed point formula
0 references
Lefschetz-Riemann-Roch
0 references
equivariant analytic torsion
0 references
equivariant Quillen metric
0 references
Bott-Chern class
0 references
Chern character
0 references
Todd form
0 references
Bismut equivariant R-class
0 references
wave front set
0 references
Euler-Green current
0 references
Bismut's immersion theorem
0 references
deformation to the normal cone
0 references
equivariant arithmetic degree
0 references
arithmetic Bott residue formula
0 references
arithmetic Lefschetz fixed point formula
0 references
arithmetic Riemann-Roch theorem
0 references
arithmetic Chern number
0 references
analytic torsion
0 references
anomaly term
0 references
characteristic current
0 references

Identifiers

0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references