Let K be a number field. For which primes p does there exist an elliptic curve $E / K$ admitting a K-rational p-isogeny? Although we have an answer to this question over the rationals, extending this to other number fields is a fundamental open problem in number theory. In this paper, we study this question in the case that K is a quadratic field, subject to the assumption that E is semistable at the primes of K above p. We prove results both for families of quadratic fields and for specific quadratic fields.

A key ingredient in the Taylor–Wiles proof of Fermat’s last theorem is the classical Ihara lemma, which is used to raise the modularity property between some congruent Galois representations. In their work on Sato and Tate, Clozel, Harris and Taylor proposed a generalisation of the Ihara lemma in higher dimension for some similitude groups. The main aim of this paper is to prove some new instances of this generalised Ihara lemma by considering some particular non-pseudo-Eisenstein maximal ideals of unramified Hecke algebras. As a consequence, we prove a level-raising statement.

In this paper, we study real-dihedral harmonic Maass forms and their Fourier coefficients. The main result expresses the values of Hilbert modular forms at twisted CM 0-cycles in terms of these Fourier coefficients. This is a twisted version of the main theorem in Bruinier and Yang [CM-values of Hilbert modular functions, Invent. Math. 163 (2006), 229–288] and provides evidence that the individual Fourier coefficients are logarithms of algebraic numbers in the appropriate real-quadratic field. From this result and numerical calculations, we formulate an algebraicity conjecture, which is an analogue of Stark’s conjecture in the setting of harmonic Maass forms. Also, we give a conjectural description of the primes appearing in CM-values of Hilbert modular functions.

Let $K$ be a totally real field. By the asymptotic Fermat’s Last Theorem over$K$ we mean the statement that there is a constant $B_{K}$ such that for any prime exponent $p>B_{K}$, the only solutions to the Fermat equation

$$\begin{eqnarray}a^{p}+b^{p}+c^{p}=0,\quad a,b,c\in K\end{eqnarray}$$

$abc=0$

$K$

$K$

$K=\mathbb{Q}(\sqrt{d})$

$d\geqslant 2$

${\textstyle \frac{5}{6}}$

$1$

Let $p\geqslant 5$ be a prime. If an irreducible component of the spectrum of the ‘big’ ordinary Hecke algebra does not have complex multiplication, under mild assumptions, we prove that the image of its Galois representation contains, up to finite error, a principal congruence subgroup ${\rm\Gamma}(L)$ of $\text{SL}_{2}(\mathbb{Z}_{p}[[T]])$ for a principal ideal $(L)\neq 0$ of $\mathbb{Z}_{p}[[T]]$ for the canonical ‘weight’ variable $t=1+T$. If $L\notin {\rm\Lambda}^{\times }$, the power series $L$ is proven to be a factor of the Kubota–Leopoldt $p$-adic $L$-function or of the square of the anticyclotomic Katz $p$-adic $L$-function or a power of $(t^{p^{m}}-1)$.

Let $K$ be a finitely generated extension of $\mathbb {Q}$. We consider the family of $\ell $-adic representations ($\ell $ varies through the set of all prime numbers) of the absolute Galois group of $K$, attached to $\ell $-adic cohomology of a separated scheme of finite type over $K$. We prove that the fields cut out from the algebraic closure of $K$by the kernels of the representations of the family are linearly disjoint over a finite extension of K. This gives a positive answer to a question of Serre.

Let K be a CM number field and GK its absolute Galois group. A representation of GK is said to be polarized if it is isomorphic to the contragredient of its outer complex conjugate, up to a twist by a power of the cyclotomic character. Absolutely irreducible polarized representations of GK have a sign ±1, generalizing the fact that a self-dual absolutely irreducible representation is either symplectic or orthogonal. If Π is a regular algebraic, polarized, cuspidal automorphic representation of GLn(𝔸K), and if ρ is a p-adic Galois representation attached to Π, then ρ is polarized and we show that all of its polarized irreducible constituents have sign +1 . In particular, we determine the orthogonal/symplectic alternative for the Galois representations associated to the regular algebraic, essentially self-dual, cuspidal automorphic representations of GLn (𝔸F) when F is a totally real number field.

We generalize the main result of the paper by Bennett and Mulholland [‘On the diophantine equation xn+yn=2αpz2’, C. R. Math. Acad. Sci. Soc. R. Can.28 (2006), 6–11] concerning the solubility of the diophantine equation xn+yn=2αpz2. We also demonstrate, by way of examples, that questions about solubility of a class of diophantine equations of type (3,3,p) or (4,2,p) can be reduced, in certain cases, to studying several equations of the type (p,p,2).

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V𝔭(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of K. This theorem is in analogy with known results for abelian varieties and Drinfeld modules, and has been sketched previously by Tamagawa. We deduce two consequences of the theorem for the algebraic monodromy groups G𝔭(M) associated to an A-motive M by Tannakian duality. The first requires no semisimplicity condition on M and states that G𝔭(M) may be identified naturally with the Zariski closure of the image of the absolute Galois group of K in the automorphism group of V𝔭(M). The second states that the connected component of G𝔭(M) is reductive if M is semisimple and has a separable endomorphism algebra.

In a previous paper, the potential automorphy of certain Galois representations to GLn for n even was established, following the work of Harris, Shepherd–Barron and Taylor and using the lifting theorems of Clozel, Harris and Taylor. In this paper, we extend those results to n=3 and n=5, and conditionally to all other odd n. The key additional tools necessary are results which give the automorphy or potential automorphy of symmetric powers of elliptic curves, most notably those of Gelbert, Jacquet, Kim, Shahidi and Harris.

Starting with a 2-dimensional mod $p$ Galois representation, we construct a deformation to a power series ring in infinitely many variables over the $p$-adics. The image of this representation is full in the sense that it contains $S{{L}_{2}}$ of this power series ring. Furthermore, all ${{\mathbb{Z}}_{p}}$ specializations of this deformation are potentially semistable at $p$.

The aim of this paper is to give an application of p-adic Hodge theory to stringy Hodge numbers introduced by V. Batyrev for a mathematical formulation of mirror symmetry. Since the stringy Hodge numbers of an algebraic variety are defined by choosing a resolution of singularities, the well-definedness is not clear from the definition. We give a proof of the well-definedness by using arithmetic techniques such as p-adic integration and p-adic Hodge theory. Note that another proof of the well-definedness was obtained by V. Batyrev himself by motivic integration.

We prove a portion of a conjecture of Conrad, Diamond, and Taylor, yielding some new cases of the Fontaine–Mazur conjectures, specifically, the modularity of certain potentially Barsotti–Tate Galois representations. The proof follows the template of Wiles, Taylor–Wiles, and Breuil–Conrad–Diamond–Taylor, and relies on a detailed study of the descent, across tamely ramified extensions, of finite flat group schemes over the ring of integers of a local field. This makes crucial use of the filtered $\phi_1$-modules of Breuil.

We show that a continuous, odd, regular (non-exceptional), ordinary, irreducible, two-dimensional, $l$-adic representation of the absolute Galois group of the rational numbers is modular over some totally real field. We deduce that it occurs in the $l$-adic cohomology of some variety over the rationals and that its $L$-function has meromorphic continuation to the whole complex plane and satisfies the expected functional equation.

AMS 2000 Mathematics subject classification: Primary 11F80. Secondary 11G40

We give an explicit recipe for the determination of the images associated to the Galois action on $p$-torsion points of elliptic curves. We present a table listing the image for all the elliptic curves defined over $\mathbb{Q}$ without complex multiplication with conductor less than 200 and for each prime number $p$.