Related papers: Congruence formulae for Legendre modular polynomia…

Let $F$ be a function field over $\mathbb{F}_q$, $A$ its ring of regular functions outside a place $\infty$ and $\mathfrak{p}$ a prime ideal of $A$. First, we develop Hida theory for Drinfeld modular forms of rank $r$ which are of slope…

Let $p \geq 5$ be a prime and for $a, b \in \mathbb{F}_{p}$, let $E_{a,b}$ denote the elliptic curve over $\mathbb{F}_{p}$ with equation $y^2=x^3+a\,x + b$. As usual define the trace of Frobenius $a_{p,\,a,\,b}$ by \begin{equation*}…

Let $p$ be an odd prime and let $d$ be an integer not divisible by $p$. We prove that $$ \prod_{1\le m,n\le p-1\atop p\nmid m^2-dn^2}\ (x-(m+n\sqrt{d})) \equiv \begin{cases}\sum_{k=1}^{p-2}\frac{k(k+1)}2x^{(k-1)(p-1)}\pmod p &\text{if}\…

Let $p$ be an odd prime and let $x$ be a $p$-adic integer. In this paper, we establish supercongruences for $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-4)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2} $$ and $$…

Let $\mathbb{G}$ be any Carnot group. We prove that if a convolution type singular integral associated with a $1$-dimensional Calder\'on-Zygmund kernel is $L^2$-bounded on horizontal lines, with uniform bounds, then it is bounded in $L^p, p…

We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$,…

For any polynomial $p\left(x\right)$ over $\mathbb{F}_{l}$ we determine the asymptotic density of hyperelliptic curves over $\mathbb{F}_{q}$ of genus $g$ for which $p\left(x\right)$ divides the characteristic polynomial of Frobenius acting…

Let $p\ge 5$ be a prime. We show that the space of weight one Eisenstein series defines an embedding into $\PP^{(p-3)/2}$ of the modular curve $X_1(p)$ for the congruence group $\Gamma_1(p)$ that is scheme-theoretically cut out by explicit…

We consider simple modules for a Hecke algebra with a parameter of quantum characteristic $e$. Equivalently, we consider simple modules $D^{\lambda}$, labelled by $e$-restricted partitions $\lambda$ of $n$, for a cyclotomic KLR algebra…

We demonstrate the existence of a congruence class bias in the distribution of supersingular primes on average for elliptic curves over $\Q$. For example, we show that on average there are twice as many supersingular primes congruent to 2…

Let q be a prime power and E a non-isotrivial elliptic curve over Fq(T) given by a Weierstrass model. We survey the construction, with an explicit point of view, of the modular parametrization of E by the associated Drinfeld modular curve.…

We continue our study of the Legendre elliptic curve $y^2=x(x+1)(x+t)$ over function fields $K_d=\mathbf{F}_p(\mu_d,t^{1/d})$. When $d=p^f+1$, we have previously exhibited explicit points generating a subgroup $V_d$ of $E(K_d)$ of rank…

In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$…

Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $\alpha$ and $m\in\{1,2,3\}$, we have \begin{align*}…

A proof is given of several conjectures from a recent paper of Nakaya concerning the supersingular polynomial $ss_p^{(N*)}(X)$ for the Fricke group $\Gamma_0^*(N)$, for $N \in \{2, 3, 5, 7\}$. One of these conjectures gives a formula for…

We establish a congruence formula between $p$-adic logarithms of Heegner points for two elliptic curves with the same mod $p$ Galois representation. As a first application, we use the congruence formula when $p=2$ to explicitly construct…

Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system…

An invariant of a model of genus one curve is a polynomial in the coefficients of the model that is stable under certain linear transformations. The classical example of an invariant is the discriminant, which characterizes the singularity…

Let $V$ be a two-dimensional vector space over a field $\mathbb F$ of characteristic not $2$ or $3$. We show there is a canonical surjection $\nu$ from the set of suitably generic commutative algebra structures on $V$ modulo the action of…

In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic…