Existential fragments of theories of henselian valued fields

2026-05-04T09:30:09Z

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the equicharacteristic case, and the $\exists_n$-fragment in the residue characteristic zero case. For example, we obtain an unconditional axiomatization (and thereby decidability) of the $\exists_3$-theory of $\mathbb{F}_{q}(\!(t)\!)$ in the language of valued fields with a parameter for $t$.

Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic

2026-05-04T08:13:31Z

In this paper, we prove that if the Frobenius traces agree at all but finitely many places, then two $l$-adic Galois representations, associated to rank-$2$ non-CM Drinfeld modules of generic characteristic, are isomorphic. As a generalization, we show that the "Frobenius trace equality at all but finitely many places forces isomorphism" between two Galois representations over a local field of positive characteristic holds under an absolute irreducibility assumption. Moreover, we formulate and prove a function field analogue of strong multiplicity one property for semisimple Galois representations over a local field of positive characteristic.

Galois representation of the product of two Drinfeld modules of generic characteristic

2026-05-04T01:22:31Z

In this paper, we study the Galois representations attached to products of Drinfeld modules. As an analogue of Serre's classical result on the images of Galois representations associated with products of elliptic curves, we prove that for any finite set of primes, the image of the corresponding product representation is sufficiently large, in the sense that it is commensurable with a subgroup defined by a natural determinant condition. Our approach combines Pink's minimal model theory for compact subgroups of linear groups over local fields with explicit reciprocity laws for global function fields.

New Gosper-type Lambert series identities of levels 12 and 16

2026-05-04T00:40:05Z

We derive new Gosper-type Lambert series identities of levels $12$ and $16$ using certain sums of generalized $η$-quotients on the genus zero congruence subgroups $Γ_0(12)$ and $Γ_0(16)$.

An analogue of Rogers' theorem on sieving in commutative rings

2026-05-03T22:33:10Z

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings with linearly ordered ideals.

Gaps in Multiplicative Sidon Sets

2026-05-03T21:14:35Z

For a positive integer $n$, let $g(n)$ denote the infimum of all real numbers $L$ such that there exists a multiplicative Sidon set $A\subseteq\{1,2,\dots,n\}$ that intersects every interval $[x,x+L]\subseteq[1,n]$. Sárközy asked for estimates on $g(n)$, and he in particular asked whether one has $g(n)\le\sqrt n$ for every $n\in\mathbb{N}$. We first show that this estimate does indeed hold, with a proof that was autonomously discovered and formally verified in Lean by Aristotle. Next, we improve the upper bound further and, with $ρ= \frac{13-\sqrt{69}}{10} < 0.47$, prove that $g(n)\ll_{\varepsilon} n^{ρ+\varepsilon}$ for every $\varepsilon > 0$.

Flat Cohomological Purity for Syntomic Schemes over Valuation Rings

2026-05-03T17:34:21Z

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary (possibly infinite-rank) mixed-characteristic valuation rings $V$, thereby extending the theorem of Česnavičius--Scholze to the non-noetherian setting. More precisely, for a flat finite-type scheme over $V$ with local complete intersection fibres, we prove that the cohomology with coefficients in a commutative finite locally free group scheme remains unchanged after removing a closed subscheme satisfying a suitable fibrewise codimension condition; in particular, we obtain vanishing in low degrees and injectivity in the critical degree. As applications, we deduce purity results for local cohomology, for torsion in the Picard group, and for the Brauer group. In higher rank, our results yield sharper bounds than those previously obtained by Bhatt--Lurie and Madapusi--Mondal. The argument rests on recent advances in the structure theory of valuation rings.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 3: contribution of the elliptic part

2026-05-03T13:09:38Z

We continue to work on \emph{Beyond Endoscopy} for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification at $S = \{\infty, q_1, \dots, q_r\}$ (where $2 \in S$), generalizing the final step of Altuğ's work in the unramified setting. We derive an explicit asymptotic formula for the elliptic part when summing over $n2$, directly generalizing Altuğ's final result. Our approach differs entirely from Altuğ's: We apply a second Poisson summation with respect to the determinant, obtaining a formula on the Hitchin-Steinberg base $\mathfrak{g}/\!/ \mathsf{G}$. By changing variables from $(T, N)$ to $(T, Δ)$ on $\mathfrak{g}/\!/ \mathsf{G}$, we perform analysis in the new coordinates.

Computing torsion for plane quartics without using height bounds

2026-05-03T12:41:08Z

We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes, and searching for torsion points, not just over Q but also over small number fields, until the two bounds meet. Both complex analytic and Chinese remainder theorem based methods are used to find such torsion points. The method has been implemented in Magma for plane quartic curves over Q with a rational point and used to provably compute the rational torsion subgroup for more than 98% of Jacobians of curves in a data set due to Sutherland consisting of 82240 plane quartic curves.

On the generalized inverse tangent integral and Catalan's constant

2026-05-03T11:44:13Z

In this paper, we develop new identities for the inverse tangent integral by connecting it to the dilogarithmic (polylogarithmic) structure and to a carefully designed auxiliary arctangent integral $Ti_2(a)$ with a tunable endpoint. The core idea is based on the introduction of an auxiliary integral depending on two parameters and analyzing it via a generating-function perspective. This converts the integral into an explicit formula, yielding a compact representation in terms of the real part of a dilogarithmic expression plus a companion dilogarithm contribution. In parallel, the inverse tangent integral is rewritten through standard integral transformations into a form governed by the imaginary part of a dilogarithm evaluated at a complex argument, producing a clean polylogarithmic description. Overall, we establish a coherent bridge between arctangent-type integrals, identities connected to Catalan's constant, and the systematic generation of new integral representations and decompositions.

Deformations of Prismatic Higher $(G,μ)$-Displays over Quasi-Syntomic Rings

2026-05-03T11:17:00Z

We prove a deformation theorem for prismatic higher $(G,μ)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonné modules to a class of rings, properly containing quasi-syntomic rings. Finally, we relate the stack of prismatic higher $(G,μ)$-displays to integral local Shimura varieties.

Analytic Study of $p$-Bessel Functions: Fractional Calculus, Integral Representations, and Complex Extensions

2026-05-03T07:53:03Z

We present a systematic analytic study of the $p$-Bessel functions $\mathcal{J}_{ω,\varphi}^{[p]}$, a novel class of generalized Bessel functions arising from Fourier analysis on planar domains bounded by $p$-circles, including astroid-type shapes with $0

A bibasic double sum extension of a $q$-binomial theorem arising out of subspace enumeration

2026-05-03T07:05:07Z

We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.

Numbers in a Beatty sequence which are orders only of cyclic, abelian or nilpotent groups

2026-05-03T02:47:16Z

Let $C(x)$, $A(x)$, and $N(x)$ denote the counting functions of cyclic, abelian, and nilpotent numbers not exceeding $x$, respectively. Their asymptotic formulas have been established in recent work by Pollack and Just. In this paper, by adapting the methods of Pollack and Just, we study the distribution of these numbers in Beatty sequences $\mathcal{B}_{α,β} = ([αn + β])_{n=1}^{\infty}$, where $α> 1$ is an irrational number of finite type and $β$ is a fixed real number. We prove that the counting functions $\#C^*(x)$, $\#A^*(x)$, and $\#N^*(x)$ for cyclic, abelian, and nilpotent numbers in Beatty sequences satisfy asymptotic formulas that differ from those of Pollack and Just only by a factor $1/α$.

Archimedean arithmetic Siegel--Weil formula for general weights over Shimura curves

2026-05-03T00:04:50Z

We prove an averaging formula for the canonical archimedean height pairing of special divisors with weights over orthogonal and unitary Shimura curves in terms of derivatives of Whittaker functions.