算术Riemann-Roch定理之应用

经典代数几何中的Riemann-Roch定理描述了代数簇上向量丛的Euler-Poincare特征与该代数簇切丛的Todd示性类之间的关系。在Grothendieck建立代数几何概型理论之后，Riemann-Roch定理已经被推广到了非常一般的形式，用于刻画代数K-理论与适当上同调理论之间的特征映射与相应推出映射之间的不交换性。本项目着眼于Arakelov几何中的算术Riemann-Roch定理，该定理将复流形上的一些拓扑和几何不变量引入到了代数整数环上代数簇赋范向量丛算术Euler-Poincare特征的计算当中，在数论和算术代数几何中有着十分丰富的应用。本项目的研究内容为算术Riemann-Roch定理的两个应用，一是Arakelov几何中射影阿贝尔概型典范钥公式的构造和证明，二是带有一个二阶自同构的K3曲面Yoshikawa不变量的算术几何解释与计算，这两个应用均有助于模形式的构造。

The Riemann-Roch theorem in classic algebraic geometry describes the relationship between the Euler-Poincare characteristic of a vector bundle on an algebraic variety and the Todd class of corresponding tangent bundle. After Grothendieck set up the scheme theory of algebraic geometry, the Riemann-Roch theorem has been extended to be a very general form, used to describe the non-commutativity of characteristic maps between algebraic K-theory and suitable cohomology theory with corresponding push-forwards. This project focuses on the arithmetic Riemann-Roch theorem in Arakelov geometry, this theorem introduces some topological and geometric invariants into the computation of the arithmetic Euler-Poincare characteristics of hermitian vector bundles on algebraic varieties over rings of algebraic integers, it has very fruitful applications in number theory and arithmetic algebraic geometry. The contents of this project are two applications of the arithmetic Riemann-Roch theorem, one is the construction and proof of the canonical key formula for projective abelian schemes in Arakelov geometry, another is the arithmetic interpretation and computation of the Yoshikawa invariant of K3 surfaces with an automorphism of order 2, these two applications are both useful for the construction of modular forms.