Related papers: Modular Heights of Quaternionic Shimura Curves

The Shimura-Taniyama conjecture states that the Mellin transform of the Hasse-Weil L-function of any elliptic curve defined over the rational numbers is a modular form. Recent work of Wiles, Taylor-Wiles and Breuil-Conrad-Diamond-Taylor has…

The Shimura correspondence connects modular forms of integral weights and half-integral weights. One of the directions is realized by the Shintani lift, where the inputs are holomorphic differentials and the outputs are holomorphic modular…

The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and,…

We develop a strategy for bounding from above the height of rational points of modular curves with values in number fields, by functions which are polynomial in the curve's level. Our main technical tools come from effective Arakelov…

For the $\mathbb{Z}$-lift $X_\mathbb{Z}$ of a monoid scheme $X$ of finite type, Deitmar-Koyama-Kurokawa calculated its absolute zeta function by interpolating $\#X_\mathbb{Z}(\mathbb{F}_q)$ for all prime powers $q$ using the Fourier…

Quaternionic modular forms on $\mathsf{G}_2$ carry a surprisingly rich arithmetic structure. For example, they have a theory of Fourier expansions where the Fourier coefficients are indexed by totally real cubic rings. For quaternionic…

This research provides a formal definition of the arithmetic theta lift for cusp forms of weight $3/2$ and establishes the arithmetic inner product formula, thereby completing the Kudla program on modular curves. This formula is…

Zagier proved that the traces of singular moduli, i.e., the sums of the values of the classical j-invariant over quadratic irrationalities, are the Fourier coefficients of a modular form of weight 3/2 with poles at the cusps. Using the…

Feng-Yun-Zhang have proved a function field analogue of the arithmetic Siegel-Weil formula, relating special cycles on moduli spaces of unitary shtukas to higher derivatives of Eisenstein series. We prove an extension of this formula in a…

Let D be a quaternion division algebra over a totally real number field F which splits exactly at one infinite place. We assume that there is a p-adic place where D doesn't split. Then the associated Shimura curve has a Cherednik…

In this article, we study special values of the Dedekind zeta function over an imaginary quadratic field. The values of the Dedekind zeta function at any even integer over any totally real number field is quite well known in literature. In…

The Gross-Zagier formula on singular moduli can be seen as a calculation of the intersection multiplicity of two CM divisors on the integral model of a modular curve. We prove a generalization of this result to a Shimura curve.

We study arithmetic intersections on twisted (quaternionic) Hilbert modular surfaces and Shimura curves over a real quadratic field. Our first main result is the determination of the degree of the top arithmetic Todd class of an arithmetic…

Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit…

Suppose that $\ell \geq 5$ is prime. For a positive integer $N$ with $4 \mid N$, previous works studied properties of half-integral weight modular forms on $\Gamma_0(N)$ which are supported on finitely many square classes modulo $\ell$, in…

We prove that, over an arbitrary CM field, every symmetric formal Fourier-Jacobi series converges and equals the Fourier-Jacobi expansion of a genuine Hermitian Hilbert modular form. As an application, we show that the Chow-valued Kudla…

We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of…

Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is…

In a series of papers we have been studying the geometric theta correspondence for non-compact arithmetic quotients of symmetric spaces associated to orthogonal groups. It is our overall goal to develop a general theory of geometric theta…

Mock modular forms, which give the theoretical framework for Ramanujan's enigmatic mock theta functions, play many roles in mathematics. We study their role in the context of modular parameterizations of elliptic curves $E/\mathbb{Q}$. We…