https://arxiv.org/api/LCcLNSrOwVNxrIFGIcgc5cGpn7U 2026-06-18T18:04:15Z 49268 345 15 http://arxiv.org/abs/2507.22319v3 2026-06-03T03:04:52Z

We study the higher Chow group $CH^2(X,1)$ of a smooth projective curve $X$ over a global field $F$, focusing on the kernel $V(X)$ of the push-forward map $CH^2(X,1) \to CH^1(F,1) = F^\times$. Our main purpose is to investigate the structure of the torsion subgroup of $V(X)$ and its relation to the arithmetic of the curve. Using Bloch's exact sequence together with a Hasse principle for Galois cohomology arising from mod-$l$ Galois representations, we show that the mod-$l$ quotient $V(X)/lV(X)$ is governed by the mod-$l$ Galois representation on the $l$-torsion subgroup $J[l]$ of the Jacobian variety $J$ of $X$.

2025-07-30T01:26:23Z Toshiro Hiranouchi http://arxiv.org/abs/2606.04371v1 2026-06-03T02:36:16Z

We prove a high-dimensional primitive inhomogeneous Diophantine approximation result for fixed non-singular simultaneous frequencies. The frequency class is explicit and has full Lebesgue measure.

2026-06-03T02:36:16Z 17 pages. comments welcome! Xueyin Wang http://arxiv.org/abs/2606.03482v2 2026-06-03T02:03:27Z

Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\operatorname{wt}(a)$ and $\operatorname{wt}(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.

2026-06-02T11:00:45Z 8 pages; v2: fixed formatting typo in metadata Scott Duke Kominers http://arxiv.org/abs/2606.04344v1 2026-06-03T02:00:07Z

Over an infinite field, we prove a refinement of Matsusaka's theorem in which the complementary isogeny factor can be made absolutely simple of arbitrarily large dimension. We also discuss related questions around relative simplicity and the isogeny Schottky problem.

2026-06-03T02:00:07Z Congling Qiu http://arxiv.org/abs/2606.04336v1 2026-06-03T01:25:50Z

We prove that the $π$-Fourier transform introduced by Jiang--Luo and the Voronoi--Hankel transform for $π$ introduced by the last author are essentially the same one. We give a systematical study of the relevant kernel function in the non-archimedean case, including the asymptotic behavior at $0$ and $\infty$ and some simple integral representation based on the local Langlands correspondences for the essentially tame supercuspidals. As an application, we give an effective version of the stability theorem for the local gamma factors.

2026-06-03T01:25:50Z Zhefeng Shen Han Wu http://arxiv.org/abs/2401.06624v2 2026-06-02T23:04:03Z

In an earlier paper of the authors, a general family of instances of the relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh [BZSV] were proposed and studied in the setting of branching problems for smooth representations. In this paper, we show the numerical conjectures of [BZSV] for the local Plancherel density, as well as an application to their conjectures on global periods, for this general family of instances.

2024-01-12T15:16:51Z Advances in Mathematics, Vol. 494 (2026), 110933 Wee Teck Gan Bryan Peng Jun Wang http://arxiv.org/abs/2606.04203v1 2026-06-02T20:46:21Z

This paper considers holomorphic modular forms for $Γ_1(N)$ of integral weight of the form $$f^{(N)}_{\mathbf a}(τ) =q^{s} (q^{N};q^{N})_{\infty}^{a_0}\prod_{j=1}^{\lfloor N/2 \rfloor}(q^j,q^{N-j};q^N)_\infty^{a_j}, \quad \mathbf a = (a_1, \ldots, a_{\lfloor N/2 \rfloor}),$$ for fixed $a_0=2k \in 2 \Bbb Z_{\ge 0}$. We show that the number of relevant exponent vectors $\mathbf a$ is finite and characterize them in terms of the $\mathbb{Q}$-rational cuspidal divisor class group of $X_{1}(N)$. Effective procedures are given for counting the admissible exponents by enumerating the corresponding polytopes. This leads to formulas for the number of exponent vectors in terms of quasipolynomials in $k$.

2026-06-02T20:46:21Z Timothy Huber Jeffery Opoku Dongxi Ye http://arxiv.org/abs/2606.03970v1 2026-06-02T17:53:57Z

In this paper we confirm several conjectures on determinants and permanents. For example, we prove that for any prime $p\equiv3\pmod 4$ the number $2\det[a_{jk}]_{0\le j,k\le (p-1)/2}$ is congruent to a square modulo $p$, where $a_{jk}=(\frac{j+k}{p})+(\frac{j^2+k^2}{p})$ with $(\frac{\cdot}{p})$ the Legendre symbol. We also prove that ${\rm per}[j^{k-1}]_{1\leq j,k\leq n-1}\equiv0\pmod n$ for any integer $n>1$ with $n\not\equiv2\pmod 4$.

2026-06-02T17:53:57Z 8 pages Bo Jiang Zhi-Wei Sun http://arxiv.org/abs/2510.10018v5 2026-06-02T17:16:26Z

For a Galois number field $K$, the Galois group $\text{Gal}(K/\mathbb{Q})$ acts on the class group $\text{Cl}_K$ in a very natural way: $σ\cdot[I]=[σ(I)]$ for any $σ\in \text{Gal}(K/\mathbb{Q})$, $[I]\in \text{Cl}_K$. In this paper, we will explore how the unique properties of this group action work together to elucidate the relationship between these two groups -- developing and expanding upon some known results from a new perspective. To this end, we explore the class groups of localizations of the ring of integers $\mathcal{O}_K$. These turn out to be powerful tools for understanding $\text{Cl}_K$ and overrings of $\mathcal{O}_K$. The paper concludes with some interesting observations about normset arithmetic and complexity -- topics intimately related to this action.

2025-10-11T04:47:41Z 19 pages Jim Coykendall Jared Kettinger http://arxiv.org/abs/2606.03902v1 2026-06-02T16:57:03Z

We study the Abel--Jacobi map over the twistor-$\mathbb{P}^1$ in the context of Scholze's geometrisation of the real local Langlands correspondence. In a similar spirit to a result of Fargues over the Fargues--Fontaine curve, we prove that pullback along the Abel--Jacobi map induces an equivalence on Picard groupoids and use this to recover local class field theory for archimedean local fields.

2026-06-02T16:57:03Z 17 pages. Comments welcome! Saverio Caleca Maximilian Hauck http://arxiv.org/abs/2606.03896v1 2026-06-02T16:53:39Z

Motivated by the recent work of Li and Wang on parametric generalizations of Van Hamme's $(C.2)$ supercongruence in the $q$-setting, we establish $q$-analogues of a supercongruence related to Van Hamme's $(B.2)$ supercongruence, recently obtained by the authors. In particular, we derive parametric extensions of these $q$-supercongruences by constructing suitable pairs of hypergeometric functions through the $q$-WZ method.

2026-06-02T16:53:39Z Liton Karmakar Arijit Jana http://arxiv.org/abs/2512.03412v5 2026-06-02T16:15:25Z

We explicitly compute Fourier coefficients of Eisenstein series on the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$ with $n\ge 2$ which splits everywhere at finite places. We show that it has a bounded denominator.

2025-12-03T03:39:27Z Henry H. Kim Takuya Yamauchi http://arxiv.org/abs/2606.03791v1 2026-06-02T15:41:34Z

A group is called realizable if it is the group of units in a ring with identity. The classification of realizable groups is a difficult open problem -- originally posed by László Fuchs -- and is an active area of research. Realizable groups seem rare, but their proportion within a fixed class of groups (cyclic, dihedral, finite abelian, etc.) varies. To quantify this proportion, we introduce the realizable density of a class of finite groups as an analog of natural density for subsets of the natural numbers. The realizable finite cyclic groups and the realizable finite abelian $p$-groups for $p$ odd have been classified; we prove that their realizable densities are 1/4 and 0, respectively. The realizable finite abelian 2-groups -- and more generally the realizable finite abelian groups -- have not been fully classified, and these special cases appear quite difficult. Nonetheless, we prove that the realizable density of finite abelian 2-groups is 1 and the realizable density of finite abelian groups is 1/2. Our work combines existing classification theorems for realizable groups with tools from analytic number theory.

2026-06-02T15:41:34Z 16 pages Sunil K. Chebolu Keir Lockridge http://arxiv.org/abs/2606.03781v1 2026-06-02T15:36:08Z

For fixed $α>0$, we show that the sequence $\{αn^θ\}$ has Poissonian pair correlation for Lebesgue-almost all $θ\in (0,\frac{3}{5})\cup(3,\infty)$. This improves a result of Technau and Yesha, who proved the same for almost all $θ>7$. The approach of Technau and Yesha was based on a repulsion principle, which roughly allows one to estimate the variance of the pair correlation function using the fourth derivative of the phase. In our approach, we split the $θ$-integration in the variance into many short intervals and show that most of the integrals can be estimated using the first derivative. The problem is then reduced to several counting estimates, which we prove using moments of the Riemann zeta function and exponent pairs.

2026-06-02T15:36:08Z 42 pages Andrei Shubin http://arxiv.org/abs/2606.03779v1 2026-06-02T15:33:13Z

Let $\mathcal{M}_g$ be the moduli space of smooth curves of genus $g$. The image of a non-constant morphism from a curve $T$ to $\mathcal{M}_g$ is a curve in $\mathcal{M}_g$. By work of González Díez and Harvey, for every integer $g \geq 3$, there exists a complete curve in $\mathcal{M}_g$. Here we generalize the construction to produce new complete curves in $\mathcal{M}_g$. We also find a formula for the genus of each curve $T$ using Galois theory for function fields.

2026-06-02T15:33:13Z Chloe Stewart