On the Adams-Riemann-Roch theorem in positive characteristic

DOI10.1007/S00209-011-0841-7MaRDI QIDQ415494zbMATH OpenOpenAlexFDO

Authors Richard Pink, D. Rössler

Publication date 8 May 2012

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.0254

zbMATH Keywords

Adams-Riemann-Roch theoremBott classrelative Frobenius morphism

Mathematics Subject Classification ID

Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Riemann-Roch theorems (14C40) (K)-theory of schemes (19E08) Riemann-Roch theorems, Chern characters (19L10)

Abstract: We give a new proof of the Adams-Riemann-Roch theorem for a smooth projective morphism $XoY$, in the situation where $Y$ is a regular scheme, which is quasi-projective over $m{F}_p$. We also partially answer a question of B. K"ock.

Review text

Given a scheme \(Z\) of prime characteristic \(p\), the authors construct a beautifully simple bundle representative for the \(p\)th Bott class \(\theta^p(E) \in K_0(Z)\) of any vector bundle~\(E\) on~\(Z\). If furthermore \(f:X \rightarrow Y\) is a \textbf{smooth} projective morphism between schemes of characteristic~\(p\) and \(F\) denotes the corresponding relative Frobenius morphism, the authors then derive the formula \(F_*(\theta^p(\Omega_f)^{-1})=1\) in \(K_0(X)\). This formula has been posed as a question by the reviewer in [Math.\ Z.~233, No. 4, 755--801 (2000; Zbl 1006.14003)]. Both that paper and the paper under review explain how this finally leads to a quick and new proof of the famous Adams-Riemann-Roch theorem for \(f\). The paper ends with an appendix by the reviewer giving another formula for the Bott element which extends a list of miraculous analogies between the just described approach to the Adams-Riemann-Roch theorem in positive characteristic and the approach in characteristic~0 developed by the reviewer in [loc. cit.].

Recommendations

• scientific article; zbMATH DE number 887393
• Das Adams-Riemann-Roch-Theorem in der höheren äquivarianten K-Theorie.
• A local refinement of the Adams-Riemann-Roch theorem in degree one
• Adams operations in commutative algebra
• An Adams-Riemann-Roch theorem in Arakelov geometry

Cites work

• Analytic torsion and holomorphic determinant bundles. I: Bott-Chern forms and analytic torsion. II: Direct images and Bott-Chern forms. III: Quillen metrics on holomorphic determinants
• Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex)
• Riemann-Roch for singular varieties
• Riemann-Roch for tensor powers
• The Grothendieck-Riemann-Roch theorem for group scheme actions
• The Hirzebruch-Riemann-Roch theorem.

Cited in

(3)

• A local refinement of the Adams-Riemann-Roch theorem in degree one
• The Riemann-Roch theorem for the Adams operations
• A Thom-Sebastiani theorem in characteristic \(p\)

This page was built for publication: On the Adams-Riemann-Roch theorem in positive characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q415494)