Number Theory [math.NT]

On the efficient computation of Fourier coefficients of eta-quotients
math.NT


Adrian Barquero-Sanchez, Juan Pablo De Rasis, Nicolás Sirolli, Jean Carlos Villegas-Morales

We give formulas for computing efficiently the generalized Kloosterman sums appearing in the Hardy-Ramanujan-Rademacher expansions of the Fourier coefficients of general eta-quotients given by Sussman and Chern, as well as explicit bounds for the tails of these series.

On 2-color partitions where one of the colors is multiples of $7^k$
math.NT


D. S. Gireesh, Shivashankar C., HemanthKumar B

In this work, we investigate the arithmetic properties of $p_{1,7^k}(n)$, which counts 2-color partitions of $n$ where one of the colors appears only in parts that are multiples of $7^k$. By constructing generating functions for $p_{1,7^k}(n)$ across specific arithmetic progressions, we establish a set of Ramanujan-type infinite family of congruences modulo powers of $7$.

On products of sets of natural density one
math.NT


Sandro Bettin, Matteo Bordignon, Alessandro Fazzari

In a previous work, Bettin, Koukoulopoulos, and Sanna prove that if two sets of natural numbers $A$ and $B$ have natural density $1$, then their product set $A \cdot B := \{ab : a \in A, b \in B\}$ also has natural density $1$. They also provide an effective rate and pose the question of determining the optimal rate. We make progress on this question by constructing a set $A$ of density 1 such that $A\cdot A$ has a ''large'' complement.

On anticyclotomic Selmer groups of elliptic curves
math.NT
math.AG


Matteo Longo, Jishnu Ray, Stefano Vigni

Let $p\geq5$ be a prime number and let $K$ be an imaginary quadratic field where $p$ is unramified. Under mild technical assumptions, in this paper we prove the non-existence of non-trivial finite $\Lambda$-submodules of Pontryagin duals of signed Selmer groups of a $p$-supersingular rational elliptic curve over the anticyclotomic $\mathbb Z_p$-extension of $K$, where $\Lambda$ is the corresponding Iwasawa algebra. In particular, we work under the assumption that our plus/minus Selmer groups have $\Lambda$-corank $1$, so they are not $\Lambda$-cotorsion. Our main theorem extends to the supersinular case analogous non-existence results by Bertolini in the ordinary setting; furthermore, since we cover the case where $p$ is inert in $K$, we refine previous results of Hatley-Lei-Vigni, which deal with $p$-supersingular elliptic curves under the assumption that $p$ splits in $K$.

Finiteness and duality of cohomology of $(\varphi,\Gamma)$-modules and the 6-functor formalism of locally analytic representations
math.NT


Yutaro Mikami

Finiteness and duality of cohomology of families of $(\varphi,\Gamma)$-modules were proved by Kedlaya-Pottharst-Xiao. In this paper, we study solid locally analytic representations introduced by Rodrigues Jacinto-Rodr\'iguez Camargo in terms of analytic stacks and 6-functor formalisms, which are developed by Clausen-Scholze, Heyer-Mann, respectively. By using this, we will provide a generalization of the result of Kedlaya-Pottharst-Xiao, giving a new proof for cases already proved there.

The de Rham cohomology of covers with cyclic $p$-Sylow subgroup
math.AG
math.NT


Jędrzej Garnek, Aristides Kontogeorgis

Let $X$ be a smooth projective curve over a field $k$ with an action of a finite group $G$. A well-known result of Chevalley and Weil describes the $k[G]$-module structure of cohomologies of $X$ in the case when the characteristic of $k$ does not divide $\# G$. It is unlikely that such a formula can be derived in the general case, since the representation theory of groups with non-cyclic $p$-Sylow subgroups is wild in characteristic $p$. The goal of this article is to show that when $G$ has a cyclic $p$-Sylow subgroup, the $G$-structure of the de Rham cohomology of $X$ is completely determined by the ramification data. In principle, this leads to new formulas in the spirit of Chevalley and Weil for such curves. We provide such an explicit description of the de Rham cohomology in the cases when $G = \mathbb Z/p^n$ and when the $p$-Sylow subgroup of $G$ is normal of order $p$.

Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic
math.DS
math.AG
math.NT


Junyi Xie, She Yang

We use height arguments to prove two results about the dynamical Mordell-Lang problem. We are more interested in the positive characteristic case due to our original purpose. (i) For an endomorphism of a projective variety, the return set of a dense orbit into a curve is finite if any cohomological Lyapunov exponent of any iteration is not an integer. (ii) Let $f\times g:X\times C\rightarrow X\times C$ be an endomorphism in which $f$ and $g$ are endomorphisms of a projective variety $X$ and a curve $C$, respectively. If the degree of $g$ is greater than the first dynamical degree of $f$, then the return sets of the system $(X\times C,f\times g)$ have the same form as the return sets of the system $(X,f)$. Using the second result, we deal with the case of split endomorphisms of products of curves, for which the degrees of the factors are pairwise distinct. In the cases that the height argument cannot be applied, we find examples which show that the return set can be very complicated -- more complicated than experts once imagine -- even for endomorphisms of tori of zero entropy.

Density of Elliptic Curves over Number Fields with Prescribed Torsion Subgroups
math.NT
v3


Bo-Hae Im, Hansol Kim

Let $K$ be a number field. For positive integers $m$ and $n$ such that $m\mid n$, we let $\mathscr{S}_{m,n}$ be the set of elliptic curves $E/K$ defined over $K$ such that $E(K)_{\operatorname{tors}}\supseteq \mathscr{T}\cong \mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/n\mathbb{Z}$. We prove that if the genus of the modular curve $X_{1}(m,n)$ is $0$, then `almost all' $E\in \mathscr{S}_{m,n}$ satisfy that $E(K)_{\operatorname{tors}}= \mathscr{T}$, i.e., not larger than $\mathscr{T}$. In particular, if $m=n=1$, this result generalizes Duke's theorem over $\mathbb{Q}$ to arbitrary number fields $K$ for the trivial torsion subgroup.

Log-concavity for partitions without sequences
math.NT
math.CO
v2


Lukas Mauth

We prove log-concavity for the function counting partitions without sequences. We use an exact formula for a mixed-mock modular form of weight zero, explicit estimates on modified Kloosterman sums and analytic techniques. Finally, we establish the higher Tur\'an inequalities in an asymptotic form of the aforementioned partition function using a well established criterion of Griffin, Ono, Rolen, and Zagier on the zeros of Jensen polynomials.

Exact formula for 1-lower run overpartitions
math.NT
math.CO
v2


Lukas Mauth

We are going to show an exact formula for lower $1$-run overpartitions. The generating function is of mixed mock-modular type with an overall weight $0.$ We will apply an extended version of the classical Circle Method. The approach requires bounding modified Kloosterman sums and Mordell integrals.

On obstructions to the Euler system method for Rankin-Selberg convolutions
math.NT
v2


Elie Studnia

To apply the Euler system method to a $p$-adic Galois representation $T$, one needs the existence of a $\sigma \in G_{\mathbb{Q}(\mu_{p^{\infty}})}$ such that $V/(\sigma-1)V$ is free of rank one over the coefficient ring: we say that such a $\sigma$ is an Euler-suitable element for $V$. Given a non-CM classical newform $f$ of weight $k \geq 2$ and character $\chi$, a classical newform $g$ of weight $1$ and character $\psi$, and a prime ideal $\mathfrak{p}$ of residue characteristic $p$ of a sufficiently large number field, we consider the situation where $V=V_{f,g,\mathfrak{p}}$ is the tensor product of the $\mathfrak{p}$-adic representations attached to $f$ and $g$. D. Loeffler asked the following question: is is true that if $\chi\psi \neq 1$, then there is an Euler-suitable element for $V_{f,g,\mathfrak{p}}$ for all but finitely many $\mathfrak{p}$? He gave a positive answer when $f,g$ had coprime conductors. We give several weaker sufficient conditions to answer this question in the affirmative. As an application, we remove some of the technical assumptions in the version of the Bloch-Kato Conjecture proved in arXiv:1503.02888. We also show that the general answer to the question is negative, by constructing a family of counter-examples, and giving additional counter-examples that do not fit in this family.

Asymptotic behavior for twisted traces of self-dual and conjugate self-dual representations of $\mathrm{GL}_n$
math.NT
math.RT
v3


Yugo Takanashi, Satoshi Wakatsuki

In this paper, we study the asymptotic behavior of the sum of twisted traces of self-dual or conjugate self-dual discrete automorphic representations of $\mathrm{GL}_n$ for the level aspect of principal congruence subgroups under some conditions. Our asymptotic formula is derived from the Arthur twisted trace formula, and it is regarded as a twisted version of limit multiplicity formula on Lie groups. We determine the main terms for the asymptotic behavior under different conditions, and also obtain explicit forms of their Fourier transforms, which correspond to endoscopic lifts from classical groups. Its main application is the self-dual (resp. conjugate self-dual) globalization of local self-dual (resp. conjugate self-dual) representations of $\mathrm{GL}_n$. We further derive an automorphic density theorem for conjugate self-dual representations of $\mathrm{GL}_n$.

Gaussian hypergeometric functions and cyclotomic matrices
math.NT
v3


Hai-Liang Wu, Li-Yuan Wang

Let $q=p^n$ be an odd prime power and let $\mathbb{F}_q$ be the finite field with $q$ elements. Let $\widehat{\mathbb{F}_q^{\times}}$ be the group of all multiplicative characters of $\mathbb{F}_q$ and let $\chi$ be a generator of $\widehat{\mathbb{F}_q^{\times}}$. In this paper, we investigate arithmetic properties of certain cyclotomic matrices involving nonzero squares over $\mathbb{F}_q$. For example, let $s_1,s_2,\cdots,s_{(q-1)/2}$ be all nonzero squares over $\mathbb{F}_q$. For any integer $1\le r\le q-2$, define the matrix $$B_{q,2}(\chi^r):=\left[\chi^r(s_i+s_j)+\chi^r(s_i-s_j)\right]_{1\le i,j\le (q-1)/2}.$$ We prove that if $q\equiv 3\pmod 4$, then $$\det (B_{q,2}(\chi^r))=\prod_{0\le k\le (q-3)/2}J_q(\chi^r,\chi^{2k})= \begin{cases} (-1)^{\frac{q-3}{4}}{\bf i}^nG_q(\chi^r)^{\frac{q-1}{2}}/\sqrt{q} & \mbox{if}\ r\equiv 1\pmod 2,\\ G_q(\chi^r)^{\frac{q-1}{2}}/q & \mbox{if}\ r\equiv 0\pmod 2, \end{cases}$$ where $J_q(\chi^r,\chi^{2k})$ and $G_q(\chi^r)$ are the Jacobi sum and the Gauss sum over $\mathbb{F}_q$ respectively.

A short-interval Hildebrand-Tenenbaum theorem
math.NT
v2


Jacques Benatar

In the late eighties, Hildebrand and Tenenbaum proved an asymptotic formula for the number of positive integers below $x$, having exactly $\nu$ distinct prime divisors: $\pi_{\nu}(x) \sim x \delta_{\nu}(x)$. Here we consider the restricted count $\pi_{\nu}(x,y)$ for integers lying in the short interval $(x,x+y]$. In this setting, we show that for any $\varepsilon >0$, the asymptotic equivalence \[ \pi_{\nu}(x,y) \sim y \delta_{\nu}(x)\] holds uniformly over all $1 \le \nu \le (\log x)^{1/3}/(\log \log x)^2$ and all $x^{17/30 + \varepsilon} \leq y \leq x$. The methods also furnish mean upper bounds for the $k$-fold divisor function $\tau_k$ in short intervals, with strong uniformity in $k$.

Arithmetic properties of MacMahon-type sums of divisors
math.NT
math.CO
v2


James A. Sellers, Roberto Tauraso

In this paper, we prove several new infinite families of Ramanujan--like congruences satisfied by the coefficients of the generating function $U_t(a,q)$ which is an extension of MacMahon's generalized sum-of-divisors function. As a by-product, we also show that, for all $n\geq 0$, $\overline{B}_3(15n+7)\equiv 0 \pmod{5}$ where $\overline{B}_3(n)$ is the number of almost $3$-regular overpartitions of $n$.

Non-vanishing of certain integral representations
math.NT
math.RT
v2


Akash Yadav

In this paper, we prove that there exist Whittaker and Schwartz functions such that the local Flicker integrals are non-vanishing for all complex values of $s$, and the local Bump-Friedberg integrals are non-vanishing for all complex pairs $(s_1,s_2)$. As a corollary, we determine the potential locations of poles for their corresponding partial $L$-functions.

On the asymptotics of certain colored partitions
math.NT
v2


Lukas Mauth

We will prove an infinite family of asymptotic formulas for the logarithm of certain two-colored partitions. An infinite sub-family of these asymptotics was posed as a conjecture by Guadalupe.

Finiteness of Pythagoras numbers of finitely generated real algebras
math.NT
math.RA
v3


Yi Ouyang, Qimin Song, Chenhao Zhang

In this paper, we establish two finiteness results and propose a conjecture concerning the Pythagoras number $P(A)$ of a finitely generated real algebra $A$. Let $X \hookrightarrow \mathbb{P}^n$ be an integral projective surface over $\mathbb{R}$, and let $s \in \Gamma(X,\mathcal{O}_X(1))$ be a nonzero section such that the boundary $\partial_{X(\mathbb{C})}\bigl(X_{s\neq 0}(\mathbb{R})\bigr)$, taken in the standard topology, is Zariski dense in $X_{s=0}$. We prove $P\bigl(\Gamma(X_{s\neq 0})\bigr)=\infty$. As a corollary, the Pythagoras numbers of integral smooth affine curves over $\mathbb{R}$ are shown to be unbounded. For any finitely generated $\mathbb{R}$-algebra $A$, if the Zariski closure of the real points of $\mathrm{Spec}(A)$ has dimension less than two, we demonstrate $P(A)<\infty$.

Finiteness of Powers of Two with All Even Digits
math.NT
math.DS
v2


Bogdan C. Dumitru

We study the problem of finding positive integers $n$ such that all the decimal digits of $2^n$ are even, i.e., belong to $\{0, 2, 4, 6, 8\}$. Computational checks up to $n = 10^{13}$ reveal the known cases $n = 1, 2, 3, 6, 11$ and no additional instances. We present a self-contained argument, based on equidistribution and a shrinking targets approach, showing there are only finitely many positive integers $n$ for which $2^n$ has all even decimal digits.

What is the Funniest Number? An investigation of numerical humor
math.NT
math.HO
v2


E. G. Pottebaum

In a preliminary study of numerical humor, we propose the Perceived Specificity Hypothesis (PSH). The PSH states that, for nonnegative integers < 100, the funniness of a number increases with its apparent precision. A survey of 68 individuals supports the veracity of this hypothesis and indicates that oddly specific numbers tend to be funniest. Our results motivate future study in this novel subfield.

Siegel modular forms of level (4,8) and weight two
math.NT
math.AG
v2


Eberhard Freitag, Riccardo Salvati Manni

We consider the space of Siegel modular forms of genus $g$ of weight two relative to the main congruence subgroup of level 2 and to Igusa's group $\Gamma_g(4, 8)$ and $\Gamma_g(2,4)$.One of the main results of this paper is that in the case $g\ge 8$ the space $[\Gamma_g[4,8],2]$ is generated by the products of 4 theta nullwerte. Thus this note can be considered as a completion of the example at the end of [Fr].

Mutual position of two smooth quadrics over finite fields
math.AG
math.CO
math.NT
v2


Shamil Asgarli, Chi Hoi Yip

Given two irreducible conics $C$ and $D$ over a finite field $\mathbb{F}_q$ with $q$ odd, we show that there are $q^2/4+O(q^{3/2})$ points $P$ in $\mathbb{P}^2(\mathbb{F}_q)$ such that $P$ is external to $C$ and internal to $D$. This answers a question of Korchm\'{a}ros. We also prove the analogous result for higher-dimensional smooth quadric hypersurfaces in $\mathbb{P}^{n-1}$ with $n$ odd, where the answer is $q^{n-1}/4+O(q^{n-\frac{3}{2}})$.

On the Quantum K-theory of Quiver Varieties at Roots of Unity
math.AG
hep-th
math-ph
math.MP
math.NT
math.RT
v3


Peter Koroteev, Andrey Smirnov

Let $\Psi(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ \Psi(\textbf{z},\textbf{a},q) \Psi\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=\zeta_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=\zeta_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$. Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.

A Sharper Upper Bound for the Separating Words Problem
cs.FL
math.NT
v2


Bogdan C. Dumitru

We show that for any two distinct words $ s_1, s_2 $ over an arbitrary alphabets, there exists a deterministic finite automaton with $ O(\log^2 n) $ states that accepts $ s_1 $ and rejects $ s_2 $. This improves the previous upper bound of $O(n^{1/3}\log^7 n)$

Independence of $\ell$
math.AG
math.KT
math.NT
v2


Denis-Charles Cisinski

We prove independence of $\ell$ for Betti numbers as well as for characteristic polynomials of motivically defined endomorphisms of $\ell$-adic cohomology. This long standing problem is solved through the construction of new comparison isomorphisms relating $\ell$-adic cohomology of a separated scheme of finite type over an algebraically closed field of positive characteristic with its rigid cohomology. Taking advantage of the description of categories of $\ell$-adic sheaves of geometric origin as categories of modules over $\ell$-adic cohomology in the stable category of motivic sheaves, these independence of $\ell$-results are promoted to independence of $\ell$ of suitable categories of $\ell$-adic sheaves themselves.