Tempered currents and Deligne cohomology of Shimura varieties, with an application to $\mathrm{GSp}_6$

José Ignacio Burgos Gil,Antonio Cauchi,Francesco Lemma,Joaquín Rodrigues Jacinto
2023-06-18
Abstract:We provide a new description of Deligne--Beilinson cohomology for any Shimura variety in terms of tempered currents. This is particularly useful for computations of regulators of motivic classes and hence to the study of Beilinson conjectures. As an application, we construct classes in the middle degree plus one motivic cohomology of Siegel sixfolds and we compute their image by Beilinson higher regulator in terms of Rankin-Selberg type automorphic integrals. Using results of Pollack and Shah, we relate the integrals to non-critical special values of the degree $8$ Spin $L$-functions, as predicted by Beilinson conjectures.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The core problems that this paper attempts to solve are related to the Beilinson conjecture. Specifically: 1. **Provide a new description method**: The paper provides a new method of using tempered currents to describe the Deligne - Beilinson cohomology of any Shimura variety. This method is particularly useful for calculating the regulators of motivic classes, thus contributing to the study of the Beilinson conjecture. 2. **Construct motivic cohomology classes**: As an application, the author constructs specific classes in the motivic cohomology of the Siegel six - fold symmetric space with the middle degree plus one, and calculates their images under the Beilinson higher - order regulators. These images are represented by Rankin - Selberg - type automorphic integrals. 3. **Verify the Beilinson conjecture**: By using the results of Pollack and Shah, the author relates these integrals to the Spin L - function of non - critical special values, which is in line with the prediction of the Beilinson conjecture. ### Specific problems and solutions - **Introduction of tempered currents**: In order to deal with non - holomorphic cusp forms, the author introduces the concept of tempered currents. Tempered currents are continuous linear forms defined on smooth differential forms and decay rapidly near the boundary D. This method makes it possible to evaluate these manifolds naturally without extending to the boundary. - **Construction of motivic cohomology classes**: The author constructs motivic cohomology classes in the Siegel six - fold symmetric space by using modular units. These modular units are elements of the motivic cohomology group of the modular curve ShGL2 and can be regarded as the motivic manifestation of Eisenstein series. - **Calculate regulators**: By carefully studying the Deligne - Beilinson cohomology, the author defines a natural pairing for calculating the images of motivic cohomology classes under the Beilinson regulator. This pairing involves real - analytic Eisenstein series and the action of certain operators. ### Main results - **Theorem 1.3**: Gives the relationship between the images of motivic cohomology classes under the Beilinson regulator and Rankin - Selberg - type integrals. \[ \langle r_D(\text{Eis}_M(\Phi_f)), \omega_\Psi \rangle = C_U \int_{H(\mathbb{Q}) \backslash H(\mathbb{A})} E(h_1, \Phi, 0) (A.\Psi)(h) dh \] - **Theorem 1.5**: Further relates the above - mentioned integrals to the non - critical special values of the Spin L - function, verifying a part of the Beilinson conjecture. In conclusion, this paper solves the problem of calculating the Deligne - Beilinson cohomology of Shimura varieties by introducing a new method of tempered currents and provides new evidence for the Beilinson conjecture.