Related papers: Near Counterexamples to Weil's Converse Theorem

We obtain a new estimate for Kloosterman sum with primes $p\leqslant X$ to composite modulo $q$, that is, for the exponential sum of the type \[ \sum\limits_{p\leqslant X,\;p\,\nmid q}\exp{\biggl(\frac{2\pi…

We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})_k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E_{p-3})\pmod{p^{4}},\\…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

Let $\mathcal {W}(p)$ be the triplet vertex algebra of central charge $c_{p}=1-\frac{6(p-1)^{2}}{p}$, $p\geq2$. As a Virasoro module, we have $$\mathcal {W}(p)=\bigoplus_{n=0} ^{\infty}(2n+1) L(c_{p}, n^{2}p+np-n).$$ It was pointed out in…

We prove a $p$-converse theorem for elliptic curves $E/\mathbb{Q}$ with complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ in which $p$ is ramified. Namely, letting $r_p =…

For any truncated path algebra $\Lambda$, we give a structural description of the modules in the categories ${\cal P}^{<\infty}(\Lambda\text{-mod})$ and ${\cal P}^{<\infty}(\Lambda\text{-Mod})$, consisting of the finitely generated (resp.…

We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We…

Three canonical decompositions concerning commuting pair of isometries, power partial isometries, and contractions are reassessed. They have already been proved in von Neumann algebras. In the corresponding proofs, both norm and weak…

We prove a vanishing theorem for one forms on the moduli stack of principally polarized abelian varieties of genus g>1 with level structure N over fields of characteristic p different from two. This is used to compute the Picard groups of…

We present a formal verification of Wolstenholme's theorem -- $\binom{2p}{p} \equiv 2 \pmod{p^3}$ for prime $p \geq 5$ -- in Lean~4 with Mathlib. The proof proceeds by expanding the shifted factorial product $\prod_{k=1}^{p-1}(p+k)$ to…

We address the general mathematical problem of computing the inverse $p$-th root of a given matrix in an efficient way. A new method to construct iteration functions that allow calculating arbitrary $p$-th roots and their inverses of…

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where $…

We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise…

Let $f$ be a Hecke-Maass cusp form for $SL_3(\mathbb{Z})$ and $\chi$ a primitive Dirichlet character of prime power conductor $\mathfrak{q}=p^{\kappa}$ with $p$ prime and $\kappa\geq 10$. We prove a subconvexity bound $$…

Let $p$ be a prime number. We prove that the $P=W$ conjecture for $\mathrm{SL}_p$ is equivalent to the $P=W$ conjecture for $\mathrm{GL}_p$. As a consequence, we verify the $P=W$ conjecture for genus 2 and $\mathrm{SL}_p$. For the proof, we…

We prove a structural theorem for generalized arithmetic progressions in $\F_p$ which contain a large product set of two other progressions.

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…

We develop geometric methods to study the generating weights of free modules of vector valued modular forms of half-integral weight, taking values in a complex representation of the metaplectic group. We then compute the generating weights…

Following the ideas of Flach and Morin (Doc. Math. 23 (2018), 1425--1560), we state a conjecture in terms of Weil-\'etale cohomology for the vanishing order and special value of the zeta function $\zeta (X, s)$ at $s = n < 0$, where $X$ is…

We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as…