Number Theory [math.NT]

An adelic approach to the Kudla-Millson lifts over totally real number fields

math.NT

math.AG

We compute the Fourier expansions of the Kudla-Millson theta lifts of vector-valued Hilbert cusp forms of parallel weight. These expansions are with respect to 0-dimensional cusps of non-compact orthogonal Shimura varieties defined over any totally real number field, and computed using a mixed model of the adelic Weil representation under a partial Fourier transform. As a consequence, we obtain the injectivity of the theta lifts under some additional hypothesis on the variety. Furthermore, we show that the theta lifts are square-integrable harmonic differential forms, and deduce lower bounds for dimensions of cohomology groups of such varieties.

Local-global principles for visibility of lattice points on parameterized curves

math.NT

math.AG

We develop a local-global theory for visibility of lattice points on families of parameterized curves. We introduce a notion of $p$-adic visibility and ask whether a lattice point is globally visible precisely when it is visible at every prime. We prove that this local-global principle holds for a broad class of families whose parametrizations are homogeneous with respect to positive weights. When the points on these curves fill the entire positive integer lattice, we compute the local and global densities of visible points and show that the global density is the product of the local densities. We then consider polynomial families of the form $y=qP(x)$, with $q\in\mathbb{Q}_{>0}$, and show that visibility can be detected prime by prime exactly when $P$ is a monomial. For non-monomial polynomials the local-global principle can fail, but the set of points where it fails has density zero; for separable polynomials we also obtain a quantitative bound for the number of non-visible points, improving the previously known bound. We further consider families whose lattice points lie on a proper lower-dimensional algebraic subset of the ambient space and show that their visibility densities can behave differently from those of the full lattice. Finally, we extend the theory from visibility from the origin to visibility from one lattice point to another and show that the corresponding local-global principle continues to hold for weighted homogeneous families.

On the variation of slopes over moduli stacks of Galois representations

math.NT

We determine how p-adic slopes of modular forms vary as their associated Galois representations modulo p vary over moduli of Galois representations. As a consequence, we show that the authors' ghost conjecture recently proven by Liu, Truong, Xiao, and Zhao is "stable under direct sums".

Critical convergence and Hausdorff measures for generalized Flint Hills series

math.NT

We study the generalized Flint Hills series $\mathcal{F}_{s,t}(x)=\sum_{n\ge1} n^{-s}|\sin(\pi nx)|^{-t}$ for $s>0$ and $t>1$. An explicit comparison with a series over continued-fraction denominators yields the Hausdorff dimension $\min\{1,2t/(s+t)\}$ of its divergence set. At each critical exponent $\tau=1+s/t>2$ we construct numbers of irrationality exponent $\tau$ realizing both convergence and divergence; the convergent examples establish Meiburg's conjecture in the range $t>1$. Both parts of the critical fibre have Hausdorff dimension $2/\tau$. For $s>t$ and $h_\kappa(r)=r^{2/\tau}(\log(1/r))^\kappa$ we prove that the divergence set has zero $h_\kappa$-measure for $\kappa<-1$ and infinite measure for $\kappa\ge-1$. The divergent part of the critical fibre satisfies the same law, whereas its convergent part has infinite measure for every $\kappa$. The key estimate selects a rapidly growing subsequence of convergent denominators and gives a double-logarithmic bound on the approximation error. The convergence of the classical Flint Hills series $\sum_{n\ge1}(n^3\sin^2 n)^{-1}$ remains undecided.

$S_h$-sets in abelian groups

math.NT

math.CO

For a positive integer $h$, a subset $A = \{a_1, \dots, a_k\}$ of an additive abelian group $G$ is called an $S_h$-set of size $k$ if all sums of $h$ distinct elements in $S$ are distinct. For fixed positive integers $h$ and $k$, let $v_h(k)$ denote the order of the smallest abelian group containing an $S_h$-set of size $k$. A lower bound for $v_2(k)$ is known. In this paper, we establish a lower bound for $v_3(k)$. Using our argument for $h=2$, we recover the known bound for $v_2(k)$.

A Generalization of S\'ark\"ozy's theorem in function fields

math.NT

S\'ark\"ozy's theorem says that if $A \subset \mathbb{Z}$ has positive upper asymptotic density, then there are distinct $a_1, a_2 \in A$ and $n \in \mathbb{Z}$ such that $a_1-a_2 = n^2$. The same is true if $n^2$ is replaced by $F(n)$ for any polynomial $F \in \mathbb{Z}[x]$ with constant term zero. Green proved an $\mathbb{F}_q[t]$-analog of S\'ark\"ozy's theorem with strong quantitative bounds, but required a technical condition on the number of roots of the polynomial $F \in \mathbb{F}_q[x]$. This condition was recently removed by Li and Sauermann. In this paper, we generalize Green's argument to accommodate equations in more variables in $\mathbb{F}_q[t]$, while pointing out that the technical condition can be removed by means of a simple observation.

Zeros of Quasimodular Forms Defined by Iterated Sums

math.NT

We study the zeros of the quasimodular forms $G_{\{2\}^n}$ defined by iterated sums. We first show that, for every $n>0$, $G_{\{2\}^n}$ has exactly $n$ simple zeros on each of the vertical half-lines $\Real(\tau)=0$ and $\Real(\tau)=1/2$, and that the zeros for consecutive values of $n$ satisfy an interlacing property. The proof is based on an expression of $G_{\{2\}^n}$ in terms of the $n$-th derivative of $\eta^3$ and on the theory of bell-shaped functions, rather than on Rankin--Swinnerton-Dyer method. We also determine the asymptotic behavior of these zeros as $n\to\infty$. In addition, we prove that all zeros of $G_{\{2\}^n}$ are simple and that $G_{\{2\}^n}$ has infinitely many $SL_2(\ZZ)$-inequivalent zeros. We further establish a transcendence result for zeros of quasimodular forms of maximal depth, which in particular implies that all zeros of $G_{\{2\}^n}$ are transcendental. Finally, in the special case $G_{2,2}$, we show that each Ford circle contains exactly two distinct simple zeros.

The first moment of quadratic Dirichlet $L$-functions in the even hyperelliptic ensemble

math.NT

We establish an asymptotic formula for the first moment of the central values of quadratic Dirichlet $L$-functions in the even hyperelliptic ensemble $\mathcal{H}_{2g+2}$ over $\mathbb{F}_q[x]$, for every fixed odd prime power $q$. Working with the completed $L$-function yields an exact two-term central-value formula with truncation levels $g$ and $g-1$; combining the two truncations before the square-dual contour shifts leaves the three cubic points $z^3 = q^{-4}$ as the only secondary poles, and they contribute the secondary term $q^{2g/3+2}(a_g g + b_g)$ with an error $O_\varepsilon(q^{g(1+\varepsilon)/2})$. The coefficients are real and $m \mapsto (a_m, b_m)$ has minimal period exactly three, so the coefficient of $g$ at the order $q^{2g/3}$ depends on $g$ modulo 3, in contrast with the earlier even-degree formulas; the difference is confirmed numerically.

Tight universality of $m$-gonal forms with minimal criterion sets

math.NT

For integers $m\geq3$ and $n\geq1$, an $m$-gonal form is called tight $\mathcal{T}(n)$-universal if it represents exactly the positive integers $\mathcal{T}(n)=\{ n, n+1, n+2, \ldots \}$. In this paper, we study the minimal criterion set $\mathrm{CS}(m,n)$ for tight $\mathcal{T}(n)$-universality. Our main result determines $\mathrm{CS}(m,n)$ for $n \geq8$, $3 \leq m \leq \left\lfloor \frac{3n+1}{2} \right\rfloor$, except for $(m,n)=(7,9)$ and $(7,10)$. More precisely, $$ \mathrm{CS}(m,n)= \begin{cases} \{ n, n+1, \ldots, 2n-1 \}, & m=5, \newline \{ n, n+1, \ldots, 2n \}, & m\neq5. \end{cases} $$ We also establish the corresponding tight $\mathcal{T}(n)$-universality results and show that the upper bound on $m$ is optimal.

Gauss Genus Theory in Characteristic 2

math.NT

We extend Gauss composition and Gauss genus theory over $\mathbf{Z}$ to $\mathbb{F}_{2^n}[T]$, a polynomial ring over a finite field $\mathbb{F}_{2^n}$ of characteristic 2. We find new invariants of binary quadratic forms over $\mathbb{F}_{2^n}[T]$ by using Arf invariant and introduce new definitions of proper equivalence and direct composition, and prove that the direct composition makes the set of proper equivalence classes of binary quadratic forms with the same invariants into a finite Abelian group, which is isomorphic to a Picard group of a corresponding extension ring of $\mathbb{F}_{2^n}[T]$. Building on this, we develop genus theory in characteristic 2 and prove that the kernel of the generalized Gauss's map is the subgroup of all squares in the class group.

Projective Kernels and Replicability in Modular Function Theory

math.NT

math.CV

We introduce a projective-kernel framework for the study of replicable functions in modular function theory. The main point is that the same two-point kernel simultaneously encodes the differential projective geometry of a modular function and the Faber--Grunsky data governing its replicability. This makes it possible to translate between Schwarzian invariants, coefficient identities, and modular correspondences within a single structure. The kernel yields a reconstruction theorem showing that the ordinary Schwarzian determines the normalized Grunsky matrix and hence the underlying Laurent expansion. When Norton's replicability relations are imposed, the projective kernel produces strong arithmetic restrictions on the possible cusp data. In the degree-one case this leads to a precise classification: replicability and complete replicability are equivalent to solvability of the projective monodromy, while the icosahedral case is excluded by an explicit Grunsky obstruction. The same principle extends to the arithmetic Hecke triangle groups. The projective-kernel viewpoint also isolates the remaining global difficulty in Norton's Hauptmodul conjecture and provides a natural setting in which replicability, projective monodromy, and modular differential invariants can be studied together.

Classification of torsion of elliptic curves over quintic fields

math.NT

math.AG

We determine all the groups that appear as the torsion group of an elliptic curve over a quintic number field. Apart from the groups that already occur infinitely often, which were determined by Derickx and Sutherland, exactly three groups occur: $\mathbb{Z}/28\mathbb{Z}$, $\mathbb{Z}/30\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$. Up to isomorphism of the pair $(K,E)$, the first and the third are each realised by a single elliptic curve and the second by two curves, which are $2$-isogenous over a common quintic field. The curves realising $\mathbb{Z}/28\mathbb{Z}$ and $\mathbb{Z}/30\mathbb{Z}$ were found by van Hoeij, while the group $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$ is new, and $5$ is the smallest degree in which a non-cyclic sporadic torsion group occurs. The methods improve on those developed by Derickx and Najman, and are based on Hecke sieves and the arithmetic of cuspidal divisor classes.

Large fluctuations of extended Rademacher random multiplicative functions

math.NT

math.PR

Let $f$ be an extended Rademacher random multiplicative function (RMF). We show that, for every fixed deterministic function $V(x)$ tending to infinity, almost surely there are arbitrarily large $x$ for which \[ \sum_{n\leq x}f(n) \geq \frac{\sqrt{x}(\log\log x)^{1/4}}{V(x)}. \] The corresponding negative fluctuation holds as well. In particular, this gives an affirmative answer to Erd\H{o}s Problem~\#1144. As a byproduct, our result has a direct corollary giving new almost sure lower bounds $\log\log x$ on the number of sign changes of partial sums up to $x$ for all sufficiently large $x$.

Projection and fibering in groups of bounded exponent

math.NT

math.CO

math.GR

We develop a projection and fibering method for sets of small combinatorial doubling in (not necessarily abelian) discrete groups. As an application, in the abelian case we prove that, if $A$ is finite, the ambient group has exponent $r$, and $|A+A|\leq K|A|$, then \[ |\langle A\rangle|\leq r^{(2+o(1))K}|A|. \] This answers a question of Ruzsa with an optimal leading coefficient, independent of Fox--Pham. The main ingredient is a discrete version of a fiber spillover argument. For sets in $2$-step nilpotent groups of exponent $r$, we also prove that $|A^3|\leq K|A|$ implies $|\langle A\rangle|\leq r^{(2+o_K(1))K}|A|$. The proof combines the abelian theorem with a weighted averaging of central fibers and commutators.

Kronecker sequences beyond the torus: nearest-neighbour distances and best returns

math.NT

The classical three-gap theorem says that a finite Kronecker sequence on the circle has at most three gap lengths. We extend this phenomenon to nearest-neighbour distances on quotients $(V\times U)/\Lambda$, where $V$ is a finite-dimensional real normed space, $U$ is an arbitrary ultrametric abelian group and $\Lambda$ is closed. For the quotient metric induced by the maximum product metric, the uniform distance bound is controlled entirely by the real factor. Continuous real directions contained in the subgroup can be factored out; for inner-product metrics, only the real directions generated by the projected subgroup matter. For the maximum norm on $\mathbb{R}^d$ the universal mixed bound is $2^d+1$. These results unify and extend bounds of Chevallier, Haynes--Ramirez, Das--Haynes and Shulga. Best-return denominators behave differently. We show that a recurrence $q_{n+M}\ge q_n+q_{n+1}$ implies at most $M+1$ nearest-neighbour distances in any abelian group with a translation-invariant metric. Shulga's recurrence extends from compact real tori to arbitrary purely real quotients, with the index determined by the rank of the discrete part of the subgroup rather than by the ambient dimension. After adding an ultrametric factor, however, this recurrence can fail, even on an adelic solenoid. Nevertheless a packing recurrence survives for arbitrary mixed quotients, and in effective Euclidean dimensions one and two the one-step loss from the purely real recurrence is sharp.

Iwasawa theory of CM elliptic curves at potentially supersingular primes

math.NT

We develop a plus and minus Iwasawa theory for CM elliptic curves with potentially supersingular reduction at a prime $p\ge5$. We construct local points that satisfy suitable "jumping trace" relations using the Honda--Demchenko theory applied to height-two formal groups over local fields with small ramification degree. These local points allow us to study plus and minus Selmer groups of CM elliptic curves over the cyclotomic $\mathbb{Z}_p$-extension, to construct the corresponding plus and minus $p$-adic $L$-functions, and to prove an Iwasawa main conjecture relating these objects. As an application, we obtain asymptotic growth formulae for the $p$-primary part of the Tate--Shafarevich groups.

Kolyvagin's conjecture at non-ordinary primes

math.NT

Let $K$ be an imaginary quadratic field and let $p \ge 5$ be a prime that is unramified in $K$. Let $\mathcal{A}_f/\mathbb{Q}$ be an abelian variety of $\mathrm{GL}_2$-type associated with a weight-two modular form $f$, with good non-ordinary reduction at $p$, and suppose that $(f,K)$ satisfies the generalized Heegner hypothesis. In the case where $p$ is inert in $K$, we further assume that $\mathcal{A}_f$ is an elliptic curve. We develop an Euler-characteristic formula for signed Selmer groups over anticyclotomic $\mathbb{Z}_p$-extensions that applies when the corresponding Selmer modules have arbitrary $\Lambda$-rank. Assuming one inclusion in the signed Iwasawa main conjecture, we apply this formula to prove Kolyvagin's conjecture on the non-vanishing of the Kolyvagin system attached to Heegner points. Our results extend to the non-ordinary setting the results of Wei Zhang, Burungale--Castella--Grossi--Skinner, Castella--Sano and Kim in the ordinary case, and complement the works of Sweeting and Kim in the non-ordinary case under different hypotheses. We also study the effect of the exceptional zero phenomenon on the Iwasawa main conjecture in the inert case.

An asymptotic formula for a cubic moment of $GL_2$ $L$-functions

math.NT

We obtain an asymptotic formula for a cubic moment of self-dual $GL_2$ $L$-functions studied by Petrow and Young, with a small extra averaging over characters. Our asymptotic consists of the main term conjectured by Conrey--Farmer--Keating--Rubinstein--Snaith and a power-saving error term whose strength depends on the amount of extra averaging.

Jacquet--Rallis transfer for GL(2)

math.NT

math.RT

We study archimedean smooth transfer for the Jacquet--Rallis relative trace formula comparison, in particular, identities between orbital integrals on GL(n) and its unitary forms. We work with Lie algebras and a (g,K)-module setting. Our main result states that for n=2, meaning GL(2) acting on gl(3), every polynomial type Schwartz function has a transfer to the unitary side and vice versa. Our proof relies on the Weil representation and the study of invariant differential operators. It also suggests certain structural properties of the (g,K)-modules in question which we formulate as conjectures.

Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$

math.NT

math.CO

Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $\Delta\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $\Delta$. We prove that \[ |A|\ll_{\Delta,d} N^d\exp\!\left(-c_{\Delta,d}\sqrt{\log N}\right) \] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of H\"older's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.

Eta-Quotient Representations for a Three Parameter Family of Modular Functions Associated with the Rogers-Ramanujan Continued Fraction

math.NT

math.CO

In 2021, Chern and Tang introduced two families of two-parameter modular functions associated with the Rogers-Ramanujan continued fraction. They established recurrence relations that express the members of these families in terms of eta quotients, and used these expressions to obtain dissection formulas. Motivated by their work, we construct a three-parameter extension and derive the corresponding recursive eta quotient representations. Our result also has applications to dissection formulas. In particular, it is used in separate work to obtain $5$-dissection formulas for overpartitions with restricted odd differences.

Serre's problem on statistics of Brauer symbols

math.NT

We solve Serre's problem on the specialisation of Brauer group elements in all cases where the number of variables is sufficiently large.

Poincar\'e duality for pro-\'etale $\mathbf{Q}_p$-local systems

math.AG

math.NT

We prove finiteness and Poincar\'e duality for pro-\'etale $\mathbf{Q}_p$-local systems on proper $p$-adic rigid-analytic spaces in the framework of Banach--Colmez spaces and establish their optimal cohomological vanishing bounds. As a consequence, we also obtain ordinary finiteness and duality for their arithmetic pro-\'etale cohomology. We deduce these results from their analogs for perfect complexes on the Fargues--Fontaine curve, which in turn reduce to Poincar\'e duality for perfect complexes over period rings. We give a simple proof of the latter duality via the same diagrammatic argument as in our previous work for finite coefficients. Along the way, we establish optimal $v$-descent for perfect complexes over certain period rings on affinoid perfectoid spaces.

Characteristic Classes of Adelic Vector Bundles and Applications

math.AG

math.NT

We define numerical adelic characteristic classes for vector bundles on projective varieties over number fields. The metric data are carried by the tautological quotient line bundle on the associated projective bundle. The construction uses the established intersection theory of adelic line bundles. Higher characteristic classes are multilinear intersection functionals. They are continuous for simultaneously controlled model sequences that are Cauchy for the supremum norm. We construct the resulting tautological numerical intersection algebra. We also prove controlled numerical Bogomolov--Gieseker inequalities. We first treat the case of a curve over $K$, where the numerical inequality is combined with the Deligne pairing and the adelic Hodge index theorem. We then pass to higher dimension, using Moriwaki's model-level dimension induction before taking the controlled Zhang limit. The curve theorem includes equality and uniform-gap criteria.

Non-archimedean Monge-Amp\`ere measures for toric metrics on subvarieties of toric varieties

math.AG

math.NT

We study non-archimedean Monge-Amp\`ere measures of toric metrics on closed subvarieties of toric varieties, after reducing, if necessary, to the minimal torus-orbit closure containing the subvariety. The measure vanishes on the toric boundary and is supported on the tropical skeleton. Our main result explicitly describes their local structure in terms of the tropical germ of the subvariety and the tropical Green function of the metric. More precisely, the tropicalized Monge-Amp\`ere measure is the corresponding polyhedral Monge-Amp\`ere measure, which extends the tropical intersection product, while the original measure is recovered locally by tropical pullback from explicit tropical and convex data. This provides a toric counterpart to analogous results for subvarieties of abelian varieties, with new local phenomena arising from tropicalization.

Counting locally supercuspidal newforms

math.NT

v4

The trace formula is a versatile tool for computing sums of spectral data across families of automorphic forms. Using specialized test functions, one can treat small families with refined spectral properties. This has proven fruitful in analytic applications. We detail such methodology here, with the aim of counting newforms in certain small families. The result (Theorem 7.1) is a general formula for the number of holomorphic newforms of weight $k$ and level $N$ whose local representation type at each $p|N$ is a fixed supercuspidal representation $\sigma_p$ of $\operatorname{GL}_2(\mathbf{Q}_p)$. This is given in terms of local elliptic orbital integrals attached to matrix coefficients of the $\sigma_p$. We evaluate the formula explicitly in the case where each $\sigma_p$ has conductor $\le p^3$. The technical heart of the paper is the explicit calculation of elliptic orbital integrals attached to such $\sigma_p$. We also compute the traces of Hecke operators on the span of these newforms. Some applications are given to biases among root numbers of newforms.

Refined Counting of Geodesic Segments in the Hyperbolic Plane

math.NT

v4

For $\Gamma$ a cofinite Fuchsian group, and $l$ a fixed closed geodesic, we study the asymptotics of the number of those images of $l$ that have a prescribed orientation and distance from $l$ less than or equal to $X$. Using a new relative trace formula that we develop, we give a new concrete proof of the error bound $O(X^{2/3})$ that appears in the works of Good and Hejhal. Furthermore, we prove a new bound $O(X^{1/2}\log{X})$ for the mean square of the error. For particular arithmetic groups, we provide interpretations in terms of correlation sums of the number of ideals of norm at most $X$ in associated number fields, generalizing previous examples due to Hejhal.

A de Rham weight part of Serre's conjecture and generalized mod $p$ BGG decompositions

math.NT

math.AG

math.RT

v2

We propose the use of de Rham cohomology of special fibers of Shimura varieties to formulate a geometric version of the weight part of Serre's conjecture. We conjecture that this formulation is equivalent to the one using Serre weights and the \'etale cohomology of Shimura varieties. We treat in detail the cases of $G \in \{GL_3,GSp_4\}$, which are the simplest groups of semisimple rank at least $2$, where new phenomena occur. First we prove this equivalence for generic weights and generic non-Eisenstein eigensystems for a compact $U(2,1)$ Shimura variety such that $G_{\mathbb{Q}_p}=GL_3$. We do this by proving a generic concentration in middle degree of mod $p$ de Rham cohomology with coefficients. In turn, we prove this generic concentration by constructing generalized mod $p$ BGG decompositions for de Rham cohomology. After applying the results from our companion paper, this reduces to computing some BGG-like resolutions in a certain mod $p$ version of category $\mathcal{O}$. In the $GSp_4$ case we also compute some explicit BGG decompositions, which help us to upgrade the generic weak entailment from arxiv:2410.09602. to the expected generic entailment, as well as proving the equivalence above for one of the upper alcoves.

Explicit separation of quadratic irrationals from the middle-third Cantor set

math.NT

v3

An earlier form of this manuscript claimed, subject to a ``shallow contribution'' hypothesis, a log-square upper bound for the first occurrence of the ternary digit $1$ in a quadratic irrational, and consequently a quantitative separation from the middle-third Cantor set. Those conclusions are withdrawn. The argument used a decomposition defined only after finite exit had been assumed in order to prove finite exit, and the proposed quadratic-field-uniform Thue--Mahler estimate did not follow from the cited $S$-unit theory: the relevant set $S$ varies with the minimal polynomial, and the displayed $S$-unit quotient does not retain the power-of-$3$ exponent without an additional normalization. This replacement records the defects and retains the unconditional part of the argument. For a quadratic irrational whose orbit exits, we prove the exact exit-to-distance identity and an elementary height-dependent clearance bound. We also give a corrected universal bound for a single $L$-run and show that an exceptionally long $R$-to-$L$ transition produces a bounded value of a binary quadratic norm form at a power of $3$. A finite-prefix decomposition identifies the additional uniform orbit-counting theorem that would be required for a genuine separation result. No assertion that a quadratic irrational lies outside the Cantor set is made here.

CM-liftability of simple superspecial abelian surfaces over prime fields

math.NT

v3

For any prime $p>0$, we prove that simple superspecial abelian surfaces over $\mathbb{F}_{p}$ admit CM liftings, by using the residual reflex condition (RRC) and Lie types. The CM-liftability of ordinary simple abelian surfaces is proved by Serre-Tate, and the CM-liftability of almost ordinary simple abelian surfaces is proved by Oswal-Shankar and Bergstr\"om-Karemaker-Marseglia, respectively. As there can only be ordinary, almost ordinary, or supersingular simple abelian surfaces over $\mathbb{F}_{p}$, our work is another step to complete the CM-liftability of simple abelian surfaces over $\mathbb{F}_{p}$.

Symmetry Results for Cyclotomic Multiple Hurwitz Zeta Values via Contour Integrals

math.NT

v2

This paper provides a systematic study of symmetry properties for cyclotomic multiple Hurwitz zeta values with multiple variables and parameters by applying the methods of contour integration and the residue theorem. The main contributions are the derivation of explicit symmetry formulas for cyclotomic multiple (Hurwitz) zeta values, which are obtained directly through analytic residue calculations, without reliance on algebraic regularization. As a concrete application, we deduce analogous symmetry theorems for cyclotomic multiple zeta values and cyclotomic multiple $t$-values. The results extend and complement recent symmetry investigations by Charlton and Hoffman, offering completely explicit and regularization-free formulas in the convergent setting. Moreover, the results of this paper can be used to prove the symmetry conjecture for cyclotomic multiple Hurwitz zeta values with multiple variables and a single parameter. Furthermore, several illustrative corollaries and examples are included, and an open problem concerning possible extensions to other variants of multiple zeta values is posed at the conclusion.

Fixed points and exact periods of Chebyshev polynomials modulo odd prime powers

math.NT

math.DS

v2

Passing from a prime modulus to a higher prime power can change both the lengths and the number of cycles of a polynomial map. We determine these changes for Chebyshev polynomials $T_n$ modulo $p^k$, for every degree $n\ge2$, every odd prime $p$, and every $k\ge1$. The results apply whether or not $T_n$ permutes the residue classes. We give explicit formulas for the number of fixed points, all possible cycle lengths, and the number of cycles of each length. The fixed-point formula involves four greatest common divisors and a correction specific to $p=3$. We explain this exception by showing how distinct rational fixed points become congruent modulo $3$. When $p\mid n$, each cycle modulo $p$ corresponds to exactly one cycle of the same length modulo every $p^k$. When $p\nmid n$, we determine how many cycles arise from each cycle modulo $p$ and when longer cycles first appear. The proofs combine the classical relation between Chebyshev polynomials and power maps with $p$-adic arithmetic.

Rational Points on Danielewski Surfaces over Finite fields and Polygonal Numbers

math.NT

math.AC

v2

We study the number of $\mathbb{F}_q$-rational points on Danielewski and double Danielewski surfaces over the finite field $\mathbb{F}_q$ and show an interesting connection with the polygonal numbers.

Counterexamples to Dujella's conjecture on integral points on the elliptic curve attached to a Diophantine triple

math.NT

v2

A set $\{a,b,c\}$ of distinct positive integers is called a Diophantine triple if $ab+1$, $ac+1$, and $bc+1$ are perfect squares. Dujella formulated the conjecture that the only integral $x$-coordinates on the attached elliptic curve $$y^2=(ax+1)(bx+1)(cx+1)$$ are $0,d_-,d_+$, together with $-1$ when the triple contains $1$, where $d_{\pm}=a+b+c+2abc \pm2\sqrt{(ab+1)(ac+1)(bc+1)}$. The weaker question was stated as Problem 4.8 in Dujella's list of open problems: must every integral point with $x\ne-1$ make $ax+1$, $bx+1$, and $cx+1$ all perfect squares? We construct infinitely many triples $\{5,115,c\}$ admitting an integral point with $x\ne-1$ for which all three factors are nonsquares.

Contributions to the theory of the Euler eta function

math.NT

v2

We investigate the distribution of the zeros of the Euler's function and its integral and fractional derivatives.

On the classification of small cyclotomic integers

math.NT

v2

We give a general classification theorem for cyclotomic algebraic integers with all complex absolute values bounded by a fixed constant $c$, modeled on the theorem of Cassels which treats the case $c = \sqrt{5}$ up to finitely many exceptions. As a corollary, we establish that the range of the function taking a cyclotomic integer to its maximum complex absolute value is a well-ordered (but not closed) subset of the real numbers. We also formulate analogous statements for algebraic numbers in the maximal cyclotomic extension of a fixed number field. The proofs combine a result of Loxton, which bounds the number of roots of unity in the shortest additive representation of a cyclotomic integer in terms of the maximum complex absolute value, with an equidistribution theorem of Bilu et al. for Galois orbits of torsion points on algebraic tori.

Infinite Families of Counterexamples to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in $\mathbb{Z}_p$

math.NT

math.RA

v2

Let $p$ be a prime and let $A,B$ be nonempty subsets of the cyclic group $\mathbb{Z}_p$ with $|A|\neq |B|$. The Alon--Nathanson--Ruzsa theorem gives the lower bound $|A\rplus B|\ge \min\{p,\,|A|+|B|-2\},$ where $A\rplus B=\{a+b:a\in A,\ b\in B,\ a\neq b\}$ is the restricted sumset. The inverse problem of characterizing all critical pairs $(A,B)$ attaining equality was posed by Alon, Nathanson, and Ruzsa in 1996 and remains open. Recently, Liu and Qian solved the inverse problem under the assumption that at least one of the sets is an arithmetic progression, and proposed a conjecture for the general case. The main purpose of this paper is to show that this conjecture fails in the boundary case $|A|+|B|=p$. More precisely, we construct infinite families of non-arithmetic critical pairs $(A,B)$ with $|A|+|B|=p$ and $|A\rplus B|=p-2$ for every prime $p\ge 11$. These families show that the boundary case is fundamentally different from the non-boundary case. Motivated by this, we formulate and prove a refined inverse theorem under the natural hypothesis $|A|+|B|\le p-1$, which excludes the boundary.

The irrationality measure of {\pi} is at most 7.101862832357

math.NT

v2

We introduce two independent numerator exponents into the Zeilberger--Zudilin integral and specialize them to \[ A_1=A_2=\frac{1857}{2785}. \] The resulting integer linear forms in $1$ and $\pi$ prove \[ \mu(\pi)<7.101862832357. \] This lowers the Zeilberger--Zudilin upper bound $7.103205334137\ldots$ by more than $0.001342501780$; the difference between the unrounded bounds is $0.0013425017806509\ldots$, approximately $0.01890\%$. The same parameter point is a strict two-dimensional local minimizer of the explicit auxiliary upper-bound function in its admissible arithmetic chamber. This is a local statement about that function, not a claim that the point is a global optimizer among all constructions.

A Compact Post-quantum Strong Designated Verifier Signature Scheme from Isogenies

cs.CR

math.NT

v4

Strong designated verifier signatures are a variant of digital signatures in which only one party - the designated verifier - is able to verify the authenticity of a signature. We propose a new strong designated verifier signature scheme based on (abelian) cryptographic group actions.

Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection

hep-th

math.AG

math.NT

v2

The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$. This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$. Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$. In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly. The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.