It is well known that if a convex hyperbolic polygon is constructed as a fundamental domain for a subgroup of SL(2,ℝ), then its translates by the group form a locally finite tessellation and its side-pairing transformations form a system of generators for the group. Such a hyperbolically convex fundamental domain for any discrete subgroup can be obtained by using Dirichlet’s and Ford’s polygon constructions. However, these two results are not well adapted for the actual construction of a hyperbolically convex fundamental domain due to their nature of construction. A third, and most important and practical, method of obtaining a fundamental domain is through the use of a right coset decomposition as described below. If Γ2 is a subgroup of Γ1 such that Γ1=Γ2⋅{L1,L2,…,Lm} and 𝔽 is the closure of a fundamental domain of the bigger group Γ1, then the set is a fundamental domain of Γ2. One can ask at this juncture, is it possible to choose the right coset suitably so that the set ℛ is a convex hyperbolic polygon? We will answer this question affirmatively for Hecke modular groups.

In this paper, we prove some one level density results for the low-lying zeros of families of L-functions. More specifically, the families under consideration are that of L-functions of holomorphic Hecke eigenforms of level 1 and weight k twisted with quadratic Dirichlet characters and that of cubic and quartic Dirichlet L-functions.

For two real characters ψ,ψ′ of conductor dividing 8 define where and the subscript 2 denotes the fact that the Euler factor at 2 has been removed. These double Dirichlet series can be extended to possessing a group of functional equations isomorphic to D12. The convexity bound for Z(s,w;ψ,ψ′) is |sw(s+w)|1/4+ε for ℜs=ℜw=1/2. It is proved that Moreover, the following mean square Lindelöf-type bound holds: for any Y1,Y2≥1.

We set up a formalism of endoscopy for metaplectic groups. By defining a suitable transfer factor, we prove an analogue of the Langlands–Shelstad transfer conjecture for orbital integrals over any local field of characteristic zero, as well as the fundamental lemma for units of the Hecke algebra in the unramified case. This generalizes prior work of Adams and Renard in the real case and serves as a first step in studying the Arthur–Selberg trace formula for metaplectic groups.

We determine the smallest possible canonical height for a non-torsion point P of an elliptic curve E over a function field ℂ(t) of discriminant degree 12n with a 2-torsion point for n=1,2,3, and with a 3-torsion point for n=1,2. For each m=2,3, we parametrize the set of triples (E,P,T) of an elliptic curve E/ℚ with a rational point P and m-torsion point T that satisfy certain integrality conditions by an open subset of ℙ2. We recover explicit equations for all elliptic surfaces (E,P,T)attaining each minimum by locating them as curves in our projective models. We also prove that for n=1,2 , these heights are minimal for elliptic curves over a function field of any genus. In each case, the optimal (E,P,T)are characterized by their patterns of integral points.

We use the theory of Kolyvagin systems to prove (most of) a refined class number formula conjectured by Darmon. We show that, for every odd prime p, each side of Darmon’s conjectured formula (indexed by positive integers n) is ‘almost’ a p-adic Kolyvagin system as n varies. Using the fact that the space of Kolyvagin systems is free of rank one over ℤp, we show that Darmon’s formula for arbitrary n follows from the case n=1, which in turn follows from classical formulas.

Soit A une variété abélienne définie sur un corps de nombres K, le nombre de points de torsion définis sur une extension finie L est borné polynomialement en terme du degré [L : K]. Lorsque A est isogène à un produit de variétés abéliennes simples de type GSp, c'est-à-dire dont le groupe de Mumford–Tate est « générique » (isomorphe au groupe des similitudes symplectiques) et vérifiant la conjecture de Mumford–Tate, nous calculons l'exposant optimal dans cette borne, en terme de la dimension des sous-variétés abéliennes de A. Le résultat est inconditionnel pour un produit de variétés abéliennes simples dont l'anneau d'endomorphismes est ℤ et la dimension n'appartient pas à un ensemble exceptionnel explicite S = {4, 10, 16, 32, …}. Par ailleurs nous prouvons, suivant une stratégie de Serre, que si la conjecture de Mumford–Tate est vraie pour des variétés abéliennes de type GSp, alors la conjecture de Mumford–Tate est vraie pour un produit de telles variétés abéliennes.

In this paper, we determine all the factorials that are a sum of at most three Fibonacci numbers.

In this paper we define a p-adic analogue of the Borel regulator for the K-theory of p-adic fields. The van Est isomorphism in the construction of the classical Borel regulator is replaced by the Lazard isomorphism. The main result relates this p-adic regulator to the Bloch–Kato exponential and the Soulé regulator. On the way we give a new description of the Lazard isomorphism for certain formal groups. We also show that the Soulé regulator is induced by continuous and even analytic classes.

We prove an explicit formula for periods of certain automorphic forms on SO5 × SO4 along the diagonal subgroup SO4 in terms of L-values. Our formula also involves a quantity from the theory of endoscopy, as predicted by the refined Gross–Prasad conjecture.

Laumon introduced the local Fourier transform for ℓ-adic Galois representations of local fields, of equal characteristic p different from ℓ, as a powerful tool for studying the Fourier–Deligne transform of ℓ-adic sheaves over the affine line. In this article, we compute explicitly the local Fourier transform of monomial representations satisfying a certain ramification condition, and deduce Laumon’s formula relating the ε-factor to the determinant of the local Fourier transform under the same condition.

We present a level-raising result for families of p-adic automorphic forms for a definite quaternion algebra D over ℚ. The main theorem is an analogue of a theorem for classical automorphic forms due to Diamond and Taylor. We show that certain families of forms old at a prime l intersect with families of l-new forms (at a non-classical point). One of the ingredients in the proof of Diamond and Taylor’s theorem (which also played a role in earlier work of Taylor) is the definition of a suitable pairing on the space of automorphic forms. In our situation one cannot define such a pairing on the infinite dimensional space of p-adic automorphic forms, so instead we introduce a space defined with respect to a dual coefficient system and work with a pairing between the usual forms and the dual space. A key ingredient is an analogue of Ihara’s lemma which shows an interesting asymmetry between the usual and the dual spaces.

The four colour theorem states that the vertices of every planar graph can be coloured with at most four colours so that no two adjacent vertices receive the same colour. This theorem is famous for many reasons, including the fact that its original 1977 proof includes a non-trivial computer verification. Recently, a formal proof of the theorem was obtained with the equational logic program Coq [G. Gonthier, ‘Formal proof–the four color theorem’, Notices of Amer. Math. Soc. 55 (2008) no. 11, 1382–1393]. In this paper we describe an implementation of the computational method introduced by C. S. Calude and co-workers [Evaluating the complexity of mathematical problems. Part 1’, Complex Systems 18 (2009) 267–285; A new measure of the difficulty of problems’, J. Mult. Valued Logic Soft Comput. 12 (2006) 285–307] to evaluate the complexity of the four colour theorem. Our method uses a Diophantine equational representation of the theorem. We show that the four colour theorem is in the complexity class ℭU,4. For comparison, the Riemann hypothesis is in class ℭU,3 while Fermat’s last theorem is in class ℭU,1.

We study the action of the Hecke operators Un on the set of hypergeometric functions, as well as on formal power series. We show that the spectrum of these operators on the set of hypergeometric functions is the set {na:n∈ℕ,a∈ℤ}, and that the polylogarithms play an important role in the study of the eigenfunctions of the Hecke operators Un on the set of hypergeometric functions. As a corollary of our results on simultaneous eigenfunctions, we also obtain an apparently unrelated result regarding the behavior of completely multiplicative hypergeometric coefficients.

We discuss the Mordell–Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be obtained if one does not want to restrict to mod p information at primes of good reduction. We describe our implementation of the Mordell–Weil sieve algorithm and discuss its efficiency.

Supplementary materials are available with this article.

Rosen gave a determinant formula for relative class numbers for cyclotomic function fields, which may be regarded as an analogue of the classical Maillet determinant. In this paper, we give a determinant formula for relative congruence zeta functions for cyclotomic function fields. Our formula may be regarded as a generalization of the determinant formula for the relative class number.

We exhibit a strong link between the Hall algebra HX of an elliptic curve X defined over a finite field 𝔽l (or, more precisely, its spherical subalgebra U+X) and Cherednik’s double affine Hecke algebras of type GLn, for all n. This allows us to obtain a geometric construction of the Macdonald polynomials Pλ(q,t−1) in terms of certain functions (Eisenstein series) on the moduli space of semistable vector bundles on the elliptic curve X.

This paper studies affine Deligne–Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, and extends previous conjectures concerning their dimensions. We generalize the superset method, an algorithmic approach to the questions of non-emptiness and dimension. Our non-emptiness results apply equally well to the p-adic context and therefore relate to moduli of p-divisible groups and Shimura varieties with Iwahori level structure.

In this paper, we compute Ford fundamental domains for all genus-zero and genus-one congruence subgroups. This is a continuation of previous work, which found all such groups, including ones that are not subgroups of PSL(2,ℤ). To compute these fundamental domains, an algorithm is given that takes the following as its input: a positive square-free integer f, which determines a maximal discrete subgroup Γ0(f)+ of SL(2,ℝ); a decision procedure to determine whether a given element of Γ0(f)+ is in a subgroup G; and the index of G in Γ0(f)+. The output consists of: a fundamental domain for G, a finite set of bounding isometric circles; the cycles of the vertices of this fundamental domain; and a set of generators of G. The algorithm avoids the use of floating-point approximations. It applies, in principle, to any group commensurable with the modular group. Included as appendices are: MAGMA source code implementing the algorithm; data files, computed in a previous paper, which are used as input to compute the fundamental domains; the data computed by the algorithm for each of the congruence subgroups of genus zero and genus one; and an example, which computes the fundamental domain of a non-congruence subgroup.

Let L/k be a finite Galois extension of number fields with Galois group G. For every odd prime p satisfying certain mild technical hypotheses, we use values of Artin L-functions to construct an element in the centre of the group ring ℤ(p)[G] that annihilates the p-part of the class group of L.