ArticlePublisher preview available

Kudla Millson lift of toric cycles and restriction of Hilbert modular forms

Authors:
To read the full-text of this research, you can request a copy directly from the author.

Abstract

Let V be quadratic space of even dimension and of signature (p, q) with pq>0p \ge q>0. We show that the Kudla-Millson lift of toric cycles - attached to algebraic tori - is a cusp form that is the diagonal restriction of a Hilbert modular form of parallel weight one. We deduce a formula relating the dimension of the span of such diagonal restrictions and the dimension of the span of toric and special cycles.
Mathematische Zeitschrift (2025) 309:57
https://doi.org/10.1007/s00209-025-03683-0
Mathematische Zeitschrift
Kudla Millson lift of toric cycles and restriction of Hilbert
modular forms
Romain Branchereau1
Received: 3 February 2024 / Accepted: 10 January 2025 / Published online: 12 February 2025
© The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025
Abstract
Let Vbe quadratic space of even dimension and of signature (p,q)with pq>0. We
show that the Kudla-Millson lift of toric cycles - attached to algebraic tori - is a cusp form
that is the diagonal restriction of a Hilbert modular form of parallel weight one. We deduce
a formula relating the dimension of the span of such diagonal restrictions and the dimension
of the span of toric and special cycles.
Contents
1 Introduction ............................................... 2
1.1 Intersection numbers of geodesics on modular curves ....................... 2
1.2 Main result ............................................. 3
1.3 Spans of diagonal restrictions and toric cycles ........................... 5
1.4 Examples .............................................. 6
2 Étale algebras with involutions and algebraic tori ............................ 7
2.1 Étale algebras as quadratic spaces ................................. 7
2.2 Étale algebras of maximal tori ................................... 10
3 Kudla-Millson theta correspondence .................................. 12
3.1 Weil representation ......................................... 12
3.2 (Co)homology of adelic spaces ................................... 14
3.3 Kudla-Millson theta lift ....................................... 16
3.4 Restriction of scalars and seesaw .................................. 17
3.5 Computations of the Hilbert modular form ............................. 21
3.6 Generating series of intersection numbers ............................. 23
4 Example of biquadratic fields ...................................... 25
4.1 Locally symmetric space ...................................... 26
4.2 Maximal torus in GSpinV...................................... 27
5 Spans of diagonal restrictions and toric cycles ............................. 30
References .................................................. 32
BRomain Branchereau
branchereauromain.math@gmail.com
1McGill, Burnside Hall, 805 Sherbrooke Street West, Montreal, Quebec H3A 0B9, Canada
123
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
We unfold the theta integrals defining the Kudla–Millson lift of genus 1 associated to even lattices of signature (b, 2), where b>2b>2b>2. This enables us to compute the Fourier expansion of such defining integrals and prove the injectivity of the Kudla–Millson lift. Although the latter result has been already proved in [5], our new procedure has the advantage of paving the ground for a strategy to prove the injectivity of the lift also for the cases of general signature and of genus greater than 1.
Article
Full-text available
A crucial ingredient in the theory of theta liftings of Kudla and Millson is the construction of a q -form φKM\varphi_{KM} on an orthogonal symmetric space, using Howe's differential operators. This form can be seen as a Thom form of a real oriented vector bundle. We show that the Kudla-Millson form can be recovered from a canonical construction of Mathai and Quillen. A similar result was obtaind by Garcia for signature (2,q) in case the symmetric space is hermitian and we extend it to arbitrary signature.
Article
Full-text available
We compute the diagonal restriction of the first derivative with respect to the weight of a p-adic family of Hilbert modular Eisenstein series attached to a general (odd) character of the narrow class group of a real quadratic field, and express the Fourier coefficients of its ordinary projection in terms of the values of a distinguished rigid analytic cocycle in the sense of Darmon and Vonk (Duke Math J, to appear, 2020) at appropriate real quadratic points of Drinfeld’s p-adic upper half-plane. This can be viewed as the p-adic counterpart of a seminal calculation of Gross and Zagier (J Reine Angew Math 355:191–220, 1985, §7) which arose in their “analytic proof” of the factorisation of differences of singular moduli, and whose inspiration can be traced to Siegel’s proof of the rationality of the values at negative integers of the Dedekind zeta function of a totally real field. Our main identity enriches the dictionary between the classical theory of complex multiplication and its extension to real quadratic fields based on RM values of rigid meromorphic cocycles, and leads to an expression for the p-adic logarithms of Gross–Stark units and Stark–Heegner points in terms of the first derivatives of certain twisted Rankin triple product p-adic L-functions.
Book
The first edition of this book provided the first systematic exposition of the arithmetic theory of algebraic groups. This revised second edition, now published in two volumes, retains the same goals, while incorporating corrections and improvements, as well as new material covering more recent developments. Volume I begins with chapters covering background material on number theory, algebraic groups, and cohomology (both abelian and non-abelian), and then turns to algebraic groups over locally compact fields. The remaining two chapters provide a detailed treatment of arithmetic subgroups and reduction theory in both the real and adelic settings. Volume I includes new material on groups with bounded generation and abstract arithmetic groups. With minimal prerequisites and complete proofs given whenever possible, this book is suitable for self-study for graduate students wishing to learn the subject as well as a reference for researchers in number theory, algebraic geometry, and related areas.
Article
We consider the Kudla–Millson theta series associated to a quadratic space of signature ( N , N ) {(N,N)} . By combining a “see-saw” argument with the Siegel–Weil formula, we show that its (regularized) integral along a torus attached to a totally real field of degree N is the diagonal restriction of an Eisenstein series. It allows us to express the Fourier coefficients of the diagonal restriction as intersection numbers, which generalizes a result of Darmon, Pozzi and Vonk to totally real fields.
Chapter
The theory of 'Monstrous Moonshine' has been a major development in mathematics since 1979. Beginning with remarkable conjectures relating finite group theory and number theory that stimulated an outpouring of new ideas, 'Monstrous Moonshine' deeply involves many different areas of mathematics, as well as string theory and conformal field theory in physics. It has changed the landscape of many fields. This volume consists of 17 papers by research leaders, based on talks presented at a workshop held to mark the anniversary of the 'Monstrous Moonshine' conjectures. The papers, which include surveys of many important developments, will give the reader a view of a wide range of current activity and promising directions for future research.
Article
These notes were written to be distributed to the audience of the first author’s Takagi Lectures delivered June 23, 2018. These are based on a work-in-progress that is part of a collaborative project that also involves Akshay Venkatesh.In this work-in-progress we give a new construction of some Eisenstein classes for GLN (Z) that were first considered by Nori [41] and Sczech [44]. The starting point of this construction is a theorem of Sullivan on the vanishing of the Euler class of SLN (Z) vector bundles and the explicit transgression of this Euler class by Bismut and Cheeger. Their proof indeed produces a universal form that can be thought of as a kernel for a regularized theta lift for the reductive dual pair (GLN, GL1). This suggests looking to reductive dual pairs (GLN, GLk) with k ≥ 1 for possible generalizations of the Eisenstein cocycle. This leads to fascinating lifts that relate the geometry/topology world of real arithmetic locally symmetric spaces to the arithmetic world of modular forms.In these notes we do not deal with the most general cases and put a lot of emphasis on various examples that are often classical.