Related papers: Powers in Lucas Sequences via Galois Representatio…

The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from…

We prove that, on average, elliptic curves over Q have finitely many primes p for which they possess a p-adic point of order p. We include a discussion of applications to companion forms and the deformation theory of Galois representations.

For an integer \( k \geq 2 \), the sequence of \( k \)-generalized Lucas numbers is defined by the recurrence relation \( L_n^{(k)} = L_{n-1}^{(k)} + \cdots + L_{n-k}^{(k)} \) for all \( n \geq 2 \), with initial conditions \( L_0^{(k)} = 2…

We construct an infinite family of representations of finite groups with an irreducible adjoint action and we give an application to the question of lacunary of Frobenius traces in Galois representations.

Let f be a newform of weight at least 3 with Fourier coefficients in a number field K. We show that the universal deformation ring of the mod lambda Galois representation associated to f is unobstructed, and thus isomorphic to a power…

In this paper we consider elliptic divisibility sequences generated by a point on an elliptic curve over $\mathbb{Q}$ with $j$-invariant $1728$ given by an integral short Weierstrass equation. For several different such elliptic…

Let pi be a regular, algebraic, essentially self-dual cuspidal automorphic representation of GL_n(A_F), where F is a totally real field and n is at most 5. We show that for all primes l, the l-adic Galois representations associated to pi…

Suppose that $E$ is an elliptic curve defined over $\mathbb{Q}$ without complex multiplication and with conductor $N$. For each positive integer $m$, the action of the absolute Galois group…

Let P and Q be non-zero relatively prime integers. The Lucas sequence {U_n(P,Q) is defined by U_0=0, U_1=1, U_n = P U_{n-1}-Q U_{n-2} for n>1. The sequence {U_n(1,-1)} is the familiar Fibonacci sequence, and it was proved by Cohn that the…

We prove new cases of the inverse Galois problem by considering the residual Galois representations arising from a fixed newform. Specific choices of weight $3$ newforms will show that there are Galois extensions of $\mathbb{Q}$ with Galois…

We observe that a sequence satisfies Lucas congruences modulo $p$ if and only if its values modulo $p$ can be described by a linear $p$-scheme, as introduced by Rowland and Zeilberger, with a single state. This simple observation suggests…

Let T_{n,k}(X) be the characteristic polynomial of the n-th Hecke operator acting on the space of cusp forms of weight k for the full modular group. We show that if there exists n>1 such that T_{n,k}(X) is irreducible and has the full…

In their study of a binomial sum related to Wolstenholme's theorem, Chamberland and Dilcher prove that the corresponding sequence modulo primes $p$ satisfies congruences that are analogous to Lucas' theorem for the binomial coefficients…

We consider a generalization of Euclid's proof of the infinitude of primes and show that it leads to variants of the Euclid-Mullin sequence that provably contain every prime number.

Let $K$ be a number field, $A/K$ be an absolutely simple abelian variety of CM type, and $\ell$ be a prime number. We give explicit bounds on the degree over $K$ of the division fields $K(A[\ell^n])$, and when $A$ is an elliptic curve we…

In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$, where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers.

This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials…

Let p > 2 be prime. We state and prove (under mild hypotheses on the residual representation) a geometric refinement of the Breuil-M\'ezard conjecture for 2-dimensional mod p representations of the absolute Galois group of Qp. We also state…

We prove an explicit surjectivity result for products of non-isotrivial, non-isogenous elliptic curves over a function field of arbitrary characteristic. This is by way of an isogeny degree bound in this setting, generated from bounds for…

Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the…