Number Theory [math.NT]

Optimal homological vanishing: cancellation of character sums and Patterson's conjecture over $\mathbb{F}_q[t]$

math.NT

math.AT

math.QA

Many arithmetic sums over function fields can be expressed in terms of $H_i(B_n, V^{\otimes n})$ for some braided vector space $V$, and a vanishing line for these homology groups gives power-savings cancellation for the arithmetic sum. We prove an explicit vanishing line for $H_i(B_n,V^{\otimes n})$ depending only on the homology up to some finite $n$. Moreover, as the range of $n$ increases, the slope of the resulting vanishing line converges to the optimal slope. We also apply our methods to two different families of arithmetic sums. Firstly, we prove an upper bound for the bias of higher order Gauss sums over function fields, extending Patterson's conjecture beyond the cubic and quartic cases over number fields, and we conjecture this bound is sharp for orders that are prime powers. Secondly, we show that over Galois $G$-extensions, almost all character sums exhibit near square-root cancellation.

Rank-Two Drinfeld Module over Elliptic Curves

math.NT

math.AG

Drinfeld modules, introduced by D.~V.~Drinfeld in the 1970s, were originally developed as a function field analogue of elliptic curves and have since become a central tool in the Langlands program over function fields. The theory has been highly developed and shares deep connections with many areas, including algebraic geometry, number theory, and coding theory. Despite these advances, the explicit construction of Drinfeld modules over non-polynomial coordinate rings remains a largely open problem. Indeed, aside from the classical polynomial case $\mathbb{F}_q[t]$, explicit formulas for Drinfeld modules are known only in very limited situations. Let \(E\) be an elliptic curve over a finite field \(\mathbb{F}_q\) with a fixed rational point \(\infty\), and let \(\mathbf{A} = H^0(E\setminus\{\infty\}, \mathcal{O}_E)\) be its coordinate ring. Rank-one Drinfeld \( \mathbf{A} \)-modules were explicitly constructed by Green and Papanikolas, providing the first systematic example beyond the polynomial case. However, the rank-two case has remained completely inaccessible until now. This paper solves the rank-two case of this open problem in a fully explicit manner. Precisely, we develop an explicit theory for rank-two sign-normalized \(\mathbf{A}\)-Drinfeld modules over an algebraically closed \(\mathbf{A}\)-field \(L\), building upon the rank-one framework. We determine the structure of the associated Anderson motive \(M_\phi\) and prove that it is generated by three elements subject to a single quadratic \(\tau\)-relation, which we derive in closed form using the geometric parameters of the underlying elliptic curve.As a consequence, we find that the moduli space of sign-normalized rank-two Drinfeld \(\mathbf{A}\)-modules is an open domain $Y\neq 0 $ inside a supersingular curve \(Y^{q+1} = \pi (X) \), where \(\pi \) is an explicit polynomial of degree \(2q+1\).

Computating decomposition groups and inertia groups using Newton polygons

math.NT

Newton polygons are powerful tools for computing the decomposition of prime ideals in extension rings. Methods based on Newton polygons have been developed through the work of Ore, Montes, and Nart. K\"{o}lle and Schmid obtained a method for determining decomposition groups from Newton polygons and associated data under assumptions introduced by Ore. In this paper, we extend their approach and show how to determine decomposition groups under the weaker assumptions introduced by Montes and Nart, formulated in terms of indices.

Deterministic and Efficient Ideal Arithmetic via Two-Element Representations

math.NT

cs.SC

Given an ideal in a number field, it is desirable in many situations to find two elements that generate the ideal over the ring of the integers of the field. Existing algorithms are either randomized, or impractical at cryptographic sizes. In the paper, we present a deterministic polynomial time algorithm to find the two-element representation of an ideal. For a monic irreducible integral polynomial \( f(x) \), let \( K=\Q[x]/(f) \) be the number field, and \( O_K \) be the integral closure. Our algorithm works when the norm of the input ideal is co-prime to the index \( [O_K:\Z[x]/f] \). In particular, it handles all ideals for monogenic \( f(x) \), a class that includes the cyclotomic polynomials widely used in lattice based cryptography. A key technical ingredient in our result is a generalized version of Dedekind criterion.

Averaged Fourier Estimates and Dyadic Approximation on the Cantor set

math.NT

math.DS

Let $C$ be the middle-third Cantor set and let $\mu$ be the natural Cantor probability measure. Let \[ \gamma=\frac{\log2}{\log3}. \] The two main results of this paper are \[ \mu\{x\in C:\|2^n x\|2-\gamma. \] and \[ \mu\{x\in C:\|2^n x\|<\frac{1-\gamma}{2}. \] These results give new progress toward Velani's conjecture on zero-one law for dyadic approximation in the middle-third Cantor set.

Adelic Line Bundles, Arithmetic Positivity and Diophantine Geometry

math.NT

math.AG

This article is an expository account of the basics of adelic line bundles on quasi-projective varieties, arithmetic positivity of adelic line bundles, and applications of positivity to an equidistribution theorem and the uniform Bogomolov conjecture.

Quantitativity in the Mordell Conjecture

math.NT

math.AG

The Mordell conjecture asserts that there are only finitely many rational points on a smooth projective curve of genus at least two over a number field. The uniform Mordell problem asks for suitable upper bounds on the number of rational points in the Mordell conjecture, and has been solved by combining works of Vojta, Dimitrov--Habegger--Gao and Kuhne. In this survey, we will introduce a quantitative version of the uniformity problem proved by the recent work of Yu--Yuan--Zhou.

Determining Newforms via various relations among Fourier Coefficients

math.NT

In this article, we investigate how arithmetic relations among the Fourier coefficients of two newforms can be used to determine the underlying forms. For pairs of twist-inequivalent non-CM newforms, we obtain quantitative results on the distribution of differences, products, and ratios of normalized Fourier coefficients at prime powers. As applications, we derive quantitative refinements of multiplicity one and establish density one analogues of a theorem of Gafni--Thorner--Wong. We further show that, for twist-inequivalent newforms, the ratios of Fourier coefficients are quantitatively dense in the real line, which provides a new criterion for determining newforms through the distribution of their coefficient ratios.

The Bogomolov Property through Galois Representations

math.NT

The Bogomolov property \B for an algebraic extension of \(\QQ\) asserts the existence of a uniform positive lower bound for the absolute logarithmic Weil height outside the group of roots of unity. Originally introduced as a weakening of Northcott's property and closely related to Lehmer's conjecture, it has been established for several natural classes of infinite extensions, including abelian extensions and fields generated by torsion points of elliptic curves defined over the rationals. Given a Galois representation of an absolute Galois group, one can associate with it the algebraic extension fixed by its kernel and ask whether this extension has property \B. This point of view allows one to reinterpret classical results, and to generalize them to other Galois representations, both of geometric and non-geometric origin. This expository paper gives a survey of the techniques and results in this framework. We present some results on modular representations, with a particular focus on the role of local \(p\)-adic information. We explain how Sen's theorem on totally ramified \(p\)-adic Lie extensions enters the proof of new criteria for the Bogomolov property, and how these criteria apply to representations with large local image. This contribution is based on joint work with Francesco Amoroso, Andrea Conti, and Pietro Piras.

A direct proof of Mono-Rolen-Stumpenhusen and new constructions via the Maass raising operators

math.NT

In this paper, we give a direct conceptual proof of the main result of Mono, Rolen, and Stumpenhusen, using differential operators. More precisely, we realize their functions $\omega_{k+1,D}$ as images of the quadratic form Poincar\'e series $f_{k,D}$ under the Maass raising operator. This perspective gives a natural explanation for the modularity and Laplace eigenvalue prop erties of $\omega_{k+1,D}$. We further extend these results by investigating the images of more general local Maass forms under the Maass raising and lowering operators.

Weighted Fruit Diophantine Equations and Hyperelliptic Curves

math.NT

We study the weighted fruit Diophantine equation $ax^{d} - c\bigl(m^{2}y^{2}+n^{2}z^{2}\bigr) + xyz - b = 0$, generalising previous work by Majumdar--Sury, Vaishya--Sharma, and Prakash--Chakraborty. Subject to specific hypotheses on the parameters, our main result shows that for any prime $l \equiv 3 \pmod 4$ and $b = a (2 c m n)^{d} - l\, c^{s}t^{2q}$, the above equation has no integer solutions except for certain residue classes of $x$ modulo $4l$. An analogous result also holds when $l$ is replaced by an odd power of $l$ in the definition of $b$. We prove some insolvability results for $l=-1$. By applying the main result to the small values of $l$, such as $l \in \{3, 7, 11, 19\}$, we explicitly determine the exceptional residue classes outside of which the equation has no solutions. In particular, for $l = 3$, this yields complete insolvability, and weakening these hypotheses still yields non-existence results, though with specific coprimality restrictions on any possible solutions. We also consider a more general variant of the above Diophantine equation and provide some insolvability results. Subsequently, we establish bounds for the positive solutions of the aforementioned equation. Finally, by associating a family of hyperelliptic curves with the equation under consideration and applying Grant's analogue of the Nagell--Lutz theorem, we translate these insolvability results into results about their rational torsion points.

Amplified moments of the Riemann zeta function

math.NT

We establish asymptotic formulae for two-piece amplified second and fourth moments of the Riemann zeta function. As applications, we obtain unconditional effective lower bounds for several joint moments of zeta which are in strong agreement with the conjectures of Keating--Wei and Keating--Snaith. In particular, we prove an unconditional lower bound for the sixth moment of zeta $M_3(T)\geq(34.1+o(1))c_3T(\log T)^9$. We further improve some of the lower bounds obtained by Soundararajan, removing the assumption of the Lindel\H{o}f Hypothesis, and we obtain effective lower bounds for all joint integer moments of zeta consistent with the predictions of random matrix theory.

Sharp endpoint multilinear estimates for oscillatory integrals and spectral clusters

math.AP

math-ph

math.CA

math.MP

math.NT

math.SP

We prove sharp $k$-linear $L^p$ estimates for Carleson--Sj\"olin oscillatory integral operators with arbitrary separated frequency scales for all $k\ge 2$ and $1\le p\le \infty$. The estimates are sharp, including the endpoint logarithmic behavior for general Carleson--Sj\"olin phases. Moreover, we obtain log-free endpoint bilinear spectral cluster estimates on every closed three-dimensional Riemannian manifold, resolving a problem of Burq--G\'erard--Tzvetkov. As a consequence, we establish sharp $k$-linear $L^p$ spectral cluster estimates for all $k\ge 2$ and $1\le p\le \infty$.

Proof of Cigler's conjecture on $q$-Hoggatt numbers

math.CO

math.NT

We prove the nonnegativity and palindromicity of a family of polynomials arising from $q$-Hoggatt numbers. The nonnegativity is derived from Stanley's $(P,\omega)$-partition theory through a standard Young tableau formula, while the palindromicity is proved by an involution on rectangular standard Young tableaux. Our result confirms a conjecture of Cigler.

On a conjecture by Koll\'ar and Sacc\`a

math.AG

math.NT

In this note we study smooth commutative group schemes over curves, whose generic fibre is an abelian variety. We prove a modified version of the conjecture proposed in [KS25].

Cusp Excursions, Lattice Points on Manifolds, and the Mizohata-Takeuchi Conjecture

math.DS

math.CA

math.NT

We prove new logarithm laws for cusp excursions in spaces of lattices, and produce quantitative lower bounds for lattice points near submanifolds, using tools from dynamics and the geometry of numbers. As an application, we provide a new proof of power loss for the local Mizohata-Takeuchi conjecture with explicit error terms, as well as show that power loss is generic in $C^k$. The construction uses high-dimensional probabilistic estimates, but replaces the random orthogonal subspaces of Cairo-Zhang with random unimodular lattices; this yields stronger bounds and provides a richer family of counterexamples.

Inequalities among higher-order difference sets, or, remarks on a construction of Ruzsa

math.CO

math.NT

Extending a little-known construction of Ruzsa, we characterize the quadruples $(s,t,u,v)$ of nonnegative integers such that the inequality $|sA-tA| \leq |uA-vA|$ holds for all finite sets $A \subseteq \mathbb{Z}$

Automorphism Groups of Uniform Dessins d'Enfants of Genus at Least Two

math.AG

math.NT

For a smooth algebraic curve defined over a number field, one can associate a bipartite graph called a dessin d'enfant. We study the regularity and automorphism groups of dessins with uniform passports. In a previous paper, we proved that every passport of the form $[n,b^{q},n]$ of genus at least 2 admits a dessin with trivial automorphism group. Here we prove the analogous result for passports of the form $[b^{q},b^{q},n]$. We also construct examples of uniform passports of genus at least 2 for which every dessin with that passport has nontrivial automorphism group, and others for which every dessin with that passport has trivial automorphism group. Finally, we give an alternative proof of the $[n,b^{q},n]$ case using counting arguments based on centralizers of permutations.

On automorphisms of $\mathscr{B}$-admissible and related subshifts

math.DS

math.NT

We adapt ideas of Kim and Roush [15], originally developed in the study of automorphisms of sofic subshifts, to obtain sufficient conditions under which a subshift has a huge automorphism group. We apply this approach to non-sofic subshifts defined by sets of multiples. In particular, we establish a dichotomy for the $\mathscr{B}$-admissible subshift: its automorphism group is either trivial or contains an embedded copy of the automorphism group of the full shift $\{0,1\}^{\mathbb Z}$. In the latter case, we say that the automorphism group is huge. We further show that the automorphism group of the hereditary closure of the $\mathscr{B}$-free subshift is huge whenever $\mathscr{B}\subset \mathbb N$ is infinite and contains no infinite pairwise coprime subset.

Linear Code Conversion in the Merge Regime: General Bounds and Reed--Muller Constructions

cs.IT

cs.DM

math.CO

math.IT

math.NT

Erasure codes are a core component of most existing large-scale distributed storage systems, ensuring reliability against node failures. Recent work has shown that adapting code parameters to changing node failure rates can lead to significant storage savings. The default approach is to re-encode the data under a new code, which consumes substantial system resources. Code conversion was introduced to reduce this cost. However, existing work has mainly focused on conversions within specific classes of codes. In this paper, we study scalar linear code conversion in the merge regime for arbitrary linear codes. We derive universal lower bounds on the write and read costs in terms of unchanged and read symbols. The bounds are refined using generalized Hamming weights, which capture support-growth properties of subcodes and can give sharper estimates than minimum-distance-only arguments. We show that the framework recovers known bounds for important special cases and can be strictly stronger when the final code has nontrivial jumps in its generalized Hamming weight hierarchy. We then apply the framework to Reed-Muller codes and construct explicit Reed-Muller convertible codes using the Plotkin decomposition. For a natural Reed-Muller parameter regime, the construction attains the derived write-cost lower bound. For the read cost, the generalized-Hamming-weight analysis is sharp for one initial block, while a gap remains for the other block.

On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case

math.CA

math.DS

math.NT

In this paper, we provide the resolution of the degree one resonant case in all dimensions. Our main result reads as follows: for any dimension $D\geq 1$ set $\mathbf{X}(\mathbf{t})=(\mathbf{t},|\mathbf{t}|^2),\; \mathbf{t}\in\mathbb{R}^D$, and let $K(\mathbf{t})$ be any suitable translation invariant Calder\'on--Zygmund kernel. If $\mathbb{V}\leq\mathbb{R}^{D+1}$ is any linear subspace such that $ \exists\:\:\mathbf{v}_0\in\mathbb{R}^D\times\{0\}$ nontrivial with $\mathbf{v}_0\perp\mathbb{V}$ then the following (maximal) Carleson-Radon transform $CR^\ast_{\mathbb{V}}$ is $L^p(\mathbb{R}^{D+1})-$bounded in the maximal range $1

<\infty$, where $$CR^\ast_{\mathbb{V}} f(\mathbf{x}):= \sup_{\begin{array}{c} \scriptstyle 0<\infty \cr \scriptstyle \mathbf{a}\in\mathbb{V} \end{array}} \left| \int_{r<|\mathbf{t}|\leq R} f\left(\mathbf{x}-\mathbf{X}(\mathbf{t})\right) e\left(\mathbf{a}\cdot \mathbf{X}(\mathbf{t})\right) K(\mathbf{t}) d \mathbf{t} \right|.$$ The above choice for $\mathbb{V}$ creates a maximal linear subspace of $\mathbb{R}^{D+1}$ closed under parabolic scaling for which - $CR^\ast_{\mathbb{V}}$ is degree one resonant, and - $CR^\ast_{\mathbb{V}}$ is not degree two (or higher) resonant. The proof of the above result unravels several new manifestations and ideas meant to capture the remarkable features of the resonant Carleson-Radon behavior.

Cuspidal subgroups associated with non-rational Eisenstein maximal ideals

math.NT

v3

In this paper, we are interested in the generalization of Ramanujan-like Eisenstein congruences (congruences between cusp forms and Eisenstein series) for congruence subgroups of the form $\Gamma_0(N)$ with $N \in \mathbb{N}$. We determine the possible primes that can produce Eisenstein congruences. We provide several examples of Eisenstein congruences to substantiate our method. Ribet conjectured (\cite[p. 360]{MR3540618}) about these congruences for the square-free level $N$. Yoo proved the conjecture. For general $N$, Yoo proved a generalization of the conjecture, under some hypotheses, provided that those ideals are {\it rational}. We show that the generalization of Ribet's conjecture for certain non-square-free levels $N$ is true even for {\it non-rational} Eisenstein maximal ideals.

Functions on Irreducible Components of the Emerton-Gee Stack

math.NT

v3

Let $K / \mathbb{Q}_p$ be a finite unramified extension, and let $\mathcal{X}_n$ denote the Emerton-Gee stack parametrizing \'etale $(\varphi,\Gamma_K)$-modules of rank $n$. It is known since the work of Emerton-Gee that the irreducible components of the reduced special fiber of $\mathcal{X}$ are labeled by Serre weights $\sigma$ of $\operatorname{GL}_n(k)$. If such a component is denoted $\mathcal{X}(\sigma)$, we prove that $\mathcal{O}(\mathcal{X}(\sigma)) \cong \mathbb{F}[x_1,x_2,\dots,x_{n-1},x_n^{\pm 1}]$ when $\sigma$ is sufficiently generic.

Sum of the $GL(3)$ Fourier coefficients over mixed powers

math.NT

v2

Let $A(n)$ be the $(1,n)$-th Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form, denoted as $A(1,n)$ or the triple divisor function, denoted as $d_3(n)$. Let $k \geqslant3$ be an integer. In this paper, we establish an asymptotic formula for the sum \begin{equation*} \mathop{\sum}_{\substack{1 \leqslant n_1, n_2 \leqslant X^{1/2} \\ 1 \leqslant n_3 \leqslant X^{1/k}}} A(Q(n_1,n_2) + n_3^k)\mathsf{a}(n_3), \end{equation*} where $\mathsf{a}(n)$ is either von-Mangoldt function or identity function, and $Q(x,y) \in \mathbb{Z}[x,y]$ is a binary quadratic polynomial. When $A(n)=A(1,n)$, then $\mathsf{a}(n)$ can be any bounded arithmetical function.

On $\mu$-invariants and isogenies for abelian varieties over function fields

math.NT

math.AG

v4

We give several formulas for how Iwasawa $\mu$-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.

Algebraic power series and their automatic complexity modulo prime powers

math.NT

cs.FL

cs.SC

v4

Christol and, independently, Denef and Lipshitz showed that an algebraic sequence of $p$-adic integers (or integers) is $p$-automatic when reduced modulo $p^\alpha$. Previously, the best known bound on the minimal automaton size for such a sequence was doubly exponential in $\alpha$. Under mild conditions, we improve this to a bound whose dominant factor is $p^{\alpha^3 h d / 3}$, where $h$ and $d$ are the height and degree of the minimal annihilating polynomial modulo $p$. We achieve this bound by showing that all states in the automaton are naturally represented in a new numeration system. This significantly restricts the set of possible states. Since our approach embeds algebraic sequences as diagonals of rational functions, we also obtain bounds more generally for diagonals of multivariate rational functions.

The arithmetic of critical values I: equicritical quartic polynomials

math.NT

v3

A polynomial $f$ of degree $d$ and coefficients in an algebraically closed field $k$ defines a morphism $f:\mathbb{P}^1_k\longrightarrow\mathbb{P}^1_k$ which, if char$(k)\nmid d$, is unramified outside a finite set of points in the image: the critical values of $f$. In this work we establish a rigorous framework for the study of their arithmetic, which we carry out for $d=4$ and $k=\overline{\mathbb{Q}}$, uncovering a connection to the arithmetic of elliptic curves. Recent progress in the theory of Weyl sums has sparked some interest in finding pairs of polynomials having the same critical values for "nontrivial" reasons: building on our analysis, we provide a complete classification of such pairs in the case of quartics over number fields.

Divisibility of the coefficients of modular polynomials

math.NT

v3

Let $N>1$ and let $\Phi_N(X,Y)\in\mathbb{Z}[X,Y]$ be the modular polynomial which vanishes precisely at pairs of $j$-invariants of elliptic curves linked by a cyclic isogeny of degree $N$. In this note we study the divisibility of the coefficients of $\Phi_N(X+J, Y+J)$ for certain algebraic numbers $J$, in particular $J=0$ and other singular moduli. It turns out that these coefficients are highly divisible by small primes at which $J$ has supersingular reduction.

Monodromy Groups of Supersingular Abelian Surfaces over $\mathbb{Q}_p$

math.NT

math.AG

v2

For primes $p\ge 7$, we give a parametrization of the filtered $\varphi$-modules attached to the $p$-adic Tate modules of abelian surfaces over $\mathbb{Q}_p$ with supersingular good reduction. We use this classification to determine the neutral components of the monodromy groups of the associated $p$-adic representations up to $\bar{\mathbb{Q}}_p$-isomorphism. Furthermore, we analyze the $p$-adic distribution of these groups in the moduli space of filtered $\varphi$-modules. In particular, we prove that the neutral components are generically isomorphic to $\mathbf{GL}_2 \times_{\det} \mathbf{GL}_2$.

Increasing the Size of Tame Shafarevich Groups

math.NT

v2

Let $K$ be a number field with $S$ a finite set of primes. We study the cohomology of $\mathbb{F}_p[G_{K,S}]$-modules $A$, in particular the Shafarevich groups $\Sha^i_S(K,A)$ for $i=1,2$ and tame sets $S$, i.e., for sets $S$ that contain no primes above $p$. When $S$ contains all primes above $p$ (the ``wild'' setting), it is a consequence of global Poitou--Tate duality that $\Sha^1_S(K,A')^\vee \simeq \Sha^2_S(K,A) \stackrel{\simeq}{\hookrightarrow} \RusB_S(K,A)$ is non-increasing as $S$ increases. A similar result holds when $G_{K,S}$ is replaced by its maximal pro-$p$ quotient $G_{K,S}(p)$. In [5] it was shown that for $S$ tame and $A=\mathbb{F}_p$ with trivial action, the group $\Sha^2_S(K, \mathbb{F}_p)$ can increase as $S$ increases to $S \cup X$, and even attain its maximal dimension, $\dim \RusB_S(K,\mathbb{F}_p)$, for carefully chosen $X$. In the first part of this paper, we use Liu's definition [8] of $\RusB_S(K,A)$ for a general $\mathbb{F}_p[G_{K, S}]$-module $A$ to show, assuming $\Sha^1_{all}(K,A')=0$, that $\Sha^2_S(K,A) \hookrightarrow \RusB_S(K,A)$. This happens, for example, when the action of $G_{K,S}$ on $A$ is through a finite group of order prime to $p$. Under this extra assumption, we then strengthen the results of [5] to show that for any odd prime $p$ and any $\mathbb{F}_p[G_{K, S}]$-module $A$ with $S$ tame, there exist infinitely many tame sets of primes $X$ of $K$ such that $\Sha^2_{S\cup X}(K,A) \stackrel{\simeq}{\hookrightarrow} \RusB_{S \cup X}(K,A) \stackrel{\simeq}{\twoheadleftarrow} \RusB_S(K,A) \hookleftarrow \Sha^2_S(K,A)$.

Chebyshev's bias without linear independence

math.NT

v3

We confirm Chebyshev's observation that primes are strikingly more abundant in non-square residue classes modulo a fixed integer under the Generalized Riemann Hypothesis (GRH) by proving a (natural) density $1$ statement for prime counting functions in residue classes where each prime is weighted by its inverse square root. In contrast to the majority of the existing literature on the subject, we do not need to restrict to logarithmic densities to measure Chebyshev's bias, and we do not rely on any hypothesis on the zeros of $L$-functions that is stronger than GRH. Note: The same type of results presented here were independently proved by Arshay Sheth (2025) in the general context of automorphic forms, which implies our main asymptotic. While the spirit of the proofs is similar, Sheth develops an explicit formula for the partial Euler product and uses a result due to Gallagher (1980) to prove that some estimates hold outside a set of finite logarithmic measure. We share this independent work because it provides a completely self-contained and elementary proof relying only on the usual explicit formula, and it yields explicit error terms rather than an implicit $o(1)$ asymptotic.

Solution to the Erdos problem on distinct residues of factorials

math.NT

math.CO

v5

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct. In this short note, we give the negative answer on this question in an elementary way.

On the factorizations of integers via division algorithms for polynomials

math.NT

v2

We introduce and study several conditions related to the factorization problem of composite numbers. For this purpose, we employ cyclotomic polynomials, Sylvester resultants, and the Fermat equation. For instance, we show that for $m\in\mathbb N$ and distinct primes $p$ and $q$ with $p$ not dividing $m$, the existence of a solution to the Fermat equation $X^p+Y^p=Z^p$ in positive characteristic $q$ such that $X+Y\neq Z$ and $X, Y$ and $Z$ are $m$-th roots of unity implies the factorization of a composite natural number $N$ that is a multiple of $pq$ at the cost of $O\bigl( \phi(m)[m^3 + m^2(\log N)^2] M(\lfloor \log_2 N\rfloor +1) \bigr)$, where $\phi$ is the Euler's function and $M$ is the multiplication time function for $\mathbb Z$. We also show that such solutions do not exist for many semiprime integers $N$, provided that $m$ is required to have a fixed polynomial upper bound in $\log N$.

Pointwise ergodic averages along the Omega function in number fields

math.DS

math.NT

v2

We study a general criterion for guaranteeing that an ergodic average exhibits the strong sweeping-out property. This result implies, in particular, the failure of pointwise convergence of these averages. Our result applies to averages along the Omega function in number fields, generalizing a result of Loyd. We also show that the averages \[\frac{1}{N^2}\sum_{1\leq m,n \leq N}f(T^{\Omega(m^2+n^2)}x)\] exhibit the strong sweeping-out property, which answers affirmatively a question posed by Le, Moreira, Sun, and the second author. On the other hand, using number-theoretic methods, we establish the pointwise convergence of averages along the $\Omega$ function defined on the ideals of a number field in uniquely ergodic systems. Using this dynamical framework, we also derive several natural number-theoretic consequences of independent interest.

Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

math.RT

math.NT

math.RA

v2

We construct and compare three $D$-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. Let $V$ be a quadratic space over a field $\kappa$ of characteristic $0$, $C\subset V^*$ be the isotropic cone, $\Delta\in D_V$ be the associated Laplace--Beltrami operator, $G$ be the conformal group of $V$, and $D_C$ be the algebra of Grothendieck differential operators on $C$. We prove that the category of finitely generated $D_C$-modules is equivalent both to a Kazhdan--Laumon glued category attached to the smooth locus $C^o$ and to a category of ``harmonic'' twisted $D$-modules on the projective conformal compactification $G/P \supset V$. The gluing is governed by the quadric Fourier transform, while the harmonic model is built from a distinguished $G$-equivariant sheaf $H$ on $G/P$ extending the local quotient $D_V/D_V\Delta$. We prove a new geometric interpretation of higher symmetries of the Laplacian as global sections of $H$, and use this connection to give a geometric proof of the theorem of Levasseur, Smith, and Stafford that $D_C$ is Noetherian despite the singularity of $C$. We also study, via a descent procedure we call ``$F$-moment descent,'' the algebraic geometry of the closure of the minimal nilpotent orbit of $G$, which is the quasiclassical analogue of the minimal representation. Finally, we analyze the filtered structure of $D_V/D_V\Delta$ as a right $D_C$-module, identifying its associated graded layers through a flat degeneration of an affine flag multicone whose special fiber is the Rees space of a natural ideal in $\kappa[\overline{O}_{min}]$.