Number Theory [math.NT]

A connection between low-lying zeros and central values of $L$-functions

math.NT

We discuss the relation between statistics on low-lying zeros of $L$-functions and distribution of the associated central values. More precisely, we deduce explicit conditional lower bounds toward the Keating-Snaith conjecture (on the distribution of central values of families of $L$-functions) from partial results toward the Rudnick-Sarnak density conjecture (on the one-level density for the low-lying zeros of these $L$-functions). We show in fact that the same crucial ingredient occurs in the classical approaches for proving both results, providing the connection. We precisely determine the relation between the type of symmetry of the family, the allowed Fourier support in its distributional statement, and the quality of the lower bounds obtained.

Componentwise height bounds for polynomial value-set lifting

math.NT

math.AG

Let $f,g \in k[x]$ be nonconstant polynomials over a number field $k$. We count $S$-integer inputs $a$ for which $f(a)$ has a $k$-rational preimage under $g$, after removing the polynomial graph components $Y=h(X)$ with $f=g\circ h$. The main theorem gives componentwise height bounds. For a rational component of $f(X)-g(Y)=0$ with one geometric point at infinity and projection degree $d_X(C)$ to the $X$-line, the corresponding contribution has the sharp power-log order $B^{[k:\mathbb{Q}]/d_X(C)}(\log B)^{q_{k,S}}$, where $q_{k,S}=\mathrm{rk}\,\mathcal{O}_{k,S}^{\ast}=|S|-1$, precisely when its $X$-parametrization is $S$-active. Rational components with two geometric points at infinity contribute only polylogarithmically, and all other components contribute finitely many inputs. Over $\mathbb{Q}$, square-root growth after graph removal occurs exactly from active rational components with one geometric point at infinity and $d_X(C)=2$. We give an explicit thin exceptional set for the generic multiplicity theorem and prove that every square-root source forces $g$ to have an involutive affine symmetry.

Wieferich Primes and Monogenic Trinomials

math.NT

A prime $p$ is called a Wieferich prime if $2^{p-1}\equiv 1 \pmod{p^2}$. A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N\ge 2$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we show that ${\mathcal F}_p(x):=x^{2p}+2x^{p}+2$ is monogenic if and only if $p$ is not a Wieferich prime.

On Galois Embedding Problems Arising from 3-Torsion of Elliptic Curves

math.NT

We study Galois embedding problems arising from the 3-torsion of elliptic curves defined over $\mathbb{Q}$, extending the correspondence to all possible images of mod 3 Galois representations; namely, $\operatorname{GL}_2(\mathbb{F}_3),SD_{16},D_6,D_4$ and $C_2^2$. In the cyclotomic case, we show that solvability of these embedding problems is equivalent to the existence of infinitely many elliptic curves whose 3-division fields provide the corresponding solutions.

Large values of shifted mixed character sums

math.NT

math.CA

We consider sums of the form $$F_\chi(\alpha,\beta;\theta) := \sum_{\alpha p< 1}{\left|F_\chi(\alpha,\beta;\theta)\right|} \ll \sqrt{p}\log p, $$ generalizing an old result of Montgomery as well as a recent result of Iggidr in two aspects: we allow general non-principal characters $\chi$, and we consider incomplete mixed character sums.

Fields where torsion forms decompose

math.NT

Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more general study of weakly isotropic forms over henselian valued fields and over function fields in one variable.

Tautological modular forms of level two and degree two

math.AG

math.NT

We show how to use divisors on the projectivized Hodge bundle to construct special vector-valued modular forms and then apply invariant theory to construct all vector-valued Siegel modular forms of level two and degree two. Thus we construct all modular forms in terms of certain basic modular forms that are intimately connected to the moduli of curves of genus two.

Almost Affine Invariance Over Prime Fields: Green Problem 90

math.CO

math.DS

math.GR

math.NT

Let $A\subset \mathbb{F}_p$ with density 1/2. We call a set $A$ almost affine invariant under an affine transformation $\phi(x)=ax+b$ if \[|A \triangle \phi(A)| =o(p).\] We determine that, the threshold value of $K$ such that $A$ is almost affine invariant simultaneously under all $\phi(x)$ with $|a|, |b|\le K$ and $a\neq 0$, is $K=o(\log p)$. This solves Ben Green's Open Problem 90.

Nonexistence of certain classes of generalized bent functions: Revisiting the element partition method

math.CO

math.NT

We obtain new nonexistence results of two classes of generalized bent functions from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$ (called type $[n,q]$). The first class of results is based on applying the element partition method to the results of Feng and Feng and Liu, where $q=2 p_1^{e_1} p_{2}^{e_2}$, $p_1$ and $p_2$ are two primes. For the second class, we extend the idea of the element partition method and prove the nonexistence of generalized bent functions of type $[1,2 \cdot 3^{a} \cdot 7^{b}]$, where $a,b \in \mathbb{Z}_{>0}$.

A note on arithmetic progressions with restricted differences

math.CO

math.NT

In this note, we show how to adapt Tao's slice rank method to extend the Ellenberg--Gijswijt theorem on cap sets to the problem of forbidding arithmetic progressions with restricted differences. In particular, we show that if $q$ is an odd prime power, there is $\varepsilon_q>0$ such that if $S \subseteq \mathbb{F}_q$ with $0 \in S$ and $|S|>(q+1)/2$ and $A \subseteq \mathbb{F}_q^n$ contains no three-term arithmetic progression whose common difference is in $S^n$, then $|A| \leq q^{(1-\varepsilon_q)n}$.

When Does the Dice Sum Become Prime?

math.PR

math.CO

math.NT

Given a (possibly infinite) subset $A$ of the natural numbers, we ask how many times a fair six-sided die must be rolled until the rolled numbers add up to an element of $A$. Using a one-dimensional dynamic programming recursion together with truncation and rigorous error bounds, we compute the expected number of rolls efficiently and with very high accuracy. When $A$ is the set of prime numbers, the irregular distribution of primes makes it difficult to obtain explicit error estimates. Nevertheless, the density of primes implies that the associated survival probability decays exponentially fast, which enables highly accurate truncation estimates. As a result, our calculations yield significantly sharper estimates for this expectation and its higher moments than the original results of Conroy, Alon, and Malinovsky. In particular, we determine the expectation to more than $1000$ decimal places.

Graphs of Hecke operators in mixed ramification

math.AG

math.NT

math.RT

We study Hecke operators on moduli spaces of ramified $G$-bundles using the combinatorial language of Hecke graphs. We introduce a general notion of $\mathcal H$-ramification in the spirit of parahoric ramification, which depends on a choice of a divisor and subgroups of $G$ at every point of the divisor. Building on our previous work, we prove that, under mild regularity conditions, the action of a Hecke operator in the deep cusp of $\mathrm{Bun}_G$ in a highly complex ramification mimics an action in a much simpler ramification. This reduces the study to a smaller number of cases which, in particular, involve divisors supported at no more than two points. We demonstrate our methods by computing various examples for $G=\mathrm{PGL}_2$ and computing the dimensions of spaces of Hecke eigenforms for generic eigenvalues.

A Heuristic approach to the Iwasawa theory of elliptic curves

math.NT

math.PR

v2

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $\mu=0$ conjecture predicts that the Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ is cofinitely generated as a $\mathbb{Z}_p$-module. In this article we study this conjecture from a statistical perspective. We extend the heuristics of Poonen and Rains to obtain further evidence for Greenberg's conjecture. The key idea is that the vanishing of the $\mu$-invariant can be detected by the intersection $M_1\cap M_2$ of two Iwasawa modules $M_1, M_2$ with additional properties in a given inner product space. The heuristic is based on showing that there is a probability measure on the space of pairs $(M_1, M_2)$ respect to which the event that $M_1\cap M_2$ is finite happens with probability $1$.

Triality and adjoint lifting for GL(3)

math.NT

math.RT

v3

Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions of the resulting automorphic representations on GL(8) and discuss applications towards Ramanujan bounds for GL(3) and the strong Artin conjecture for certain 3-dimensional Galois representations.

Restriction estimates with sifted integers

math.NT

v3

Let $\mathcal{P}$ be a subset of primes and for each prime $p\in \mathcal{P}$, consider a subset $\mathcal{L}_p$ of $\mathbb{Z}/p\mathbb{Z}$. We provide restriction estimates with integers $\leq N$ sifted by $(\mathcal{L}_p)_{\substack{p\leq z\\ p\in \mathcal{P}}}$. This generalizes a result of Green-Tao [3] on the restriction estimates.

On the average number of representations of an integer as a sum of polynomials computed at prime values

math.NT

v2

We study the average number of representations of an integer $n$ as $n = \phi(n_{1}) + \dots + \phi(n_{j})$, for polynomials $\phi \in \mathbb{Z}[n]$ with $\partial\phi = k\ge 1$, $\operatorname{lead}(\phi) = 1$, $j \ge k$, where $n_{i}$ is a prime power for each $i \in \{1, \dots, j\}$. We extend the results of Languasco and Zaccagnini (2019), for $k=3$ and $j=4$, and of Cantarini, Gambini and Zaccagnini (2020), where they focused on monomials $\phi(n) = n^k$, $k\ge 2$ and $j=k, k + 1$.

On the integrality of modular functions over $\mathbb{Z}[j]$ and Kronecker-type congruences

math.NT

v2

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*} f_p(\tau)=f\left(\frac{\tau}{p}\right)\quad(\tau\in\mathbb{H}). \end{equation*} Let $j$ be the elliptic modular function. We show that if $p\equiv 1$ or $-1\Mod{N}$ and $f$ is integral over $\mathbb{Z}[j]$, then \begin{equation*} \frac{1}{p}(f_p^p-f)(f_p-f^p) \end{equation*} is also integral over $\mathbb{Z}[j]$. This result generalizes the classical Kronecker congruence relation for $j$.

On Primes of Ordinary and Hodge-Witt Reduction

math.AG

math.NT

v3

Jean-Pierre Serre has conjectured Conj. 3.2.1, in the context of abelian varieties, that there are infinitely primes of good ordinary reduction for a smooth, projective variety over a number field. We prove this conjecture for K3 surfaces Thm 3.3.1 (this is unpublished joint result with C. S. Rajan which was also independently established by Fedor Bogomolov and Yuri Zarhin by a different method). Any prime of ordinary reduction is also a prime of Hodge-Witt reduction but not conversely. Conj. 4.1.2 (of Joshi-Rajan) asserts the existence of infinitely many primes of Hodge-Witt reduction. The two conjectures are related but not equivalent (Thm 4.1.4). We prove the latter conjecture for abelian threefolds Thm 4.3.1 (joint with C. S. Rajan), and smooth Fano threefolds (Thm 4.4.9) and in Thm 4.5.1 for abelian varieties with complex multiplication. We show that the set of primes of ordinary and Hodge-Witt reduction can have different densities (Thm 4.6.11, Example 7.3.1). Thm 5.1.1, Thm 5.1.3 establish the existence of ordinary reductions for certain wonderful compactifications and a large class of configuration spaces. Thm 5.2.2 deals with the relationship between Conj. 4.1.2, Conj. 3.2.1 and the Musta\c{t}\v{a}-Srinivas conjectures and Thm 5.2.3 establishes this conjecture in some cases. Section 6 deals with existence of primes of non Hodge-Witt reductions and establishes this in a number of cases (Theorem 6.4.3), and Thm 7.2.1 asserts that for Fermat hypersurfaces of dimension $\geq$ 3 and degrees $\geq$ 211, at least 98% of the primes are of non Hodge-Witt (and hence non-ordinary) reduction and in the degree $\rightarrow\infty$ limit, almost all primes are of non Hodge-Witt (and hence non-ordinary) reduction. Section 7 provides a number of examples illustrating densities of ordinary, Hodge-Witt and non Hodge-Witt reductions.

Companions to the Andrews-Gordon and Andrews-Bressoud Identities and Recent Conjectures of Capparelli, Meurman, Primc, and Primc

math.CO

math.NT

math.RT

v3

We find bivariate generating functions for the $k=1$ cases of recently conjectured colored partition identities of Capparelli, Meurman, A. Primc, and M. Primc that are slight variants of the generating functions for the sum sides of the Andrews-Gordon and Andrews-Bressoud identities, relating them to recent work of Warnaar. This $k=1$ cases turn out to be equivalent to identities of Jing, Misra, and Savage. Finally, we provide bijections for these identities involving two-rowed cylindric partitions, in the spirit of Corteel.

Tropical intersection homology

math.AG

math.NT

v4

Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. Classically, for smooth complex proper toric varieties, the quotients by numerical equivalence with rational coefficients can be described geometrically as singular cohomology. They are also expressed in terms of tropical geometry, tropical cohomology, introduced by Itenberg-Katzarkov-Mikhalkin-Zharkov. This paper aims to generalize this to suitable pairs of smooth proper varieties and divisors by introducing a tropical analog of intersection homology.

Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences

math.CV

math.CO

math.NT

v2

This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.