Number Theory [math.NT]

High-Precision Approximation of Riemann Zeros via the Truncated Weil Form

math.NT

The Connes-van Suijlekom truncated Weil quadratic form, indexed by a cutoff parameter $c$ that controls the primes $p\leq c$ entering the operator, has a ground state whose Fourier-Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as $c\to\infty$ is open (Connes 2026; Connes-Consani-Moscovici 2025). We present, to our knowledge, the first public implementation of the CvS Galerkin matrix at sixteen cutoffs ($c=13$ through $67$, plus $c=100$). Across $c=13$ through $c=67$ at $N=100$, the first-zero absolute error $|\gamma_1-\gamma_1^{\mathrm{Riemann}}|$ shrinks monotonically from $\sim 2\times 10^{-55}$ to $\sim 1.5\times 10^{-168}$ -- a 113-OOM convergence across fifteen cutoffs. The smallest-positive even-sector eigenvalue $\lambda_{\min}^{\mathrm{even}}$ separately reaches $\sim 10^{-334}$ at $c=100$, $N=250$ (275-OOM span from $c=13$), and the same eigenvector recovers $\gamma_1,\ldots,\gamma_{10}$ to 307-329 matching digits at $N=250$, $\mathrm{dps}=500$. Under the unitary equivalence with CCM 2025 Lemma 5.1, each $\gamma_k$ is (modulo a hypothesis-status caveat at $c=100$) an eigenvalue of the CCM rank-one operator $D_{\log}^{(\lambda,N)}$ at $\lambda=\sqrt c$. On the four-point $N$-sweep at $c=100$, Aitken-$\Delta^2$ on two consecutive triples gives $\log_{10}|\lambda_\infty^{\mathrm{even}}|\approx -536.76$ and $\approx -533.70$, approaching the Connes 2026 Section 6.4 heuristic continuum prediction ($\approx -530.38$) monotonically with $N$. The empirical fit $|\log_{10}\lambda_{\min}|\approx 13.24 c^{0.634}$ on $c\leq 67$, $N=100$ is shown to be a finite-$N$ rate, falsified at $c=100, N=200$ by 49 OOM. The raw spectrum at $c=100$ carries 3, 5, 8, 11 negative-sign eigenvalues for $N=100,150,200,250$; continuum positivity of $QW_\lambda$ is RH-equivalent and we do not assume it at $\lambda=\sqrt{100}$. We make no claim of proof.

Eigenvalue Distribution of $p$-adic Random Matrices Among Algebraic Extensions, with an Analogue for $p$-adic Random Polynomials

math.NT

math.PR

We study the distribution of eigenvalues of Haar-random matrices over $\mathbb{Z}_p$ among algebraic extensions of $\mathbb{Q}_p$. Our results give $p$-adic analogues of the real-eigenvalue counting results of Edelman-Kostlan-Shub for the real Ginibre ensemble, but with a different degree behavior: while real eigenvalues form only a vanishing proportion in the real Ginibre ensemble, $p$-adic eigenvalues are asymptotically evenly distributed among possible extension degrees. We also show that the maximal unramified extension $\mathbb{Q}_p^{\mathrm{un}}$ captures all but a bounded expected number of eigenvalues, and that the expected number of eigenvalues outside $\mathbb{Q}_p^{\mathrm{un}}$ has a finite positive limit with an explicit upper bound. The proof uses correlation function formulas from the author's previous joint work with Van Peski (arXiv:2601.06283), together with uniform estimates over varying finite extensions. We also prove analogous results for roots of random Haar polynomials over $\mathbb{Z}_p$, using the correlation function formulas of Caruso (arXiv:2110.03942). These polynomial results are $p$-adic analogues of the real-root counting results of Edelman-Kostlan, again with behavior different from the real setting.

Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

math.NT

A unitary perfect number is a positive integer n satisfying \sigma^*(n)=2n, where \sigma^* sums unitary divisors. Only five examples are known, and no sixth has been found. We revisit the Subbarao-Warren problem by keeping the seed factor 2^a+1 explicit in the full balance (2^a+1)\prod_i(p_i^{e_i}+1)=2^{a+1}\prod_i p_i^{e_i}. Within a bounded enumeration of source components in the odd dependency graph, every admissible source kernel is either one of the two kernels occurring in the known nonsquarefree examples, 3^2 and 5^4, or one of five additional impostor kernels. We give a reproducible three-filter certificate eliminating those impostor kernels for all relevant seed classes with 1 <= a <= 10000. The filters combine Zsigmondy-type exponent obstructions, inherited non-3-Higgs witnesses, and deterministic 2-adic budget overshoot. The remaining obstruction is the auxiliary set H_even of even m for which every prime divisor of 2^m+1 is 3-Higgs. A structural lemma reduces finiteness of H_even to the prime branch m=2p, while allowing finite computations to leave composite candidates inherited from unresolved prime divisors. Using the supplied factor cache and APR-CL primality-verification transcripts, we prove |H_even \cap [2,40000]| <= 201 and |H_even \cap [2,50000]| <= 272, with explicit undecided frontier lists. Ford's theorem for downward-closed prime sets gives an unconditional power-saving thinness bound for H_even, but not finiteness. The remaining task is a divisor-level problem for the cyclotomic values \Phi_{4p}(2). Thus the paper does not prove finiteness; it gives a bounded-box elimination, a verified finite frontier, and a precise analytic target for closing the remaining branch.

On discrepancy estimates for pseudorandom vectors constructed by the elliptic curve congruential generator

math.NT

This paper studies the problem of discrepancy estimates for pseudorandom vectors constructed by the elliptic curve congruential generator, particularly in the non-translational case. Two families of results are obtained. First, in a full-coset regime characterized by a relative maximal period condition (RMPC) on an induced one-dimensional linear congruential generator, one proves bounds of type $q^{1/2}/t$ for the discrepancy $D$, the serial discrepancy $D_s$, and, under the corresponding derived RMPC, the non-overlapping discrepancy $\widetilde D_s$. Second, in the general sub-period regime, one reduces bounds for $D$, $D_s$, and $\widetilde D_s$ to estimation of Fourier $\ell^1$ masses of admissible index sets attached to one-dimensional linear congruential generators. This isolates the arithmetic bottleneck for further improvement.

Limiting Distribution and Rate of Convergence for GL(3) Fourier Coefficients

math.NT

In a work of Heath-Brown, it is proved that in the Pilz divisor problem, the normalized error term $\Delta_3(x)$ has a distribution function. In this paper, we prove an analogue of this result in the setting of GL(3). For a given self-dual GL(3) Hecke--Maass cusp form $f$ with normalized Fourier coefficients $A_f(n,m)$, let $\Delta_f(x)=\sum_{n\leqslant x}A_f(n,1)$. We show that the function $x^{-1/3}\Delta_f(x)$ has a distribution function and we obtain a quantitative rate of convergence for the limiting distribution.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 4: contribution of non-elliptic parts

math.NT

math.RT

We continue our work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the ramified setting for \emph{Beyond Endoscopy}. We establish asymptotic formulas for each term of the trace formula when summing over $n

Generalized Fermat equation over cyclotomic $\mathbb{Z}_l$-extensions of totally real fields

math.NT

Let $K$ be a totally real number field of odd degree. Let $l \geq 5$ be a prime with $l \nmid [K:\mathbb{Q}]$ and $\gcd(\frac{l-1}{2}, [K:\mathbb{Q}])=1$. We prove that if $2$ is inert in $K$, $l$ is non-Wieferich, i.e., $2^{l-1} \not\equiv 1 \pmod{l^2}$, and $l$ is totally ramified in $K$, then the asymptotic Fermat's Last Theorem holds over each $n$-th layer $K_{n,l}$ of the cyclotomic $\mathbb{Z}_l$-extension of $K$. We then prove that the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution over each $n$-th layer $K_{n,l}$ when $A,B,C \in \{u2^r : u\in \mathcal{O}_K^\times,\ r \in \mathbb{Z}_{\geq 0}\}$. For any odd prime $d$, we also prove that if $A,B,C \in \{\pm 2^r d^s : r,s \in \mathbb{Z}_{\geq 0}\}$ and $h_{\mathbb{Q}_{n,l}}^+$ is odd, then the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no effective asymptotic solution $(a,b,c) \in \mathcal{O}_{\mathbb{Q}_{n,l}}^3$ with $2 \mid abc$. The effectivity in the case of $\mathbb{Q}_{n,l}$ follows from a result of Throne proving the modularity of elliptic curves over $\mathbb{Q}_{n,l}$.

Precise Asymptotics and Exact Formulas for Tensor Product Energies of Fibonacci Lattices

math.NT

cs.NA

math.MG

math.NA

We consider the asymptotics of sums of the form $$ \frac1{F_n^\sigma} \sum_{m = 1}^{F_n-1} \frac{f(m/F_n)}{\left|{\sin(\pi m/F_n)}\right|^\sigma} \frac{f(F_{n-1}m/F_n)}{\left|{\sin(\pi F_{n-1}m/F_n)}\right|^\sigma} $$ where $(F_n)_{n \in \mathbb N} = (1, 1, 2, 3, 5, 8, 13, \dots)$ are the Fibonacci numbers. Such sums appear, for example, in the context of discrepancy theory and numerical integration methods reformulated as energy minimization problems. We show that for parameters $\sigma > 1$ and a large class of functions $f$ the above sum behaves asymptotically like $$ C n + D + O\left((1-\varepsilon)^{n}\right) $$ for some constants $C$ and $D$. These constants can be given via infinite series connected to the Dedekind zeta function over the algebraic number field $\mathbb Q(\sqrt5)$. In special cases we even observe simple closed-form expressions for such sums as above, explicitly proving that $$ \sum_{m=1}^{F_n-1} \frac1{\sin(\pi m/F_n)^2} \frac1{\sin(\pi F_{n-1} m/F_n)^2} = \frac{4n}{75} F_{2n} - \frac{17}{225}F_n^2 - (-1)^n \frac2{15} - \frac19. $$

A Local Valuation Criterion for Quadratic-Permutation Interleaved Zadoff--Chu Sequences

math.NT

cs.IT

math.IT

Berggren and Popovi\'c introduced quadratic-permutation-polynomial interleaved Zadoff--Chu sequences and, from exhaustive data, conjectured that all normalized QPP-interleaved Zadoff--Chu sequences are inequivalent to ordinary Zadoff--Chu sequences precisely for prime-power lengths $N=p^n$ with $p>3$ and $n>1$. We give an exact local arithmetic criterion. For a normalized QPP $\pi_{a,b}(k)=ak^2+bk\pmod N$, the interleaved sequence is equivalent, under the standard five CAZAC-preserving operations, to a Zadoff--Chu sequence if and only if, for every prime power $p^\alpha\Vert N$, the valuation of $a$ satisfies \[ \nu_p(a)\ge \begin{cases} 0, & p=2,\ \alpha=1,\\ \alpha-1, & p=2,\ \alpha\ge2,\\ \alpha-1, & p=3,\\ \alpha, & p>3. \end{cases} \] The proof is based on a third finite-difference invariant of the lifted Zadoff--Chu phase, namely \[ \Delta^3\bigl((ak^2+bk+\varepsilon_N+2q)(ak^2+bk)\bigr) =12a(2ak+3a+b). \] As a consequence, the conjectured prime-power boundary is not correct: the exact non-vacuous condition for all nonzero normalized QPPs to be inequivalent to Zadoff--Chu sequences is that $N$ is odd, $9\nmid N$, and $p^2\mid N$ for at least one prime $p\ge5$. In particular, $N=75=3\cdot5^2$ is the smallest non-prime-power counterexample to the conjectured ``only if'' direction. A second corollary records the corresponding statement for irreducible QPPs.

Quasiautomorphic forms are isomorphic to vector-valued automorphic forms

math.NT

We utilize the structure of quasiautomorphic forms over a Hecke triangle group to define a mapping from a quasiautomorphic form to a vector-valued automorphic form (vvaf). This kind of vvaf we call a Hecke vector-form. First we supply a proof of the functional equations that hold for Hecke vector-forms modulo the group generators. Then, utilizing the multiplier system for these Hecke vector-forms, we prove the opposite direction and complete the bijection. Since the modular group is a special instance of the Hecke triangle groups, our results hold for quasimodular forms.

On a conjecture of Amdeberhan, Andrews and Ballantine for double Lambert series

math.NT

math.CO

In this note, we prove a recent conjecture of Amdeberhan, Andrews and Ballantine concerning a double Lambert series. More precisely, they conjectured that \[ \coeff{q^{N2^a}} \sum_{m,k\geq 1} \frac{q^{mk2^a}}{(1+q^{k2^{a-1}})(1-q^{2m-1})} =\sigma_1(N), \] where $\sigma_1(N)$ is the sum of all the positive divisors of $N$. The main idea of the proof is to first transform a double Lambert series on the left-hand side into a single sum. This leads us to derive a new representation of quasi-modular forms $E_2(q)$.

Binomial coefficients with divisors avoiding an interval

math.NT

We investigate a fifty-year-old conjecture of Erd\H{o}s and Graham concerning whether the binomial coefficient ${n \choose k}$ with $1 \leq k \leq \frac{n}{2}$ must always have a divisor $\leq n$ that is ``close'' to $n$: that is, bigger than a constant times $n$. We show this is the case when $k$ is sufficiently large as a function of $n$. However, we show (under the Generalized Riemann Hypothesis) it is possible to find binomial coefficients ${n \choose k}$, where $k$ is small compared to $n$, such that ${n \choose k}$ does not have divisors $\leq n$ close to $n$. This settles the conjecture of Erd\H{o}s and Graham, under GRH. This latter, more substantial argument involves a restricted covering problem with residue classes, sieve methods, and various exponential sum estimates.

An Improved Upper Bound for the Dirichlet Spectrum in Diophantine Approximation

math.NT

We study the continuous part of the Dirichlet spectrum $\mathbb{D}$ and improve the best previously published upper bound for the ray-origin constant $\delta$. Building on and refining V. A. Ivanov's approach, we introduce a Cantor-type set $F_4^*$ defined by certain restrictions on partial quotients. For its thickness, we prove $\tau(\log(F_4^*))>1$, and apply sum-set results for Cantor sets to prove that the set $F_4^* \cdot F_4^*$ is an interval. Finally, we establish a new upper bound $\delta\le \frac{111(397+\sqrt{26565})}{65522}\approx0.94866$.

Arithmetic Properties of Overcolored Odd Partitions

math.NT

Let $\bar{a}_s(n)$ denote the number of partitions of $n$, wherein each odd part is multicolored (atmost $s\ge 1$ colors) and the first appearance of parts may be overlined. In this paper, we establish new families of congruences modulo powers of $2$ satisfied by $\bar{a}_s(n)$ for infinitely many $s$. Our approach builds upon generating function manipulations, Hecke eigenform theory and results of Newman.

Sharp omega results for the divisor and circle problems

math.NT

We establish omega results for the divisor and circle problems that are conjecturally sharp, while also determining the sign of the large values obtained. This improves on the work of Soundararajan and on the subsequent independent refinements of Sourmelidis and Mahatab, and gives the first improvement on Hafner's 1981 $\Omega_+$ result for the divisor problem and his $\Omega_-$ result for the circle problem. The main new ingredient is a resonance method which works directly with the phase appearing in the Vorono\"i summation formula. This is achieved by replacing the usual positive kernels by a one-sided sectorial kernel, namely the density of a Gamma distribution, whose Fourier transform lies in a suitable sector of the complex plane.

Manin's conjecture for semi-integral curves and $\mathbb A^1$-connectedness

math.AG

math.NT

We explore log Manin's conjecture for integral points and its connections to $\mathbb A^1$-connectedness. We prove log Manin's conjecture for Campana rational curves and for $\mathbb A^1$-curves on split toric varieties. Our arguments combine the Cox ring description of the moduli space of rational curves with Batyrev's heuristic-type counting arguments. As our proofs are geometric in nature, they give a geometric explanation of the mysterious leading constant for Campana points proposed by Chow--Loughran--Takloo-Bighash--Tanimoto.

Measuring Decidability as Related to Busy Beaver Numbers

cs.CC

cs.LO

math.LO

math.NT

The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conjecture can be modeled gives a classification of what logic system can describe said conjecture. In this work, we construct explicit Turing machines that search for a solution to Brocard's problem greater than 7 and a Fermat prime beyond the 4th which halt if and only if such a solution exists.

Extensionalism without Logicism: Ambrose and Extensional Logic

math.HO

math.LO

math.NT

Drawing primarily on her early work (1931-1934), I argue that Alice Ambrose develops a philosophical project centered on preserving the rigor of extensional logic while rejecting the metaphysical and epistemological endorsements of logicism because of its commitment to the notion of material infinity. Positioning Ambrose as a transitional figure between formalism (Russell) and the constructivist turn represented by intuitionism (Brouwer), I demonstrate how Ambrose offers a practice oriented statement of finitist extensionalism. Employing only extensional methods (considering classes, relations, and propositions by reference to their members and truth values instead of mental processes), Ambrose reformulates an existential claim about pi as an explicit infinite disjunction of concrete instances insisting, against intensional projects, that such claims gain meaning only through a finite stopping rule that produces a witness.

An explicit lower bound for the unit distance problem

math.CO

math.MG

math.NT

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erd\H{o}s. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.

The pro-\'etale fundamental group of singular schemes

math.AG

math.AT

math.NT

We compute the pro-\'etale fundamental group of a connected Nagata J-2 scheme in terms of the \'etale fundamental groups of the normalizations of its irreducible components and a discrete free group. The result generalizes a formula of E. Lavanda for semi-stable curves and relies on a combination of proper descent techniques for \'etale morphisms and a combinatorial van Kampen construction for Noohi groups. As a by-product we characterize when a continuous representation of the pro-\'etale fundamental group factors through a discrete quotient.

Remarks on the disproof of the unit distance conjecture

math.CO

math.NT

We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erd\H{o}s unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.

A strange continued fraction associated with the Romik map

math.DS

math.NT

math.PR

In 2008, Dan Romik studied in this journal Primitive Pythagorean Triples, or PPTs. In order to do so, he introduced a modified slow (subtractive) Euclidean algorithm, and showed that the underlying dynamical system of this Euclidean algorithm (the ``Romik system''), is ergodic and has a $\sigma$-finite, infinite measure, of which is explicitly given. In this paper, the Romik system is further studied. Various basic properties are determined, such as the expansion of rational numbers and quadratic irrationals. Also (a version of) the planar natural extension of the Romik system is obtained, and the $\sigma$-finite, invariant measure is explicitly given, and it is shown that it is ergodic. Furthermore, for Lebesgue almost every $x$ asymptotically half of the regular continued fraction (RCF) convergents of $x$ are among the Romik convergents. We also show that related to the Romik map a ``strange'' continued fraction can be given. ``Strange,'' as the set of possible partial quotients (i.e., digits) for any $x\in [0,1]$ in this expansion is $\{ 0, \pm 2\}$. Various properties of this ``Romik expansion'' are given.

Introducing and Applying S.C.E Model Under Dusart's Inequality to Prove Goldbach's Strong Conjecture for 74 Typical Structures out of All 75 Structural Types of Even Number

math.NT

math.HO

v5

In this paper, we present a relative proof for Goldbach's strong conjecture. To this end, we first present a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then by using this model we categorize all even numbers into 75 distinct typical structures. Also in this direction, we employ this model along with the following inequality to obtain the relative proof \begin{equation} \frac{x}{\ln x} \leq_{x \geq 17} \pi(x) \leq_{x>1} 1.2251 \frac{x}{\ln x} \end{equation} where $\pi(x)$ denotes the number of all primes smaller than and equal to $x$. This inequality is presented by Pierre Dusart in his paper [P. Dusart, Explicit estimates of some functions over primes, Ramanujan J. 45 (2016), No. 1, 227-251]. In fact, by relative proof we mean that 74 typical structures out of 75 ones satisfy Goldbach's strong conjecture. Also, since the last typical structure is the dominant structure over all even numbers, we come up with three unproven inequalities for elements of S.C.E model using each of which, we can prove Goldbach's strong conjecture for this structure too. It is necessary to say that, we guess theses three inequalities can be proved the same as to Dusart's inequality.

Nearby cycles on the local model for the $\mathrm{GU}(n-1,1)$ PEL Shimura variety over a ramified prime

math.NT

v2

In this paper, we compute the cohomology sheaves of the $\ell$-adic nearby cycles on the local model of the PEL $\mathrm{GU}(n-1,1)$ Shimura variety over a ramified prime, with level given by the stabilizer of a self-dual lattice. This local model is known to have isolated singularities. If $n=2$ it has semi-stable reduction, and if $n\geq 3$ the blow-up at the singular point has semi-stable reduction. We compute the nearby cycles on the blow-up, then use proper base change to describe them on the original local model. As a result, we prove that the nearby cycles are trivial when $n$ is odd, and that only a single higher cohomology sheaf does not vanish when $n$ is even. In this case, we also describe the Galois action by computing the associated Frobenius eigenvalue.

Gross lattices of supersingular elliptic curves

math.NT

v3

Let $p$ be a prime, $E$ be a supersingular elliptic curve defined over $\bar{\mathbb{F}}_p$, and $\mathscr{O}$ be its (geometric) endomorphism ring. Earlier results of Chevyrev-Galbraith and Goren-Love have shown that the successive minima of the Gross lattice of $\mathscr{O}$ characterize the isomorphism class of $\mathscr{O}$. In this paper, we extend this work and show that the value of the third successive minimum $D_3$ of the Gross lattice gives necessary and sufficient conditions for the curve to have its $j$-invariant in the field $\mathbb{F}_p$ or in the set $\mathbb{F}_{p^2} \setminus \mathbb{F}_p$, as well as finer information about the endomorphism ring of $E$ when its $j$-invariant belongs to $\mathbb{F}_p$ and $p \equiv 3 \pmod{4}$. We end our article with an investigation of the geometry of Gross lattices of supersingular elliptic curves.

Additive Rigidity for $x$-Coordinates of Rational Points on Elliptic Curves

math.NT

v4

We study the interaction between the group law on an elliptic curve and the additive structure of $x$-coordinates of rational points on an elliptic curve. Let $E/\mathbb{Q}$ be an elliptic curve of Mordell-Weil rank $r \geq 1$, $d \geq 1$ be an integer, and $0<\rho \leq 1$. We show that if a $d$-dimensional proper generalized arithmetic progression in $\mathbb{Q}$ contains the $x$-coordinates of rational points on $E/\bbq$ with positive proportion $\rho$, then the number of such points is bounded by $A(E,d,\rho)^r$. The proof combines extraction lemmas, gap principles, and the bounds for spherical codes. As an application, we obtain restrictions on sets of rational points whose $x$-coordinates have small sumsets or large additive energy.

Some Generalizations of Totient Function with Elementary Symmetric Sums

math.NT

v2

We generalize certain totient functions using elementary symmetric polynomials and derive explicit product forms for the totient functions involving the second elementary symmetric sum. This work follows from the work of Toth [The Ramanujan Journal, 2022] where the totient function was generalized using the first and the kth elementary symmetric polynomial. We also provide some observations on the behavior of the totient function with an arbitrary jth elementary symmetric polynomial. We then outline a method for solving a certain the restricted linear congruence problem with a greatest common divisor constraint on a quadratic form, illustrated by a concrete example. Most importantly, we demonstrate the equivalence between obtaining product forms for generalized totient functions, counting zeros of specific polynomials over finite fields, and resolving a broad class of restricted linear congruence problems .

The $\rho$-Fourier transform

math.NT

math.RT

v3

Let $G$ be a reductive group over a local field $F$ and let $\rho:{}^LG \to \mathrm{GL}_{V_{\rho}}(\mathbb{C})$ be a representation of its $L$-group satisfying suitable assumptions. Braverman, Kazhdan and Ng\^o conjectured that one has a $\rho$-Fourier transform on $L^2(G(F))$ and a $\rho$-Schwartz space $\mathcal{S}_{\rho}(G(F))

One-level density of zeros of $\Gamma_1(q)$ $L$-functions

math.NT

v2

We study the one-level density of zeros for a family of $\Gamma_1(q)$ $L$-functions. Assuming GRH, we are able to extend the support of the Fourier transform of the test function to $\left(-\frac{8}{3},\frac{8}{3}\right)$ and verify the Katz-Sarnak prediction for our unitary family. As an application, we obtain that the proportion of forms in the family with non-vanishing at the central point is at least $62.5\%$, assuming GRH. This is the highest non-vanishing proportion for any family associated with a unitary group. Moreover, this result indicates that the structural properties of $L$-functions play a more important role in extending the support than the associated symmetry group.

A note on extensions of $p$-adic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

math.NT

v2

We compute extension groups in the category of duals of $p$-adic Banach space representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. Focusing on representations arising from the $p$-adic local Langlands correspondence for generic Galois representations, we classify these extensions completely. These results are then applied to prove the vanishing of extensions between the duals of reducible representations and supercuspidal isotypic components of the \`etale cohomology of the finite level Drinfeld spaces.

On the variance of the digits of $1/p$

math.NT

v3

Let $p>3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $q$ of the period is the (multiplicative) order of $b$ mod $p$. In the case $q=p-1$ a formula for the variance of the digits of a period was given previously. This formula involves a Dedekind sum. We determine the variance in the case $q=(p-1)/2$. If $p\equiv 3$ mod 4 a Dedekind sum and the class number of $\mathbb Q(\sqrt{-p})$ occur in the respective formula. If $p\equiv 1$ mod 4, the formula may be much more complex since it involves linear combinations of (possibly many) products of two Bernoulli numbers attached to odd characters.

Spherical representations of unitary groups at ramified places and the arithmetic inner product formula

math.NT

math.AG

math.RT

v2

In this article, we study admissible representations of even unitary groups over local fields, where the quadratic extension is ramified, with invariant vectors under the action of the stabilizer of a unimodular lattice and some properties of the corresponding integral model of unitary Shimura varieties. As a direct application, we are able to improve the arithmetic inner product formula so that the places with local root number \((-1)\) are allowed to be ramified.

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

math.AC

math.NT

v2

Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[[T]][G]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n]][G]$ and, most importantly, to the non-Noetherian algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n, \cdots]][G]$ of countably many generators. The latter generalization is motivated by the recent work of Bley-Popescu on the geometric Equivariant Iwasawa Conjecture for function fields, where the Iwasawa algebra is not Noetherian, of the type described above. Applications of these results to the emerging field of non-Noetherian Iwasawa Theory will be given in an upcoming paper.