On CM abelian varieties over imaginary quadratic fields

In this paper, we associate canonically to every imaginary quadratic field $K=\Bbb Q(\sqrt{-D})$ one or two isogenous classes of CM abelian varieties over $K$, depending on whether $D$ is odd or even ($D \ne 4$). These abelian varieties are characterized as of smallest dimension and smallest conductor, and such that the abelian varieties themselves descend to $\Bbb Q$. When $D$ is odd or divisible by 8, they are the `canonical' ones first studied by Gross and Rohrlich. We prove that these abelian varieties have the striking property that the vanishing order of their $L$-function at the center is dictated by the root number of the associated Hecke character. We also prove that the smallest dimension of a CM abelian variety over $K$ is exactly the ideal class number of $K$ and classify when a CM abelian variety over $K$ has the smallest dimension.Comment: 31 page

Difference of modular functions and their CM value factorization

In this paper, we use Borcherds lifting and the big CM value formula of Bruinier, Kudla, and Yang to give an explicit factorization formula for the norm of $\Psi(\frac{d_1+\sqrt{d_1}}2) -\Psi(\frac{d_2+\sqrt{d_2}}2)$, where $\Psi$ is the $j$-invariant or the Weber invariant $\omega_2$. The $j$-invariant case gives another proof of the well-known Gross-Zagier factorization formula of singular moduli, while the Weber invariant case gives a proof of the Yui-Zagier conjecture for $\omega_2$. The method used here could be extended to deal with other modular functions on a genus zero modular curve.Comment: accepted to appear in Trans. AM

Arithmetic Siegel-Weil formula on X0(N)X_{0}(N)

In this paper, we proved an arithmetic Siegel-Weil formula and the modularity of some arithmetic theta function on the modular curve $X_0(N)$ when $N$ is square free. In the process, we also construct some generalized Delta function for $\Gamma_0(N)$ and proved some explicit Kronecker limit formula for Eisenstein series on $X_0(N)$

Quaternions and Kudla's matching princple

In this paper, we prove some interesting identities, among average representation numbers (associated to definite quaternion algebras) and `degree' of Hecke correspondences on Shimura curves (associated to indefinite quaternion algebras)

Singular moduli refined

We prove a refinement of the results of Gross and Zagier on prime factorizations of singular moduli

CM fields of Dyhedral type and the Colmez conjecture

In this paper, we consider some CM fields which we call of dihedral type and compute the Artin $L$-functions associated to all CM types of these CM fields. As a consequence of this calculation, we see that the Colmez conjecture in this case is very closely related to understanding the log derivatives of certain Hecke characters of real quadratic fields. Recall that the `abelian case' of the Colmez conjecture, proved by Colmez himself, amounts to understanding the log derivatives of Hecke characters of \Q (cyclotomic characters). In this paper, we also prove that the Colmez conjecture holds for `unitary CM types of signature $(n-1, 1)$' and holds on average for `unitary CM types of a fixed CM number field of signature $(n-r, r)$'.Comment: accepted to appear in Manuscripta Mathematik

Arithmetic degrees of special cycles and derivatives of Siegel Eisenstein series

Let V be a rational quadratic space of signature (m,2). A conjecture of Kudla relates the arithmetic degrees of top degree special cycles on an integral model of a Shimura variety associated with SO(V) to the coefficients of the central derivative of an incoherent Siegel Eisenstein series of genus m+1. We prove this conjecture for the coefficients of non-singular index T when T is not positive definite. We also prove it when T is positive definite and the corresponding special cycle has dimension 0. To obtain these results, we establish new local arithmetic Siegel-Weil formulas at the archimedean and non-archimedian places.Comment: Final version, 61 pages, accepted by the Journal of the European Mathematical Society (JEMS

Twisted arithmetic Siegel Weil formula on X0(N)

In this paper, we study twisted arithmetic divisors on the modular curve X_0(N) with N square-free. For each pair (\Delta, r) where \Delta >0 and \Delta \equiv r^2 \mod 4N, we constructed a twisted arithmetic theta function \phi_{\Delta, r}(\tau) which is a generating function of arithmetic twisted Heegner divisors. We prove the modularity of \phi_{\Delta, r}(\tau), along the way, we also identify the arithmetic pairing \langle \phi_{\Delta, r}(\tau),\widehat{\omega}_N \rangle with special value of some Eisenstein series, where \widehat{\omega}_N is a normalized metric Hodge line bundle.Comment: 27page

The lambda invariants at CM points

In the paper, we show that $\lambda(z_1) -\lambda(z_2)$, $\lambda(z_1)$ and $1-\lambda(z_1)$ are all Borcherds products in $X(2) \times X(2)$. We then use the big CM value formula of Bruinier, Kudla, and Yang to give explicit factorization formulas for the norms of $\lambda(\frac{d+\sqrt d}2)$, $1-\lambda(\frac{d+\sqrt d}2)$, and $\lambda(\frac{d_1+\sqrt{d_1}}2) -\lambda(\frac{d_2+\sqrt{d_2}}2)$, with the latter under the condition $(d_1, d_2)=1$. Finally, we use these results to show that $\lambda(\frac{d+\sqrt d}2)$ is always an algebraic integer and can be easily used to construct units in the ray class field of $\mathbb{Q}(\sqrt{d})$ of modulus $2$. In the process, we also give explicit formulas for a whole family of local Whittaker functions, which are of independent interest

Faltings heights of CM cycles and derivatives of L-functions

We study the Faltings height pairing of arithmetic Heegner divisors and CM cycles on Shimura varieties associated to orthogonal groups. We compute the Archimedian contribution to the height pairing and derive a conjecture relating the total pairing to the central derivative of a Rankin L-function. We prove the conjecture in certain cases where the Shimura variety has dimension 0, 1, or 2. In particular, we obtain a new proof of the Gross-Zagier formula.Comment: 50 page