https://arxiv.org/api/utn7VgRYNqeEaa0ruC+N+DNn81Q2026-06-18T19:04:14Z4926836015http://arxiv.org/abs/2606.03778v1The Fontaine operator at cusps of modular curves at infinite level2026-06-02T15:32:15ZWe explicitly calculate Pan's geometric intertwining operator and the Fontaine operator on modular curves at infinite level via $q$-expansions, using Heuer's theory of cusps at infinite level. We prove that these two operators coincide on such expansions up to an explicit constant. As an application, we combine this result with $q$-expansion principles to provide a new proof of Pan's theorem that these operators are equal on the locally analytic vectors of completed cohomology of modular curves.2026-06-02T15:32:15Z15 pagesTian Qiuhttp://arxiv.org/abs/2605.27232v2The Northcott Property for Composites of Number Fields of Bounded Degree2026-06-02T15:05:35ZWe prove that infinite Galois extensions of number fields with Galois group of finite exponent have the Northcott property. The main novelty of our approach lies in the application of a theorem of Segal on profinite groups.2026-05-26T16:13:26ZThere is a mistake in page 4 line 5. The valuation there is not necessarily divisible by e, so the proof cannot go further from this point. However, Theorem 2 still seems to be relevant to this problemBenjamín Castillohttp://arxiv.org/abs/2406.11479v5A proof of Sugawara's conjecture on Hasse-Weber ray class invariants2026-06-02T14:22:05ZIn this paper a proof is given of Sugawara's conjecture from 1936, that the ray class field of conductor $\mathfrak{f}$ over an imaginary quadratic field $K$ is generated over $K$ by a single primitive $\mathfrak{f}$-division value of the $τ$-function, first defined by Weber and then modified by Hasse in his 1927 paper giving a new foundation of complex multiplication.2024-06-17T12:44:11Z81 pages; corrections have been made to Section 6.2; and an appendix has been addedPatrick Mortonhttp://arxiv.org/abs/2104.14092v3On transformation formulas of $p$-adic hypergeometric functions2026-06-02T14:01:46ZIn this paper, we review hypergeometric functions $\mathscr{F}^{\rm Dw}_{\underline{a}}(t),$ $\mathscr{F}^{(σ)}_{\underline{a}}(t)$ and $\widehat{\mathscr{F}}^{(σ)}
_{\mathbf{a}}(t)$ together with their conjectured transformation formulas, and show that one transformation formula implies the other.2021-04-29T03:26:00Z16 pages, Updated to include recent progress and discussions on Nemoto's (2025) resultsWang Chung-Hsuanhttp://arxiv.org/abs/2606.03627v1On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications2026-06-02T13:25:34ZWe introduce a method based on horizontal slicing and a plane-then-line stopping-time decomposition for the prime field spherical restriction problem in four dimensions. The method is designed to overcome the Kloosterman obstruction in the spherical Bochner--Riesz kernel by decomposing each critical horizontal slice into rich-plane, rich-line-and-poor-plane, and poor-line-and-poor-plane components, which are then treated by distinct affine-geometric mechanisms. As a quantitative consequence of this structural method, we prove that \[
R_{S_j}^*(2\to r)\lesssim 1 \] for every nonzero sphere $S_j\subset\mathbb{F}^4$ and every $r>23/7$. As an application, we obtain the first improvement over the twenty-year-old $(d+1)/2$ threshold in the four-dimensional prime field Erdős-Falconer distance problem.2026-06-02T13:25:34Z71 pagesThang PhamBoqing Xuehttp://arxiv.org/abs/2606.02244v2On the unit equation $\varepsilon+δ=n$ in cubic fields2026-06-02T13:15:23ZLet $n$ be an integer not equal to $-2$, $0$ or $2$. We consider the unit equation $\varepsilon + δ= n$ in units $\varepsilon, δ$ of cubic fields. We show that this equation has no solutions for 100% of cubic fields, when ordered by discriminant. This is consistent with a recent conjecture of the authors.2026-06-01T13:39:18ZMinor amendment to abstractMaleeha KhawajaSamir Siksekhttp://arxiv.org/abs/2605.09738v2Lacunary recurrences and 2-adic properties of Eisenstein series2026-06-02T13:11:12ZWe study the rational coefficients that arise when the Eisenstein series $G_k$ is expressed as a polynomial in $G_4$ and $G_6$, proving a conjecture that gives an exact formula for their minimal 2-adic valuation in terms of the binary expansion of the weight. The proof uses lacunary recurrences for Eisenstein series and yields refined information about the first valuation levels. As an application, we prove irreducibility results for Faber polynomials associated to dyadic linear combinations of powers of Eisenstein series.2026-05-10T20:17:15ZLiubomir ChiriacAndrei Jorzahttp://arxiv.org/abs/2606.03579v1An Iwasawa-type asymptotic formula for multiple $\mathbb{Z}_p$-coverings of graphs2026-06-02T12:47:30ZFor a possibly ramified $\mathbb{Z}_p^d$-covering of connected graphs, we establish an Iwasawa-type asymptotic formula for the growth of the $p$-adic valuations of the complexities. The formula is expressed as a polynomial in $n$ and $p^n$ with explicit leading coefficients $λ$ and $μ$; in particular, we eliminate the error term of the form $O(p^{(d-1)n})$ appearing in earlier work. We then establish a Kida-type formula describing the behavior of $λ$ under a $p$-covering between $\mathbb{Z}_p^d$-coverings, assuming $μ= 0$. Finally, for any fixed $p$ and integer $d \geq 2$, we construct an unramified $\mathbb{Z}_p^d$-covering of a bouquet with prescribed $λ$- and $μ$-invariants.2026-06-02T12:47:30Z28 pagesTakenori Kataokahttp://arxiv.org/abs/2606.03472v1Planes in quadratic 4-space and associated shapes of lattices2026-06-02T10:49:33ZLet $Q=-x_1^1-x_2^2-x_3^2+x_4^2$ be the standard signature $(1,3)$ quadratic form. To each non-degenerate rational plane $L$ in the four-dimensional quadratic space $(\mathbb{Q}^4,Q)$ we can naturally attach a periodic geodesic on the Bianchi orbifold $\mathrm{SL}_2(\mathbb{Z}[i])\backslash \mathbb{H}^3$ which records the position of $L$ in the Grassmannian up to integer rotations. Moreover, each such plane $L$ defines a CM point and a periodic geodesic on the modular curve through restriction of $Q$ to $L$ and its orthogonal complement. Lastly, the local isomorphism between $\mathrm{SO}_{1,3}(\mathbb{R})$ and $\mathrm{SL}_2(\mathbb{C})$ gives rise to a further periodic geodesic on the Bianchi orbifold.
In this article, we exhibit a natural coupling of all the above objects and prove simultaneous equidistribution under a Linnik-type splitting condition. The main ingredient is the classification of joinings of higher-rank diagonalizable actions on homogeneous spaces due to Einsiedler and Lindenstrauss.2026-06-02T10:49:33Z37 pagesMenny AkaKonstantin AndritschAndreas Wieserhttp://arxiv.org/abs/2407.21431v3On $μ$-invariants and isogenies for abelian varieties over function fields2026-06-02T09:32:20ZWe give several formulas for how Iwasawa $μ$-invariants of abelian varieties over unramified $\mathbb{Z}_{p}$-extensions of function fields change under isogeny. These are analogues of Schneider's formula in the number field setting. We also prove that the validity of the Birch--Swinnerton-Dyer conjecture (including the leading coefficient formula) over function fields is invariant under isogeny, without using the result of Kato--Trihan.2024-07-31T08:33:25ZRevised after referee report. 26 pagesSohan GhoshJishnu RayTakashi Suzukihttp://arxiv.org/abs/2603.13523v3Bogomolov property for modular Galois representations with nontrivial nebentypus2026-06-02T09:16:51ZA field in which the (logarithmic) Weil height is bounded from below by a strictly positive constant is said to have the Bogomolov property (property (B)). Given a normalized eigenform $f\in S_k(Γ_0(N))$ Amoroso and Terracini proved (B) for the field "cut out" by the adelic representation associated to $f$ under some assumptions on $f$, generalizing the earlier work of Habegger on elliptic curves. In this paper we extend this result to the case of normalized eigenforms with nontrivial nebentypus character. We also introduce the notion of ADZ field, inspired by earlier work of Amoroso, David and Zannier, exhibiting a class of fields in which property (B) is preserved under (arbitrary) composition.2026-03-13T18:56:32Z36 pages, comments and suggestions welcome Removed a "conjecture" for which has been found a counterexample (see Remark 5.10)Pietro Pirashttp://arxiv.org/abs/2603.08994v4Arithmetic Bias in Mersenne Prime Exponents and the Divisor Structure of p-12026-06-02T09:13:41ZAccording to the classical Wagstaff heuristic, the probability that a Mersenne number $M_p=2^p-1$ is prime depends primarily on the size of the exponent $p$. We investigate whether the divisor structure of $p-1$ produces detectable secondary variations within this asymptotic framework. We introduce the normalized divisor parameter $S(p)=\log τ(p-1)/\log\log p$, which measures the divisor complexity of p-1, including prime multiplicities. Using the currently known Mersenne prime exponents (excluding small cases), we compare $S(p)$ against nearby prime controls of comparable size. Across several complementary distribution-free methods, including percentile analysis, conditional likelihood estimation, and permutation tests, Mersenne prime exponents consistently exhibit elevated values of $S(p)$. To interpret this effect, we develop a heuristic framework based on the cyclotomic decomposition $2^{p-1}-1=\prod_{d|(p-1)}Φ_d(2)$, in which divisors of $p-1$ generate effective modular constraint layers. This motivates a heuristic refinement of the Wagstaff model of the form $\Pr(M_p\ \text{prime}) \approx C(\log p)^{S(p)}/p$. The proposed refinement preserves the classical Wagstaff scale in the typical regime $S(p)\approx 1$, while suggesting that the finite-scale distribution of Mersenne prime exponents exhibits a weak arithmetic bias linked to the divisor structure of $p-1$.2026-03-09T22:29:55Z36 pages, 10 tablesJesus Dominguezhttp://arxiv.org/abs/2602.06667v2Prime ideal divisors of parametric recurrence sequences2026-06-02T07:07:12ZWe prove new arithmetic results for parametric linear recurrence sequences specialized at roots of unity, denoted by $(U_n(ζ))_{n\geq 0}$. In particular, we obtain effective lower bounds for the largest prime ideal divisor and norm of the radical of the principal ideal generated by $U_n(ζ)$. We further derive an effective upper bound for the $S$-part of $U_n(ζ)$, showing that it is strictly smaller than a fixed power of its absolute norm for sufficiently large $n$.2026-02-06T12:51:23Z16 pagesDarsana NSudhansu Sekhar Routhttp://arxiv.org/abs/2606.03228v1Cassini's identity for k-bonacci numbers2026-06-02T06:45:48ZEfforts have been made to extend Cassini's identity (also known as Simson's identity) to the k-step or k-bonacci numbers for decades. These efforts have lacked both completeness of result and simplicity of proof, and this question remains open and relevant. In this note, we offer a definitive solution as well as the generalization of both Catalan's and Vajda's identities.2026-06-02T06:45:48Z17 pages, 4 figuresHarold R. ParksDean C. Willshttp://arxiv.org/abs/2412.19383v4On the Quantum K-theory of Quiver Varieties at Roots of Unity2026-06-02T05:52:11ZLet $Ψ(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ Ψ(\textbf{z},\textbf{a},q) Ψ\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=ζ_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=ζ_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$.
Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.2024-12-26T23:52:58Z25 pages, expanded sections 4 and 5, other minor changesPeter KoroteevAndrey Smirnov