Convergence of orbital integrals on unitary groups in positive characteristic

2026-05-11T06:27:02Z

We prove the absolute convergence of orbital integrals on a unitary group over a non-archimedean local field in any positive characteristic.

Non-Archimedean Tarski-Maligranda Inequalities

2026-05-11T05:12:22Z

In 1930, Tarski observed that \begin{align*} \bigg||r|-|s|\bigg|=|r-s|+ |r+s|-(|r|+|s|), \quad \forall r, s \in \mathbb{R}. \end{align*} In 2008, Maligranda converted the previous equality into inequalities that are valid in every normed linear space. We derive non-Archimedean versions of Tarski-Maligranda inequalities. Difference between Archimedean and non-Archimedean inequalities is surprising.

Congruences of first syntomic cohomology groups

2026-05-11T05:01:48Z

Let O_K be the ring of integers of a finite extension K of Q_p. Given two reflexive F-gauges on O_K, we show that for large enough n, the mod p^n-reductions of their first syntomic cohomology groups, which might be regarded as a refinement of local Bloch--Kato Selmer groups, are isomorphic if and only if the mod p^{2n}-reductions of their attached Breuil--Kisin modules with G_K-actions and Nygaard filtrations are isomorphic.

Homological sieve and Manin's conjecture

2026-05-11T02:37:19Z

This is a report of the author's talk at RIMS workshop Algebraic Number Theory and Related Topics 2025 which was held at RIMS Kyoto University during December 15th-19th 2025. In this survey paper, we explain the homological sieve method, which is proposed by Das, Lehmann, Tosteson, and the author, and its applications to Manin's conjecture.

An Explicit Result for the Sum of Two Almost Primes

2026-05-11T02:32:06Z

We show that every $N \geq 2$ can be written as the sum of positive integers $a$ and $b$ where $Ω(ab) \leq 40$. The result is obtained through the direct application of an explicit lower bound Selberg sieve along with some computation and optimisation.

On Ramanujan Primes for Hecke-Maass Cusp Forms

2026-05-10T23:05:34Z

For a primitive Hecke-Maass cusp form $φ$ of level $N$ with the $n$-th Hecke eigenvalue $λ_φ(n)$ and a prime number $p\nmid N$, the celebrated Ramanujan conjecture at $p$ asserts the following sharp upper bound: \[ |λ_φ(p)| \leq 2. \] In this work, we determine an upper bound for the least prime $p$ at which the Ramanujan conjecture holds for two or three distinct primitive Hecke-Maass cusp forms simultaneously. Moreover, given a set of distinct primitive Hecke-Maass cusp forms $\{φ_i\}$, we also provide a lower bound for the lower natural density of the set of primes at which the Ramanujan conjecture holds for at least one of the $φ_i$'s.

The variation of zeros of the Miller basis

2026-05-10T20:00:00Z

We exhibit a connection between the variation of zeros in the Miller basis of modular forms $q^m+O(q^{\ell+1})$ and a logarithmic version $\mathcal{S}_δ$ of the Szegő curve, where $δ=m/\ell$. When $δ<0.6194$ we show that all the zeros are on the unit arc for $k\gg 0$, while if $δ$ is asymptotically close to 1, we show that all the zeros lie on $\mathcal{S}_δ$. In general, we posit that for all $δ$, the zeros are located on the union of the unit arc and the log Szegő curve, obtaining a partial result, and find conjectural thresholds for $m/\ell$ with all zeros on the unit arc, and no zeros on the arc. Finally, we enumerate all algebraic zeros of Miller forms up to $\ell-m\leq 25$.

An analogue of a formula of Popov II

2026-05-10T15:40:31Z

Let $r_{k}(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We prove a generalization of a summation formula already proved by us [Advances in Applied Mathematics, 175 (2026) 103201], which involves the arithmetical function $r_{k}(n)$ and the Bessel functions of the first kind. We extend the Bessel functions in the aforementioned formula to Whittaker functions, and our proof of this generalization is drastically different from the proof of the particular case presented in [Advances in Applied Mathematics, 175 (2026) 103201].

A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety

2026-05-10T15:24:49Z

Inspired by a beautiful formula of Bertolini, Darmon, and Prasanna -- the oft-termed BDP formula -- we address questions about the non-vanishing of non-torsion points under $p$-adic logarithms of abelian varieties. We largely consider situations most applicable to ${\mathrm GL}_2$-type abelian varieties associated with Hilbert modular newforms and Heegner points. Not surprisingly, the main tool employed is the $p$-adic analytic subgroup theorem.

Deterministically finding an element of large order in $\mathbb{Z}_N^*$

2026-05-10T15:08:51Z

In this paper, we present an improvement for the problem of deterministically finding an element of large multiplicative order modulo some integer $N$. This problem arises as a key subroutine in current deterministic factoring algorithms, such as those proposed by Harvey and Hittmeir [Mathematics of Computation, 2021]. Specifically, let $D \exp\left(\sqrt{2\log N \log \log N}\right). \end{equation} We give a deterministic algorithm that does one of the following: Returns an element $a \in \mathbb{Z}_N^*$ with $\operatorname{ord}_N(a) > D$; Returns a non-trivial factor of $N$; Or reports that $N$ is prime. The running time of our algorithm is $O(D^{1/2 + o(1)})$. Similar results were independently and concurrently obtained by Harvey and Hittmeir [arXiv:2601.11131, 2026] in work that appeared while this manuscript was in preparation. Prior to these works, the best known algorithm for finding an element with order larger than $D$ was given by Oznovich and Volk [SODA 2026], requiring $D > N^{\frac{1}{6}}$. We also present a simpler algorithm that applies for any $D < N$ and runs in $O(D^{2.5+o(1)}\operatorname{polylog}(N))$.

The Geometric Unitary Kudla Conjecture

2026-05-10T15:07:06Z

We prove that, over an arbitrary CM field, every symmetric formal Fourier-Jacobi series converges and equals the Fourier-Jacobi expansion of a genuine Hermitian Hilbert modular form. As an application, we show that the Chow-valued Kudla generating series of special cycles on unitary Shimura varieties for Hermitian lattices over CM fields of signature $(p,1)$ at one infinite place and $(p+1,0)$ at all others is modular of weight $p+1$ for a Weil representation, establishing the geometric unitary Kudla Conjecture in arbitrary codimension. This removes the modularity hypothesis from the arithmetic inner product formula by Li-Liu.

On the non-generic part of cohomology of compact unitary Shimura varieties of signature $(1,n)$

2026-05-10T12:32:05Z

In this short note, we prove a result about the non-generic part of the cohomology of certain compact unitary Shimura varieties for good $p$, partially extending a result of Boyer in the case of Harris--Taylor unitary Shimura varieties. Our arguments are different to those of Boyer -- we work in the context of the work of Fargues--Scholze, using ideas introduced by Koshikawa to study the generic part of cohomology.

When is $A + x A =\mathbb{R}$

2026-05-10T11:14:33Z

We show that there is an additive $F_σ$ subgroup $A$ of $\mathbb{R}$ and $x \in \mathbb{R}$ such that $\mathrm{dim_H} (A) = \frac{1}{2}$ and $A + x A =\mathbb{R}$. However, if $A \subseteq \mathbb{R}$ is a subring of $\mathbb{R}$ and there is $x \in \mathbb{R}$ such that $A + x A =\mathbb{R}$, then $A =\mathbb{R}$. Moreover, assuming the continuum hypothesis (CH), there is a subgroup $A$ of $\mathbb{R}$ with $\mathrm{dim_H} (A) = 0$ such that $x \not\in \mathbb{Q}$ if and only if $A + x A =\mathbb{R}$ for all $x \in \mathbb{R}$. A key ingredient in the proof of this theorem consists of some techniques in recursion theory and algorithmic randomness. We believe it may lead to applications to other constructions of exotic sets of reals. Several other theorems on measurable, and especially Borel and analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the $p$-adics.

Raimi's theorem for manifolds with circle symmetry

2026-05-10T09:11:18Z

Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.

On the Density of Coprime Reductions of Elliptic Curves

2026-05-10T05:18:11Z

Given non-CM elliptic curves $E_1$ and $E_2$ over $\mathbb{Q}$, we study the natural density of primes $p$ of good reduction for which the orders of the groups $E_1(\mathbb{F}_p)$ and $E_2(\mathbb{F}_p)$ are coprime. This problem may be viewed as an elliptic curve analogue of the classical question concerning the density of coprime integer pairs. Motivated by Zywina's refinement of the Koblitz conjecture, we formulate a conjecture for the density of such primes. We prove that the series defining this constant converges and admits an almost Euler product expansion. In the case of Serre pairs, we give a closed formula for the constant and use it to prove a moments result describing the distribution of these constants as $(E_1, E_2)$ varies.