Related papers: The $\mathbb F_p$-Selberg Integral

Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag…

Let $G$ be a finite group and let $F$ be a finite field of characteristic $2$. We introduce \emph{$F$-special subgroups} and \emph{$F$-special elements} of $G$. In the case where $F$ contains a $p$th primitive root of unity for each odd…

Let $p$ be a prime, and $N$ be a positive integer not divisible by $p$. Denote by ${\rm ord}_N(p)$ the multiplicative order of $p$ modulo $N$. Let $\mathbb{F}_q$ represent the finite field of order $q=p^{{\rm ord}_N(p)}$. For $a,…

Mathematicians has been trying to prove the weak Goldbach's conjecture by adding prime numbers, as stated in the conjecture. However, we believe that the solution does not need to be analytically solved. Instead of trying to add prime…

We prove an interpolation formula for the values of certain $p$-adic Rankin--Selberg $L$-functions associated to non-ordinary modular forms.

We establish a Szemeredi-Trotter type result for hyperbolas in $\mathbb F_p\times\mathbb F_p$

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…

Let $p$ be any odd prime number. Let $k$ be any positive integer such that $2\leq k\leq [\frac{p+1}3]+1$. Let $S = (a_1,a_2,...,a_{2p-k})$ be any sequence in ${\Bbb Z}_p$ such that there is no subsequence of length $p$ of $S$ whose sum is…

We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero…

Let $p$ be an odd prime and $F_\infty$ be a $\mathbb{Z}_p$-extension of a number field $F$. Given an elliptic curve $E$ over $F$, we study the structure of the fine Selmer group over $F_\infty$. It is shown that under certain conditions,…

Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let o\_P(eta) and o\_p(eta) be the orders of…

Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally,…

For distinct complex numbers $z_1,...,z_{2N}$, we give a polynomial $P(y_1,...,y_{2N})$ in the variables $y_1,...,y_{2N}$, which is homogeneous of degree $N$, linear with respect to each variable, $sl_2$-invariant with respect to a natural…

Let $p$ be an odd prime and $r\geq 1$. Suppose that $\alpha$ is a $p$-adic integer with $\alpha\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that…

In this paper, we prove some supercongruences via the Wilf-Zeilberger method. For instance, for any odd prime $p$ and positive integer $r$ and $\delta\in\{1,2\}$, we have \begin{align*} \sum_{n=0}^{(p^r-1)/\delta}…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

For an odd prime $p$, let $\phi$ denote the quadratic character of the multiplicative group ${\mathbb F}_p^\times$, where ${\mathbb F}_p$ is the finite field of $p$ elements. In this paper, we will obtain evaluations of the hypergeometric…

Selberg sums are the analogues over finite fields of certain integrals studied by Selberg in in 1940s. The original versions of these sums were introduced by R.J.Evans in 1981 and, following an elegant idea of G.W.Anderson in 1991 they were…

A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p-1$ whose inverse $\bar{a}$ within the same range has opposite parity. Lehmer numbers that are also primitive roots have been discussed by Wang and Wang in an…

Let $f$ and $f'$ be genus $2$ cuspidal Siegel paramodular newforms. We prove that if their Hecke eigenvalues $a_p$ and $a_p'$ satisfy a non-trivial polynomial relation $P(a_p, a_p') = 0$ for a set of primes $p$ of positive density, then $f$…