We show that certain spaces of vector valued modular forms are isomorphic to spaces of scalar valued modular forms whose Fourier coefficients are supported on suitable progressions. As an application we give a very explicit description of Borcherds products on Hilbert modular surfaces.
We prove that there are only finitely many isometry classes of even lattices $L$ of signature $(2,n)$ for which the space of cusp forms of weight $1+n/2$ for the Weil representation of the discriminant group of $L$ is trivial. We compute the list of these lattices. They have the property that every Heegner divisor for the orthogonal group of $L$ can be realized as the divisor of a Borcherds product. We obtain similar classification results in greater generality for finite quadratic modules.
In his striking 1995 paper, Borcherds found an infinite product expansion for certain modular forms with CM divisors. In particular, this applies to the Hilbert class polynomial of discriminant $-d$ evaluated at the modular $j$-function. Among a number of powerful generalizations of Borcherds' work, Zagier made an analogous statement for twisted versions of this polynomial. He proves that the exponents of these product expansions, $A(n,d)$, are the coefficients of certain special half-integral weight modular forms. We study the congruence properties of $A(n,d)$ modulo a prime $\ell$ by relatin…
We give a factorization of averages of Borcherds forms over CM points associated to a quadratic form of signature (n,2). As a consequence of this result, we are able to state a theorem like that of Gross and Zagier about which primes can occur in this factorization. One remarkable phenomenon we observe is that the regularized theta lift of a weakly holomorphic modular form is always finite.
Let $p$ be a prime for which the congruence group $Γ_0(p)^*$ is of genus zero, and $j_p^*$ be the corresponding Hauptmodul. Let $f$ be a nearly holomorphic modular form of weight 1/2 on $Γ_0(4p)$ which satisfies some congruence condition on its Fourier coefficients. We interpret $f$ as a vector valued modular form. Applying Borcherds lifting of vector valued modular forms we construct infinite products associated to $j_p^*$ and extend Zagier's trace formula for singular values of $j_p^*$. Further we investigate the twisted traces of sigular values of $j_p^*$ and construct Borcherds products re…
It was conjectured by Gauss that any negative discriminant with at least 32 genera has at least two classes of binary quadratic forms in each genus. We prove that such a discriminant cannot have a particularly large prime factor, by an argument similar to that of Baker's solution to Gauss' class number one problem.
For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.
We study p-divisibility of discriminants of Hecke algebras associated to spaces of cusp forms of prime level. We make a precise conjecture about the indexes of Hecke algebras in their normalisation which implies (if true) the conjecture that there are no mod p congruences between non-conjugate newforms of weight 2 and level Gamma_0(p).
We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.
Let $X_0^6(1)/W_6$ be the Atkin-Lehner quotient of the Shimura curve $X_0^6(1)$ associated to a maximal order in an indefinite quaternion algebra of discriminant $6$ over $\mathbb Q$. By realizing modular forms on $X_0^6(1)/W_6$ in two ways, one in terms of hypergeometric functions and the other in terms of Borcherds forms, and using Schofer's formula for values of Borcherds forms at CM-points, we obtain special values of certain hypergeometric functions in terms of periods of elliptic curves over $\overline\mathbb Q$ with complex multiplication.
We describe a relationship between the representation theory of the Thompson sporadic group and a weakly holomorphic modular form of weight one-half that appears in work of Borcherds and Zagier on Borcherds products and traces of singular moduli. We conjecture the existence of an infinite dimensional graded module for the Thompson group and provide evidence for our conjecture by constructing McKay--Thompson series for each conjugacy class of the Thompson group that coincide with weight one-half modular forms of higher level. We also observe a discriminant property in this moonshine for the Tho…
In this paper, we obtain an asymptotic formula for the number of imaginary quadratic fields with prime discriminant and class number up to $H$, as $H\to \infty$. Previously, such an asymptotic was only known under the assumption of the Generalized Riemann Hypothesis, by the recent work of Holmin, Jones, Kurlberg, McLeman and Petersen.
We state and prove an identity which connects theta series associated with binary quadratic forms of idoneal discriminants $Δ$ and $Δp^2$, for $p$ a prime. Employing this identity, we extend the results of Toh by writing the theta series of forms of discriminant $Δp^2$ as a linear combination of Lambert series. We then use these Lambert series decompositions to give explicit representation formulas for the forms of discriminant $Δp^2$. Lastly, we give a generalization of our main identity, which employs a map of Buell to connect forms of discriminant $Δ$ to $Δp^2$. Our generalized identity lin…
The discriminant of a polynomial of the form $\pm x^n \pm x^m \pm 1$ has the form $n^n \pm m^m(n-m)^{n-m}$ when $n,m$ are relatively prime. We investigate when these discriminants have prime power divisors. We explain several symmetries that appear in the classification of these values of $n,m$. We prove that there are infinitely many pairs of integers $n,m$ for which this discriminant has no prime cube divisors. This result is extended to show that for infinitely many fixed $m$, there are infinitely many $n$ for which the discriminant has no prime cube divisor.
We consider the simplest quartic number fields $\mathbb{K}_m$ defined by the irreducible quartic polynomials $$x^4-mx^3-6x^2+mx+1,$$ where $m$ runs over the positive rational integers such that the odd part of $m^2+16$ is squarefree. In this paper, we study the common index divisor $I(\mathbb K_m)$ and determine explicitly the prime ideal decomposition for any prime number in any simplest quartic number fields $\mathbb{K}_m$. On the other hand, we establish an asymptotic formula for the number of simplest quartic fields with discriminant $\leq x$ and given index.
Let $Q$ be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer $n$ by $Q$. This problem is connected with deriving an upper bound on the Petersson norm $\langle C, C \rangle$ of the cuspidal part of the theta series of $Q$. We derive an upper bound on $\langle C, C \rangle$ that depends on the smallest positive integer not represented by the dual form $Q^{*}$. In addition, we give a non-trivial upper bound on the sum of the integers $n$ excepted by $Q$.
We define the notion of a weighted discriminant and corresponding counting function for number fields, and what it means for these counting functions to have a mass formula for a set of primes. We extend a result of Kedlaya to show that any proper counting function for a finite group $Γ$ has a mass formula for the set of primes not dividing $|Γ|$. We also prove that if $Γ$ is an $\ell$-group for some prime $\ell$, then there are only finitely many weighted discriminant counting functions for $Γ$-extensions of $\Q$ that have a mass formula for all primes. Finally, we enumerate all such counting…
We investigate the average distribution of primes represented by positive definite integral binary quadratic forms, the average being taken over negative fundamental discriminants in long ranges. In particular, we prove corresponding results of Bombieri-Vinogradov type and of Barban-Davenport-Halberstam type, although with shorter ranges than in the original theorems for primes in arithmetic progressions: The results imply that, for all $a>0$, the least prime that can be represented by any given positive definite binary quadratic form of discriminant $q$ is smaller than $|q|^{7+a}$ for all for…
The discriminant of a trinomial of the form $x^n \pm x^m \pm 1$ has the form $\pm n^n \pm (n-m)^{n-m} m^m$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^2-n+1)/3)^2$ always divides $n^n - (n-1)^{n-1}$. In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide …
For a radical extension K of odd prime degree the ring O_K of integers is constructed as a product of subrings with the following property: for all prime divisors q of the discriminant of O_K there is a q-maximal factor. The discriminant of O_K is the greatest common divisor of the discriminants of all factors. The results are applied to give a criterion for the monogeneity of K where the opposite is not true.
We establish an isomorphism between certain complex-valued and vector-valued modular form spaces of half-integral weight, generalizing the well-known isomorphism between modular forms for $Γ_0(4)$ with Kohnen's plus condition and modular forms for the Weil representation associated to the discriminant form for the lattice with Gram matrix $(2)$. With such an isomorphism, we prove the Zagier duality and write down the Borcherds lifts explicitly.
Let $K=\mathbb Q(θ)$ be an algebraic number field with $θ$ a root of an irreducible trinomial $f(x)=x^6+ax+b$ belonging to $\mathbb{Z}[x]$. In this paper, for each prime number $p$ we compute the highest power of $p$ dividing the discriminant of $K$ in terms of the prime powers dividing $a,~b$ and discriminant of $f(x)$. An explicit $p$-integral basis of $K$ is also given for each prime $p$ and a method is described to obtain an integral basis of $K$ from these $p$-integral bases which is illustrated with examples.
In this paper we consider several problems in the theory of automorphic products and generalized Kac--Moody algebras proposed by Borcherds in 1995. We show that the denominator of the fake monster algebra defines the unique holomorphic Borcherds product of singular weight on a maximal lattice. We give a full classification of symmetric holomorphic Borcherds products of singular weight on lattices of prime level. Finally we prove that all twisted denominator identities of the fake monster algebra arise as the Fourier expansions of Borcherds products of singular weight at a certain cusp. The pro…
Let $K=\mathbb{Q}(\sqrt[n]{a})$ be an extension of degree $n$ of the field $\Q$ of rational numbers, where the integer $a$ is such that for each prime $p$ dividing $n$ either $p\nmid a$ or the highest power of $p$ dividing $a$ is coprime to $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The paper contains an explicit formula for the discriminant of $K$ involving only the prime powers dividing $a,n$.
Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, where "very few" is measured relative to the absolute discriminant of the field. This paper surveys recent progress toward this conjecture, and outlines its close connections to counting prime numbers,…
We report extensive computational evidence that Gauss period equations are minimal discriminant polynomials for primitive elements representing Abelian (cyclic) polynomials of prime degrees $p$. By computing 200 period equations up to $p=97$, we significantly extend tables in the compendious number fields database of Klüners and Malle. Up to $p=7$, period equations reproduce known results proved to have minimum discriminant. For $11\leq p\leq 23$, period equations coincide with 53 known but unproved cases of minimum discriminant in the database, and fill a gap of 19 missing cases. For $29\leq …
Let $K = \Q(θ)$ be an algebraic number field with $θ$ satisfying an irreducible polynomial $x^{9} - a$ over the field $\Q$ of rationals and $\Z_K$ denote the ring of algebraic integers of $K$. In this article, we provide the exact power of each prime which divides the index of the subgroup $\Z[θ]$ in $\Z_K$. Further, we give a $p$-integral basis of $K$ for each prime $p$. These $p$-integral bases lead to a construction of an integral basis of $K$ which is illustrated with examples.
Let $f$ be a primitive positive definite integral binary quadratic form of discriminant $-D$ and let $π_f(x)$ be the number of primes up to $x$ which are represented by $f$. We prove several types of upper bounds for $π_f(x)$ within a constant factor of its asymptotic size: unconditional, conditional on the Generalized Riemann Hypothesis (GRH), and for almost all discriminants. The key feature of these estimates is that they hold whenever $x$ exceeds a small power of $D$ and, in some cases, this range of $x$ is essentially best possible. In particular, if $f$ is reduced then this optimal range…
We study the algebras of modular forms on type IV symmetric domains for simple lattices; that is, lattices for which every Heegner divisor occurs as the divisor of a Borcherds product. For every simple lattice $L$ of signature $(n,2)$ with $3\leq n \leq 10$, we prove that the graded algebra of modular forms for the maximal reflection subgroup of the orthogonal group of $L$ is freely generated. We also show that, with five exceptions, the graded algebra of modular forms for the maximal reflection subgroup of the discriminant kernel of $L$ is also freely generated.
Let d1 and d2 be discriminants of distinct quadratic imaginary orders O_d1 and O_d2 and let J(d1,d2) denote the product of differences of CM j-invariants with discriminants d1 and d2. In 1985, Gross and Zagier gave an elegant formula for the factorization of the integer J(d1,d2) in the case that d1 and d2 are relatively prime and discriminants of maximal orders. To compute this formula, they first reduce the problem to counting the number of simultaneous embeddings of O_d1 and O_d2 into endomorphism rings of supersingular curves, and then solve this counting problem. Interestingly, this counti…
Let $E$ be an elliptic curve over $\Q$. It is well known that the ring of endomorphisms of $E_p$, the reduction of $E$ modulo a prime $p$ of ordinary reduction, is an order of the quadratic imaginary field $Q(π_p)$ generated by the Frobenius element $π_p$. When the curve has complex multiplication (CM), this is always a fixed field as the prime varies. However, when the curve has no CM, very little is known, not only about the order, but about the fields that might appear as algebra of endomorphisms varying the prime. The ring of endomorphisms is obviously related with the arithmetic of $a_p^2…
In this note, we consider discriminant forms that are given by the norm form of real quadratic fields and their induced Weil representations. We prove that there exists an isomorphism between the space of vector-valued modular forms for the Weil representations that are invariant under the action of the automorphism group and the space of scalar-valued modular forms that satisfy some epsilon-condition, with which we translate Borcherds's theorem of obstructions to scalar-valued modular forms. In the end, we consider an example in the case of level 12.
Let $ψ: A \to F\{τ\}$ be a Drinfeld $A$-module over $F$ of rank 2 and without complex multiplication, where $A = {\mathbb{F}}_q[T]$, $F = {\mathbb{F}}_q(T)$, and $q$ is an odd prime power. For a prime $\mathfrak{p} = p A$ of $A$ of good reduction for $ψ$ and with residue field ${\mathbb{F}}_{\mathfrak{p}}$, we study the growth of the absolute value $|Δ_{\mathfrak{p}}|$ of the discriminant of the ${\mathbb{F}}_{\mathfrak{p}}$-endomorphism ring of the reduction of $ψ$ modulo $\mathfrak{p}$. We prove that for all $\mathfrak{p}$, $|Δ_{\mathfrak{p}}|$ grows with $|p|$. Moreover, we prove that for a…
We estimate the number of primes represented by a general quadratic polynomial with discriminant $Δ$, assuming that the corresponding real character is exceptional.
In this paper, we investigate sign changes of Fourier coefficients of half-integral weight cusp forms. In a fixed square class $t\mathbb{Z}^2$, we investigate the sign changes in the $tp^2$-th coefficient as $p$ runs through the split or inert primes over the ring of integers in a quadratic extension of the rationals. We show that sign changes occur in both sets of primes when there exists a prime dividing the discriminant of the field which does not divide the level of the cusp form and find an explicit condition that determines whether sign changes occur when every prime dividing the discrim…
For a prime power $q$, we show that the discriminants of monic polynomials in $\mathbb{F}_q[x]$ of a fixed degree $m$ are equally distributed if $\gcd(q-1,m(m-1))=2$ when $q$ is odd and $\gcd(q-1,m(m-1))=1$ if $q$ is even. A theorem in the converse direction is proved when $q-1$ is squarefree.
Let $\ell>2$ be a positive integer, $ζ_\ell$ a primitive $\ell$-th root of unity, and $K$ a number field containing $ζ_\ell+ζ_\ell^{-1}$ but not $ζ_\ell$. In a recent paper, Chonoles et. al. study iterated towers of number fields over $K$ generated by the generalized Rikuna polynomial, $r_n(x,t;\ell) \in K(t)[x]$. They note that when $K = \mathbb{Q}$, $t \in \{0,1\}$, and $\ell=3$, the only ramified prime in the resulting tower is 3, and they ask under what conditions is the number of ramified primes small. In this paper, we apply a theorem of Guàrdia, Montes, and Nart to derive a formula for …
When the discriminants $Δ$ and $Δp^2$ are idoneal, Patane proved a theorem which connects the theta series associated to binary quadratic forms of each discriminant. This paper generalizes the main theorem of Patane by no longer requiring $Δ$ and $Δp^2$ to be idoneal. In particular, we state and prove an identity which connects the theta series associated to a single binary quadratic form of discriminant $Δ$ to a theta series associated to a subset of binary quadratic forms of discriminant $Δp^2$. Here and everywhere $p$ is a prime.
Let $D<0$ be a fundamental discriminant and $h(D)$ be the class number of $\mathbb{Q}(\sqrt{D})$. Let $R(X,D)$ be the number of classes of the binary quadratic forms of discriminant $D$ which represent a prime number in the interval $[X,2X]$. Moreover, assume that $π_{D}(X)$ is the number of primes, which split in $\mathbb{Q}(\sqrt{D})$ with norm in the interval $[X,2X].$ We prove that $$ \Big(\frac{π_D(X)}{π(X)}\Big)^2 \ll \frac{R(X,D)}{h(D)}\Big(1+\frac{h(D)}{π(X)}\Big), $$ where $π(X)$ is the number of primes in the interval $[X,2X]$ and the implicit constant in $\ll$ is independent of $D$ …
Using Kummer theory for a finite extension K of \Qp(ζ)(where p is a prime number and ζa primitive p-th root of~1), we compute the ramification filtration and the discriminant of an arbitrary elementary abelian p-extension of K. We also develop the analogous Artin-Schreier theory for finite extensions of \Fp((π)) and derive similar results for their elementary abelian p-extensions.
Given a Hilbert cuspidal newform $g$ we construct a family of modular forms of half-integral weight whose Fourier coefficients give the central values of the twisted $L$-series of $g$ by fundamental discriminants. The family is parametrized by quadratic conditions on the primes dividing the level of $g$, where each form has coefficients supported on the discriminants satisfying the conditions. These modular forms are given as generalized theta series and thus their coefficients can be effectively computed. Our construction works over arbitrary totally real number fields, except that in the cas…
Let $p$ and $q$ be two distinct prime numbers, and $X^{pq}/w_q$ be the quotient of the Shimura curve of discriminant $pq$ by the Atkin-Lehner involution $w_q$. We describe a way to verify in wide generality a criterion of Parent and Yafaev to prove that if $p$ and $q$ satisfy some explicite congruence conditions, known as the conditions of the non ramified case of Ogg, and if $p$ is large enough compared to $q$, then the quotient $X^{pq}/w_q$ has no rational point, except possibly special points.
The equidistribution of roots of quadratic congruences with prime moduli depends crucially upon effective bounds for a special Weyl linear form. Duke, Friedlander and Iwaniec discovered a strong estimate for this Weyl linear form when the quadratic polynomial has negative discriminant. Tóth established an analogous but weaker bound when the quadratic polynomial has positive discriminant. We obtain a stronger estimate for the Weyl linear form for quadratics of positive discriminants.
Let $F_\infty=\mathbb{F}_q(\!(1/T)\!)$ be the completion of $\mathbb{F}_q(T)$ at $1/T$. We develop a theory of Fourier expansions for harmonic cochains on the edges of the Bruhat-Tits building of $\mathrm{PGL}_r(F_\infty)$, $r\geq 2$, generalizing an earlier construction of Gekeler for $r=2$. We then apply this theory to study modular units on the Drinfeld symmetric space $Ω^r$ over $F_\infty$, and the cuspidal divisor groups of Satake compactifications of certain Drinfeld modular varieties. In particular, we obtain a higher dimensional analogue of a result of Ogg for classical modular curves …
The purpose of this note is to suggest an analogue for genus 2 curves of part of Gross and Zagier's work on elliptic curves. Experimentally, for genus 2 curves with CM by a quartic CM field K, it appears that primes dividing the denominators of the discriminants of the Igusa class polynomials all have the property 1) that they are bounded by d, the absolute value of the discriminant of K, and 2) that they divide d-x^2, for some integer x whose square is less than d. A slightly stronger condition is given in Section 3. Such primes are primes of bad reduction for the genus 2 curve and primes of …
We prove new equidistribution results for Galois orbits of Heegner points with respect to reduction maps at inert primes. The arguments are based on two different techniques: primitive representations of integers by quadratic forms and distribution relations for Heegner points. Our results generalize one of the equidistribution theorems established by Cornut and Vatsal in the sense that we allow both the fundamental discriminant and the conductor to grow. Moreover, for fixed fundamental discriminant and variable conductor, we deduce an effective surjectivity theorem for the reduction map from …
We compute the homotopy groups of spectra associated by a theorem of Lurie to the Shimura curves of discriminants 6, 10, and 14, beginning with a computation of integral rings of automorphic forms on these curves. As an application, we find that a generalized truncated Brown-Peterson spectrum BP<2> is an E_\infty ring spectrum at the prime 3.
It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of an elliptic curve over a finite field $\mathbb F_q$. Further, a method is described which computes representations of primes from reduced quadratic forms by means of the integral roots of polynomials over $\mathbb Z$. Lastly, some progress is made on the still-unsettled general problem of deciding which primes are represented by which classes of quadratic f…