arXiv subjects
Publications and source records attributed to David Loeffler.
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).
In this paper, we prove the "local epsilon-isomorphism conjecture" of Fukaya and Kato for a particular class of Galois modules obtained by tensoring a Zp-lattice in a crystalline representation of the Galois group of Qp with a representation of an abelian quotient of the Galois group with values in a suitable p-adic local ring. This can be regarded as a local analogue of the Iwasawa main conjecture for abelian p-adic Lie extensions of Qp, extending earlier work of Benois and Berger for the cyclotomic extension. We show that such an epsilon-isomorphism can be constructed using the Perrin-Riou regulator map, or its extension to the 2-variable case due to the first and third authors.
For ordinary modular forms, there are two constructions of a p-adic L-function attached to the non-unit root of the Hecke polynomial, which are conjectured but not known to coincide. We prove this conjecture for modular forms of CM type, by calculating the the critical-slope L-function arising from Kato's Euler system and comparing this with results of Bellaiche on the critical-slope L-function defined using overconvergent modular symbols.
Let G be a reductive algebraic group over a number field k. It is shown how Emerton's methods may be applied to the problem of p-adically interpolating the metaplectic forms on G, i.e. the automorphic forms on metaplectic covers of G, as long as the metaplectic covers involved split at the infinite places of k.
We study Kato and Perrin-Riou's critical slope p-adic L-function attached to an ordinary modular form, using the methods of our earlier work with Lei. We show that it may be decomposed as a sum of two bounded measures multiplied by explicit distributions depending only on the local properties of the modular form at p. We use this decomposition to prove results on the zeros of the p-adic L-function, and we show that our results match the behaviour observed in examples calculated by Pollack and Stevens.
For a crystalline p-adic representation of the absolute Galois group of Qp, we define a family of Coleman maps (linear maps from the Iwasawa cohomology of the representation to the Iwasawa algebra), using the theory of Wach modules. Let f = sum(a_n q^n) be a normalized new modular eigenform and p an odd prime at which f is either good ordinary or supersingular. By applying our theory to the p-adic representation associated to f, we define two Coleman maps with values in the Iwasawa algebra of Zp^* (after extending scalars to some extension of Qp). Applying these maps to the Kato zeta elements gives a decomposition of the (generally unbounded) p-adic L-functions of f into linear combinations of two power series of bounded coefficients, generalizing works of Pollack (in the case a_p=0) and Sprung (when f corresponds to a supersingular elliptic curve). Using ideas of Kobayashi for elliptic curves which are supersingular at p, we associate to each of these power series a cotorsion Selmer group. This allows us to formulate a "main conjecture". Under some technical conditions, we prove one inclusion of the "main conjecture" and show that the reverse inclusion is equivalent to Kato's main conjecture.
This paper is a sequel to our earlier paper "Wach modules and Iwasawa theory for modular forms" (arXiv: 0912.1263), where we defined a family of Coleman maps for a crystalline representation of the Galois group of Qp with nonnegative Hodge-Tate weights. In this paper, we study these Coleman maps using Perrin-Riou's p-adic regulator L_V. Denote by H(Γ) the algebra of Qp-valued distributions on Γ= Gal(Qp(μ(p^\infty) / Qp). Our first result determines the H(Γ)-elementary divisors of the quotient of D_{cris}(V) \otimes H(Γ) by the H(Γ)-submodule generated by (ϕ* N(V))^{ψ= 0}, where N(V) is the Wach module of V. By comparing the determinant of this map with that of L_V (which can be computed via Perrin-Riou's explicit reciprocity law), we obtain a precise description of the images of the Coleman maps. In the case when V arises from a modular form, we get some stronger results about the integral Coleman maps, and we can remove many technical assumptions that were required in our previous work in order to reformulate Kato's main conjecture in terms of cotorsion Selmer groups and bounded p-adic L-functions.
In this short note, we study the geometry of the eigenvariety parametrising p-adic automorphic forms for GL(1) over a number field K, as constructed by Buzzard. We show that if K is not totally real and contains no CM subfield, points in this space arising from classical automorphic forms (i.e. algebraic Grossencharacters of K) are not Zariski-dense in the eigenvariety (as a rigid space); but the eigenvariety posesses a natural formal scheme model, and the set of classical points is Zariski-dense in the formal scheme. We also sketch the theory for GL(2) over an imaginary quadratic field, following Calegari and Mazur, emphasising the strong formal similarity with the case of GL(1) over a general number field.
We present an algorithm for computing the $p$-component of the automorphic representation arising from a cuspidal newform $f$ for a prime $p$. This is equivalent to computing the restriction to the decomposition group at $p$ of the $\ell$-adic Galois representations attached to $f$ for any $\ell\neq p$. The situation is most interesting when $p^2$ divides the level of $f$, in which case the $p$-component could be supercuspidal. In the supercuspidal case, the local component is induced from an irreducible character of a compact-mod-center subgroup of $\text{GL}_2(\mathbf{Q}_p)$; our algorithm outputs both the group and the irreducible character. We provide examples which illustrate how the local Galois representation can be completely read off from the local component.
This paper studies Emerton's Jacquet module functor for locally analytic representations of p-adic reductive groups. When P is a parabolic subgroup whose Levi factor M is not commutative, we show that passing to an isotypical subspace for the derived subgroup of M gives rise to essentially admissible locally analytic representations of the torus Z(M), which have a natural interpretation in terms of rigid geometry. We use this to extend Emerton's representation-theoretic construction of eigenvarieties by constructing eigenvarieties interpolating automorphic representations whose local components at p are not necessarily principal series.
I give an algorithm for computing the full space of automorphic forms for definite unitary groups over Q, and apply this to calculate the automorphic forms of level $G(Z-hat)$ and various small weights for an example of a rank 3 unitary group. This leads to some examples of various types of endoscopic lifting from automorphic forms for U_1 x U_1 x U_1 and U_1 x U_2, and to an example of a non-endoscopic form of weight (3,3) corresponding to a family of 3-dimensional irreducible l-adic Galois representations. I also compute the 2-adic slopes of some automorphic forms with level structure at 2, giving evidence for the local constancy of the slopes.
The main result of this paper is an instance of the conjecture made by Gouvea and Mazur (Math. Res. Lett., 1995) which asserts that for certain values of r the space of r-overconvergent p-adic modular forms of tame level N and weight k should be spanned by the finite slope Hecke eigenforms. Using methods adapted from the work of Buzzard and Calegari I show that for p=2, k = 0, N = 1, this holds for all r in (5/12, 7/12). The proof relies on a certain factorisation of the U_p operator which is known in this case but I conjecture also holds for p = 3 and 5; this conjecture also implies exact formulae for the set of slopes similar to those proved for p=2 by Buzzard and Calegari. The same methods also provide an efficient approach to explicit computations of q-expansions of small slope overconvergent eigenforms, extending the computations of Gouvea and Mazur.