8 pages. Essentially final version, appeared in Duke Math. Journal 136 (2007), no. 2. This version does not incorporate any minor changes (e.g. typographical changes) made in proof
We prove a companion forms theorem for mod l Hilbert modular forms. This work generalises results of Gross and Coleman--Voloch for modular forms over Q, and gives a new proof of their results in many cases. The methods used are completely different to previous work in this area, and rely on modularity lifting theorems and the general theory of deformations of Galois representations.
We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2<k<p, which is totally ordinary at p and has tamely ramified Galois representation at all primes dividing p, then there is a "companion form" of parallel weight k':=p+1-k. This work generalises results of Gross and Coleman-Voloch for modular forms over Q.
Let $p>2$ be prime, and let $F$ be a totally real field in which $p$ is unramified. We give a sufficient criterion for a mod $p$ Galois representation to arise from a mod $p$ Hilbert modular form of parallel weight one, by proving a "companion forms" theorem in this case. The techniques used are a mixture of modularity lifting theorems and geometric methods. As an application, we show that Serre's conjecture for $F$ implies Artin's conjecture for totally odd two-dimensional representations over $F$.
We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first author. We deduce results about the possible Serre weights of mod l Galois representations corresponding to automorphic representations on unitary groups. We then use functoriality to prove similar results for automorphic representations of GSp4 over totally real fields.
We study the structure of the Eisenstein component of Hida's ordinary p-adic Hecke algebra attached to modular forms, in connection with the companion forms in the space of modular forms (mod p). We show that such an algebra is a Gorenstein ring if certain space of modular forms (mod p) having companions is one-dimensional; and also give a numerical criterion for this one-dimensionality. This in part overlaps with a work of Skinner and Wiles; but our method, based on a work of Ulmer, is totally different. We then consider consequences of the above mentioned Gorenstein property. We especially d…
We prove the existence of a potentially diagonalizable lift of a given automorphic mod $p$ Galois representation $\overlineρ:{\rm Gal}(\overline{F}/F)\longrightarrow {\rm GSp}_4(\overline{\mathbb{F}}_p)$ for any totally real field $F$ and any rational prime $p>2$ under the adequacy condition by using automorphic lifting techniques developed by Barnet-Lamb, Gee, Geraghty, and Taylor. As an application, when $p$ is split completely in $F$, we prove a variant of Serre's weight conjecture for $\overlineρ$. The formulation of our Serre conjecture is done by following Toby Gee's philosophy. Applying…
In this article, we construct differential modular forms for compact Shimura curves over totally real fields bigger than rational of non-zero integral weights that is not classical (of order zero) generalizing the construction of Buium [8].
We prove that an additive form of degree $d=2m$, $m$ odd over any totally ramified extension of $\mathbb{Q}_2$ has a nontrivial zero if the number of variables $s$ satisifies $s \ge \frac{d^2}{4} + 3d + 1$.
We prove explicit formulas for the $p$-adic $L$-functions of totally real number fields and show how these formulas can be used to compute values and representations of $p$-adic $L$-functions.
We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting $p \mapsto 1/p$.
We study the possible weights of an irreducible 2-dimensional modular mod p representation of the absolute Galois group of F, where F is a totally real field which is totally ramified at p, and the representation is tamely ramified at the prime above p. In most cases we determine the precise list of possible weights; in the remaining cases we determine the possible weights up to a short and explicit list of exceptions.
We prove the non-vanishing of special $L$-values of cuspidal automorphic forms on GL(2) twisted by Hecke characters of prime power orders and totally split prime power conductors. Main ingredients of the proof are estimating the Galois averages of fast convergent series expressions of special $L$-values and considering Shintani cone decomposition.
As a continuation of previous work, we establish sum expressions for $p$-adic Hecke $L$-functions of totally real fields in the sense of Delbourgo, assuming a totally real analog of Heegner hypothesis. This is done by finding explicit formulas of the periods of the corresponding $p$-adic measures. As an application, we extend the Ferrero-Greenberg formula of derivatives of $p$-adic $L$-functions to this setting.
A rational positive-definite quadratic form is perfect if it can be reconstructed from the knowledge of its minimal nonzero value m and the finite set of integral vectors v such that f(v) = m. This concept was introduced by Voronoi and later generalized by Koecher to arbitrary number fields. One knows that up to a natural "change of variables'' equivalence, there are only finitely many perfect forms, and given an initial perfect form one knows how to explicitly compute all perfect forms up to equivalence. In this paper we investigate perfect forms over totally real number fields. Our main resu…
We show that if $K$ is a monogenic, primitive, totally real number field, that contains units of every signature, then there exists a lower bound for the rank of integer universal quadratic forms defined over $K$. In particular, we extend the work of Blomer and Kala, to show that there exist infinitely many totally real cubic number fields that do not have a universal quadratic form of a given rank defined over them. For the real quadratic number fields with a unit of negative norm, we show that the minimal rank of a universal quadratic form goes to infinity as the discriminant of the number f…
Let $d$ be a positive fundamental discriminant, and let $\mathcal{C}_{d}$ be the set of isomorphism classes of cubic number fields of discriminant $d$. For each $K \in \mathcal{C}_{d}$, we construct a weight 1 modular form $f_{K}$ with level $3^{\pm 1}d$ and nebentypus $\left( \frac{-3^{\pm 1}d}{\cdot} \right)$. We show that the form $f_{K}$ completely determines the field $K$. Moreover, we show that $\{f_{K} : K \in \mathcal{C}_{d}\}$ is a linearly independent set.
We describe an efficient algorithm to calculate generators of power integral bases in composites of totally real fields with imaginary quadratic fields. We show that the calculation can be reduced to solving index form equations in the original totally real fields. We illustrate our method by investigating monogenity in the infinite parametric family of imaginary quadratic extensions of the simplest quartic fields.
In a recent paper, Freitas and Siksek proved an asypmtotic version of Fermat's Last Theorem for many totally real fields. We prove an extension of their result to generalized Fermat equations of the form $A x^p+B y^p+ C z^p=0$, where $A$, $B$, $C$ are odd integers belonging to a totally real field.
We interpolate cohomology classes attached to families of Hilbert modular forms. Using this we construct a two variable $p$-adic L-function which interpolates one variable $p$-adic L-functions.
Let $K$ be a totally real number field of degree $n$ over $\mathbb{Q}$, with discriminant and regulator $Δ_K, R_K$ respectively. In this paper, using a similar method to van Woerden, we prove that the number of classes of perfect unary forms, up to equivalence and scaling, can be bounded above by $O( Δ_K \exp(2n \log(n)+f(n,R_K)))$, where $f(n,R_K)$ is a finite value, satisfying $f(n,R_K)=\frac{\sqrt{n-1}}{2}R_K^{\frac{1}{n-1}}+\frac{4}{n-1}\log(\sqrt{|Δ_K|})^2$ if $n \leq 11$. Moreover, if $K$ is a unit reducible field, the number of classes of perfect unary forms is bound above by $O( Δ_K \e…
In this paper, congruences between holomorphic Hilbert modular forms are studied. We show the best possible level optimization result outside l for l > 2 by solving the remaining case of Mazur principle when the degree of the totally real field is even.
Some time ago we extended our monogenity investigations and calculations of generators of power integral bases to the relative case. Up to now we considered (usually totally real) extensions of complex quartic fields. In the present paper we consider power integral bases in relative extensions of totally real fields. Totally complex quartic extensions of totally real number fields seems to be the most simple case, that we detail here. As we shall see, even in this case we have to overcome several unexpected difficulties, which we can, however solve by properly (but not trivially) adjusting sta…
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes (resp. unit groups of maximal orders). For each finite noncyclic group $G$, we give an explicit formula for the number of conjugacy classes of maximal orders whose unit groups modulo center are isomorphic to $G$, and write down a representative for each conjugacy class. This leads to a complete recipe (even explicit formulas in special cases) for the refined …
Let $K$ be a global field or $\overline{\mathbb Q}$, $F$ a nonzero quadratic form on $K^N$, $N \geq 2$, and $V$ a subspace of $K^N$. We prove the existence of an infinite collection of finite families of small-height maximal totally isotropic subspaces of $(V,F)$ such that each such family spans $V$ as a $K$-vector space. This result generalizes and extends a well known theorem of J. Vaaler and further contributes to the effective study of quadratic forms via height in the general spirit of Cassels' theorem on small zeros of quadratic forms. All bounds on height are explicit.
We use results by Chenevier to interpolate the classical Jacquet-Langlands correspondence for Hilbert modular forms, which gives us an extension of Chenevier's results to totally real fields. From this we obtain an isomorphisms between eigenvarieties attached Hilbert modular forms and those attached to modular forms on a totally definite quaternion algebra over a totally real field of even degree.
The main result of this text is a generalization of Perrin-Riou's p-adic Gross-Zagier formula to the case of Shimura curves over totally real fields. Let $F$ be a totally real field. Let $f$ be a Hilbert modular form over $F$ of parallel weight $2$, which is a new form and is ordinary at $p$. Let $E$ be a totally imaginary quadratic extension of $F$ of discriminant prime to $p$ and to the conductor of $f$. We may construct a $p$-adic $L$ function that interpolates special values of the complex $L$ functions associated to $f$, $E$ and finite order Hecke characters of $E$. The $p$-adic Gross-Zag…
We completely calculate the Fitting ideal of the classical $p$-ramified Iwasawa module for any abelian extension $K/k$ of totally real fields, using the shifted Fitting ideals recently developed by the second author. This generalizes former results by the first and third authors where we had to assume that only $p$-adic places may ramify in $K/k$. One of the important ingredients is the computation of some complexes in appropriate derived categories.
Bertolini-Darmon and Mok proved a formula of the second derivative of the two-variable $p$-adic $L$-function of a modular elliptic curve over a totally real field along the Hida family in terms of the image of a global point by some $p$-adic logarithm map. The theory of $p$-adic indefinite integrals and $p$-adic multiplicative integrals on $p$-adic upper half planes plays an important role in their work. In this paper, we generalize these integrals for $p$-adic measures which are not necessarily $\mathbf{Z}$-valued, and prove a formula of the second derivative of the two-variable $p$-adic $L$-…
We show that there is a relationship between modular forms and totally odd multiple zeta values, by relating the matrix $E_{N,r}$, whose entries are given by the polynomial representations of the Ihara action, with even period polynomials. We also consider the matrix $C_{N,r}$ defined by Brown and give a new upper bound of the rank of $C_{N,4}$. This result gives support to the uneven part of the motivic Broadhurst-Kreimer conjecture of depth 4.
W. Luo and P. Sarnak have proved the quantum unique ergodicity property for Eisenstein series on $\rm{PSL}(2,\mathbb{Z}) \backslash H$. We extend their result to Eisenstein series on $\rm{PSL}(2,O) \backslash H^n$, where $O$ is the ring of integers in a totally real field of degree $n$ over $Q$ with narrow class number one, using the Eisenstein series considered by I. Efrat. We also give an expository treatment of the theory of Hecke operators on non-holomorphic Hilbert modular forms.
In 1987 Serre conjectured that any mod l ("ell", not "1") two-dimensional irreducible odd representation of the absolute Galois group of the rationals came from a modular form in a precise way. We present a generalisation of this conjecture to 2-dimensional representations of the absolute Galois group of a totally real field where l is unramified. The hard work is in formulating an analogue of the "weight" part of Serre's conjecture. Serre furthermore asked whether his conjecture could be rephrased in terms of a "mod l Langlands philosophy". Using ideas of Emerton and Vigneras, we formulate a …
In this paper we determine the number of endomorphism rings of superspecial abelian surfaces over a field $\mathbb{F}_q$ of odd degree over $\mathbb{F}_p$ in the isogeny class corresponding to the Weil $q$-number $\pm\sqrt{q}$. This extends earlier works of T.-C. Yang and the present authors on the isomorphism classes of these abelian surfaces, and also generalizes the classical formula of Deuring for the number of endomorphism rings of supersingular elliptic curves. Our method is to explore the relationship between the type and class numbers of the quaternion orders concerned. We study the Pi…
Let F be a totally real number field. Using a recent geometric approach developed by Andreatta and Iovita we construct several variables p-adic families of finite slope quaternionic automorphic forms over F. It is achieved by interpolating the modular sheaves defined over some auxiliary unitary Shimura curves. Secondly, we attach p-adic L-functions to triples of ordinary p-adic families of quaternionic automorphic eigenforms. This is done by relating trilinear periods to some trilinear products over unitary Shimura curves which can be interpolated adapting the work of Liu-Zhang-Zhang to our fa…
We give a list of $PGL_2(\mathbb{F}_\ell)$ number fields for $\ell \geq 11$ which have rational companion forms. Our list has fifty-three fields and seems likely to be complete. Some of the fields on our list are very lightly ramified for their Galois group.
We introduce a ray class invariant $X(C)$ for a totally real field, following Shintani's work in the real quadratic case. We prove a factorization formula $X=X_1... X_n$ where each $X_i=X_i(C)$ corresponds to a real place. Although this factorization depends a priori on some choices (especially on a cone decomposition), we can show that it is actually independent of these choices. Finally, we describe the behavior of $X_i(C)$ when the signature of $C$ at a real place is changed. This last result is also interpreted into an interesting behavior of the derivative $L'(0,χ)$ of $L$-functions.
Let $F(x,y)$ be an irreducible binary form of degree $\geq 3$ with integer coefficients and with real roots. Let $M$ be an imaginary quadratic field, with ring of integers $Z_M$. Let $K>0$. We describe an efficient method how to reduce the resolution of the relative Thue inequalities \[ |F(x,y)|\leq K \;\; (x,y\in Z_M) \] to the resolution of absolute Thue inequalities of type \[ |F(x,y)|\leq k \;\; (x,y\in Z). \] We illustrate our method with an explicit example.
One of the most significant discrete invariants of a quadratic form $ϕ$ over a field $k$ is its (full) splitting pattern, a finite sequence of integers which describes the possible isotropy behaviour of $ϕ$ under scalar extension to arbitrary overfields of $k$. A similarly important, but more accessible variant of this notion is that of the Knebusch splitting pattern of $ϕ$, which captures the isotropy behaviour of $ϕ$ as one passes over a certain prescribed tower of $k$-overfields. In this paper, we determine all possible values of this latter invariant in the case where $ϕ$ is totally singul…
Generalizing work of Gross--Zagier and Schofer on singular moduli, we study the CM values of regularized theta lifts of harmonic Whittaker forms. We compute the archimedian part of the height pairing of arithmetic special divisors and CM cycles on Shimura varieties associated to certain quadratic spaces over an arbitrary totally real base field. As a special case, we obtain an explicit formula for the norms of the CM values of those meromorphic modular forms arising as regularized theta lifts of holomorphic Whittaker forms.
We define a regularized theta lift from SL_2 to orthogonal groups over totally real fields. It takes harmonic `Whittaker forms' to automorphic Green functions and weakly holomorphic Whittaker forms to meromorphic modular forms on orthogonal groups with zeros and poles supported on special divisors, generalizing Borcherds' work on automorphic products. To prove our results we use the spectral expansion of the lift and study its relationship with the cohomological theta lift of Kudla and Millson.
This article grew out of my talk in "The Legacy of Srinivasa Ramanujan" conference where I spoke about some techniques to prove algebraicity results for the special values of symmetric cube L-functions attached to the Ramanujan Δ-function. If one wishes to compare these different techniques, then one needs to compare various automorphic periods attached to the symmetric cube transfer of Δ. Motivated by this problem, in this article we provide comparison results for Whittaker-Betti periods, Shalika-Betti periods and certain relative periods attached to a given cohomological cuspidal automorphic…
We classify all post-critically finite unicritical polynomials defined over the maximal totally real algebraic extension of ${\mathbb Q}$. Two auxiliary results used in the proof of this result may be of some independent interest. The first is a recursion formula for the $n$-diameter of an interval, which uses properties of Jacobi polynomials. The second is a numerical criterion which allows one to the give a bound on the degree of any algebraic integer having all of its complex embeddings in a real interval of length less than $4$.
We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree $d$ associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at $e$ real places and $(n+2,0)$ at the remaining $d-e$ real places for $1\leq e <d$. Recently, these cycles were constructed by Kudla and Rosu-Yott and they proved that the generating series of special cycles in the cohomology group is a Hilbert-Siegel modular form of half integral weight. We prove that, assuming the Beilinson-Bloch conjecture on the injectivity of the higher Abel-Jacobi map, the generating serie…