https://arxiv.org/api/ZHc15HYC85tR3Gw9YOWOG9znOBI 2026-06-22T02:26:01Z 49277 720 15 http://arxiv.org/abs/2602.14586v2 2026-05-18T15:28:00Z

We give a new integral representation of the $\wedge^2 \otimes \mathrm{std}_2$ $L$-function of generic cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ and $\mathbf{GU}_{2,2}\times \mathbf{GL}_2$. In the former case, we use it to prove a relation between its central $L$-value and the generalized Shalika period. Exploiting the theta correspondence for $(\mathbf{GL}_4,\mathbf{GL}_4)$, we further establish a relation between the central value of the $L$-function attached to the strongly tempered spherical pair $(\mathbf{GL}_4 \times \mathbf{GL}_2,\mathbf{GL}_2 \times \mathbf{GL}_2)$ and its corresponding period. In the case of cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ that are unramified everywhere, our formulas give new evidence towards conjectures of Wan-Zhang and of Gan-Gross-Prasad for $\mathbf{GSpin}_6 \times \mathbf{GSpin}_3$.

2026-02-16T09:33:38Z 58 pages, strengthened Theorem A and rewrote the introduction accordingly Antonio Cauchi Armando Gutierrez Terradillos http://arxiv.org/abs/2604.04850v2 2026-05-18T14:39:58Z

In 1998, Bremner conjectured that elliptic curves over the rationals having long sequences of distinct rational points whose $x$-coordinates are in arithmetic progression, have large rank. This was proved some years ago in a strong form as a consequence of previous work by the authors, by a combination of Nevanlinna theory and the uniform Mordell--Lang theorem of Gao--Ge--Kühne. Thus, if the ranks of elliptic curves over the rationals are uniformly bounded, then so are the lengths of the aforementioned arithmetic progressions. In this note we give a much more direct proof of this last statement, using the height-uniform Mordell theorem of Dimitrov--Gao--Habegger. The method is flexible and we give a new application of these ideas to $x$-coordinates in finitely generated multiplicative groups and geometric progressions; connections to a possible semiabelian uniform Mordell--Lang are also discussed.

2026-04-06T16:52:27Z This version includes applications to finitely generated multiplicative groups, and the presentation has been updated accordingly Natalia Garcia-Fritz Hector Pasten http://arxiv.org/abs/2511.15240v2 2026-05-18T14:06:57Z

We establish a general construction of single-valued elliptic polylogarithms as functions on the once-punctured elliptic curve. Our formalism is an extension of Brown's construction of genus-zero single-valued polylogarithms to the elliptic curve: the condition of trivial monodromy for solutions to the Knizhnik-Zamolodchikov-Bernard equation is expressed in terms of elliptic associators and involves two representations of a two-letter alphabet. Our elliptic single-valued condition reduces to Brown's genus-zero condition upon degeneration of the torus. We provide several examples for our construction, including the elliptic Bloch-Wigner dilogarithm.

2025-11-19T08:49:12Z 25 pages, 3 appendices; v2: minor changes Konstantin Baune Johannes Broedel Yannis Moeckli http://arxiv.org/abs/2509.20259v3 2026-05-18T13:44:10Z

Given positive integers $h, N$ satisfying $1 \leqslant h \leqslant 2N^2$, we define $T(h,N)$ to be the number of $2\times 2$ integer matrices with determinant equal to $h$ whose entries lie in $[-N,N]$. Our main result states that for any $\varepsilon >0$, one has \[ T(h,N) = \frac{16}{ζ(2)} N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon} (N+ h)).\] This quantitatively improves upon recent work of Afifurrahman and Ganguly--Guria, and delivers square-root cancellation estimates when $h \leq N$. We further show that when $h$ is large, the error term is of approximately the correct order.

2025-09-24T15:45:45Z 10 pages. The content of the previous version of this paper has been split over two papers, of which this new version is the first and the second is arXiv:2605.15434 Jonathan Chapman Akshat Mudgal http://arxiv.org/abs/2006.06230v6 2026-05-18T13:43:35Z

We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a torus is finite, generalising results of Ostafe, Sha, Shparlinski and Zannier (2017). We also generalise their structure theorem for such sets when the algebraic subgroups are not necessarily connected, and obtain a related result in the context of curves and arithmetic dynamics.

2020-06-11T07:05:45Z Jorge Mello http://arxiv.org/abs/2605.18348v1 2026-05-18T13:06:04Z

In this paper we study the equation $$ x^k + (x+1)^k = y^n,\quad n\geq 3, $$ when $k\equiv 2\pmod{4}$. We prove that the only solutions are for $x=0, -1$ when $6\leq k\leq 100$ or for a $k$ with odd prime factors congruent to $3\pmod{4}$. We use linear forms in logarithms, the modular method and the resolution of Thue equations.

2026-05-18T13:06:04Z 17 pages; Comments are welcome Angelos Koutsianas Nikos Tzanakis http://arxiv.org/abs/2605.21518v1 2026-05-18T12:39:12Z

Erdős asked whether there are infinitely many finite sets of distinct primes $p_1<\cdots<p_k$ and positive integers $m$ such that \begin{equation}\label{eq:erdos-original} \frac1{p_1}+\cdots+\frac1{p_k}=1-\frac1m. \end{equation} This is Erdős Problems \#313~\cite{ErdosProblems313}. As recalled below, it is equivalent to the infinitude of primary pseudoperfect numbers. Following Butske, Jaje, and Mayernik~\cite{ButskeJajeMayernik}, a squarefree positive integer $n$ is a \emph{primary pseudoperfect number} if \begin{equation}\label{eq:ppn-def} \frac1n+\sum_{p\mid n}\frac1p=1, \end{equation} where the sum is over the prime divisors of $n$. OEIS A054377~\cite{OEISA054377} records the initial values \[ \begin{array}{c} 2,\ 6,\ 42,\ 1806,\ 47058,\\[2pt] 2214502422,\ 52495396602. \end{array} \] and the eight-prime-factor example \[ \text{\seqsplit{8490421583559688410706771261086}}. \] Butske, Jaje, and Mayernik proved by computation that for each $r\le 8$ there is exactly one primary pseudoperfect number with $r$ distinct prime factors~\cite{ButskeJajeMayernik}. This result gives a useful baseline, but it does not address later layers or the infinitude problem. This paper uses a local language for residual equations. A \emph{port} is a pair $(R,c)$, and a squarefree integer $B$ fills it if \[ Δ_{R,c}(B):=cB-R\partial(B)=1. \] The corresponding reciprocal form is \[ \sum_{q\mid B}\frac1q+\frac1{RB}=\frac cR. \] The product rule for the arithmetic derivative gives the composition law for ports. This law separates fillings inherited from smaller primary pseudoperfect numbers from fillings that are primitive relative to the fixed residual equation. The unconditional results of the paper are as follows.

2026-05-18T12:39:12Z Han Wang http://arxiv.org/abs/2603.29622v2 2026-05-18T11:14:44Z

We study the parity-perturbed Hofstadter-type recursion $$ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n . $$ We prove, by computer-certified finite-state induction, that this recursion is well-defined for all $(n\ge 1)$. The proof extracts a finite symbolic recursive model from a directly verified initial trace and then verifies an exported machine-readable certificate by independent checkers. The certificate consists of finite symbolic word systems, radius-$(R)$ contexts, context-extension records, symbolic realizations, and arithmetic recurrence records. The checkers verify symbolic closure, cycle factorization, faithfulness to an independently recomputed trace, arithmetic correctness, parity consistency, and strict backwardness of all certified recursive dependencies. The length of the computed trace is not used as evidence for global well-definedness. Instead, exhaustiveness is certified over the declared finite symbolic transition system. Together with a minimal-counterexample induction, the finite certificate rules out a first undefined recursive call.

2026-03-31T11:44:45Z 38 pages, 2 figures. Major revision with explicit certificate semantics, realization and extension records, faithfulness verification, parity checking, and reproducibility infrastructure Marco Mantovanelli http://arxiv.org/abs/2210.02519v2 2026-05-18T11:04:41Z

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer factors and a normalized correspondence between an $L$-packet for a disconnected group and the set of representations of the centralizer groups of its Langlands parameter. We prove the first instance of this conjecture, in which the identity component of the (possibly non-abelian) disconnected group is a torus.

2022-10-05T19:35:17Z Second updated version. Changes since v1: Changed handling of Kottwitz signs to align with results for real groups, added material about admissible Whittaker data and toral invariants, added appendices Tasho Kaletha http://arxiv.org/abs/2605.17973v1 2026-05-18T07:29:36Z

Towers of algebraic function fields over finite fields play a fundamental role in arithmetic geometry and coding theory. Classical examples arising from modular and Drinfeld modular curves exhibit asymptotically good behavior. In this paper, we introduce an analogous construction derived from the moduli spaces of higher-level dormant $\mathrm{PGL}_2$-opers of prescribed radii on $4$-pointed stable curves of genus $0$. These spaces, which we refer to as dormant modular curves, form projective systems under level reduction. Building on previous results in the moduli theory of dormant opers, we establish an explicit formula for computing the genera of these curves. This formula allows us to study the asymptotic behavior of the corresponding towers of function fields and to compare them with the classical modular and Drinfeld modular cases.

2026-05-18T07:29:36Z 42 pages Kohei Aoyama Youhei Morita Yasuhiro Wakabayashi http://arxiv.org/abs/2605.17972v1 2026-05-18T07:28:15Z

For congruence subgroups commensurable with $\operatorname{SL}_2$ over number fields, we study cusp counts with certain multiplicities. We prove that the ratio of the total weighted cusp count to the group index is bounded by a negative power of the norm of the congruence level. This generalizes a theorem of Cox--Parry over $\mathbb Q$, and supports the heuristic that cusp terms occurring in topological, arithmetic and representation-theoretical formulas are subleading. The proof proceeds by localizing at a prime and reducing the problem to finite quotients, where it becomes a counting problem for finite groups. The main technical part is a counting problem for subgroups of $\operatorname{SL}_2$ over finite non-reduced principal local rings, proved by an analysis reminiscent of additive combinatorics.

2026-05-18T07:28:15Z 92 pages Shengyuan Zhao http://arxiv.org/abs/2011.04846v3 2026-05-18T07:21:07Z

This paper aims to develop a theory of projective and affine structures on higher-dimensional varieties in positive characteristic. This theory deals with Frobenius-projective and Frobenius-affine structures, which have been previously investigated in the case where the underlying space is a curve. We first provide a description of such structures in terms of Berthelot's higher-level differential operators. That description leads us to obtain a positive characteristic version of Gunning's formulas, which give necessary conditions on Chern classes for the existence of Frobenius-projective and Frobenius-affine structures, respectively. Finally, we establish some characterizations of projective spaces using Frobenius-projective structures.

2020-11-10T00:43:06Z This is the first of two papers obtained by dividing the content of the previous version. 49 pages Yasuhiro Wakabayashi http://arxiv.org/abs/2605.17872v1 2026-05-18T05:33:41Z

In this note, we obtain an exact formula for the $q$-adic valuation of $σ_k(n)$ where $q$ is an odd prime, allowing us to derive an explicit upper bound which is asymptotically better than the previous bound obtained by Zhao when $n$ is large and $k \geqslant q-2$. The key parts are played by the LTE lemma and the use of cyclotomic polynomials.

2026-05-18T05:33:41Z 5 pages ; comments are welcome Olivier Bordellès http://arxiv.org/abs/2206.13997v4 2026-05-18T04:39:35Z

In this paper, we obtain an analogue of the Serre derivation acting on the product of spaces of Drinfeld modular forms which generalizes the differential operator introduced by Gekeler in the rank two case. We further introduce a finitely generated algebra $\mathcal{M}_r$ containing all the Drinfeld modular forms for the full modular group and show its stability under the partial derivatives.

2022-06-28T13:35:01Z 30 pages Yen-Tsung Chen Oğuz Gezmiş http://arxiv.org/abs/2605.17836v1 2026-05-18T04:18:06Z

Let $K/\mathbf{Q}_p$ be an unramified extension of degree $f$ with residue field $k$. Let $σ$ be an irreducible representation of $\mathrm{GL}_n(k)$ over $\overline{\mathbf{F}}_p$. For $n\ge 3$, we prove that the universal supersingular representation of weight $σ$ is non-admissible and of infinite length when $σ$ is sufficiently generic and satisfies certain technical conditions. This generalizes the previous results for $n=2$ and a non-trivial finite extension $K/\mathbf{Q}_p$. Our method employs a weight cycling argument together with recent progress on the Serre weight conjectures.

2026-05-18T04:18:06Z 22 pages, 1 figure; comments welcome! Zachary Feng Heejong Lee Ray Li Vaughan McDonald Nischay Reddy