Number Theory [math.NT]

Monogenic Fields from Polynomial Compositions with Applications

math.NT

A number field $K$ is called \emph{monogenic} if its ring of integers $\mathbb{Z}_K$ can be expressed as a simple ring extension $\mathbb{Z}[\alpha]$ for some $\alpha \in \mathbb{Z}_K$. A monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$ is said to be monogenic if one of its roots generates both the number field and its ring of integers. In this article, we establish the necessary and sufficient conditions for $[\mathbb{Z}_{K_i}:\mathbb{Z}[\alpha_i]]=1$, where $K_i=\mathbb{Q}(\alpha_i)$ and $\alpha_i$ is a root of the composed polynomial $f_i(x^k+b)$ for $i=1,2$. Here, $f_1(x)=x^n+c\sum_{j=1}^{n}(ax)^{n-j}\in\mathbb{Z}[x]$ and $f_2(x)=x^n+c\sum_{j=1}^{n}a^{j-1}x^{n-j}\in\mathbb{Z}[x]$ are irreducible polynomials of degree $n\ge 3$. In addition, we derive asymptotic estimates for the number of monogenic polynomials in these families under natural assumptions. As an application of our main results, we construct a class of polynomials with non-square-free discriminants. We also analyze the behavior of solutions to certain related differential equations.

Sets of integers satisfying Bateman-Horn statistics

math.NT

In 1962, Bateman and Horn conjectured precise asymptotics for the count of positive integers n \le x for which f_1(n), ..., f_k(n) are all prime, where (f_1, ..., f_k) is an admissible k-tuple of polynomials in one variable. We prove that certain random sets of integers almost surely satisfy the Bateman-Horn asymptotics in full generality and with a strong error term, where we have replaced "f_1(n), ..., f_k(n) are all prime" with "f_1(n), ..., f_k(n) all lie in the random set." In particular, sets of integers satisfying Bateman-Horn are plentiful.

Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor

math.NT

math.CO

Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(\zeta_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.

A logarithmic structure theorem for multiplicative functions with small partial sums

math.NT

Let $D\in\mathbb{N}$, let $A>D+1$, and let $Q\geqslant3$. Consider the class of multiplicative functions $f:\mathbb{N}\to\mathbb{C}$ such that $|\sum_{n\leqslant x}f(n)|\le x(\log Q)^{A-D-1}/(\log x)^A$ for all $x\geqslant Q$, and such that $|\Lambda_f|\leqslant D\Lambda$, where $\Lambda_f$ is defined via the Dirichlet convolution identity $f\log=\Lambda_f*f$ and $\Lambda$ denotes von Mangoldt's function. We prove there exist parameters $m\in\{0,1,\dots,D\}$ and $Q=Q_D\leqslant Q_{D-1}\le \cdots\leqslant Q_m

3-class field towers with 2 or 3 stages

math.NT

For quadratic fields \(k=\mathbb{Q}(\sqrt{d})\) with discriminant \(d\), \(3\)-class group \(\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2\), and four \textit{simple} \(3\)-principalization types \(\varkappa(k)\in\lbrace (1122),(3122),(1231),(2231)\rbrace\), we establish necessary and sufficient conditions for the Galois group \(S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)\) of the unramified Hilbert \(3\)-class field tower of \(k\) to coincide with the Galois group \(M=\mathrm{Gal}(\mathrm{F}_3^2(k)/k)\) of the maximal metabelian unramified \(3\)-extension of \(k\). In the case of non-coincidence, we study the path between \(M\) and \(S\) in the descendant tree of the elementary bicyclic \(3\)-group \((\mathbb{Z}/3\mathbb{Z})^2\). For two \textit{complex} \(3\)-principalization types \(\varkappa(k)\in\lbrace (2122),(4231)\rbrace\), we show that infinitely many non-metabelian possible Galois groups \(S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)\) with presumably unbounded derived length \(\mathrm{dl}(S)\) share a common metabelianization \(M=S/S^{\prime\prime}\), whence only partial criteria can be stated. Minimal discriminants \(d>0\) with assigned simple \(3\)-principalization type \(\varkappa(k)\) and fixed length \(\ell_3(k)\in\lbrace 2,3\rbrace\) of the \(3\)-class field tower are determined experimentally for nilpotency class \(\mathrm{cl}(M)\in\lbrace 5,7,9,11\rbrace\) under assumption of the generalized Riemann hypothesis.

A note on bilinear sums with modular square roots

math.NT

Bag and Shparlinski \cite{BaSh} considered bilinear sums of terms of the form $e_p(axy^s)$, where $p$ is a prime, $a$ is an integer coprime to $p$, $s$ is an integer, $x$ runs over a subset of $\mathbb{F}_p^{\ast}$ and $y$ runs over an interval. Closely following their method, we establish an analogous result for the case when $s=1/2$ ($y^{1/2}$ being a modular square root of $y$ modulo $p$, if existent). A part of this note is devoted to reviewing our recent works on related bilinear sums.

Archimedean arithmetic Siegel--Weil formula for general weights over Shimura curves

math.NT

We prove an averaging formula for the canonical archimedean height pairing of special divisors with weights over orthogonal and unitary Shimura curves in terms of derivatives of Whittaker functions.

Numbers in a Beatty sequence which are orders only of cyclic, abelian or nilpotent groups

math.NT

Let \(C(x)\), \(A(x)\), and \(N(x)\) denote the counting functions of cyclic, abelian, and nilpotent numbers not exceeding \(x\), respectively. Their asymptotic formulas have been established in recent work by Pollack and Just. In this paper, by adapting the methods of Pollack and Just, we study the distribution of these numbers in Beatty sequences \(\mathcal{B}_{\alpha,\beta} = ([\alpha n + \beta])_{n=1}^{\infty}\), where \(\alpha > 1\) is an irrational number of finite type and \(\beta\) is a fixed real number. We prove that the counting functions \(\#C^*(x)\), \(\#A^*(x)\), and \(\#N^*(x)\) for cyclic, abelian, and nilpotent numbers in Beatty sequences satisfy asymptotic formulas that differ from those of Pollack and Just only by a factor \(1/\alpha\).

On the generalized inverse tangent integral and Catalan's constant

math.NT

In this paper, we develop new identities for the inverse tangent integral by connecting it to the dilogarithmic (polylogarithmic) structure and to a carefully designed auxiliary arctangent integral $Ti_2(a)$ with a tunable endpoint. The core idea is based on the introduction of an auxiliary integral depending on two parameters and analyzing it via a generating-function perspective. This converts the integral into an explicit formula, yielding a compact representation in terms of the real part of a dilogarithmic expression plus a companion dilogarithm contribution. In parallel, the inverse tangent integral is rewritten through standard integral transformations into a form governed by the imaginary part of a dilogarithm evaluated at a complex argument, producing a clean polylogarithmic description. Overall, we establish a coherent bridge between arctangent-type integrals, identities connected to Catalan's constant, and the systematic generation of new integral representations and decompositions.

Gaps in Multiplicative Sidon Sets

math.NT

math.CO

For a positive integer $n$, let $g(n)$ denote the infimum of all real numbers $L$ such that there exists a multiplicative Sidon set $A\subseteq\{1,2,\dots,n\}$ that intersects every interval $[x,x+L]\subseteq[1,n]$. S\'ark\"ozy asked for estimates on $g(n)$, and he in particular asked whether one has $g(n)\le\sqrt n$ for every $n\in\mathbb{N}$. We first show that this estimate does indeed hold, with a proof that was autonomously discovered and formally verified in Lean by Aristotle. Next, we improve the upper bound further and, with $\rho = \frac{13-\sqrt{69}}{10} < 0.47$, prove that $g(n)\ll_{\varepsilon} n^{\rho+\varepsilon}$ for every $\varepsilon > 0$.

On the Sum of a Prime and a Number that is not Square-Free

math.NT

We prove that every sufficiently large integer $n$ can be written as the sum of a prime and an integer that is not square-free. In addition, we expect this result holds for every $n > 24$ and prove two results to support this claim. First, we prove the result holds unconditionally for every odd $n > 24$. Second, assuming the Generalised Riemann Hypothesis for Dirichlet $L$-functions, we prove the result holds for every $n > 24$. We also discuss the obstruction which prohibits us from proving the result unconditionally for every $n > 24$.

Expansion in $\text{SL}_2(\mathbb Z/q\mathbb Z)$ and Zaremba's conjecture

math.NT

We establish an expansion theory for $\text{SL}_2(\mathbb Z/q\mathbb Z)$. Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba's conjecture.

Cusp forms and parabolic cohomology classes for symmetric spaces of rank one

math.NT

For any rank-one Riemannian symmetric space S of non-compact type and any discrete, cofinite, non-cocompact, torsion-free group $\Gamma$ of orientation-preserving Riemannian isometries on S, we develop a cohomological interpretation for the cusp forms of $\Gamma$. To that end, we identify certain $\Gamma$-submodules of smooth semi-analytic vectors in the spherical principal series representation with spectral parameter $\nu$ as well as certain subspaces of parabolic cohomology spaces of $\Gamma$ of degree dim S-1 with these $\Gamma$-submodules. We provide explicit isomorphisms between the spaces of cusp forms of spectral parameter $\nu$ and these specific cohomology subspaces. The isomorphisms from cusp forms to cohomology are given by an integral transform, and the explicit form of the inverse isomorphism takes advantage of a certain reproducing property of the integral transform. The result is uniform for all these symmetric spaces and does not rely on their classification.

The generalized Fermat equation $Ax^2 + By^r = Cz^p$ and applications

math.NT

In this paper, we develop the modular method for the generalized Fermat equation appearing in the title, within the framework of Darmon's program and using Frey hyperelliptic curves. As an application, we study a conjecture of Laradji, Mignotte, and Tzanakis concerning the equation $5x^2+q^{2n}=y^5$.

Reductions of $\mathrm{GL}_2(\mathbb Q_{p^f})$-Banach spaces of slopes in $(0,1)$

math.NT

Let $p$ be an odd prime and $f \geq 1$. We consider a $p$-adic locally algebraic $\text{GL}_2(\mathbb Q_{p^f})$-representation attached to a tuple of $f$ weights $k=(k_i)$ for $0 \leq i \leq f-1$ and a $p$-adic integer $a_p$ with valuation in $(0,1)$. We give conditions under which the irreducible quotients of the subquotients in a filtration on the reduction mod $p$ of the natural integral structure on this space are supercuspidal. We also check that for small $k$ and $f$ the integral structure is a lattice so that the mod $p$ reduction is nonzero.

A bibasic double sum extension of a $q$-binomial theorem arising out of subspace enumeration

math.CO

math.CA

math.NT

We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.

Flat Cohomological Purity for Syntomic Schemes over Valuation Rings

math.AG

math.NT

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary (possibly infinite-rank) mixed-characteristic valuation rings $V$, thereby extending the theorem of \v{C}esnavi\v{c}ius--Scholze to the non-noetherian setting. More precisely, for a flat finite-type scheme over $V$ with local complete intersection fibres, we prove that the cohomology with coefficients in a commutative finite locally free group scheme remains unchanged after removing a closed subscheme satisfying a suitable fibrewise codimension condition; in particular, we obtain vanishing in low degrees and injectivity in the critical degree. As applications, we deduce purity results for local cohomology, for torsion in the Picard group, and for the Brauer group. In higher rank, our results yield sharper bounds than those previously obtained by Bhatt--Lurie and Madapusi--Mondal. The argument rests on recent advances in the structure theory of valuation rings.

On conjectural fermionic formulas for the Macdonald index in Argyres-Douglas theories

math.CO

hep-th

math.NT

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.

Twisting Higgs Modules and Functorial Aspects of the p-adic Simpson Correspondence

math.AG

math.NT

The classical Simpson correspondence describes complex linear representations of the fundamental group of a smooth complex projective variety in terms of linear algebra objects, namely Higgs bundles. Its p-adic analogue, introduced by G. Faltings, aims to understand continuous p-adic representations of the geometric fundamental group of a smooth projective variety over a p-adic local field. The main goal of this work is to establish a robust framework for studying the functoriality of the p-adic Simpson correspondence. We introduce a new method for twisting Higgs modules via Higgs-Tate algebras. This construction builds on one of our earlier approaches to the p-adic Simpson correspondence, which it recovers as a special case. The resulting framework yields twisted pullbacks and higher direct images of Higgs modules, thereby enabling a systematic study of the functoriality of the p-adic Simpson correspondence under arbitrary pullbacks and proper (log)smooth direct images, including for morphisms that do not admit liftings to the infinitesimal deformations used in the construction of the correspondence. We also clarify how this new twisting relates to the constructions of Heuer and Heuer-Xu, involving line bundles on the spectral variety.

Computing torsion for plane quartics without using height bounds

math.NT

v3

We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes, and searching for torsion points, not just over Q but also over small number fields, until the two bounds meet. Both complex analytic and Chinese remainder theorem based methods are used to find such torsion points. The method has been implemented in Magma for plane quartic curves over Q with a rational point and used to provably compute the rational torsion subgroup for more than 98% of Jacobians of curves in a data set due to Sutherland consisting of 82240 plane quartic curves.

Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes II

math.NT

v2

Let $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at a prime $p\geq 5$, and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ equals $-1$. When $p$ splits in $K$, Castella and Wan formulated the plus/minus Heegner point main conjectures for $E$ along the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved them for semistable curves. We generalize their results to two settings: 1. For $p$ split in $K$, we formulate Sprung-type main conjectures for $\mathrm{GL}_2$-type abelian varieties at non-ordinary primes and prove them under some conditions. 2. For $p$ inert in $K$, we formulate, relying on the work of the first-named author with Kobayashi and Ota, plus/minus Heegner point main conjectures for elliptic curves, and prove the minus main conjecture for semistable curves. The latter yields a $p$-converse to the Gross--Zagier and Kolyvagin theorem for semistable elliptic curves $E$ at supersingular primes $p\geq 5$, complementing the pioneering $p$-converse theorems of Skinner and Zhang. Our method relies on Howard's framework of bipartite Euler systems, Zhang's resolution of Kolyvagin's conjecture and the recent proof of cyclotomic main conjecture at non-ordinary primes.

On the distribution of $\alpha p^2$ modulo one in the intersection of two Piatetski--Shapiro sets

math.NT

v2

Let $\lfloor t\rfloor$ denote the integer part of $t\in\mathbb{R}$ and $\|x\|$ the distance from $x$ to the nearest integer. Suppose that $1/2<\gamma_2<\gamma_1<1$ are two fixed constants. In this paper, it is proved that, whenever $\alpha$ is an irrational number and $\beta$ is any real number, there exist infinitely many prime numbers $p$ in the intersection of two Piatetski--Shapiro sets, i.e., $p=\lfloor n_1^{1/\gamma_1}\rfloor=\lfloor n_2^{1/\gamma_2}\rfloor$, such that \begin{equation*} \|\alpha p^2+\beta\|

<\gamma_1+\gamma_2<2$. This result constitutes an generalization upon the previous result of Dimitrov [4].

Counting and Joint equidistribution of approximates

math.NT

math.DS

v3

In this paper, we consider the problem of counting Diophantine inequalities with multiple natural constraints. We prove a very general result in this setting using dynamical techniques. More precisely, we consider the joint asymptotic distribution of $\varepsilon$-Diophantine approximates of matrices in several aspects. Our main results describe the resulting limiting measures for almost every matrix. Multiplicative Diophantine approximation is treated for the first time, and a number of Diophantine corollaries are derived. While we treat the general case of approximation of matrices, our results are already new for the case of simultaneous Diophantine approximation of vectors. Our approach is dynamical and is based on the construction of an appropriate Poincar\'{e} section for certain diagonal group actions on the space of unimodular lattices along with multiple mixing. The main new idea in our paper is a method that allows us to treat actions of higher rank groups.

Deformations of Prismatic Higher $(G,\mu)$-Displays over Quasi-Syntomic Rings

math.NT

math.AG

v3

We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonn\'e modules to a class of rings, properly containing quasi-syntomic rings. Finally, we relate the stack of prismatic higher $(G,\mu)$-displays to integral local Shimura varieties.

Explicit reciprocity laws for diagonal classes: higher level cases

math.NT

v3

We generalize the $p$-adic explicit reciprocity laws for balanced diagonal classes by Darmon--Rotger and Bertolini--Seveso--Venerucci to the case of geometric balanced triples $(f,g,h)$ of modular eigenforms where $f$ is a $p$-ordinary newform, while $g$ and $h$ are allowed to be (both) supercuspidal at $p$ or (both) ramified principal series at $p$.

Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

math.NT

math.AG

math.RT

v2

In the first part of the paper, we formulate several arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in the presence of ramification. The ramification comes from the choice of non-hyperspecial parahoric level structure. We prove a graph version of these arithmetic transfer conjectures, by relating it to the quasi-canonical arithmetic fundamental lemma, which we also establish. We relate some of the arithmetic transfer conjectures to the arithmetic fundamental lemma conjecture for the whole Hecke algebra in our recent paper arXiv:2305.14465. As a consequence, we prove these conjectures in some simple cases. In the second part of the paper, we elucidate the structure of an integral model of a certain member of the almost selfdual Rapoport-Zink tower, thereby proving conjectures of Kudla and the second author. This result allows us verify the hypotheses of the graph version of the arithmetic transfer conjectures in a particular case.

On the packing dimension of weighted singular matrices on fractals

math.NT

math.DS

v2

We provide the first known upper bounds for the packing dimension of weighted singular and weighted $\omega$-singular matrices. We also prove upper bounds for these sets when intersected with fractal subsets. The latter results, even in the unweighted setting, are already new for matrices. Further, even for row vectors, our results enlarge the class of fractals for which bounds are currently known. We use methods from homogeneous dynamics, in particular we provide upper bounds for the packing dimension of points on the space of unimodular lattices, whose orbits under diagonal flows $p$-escape on average.

Dimension bounds for singular affine forms

math.NT

math.DS

v4

In this paper, we establish upper bounds on the dimension of sets of singular-on-average and \(\omega\)-singular affine forms in singly metric settings, where either the matrix or the shift is fixed. These results partially address open questions posed by Das, Fishman, Simmons, and Urba\'nski, as well as Kleinbock and Wadleigh. Furthermore, we extend our results to the generalized weighted setup and derive bounds for the intersection of these sets with a wide class of fractals.

Octagonal relations

math.NT

v2

We study the action of the absolute Galois group on the fundamental groups.

Positivity of automorphic vector bundles on unitary Shimura varieties

math.NT

math.AG

v2

Let $X$ be the special fiber of a unitary Shimura variety of hyperspecial level at a prime $p$ inert in the totally real field $F$. Let $Y\to X$ be the associated flag space. For every $L$-dominant weight $\lambda$, let $\mathcal{L}_Y(\lambda)$ denote the corresponding automorphic line bundle. We give an explicit necessary and sufficient criterion, in terms of the signature data and the coordinates of $\lambda$, for the ampleness of $\mathcal{L}_Y(\lambda)$. %, which effectively detects the coherent cohomology of automorphic vector bundles on $X$. The criterion generalizes the known ample cone for Hilbert modular and $U(2)$-Shimura varieties. The proof develops the machinery of the description of certain Ekedahl--Oort strata, a geometric Jacquet--Langlands correspondence between strata of unitary Shimura varieties with different signatures, and the construction of stratum Hasse invariants, and introduced a way to systematically deal with combinatorical data in the higher rank case.

New Gosper-type Lambert series identities of levels 12 and 16

math.NT

v3

We derive new Gosper-type Lambert series identities of levels $12$ and $16$ using certain sums of generalized $\eta$-quotients on the genus zero congruence subgroups $\Gamma_0(12)$ and $\Gamma_0(16)$.

L\'{e}vy-Khintchine Theorems: effective results and central limit theorems

math.NT

math.DS

math.PR

v4

The L\'evy-Khintchine theorem is a classical result in Diophantine approximation that describes the asymptotic growth of the denominators of convergents in the continued fraction expansion of a typical real number. An effective version of this theorem was proved by Phillip and Stackelberg (\textit{Math. Annalen}, 1969) and Central Limit Theorems were proved by several authors \cites{Ibragimov, Misevicius, Morita, Vallee}. In this work, we develop a new approach towards quantifying the L\'evy-Khintchine theorem. Our methods apply to the setting of higher-dimensional simultaneous Diophantine approximation, thereby providing an effective version of a theorem of Cheung and Chevallier (\textit{Annales scientifiques de l'ENS}, 2024). Further, we prove a Central Limit Theorem for best approximations in all dimensions. Unlike previous approaches to the one-dimensional problem, our approach relies on techniques from homogeneous dynamics.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 3: contribution of the elliptic part

math.NT

math.RT

v3

We continue to work on \emph{Beyond Endoscopy} for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification at $S = \{\infty, q_1, \dots, q_r\}$ (where $2 \in S$), generalizing the final step of Altu\u{g}'s work in the unramified setting. We derive an explicit asymptotic formula for the elliptic part when summing over $n2$, directly generalizing Altu\u{g}'s final result. Our approach differs entirely from Altu\u{g}'s: We apply a second Poisson summation with respect to the determinant, obtaining a formula on the Hitchin-Steinberg base $\mathfrak{g}/\!/ \mathsf{G}$. By changing variables from $(T, N)$ to $(T, \Delta)$ on $\mathfrak{g}/\!/ \mathsf{G}$, we perform analysis in the new coordinates.

On quaternionic ordinary families of modular forms and $p$-adic $L$-functions

math.NT

v3

We use Serre--Tate expansions of modular forms to construct power series attached to quaternionic ordinary families of modular forms. We associate to these power series a big $p$-adic $L$-function interpolating the $p$-adic $L$-functions constructed by Burungale and Magrone at classical specializations. A crucial ingredient is the generalization of some results of Ohta to the quaternionic setting.

Quaternionic families of Heegner points and $p$-adic $L$-functions

math.NT

v3

Following up a previous article of the authors which studies the interpolation of certain anticyclotomic $p$-adic $L$-functions associated to quaternionic modular forms in a Hida family, we extend the work of F. Castella on the interpolation and specialization of big Heegner points to the quaternionic setting. We prove an explicit reciprocity law relating the big $p$-adic $L$-function to the big Heegner points in this quaternionic setting.

On new identities of Jacobi sums and related cyclotomic matrices

math.NT

v4

In this paper, using some arithmetic properties of Jacobi sums, we investigate some products involving Jacobi sums and reveal the connections between these products and certain cyclotomic matrices. In particular, as an application of our main results, we confirm a conjecture posed by Z.-W. Sun in 2019, and obtain a stronger result.

$L^q$-norm bounds for arithmetic eigenfunctions via microlocal Kakeya-Nikodym estimate

math.NT

math.AP

v3

Let $X$ be a compact arithmetic congruence hyperbolic surface, and let $\psi$ be an $L^2$-normalized Hecke-Maass form on $X$ with sufficiently large spectral parameter $\lambda$. We give a new proof to obtain a power saving for the global $L^6$-norm $\|\psi\|_{L^6(X)}\lesssim_\varepsilon\lambda^{\frac{5}{36}+\varepsilon}$ over the local bound $\|\psi\|_{L^6(X)}\lesssim\lambda^{\frac{1}{6}}$ of Sogge. Our method uses a microlocal decomposition for $\psi$ and reduces the $L^6$-norm problem to microlocal Kakeya-Nikodym estimates for $\psi$, and we establish improved microlocal Kakeya-Nikodym estimates via arithmetic amplification developed by Iwaniec and Sarnak.

Analytic Study of $p$-Bessel Functions: Fractional Calculus, Integral Representations, and Complex Extensions

math.NT

v3

We present a systematic analytic study of the $p$-Bessel functions $\mathcal{J}_{\omega,\varphi}^{[p]}$, a novel class of generalized Bessel functions arising from Fourier analysis on planar domains bounded by $p$-circles, including astroid-type shapes with $0

Improved Bounds for 3-Progressions

math.NT

math.CO

v2

We prove that if $A\subset \{1,\dots,N\}$ has no nontrivial three-term arithmetic progressions, then $|A|\leq \exp(-c\log(N)^{1/6}\log\log(N)^{-1})N$ for some absolute constant $c>0$. To obtain this bound, we use an iterated variant of the sifting argument of Kelley and Meka, as well as an improved bootstrapping argument for Croot-Sisask almost-periodicity due to Bloom and Sisask.

Galois representation of the product of two Drinfeld modules of generic characteristic

math.NT

v2

In this paper, we study the Galois representations attached to products of Drinfeld modules. As an analogue of Serre's classical result on the images of Galois representations associated with products of elliptic curves, we prove that for any finite set of primes, the image of the corresponding product representation is sufficiently large, in the sense that it is commensurable with a subgroup defined by a natural determinant condition. Our approach combines Pink's minimal model theory for compact subgroups of linear groups over local fields with explicit reciprocity laws for global function fields.

Optimal Shifting Method in Dirichlet's divisor problem

math.NT

v2

In this paper, a new method for investigating Dirichlet's divisor problem is developed. For this purpose, integer points under the graph of a hyperbola are studied. Since many investigations in this direction focus on direct estimates of trigonometric sums and are not suitable for studying means, we shall consider shifts with respect to various parameters to define an optimal one. The method allows for obtaining the best possible estimates in the classical divisor problem.

On optimization on ravine functions. Minkowski-Cohn moduli surface in Cohn parameterization

math.NT

v2

This paper presents a brief overview of ravine functions using the example of the Minkowski-Cohn moduli surface from the point of view of optimization on it. Elements of representation and solution of the minimization problem at a point are presented.

Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic

math.NT

v2

In this paper, we prove that if the Frobenius traces agree at all but finitely many places, then two $l$-adic Galois representations, associated to rank-$2$ non-CM Drinfeld modules of generic characteristic, are isomorphic. As a generalization, we show that the "Frobenius trace equality at all but finitely many places forces isomorphism" between two Galois representations over a local field of positive characteristic holds under an absolute irreducibility assumption. Moreover, we formulate and prove a function field analogue of strong multiplicity one property for semisimple Galois representations over a local field of positive characteristic.

Super approximation for $\text{SL}_2\times \text{SL}_2$ and $\text{ASL}_2$

math.GR

math.CO

math.DS

math.NT

v5

Let $S\subset \text{SL}_2(\mathbb Z)\times \text{SL}_2(\mathbb Z)$ or $\text{SL}_2(\mathbb Z)\ltimes \mathbb Z^2$ be finite symmetric and assume $S$ generates a group $G$ which is a Zariski-dense subgroup $\text{SL}_2(\mathbb Z)\times \text{SL}_2(\mathbb Z)$ or $\text{SL}_2(\mathbb Z)\ltimes \mathbb Z^2$. We prove that the Cayley graphs $$\{\mathcal Cay(G(\text{mod } q), S (\text{mod } q))\}_{q\in \mathbb Z}$$ form a family of expanders.

Hopf--Galois structures of cyclic type on parallel extensions of prime power degree

math.GR

math.NT

math.RA

v2

Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.

Existential fragments of theories of henselian valued fields

math.LO

math.NT

v2

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the equicharacteristic case, and the $\exists_n$-fragment in the residue characteristic zero case. For example, we obtain an unconditional axiomatization (and thereby decidability) of the $\exists_3$-theory of $\mathbb{F}_{q}(\!(t)\!)$ in the language of valued fields with a parameter for $t$.

Approximating parametric suprema for constructible and power-constructible functions

math.AG

math.LO

math.NT

v2

We prove that one may approximate parametric suprema of constructible and power-constructible functions using functions within the same class. This resolves a conjecture by Adiceam and Cluckers, which was posited after studying a question posed by Sarnak. We apply our result to prove that a certain subclass of Cexp-class distributions is tempered and to make uniform a bound concerning pushforward measures.

An analogue of Rogers' theorem on sieving in commutative rings

math.AC

math.NT

v2

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings with linearly ordered ideals.