The arithmetic volume of A_2
Creators: name: Jung, Barbara
Publisher: name: Humboldt-Universität zu Berlin
Year: 2019
Subjects: subject: Modulraum
subject: Abelsche Varietäten
subject: Arithmetische Schnitttheorie
subject: Arithmetisches Volumen
subject: moduli space
subject: abelian varieties
subject: arithmetic intersection theory
subject: arithmetic volume
subject: 510 Mathematik
subject: SK 230

description: Es sei A_2 der toroidal kompaktifizierte Modulraum prinzipal polarisierter komplexer abelscher Flächen, und M_k(Sp_4(Z)) das Geradenbündel Siegel'scher Modulformen von Gewicht k auf A_2, versehen mit der Petersson-Metrik. Betrachtet man A_2 als komplexe Faser einer arithmetischen Varietät über Spec(Z), und M_k(Sp_4(Z)) als das von einem Geradenbündel auf dieser arithmetischen Varietät induzierte Geradenbündel, so kann man die Frage nach dem arithmetischen Grad dieses Geradenbündels stellen. Wir stellen nachfolgend den Grad als Ausdruck in speziellen Werten der logarithmischen Ableitung der Riemann'schen Zeta-Funktion dar. Der arithmetische Grad setzt sich aus einem Beitrag vom Schnitt über den endlichen Fasern und einem Integral von Green'schen Formen über die komplexe Faser zusammen. Die Berechnung des von der komplexen Faser A_2 induzierten Anteils am arithmetischen Grad erfolgt durch eine spezifische Wahl von Schnitten von M_k(Sp_4(Z)), deren Eigenschaften bekannt oder durch ihre Darstellung als Polynome in Theta-Funktionen ableitbar sind. Mittels eines induktiven Arguments werden wir das Integral über das Stern-Produkt der zugehörigen Green'schen Formen auf eine Summe von Integralen über spezielle Zykel zurückführen, die beim sukzessiven Schneiden der zu den Schnitten gehörigen Divisoren auftauchen. Bei diesem Prozess entstehen Randterme in Form von Integralen um den toroidalen Rand. Wir werden zeigen, dass diese verschwinden, indem wir Minkowski-Theorie anwenden und eine bestimmte Wahl der Teilung der Eins treffen, die in der arithmetischen Schnitttheorie für logarithmisch singuläre Metriken auftaucht. Die Integrale über die speziellen Zykel berechnen wir durch Zurückführen auf ein Resultat von Kudla sowie auf eine modulare Version der Jensen-Formel.
description: Let A_2 be the toroidally compactified moduli stack of principally polarized complex abelian surfaces, and let M_k(Sp_4(Z)) be the line bundle of Siegel modular forms of weight k on A_2, equipped with the Petersson metric. Viewing A_2 as the complex fibre of an arithmetic variety over Spec(Z), and M_k(Sp_4(Z)) as the complex line bundle induced by a line bundle on this arithmetic variety, we can ask for the arithmetic degree of this line bundle. We will state a formula for the arithmetic degree in terms of special values of the logarithmic derivative of the Riemann zeta-function. The arithmetic degree consists of a contribution from intersection over Spec(Z), and from an integral of Green forms over the complex fibre. The computation of the summand of the arithmetic degree coming from the complex fibre A_2 will be approached by making a specific choice of sections of M_k(Sp_4(Z)), whose behaviour is well-known or can be worked out by their representation via theta-functions. With an induction argument, we will trace back the integral over the star-product of the corresponding Green forms to a sum of integrals over particular cycles on A_2 coming from the successive intersection of the divisors of these sections, as well as some boundary terms in the form of integrals around the toroidal boundary. We will prove that the boundary terms vanish, using Minkowski theory and a specific choice of the partition of unity that appears in arithmetic intersection theory for logarithmically singular metrics. The integrals over the special cycles will be traced back to results of Kudla and an application of a modular version of Jensen's formula.