Number Theory [math.NT]

Finiteness for \'{E}tale Fundamental Groups of N\'{e}ron Models

math.NT

In this paper, we prove that the \'{e}tale fundamental group of the N\'{e}ron model of an abelian variety over a number field $K$ is the semidirect product of a finite group with the \'{e}tale fundamental group of the ring of integers of $K.$ We prove this by studying how the Faltings height of an abelian variety changes under covers that spread out to finite \'{e}tale covers of its N\'{e}ron model. We then strengthen this result for elliptic curves. Using Merel's torsion theorem, we show the size of this finite group can be uniformly bounded for a fixed number field. We conclude by giving the list of all possible \'{e}tale fundamental groups for the N\'{e}ron model of an elliptic curve over $\mathbb{Q}.$

Critical Zeros and Unconditional Mean Value Theorems for twisted $\hbox{PGL}(2)$ and $\hbox{PGL}(3)$ $\mathrm{L}$-functions

math.NT

Let $\Pi_{0}$ be a cuspidal automorphic representation of $\mathrm{PGL}_{3}(\mathbb{A}_{\mathbb{Q}})$. In this paper, we use Levinson's method to prove that, as $Q\to \infty$, at least $1/9$ of the zeros of the $L$-functions $L(s, \Pi_{0}\,\times\, \chi)$ lie on the critical line, where $\chi$ ranges over the family of primitive Dirichlet characters of conductor up to $Q$. This result is unconditional when $\Pi_{0}$ is self-dual, and otherwise holds under a mild condition. The key technical input is a new asymptotic formula with a power-saving error term for the mean square of the product of $L(s, \Pi_{0}\times \chi)$ and a Dirichlet polynomial with arbitrary coefficients in both the $T$- and $Q$-aspects for the range $Q^{\epsilon}\le T \le Q^{1/3-\epsilon}$. When $T=Q^{\epsilon}$, our asymptotic formula allows Dirichlet polynomials of length $\theta <1/2-\epsilon$; when $\theta=0$, it gives a strong error term of size $O_{\epsilon}(Q^{7/4+\epsilon})$. Furthermore, our result provides evidence for the CFKRS conjectures for large twists and large vertical shifts. We also obtain corresponding results for $\mathrm{PGL}_{2}(\mathbb{A}_{\mathbb{Q}})$, which are fully unconditional, quantitatively stronger, and also appear to be new. This work develops a refined, flexible, and uniform version of the Asymptotic Large Sieve for $L$-functions that does not require any unproven progress toward the Generalized Ramanujan Conjecture. The arithmetic of $\Pi_{0}$ plays a crucial and delicate role in our argument. This work also makes extensive use of Mathematica to handle various elaborate Hecke algebra computations. Our mean value theorem is readily applicable to many other problems in analytic number theory.

Functional Equations Characterize Dirichlet Characters

math.NT

We prove a converse theorem for functional equations of Dirichlet $L$-functions. Under mild assumptions, we prove that these functional equations for $L$-series of the form $\sum_{n\ge 1} f(n) n^{-s}$ force the coefficient function $f$ to be a primitive Dirichlet character. Consequently, these functional equations force the existence of an Euler product.

Character sums over smooth numbers

math.NT

math.PR

Let $\Psi (x,y)$ denote the count of $y$-smooth numbers below $x$ and $P(n)$ denote the largest prime factor of $n$. We show that \[ \frac{1}{\varphi(q)} \sum_{\chi \bmod q} \Bigl| \sum_{\substack{n \leq x \\ P(n) \leq y}} \chi(n) \Bigr| = o \Bigl( \sqrt{\Psi(x,y)} \Bigr), \] whenever $(\log x)^6 \leq y \leq x^{\frac{1}{32 \log \log x}}$ and $q \geq x^{1 + \varepsilon}$ for some small quantifiable $\varepsilon > 0$. The saving is substantial when $\varepsilon$ is fixed away from zero, and we prove similar results for continuous characters and completely multiplicative twists of these sums.

Depth Two Mock Modularity by Eisenstein Series Coupling

math.NT

hep-th

The notion of depth two and higher mock modular forms have found important applications in mathematical physics and enumerative geometry since their inception through indefinite theta functions with general signature. These theta functions generalize Zwegers' work on Lorentzian signature lattices and the framework of mock modular forms that emanated from it. Mock modular forms can also be studied through Eisenstein and Poincar\'e series. The interaction of this second point of view with the indefinite theta function approach yields a wealth of tools to unearth the rich structure behind mock modular forms. For mock modular forms of higher depth, on the other hand, indefinite theta functions and their variants largely remained the only available approach. In this paper, we show that one can indeed get mock modular forms of depth two by "coupling" a pair of Eisenstein series that yield depth one mock modular forms, thereby providing a new and independent approach to higher depth mock modular forms. We exemplify this new perspective on a depth two object that appeared in the context of Vafa-Witten invariants.

Rank of P\'olya Groups in Lecacheux Parametric Family of Quintic Fields

math.NT

In this article, we study the P\'olya group of a new family of quintic fields, namely Lecacheux quintic fields. We show that the associated P\'olya groups can be arbitrarily large elementary abelian \(5\)-groups. Using density arguments, we prove that for every positive integer $k$, the set of odd integers $s$ such that the $5-$rank of the P\'olya group of the corresponding Lecacheux quintic field is at least $k$ has a positive density. Combining this with a result of Golod and Shafarevich, we see that for a positive proportion of $s$, the corresponding Lecacheux quintic fields admit an infinte $5-$class field tower. We also establish an upper bound for the P\'olya numbers of these fields in terms of the orders of their corresponding P\'olya groups. In addition, we prove that several fields in this family are non-monogenic despite having index one.

The Minimal Absolute Value of Sums of Fifth Roots of Unity

math.NT

math.CO

We determine the minimal absolute value of a non-vanishing sum of $n$ fifth roots of unity chosen with repetition, and characterize the corresponding sums. As a function of $n$, the minimal absolute value is monotone non-increasing over congruence classes of $n$ modulo $5$ and its only jumps occur when $n=5F_m$, $n=L_m$, or $n=2L_m$, where $F_m$ and $L_m$ denote the $m$-th Fibonacci and Lucas numbers respectively. To prove our results we reduce the problem to a series of inequalities involving rational approximations of the golden ratio $\varphi=(1+\sqrt{5})/2$, the solutions of which can be characterized using the theory of continued fractions.

Reductions Of Crystalline Representations Of Fractional Slope $

math.NT

Shalini Bhattacharya, Eknath Ghate, Ravitheja Vangala

Let $p$ be an odd prime and let $V_{k,a_p}$ be the two-dimensional crystalline representation of the Galois group of ${\mathbb Q}_p$ of weight $k \geq 2$ and parameter $a_p \in \bar{\mathbb{Q}}_p$. We study the semi-simplification $\bar{V}_{k,a_p}$ of the mod $p$ reduction of $V_{k,a_p}$ when the slope (valuation of $a_p$) is a positive fraction $< p-1$ using the mod $p$ local Langlands correspondence. We describe the $\textit{exact shape}$ of $\bar{V}_{k,a_p}$ for all such slopes and all (sufficiently large, depending on the slope) weights $k$, as long as certain Jordan-H\"older factors of dimension $p-1$ do not intervene in the computation (when $k$ is odd), though we also provide some criteria which further determine the shape of $\bar{V}_{k,a_p}$ in some of these exceptional cases. To keep this paper a reasonable length, we assume that for certain bad congruence classes of $k$ mod $p$, the slope is less than the representative - taken in the range $[1,p-1]$ - of the congruence class of $k-2$ mod $(p-1)$, which is generically the case if the slope is small. Finally, a folklore conjecture predicts that the reduction $\bar{V}_{k,a_p}$ is $\textit{irreducible}$ for fractional slopes if $k$ is even. We deduce this conjecture for all fractional slopes $< p-2$ and all (sufficiently large, even) weights $k$ under the aforementioned slope assumption.

Distribution of Selmer ranks in prime cyclic extensions

math.NT

math.PR

Using modifications to work of Klagsbrun, Mazur, and Rubin, we study (assuming the Extended Riemann Hypothesis) the distribution of Selmer ranks of twist families of some given even-dimensional Galois modules satisfying some mild technical conditions. As a corollary, we study the probability with which a fixed elliptic curve gains (or does not gain) rank in $p$-cyclic extensions, obtaining bounds for this distribution. Likewise, for some superelliptic curves $C$, we bound the average size of $C(L)$ as $L$ ranges over $p$-cyclic extensions over a number field $K$ containing primitive $p$-th roots of unity. Lastly, we study the probability with which a fixed hyperelliptic curve gains (or does not gain) rank in quadratic extensions, also obtaining bounds for this distribution. In all three cases, the extensions under consideration are ordered by the product of ramified primes.

An absolute bound for generalized Diophantine tuples over polynomial rings

math.NT

Let $\mathbb F$ be an algebraically closed field of characteristic $0$. Let $k\geq 2$ be an integer, and let $n\in \mathbb F[x]\setminus\{0\}$. We study generalized Diophantine tuples $A\subset \mathbb F[x]$ with property $D_k(n)$, meaning that $ab+n$ is a $k$-th power in $\mathbb F[x]$ for all distinct elements $a,b\in A$. For $k\ge18$, we prove that every such tuple satisfies $|A|\le6$, except for the necessary exceptional family in which $n=s^2$ is a $k$-th power and $A\subset s\mathbb{F}$. This bound is absolute: it is independent of both $n$ and $\operatorname{deg} n$. Our proof develops a new method for studying polynomial Diophantine tuples, combining a determinant criterion, generalizations of the Mason--Stothers theorem, and the Combinatorial Nullstellensatz. We also record a conditional analogue for generalized Diophantine tuples over the integers.

Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

math.NT

We establish sharp lower bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |\sum_{n \leq x} \chi(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r^{0.499}$, and $0 \leq q \leq 1$ is real. These match the better than squareroot cancellation upper bounds obtained in previous work of the author. We prove the same sharp lower bounds for the moments $\frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{it}|^{2q} dt$ of zeta sums, and more generally for moments of character sums $\sum_{n \leq x} h(n) \chi(n)$ with suitably bounded multiplicative twist $h(n)$. The proofs are based on a comparison of the sizes of $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} (\sum_{n \leq x} \chi(n)) \overline{I(\chi)}$, $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |I(\chi)|^2$ and $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |I(\chi)|^4$, where $I(\chi)$ is a certain ``barrier adjusted'' Perron integral inspired by the analogous results for random multiplicative functions. In a companion paper, we extend these arguments to the full interesting range $x \leq 0.99r$ for the unweighted character sum moments $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |\sum_{n \leq x} \chi(n)|^{2q}$. This leads to a positive proportion non-vanishing result for Dirichlet theta functions $\theta(1,\chi)$.

On a conjecture of Andrews and almost alternating sign patterns

math.NT

In this paper, we prove a sign phenomenon first observed by Andrews for certain $q$-series from Ramanujan's Lost Notebook. For three of the series considered by Andrews, namely $v_2(q)$, $v_3(q)$, and $v_4(q)$, we show that the coefficients are alternating in sign, with only a density-zero set of exceptions. Our approach yields precise asymptotic formulas for the coefficients via an adapted circle method, inspired by the work of Folsom-Males-Rolen-Storzer on the $q$-series $v_1(q)$, revealing an interplay between exponential growth and oscillatory behaviour. This interaction produces a dominant alternating sign factor, which governs the sign regularity observed numerically by Andrews. More broadly, we establish the same sign behaviour for explicit infinite families of $q$-hypergeometric series encompassing these examples, and show that it arises systematically from oscillatory asymptotics of these $q$-series near roots of unity. We introduce an additional family whose coefficients appear to exhibit similar sign regularity, suggesting that this phenomenon is widespread and may point towards a deeper underlying theory.

Central isogenies and conjugacy classes in reductive groups

math.RT

math.AG

math.NT

Steinberg described the group of components of the centralizer of a semisimple element of a connected semisimple algebraic group $G$ as a subgroup of the fundamental group of $G$. We show that this description can be generalized to explain the fact that centralizers of unipotent elements can fail to be reduced when the universal cover of $G$ is not \'etale. As applications, we compute generic multiplicities in the special fibers of moduli spaces of L-parameters and universal deformation rings, and we show there is no Springer isomorphism for $\mathrm{PGL}_p$ in characteristic $p$.

On the Extended 1-2-3 Conjecture of Pilz

math.CO

math.NT

We resolve (for all sufficiently large $n$) a conjecture of Pilz on the symmetric difference $A\Delta (2A)\Delta \cdots\Delta (nA)$ for finite sets $A\subseteq \mathbb{N}$ of positive integers. We show that this set always has cardinality at least $n$ for large $n$.

$A_3$-formality for pro-2 Demushkin groups

math.GR

math.AT

math.KT

math.NT

We study a weak form of formality for differential graded algebras, called $A_3$-formality, and show that the differential graded $\mathbb{F}_2$-algebras of continuous cochains of all pro-$2$ Demushkin groups are $A_3$-formal. We prove this result by an explicit computation of the Benson--Krause--Schwede canonical class using the classification of pro-$2$ Demushkin groups by Demushkin, Serre, and Labute. Compared to the case of odd primes, the new idea is to interpret the data of the canonical class as defining systems of higher Massey products.

Sheared Witt Vectors

math.AG

math.KT

math.NT

V. Drinfeld and E. Lau introduced a ``decompletion'' of the ring of $p$-typical Witt vectors, following earlier work of T. Zink. The goal of this paper is to offer an exposition of this construction, which we call the sheared Witt vectors, on the category of rings $R$ whose reduction is a perfect $\mathbb{F}_p$-algebra.

Random Diophantine Equations in the Primes II

math.NT

v2

Let $d\ge 2$ and $n\ge d$ with $(d,n)\notin \{(2,2),(3,3)\}$. We consider homogeneous Diophantine equations of degree $d$ in $n+1$ variables and whether they have solutions in the primes. In particular, we show that a certain local-global principle holds for almost all such equations, following on from previous work of the author arXiv:2305.06306. We do this by adapting the methods of Browning, Le Boudec and Sawin (Annals, 2023).

The quaternionic Maass Spezialschar on split $\mathrm{SO}(8)$

math.NT

v3

The classical Maass Spezialschar is a Hecke-stable subspace of the space of holomorphic Siegel modular forms of genus two and level one cut out by certain linear relations among Fourier coefficients. We define an analogous quaternionic Maass Spezialschar, which consists of the quaternionic modular forms of level one on split $\mathrm{SO}(8)$ whose Fourier coefficients satisfy certain linear relations. We characterize this space in terms of a theta lift from the space of holomorphic Siegel modular forms on $\mathrm{Sp}(4)$, and in terms of periods. We also give a conjecture for the Dirichlet series of the standard $L$-function of quaternionic modular eigenforms on $\mathrm{SO}(8)$ and verify our conjecture on the quaternionic Maass Spezialschar.

Explicit $7$-torsion in the Tate-Shafarevich groups of genus $2$ Jacobians

math.NT

v3

Let $C/\mathbb{Q}$ be a genus $2$ curve whose Jacobian $J/\mathbb{Q}$ has real multiplication by a quadratic order in which $7$ splits. We describe an algorithm which outputs twists of the Klein quartic curve which parametrise elliptic curves whose mod $7$ Galois representations are isomorphic to a sub-representation of the mod $7$ Galois representation attached to $J/\mathbb{Q}$. Applying this algorithm to genus $2$ curves of small conductor in families of Bending and Elkies--Kumar we exhibit a number of genus $2$ Jacobians whose Tate--Shafarevich groups (unconditionally) contain a non-trivial element of order $7$ which is visible in an abelian three-fold.

On depth-zero integral models of local Shimura varieties

math.NT

math.AG

math.RT

v3

We specify explicit affinoids in depth-zero local Shimura varieties whose reductions are parabolic Deligne-Lusztig varieties, and construct explicit Jacquet-Langlands pairs of regular depth-zero supercuspidal representations in the cohomology of local Shimura varieties. Along the way, we develop the theory of integral moduli spaces of depth-zero level structures on local shtukas, especially at non-parahoric levels. As a consequence, we provide a direct construction of Yoshida's generalized semistable models of depth-zero Lubin-Tate spaces that were originally constructed as successive blowups.

The distribution of intersections in $\mathrm{SL}(3, \mathbb{Z}) \backslash \mathrm{SL}(3, \mathbb{R})$ and lattices related to roots of cubic congruences

math.NT

math.DS

v2

In this note we study the distribution of the intersections between certain translates of closed orbits of the positive diagonal subgroup in $\mathrm{SL}(3, \mathbb{Z}) \backslash \mathrm{SL}(3, \mathbb{R})$ with a maximal parabolic subgroup. These intersections are closely connected to roots of congruences for certain monic, irreducible cubic polynomials $F(X) \in \mathbb{Z}[X]$. The the main result is that the intersections, considered as a sequences in the diagonal subgroup and the parabolic subgroup, are jointly equidistributed. This implies that certain affine lattices determined by pairs of roots of the cubic congruences are jointly equidistributed with corresponding ideals in the associated ring of integers. We note that the techniques here roughly parallel those which has been developed to study the multidimensional Farey sequence, and one hopes that techniques to study roots of congruences will continue to develop.

Repdigits as Product of Consecutive Shifted Tribonacci Numbers

math.NT

v2

A repdigit is a positive integer that has only one distinct digit in its decimal expansion, i.e., a number has the form $d(10^m-1)/9$ for some $m\geq 1$ and $1 \leq d \leq 9$. Let $\left(T_n\right)_{n\ge0}$ be the Tribonacci sequence. This paper deals with the presence of repdigits in the products of consecutive shifted Tribonacci numbers.

Equivalence criteria for the two-term functional equations for Herglotz-Zagier functions

math.NT

v2

For any integer $a$ and non-negative integer $b$, we define a Herglotz--Zagier (HZ) type function $F_{a,b}(x)$ by an absolutely convergent series involving the Digamma function $\psi(x)$. For each such $F_{a,b}(x)$, we associate an integer weight. In the literature, Ramanujan, Guinand, Zagier, Vlasenko-Zagier have derived two-term functional equations for some HZ type functions of positive weights. In this paper, we study a class of HZ type function associated with negative weights, and obtain their two-term functional equations. Parallelly, we associate an integer weight to the Kronecker limit type formula for the generalized Mordell--Tornheim zeta function $\Theta(r,s,t,x)$. We establish that any two-term functional equation for HZ type function is equivalent to a Kronecker limit type formula of $\Theta(r,s,t,x)$, preserving weight. As a consequence, we derive new Kronecker limit type formulas and obtain a new special value of the Mordell--Tornheim zeta function $\zeta_{\textup{MT}}(r,s,t)$. We also obtain results of Ramanujan, Guinand, Zagier, and Vlasenko-Zagier as consequences, to show that the Mordell--Tornheim zeta function lies centrally between many known modular relations.

Positivity of partial sums of a random multiplicative function and corresponding problems for the Legendre symbol

math.NT

v3

Let $f(n)$ be a random completely multiplicative function such that $f(p) = \pm 1$ with probabilities $1/2$ independently at each prime. We study the conditional probability, given that $f(p) = 1$ for all $p < y$, that all partial sums of $f(n)$ up to $x$ are nonnegative. We prove that for $y \ge C \frac{(\log x)^2 \log_2 x}{\log_3 x}$ this probability equals $1 - o(1)$. We also study the probability $P_x'$ that $\sum_{n \le x} \frac{f(n)}{n}$ is negative. We prove that $P_x' \ll \exp \left( - \exp \left( \frac{\log x \log_4 x}{(1 + o(1)) \log_3 x} \right) \right)$, which improves a bound given by Kerr and Klurman. Under a conjecture closely related to Hal\'asz's theorem, we prove that $P_x' \ll \exp(-x^{\alpha})$ for some $\alpha > 0$. Let $\chi_p(n) = \left( \frac{n}{p} \right)$ be the Legendre symbol modulo $p$. For a prime $p$ chosen uniformly at random from $(x, 2x]$, we express the probability that all partial sums of $\frac{\chi_p(n)}{n}$ are nonnegative in terms of the probability that partial sums of $\frac{f(n)}{n}$ are nonnegative.

Magnetic orthogonal modular forms

math.NT

v2

In this note we show that certain meromorphic orthogonal modular forms are magnetic, i.e.\ their Fourier coefficients satisfy special divisibility criteria. These meromorphic orthogonal modular forms are counterparts to the orthogonal cusp forms considered by Oda. We show that the seminal of work of Borcherds implies the magneticity of these forms.

On a M\"obius double sum

math.NT

v3

We study the double sum $S_\varepsilon(X)$$=$$\sum_{\substack{d,e\le X}}\frac{\mu(d)\mu(e)}{[d,e]^{1+\varepsilon}}$, which converges even in the case $\varepsilon=0$, where $\mu$ denotes the M\"obius function and $[d,e]$ is the least common multiple of $d$ and $e$. Such expressions arise naturally in analytic number theory, notably as the diagonal contribution in certain squared mean values, and they play a significant role in zero-density estimates for the Riemann zeta function and related $L$-functions. We establish uniform upper bounds for $S_\varepsilon(X)$ across various ranges of $X$, with particular emphasis on the case $\varepsilon$ close to $0^+$.

Binomial coefficients with divisors avoiding an interval

math.NT

v2

We solve a fifty-year-old conjecture of Erd\H{o}s and Graham concerning whether the binomial coefficient ${n \choose k}$ with $1 \leq k \leq \frac{n}{2}$ must always have a divisor $\leq n$ that is ``close'' to $n$: that is, bigger than a constant times $n$. We show this is the case when $k$ is sufficiently large as a function of $n$. However, we show it is possible to find binomial coefficients ${n \choose k}$, where $k$ is small compared to $n$, such that ${n \choose k}$ does not have divisors $\leq n$ close to $n$. This latter, more substantial argument involves a restricted covering problem with residue classes, sieve methods, and various exponential sum estimates.

Stable quadratic polynomials over $\mathbb{Q}(i)$

math.NT

v2

We study iterates of a quadratic $f= x^2+1/c\in K[x]$. If the number of factors of $f^n:=f\circ f \circ ... \circ f$ is bounded by a constant independent of $n$, then $f$ is said to be \emph{eventually stable}. This paper is an extension to $\mathbb{Q}(i)$ of the paper \cite{evstb}, which considered $f$ over $\mathbb{Q}$. The conjecture "if $f^2$ is irreducible, then $f^n$ is irreducible for all $n$" extends to $\mathbb{Q}(i)$, but due to the lack of a linear ordering on $\mathbb{Q}(i)$, an auxiliary function is involved in a specific $n$ to check. The elusive case of $c\equiv 2 \bmod 4$ (as a $\mathbb{Z}$ equivalence class) is shown to be "stable" over $\mathbb{Q}(i)$, offering more evidence for \cite[Conjecture 1]{evstb}. Stability for $c\equiv 1\bmod 2$ (as a $\mathbb{Z}[i]$ equivalence class) is not as fully handled as over $\mathbb{Z}$, however.

Separable integer partition classes and Slater's list -- II

math.NT

math.CO

v2

Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.

Counting Arithmetical Structures on Paths and Cycles

math.CO

math.NT

v5

Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.

La geometr\'ia de los monoides

math.AG

math.NT

v2

In this article we present the basis of Monoid Theory from a categorical point of view, emphasizing the analogies and differences with the theory of modules over commutative rings. We present the generalization of affine schemes to affine monoidal schemes. We study the relationship between the latter and toric varieties, and we set up the basis for the study of Fontaine-Kato-Illusie's Logarithmic Geometry, widely used in Arithmetic Geometry. En este art\'iculo presentamos las bases de la teor\'ia de monoides desde el punto de vista categ\'orico, haciendo \'enfasis en las analog\'ias y diferencias con la teor\'ia de m\'odulos sobre anillos conmutativos. Se presenta la generalizaci\'on de esquema af\'in a esquema af\'in monoidal; estudiamos la relaci\'on que \'estos tienen con las variedades t\'oricas y sentamos las bases para el estudio de la Geometr\'ia Logar\'itmica de Fontaine-Kato-Illusie, ampliamente usada en Geometr\'ia Aritm\'etica.

Fourier transform and endoscopic transfer on real Lie algebras

math.RT

math.NT

v2

We prove that the endoscopic transfer on real Lie algebras exists and commutes with the Fourier transform, using methods that are purely local.

Logarithmic Geometry and Geometric Class Field Theory

math.AG

math.NT

v2

We demonstrate an application of logarithmic geometry in the context of geometric Langlands, by providing a logarithmic upgrade of Deligne's geometric class field theory for tamely ramified Galois groups. In particular, we define a framed logarithmic Picard space, and show that a logarithmic compactification of the classical tamely ramified Div-to-Pic map has, for sufficiently large degree, log-simply connected fibers given by logarithmically compactified vector spaces. This provides a canonical bijection between local systems on the curve with divisorial log structure and multiplicative local systems on the framed logarithmic Picard, a logarithmic version of the Hecke eigensheaf correspondence of geometric Langlands for GL_1. We use this to re-derive tamely ramified global Artin reciprocity for function fields, and show that logarithmic geometry allows for a geometric interpretation of local-to-global compatibility at all places, in addition to the unramified places.

On a Restriction Problem of Hickman and Wright for the Parabola over $\mathbb{Z}/N\mathbb{Z}$ for Squarefree $N$

math.CA

math.CO

math.NT

v2

Hickman and Wright proved an $L^2$ restriction estimate for the parabola $\Sigma$ over $\mathbb{Z}/N\mathbb{Z}$ of the form $$\left(\frac{1}{|\Sigma|}\sum\limits_{m\in\Sigma}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C_\epsilon N^\epsilon\cdot N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{6}{5}\right)^\frac{5}{6}$$ for all functions $f:(\mathbb{Z}/N\mathbb{Z})^2\rightarrow \mathbb{C}$ and any $\epsilon>0$, and showed that this bound is sharp when $N$ has a large square factor, especially for $N = p^2$ where $p$ is prime. In contrast, Mockenhaupt and Tao proved in the special case $N = p$ the stronger estimate $$\left(\frac{1}{|\Sigma|}\sum\limits_{m\in\Sigma}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{4}{3}\right)^\frac{3}{4}.$$ We extend the Mockenhaupt--Tao bound to the case of squarefree $N$, proving $$\left(\frac{1}{|\Sigma|}\sum\limits_{m\in\Sigma}|\widehat{f}(m)|^2 \right)^{\frac{1}{2}}\leq C_\epsilon N^\epsilon\cdot N^{-1}\left(\sum\limits_{x\in (\mathbb{Z}/N\mathbb{Z})^2}|f(x)|^\frac{4}{3}\right)^\frac{3}{4},$$ and in fact a slightly sharper version with $C_\epsilon N^\epsilon$ replaced with $2^\frac{\omega(N)}{4}$, where $\omega(N)$ is the number of prime factors of $N$. We also discuss applications of this result to uncertainty principles and signal recovery.

Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications

math.CO

math.CA

math.GR

math.NT

v2

Let $q$ be an odd prime power. We study Kakeya maximal operators associated with horizontal lines in the finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. Our principal object is the refined-direction maximal operator, whose parameter records the projective horizontal direction together with the central homogeneous coordinate determined by horizontality. In rank one, we prove \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(\mathcal D_1)} \lesssim q^{\frac{1}{2}} \|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] where the exponent $\frac{1}{2}$ is sharp. Combining this estimate with endpoint bounds and interpolation, we determine the exact mixed-norm growth exponent: \[ A^{\mathrm{rd}}_1(u,v) = \max\left\{ \frac1v,\, 1-\frac1u,\, \frac2v-\frac1u,\, 1+\frac2v-\frac3u \right\}, \qquad 1\le u,v\le\infty. \] As a consequence, if $E\subset\mathbb H_1(\mathbb F_q)$ meets, in at least $m$ points, a horizontal line in each refined direction from $\Omega\subset D_1$, then \[ |E|\gtrsim \frac{m^2|\Omega|}{q}. \] As a benchmark, we also analyze the coarser operator parameterized only by projective horizontal directions and determine its exact $\ell^u\to\ell^v$ growth exponent in every rank. In rank one, this benchmark is established by a self-contained $TT^*$ argument rather than polynomial vanishing, and the same planar estimate reappears as the zero-central-frequency component of the refined-direction proof. The nonzero central frequencies are controlled by Plancherel, character orthogonality, and a bounded-fiber property of an explicit quadratic map. Thus, the sharp refined-direction estimate is obtained by purely Fourier-analytic methods.

A strange continued fraction associated with the Romik map

math.DS

math.NT

math.PR

v2

In 2008, Dan Romik studied in this journal Primitive Pythagorean Triples, or PPTs. In order to do so, he introduced a modified slow (subtractive) Euclidean algorithm, and showed that the underlying dynamical system of this Euclidean algorithm (the ``Romik system''), is ergodic and has a $\sigma$-finite, infinite measure, of which is explicitly given. In this paper, the Romik system is further studied. Various basic properties are determined, such as the expansion of rational numbers and quadratic irrationals. Also (a version of) the planar natural extension of the Romik system is obtained, and the $\sigma$-finite, invariant measure is explicitly given, and it is shown that it is ergodic. Furthermore, for Lebesgue almost every $x$ asymptotically half of the regular continued fraction (RCF) convergents of $x$ are among the Romik convergents. We also show that related to the Romik map a ``strange'' continued fraction can be given. ``Strange,'' as the set of possible partial quotients (i.e., digits) for any $x\in [0,1]$ in this expansion is $\{ 0, \pm 2\}$. Various properties of this ``Romik expansion'' are given.

Betti-Whittaker periods of the contragredient representations for $\textrm{GL}(n)$

math.RT

math.NT

v2

We define Betti-Whittaker periods for a broad class of cohomological automorphic representations and establish a relation between the periods associated with these representations and their contragredients. This extends a result of Shih-Yu Chen for certain cuspidal automorphic representations.