https://arxiv.org/api/gECdvk598KV4TMMJtScpJWkekkk 2026-06-19T02:26:48Z 49277 465 15 http://arxiv.org/abs/2307.16736v3 2026-05-30T07:52:37Z

Let $F$ be a totally real number field and $r=[F :\mathbb{Q}].$ Let $A_k(\mathfrak{N},ω) $ be the space of holomorphic Hilbert cusp forms with respect to $K_1(\mathfrak{N})$, of weight $k=(k_1,\dots,k_r)$ such that $k_j>2$ for all $j$, and with central Hecke character $ω$. For integral ideals $\mathfrak{N}$ and $\mathfrak{n}$ in $F$ such that $( \mathfrak{n}, \mathfrak{N}) = 1$, we study the Petersson trace formula for the Hecke operator $T_{\mathfrak{n}}$ acting on the space $A_k(\mathfrak{N},ω)$. We present asymptotic estimates for the terms of the Petersson formula as $k_0\rightarrow\infty,$ where $k_0=\min(k_1,\dots,k_r)$. As an application, we obtain a weighted discrepancy bound for the distribution of the eigenvalues of the Hecke operator $T_{\mathfrak{p}}$ (for a fixed prime ideal $\mathfrak{p}$) acting on the space $A_k(\mathfrak{N},1),$ when $F$ has narrow class number $1$, and the ideal $\mathfrak{N}$ is generated by (rational) integers. This generalizes a discrepancy result previously obtained by Jung and Sardari in the context of classical cusp forms.

2023-07-31T14:56:53Z 23 pages Baskar Balasubramanyam Jishu Das Kaneenika Sinha http://arxiv.org/abs/2606.00505v1 2026-05-30T03:38:53Z

Exceptional longest-run behaviour in continued fraction expansions is studied through the interaction between fixed-symbol runs and the overall longest run. For every prescribed partial quotient value and every admissible growth scale, a full Hausdorff dimensional set of irrational numbers is constructed on which the longest run of the prescribed value has exactly the prescribed asymptotic growth and, for every initial length, uniquely realises the overall maximum. It follows that the symbol responsible for the overall longest run can be fixed in advance without any loss of Hausdorff dimension. Thus, the known full-dimensional exceptional-set results for fixed-symbol longest-run growth and for overall longest-run growth are simultaneously strengthened, while the maximising symbol in the overall problem is shown to be fully prescribable.

2026-05-30T03:38:53Z Ying Wai Lee http://arxiv.org/abs/2606.00482v1 2026-05-30T02:22:37Z

Let $k$ be a real quadratic field. Let $k_n$ be the $n$-th layer of the $\mathbb{Z}_2$-extension of $k$, and $2^{a_n}$ be the $2$-part of the class number of $k_n$. In this paper, we derive many laws concerning the sequence $(a_0,a_1,\dotsc)$, by iteratively extending the group of cyclotomic units.

2026-05-30T02:22:37Z Sosuke Sasaki http://arxiv.org/abs/2606.00410v1 2026-05-29T22:56:26Z

We prove that the set of positive integers having between $1$ and $n$ prime factors, counted with multiplicity, has degree of accessibility $2^n$. In particular, the case $n=1$ answers a question of Landman and Robertson asking whether the set of prime numbers is $2$-accessible.

2026-05-29T22:56:26Z 8 pages, comments are welcome Oscar Quester http://arxiv.org/abs/2605.24148v2 2026-05-29T18:15:16Z

We address a new case of the Harris-Viehmann conjecture, which establishes a parabolic induction formula on the cohomology groups associated to non-basic local Shimura data. It follows that all supercuspidal representations on a Shimura variety are concentrated along the basic locus, making the conjecture relevant to the Langlands program. Historically, many cases of the Harris-Viehmann conjecture have been approached with the additional condition of Hodge-Newton reducibility on the underlying local Shimura datum. Building on previous work by Mantovan (EL/PEL case) and Hong (Hodge case), we extend the proof of the conjecture to unramified non-basic local Shimura data of abelian type under the assumption of Hodge-Newton reducibility. We leverage Shen's construction of Rapoport-Zink spaces of abelian type at the hyperspecial level.

2026-05-22T19:11:36Z TeX problems fixed. 31 pages of content. Comments are welcome! Sandra Nair Xinyu Zhou http://arxiv.org/abs/2605.31515v1 2026-05-29T16:32:50Z

This paper was triggered by recent results on the maximal `average distance between consecutive points' of uniformly distributed sequences (u.f.d.s.). Here we address a generalized version of this question, consider pairwise maximal/minimal/total distances in blocks/segments of $ d \geq 2 $ consecutive points of u.f.d.s., and derive sharp upper bounds for all three aggregations. Our main idea of proof consists in, firstly, adding degrees of freedom, secondly, translating the resulting problem to a solvable optimization problem over the compact family of $ d $-stochastic measures, and, thirdly, showing that the obtained bounds are also sharp bounds for the original problem.

2026-05-29T16:32:50Z 22 pages, 17 figures Sebastian Heintze Wolfgang Trutschnig http://arxiv.org/abs/2605.31488v1 2026-05-29T16:12:11Z

We show that every pair of 2-torsion elements in the Tate-Shafarevich group of an elliptic curve are visible in the same abelian surface. This was previously only known for a single 2-torsion element. Our result explains some of the original observations on visibility in the paper of Cremona and Mazur.

2026-05-29T16:12:11Z 18 pages Tom Fisher http://arxiv.org/abs/2604.23468v3 2026-05-29T15:32:06Z

In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

2026-04-25T23:27:10Z 8 pages, title updated Sidharth Hariharan Christopher Birkbeck Seewoo Lee Ho Kiu Gareth Ma Bhavik Mehta Auguste Poiroux Maryna Viazovska http://arxiv.org/abs/2503.13295v2 2026-05-29T15:25:18Z

In this paper we describe new noncommutative factorizations of functions related to $d$-th tensor powers of Carlitz's $\mathbb F_q[θ]$-module for $d\geq 1$, called higher sine functions. In recent work by the second author, factorizations of this type have been constructed for operators which are combinations of powers of a Frobenius endomorphism with coefficients ``in $\operatorname{End}(\operatorname{End}(\mathbb G_a^d))$''. In the present paper we succeed in determining factorizations with coefficients ``in $\operatorname{End}(\mathbb G_a^d)$'' which are not easily deducible from previous work. One key ingredient in obtaining this is an application of a ``motivic pairing'' that the first author introduced in recent work. Another key ingredient is the notion of ``$Δ$-matrix'' which comes into play in the analysis of the coefficients of the factorizations. Our results can be applied to explicitly describe analogues of shuffle $q^n$-powers for multiple polylogarithms at one, and to multiple zeta values of Thakur. All the identities we prove occur at the finite level.

2025-03-17T15:41:32Z 60 Pages Nathan Green Federico Pellarin http://arxiv.org/abs/2605.31403v1 2026-05-29T15:07:07Z

We prove a lower bound on the Weil height, the so-called Bogomolov property, for the algebraic extensions of $\mathbb Q$ cut out by the adelic Galois representations attached to certain eigenforms whose local component at a prime $p$ is supercuspidal. To this end, we give a method for constructing metric inequalities over $p$-adic Lie extensions of fields over $\mathbb Q$ that are finitely ramified at $p$.

2026-05-29T15:07:07Z 20 pages Andrea Conti Pietro Piras Lea Terracini http://arxiv.org/abs/2311.10008v4 2026-05-29T15:06:33Z

We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such counterexamples are distributed across the family of affine diagonal cubic surfaces and how often such surfaces satisfy integral strong approximation off $\infty$.

2023-11-16T16:43:55Z 36 pages Julian Lyczak Vladimir Mitankin H. Uppal http://arxiv.org/abs/2401.11716v2 2026-05-29T14:45:28Z

We prove that Hecke eigenvalues for any Hilbert and Siegel modular forms are algebraic integers. Our method does not rely on cohomologicality nor Galois representations. We apply the integrality of Hecke eigenvalues for Hilbert modular forms of non-parallel weight to the estimation of the growth of Hecke fields of Hilbert cusp forms with non-vanishing central $L$-values. As a further application, we give the growth of the fields of rationality of cuspidal automorphic representations of ${\rm GL}_{2d}(\mathbb{A}_\mathbb{Q})$ for a prime number $d$ with non-vanishing central $L$-values. We also apply the integrality of Hecke eigenvalues for holomorphic Siegel cusp forms of general degree in order to give the growth of the Hecke fields of those forms.

2024-01-22T06:36:57Z Kenji Sakugawa Shingo Sugiyama http://arxiv.org/abs/2509.16056v3 2026-05-29T14:20:15Z

In the patching setting, given a factorization inverse system of fields over which patching for finite-dimensional vector spaces holds, together with a crossed module over the inverse limit field, the corresponding six-term Mayer--Vietoris sequence is constructed, generalizing the classical result of Harbater--Hartmann--Krashen for linear algebraic groups. When the crossed module is a two-term complex of tori, the above sequence is extended into a nine-term exact sequence, notably without any assumption on global domination of Galois cohomology of the inverse system. As an application, we show that patching holds for nonabelian second Galois cohomology of reductive groups with smooth centers. We then obtain a weak local--global principle for this cohomology set in the simply connected semisimple case. We also rediscover a well-known local--global principle for indices of central simple algebras.

2025-09-19T15:06:21Z 26 pages, removed the section on flasque resolutions Nguyen Manh Linh http://arxiv.org/abs/2602.10383v3 2026-05-29T14:08:15Z

Let $C$ be a smooth projective curve defined over $\Qbar$, let $π:\mathcal{E}\lra C$ be an elliptic surface and let $σ_{P_1},σ_{P_2},σ_{Q}$ be sections of $π$ (corresponding to points $P_1,P_2, Q$ of the generic fiber $E$ of $\mathcal{E}$). We obtain a precise characterization, expressed solely in terms of the dynamical relations between the points $P_1,P_2,Q$ with respect to the endomorphism ring of $E$, so that there exist infinitely many $ł\in C(\Qbar)$ with the property that for some nonzero integers $m_{1,ł},m_{2,ł}$, we have that $[m_{i,ł}](σ_{P_{i}}(ł))=σ_{Q}(ł)$ (for $i=1,2$) on the smooth fiber $E_ł$ of $\mathcal{E}$.

2026-02-11T00:04:52Z Dragos Ghioca Negin Shadgar http://arxiv.org/abs/2602.19760v3 2026-05-29T13:03:07Z

The classical notion of extreme $L_p$ discrepancy is a quantitative measure for the irregularity of distribution of finite point sets in the $d$-dimensinal unit cube. In this paper we find a dual integration problem whose worst-case error is exactly the extreme $L_p$ discrepancy of the underlying integration nodes. Studying this integration problem we show that the extreme $L_p$ discrepancy suffers from the curse of dimensionality for all $p \in (1,\infty)$. It is known that the problem is tractable for $p=\infty$; the case $p=1$ stays open.

2026-02-23T12:10:43Z Erich Novak Friedrich Pillichshammer