Number Theory [math.NT]

On $U_p$-congruences for meromorphic modular forms with supersingularity

math.NT

In this paper, we investigate congruences for meromorphic modular forms $F$ which have a pole at a single point $z$ in the fundamental domain of $\mathrm{SL}_2(\mathbb Z)$. For a prime $p$ with good supersingular reduction at the elliptic curve corresponding to $z$, we show that there exists a cusp form $f$ such that $F|U_p^m \equiv f|U_p^m \pmod{p^{\kappa_m}}$, where $\kappa_m=\alpha m -\beta$ with $\alpha$ only depending on the weight of $F$ and $\beta$ depending on $F$ and $p$ but is independent of $m$. In particular, if the space of cusp forms is trivial, then $F|U_p^m\equiv 0 \pmod{p^{\kappa_m}}$ vanishes $p$-adically to a high order. In order to prove these results, we use the fact that $p$ has supersingular reduction to realize $F$ as an overconvergent modular form and then utilize the theory of overconvergent forms to show the congruences.

Secondary terms for first moments of Selmer groups of twists of elliptic curves over global function fields

math.NT

math.PR

Let $E$ be a non-isotrivial elliptic curve over a global function field $\mathbb{F}_q(t)$ of characteristic coprime to $2$ and $3$. Under some explicit conditions, we determine the secondary terms for the first moments of prime Selmer groups of cyclic prime twist families of $E$ over $\mathbb{F}_q(t)$.

Residue Restrictions for a Two-Color Partition Series

math.NT

We study residue restrictions for a two-color partition series $P(q)=(q^4;q^4)_\infty S(q)$ arising from work of Andrews and Bachraoui on partitions with odd smallest part. Motivated by the explicit exponent structure in the Bailey-transform formulas for the associated generating function, we obtain elementary restrictions on the support of the coefficients. In particular, we show that the residue class $4\pmod8$ does not occur, and we prove a further refinement modulo $16$, yielding several vanishing classes for the coefficients of the series. Our argument is completely residue-theoretic and avoids the use of modular completions.

Almost perfect inhomogeneous powers in arithmetic progression

math.NT

Let $S$ be a finite set of primes and write $\mathbb{Z}_S$ for the set of those non-zero integers whose prime divisors belong to $S$. Hajdu proved that the abc conjecture implies that the number of terms of any arithmetic progression in $H_S=\{\eta x^l\mid \eta\in \mathbb{Z}_S, x,l\in \mathbb{Z},\ \textnormal{with}\ x>0 \ \textnormal{and} \ l\geq 2 \}$ is bounded. Moreover, if $k\geq 3$ and the exponents of the powers are all $\geq 4$, then the number of such progressions are finite. We consider other sets and prove similar statements for these sets.

Counting the number of $1_{n}$-preperiodic integral points of a discrete dynamical system with applications from arithmetic statistics, VII

math.NT

math.DS

In this follow-up article of a multi-part series on (strictly) preperiodic point-counting, we inspect an astonishing relationship between the set of $1_{n}$-preperiodic points of a polynomial map $\varphi_{d, c}$ defined by $\varphi_{d, c}(z) = z^d + c$ for all $c, z \in \mathbb{Z}$ and the coefficient $c$, where $d>2$ is an integer and $n\in \mathbb{Z}_{\geq 1}$ is any fixed (eventual period). As before, we wish to study counting problems that are inspired by torsion point-counting in arithmetic statistics and (strictly) preperiodic point-counting in arithmetic dynamics. In doing so, we then first prove that for any prime $p\geq 3$ and fixed (eventual period) $n\in \mathbb{Z}_{\geq 1}$, the average number of distinct $1_{n}$-preperiodic integral points of any odd degree map $\varphi_{p, c}$ modulo $p$ is unbounded or zero as $c\to \infty$. Inspired by work of Doyle-Poonen, along with conjectural work of Hutz and $\textit{abc}(\textit{d})$-conditional work of Panraksa on preperiodic points of any even degree map $\varphi_{p-1, c}$ for any prime $p\geq 5$ in arithmetic dynamics, we then also prove that for any fixed (eventual period) $n\in \mathbb{Z}_{\geq 1}$, the average number of distinct $1_{n}$-preperiodic integral points of any $\varphi_{p-1, c}$ modulo $p$ is unbounded or zero as $c\to \infty$. Finally, we apply density, polynomial- and field-counting, and equidistribution results from arithmetic statistics, and then obtain several counting and statistical results on arithmetic objects arising naturally in our polynomial discrete dynamical settings.

A Weil Sum Approach to Permutation Polynomials over Quadratic Extensions of Finite Fields

math.NT

In this article, we introduce several classes of permutation polynomials over $\mathbb{F}_{q^2}$. More precisely, we characterize permutation polynomials of the forms $x^q + b x^2 + c x + d$ and $x^{q+1} + b x^q + c x + d$ over $\mathbb{F}_{q^2}$. To this end, we determine the exact number of zeros of these polynomials using existing results on certain special Weil sums. We also present the compositional inverses of the permutation polynomials obtained in this paper.

Sum of parts in overpartitions and partitions without repeated odd parts

math.NT

math.CO

In this paper, we obtain several Ramanujan-type congruences modulo 5 and 7 for sum of certain non-overlined parts in overpartitions classified by parity and sum of certain parts in partitions without repeated odd parts classified by parity. Our proofs for the congruences are elementary, depending only on classical theta function identities.

Semistable reduction of smooth quartics

math.AG

math.NT

We study semistable reduction of smooth plane quartic curves over discretely valued fields, including residue characteristic (p=2). Using Geometric Invariant Theory, together with a stability-function method on the Bruhat--Tits building, we compute plane models whose special fibers are close to stable. This provides a practical route from an explicit equation to stable reduction in the non-hyperelliptic case. We prove that a smooth plane quartic admits a unique GIT-stable plane model if and only if its stable reduction is non-hyperelliptic. When this holds, the stable model is obtained from the GIT-stable plane model by a canonical local modification supported at the cusps of the special fiber. This description isolates the geometric mechanism behind the hyperelliptic/non-hyperelliptic dichotomy. The explicit cusp-resolution step is treated separately and is part of the accompanying implementation.

Explicit local stable resolution of cusps

math.AG

math.NT

This article gives an explicit local stable resolution of cusps on GIT-stable plane quartic models. More generally, we consider a smoothing of an ordinary plane cusp over a complete discretely valued field. We show that, after a finite separable extension and a suitable choice of coordinates, a single weighted blow-up with weights ((1,2,3)) gives the stable resolution. The exceptional component is an explicit semistable Weierstrass cubic. The construction is effective and is implemented in the Sage package "StabilityFunction".

Validated numerics for the Gauss problem on continued fractions

math.DS

math.NT

We get estimates on the Gauss-Kuzmin-Wirsing constant for continued fractions.

Adelic line bundles over a N\'eron model

math.AG

math.NT

Motivated by variation problems for the N\'eron--Tate height pairing, we construct an adelic Poincar\'e bundle on the N\'eron model of an abelian scheme over a curve. This extends the adelic Poincar\'e bundle of Yuan--Zhang, which encodes the fiberwise N\'eron--Tate height pairing.

The Breuil-M\'ezard conjecture for potentially Barsotti-Tate representations

math.NT

v5

We prove the Breuil-M\'ezard conjecture for 2-dimensional potentially Barsotti-Tate representations of the absolute Galois group G_K, K a finite extension of Q_p, for any p>2 (up to the question of determining precise values for the multiplicities that occur). In the case that K/Q_p is unramified, we also determine most of the multiplicities. We then apply these results to the weight part of Serre's conjecture, proving a variety of results including the Buzzard-Diamond-Jarvis conjecture.

Explicit Kodaira-Spencer map over Hilbert modular varieties

math.NT

math.AG

v3

The goal of this paper is to explicitly compute the Kodaira-Spencer maps over Hilbert-Siegel modular varieties and twisted Hilbert modular varieties and their effects on the metrics of the Hodge bundle. Our result is a generalization of the result in \cite{arXiv:2205.11334}.

Algebraicity of ratios of special $L$-values for $\mathrm{GL}(n)$

math.NT

v3

We prove, under certain assumptions, algebraicity of the ratio $L(m, \Pi \times \chi)/L(m, \Pi \times \chi')$, where $\Pi$ is a cuspidal automorphic cohomological unitary representation of $\mathrm{GL}_n(\mathbb{A}_\mathbb{Q})$, and $\chi$, $\chi'$ are finite order Hecke characters such that $\chi_{\infty} = \chi'_{\infty} = \mathrm{sgn}^{r}$, and $m, r$ are specific positive integers which depends only on $\Pi_{\infty}$. The methods in this article are a generalization of those in the work of Mahnkopf [Cohomology of arithmetic groups, parabolic subgroups and the special values of $L$-functions of GL(n), J. Inst. Math. Jussieu, 4 (2005)].

Local factors and Cuntz-Pimsner algebras

math.NT

math.OA

v2

We recast the local factors of the Hasse-Weil zeta function at infinity in terms of the Cuntz-Pimsner algebras. The nature of such factors is an open problem studied by Deninger and Serre.

The SEA algorithm for endomorphisms of supersingular elliptic curves

math.NT

v2

For a prime $p{\,>\,}3$ and a supersingular elliptic curve $E$ defined over $\mathbb{F}_{p^2}$ with ${j(E)\notin\{0,1728\}}$, consider an endomorphism $\alpha$ of $E$ represented as a composition of $L$ isogenies of degree at most $d$. We prove that the trace of $\alpha$ may be computed in $O(n^4(\log n)^2 + dLn^3)$ bit operations, where $n{\,=\,}\log(p)$, using a generalization of the SEA algorithm for computing the trace of the Frobenius endomorphism of an ordinary elliptic curve. When $L\in O(\log p)$ and $d\in O(1)$, this complexity matches the heuristic complexity of the SEA algorithm. Our theorem is unconditional, unlike the complexity analysis of the SEA algorithm, since the kernel of an arbitrary isogeny of a supersingular elliptic curve is defined over an extension of constant degree, independent of $p$. We also provide practical speedups, including a fast algorithm to compute the trace of $\alpha$ modulo $p$.

Generalised height pairings and the Albanese kernel

math.NT

math.AG

v4

The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what the domain of definition of this pairing is, and how to compute it. This paper explores the relevance of the Beilinson--Bloch conjectures to this problem. In particular, it is shown that if $X$ is a smooth projective curve and the Albanese kernel of $X\times X$ is torsion, then there is an algorithm to compute the generalised height pairing on a pair of rational points on the Jacobian. This leads to the consideration of certain `motivic refinements' of the nonabelian cohomology varieties which arise in nonabelian Chabauty.

Maximal curves of genus 5 over finite fields

math.NT

math.AG

v2

A maximal curve over a finite field $\mathbb F_q$ is a curve whose number of points reaches the upper Hasse-Weil-Serre bound. We define the discriminant of $\mathbb F_q$ as $d(\mathbb F_q):= \lfloor2\sqrt{q}\rfloor^2-4q$, which arises as the discriminant of the characteristic polynomial of the Frobenius for a maximal elliptic curve defined over $\mathbb F_q$. In this article we investigate the existence of a maximal curve of genus $5$ defined over a finite field $\mathbb F_q$ of discriminant $-19$. Using the knowledge on the automorphism group of such a curve, we prove that such curve does not exist when $q\equiv 2,3,4 \mod 5$. In the case $q\equiv 1\mod 5$ we give models of the potential maximal curve. Finally, for the case $q\equiv 0\bmod 5$, we prove that such a curve might exist only for $q=5^7$.

A generalized Dumas irreducibility criterion

math.NT

math.AC

math.AG

v2

As an extension of the classical irreducibility result of Dumas, a factorization result for polynomials over any valued field with a Krull valuation of arbitrary rank is proved. Further, among other results, a lower degree factor bound on factors of a given polynomial over a valued field with a Krull valuation is proved. These factorization results not only unify several known irreducibility results for polynomials over the said domains but also provide us sharp bounds on degrees of irreducible factors of the underlying polynomials.

Eventual periodicity of the Smith forms of integer matrix powers

math.NT

math.AC

math.RA

v2

We prove that the Smith forms of the powers of an integer square matrix behave in an eventually periodic manner. More precisely, if $\mathrm{SF}(M)$ denotes the Smith form of $M \in \mathbb{Z}^{m \times m}$, then for every $A \in \mathbb{Z}^{m \times m}$ there exist $n_0 \in \mathbb{N}$, an integer $T \geq 1$, and a constant diagonal matrix $D \in \mathbb{Z}^{m \times m}$ such that $n \geq n_0$ implies $\mathrm{SF}(A^{n+T})=D \cdot \mathrm{SF}(A^n)$. This provides an eventually affirmative answer to a conjecture posed in 2013 by R. Bruner. We also show that both $n_0$ and $T$ can be arbitrarily large.

Homological Methods in the Generalization of Drinfeld Modules

math.NT

v2

We introduce and study a natural class of Anderson t- modules, called triangular t-modules, characterized by having Drinfeld modules as their $\tau$-composition factors. They form a homologically meaningful generalization of Drinfeld modules and exhibit rich arithmetic structure.\smallskip We establish criteria for purity, strict and almost strict, and develop a reduction procedure that lowers the degrees of the defining biderivations. As a consequence, every almost strictly pure triangular t-module becomes strictly pure after a finite base extension. We then investigate morphisms and isogenies between triangular t-modules, provide a characterization of triangular isogenies, and describe the algebra of endomorphisms, including a criterion for commutativity. On the analytic side, we show that all triangular t- modules are uniformizable and establish finiteness and purity criteria with consequences for Taelman's conjecture. Finally, we develop a duality theory for triangular t- modules and their biderivations, proving compatibility with $\tau$-composition series and establishing analogues of the Cartier-Nishi theorem and the Weil-Barsotti formula.

Reciprocity For Dedekind Sums via Conical Zeta Values

math.NT

v2

We study reciprocity formulas for Dedekind sums associated with absolutely continuous functions, extending the classical Dedekind-Rademacher reciprocity formula. In particular, we treat the case of periodic Bernoulli functions. Our approach generalizes an integral method and uses Fourier analysis to show that the reciprocity for polynomial-type functions admits a geometric interpretation in terms of conical zeta values.

Linear identities for partition pairs with 4-cores

math.NT

math.CO

v3

We determine an infinite family of linear identities for the number $A_4(n)$ of partition pairs of $n$ with $4$-cores by employing elementary $q$-series techniques and certain $3$-dissection formulas. We then discover an infinite family of congruences for $A_4(n)$ as a consequence of these linear identities.

The largest prime factor of an irreducible cubic polynomial

math.NT

v3

Heath-Brown proved that for a positive proportion of integers $n$, $n^3+2$ has a prime factor larger than $n^{1+c}$ with $c=10^{-303}$. We generalize this result to arbitrary monic irreducible cubic polynomial of $\mathbb{Z}[x]$ with $c$ replaced by an exponent $c_p$ dependent on the polynomial.

Perfect powers in the product of denominators of elliptic curves

math.NT

v2

We use sieving arguments to estimate the frequency of $s$-tuples of rational points $$(P_1,\dots,P_s)\in E_1(\mathbb{Q})\times\cdots\times E_s(\mathbb{Q}),$$ where $E_1,\dots,E_s$ are (not necessarily distinct) elliptic curves over $\mathbb{Q}$, for which the product of their denominators is a perfect $\ell$th power for a fixed prime $\ell$. We consider two settings: one in which the points are of the form $n_iP_i+Q_i$ with $n_i$ ranging over an interval, and another in which we take arbitrary points of bounded canonical height. In the special case where all $Q_i$ are the points at infinity, we also obtain better estimates by using a version of the elliptic sieve with elliptic divisibility sequences. Consequently, we derive analogues of these results for various rational functions, providing elliptic analogs of R. de la Bret\`eche, P. Kurlberg and I. E. Shparlinski (2021).

Explicit bounds for Dickman's function

math.NT

math.CA

v2

We establish numerically explicit upper and lower bounds for Dickman's function $\rho(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $\rho(u)$ without the need to solve the delay differential equation numerically.

Prime Quadruplets and Jump Conditions on Arithmetic Functions

math.NT

v2

We provide progress on the characterization of composite integers $n$ that satisfy the jump conditions $\varphi(n+12)=\varphi(n)+12$ and $\sigma(n+12)=\sigma(n)+12$ simultaneously. While it is known that prime quadruplets $(p,p+2,p+6,p+8)$ generate solutions $n=p(p+8)$, the complete characterization remains an open conjecture. We prove that this characterization is complete when $n$ and $n+12$ are both squarefree semiprimes, and that no solutions can be composed of a single prime power. Furthermore, a complete search up to $10^{12}$ resulted in no counterexamples to the conjecture. If this conjecture is proven true, and there are infinitely many such solutions, then it can be proved that there are infinitely many prime quadruplets.

The $i\varepsilon$-Prescription for String Amplitudes and Regularized Modular Integrals

hep-th

math.NT

v2

We study integrals appearing in one-loop amplitudes in string theory, and in particular their analytic continuation based on a string theoretic analog of the $i\varepsilon$-prescription of quantum field theory. For various zero- and two-point one-loop amplitudes of both open and closed strings, we prove that this analytic continuation is equivalent to a regularization using generalized exponential integrals. Our approach provides exact expressions in terms of the degeneracies at each mass level. For one-loop amplitudes with boundaries, our result takes the form of a linear combination of three partition functions at different temperatures depending on a variable $T_0$, yet their sum is independent of this variable. The imaginary part of the amplitudes can be read off in closed form, while the real part is amenable to numerical evaluation. While the expressions are rather different, we demonstrate agreement of our approach with the contour put forward by Eberhardt-Mizera (2023) following the Hardy-Ramanujan-Rademacher circle method, and compare these two approaches. We include applications to the Ramond-Ramond sector of the vacuum amplitude and two-point amplitudes of Type I superstring theory.

An improved bound on the number of dot products determined by a finite point set in the plane

math.CO

math.NT

v2

We are interested to bound from below the number of distinct dot products determined by a finite set of points $P$ in the Euclidean plane. In this paper, we build on the work of B. Hanson, O. Roche-Newton, and S. Senger, to obtain the improved lower bound \[|\{p\cdot q : p,q\in P\}|\gtrsim |P|^{\frac2 3 + \frac{7}{1425}}.\]

Largest zero-dimensional intersection of $r$ degree $d$ hypersurfaces

math.AG

math.CO

math.NT

v2

Suppose we have $r$ hypersurfaces in $\mathbb{P}^m$ of degree $d$, whose defining polynomials are linearly independent, and their intersection has dimension $0$. Then what is the largest possible intersection of the $r$ hypersurfaces? We conjecture an exact formula for this problem and prove it when $m=2$. We show that this can be used to compute the generalized hamming weights of the projective Reed-Muller code $\operatorname{PRM}_q(d,2)$ and hence settle a conjecture of Beelen, Datta and Ghorpade for $m=2$.

Rational analytic syntomic cohomology

math.AG

math.NT

v2

We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincar\'e duality and a theory of first Chern classes for the resulting cohomology theory, identify vector bundles on $X^{\mathrm{Syn}}$ with de Rham bundles on the Fargues--Fontaine curve of $X^{\diamondsuit}$ and recover several classical comparison theorems in $p$-adic Hodge theory. We also develop analogues of our results and constructions over $\mathbb{C}_p$.

Small Matrices with Small Inverses: Unimodular Zerofree Cases

math.CO

cs.DM

math.NT

v4

We consider unimodular matrices $M$ such that neither $M$ nor $M^{-1}$ contain zero entries. Matrices typically exhibit a trade-off: small $M$ imply large $M^{-1}$. We investigate rare cases where both remain small, classify these matrices up to symmetry, and discuss aspects of this balanced setting.