Related papers: Bounding slopes of $p$-adic modular forms

Let $p$ be an odd prime, and let $\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ be the reduction modulo $p$ of the Artin-Hasse exponential. We obtain a polynomial expression for $a_{kp}$ in terms of those $a_{rp}$ with $r<k$, for even…

Let $(x_n)_{n\geq0}$ be a linear recurrence sequence of order $k\geq2$ satisfying $$x_n=a_1x_{n-1}+a_2x_{n-2}+\dots+a_kx_{n-k}$$ for all integers $n\geq k$, where $a_1,\dots,a_k,x_0,\dots, x_{k-1}\in \mathbb{Z},$ with $a_k\neq0$. In 2017,…

Let $A(1):=k[X]/(X^p)$ be the natural representation of the Witt algebra $W(1)$ over an algebraically closed field of prime characteristic $p>3$. In this note, we decompose the $W(1)$-module $A(1)\otimes A(1)$ into two invariant subspaces,…

Recently, Ko\c{c} proposed a neat and efficient algorithm for computing \[ x = a^{-1} \pmod {p^k} \] for a prime $p$ based on the exact solution of linear equations using $p$-adic expansions. The algorithm requires only addition and right…

Let $p$ be a prime greater than 3. Consider the modular curve $X_0(3p)$ over $\mathbb{Q}$ and its Jacobian variety $J_0(3p)$ over $\mathbb{Q}$. Let $\mathcal{T}(3p)$ and $\mathcal{C}(3p)$ be the group of rational torsion points on $J_0(3p)$…

For $n=0,1,2,\ldots$ let $W_n=\sum_{k=0}^{[n/3]}\binom{2k}k \binom{3k}k\binom n{3k}(-3)^{n-3k}$, where $[x]$ is the greatest integer not exceeding $x$. Then $\{W_n\}$ is an Ap\'ery-like sequence. In this paper we deduce many congruences…

For a rational prime $p \geq 3$ we consider $p$-ordinary, Hilbert modular newforms $f$ of weight $k\geq 2$ with associated $p$-adic Galois representations $\rho_f$ and $\mod{p^n}$ reductions $\rho_{f,n}$. Under suitable hypotheses on the…

Let $f$ be a newform of even weight $2\kappa$ for $D^\times$, where $D$ is a possibly split indefinite quaternion algebra over $\mathbb{Q}$. Let $K$ be a quadratic imaginary field splitting $D$ and $p$ an odd prime split in $K$. We extend…

We consider the planar orthogonal polynomial $p_{n}(z)$ with respect to the measure supported on the whole complex plane $${\rm e}^{-N|z|^2} \prod_{j=1}^\nu |z-a_j|^{2c_j}\,{\rm d} A(z)$$ where ${\rm d} A$ is the Lebesgue measure of the…

We discuss modular forms as objects of computer algebra and as elements of certain p-adic Banach modules. Problem-solving approach in number theory is discussed which is based on the use of generating functions and their links with modular…

We prove that if an $n\times n$ matrix defined over ${\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in…

Given a prime $p \ge 5$ and an abstract odd representation $\rho_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $\rho_n$ to characteristic $0$ whenever local lifts exist (under some…

We study $p$-adic families of eigenforms for which the $p$-th Hecke eigenvalue $a_p$ has constant $p$-adic valuation ("constant slope families"). We prove two separate upper bounds for the size of such families. The first is in terms of the…

Let $k$ be a perfect field of characteristic $p > 0$. For a strictly semi-stable scheme over $k[[t]]$, we construct the weight spectral sequence in $p$-adic cohomology using the theory of arithmetic $\mathcal{D}$-modules, whose $E_1$ terms…

We formulate a conjecture on slopes of overconvergent p-adic cuspforms of any p-adic weight in the Gamma_0(N)-regular case. This conjecture unifies a conjecture of Buzzard on classical slopes and more recent conjectures on slopes "at the…

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*}…

Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{\deg f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by…

In this article, we give explicit formulas for the $p$-adic valuations of the Fibonomial coefficients ${p^a n \choose n}_F$ for all primes $p$ and positive integers $a$ and $n$. This is a continuation from our previous article extending…

We consider summation of some finite and infinite functional p-adic series with factorials. In particular, we are interested in the infinite series which are convergent for all primes p, and have the same integer value for an integer…

For a normalized newform $g \in S_{k}(\Gamma_{0}(N))$ with complex multiplication by an imaginary quadratic field $K$, there is a mock modular form $F^{+}$ corresponding to $g$. K. Bringmann et al. modified $F^{+}$ in order to obtain a…