Related papers: Reduction of CM elliptic curves and modular functi…

Let $E$ be an elliptic curve defined over $\Q$ and with complex multiplication by $\mO_K$, the ring of integers in an imaginary quadratic field $K$. It is known that $E(\F_p)$ has a structure E(\F_p)\simeq \Z/d_p\Z \oplus \Z/e_p\Z. with…

In this note, we will apply the results of Gross-Zagier, Gross-Kohnen-Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between…

We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo…

Let $ F$ be an imaginary quadratic field and $\mathcal{O}$ its ring of integers. Let $ \mathfrak{n} \subset \mathcal{O} $ be a non-zero ideal and let $ p> 5$ be a rational inert prime in $F$ and coprime with $\mathfrak{n}$. Let $ V$ be an…

We give a family of congruences for the binomial coefficients ${kp-1\choose p-1}$ in terms of multiple harmonic sums, a generalization of the harmonic numbers. Each congruence in this family (which depends on an additional parameter $n$)…

To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields…

Let $Y_K\to X_K$ be a ramified cyclic covering of curves, where $K$ is a cyclotomic field. In this work we study the $p$-rank of the reduction $\rm{mod}\, p$ of a model of the jacobian of $Y_K$. In this way, we obtain counterparts of the…

We prove that the length of the boundary of a $J$-holomorphic curve with Lagrangian boundary conditions is dominated by a constant times its area. The constant depends on the symplectic form, the almost complex structure, the Lagrangian…

We prove that only finitely many $j$-invariants of elliptic curves with complex multiplication are algebraic units. A rephrased and generalized version of this result resembles Siegel's Theorem on integral points of algebraic curves.

Let $F$ be a p-adic local field and $G=GL_2(F)$. Let $\mathcal{H}^{(1)}$ be the pro-p Iwahori-Hecke algebra of $G$ with coefficients in an algebraic closure of $\mathbb{F}_p$. We show that the supersingular irreducible…

In 1985, Schoof devised an algorithm to compute zeta functions of elliptic curves over finite fields by directly computing the numerators of these rational functions modulo sufficiently many primes (see \cite{schoof_1985}). If $E/K$ is an…

Ramanujan famously found congruences for the partition function like p(5n+4) = 0 modulo 5. We provide a method to find all simple congruences of this type in the coefficients of the inverse of a modular form on Gamma_{1}(4) which is…

We present two algorithms that, given a prime ell and an elliptic curve E/Fq, directly compute the polynomial Phi_ell(j(E),Y) in Fq[Y] whose roots are the j-invariants of the elliptic curves that are ell-isogenous to E. We do not assume…

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…

It is significant to study congruences involving multiple harmonic sums. Let $p$ be an odd prime, in recent years, the following curious congruence $$\sum_{\substack{i+j+k=p \\ i, j, k>0}} \frac{1}{i j k} \equiv-2 B_{p-3}\pmod p$$ has been…

Let $E$ be an elliptic curve over $\mathbb{Q}$ such that $\mathrm{End}_{\bar{\mathbb{Q}}}(E)=\mathbb{Z}$ and which admits a non-trivial cyclic $\mathbb{Q}$-isogeny. We prove that, for $p>37$, the residual mod $p$ Galois representation…

Let $K := \mathrm{GL}_n(\mathcal{O})$ denote the maximal compact subgroup of $\mathrm{GL}_n(F)$, where $F$ is a nonarchimedean local field with ring of integers $\mathcal{O}$. We study the decomposition of the space of locally constant…

We prove that the symmetric-cube coefficients $A_n=(-27)^n[z^n]\,_2F_1(1/3,1/3;1;z)^3$ satisfy the supercongruence $A(mp)\equiv A(m) \bmod p^4$ for every prime $p\geq 5$ and every $m\geq 1$. The proof rests on three ingredients: (i) the…

Half-integral weight modular forms are naturally viewed as automorphic forms on the so-called metaplectic covering of $\operatorname{GL}_2(\mathbf{A}_{\mathbf{Q}})$ -- a central extension by the roots of unity $\mu_2$ in $\mathbf{Q}$. For…

Given a finite group scheme $\cG$ over an algebraically closed field $k$ of characteristic $\Char(k)=p>0$, we introduce new invariants for a $\cG$-module $M$ by associating certain morphisms $\deg^j_M : U_M \lra \Gr_d(M) \ \…