Number Theory [math.NT]

Contour Integrations and Parity Results of Hurwitz-type Cyclotomic Euler Sums

math.NT

In this paper, we investigate the parity of three class of Hurwitz-type cyclotomic Euler sums using the methods of contour integration and residue computation, and derive explicit parity formulas for linear, quadratic, and some higher-order cases. Based on their connection with cyclotomic multiple Hurwitz polylogarithm functions, we further obtain certain parity results for these functions. At the end of the paper, we propose two conjectures regarding the parity and symmetry of multiple Hurwitz polylogarithm functions of arbitrary depth.

Order positive fields II

math.NT

This paper is a part of ongoing research on order positive fields started some years ago. We prove that the real closure of an order positive field even in non-Archimedean case is also order positive.

Vertical unramified Brauer groups of Galois normic bundles

math.NT

math.AG

We compute the vertical unramified Brauer group of the Galois normic bundles, which are given by $\mathrm{N}_{K/k}(\mathbf{z})=P(x)$. Our main result gives combinatorial formulas for the vertical unramified Brauer groups in terms of the Galois group structure of $K/k$ and the irreducible factors of $P(x)$.

Generalised Fermat equations in dense variables over finite fields and rings

math.NT

Let $A$ be a sufficiently dense subset of a finite field $\mathbb F_q$ or a finite, cyclic ring $\mathbb Z/ N\mathbb Z$. Assuming that $q$ and $N$ have no small prime divisors, we show that generalised Fermat equations have the expected number of solutions over $A$. We further show that our density threshold is optimal. Our proofs involve average Fourier decay for Bohr sets, mixed character sum bounds, equidistribution of polynomial sequences, popular Cauchy--Davenport lemmas, and a regularity-type lemma due to Semchankau.

Bilinear forms with Kloosterman fractions and applications

math.NT

We establish improved bounds for bilinear forms with Kloosterman fractions of the form ${\sum\sum}_{m,n} \alpha_m \beta_n e(a\overline{m}/(bn))$ with $M< n \le 2N$ and $(m,n)=1$. Our approach works directly with arbitrary coefficient sequences $(\alpha_m), (\beta_n) \in \mathbb{C}$, avoiding the temporary restriction to squarefree support used in prior work. While this requires handling additional arithmetic complexity, it yields strictly stronger bounds that improve upon the estimates of Duke, Friedlander, and Iwaniec \cite{DFI} and Bettin-Chandee \cite{BC}; in the balanced case $M \approx N$, the new saving over the trivial bound is $1/12$%, compared to $1/48$ in \cite{DFI} . As an application, we prove a generalized asymptotic formula for the twisted second moment of the Riemann zeta-function with Dirichlet polynomials of length $T^{1/2+\delta}$ for $\delta = 1/46$, extending beyond the previously limiting $\theta = 1/2$ barrier established by Bettin, Chandee, and Radziwi{\l}{\l} \cite{BCR}. We also establish bounds for related Hermitian sums involving Sali\'{e}-type exponential phases and develop techniques for more general bilinear forms with Kloosterman fractions.

Involution on a quotient space of multiple zeta values in positive characteristic

math.NT

In this paper, we introduce multiple zeta dagger values and special values of Carlitz multiple dagger polylogarithms, and study their properties. In particular, using these values, we construct a non-trivial involution on a certain quotient space of multiple zeta values in positive characteristic.

An explicit study of a family of cellular integrals

math.NT

We express a family of basic cellular integrals over moduli spaces of curves explicitly in terms of multiple zeta values, answering a question of Brown. Moreover, we study a priori the weights appearing in these integrals and find a relation that expresses the odd-dimensional integrals in terms of the even-dimensional ones. We also sketch an explanation of this relation in the spirit of Grothendieck's Period Conjecture.

Degenerate Algorithms for degenerate Bernoulli and Euler numbers

math.NT

This paper introduces and investigates degenerate versions of the A-algorithm and B-algorithm by incorporating a parameter lambda into their respective recurrence relations. We derive explicit formulas for the final sequences of these algorithms in terms of the initial sequences and the degenerate Stirling numbers of the second kind. Furthermore, we establish functional relationships between the ordinary generating functions of the initial sequences and the exponential generating functions of the final sequences. Specifically, we demonstrate that these degenerate algorithms yield degenerate Bernoulli and Euler numbers under specific initial conditions.

A simple inequality relating the Euler-Riemann zeta function, digamma, and cotangent over the unit interval

math.NT

math.CO

We prove an inequality featuring three well-known functions from analysis, namely the cotangent, the Euler-Riemann zeta function, and the digamma function. Aside from a simple proof of our result, we give a conjectured strengthening. We offer various remarks about the origins of this problem.

$\ell^p(\mathbb{Z}^n)$-estimate for long $r$-variational seminorm of discrete Birch-Magyar averages

math.NT

math.CA

We prove $\ell^p(\mathbb{Z}^n)-$estimates for long $r$-variational seminorm of two families of averages: discrete Birch-Magyar averages, for $r>max\{p,p'\}$ with $p>\frac{2c_{\mathfrak{R}}-2}{2c_{\mathfrak{R}}-3}$ and discrete Hardy-Littlewood type averages over certain algebraic varieties, for $r>max\{p,p'\}$ with $p>1$. Further, we discuss an application of these results in ergodic theory.

Mixed fourth moments of automorphic forms and the shifted moments of $L$-functions

math.NT

In this article, we study the mixed fourth moments of Hecke--Maass cusp forms and Eisenstein series with type $(2, 2)$. Under the assumptions of the Generalized Riemann Hypothesis (GRH) and the Generalized Ramanujan Conjecture (GRC), we establish asymptotic formulas for these moments. Our results give an interesting non-equidistribution phenomenon over the full fundamental domain. In fact, this independent equidistribution should be true in a compact set. We further investigate this behaviour by examining a truncated version involving truncated Eisenstein series. Additionally, we propose a conjecture on the joint value distribution of Eisenstein series. The proofs are based on the bounds of the shifted mixed moments of $L$-functions.

Prym varieties that are not isomorphic to Jacobian

math.AG

math.NT

We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym varieties that are not isomorphic to jacobians (even if one ignores the polarizations).

The Mattila-Sj\"olin problem for the k-distance over a finite field

math.CO

math.NT

Let $\mathbb{F}_q^d$ be a $d$-dimensional vector space over a finite field $\mathbb{F}_q$ with $q$ elements. For $x\in \mathbb{F}_q^d$, let $\|x\| = x_1^2+\dots+x_d^2$. By abuse of terminology, we shall call $\|\cdot\|$ a norm on $\mathbb{F}_q^d$. For a subset $E\subset \mathbb{F}_q^d$, let $\Delta(E)$ be the distance set on $E$ defined as $\Delta(E):=\{\|x-y\| : x, y \in E \}$. The Mattila-Sj\"olin problem seeks the smallest exponent $\alpha>0$ such that $\Delta(E) =\mathbb{F}_q$ for all subsets $E \subset \mathbb{F}_q^d$ with $|E| \geq Cq^\alpha$. In this article, we consider this problem for a variant of this norm, which generates a smaller distance set than the norm $\|\cdot\|.$ Namely, we replace the norm $\|\cdot\|$ by the so-called $k$-norm $(1 \leq k \leq d)$, which can be viewed as a kind of deformation of $\|\cdot\|$. To derive our result on the Mattila-Sj\"olin problem for the $k$-norm, we use a combinatorial method to analyze various summations arising from the discrete Fourier machinery. Even though our distance set is smaller than the one in the Mattila-Sj\"olin problem, for some $k$ we still obtain the same result as that of Iosevich and Rudnev (2007), which deals with the Mattila-Sj\"olin problem. Furthermore, our result is sharp in all odd dimensions.

Construction of simple quotients of Bernstein-Zelevinsky derivatives and highest derivative multisegments III: properties of minimal sequences

math.RT

math.NT

Let $F$ be a non-Archimedean local field. For an irreducible smooth representation $\pi$ of $\mathrm{GL}_n(F)$ and a multisegment $\mathfrak m$, one associates a simple quotient $D_{\mathfrak m}(\pi)$ of a Bernstein-Zelevinsky derivative of $\pi$. In the preceding article, we showed that \[ \mathcal S(\pi, \tau) :=\left\{ \mathfrak m : D_{\mathfrak m}(\pi)\cong \tau \right\} , \] has a unique minimal element under the Zelevinsky ordering, where $\mathfrak m$ runs for all multisegments. The main result of this article includes commutativity and subsequent property of the minimal sequence. At the end of this article, we conjecture some module structure arising from the minimality.

Constraint Structure and Zero Counting in the Integral Representation of the Zeta Function

math.NT

v2

Starting from the classical integral representation of the $\zeta(s)$ function introduced by Riemann in 1859, this paper reexamines its analytic symmetry structure. By performing a geometric decomposition of the integral representation, we demonstrate that on the critical line $\Re(s)=\frac{1}{2}$, the value of $\xi(s)$ corresponds strictly to the \textbf{real-part projection} of a specific analytic component. This discovery equivalently transforms the problem of complex zeros into a problem of \textbf{sign evolution} along the real axis. Based on this geometric framework, we \textbf{construct} an analytic mechanism of \textbf{"Two-End Anchoring, Interval Counting"}: the global argument increment on the region boundary \textbf{anchors} the initial value of the phase function, while the geometric decomposition structure on the critical line \textbf{locks} its final value. This mechanism reveals an \textbf{intrinsic coherence} between global topological constraints and local sign oscillations. Unlike traditional methods that rely on asymptotic estimates (such as the Big $O$ error term), the analysis in this paper is \textbf{grounded in} exact identities. It unveils the \textbf{geometric determinism} underlying the zero-counting formula, offering a novel perspective for analytic number theory independent of asymptotic analysis.

Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

math.NT

math.AG

v3

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity. We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature. In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Ap\'ery-type infinite series.

On generalization of Breuil--Schraen's $\mathscr{L}$-invariants to $\mathrm{GL}_n$

math.NT

math.RT

v2

Let $p$ be prime number and $K$ be a $p$-adic field. We systematically compute the higher $\mathrm{Ext}$-groups between locally analytic generalized Steinberg representations (LAGS for short) of $\mathrm{GL}_n(K)$ via a new combinatorial treatment of some spectral sequences arising from the so-called Tits complex. Such spectral sequences degenerate at the second page and each $\mathrm{Ext}$-group admits a canonical filtration whose graded pieces are terms in the second page of the corresponding spectral sequence. For each pair of LAGS, we are particularly interested their $\mathrm{Ext}$-groups in the bottom two non-vanishing degrees. We write down an explicit basis for each graded piece (under the canonical filtration) of such an $\mathrm{Ext}$-group, and then describe the cup product maps between such $\mathrm{Ext}$-groups using these bases. As an application, we generalize Breuil's $\mathscr{L}$-invariants for $\mathrm{GL}_2(\mathbb{Q}_p)$ and Schraen's higher $\mathscr{L}$-invariants for $\mathrm{GL}_3(\mathbb{Q}_p)$ to $\mathrm{GL}_n(K)$. Along the way, we also establish a generalization of Bernstein--Zelevinsky geometric lemma to admissible locally analytic representations constructed by Orlik--Strauch, generalizing a result in Schraen's thesis for $\mathrm{GL}_3(\mathbb{Q}_p)$.

$L$-derivatives of the fixed elliptic curve over rank-one imaginary quadratic fields

math.NT

v3

There is a one-sided central limit theorem for the logarithms of $L$-derivatives of a fixed rational non-CM elliptic curve $E$ over imaginary quadratic fields of rank one, analogous to a result of Radziwi\l\l\ and Soundararajan. There are also many $L$-derivatives that are not small.

Zariski density of modular points in the Eisenstein case

math.NT

v2

In this article, we study the Zariski closure of modular points in the two-dimensional universal deformation space when the residual Galois representation is reducible. Unlike the previous approaches in the residually irreducible case from Gouv\^ea-Mazur, B\"ockle and Allen, our method relies on local-global compatibility results, potential pro-modularity arguments and a non-ordinary finiteness result between the local deformation ring at $p$ and the global deformation ring. This allows us to construct sufficiently many non-ordinary regular de Rham points whose modularity is guaranteed by the recent progress on the Fontaine-Mazur conjecture. Also, we will discuss some applications of our main results, including the equidimensionality of certain big Hecke algebras and big $R=\mathbb{T}$ theorems in the residually reducible case.

The $L$-function of the surface parametrizing cuboids

math.NT

math.AG

v2

In this note, we compute the $L$-function of the projective smooth surface $S$ over $\mathbb{Q}$ that parametrizes cuboids whose geometric properties are studied in detail by Stoll and Testa. As a byproduct, we completely determine the structure of ${\rm Pic}(S_{\overline{\mathbb{Q}}})$ as a ${\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$-module.

Intersections of sumsets in additive number theory

math.NT

v3

Let $A$ be a subset of an additive abelian semigroup $S$ and let $hA$ be the $h$-fold sumset of $A$. The following question is considered: Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets in $S$ and let $A = \bigcap_{q=1}^{\infty} A_q$. When does one have \[ hA = \bigcap_{q=1}^{\infty} hA_q \] for some or all $h \geq 2$?

Dual of the Geometric Lemma and the Second Adjointness Theorem for $p$-adic reductive groups

math.RT

math.NT

v3

Let $P,Q$ be standard parabolic subgroups of a $p$-adic reductive group $G$. We study the smooth dual of the filtration on a parabolically induced module arising from the geometric lemma associated to the cosets $P\setminus G/Q$. We prove that the dual filtration coincides with the filtration associated to the cosets $P\setminus G/Q^-$ via the Bernstein-Casselman canonical pairing from the second adjointness of parabolic induction. This result generalizes a result of Bezrukavnikov-Kazhdan on the explicit description in the second adjointness. Along the way, we also study some group theoretic results.

The Weakly Special Conjecture contradicts orbifold Mordell, and hence the abc conjecture

math.AG

math.NT

v3

Starting from an Enriques surface over $\mathbb{Q}(t)$ considered by Lafon, we give the first examples of smooth projective weakly special threefolds which fibre over the projective line in Enriques surfaces (resp. K3 surfaces) with nowhere reduced, but non-divisible, fibres and general type orbifold base. We verify that these families of Enriques surfaces (resp. K3 surfaces) are non-isotrivial and compute their fundamental groups by studying the behaviour of local points along certain \'etale covers. The existence of the above threefolds implies that the Weakly Special Conjecture formulated in 2000 contradicts the Orbifold Mordell Conjecture, and hence the abc conjecture. Using these examples, we can also easily disprove several complex-analytic analogues of the Weakly Special Conjecture. Finally, the existence of such threefolds shows that Enriques surfaces and K3 surfaces can have non-divisible but nowhere reduced degenerations, thereby answering a question raised in 2005.

Dirichlet Species and Arithmetic Zeta Functions

math.CT

math.AG

math.NT

v3

Though Joyal's species are known to categorify generating functions in enumerative combinatorics, they also categorify zeta functions in algebraic geometry. The reason is that any scheme $X$ of finite type over the integers gives a "zeta species" $Z_X$, and any species $F$ gives a Dirichlet series $\widehat{F}$, in such a way that $\widehat{Z}_X$ is the arithmetic zeta function of $X$, a well-known Dirichlet series that encodes the number of points of $X$ over each finite field. Specifically, a $Z_X$-structure on a finite set is a way of making that set into a semisimple commutative ring, say $k$, and then choosing a $k$-point of the scheme $X$. This is an elaboration of joint work with James Dolan.

Algorithms for parabolic inductions and Jacquet modules in $\mathrm{GL}_n$

math.RT

math.NT

v2

In this article, we present algorithms for computing parabolic inductions and Jacquet modules for the general linear group $G$ over a non-Archimedean local field. Given the Zelevinsky data or Langlands data of an irreducible smooth representation $\pi$ of $G$ and an essentially square-integrable representation $\sigma$, we explicitly determine the Jacquet module of $\pi$ with respect to $\sigma$ and the socle of the normalized parabolic induction $\pi \times \sigma$. Our result builds on and extends some previous work of M\oe glin-Waldspurger, Jantzen, M\'inguez, and Lapid-M\'inguez, and also uses other methods such as sequences of derivatives and an exotic duality. As an application, we give a simple algorithm for computing the highest derivative multisegment and an algorithm for computing the Langlands parameter of the highest Bernstein-Zelevinsky derivatives.

Finding All Solutions of qKZ Equations in Characteristic $p$

math-ph

math.AG

math.MP

math.NT

v2

In [J. Lond. Math. Soc. 109 (2024), e12884, 22 pages, arXiv:2208.09721], the difference qKZ equations were considered modulo a prime number $p$ and a family of polynomial solutions of the qKZ equations modulo $p$ was constructed by an elementary procedure as suitable $p$-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial examples of the qKZ equations in characteristic $p$. We describe all solutions of these qKZ equations in characteristic $p$ by demonstrating that they all stem from the $p$-hypergeometric solutions. We also prove a Lagrangian property (called the orthogonality property) of the subbundle of the qKZ bundle spanned by the $p$-hypergeometric sections. This paper extends the results of [arXiv:2405.05159] on the differential KZ equations to the difference qKZ equations.

Machine Learnability as a Measure of Order in Aperiodic Sequences

cs.LG

math.NT

v2

Research on the distribution of prime numbers has revealed a dual character: deterministic in definition yet exhibiting statistical behavior reminiscent of random processes. In this paper we show that it is possible to use an image-focused machine learning model to measure the comparative regularity of prime number fields at specific regions of an Ulam spiral. Specifically, we demonstrate that in pure accuracy terms, models trained on blocks extracted from regions of the spiral in the vicinity of 500m outperform models trained on blocks extracted from the region representing integers lower than 25m. This implies existence of more easily learnable order in the former region than in the latter. Moreover, a detailed breakdown of precision and recall scores seem to imply that the model is favouring a different approach to classification in different regions of the spiral, focusing more on identifying prime patterns at lower numbers and more on eliminating composites at higher numbers. This aligns with number theory conjectures suggesting that at higher orders of magnitude we should see diminishing noise in prime number distributions, with averages (density, AP equidistribution) coming to dominate, while local randomness regularises after scaling by log x. Taken together, these findings point toward an interesting possibility: that machine learning can serve as a new experimental instrument for number theory. Notably, the method shows potential 1 for investigating the patterns in strong and weak primes for cryptographic purposes.