Completion of motivic sheaves

2025-04-21T17:57:11Z

We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct $\ell$-adic sheaves of geometric origin over a scheme of finite type over a field from $\ell$-adic cohomology of smooth schemes. In the case of finite fields, this includes perverse $\ell$-adic sheaves of geometric orgin. However, the analogous behaviour fails systematically in mixed characteristic: the reason is that it would imply strong independence of $\ell$ results that can be proven to be too optimistic.

An Equidistribution Result for Differences Associated with Square Pyramidal Numbers

2025-04-21T17:18:26Z

We provide an asymptotic formula for the average value of the sequence A351830: $a_{n} = |P_{n} - y^{2}_{n}|$ for $1 \leq n \leq x$, where $P_{n}$ is the $n$-th square pyramidal number and $y^{2}_{n}$ is the closest square to $P_{n}$. Moreover, we supply asymptotic formulas for the $k$-th moment of the same sequence, for any fixed natural number $k$.

Wave Arithmetic: A Smooth Integral Representation of Number Theory

2025-04-21T15:46:44Z

We introduce Wave Arithmetic, a smooth analytical framework in which natural, integer, and rational numbers are represented not as discrete entities, but as integrals of smooth, compactly supported or periodic kernel functions. In this formulation, each number arises as the accumulated amplitude of a structured waveform -- an interference pattern encoded by carefully designed kernels. Arithmetic operations such as addition, multiplication, and exponentiation are realized as geometric and tensorial constructions over multidimensional integration domains. Rational numbers emerge through amplitude scaling, and negative values through sign inversion, preserving all classical arithmetic identities within a continuous and differentiable structure. This representation embeds number theory into the realm of smooth analysis, enabling new interpretations of primality, factorization, and divisibility as geometric and spectral phenomena. Beyond technical formulation, Wave Arithmetic proposes a paradigm shift: numbers as the collapsed states of harmonic processes -- analytic resonances rather than atomic symbols.

On the supersingular locus of the Siegel modular variety of genus 3 or 4

2025-04-21T14:48:04Z

We study the supersingular locus of the Siegel modular variety of genus 3 or 4. More concretely, we decompose the supersingular locus into a disjoint union of the product of a Deligne-Lusztig variety of Coxeter type and a finite-dimensional affine space after taking perfection.

Multivariable $(\varphi_q,\mathcal{O}_K^{\times})$-modules associated to $p$-adic representations of $\mathrm{Gal}(\overline{K}/K)$

2025-04-21T14:47:48Z

Let $K$ be an unramified extension of $\mathbb{Q}_p$, and $E$ a finite extension of $K$ with ring of integers $\mathcal{O}_E$. We associate to every finite type continuous $\mathcal{O}_E$-representation $\rho$ of $\mathrm{Gal}(\overline{K}/K)$ an \'etale $(\varphi_q,\mathcal{O}_K^{\times})$-module $D_{A_{\mathrm{mv},E}}^{(0)}(\rho)$ over $A_{\mathrm{mv},E}$, where $A_{\mathrm{mv},E}$ is the $p$-adic completion of a completed localization of the Iwasawa algebra $\mathcal{O}_E[\negthinspace[\mathcal{O}_K]\negthinspace]$. Furthermore, we prove that the functor $D_{A_{\mathrm{mv},E}}^{(0)}$ is fully faithful and exact. This functor is a $p$-adic analogue of $D_A^{(0)}$ in the recent work of Breuil, Herzig, Hu, Morra and Schraen.

Representations of $\mathrm{GL}_2$ over $\mathbb{Z}/p^n\mathbb{Z}$ and congruences for binomial coefficients

2025-04-21T14:07:07Z

For an odd prime $p$, we realize the trivial representation of $\mathrm{GL}_2(\mathbb{Z}/p^n\mathbb{Z})$ on the free $\mathbb{Z}/p^n \mathbb{Z}$-module of rank one as a subquotient of a direct sum of symmetric power representations (twisted by appropriate powers of the determinant) of rank strictly greater than one. The proof eventually reduces to establishing some novel supercongruences for binomial coefficients.

Existence of primitive normal pairs over finite fields with prescribed subtrace

2025-04-21T14:00:55Z

Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(\epsilon)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and $\mathrm{STr}_{q^n/q}(\epsilon) = \sum_{0\leq i

Pentagonal number recurrence relations for $p(n)$

2025-04-21T11:47:10Z

We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-\omega(k)), $$ where $\omega(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $\nu=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $\nu\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_{\nu}(n,0)}\left(\alpha_{\nu}\cdot \sigma_{2\nu-1}(n)+ \mathrm{Tr}_{2\nu}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_{\nu}(n,k)\cdot p(n-\omega(k))\right), $$ where $\sigma_{2\nu-1}(n)$ is a divisor function, $\mathrm{Tr}_{2\nu}(n)$ is the $n$th weight $2\nu$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_{\nu}(n,k)$ is a polynomial in $n$ and $k.$ The $\nu=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot \tau(n). $$

Intervals without primes near an iterated linear recurrence sequence

2025-04-21T08:55:16Z

Let $M$ be a fixed positive integer. Let $(R_{j}(n))_{n\ge 1}$ be a linear recurrence sequence for every $j=0,1,\ldots, M$, and we set $f(n)=(R_0\circ \cdots \circ R_M)(n)$, where $(S\circ T)(n)= S(T(n))$. In this paper, we obtain sufficient conditions on $(R_{0}(n))_{n\ge 1},\ldots, (R_{M}(n))_{n\ge 1}$ so that the intervals $(|f(n)|-c\log n, |f(n)|+c\log n)$ do not contain any prime numbers for infinitely many integers $n\ge 1$, where $c$ is an explicit positive constant depending only on the orders of $R_0,\ldots, R_M$. As a corollary, we show that if for each $j=1,2,\ldots, M$, the sequence $(R_j(n))_{n\ge 1}$ is positive, strictly increasing, and the constant term of its characteristic polynomial is $\pm 1$, then for every Pisot or Salem number $\alpha$, the numbers $\lfloor \alpha^{(R_1\circ \cdots \circ R_M)(n)} \rfloor $ are composite for infinitely many integers $n\ge 1$.

On the Exponential Diophantine Equation $(a^n-1)(b^n-1)=x^2$

2025-04-21T07:50:51Z

Let $a$ and $b$ be two distinct fixed positive integers such that $\min \{a,b\}>1.$ First, we correct an oversight from \cite{X-Z}. Then, we show that the equation in the title with $b \equiv 3 \pmod 8$, $b$ prime and $a$ even has no solution in positive integers $n, x$. This generalizes a result of Szalay \cite{L}.

The automorphism group of torsion points of an elliptic curve over a field of characteristic $\ge 5$

2025-04-21T04:57:43Z

For a field $\mathbb{K}$ of characteristic $p\ge5$ containing $\mathbb{F}_{p}^{\operatorname{alg}}$ and the elliptic curve $E_{s,t}: y^{2} = x^{3} + sx + t$ defined over the function field $\mathbb{K}\left(s,t\right)$ of two variables $s$ and $t$, we prove that for a non-negative positive integer $e$ and a positive integer $N$ which is not divisible by $p$, the automorphism group of the normal extension $\mathbb{K}\left(s,t\right)\left(E_{s,t}\left[p^{e} N\right]\right)$ over $\mathbb{K}\left(s,t\right)$ is isomorphic to $\left(\mathbb{Z}/p^{e}\mathbb{Z}\right)^{\times} \times \operatorname{SL}_{2} \left(\mathbb{Z}/N\mathbb{Z}\right)$.

Moduli stacks of crystals and isocrystals

2025-04-21T02:01:55Z

Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin stack in rigid geometry -- over $\mathbb{Q}_p$. Both stacks come equipped with the Verschiebung endomorphism $V$ corresponding to the Frobenius pullback of (iso)crystals. We study the geometry of the $V$-fixed points over the open substack of irreducible isocrystals, which we use to geometrically count the rank one $F$-isocrystals. Along the way, we carefully develop the theory of adic stacks.

Perfectoid $C_i$ transfer

2025-04-20T19:17:54Z

We prove a perfectoid analogue of the Ax-Kochen theorem on zeros of $p$-adic forms: Given $d\in \mathbb{N}$, there is a finite totally ramified extension $E/\mathbb{Q}_p$ such that every untilt of $\mathbb{F}_p(\!(t^{1/p^{\infty}})\!)$ containing $E$ is $C_2(d)$. We also prove a similar result for the existence of rational points in rationally connected varieties over perfectoid field extensions of $\mathbb{Q}_p^{ur}$.

Analytic Number Theory and Algebraic Asymptotic Analysis

2025-04-20T18:31:39Z

This monograph elucidates and extends many theorems and conjectures in analytic number theory and algebraic asymptotic analysis via the natural notion of "degree" and a more general notion that we call "logexponential degree." Specifically, we define the \emph{degree} of a real function $f$ whose domain is not bounded above to be the infimum of all real numbers $t$ such that $f(x)$ is $O(x^t)$. The Riemann hypothesis, for example, is equivalent to the statement that the degree of the function $\pi(x)- \operatorname{li}(x)$ is $1/2$, where $\pi(x)$ is the prime counting function and $\operatorname{li}(x)$ is the logarithmic integral function. Part 1 of the text is a survey of analytic number theory, Part 2 introduces the notion of logexponential degree and uses it to extend results in algebraic asymptotic analysis, and Part 3 applies the results of Part 2 to the various functions that figure most prominently in analytic number theory and Diophantine analysis. Central to the notion of logexponential degree are Hardy's \emph{logarithmico-exponential functions}, which are real functions defined in a neighborhood of $\infty$ that can be built from $\operatorname{id}$, $\exp$, and $\log$ using the operations $+$, $\cdot$, $/$, and $\circ$. Such functions are natural benchmarks for the orders of growth of functions in analytic number theory. The main goal of Part 3 is to express the logexponential degree of various functions in analytic number theory in terms of as few "logexponential primitives" as possible. The logexponential degree of the function $e^\gamma \prod_{p\leq x}(1-1/p) -1/\log x$, for example, can be expressed in terms of that of $\pi(x)- \operatorname{li}(x)$ and vice versa, despite the fact that very little is known about the logexponential degree of either function separately, even on condition of the Riemann hypothesis.

Interpolated multiple $t$-values of general level with fixed weight, depth and height

2025-04-20T13:00:20Z

In this paper, we introduce the interpolated multiple $t$-values of general level and represent a generating function for sums of interpolated multiple $t$-values of general level with fixed weight, depth, and height in terms of a generalized hypergeometric function $_3F_2$ evaluated at $1$. Furthermore, we explore several special cases of our results. The theorems presented in this paper extend earlier results on multiple zeta values and multiple $t$-values of general level.