Number Theory [math.NT]

Periodic Points of Power Maps in Finite Matrix Groups and Algebras

math.NT

math.GR

math.RA

Consider the power map $x\mapsto x^L$ for a prime $L\neq 2$ such that $L|q-1$ where $q$ is a power of a prime. We determine the periodic points under this map for $\operatorname{M}_n(q)$, the algebra of $n\times n $ matrices over a finite field of order $q$, and also for the group $\operatorname{GL}_n(q)=\operatorname{M}_n(q)^\times$. We compute the limit $ \lim\limits_{\substack{q\longrightarrow \infty\\v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{M}_\ell(q))\right|}{|\operatorname{M}_\ell(q)|}$ and consequently $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{GL}_\ell(q))\right|}{|\operatorname{GL}_\ell(q)|}$, where $v_L$ denotes the $L$-adic valuation. We also compute the quantity $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{Sp}_{2\ell}(q))\right|}{|\operatorname{Sp}_{2\ell}(q)|}$ and $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{U}_\ell(q))\right|}{|\operatorname{U}_\ell(q)|}$; turns out these two limiting values are same. In all the cases, it turns out that the regular semisimple elements play the role in determining the limiting values.

Higher Fitting ideals and the structure of anticyclotomic Shafarevich-Tate groups

math.NT

math.AG

Let $p$ be a prime number. We investigate a refined version of the Iwasawa main conjectures for rational elliptic curves (and more general Galois representations) over anticyclotomic $\mathbb Z_p$-extensions of imaginary quadratic fields, both in the definite and in the indefinite settings. In order to do this, we describe (under mild arithmetic assumptions) all the higher Fitting ideals of Pontryagin duals of Selmer and Shafarevich-Tate groups over anticyclotomic $\mathbb Z_p$-extensions in terms of the bipartite Euler systems introduced by Bertolini and Darmon. As an application of our work on Fitting ideals, we offer new results on the structure of (Pontryagin duals of) anticyclotomic Selmer and Shafarevich-Tate groups of elliptic curves.

Proof of a Conjecture on Overcolored Partition Restricted by Parity of the Parts

math.NT

In a recent paper, Thejitha and Fathima introduced the overcolored partition function $\bar{a}_{r,s}(n)$, which enumerates overpartitions in which even parts may appear in one of $r$ colors and odd parts in one of $s$ colors, for fixed integers $r,s \geq 1$. They also proposed several conjectures concerning families of congruences modulo powers of $2$ for specific arithmetic progressions of $\bar{a}_{r,s}(n)$. In this paper, we provide an elementary proof of this conjecture that relies only on classical $q$-series manipulations and properties of Ramanujan's theta function.

A geometric proof of Lagrange's theorem for continued fractions

math.NT

math.DS

math.GR

math.MG

math.RA

For regular continued fractions (CFs), points with finite expansions are exactly the rationals and, by Lagrange's theorem, points with eventually-periodic expansions are exactly the roots of non-degenerate quadratic equations with integer coefficients. We extend both results to proper and discrete Iwasawa CFs, including real, complex, 3D, quaternionic, octonionic, and Heisenberg CFs. Namely, the following three conditions are equivalent for a point $p$: $p$ has a finite expansion, $p\in \mathcal M(\infty)$ for the appropriate modular group $\mathcal M$, and $p$ is a fixed point of a parabolic transformation in $\mathcal M$. Eventually-periodic points correspond exactly to fixed points of loxodromic elements of $\mathcal M$, which can be interpreted as roots of non-degenerate quadratics using the Clifford Algebra formalism of Ahlfors. In particular, this provides a new geometric proof of Lagrange's theorem for nearest-integer real CFs and Hurwitz complex CFs. Lastly, we comment on generalizations of the identity $i+1/i=0$.

A vanishing theorem for residual Eisenstein cohomology

math.NT

math.RT

We study the residual Eisenstein cohomology of semisimple groups in the context of maximal parabolic subgroups which remain maximal over $\mathbb{R}$. Under certain general hypotheses, we show that these residual representations are cohomological one degree below middle, and one above; however, the classes above middle vanish in the full automorphic cohomology. The proof of this vanishing finds an explicit cochain which provides a primitive to the image of a nontrivial class from the cohomology of such a residual representation. This cochain is valued in regular Eisenstein series. Along the way, we study in detail the archimedean component of the relevant induced representation. In particular, we prove that it has a subrepresentation which is the sum of two discrete series, whose Harish-Chandra parameters we describe, and that the intertwining operator vanishes to order exactly $1$ on that subrepresentation.

Derived geometric Satake equivalence on the Beilinson-Drinfeld Grassmannian with one leg in mixed characteristic

math.NT

math.AG

math.RT

Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the derived version of this equivalence with one leg. Namely, we show that the derived category of etale sheaves on the local Hecke stack is equivalent to the category of L-group-equivariant perfect complexes over the symmetric algebra of the shifted and (-1)-Tate-twisted Lie algebra.

Disproof of the uniform Littlewood conjecture

math.NT

We show that the uniform Littlewood Conjecture (ULC) recently introduced by Bandi, Fregoli and Kleinbock is false. More precisely the counterexamples form a residual set, the method further suggests positive Hausdorff dimension. For a mildly twisted problem, we indeed separately show that the Hausdorff dimension is at least $1$. Moreover, we disprove a uniform version of the $p$-adic Littlewood problem, as well as some twisted weaker version of a more general $S$-arithmetic setting, for any proper subset (possible infinite) of primes $S$. The latter contrasts the classical (non-uniform) case where the answer is known to be affirmative when $S$ has at least two elements. The disproof of ULC, our main new result, is semi-constructive; the non-constructive part involves effective results on Zaremba's famous conjecture by Bourgain and Kontorovich, as well as estimates for the cardinality of product sets over finite fields.

The weight two and opposite sign cases for the Fourier relative trace formulas

math.NT

We provide an adelic relative trace formula proof to the Petersson/Bruggeman-Kuznetsov (PBK) formulas, specifically in the holomorphic case for $\kappa=2$ and the non-holomorphic case for $m_1m_2<0$. Given two sets of hypothesis on the non archimedean test function $f$, called the geometric and spectral assumptions, this approach allows us to obtain refined PBK formulas.

Jacobian graphs

math.NT

math.AG

math.CO

We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.

Sizes of Pre-Images of the Minimal Euclidean Function on the Gaussian Integers

math.NT

In 2023, the author presented the first computable minimal Euclidean function for a non-trivial number field. Along with a formula for $\phi_{\mathbb{Z}[i]}$, the minimal Euclidean function on the Gaussian inteers, the same paper introduced a geometric description for $\phi_{\mathbb{Z}[i]}^{-1}([0,n])$. This paper uses that construction to prove formulas for the size of the function's pre-images, or $|\phi_{\mathbb{Z}[i]}^{-1}([0,n])|$.

A Tate-Type Theorem for Crystalline Classes in the 1-Motivic Category

math.AG

math.NT

The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the 1-motivic range. Our starting point is a full-faithfulness theorem for Deligne 1-motives: after p-adic scalar extension, the Barsotti-Tate crystal functor identifies Hom-groups of 1-motives with Hom-groups in the category of filtered Dieudonne modules. Using the equivalence between the derived category of 1-motives up to isogeny and the 1-motivic part of Voevodsky's triangulated category of effective motives with rational coefficients, we extend this full-faithfulness result to the entire 1-motivic thick subcategory. More precisely, over a finite field $k = F_q$, we show that every Frobenius-compatible morphism between Barsotti-Tate crystalline realizations is induced by a unique 1-motivic morphism. Consequently, the Frobenius-invariant classes that occur in this range are already motivic and therefore algebraic. This yields an explicit linear-algebraic description of motivic morphisms and extension classes in level at most 1 in terms of Frobenius-equivariant maps preserving the Hodge filtration, giving a crystalline analogue of the principle that Tate classes are algebraic without invoking cycle conjectures in codimension at least 2.

Sharp threshold for universality of cokernels of classical random matrix models over the $p$-adic integers

math.CO

math.NT

math.PR

We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $\alpha_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $\alpha_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $\alpha_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erd\H{o}s-R\'enyi random graphs to a broader class of Erd\H{o}s-R\'enyi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.

Supercongruences for central trinomial coefficients

math.NT

math.CO

v3

For each $n=0,1,2,\ldots$, the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. Let $p>3$ be a prime, and let $n$ be any positive integer. In 2016, the second author conjectured that the quotient $(T_{pn}-T_n)/(pn)^2$ is always a $p$-adic integer. In this paper, we confirm this conjecture, and further prove that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $(\frac p3)$ is the Legendre symbol and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.

Geometric Satake equivalence in mixed characteristic and Springer correspondence

math.NT

math.AG

math.RT

v4

The geometric Satake equivalence and the Springer correspondence are closely related when restricting to small representations of the Langlands dual group. We prove this result for \'etale sheaves, including the case of the mixed characteristic affine Grassmannian, assuming a sufficient ramification. In this process, we construct a monoidal structure on the restriction functor of Satake categories. We construct also a canonical isomorphism between a mixed characteristic affine Grassmannian under a sufficient ramification and an equal characteristic one.

Relation between the two geometric Satake equivalence via nearby cycle

math.NT

math.AG

math.RT

v3

Fargues and Scholze proved the geometric Satake equivalence over the Fargues--Fontaine curve. On the other hand, Zhu proved the geometric Satake equivalence using a Witt vector affine Grassmannian. In this paper, we explain the relation between the two version of the geometric Satake equivalence via nearby cycle.

Two monoidal structures on Satake category in mixed characteristic

math.NT

math.AG

math.RT

v2

Fargues and Scholze proved the geometric Satake equivalence over the Fargues-Fontaine curve. This can be transferred to the geometric Satake equivalence concerning a Witt vector affine Grassmannian via nearby cycle. On the other hand, Zhu proved the geometric Satake equivalence concerning a Witt vector affine Grassmannian. In this paper, we explain the coincidence of these two geometric Satake equivalences, including the coincidence of the two symmetric monoidal structures on the Satake category.

On obstructions to the Euler system method for Rankin-Selberg convolutions

math.NT

v4

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.

Multi-height analysis of rational points of toric varieties

math.NT

math.AG

v2

We study the multi-height distribution of rational points of smooth, projective and split toric varieties over $\mathbf{Q}$ using the lift of the number of points to universal torsors.

Root numbers for twisted Fermat quotient curves

math.NT

v4

Let $\ell$ be an odd prime, $N \geq 1$ be an integer, and $\delta \geq 1$ be a $\ell^N$-th power free integer such that ${\rm ord}_{\ell}(\delta) = 0$ or $\ell \nmid {\rm ord}_{\ell}(\delta)$. In this paper, we give an explicit formula for the root number of the Hecke character associated with a certain quotient curve of the twisted Fermat curve $X^{\ell^N} + Y^{\ell^N} = \delta$. This result gives a generalization of Stoll (2002) and Shu (2021).

The cubic moment of $L$-functions for specified local component families

math.NT

v2

We prove Lindel\"of-on-average upper bounds on the cubic moment of central values of $L$-functions over certain families of $\operatorname{PGL}_2/\mathbb{Q}$ automorphic representations $\pi$ given by specifying the local representation $\pi_p$ of $\pi$ at finitely many primes. Such bounds were previously known in the case that $\pi_p$ belongs to the principal series or is a ramified quadratic twist of the Steinberg representation; here we handle the supercuspidal case. Crucially, we use new Petersson/Bruggeman-Kuznetsov forumulas for supercuspidal local component families recently developed by the authors. As corollaries, we derive Weyl-strength subconvex bounds for central values of $\operatorname{PGL}_2$ $L$-functions in the square-full aspect, and in the depth aspect, or in a hybrid of these two situations. A special case of our results is the Weyl-subconvex bound for all cusp forms of level $p^2$. Previously, such a bound was only known for forms that are twists from level $p$, which cover roughly half of the level $p^2$ forms.

Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

math.NT

v2

Let $\lambda$ be a self-dual Hecke character over a CM field $K$. Let $\mathfrak{p}$ be a degree one prime of the maximal totally real subfield $F$ of $K$ and $\Gamma_{\mathfrak{p}}$ the Galois group of the anticyclotomic $\mathbb{Z}_p$-extension of $K$ unramified outside $\mathfrak{p}$. We prove that $$L(1,\lambda\nu)\neq 0$$ for all but finitely many finite order characters $\nu$ of $\Gamma_\mathfrak{p}$ such that $\varepsilon(\lambda\nu)=+1$. For an ordinary prime $\ell$ with respect to the CM quadratic extension $K/F$, we also determine the $\ell$-adic valuation of the normalised Hecke $L$-values $L^{alg}(1,\lambda\nu)$. As an application, we complete Hsieh's proof of Eisenstein congruence divisibility towards the CM Iwasawa main conjecture over $K$. Our approach and results complement the prior work initiated by Hida's ideas on the arithmetic of Hilbert modular Eisenstein series, studied via mod $\ell$ analogue of the Andr\'e--Oort conjecture. The previous results established the non-vanishing only for infinitely many characters $\nu$. Our approach is based on the arithmetic of a CM modular form on a Shimura set, studied via arithmetic of the CM field and Ratner's ergodicity of unipotent flows.

Multi-height distribution of rational points of split toric stacks

math.NT

math.AG

v2

We study the distribution of rational points of split toric stacks with all heights bounded over $\mathbf{Q}$ by lifting the counting problem to an extended universal torsor under the torus associated with the orbifold Picard group. To achieve this, we prove the existence of an integral parametrization of rational points on toric stacks, which allows us to define a lift of the stacky height to this extended universal torsor. This allows us to define the Tamagawa number of a toric stack $X$ as an Euler product and, for a prime number $p$, to interpret the $p$-adic factor via a mass formula counting $\mathbf{F}_p$-points of the sectors of $X$.

Duality for higher local fields after Kato and Suzuki

math.NT

v2

A field $K$ is $d$-local if there exist fields $K=k_d,...,k_0$ with $k_{i+1}$ complete discrete valuation with residue field $k_i$, and $k_0$ finite of characteristic $p$. By work of Deninger and Wingberg, the Galois cohomology of such fields with finite coefficients satisfies a duality generalizing Tate duality when either $d=0$, $\mathrm{char} k_1=0$ or the coefficients have no $p$-torsion. Reviewing and synthesizing results of Suzuki and Kato, we obtain $p$-torsion duality statements under the weaker assumption that either $d\leq 1$ or $\mathrm{char} k_2=0$, as well as for varieties over $K$, where duality is stated in terms of locally compact Hausdorff topologies on the \'etale cohomology groups. More generally we obtain results for any perfect $k_0$, endowing the totally unramified cohomology groups of $K$ with the structure of ind-pro-quasi-algebraic $k_0$-groups.

On the variance of the digits of $1/p$

math.NT

v2

Let $p>3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $q$ of the period is the (multiplicative) order of $b$ mod $p$. In the case $q=p-1$ a formula for the variance of the digits of a period was given previously. This formula involves a Dedekind sum. We determine the variance in the case $q=(p-1)/2$. If $p\equiv 3$ mod 4 a Dedekind sum and the class number of $\mathbb Q(\sqrt{-p})$ occur in the respective formula. If $p\equiv 1$ mod 4, the formula may be much more complex since it involves linear combinations of (possibly many) products of two Bernoulli numbers attached to odd characters.

Intrinsic Diophantine approximation by rationals of height with a bounded number of distinct prime factors

math.NT

v4

In this article, for a large class of rational self-similar IFS's wich contains the middle-third Cantor set, we compute the Hausdorff dimension of elements a self-similar set that are $\psi$-approximable by rational belonging to this set and satisfying that its numerator has a bounded number of distinct prime divisors. This paper is based on a previous version in which the proof of a lemma (Lemma 3.8) was incorrect.

Hyperbolicity and GCD for n+1 divisors with non-empty intersection

math.CV

math.NT

v2

We study hyperbolicity for quasi-projective varieties where the boundary divisor consists of n+1 numerically parallel effective divisors on a complex projective variety of dimension n, allowing non-empty intersection. Under explicit local conditions on beta constants or intersection multiplicities, we prove that all entire curves are algebraically degenerate. Our approach extends the method of Levin-Huang-Xiao to higher dimensions, establishing a second main theorem for regular sequences of closed subschemes. This also yields a GCD-type estimate in the same geometric setting.

Multiplicative irreducibility of shifted multiplicative subgroups

math.CO

math.NT

v2

In a recent breakthrough, Kalmynin resolved conjectures of Lev--Sonn and S\'{a}rk\"{o}zy on additive decompositions of multiplicative subgroups of prime fields. In this paper, inspired by a related conjecture of S\'{a}rk\"{o}zy, we prove multiplicative analogues of Kalmynin's results. We show that for every proper multiplicative subgroup $G$, the shifted set $(G-1)\setminus\{0\}$ cannot be written as a product set nontrivially, addressing a conjecture of S\'{a}rk\"{o}zy. In addition, we prove that no nonzero shift of any coset of a proper multiplicative subgroup is a ratio set of the form $A/A$. Our results substantially sharpen previous theorems of Shkredov and the authors.

On an Overpartition Analogue of $SOME(n)$

math.CO

math.NT

v2

Recently, Andrews and Dastidar introduced the partition function $SOME(n)$, defined as the sum of all the odd parts in the partitions of $n$ minus the sum of all the even parts in the partitions of $n$. They derived its generating function and established some congruences satisfied by \(SOME(n)\). In this paper, we introduce an overpartition analogue of $SOME(n)$, denoted by $\overline{SOME}(n)$, the sum of all the odd parts in the overpartitions of \(n\) minus the sum of all the even parts in the overpartitions of \(n\). We derive the generating function for $\overline{SOME}(n)$ and obtain congruences modulo \(3, \ 5\) and powers of \(2\). Our method is based on classical $q$-series identities and manipulations of infinite products and sums.