We gratefully acknowledge support from
the Simons Foundation and member institutions.

Number Theory

New submissions

[ total of 20 entries: 1-20 ]
[ showing up to 1000 entries per page: fewer | more ]

New submissions for Fri, 15 Oct 21

[1]  arXiv:2110.06973 [pdf, other]
Title: Bounds on entries in Bianchi group generators
Authors: Daniel Martin
Comments: 22 pages, 6 figures
Subjects: Number Theory (math.NT)

Upper and lower bounds are given for the maximum Euclidean curvature among faces in Bianchi's fundamental polyhedron for $PSL_2(O)$ in the upper-half space model of hyperbolic space, where $O$ is an imaginary quadratic ring of integers with discriminant $\Delta$. We prove these bounds are asymptotically within $(\log |\Delta|)^{8.54}$ of one another. This improves on the previous best upper-bound, which is roughly off by a factor between $|\Delta|^2$ and $|\Delta|^{5/2}$ depending on the smallest prime dividing $\Delta$. The gap between our upper and lower bounds is determined by an analog of Jacobsthal's function, which is introduced here for imaginary quadratic fields.

[2]  arXiv:2110.07001 [pdf, ps, other]
Title: Higher theta series for unitary groups over function fields
Comments: Comments welcome!
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

In previous work, we defined certain virtual fundamental classes for special cycles on the moduli stack of Hermitian shtukas, and related them to the higher derivatives of non-singular Fourier coefficients of Siegel-Eisenstein series. In the present article, we construct virtual fundamental classes in greater generality, including those expected to relate to the higher derivatives of singular Fourier coefficients. We assemble these classes into "higher" theta series, which we conjecture to be modular. Two types of evidence are presented: structural properties affirming that the cycle classes behave as conjectured under certain natural operations such as intersection products, and verification of modularity in several special situations. One innovation underlying these results is a new approach to special cycles in terms of derived algebraic geometry.

[3]  arXiv:2110.07241 [pdf, ps, other]
Title: Siegel modular forms of degree two and level five
Comments: 11 pages
Subjects: Number Theory (math.NT)

We construct a ring of meromorphic Siegel modular forms of degree 2 and level 5, with singularities supported on an arrangement of Humbert surfaces, which is generated by four singular theta lifts of weights 1, 1, 2, 2 and their Jacobian. We use this to prove that the ring of holomorphic Siegel modular forms of degree 2 and level $\Gamma_0(5)$ is minimally generated by eighteen modular forms of weights 2, 4, 4, 4, 4, 4, 6, 6, 6, 6, 10, 11, 11, 11, 13, 13, 13, 15.

[4]  arXiv:2110.07271 [pdf, ps, other]
Title: Proofs, generalizations and analogs of Menon's identity: a survey
Authors: László Tóth
Comments: 46 pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO); Group Theory (math.GR)

Menon's identity states that for every positive integer $n$ one has $\sum (a-1,n) = \varphi(n) \tau(n)$, where $a$ runs through a reduced residue system (mod $n$), $(a-1,n)$ stands for the greatest common divisor of $a-1$ and $n$, $\varphi(n)$ is Euler's totient function and $\tau(n)$ is the number of divisors of $n$. Menon's identity has been the subject of many research papers, also in the last years. We present detailed, self contained proofs of this identity by using different methods, and point out those that we could not identify in the literature. We survey the generalizations and analogs, and overview the results and proofs given by Menon in his original paper. Some historical remarks and an updated list of references are included as well.

[5]  arXiv:2110.07386 [pdf, ps, other]
Title: Fine Selmer groups and ideal class groups
Comments: 41 pages
Subjects: Number Theory (math.NT)

Let $K_\infty/K$ be a uniform $p$-adic Lie extension. We compare several arithmetic invariants of Iwasawa modules of ideal class groups on the one side and fine Selmer groups of abelian varieties on the other side.
If $K_\infty$ contains sufficiently many $p$-power torsion points of $A$, then we can compare the ranks and the Iwasawa $\mu$-invariants of these modules over the Iwasawa algebra. In several special cases (e.g. multiple $\mathbb{Z}_p$-extensions), we can also prove relations between suitable generalisations of the Iwasawa $\lambda$-invariant of the two types of Iwasawa modules.
In the literature, different kinds of Iwasawa $\lambda$-invariants have been introduced for ideal class groups and Selmer groups. We define analogues of both concepts for fine Selmer groups and compare the resulting invariants.
In order to obtain some of our main results, we prove new asymptotic formulas for the growth of ideal class groups and fine Selmer groups in multiple $\mathbb{Z}_p$-extensions.

[6]  arXiv:2110.07400 [pdf, ps, other]
Title: On the sum of the values of a polynomial at natural numbers which form a decreasing arithmetic progression
Authors: Bakir Farhi
Comments: 17 pages
Subjects: Number Theory (math.NT)

The purpose of this paper consists to study the sums of the type $P(n) + P(n - d) + P(n - 2 d) + \dots$, where $P$ is a real polynomial, $d$ is a positive integer and the sum stops at the value of $P$ at the smallest natural number of the form $(n - k d)$ ($k \in \mathbb{N}$). Precisely, for a given $d$, we characterize the $\mathbb{R}$-vector space ${\mathscr{E}}_d$ constituting of the real polynomials $P$ for which the above sum is polynomial in $n$. The case $d = 2$ is studied in more details. In the last part of the paper, we approach the problem through formal power series; this inspires us to generalize the spaces $\mathscr{E}_d$ and the underlying results. Also, it should be pointed out that the paper is motivated by the curious formula: $n^2 + (n - 2)^2 + (n - 4)^2 + \dots = \frac{n (n + 1) (n + 2)}{6}$, due to Ibn al-Banna al-Marrakushi (around 1290).

[7]  arXiv:2110.07407 [pdf, ps, other]
Title: A conjecture of Zagier and the value distribution of quantum modular forms
Comments: 48 pages
Subjects: Number Theory (math.NT); Geometric Topology (math.GT)

In his influential paper on quantum modular forms, Zagier developed a conjectural framework describing the behavior of certain quantum knot invariants under the action of the modular group on their argument. More precisely, when $J_{K,0}$ denotes the colored Jones polynomial of a knot $K$, Zagier's modularity conjecture describes the asymptotics of the quotient $J_{K,0} (e^{2 \pi i \gamma(x)}) / J_{K,0}(e^{2 \pi i x})$ as $x \to \infty$ along rationals with bounded denominators, where $\gamma \in \mathrm{SL}(2,\mathbb{Z})$. This problem is most accessible for the figure-eight knot $4_1$, when the colored Jones polynomial has an explicit expression in terms of the $q$-Pochhammer symbol. Zagier also conjectured that the function $h(x) = \log (J_{4_1,0} (e^{2 \pi i x}) / J_{4_1,0}(e^{2 \pi i /x}))$ can be extended to a function on $\mathbb{R}$ which is continuous at irrationals. In the present paper, we prove Zagier's continuity conjecture for all irrationals which have unbounded partial quotients in their continued fraction expansion. In particular, the continuity conjecture holds almost everywhere on the real line. We also establish a smooth approximation of $h$, uniform over all rationals, in accordance with the modularity conjecture. As an application, we find the limit distribution (after a suitable centering and rescaling) of $\log (J_{4_1,0}(e^{2 \pi i x}))$, when $x$ ranges over all reduced rationals in $(0,1)$ with denominator at most $N$, as $N \to \infty$, thereby confirming a conjecture of Bettin and Drappeau.

[8]  arXiv:2110.07452 [pdf, ps, other]
Title: On maximal and minimal hypersurfaces of Fermat type
Comments: Comments are welcome!
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

Let $\mathbb{F}_q$ be a finite field with $q=p^n$ elements. In this paper, we study the number of $\mathbb{F}_q$-rational points on the affine hypersurface $\mathcal X$ given by $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$, where $b\in\mathbb{F}_q^*$. A classic well-konwn result from Weil yields a bound for such number of points. This paper presents necessary and sufficient conditions for the maximality and minimality of $\mathcal X$ with respect to Weil's bound.

[9]  arXiv:2110.07457 [pdf, other]
Title: From sum of two squares to arithmetic Siegel-Weil formulas
Authors: Chao Li
Comments: 5 figures, 4 tables. Comments welcome!
Subjects: Number Theory (math.NT)

The main goal of this expository article is to survey recent progress on the arithmetic Siegel-Weil formula and its applications. We begin with the classical sum of two squares problem and put it in the context of the Siegel-Weil formula. We then motivate the geometric and arithmetic Siegel-Weil formula using the classical example of the product of modular curves. After explaining the recent result on the arithmetic Siegel-Weil formula for Shimura varieties of arbitrary dimension, we discuss some aspects of the proof and its application to the arithmetic inner product formula and the Beilinson-Bloch conjecture. Rather than intended to be a complete survey of this vast field, this article focuses more on examples and background to provide easier access to the recent works [LZ,LZ21, LL, LL21].

Cross-lists for Fri, 15 Oct 21

[10]  arXiv:2110.07176 (cross-list from math.CO) [pdf, ps, other]
Title: Rigidity of maximum cliques in pseudo-Paley graphs from unions of cyclotomic classes
Comments: 33 pages
Subjects: Combinatorics (math.CO); Number Theory (math.NT)

Blokhuis showed that Paley graphs with square order have the Erd\H{o}s-Ko-Rado (EKR) property in the sense that all maximum cliques are canonical. In our previous work, we extended the EKR property of Paley graphs to certain Peisert graphs and generalized Peisert graphs. In this paper, we propose a conjecture which generalizes the EKR property of Paley graphs, and can be viewed as an analogue of Chv\'atal's Conjecture for families of set systems. As a partial progress, we prove that maximum cliques in pseudo-Paley graphs have a rigid structure.

[11]  arXiv:2110.07556 (cross-list from math.AP) [pdf, other]
Title: Integer superharmonic matrices on the $F$-lattice
Authors: Ahmed Bou-Rabee
Comments: 83 pages, 34 figures; comments appreciated
Subjects: Analysis of PDEs (math.AP); Number Theory (math.NT); Probability (math.PR)

We prove that the set of quadratic growths achievable by integer superharmonic functions on the $F$-lattice, a periodic subgraph of the square lattice with oriented edges, has the structure of an overlapping circle packing. The proof recursively constructs a distinct pair of recurrent functions for each rational point on a hyperbola. This proves a conjecture of Smart (2013) and completely describes the scaling limit of the Abelian sandpile on the $F$-lattice.

Replacements for Fri, 15 Oct 21

[12]  arXiv:1905.04364 (replaced) [pdf, ps, other]
Title: Ax-Schanuel for $GL_n$
Authors: Georgios Papas
Comments: Comments are welcome!
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[13]  arXiv:2003.06057 (replaced) [pdf, ps, other]
Title: An arithmetic zeta function respecting multiplicities
Authors: Lukas Prader
Comments: 25 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
[14]  arXiv:2103.09795 (replaced) [pdf, ps, other]
Title: Improved discrete restriction for the parabola
Comments: 21 pages; revised version incorporating referee comments
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA)
[15]  arXiv:2103.12659 (replaced) [pdf, ps, other]
Title: Additive energy and a large sieve inequality for sparse sequences
Comments: In this new version Roger C. Baker was added as a coauthor. An application of our main result to primes in progressions with Piatetski-Shapiro moduli is now included
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[16]  arXiv:2105.09130 (replaced) [pdf, ps, other]
Title: Wide moments of $L$-functions I: Twists by class group characters of imaginary quadratic fields
Comments: 33 pages, minor changes in the introduction
Subjects: Number Theory (math.NT)
[17]  arXiv:2108.08572 (replaced) [pdf, ps, other]
Title: On a Popular Diophantine Norm Equation
Authors: Preda Mihailescu
Comments: Submitted, under review
Subjects: Number Theory (math.NT)
[18]  arXiv:2108.09410 (replaced) [pdf, ps, other]
Title: Analytic twists of $\rm GL_2\times\rm GL_2$ automorphic forms
Comments: 30 pages. Comments welcome! arXiv admin note: text overlap with arXiv:1912.09772
Subjects: Number Theory (math.NT)
[19]  arXiv:2110.03651 (replaced) [pdf, ps, other]
Title: New type series for powers of $π$
Authors: Zhi-Wei Sun
Comments: 45 pages. Add Theorem 1.4 and its proof
Subjects: Number Theory (math.NT); Combinatorics (math.CO)
[20]  arXiv:2110.06669 (replaced) [pdf, ps, other]
Title: Inequities in the Shanks-Renyi prime number race over function fields
Authors: Youssef Sedrati
Comments: 47 pages
Subjects: Number Theory (math.NT)
[ total of 20 entries: 1-20 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2110, contact, help  (Access key information)