Number Theory [math.NT]

Rigidity of Averages over the Two Largest Prime Factors

math.NT

Let \(P_1(n)\) and \(P_2(n)\) be the largest and second-largest distinct prime factors of \(n\), respectively. Alladi and Johnson asked whether there exists a bounded function \(f\) on the primes for which both limits \(\frac{1}{x}\sum_{2\le n\le x} f(P_1(n)) \longrightarrow \kappa_1\) and \(\frac{1}{x}\sum_{2\le n\le x} f(P_2(n)) \longrightarrow \kappa_2\) exist with \(\kappa_1\neq\kappa_2\), where we set \(f(P_2(n))=0\) when \(n\) is a prime power. We prove that this is impossible: convergence of the first average forces convergence of the second to the same limit. On the \(\log\log\)-scale, the two averages are expressed as convolutions with explicit Dickman kernels. The Fourier transform of the Dickman kernel associated with the \(P_1\)-average has no real zeros. Wiener's Tauberian theorem then yields vague convergence of the translated measures associated with the weighted prime sums. The convergence of the second average follows.

Explicit Algebraic Numbers all whose Integer Parts of Powers are Composite

math.NT

We present several explicit classes of algebraic integers $\alpha>1$ such that $\lfloor \alpha^n\rfloor$ is composite for all but finitely many $n$.

The sesquicentennial of the prime number $2^{127} - 1$

math.NT

math.HO

The year 2026 marks the 150th anniversary of a remarkable achievement in mathematics: in 1876, the French mathematician \'Edouard Lucas showed that the 39-digit number $M_{127} := 2^{127} -1$ is prime. This stood for 75 years as the largest known prime, and it remains the largest prime number discovered and certified without the aid of a mechanical device. We review the history behind this discovery and give a modern proof of the closely related Lucas-Lehmer test, which is still the main engine behind the certification of large prime numbers.

Trianguline representations and locally analytic principal series of ${\rm GL}_2({\mathbb Q}_p)$

math.NT

Let $\rho$ be an absolutely irreducible 2-dimensional $p$-adic representation of the absolute Galois group of ${\mathbb Q}_p$, and let $\Pi(\rho)$ be the unitary Banach space representation of $G = {\rm GL}_2({\mathbb Q}_p)$ associated to $\rho$ by the $p$-adic Langlands correspondence. We deduce from results due to Colmez, Dospinescu, Pa\v{s}k\={u}nas, Emerton, and others that if the locally analytic representation $\Pi(\rho)^\rm{la}$ has a subquotient isomorphic to a non-zero subquotient of a locally analytic principal series representation of $G$, then $\rho$ is trianguline.

Asymptotic uncorrelations between functions with squarefull kernel and functions of invariant average

math.NT

math.DS

In 1986, Ivi\'c and Tenenbaum introduced arithmetic functions with squarefull kernel, which are also called $s$-functions. Later, Erd\H{o}s and Ivi\'c gave an asymptotic estimate on the shifted convolution sums of $s$-functions. Recently, Bergelson and Richter studied the orbits along the prime Omega function in a uniquely ergodic topological dynamical system and established a new dynamical generalization of the prime number theorem (PNT). These orbits can be viewed as functions of invariant average under multiplications. In this paper, we show that both $s$-functions and their shifted convolutions are asymptotically uncorrelated to the orbits along the prime Omega function in a uniquely ergodic system. As a consequence, we obtain a refinement of the PNT via the local distribution of $s$-functions. Furthermore, several variants of these results are established as well.

Modularity of Point Counts for the Curves $X^a=Y^b$: New Rogers--Ramanujan Identities

math.NT

math.CO

math.RT

For coprime $1

Iwasawa invariants and exceptional pairs of certain abelian fields

math.NT

Let $p$ be an odd prime number and $\zeta_p$ a primitive $p$-th root of unity. By computing special arithmetic elements modulo prime ideals, we have investigated the Iwasawa invariants and exceptional pairs $(p,\chi \omega_p^k)$ of $\mathbf{Q}(\sqrt{d},\zeta_p)$. Here $\chi$ denotes the Dirichlet character associated to $\mathbf{Q}(\sqrt{d})$, and $\omega_p$ the Teichm\"uller character at $p$. First, we determine $\varLambda$-isomorphism classes of Iwasawa modules, and describe structural differences between exceptional and non-exceptional pairs in terms of unramified extensions outside $p$. Next, we report 15 new exceptional pairs in the range $|d|<200$ (resp.~$|d|<10$) and $p <2,\!000,\!000$ (resp.~$p <30,\!000,\!000$), including $(p,k,d)=(28,\!679,\!999,\;2,\!284,\!521,-8)$ for which the $\chi \omega_p^{1-k}$-part of the Iwasawa $\lambda$-invariant is equal to two.

Generalised Gauss--Kuzmin Distribution for Klein sails in $\mathbb R^3$

math.NT

math.DS

The classical Gauss--Kuzmin distribution describes the asymptotic distribution of continued fraction digits. Geometrically, this may be interpreted as the equidistribution of faces of Klein sails in $\mathbb R^2$. In this paper, we establish a three-dimensional analogue of this phenomenon. We prove the equidistribution of local face structures in generic Klein sails in $\mathbb R^3$, thereby obtaining a higher-dimensional generalization of the Gauss--Kuzmin distribution. In addition, we resolve several open questions posed by Karpenkov~\cite{Ka17}. Our approach is based on homogeneous dynamics and is motivated from the work of Kontsevich and Suhov~\cite{KS99}. More precisely, we construct a cross-section for the diagonal flow on $\operatorname{SL}_3(\mathbb R)/\operatorname{SL}_3(\mathbb Z)$, such that visits to the cross-section encode the geometry of three-dimensional sails. The principal technical contribution is the proof that the associated cross-sectional measure is finite, which enables us to derive the limiting face statistics.

Hearing Tamagawa Factors modulo $q - 1$

math.NT

The Tamagawa factor w.r.t.\ the prime $p$ of an abelian variety $A$ over a non- archimedean local field $K$ is found to be congruent modulo $q - 1$ to the wavelet eigenvalues of a $p$-adic Laplacian integral operator on the $O_K$-rational points of its N\'eron model, where $q = p^f$ is the cardinality of the residue field of $K$. The method is to express the volume of the $K$-rational points of $A$ w.r.t.\ the canonical measure in terms of the local $L$-factor given by the Frobenius action on $\ell$-adic cohomolgy, and the Tamagawa factor; and then observe that this coincides with the Serre invariant of that compact $p$-adic analytic manifold modulo $q - 1$. A previous result by \'A.M.\ Ledezma and the author on hearing Serre invariants then yields the asserted congruence.

Hybrid Weyl Subconvexity over Imaginary Quadratic Fields

math.NT

On imaginary quadratic fields, we establish the $\mathrm{GL}_2$ Bessel $\delta$-method and prove the hybrid Weyl-type subconvexity bound for $\mathrm{GL}_2 \times \mathrm{GL}_1$ twisted $L$-functions in the Archimedean aspect of the Hecke character on $\mathrm{GL}_1$.

Bounds for moments of twisted quadratic characters of prime modulus

math.NT

We study, under the Generalized Riemann Hypothesis (GRH), the moments of sums of Fourier coefficients of a fixed holomorphic Hecke eigenform twisted by the quadratic character $\chi_{8p}$, where $p$ ranges over odd primes. We establish the correct order of magnitude for the unsmoothed $m$-th moment for all real $m\geq 4$, and a sharp upper bound of order $XY^{m/2}\,\, (\log X)^{m(m-3)/2}\,\,$ for the smoothed $m$-th moment for all integers $m\geq 4$. A matching lower bound for all even integers $m\geq 4$ shows that this bound is optimal.

Periods of E-operators

math.NT

We define an enlargement of the class of exponential periods by applying the rapid decay cohomology theory of Hien to a larger class of integrable connections on varieties than those twisted by a regular function. The main and motivating examples are given by those associated to $E$-operators. This delivers a method to realise a class of absolutely convergent integrals involving $E$-functions as matrix elements of a period pairing, which we call \emph{$E$-periods}. Furthermore, we generalise rapid decay cohomology to singular varieties and prove a version of Nori's basic lemma in this setting.

Strong Weil Degree Divisibility at Higher Levels

math.NT

Let $\pi_E:X_0(M)\to E$ be the strong Weil parametrization with Manin constant $c_E$. We study divisibility relations between the degree of $\pi_E$ and the degrees of morphisms from $X_0(N)$, where $N$ is a multiple of $M$, to elliptic curves in the rational isogeny class of $E$. We prove that the degree of $\pi_E$ divides $c_E^{\Omega(N/M)}$ times the degree of every such morphism, where $\Omega$ counts prime factors with multiplicity. When $c_E=1$, the degree of $\pi_E$ divides the degree of every such morphism. In particular, the divisibility is unconditional when $M$ is squarefree, by the semistable case of the Manin constant conjecture. A second result concerns a fixed target. When the relevant Manin constant is one, the old homomorphisms induced by degeneracy maps form an integral basis of the full Hom group, and the old degree matrix determines the exact degree spectrum. The argument first shows that the old homomorphisms form a $\mathbb{Q}$-basis after tensoring the Hom group with $\mathbb{Q}$ and then bounds the denominators of the coefficients of integral homomorphisms with respect to this basis. These results extend to compatible towers of intermediate modular curves, including the $X_1$-tower.

Average analytic rank for the $L$-functions of the elliptic curves $y^2=x^3-dx$

math.NT

We study the average analytic rank in the family of $L$-functions $L(s, E_d)$ associated with the elliptic curves $E_d : y^2=x^3-dx$, as $d$ varies over fourth-power-free odd integers. Since this is a family of curves with complex multiplication, we have $L(s, E_d)=L(s - \frac12, \xi_d)$, where $\xi_d$ is a Hecke character over $\mathbb{Z}[i]$. Assuming the Generalized Riemann Hypothesis, we compute the one-level density of the low-lying zeros of this family for test functions whose Fourier transform is supported in $(-\frac35, \frac35)$. As a consequence, we obtain the upper bound $\frac{13}{6}$ for the average analytic rank $r(E_d)$ over the family. Under the additional assumption of a conjecture on the distribution of quartic Gauss sums at prime elements (a quartic analogue of Patterson's conjecture for cubic Gauss sums), we extend the admissible support to $(-1, 1)$ and improve the upper bound for the average analytic rank to $\frac32$. Both results imply that a positive proportion of twists satisfy $r(E_d) =1$, while the second also yields a positive proportion of twists with $r(E_d)=0$.

The good reduction of generalized Kummer surfaces in the non-supersingular case

math.NT

math.AG

In this article, we study the good reduction of generalized Kummer surfaces, which are K3 surfaces obtained as minimal resolutions of quotients of abelian surfaces by finite groups. In particular, we establish a criterion for good reduction when the abelian surface has non-supersingular reduction and the group is cyclic. This extends the result of Lazda and Skorobogatov on Kummer surfaces.

On the motivic cohomology of some singular rings

math.AG

math.KT

math.NT

math.OA

Using non-$\mathbb{A}^1$-invariant motivic cohomology, we prove motivic refinements of certain known computations of the algebraic $K$-theory of singular rings, such as rings of the form $\mathbb{Z}/p^n$, $\mathbb{Z}[x]/(x^e)$, and $\mathscr{C}(X;\mathbb{C})$ for $X$ a compact Hausdorff space. These refinements are made possible by the use of integral $p$-adic Hodge theory, as a replacement for the standard use of trace methods in $K$-theory.

New central $q$-binomial identities

math.CO

math.NT

We establish several new series evaluations involving the central $q$-binomial coefficients, with the inspiration coming from earlier work by Vignat and one of the authors on the limiting case at $q\to 1$.

Higher-Order Cyclotomic Congruences for $q$-Secant and Generalized $q$-Euler Numbers

math.CO

math.NT

Let $\A(2n)$ denote the set of up--down alternating permutations of $\{1,2,\ldots,2n\}$, and let \[ E_{2n}(q)=\sum_{\sigma\in\A(2n)}q^{\operatorname{inv}(\sigma)}. \] Andrews and Foata proved that $E_{2n}(q)\equiv q^{2n(n-1)}\pmod{(1+q)^2}$, and Liu recently obtained the cubic refinement \[ E_{2n}(q)\equiv q^{2n(n-1)}-\binom n2(1+q)^2 \pmod{(1+q)^3}. \] Using the reciprocal generating function for the $q$-secant numbers, a third-order expansion of Gaussian coefficients at $q=-1$, finite differences, and Newton interpolation, we prove the fourth-order refinement \[ E_{2n}(q)\equiv q^{2n(n-1)}-\binom n2(1+q)^2 +\binom n2(2n^2-2n-3)(1+q)^3 \pmod{(1+q)^4}. \] More generally, the recurrence yields an effective procedure for computing the expansion modulo $(1+q)^K$ for any prescribed $K$. We then apply the same local-expansion strategy to the generalized $q$-Euler numbers $E_{pn\mid p}(q)$ of Sagan and Zhang. For every prime $p$, we prove uniform congruences modulo $[p]_q^3$ and $[p]_q^4$; the fourth-order term is governed by a central $q$-Wolstenholme-type quotient associated with ${2p\brack p}_q$. Thus the fourth-order secant congruence is the first case of a general higher-cyclotomic method.

Exact renewal laws for minimal common-denominator profiles in simultaneous Laurent-series approximation

math.PR

math.NT

Let $\alpha_1,\ldots,\alpha_r$ be independent Haar-random fractional Laurent series over $\mathbb{F}_q$, and let $L_r(n)$ be the least coefficient length of a polynomial denominator that simultaneously cancels the first $n$ negative coefficients. We prove that the minimal kernel is a line and that the residual vectors revealed immediately after the stopping times $T_n=n+L_r(n)-1$ are iid uniform on $\mathbb{F}_q^r$. Hence the jump indicators of $L_r(n)$ are iid Bernoulli variables with parameter $1-q^{-r}$; conditionally on a jump, the residual direction is uniform on $\mathbb P^{r-1}(\mathbb{F}_q)$. We also give an exact kernel-growth clock for positive jump sizes and a geometric tail bound uniform in the depth; for two series the jump is decided at the first or second kernel-growth epoch with probabilities $q^{-1}$ and $1-q^{-1}$. The marked renewal law yields exact binomial and fluctuation laws in the depth variable and the density of newly attained minimal denominator lengths $\frac{1-q^{-r}}{r}$ in the coefficient-length variable. For $r=1$ this is the classical iid partial-quotient degree law in the depth coordinate, for which we give an exact dictionary. The new probabilistic content is the simultaneous common-denominator law for $r\ge2$. We also establish exact profile-correspondence and record-duality formulas with joint linear complexity.

On the minimum modulus problem in number fields

math.NT

v2

The minimum modulus problem on covering systems was posed in 1950 by Erd\H{o}s, who asked whether the minimum modulus of a covering system with distinct moduli is bounded. In 2007, Filaseta, Ford, Konyagin, Pomerance and Yu affirmed it if the reciprocal sum of the moduli of a covering system is bounded. Later in 2015, Hough resolved this problem by showing that the minimum modulus in any covering system with distinct moduli is at most $10^{16}$. In 2022, Balister, Bollob\'as, Morris, Sahasrabudhe and Tiba reduced this bound to $616,000$ by developing a versatile method called the distortion method. Recently, Klein, Koukoulopoulos and Lemieux generalized Hough's result by using a suitable modification of the distortion method. In this paper, we develop the distortion method further by introducing the theory of probability measures associated to an inverse system. Following Klein et al.'s work, we provide a solution to Erd\H{o}s' minimum modulus problem in number fields. As an application, we prove that the $j$-th smallest norm in a minimal covering system of a number field with distinct moduli is bounded.

A family of Hecke eigenforms for Drinfeld modular forms of arbitrary rank

math.NT

v2

We aim to provide an infinite family of cuspidal Drinfeld-Hecke eigenforms given in terms of a determinant of twisted Eisenstein series. Our main tool is the theory of vectorial Drinfeld modular forms, previously introduced by Pellarin [20] and extensively studied by Pellarin [21] as well as in his joint work with Perkins [22] in the rank two setting. We will develop this theory in the present paper for the arbitrary rank setting by using a particular representation.

S\'ark\"ozy's theorem for shifted primes with restricted digits

math.NT

v2

We study recurrence along shifted primes with restricted digits. By constructing a local approximant to the associated exponential sums, we prove the van der Corput property for shifted primes with restricted digits. This in turn shows that if $A\subset \mathbb{N}$ has positive upper Banach density, then there exists some prime $p$ with restricted digits and two elements $a_1,a_2\in A$ such that $a_1+p-1=a_2$.

Higher Order Dualities over Global Function Fields and Weighted M\"{o}bius Sums over $\mathbb{F}_q{[T]}$

math.NT

v2

Alladi's duality identities (1977) provide a fundamental relation between the smallest and the $k$-th largest prime factors of integers. In this paper, we establish Alladi-type duality identities over global function fields, extending a result of Duan, Wang, and Yi. We also prove the asymptotic vanishing of a function field analogue of the weighted M\"{o}bius sum $\sum \mu(n)\omega(n)/n$, where $\omega(n)$ denotes the number of distinct prime divisors of $n$. By estimating $\Psi_2(n,m)$, the number of monics of degree $n$ whose second largest prime divisor degree is at most $m$, we further show that this vanishing persists when the sum is restricted to monics with a unique prime divisor of smallest degree belonging to a set of primes with natural density. As a corollary, we show that the unrestricted sum decomposes into infinitely many sub-series, each vanishing asymptotically.

Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

math.NT

v4

We develop the theory of equivariant, ultra Kolyvagin systems to bypass structural limitations of the Euler system machinery over infinite rings. By utilizing collections of classes living in the exterior powers of patched Selmer groups -- constructed from ultraproducts of classical Selmer groups -- we compute the structure of an Iwasawa Selmer group up to pseudo-isomorphism of Iwasawa modules and prove the absence of finite submodules. We apply this theoretical framework to the fine Selmer group of an elliptic curve and the Bloch-Kato Selmer group of the Rankin-Selberg convolution of modular forms.

The Bogomolov property for $p$-supercuspidal eigenforms

math.NT

v2

We prove a lower bound on the Weil height, the so-called Bogomolov property, for the algebraic extensions of $\mathbb Q$ cut out by the adelic Galois representations attached to certain eigenforms whose local component at a prime $p$ is supercuspidal. To this end, we give a method for constructing metric inequalities over $p$-adic Lie extensions of fields over $\mathbb Q$ that are finitely ramified at $p$.

$p$-adic rigidity for $\mathrm{GSp}_4$

math.NT

v2

This paper establishes the $p$-adic rigidity of certain suitably refined noncuspidal automorphic Saito$\unicode{x2013}$Kurokawa representations of $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$, in the sense that they cannot be interpolated in a nontrivial positive dimensional $p$-adic family. The results provide a $\mathrm{GSp}_4$ analogue of Bella\"{i}che's rigidity theorems for $\mathrm{U}(2,1)$ and identify an obstruction to $p$-adic variation on the $\mathrm{GSp}_4$ eigenvariety.

Recurrences for Hypergeometric Moments and Binomial-Harmonic Sums

math.NT

math.CA

v5

Let \[ F(a,b;c;x)={}_2F_1(a,b;c;x), \qquad \Phi_{m,\varepsilon}(\lambda;a,b,c) = \int_0^1 x^{m+\lambda}F(a,b;c;\varepsilon x)\,dx, \quad \varepsilon=\pm1. \] We study these moments by deriving and solving a first-order recurrence in $m$. This recurrence leads to formulas for higher powers of the denominator and for denominators of the form $(dn+m+1)^K$, with applications to product-binomial series and moments of complete elliptic integrals. Differentiation with respect to $c$ gives corresponding recurrences for harmonic-number weights, whose initial values are described using Bell polynomials, logarithms, zeta values, and Dirichlet $L$-values. Finally, comparison with a terminating ${}_3F_2(1)$ formula also gives finite hypergeometric and binomial--harmonic identities.

On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

math.NT

v2

Let $\psi(n)$ and $\phi(n)$ denote Dedekind's arithmetic function and Euler's totient function, respectively. We study the distribution of the compositions $\phi(\psi(n))$ and $\psi(\psi(n))$. In particular, we obtain quantitative upper bounds for the exceptional set associated with $\phi(\psi(n))$, thereby refining a density result of S\'andor. We also prove that, for every fixed $c>0$, the set of integers $n\leq x$ satisfying $\psi(\psi(n))\leq cn$ has asymptotic density zero. Our method adapts sieve ideas used by Dixit and Bhattacharjee to compositions involving Dedekind's arithmetic function.

Quotient branching law for $p$-adic $(\mathrm{GL}_{n+1}, \mathrm{GL}_n)$ I: generalized Gan-Gross-Prasad relevant pairs

math.RT

math.NT

v3

Let $G_n=\mathrm{GL}_n(F)$ be the general linear group over a non-Archimedean local field $F$. We formulate and prove a necessary and sufficient condition on determining when \[ \mathrm{Hom}_{G_n}(\pi, \pi') \neq 0 \] for irreducible smooth representations $\pi$ and $\pi'$ of $G_{n+1}$ and $G_n$ respectively. This resolves the problem of the quotient branching law. We also prove that any simple quotient of a Bernstein-Zelevinsky derivative of an irreducible representation can be constructed by a sequence of derivatives of essentially square-integrable representations. This result transferred to affine Hecke algebras of type A gives a generalization of the classical Pieri's rule of symmetric groups. One key new ingredient is a characterization of the layer in the Bernstein-Zelevinsky filtration that contributes to the branching law, obtained by the multiplicity one theorem for standard representations, which also gives a refinement of the branching law. Another key new ingredient is constructions of some branching laws and simple quotients of Bernstein-Zelevinsky derivatives by taking certain highest derivatives.

Accessing non-abelian quotients of the Grothendieck-Teichmueller group via elementary tools

math.GR

math.NT

v3

Many challenging questions about the Grothendieck-Teichmueller group, $GT$, are motivated by the fact that this group receives the injective homomorphism (called the Ihara embedding) from the absolute Galois group, $G_Q$, of rational numbers. Although the question about the surjectivity of the Ihara embedding is a very challenging problem, in this paper, we construct a family of finite non-abelian quotients of $GT$ that receive surjective homomorphisms from $G_Q$. We also assemble these finite quotients into an infinite (non-abelian) profinite quotient of $GT$. We prove that the natural homomorphism from $G_Q$ to the resulting profinite group is also surjective. We give an explicit description of this profinite group. To achieve these goals, we used the groupoid $GTSh$ of $GT$-shadows for the gentle version of the Grothendieck-Teichmueller group. This groupoid was introduced in the recent paper by the second author and J. Guynee and the set $Ob(GTSh)$ of objects of $GTSh$ is a poset of certain finite index normal subgroups of the Artin braid group on 3 strands. We introduce a sub-poset $Dih$ of $Ob(GTSh)$ related to the family of dihedral groups and call it the dihedral poset. We show that each element $K$ of $Dih$ is the only object of its connected component in $GTSh$. Using the surjectivity of the cyclotomic character, we prove that, if the order of the dihedral group corresponding to $K$ is a power of 2, then the natural homomorphism from $G_Q$ to the finite group $GTSh(K, K)$ is surjective. We introduce the Lochak-Schneps conditions on morphisms of $GTSh$ and prove that each morphism of $GTSh$ with the target $K$ in $Dih$ satisfies the Lochak-Schneps conditions. Finally, we conjecture that the natural homomorphism from $G_Q$ to the finite group $GTSh(K, K)$ is surjective for every object $K$ of the dihedral poset.

On $q$-real and $q$-complex numbers

math.CV

math.CA

math.CO

math.DS

math.NT

v2

In arXiv:1812.00170 and arXiv:1908.04365, Morier-Genoud and Ovsienko introduced $q$-rational numbers $[x]_q$, rational functions specializing to $x$ at $q=1$, and their extension to $q$-real numbers, Laurent series agreeing with $[x]_q$ for rational $x$. It was conjectured in arXiv:2102.00891 that for every real $x>1$, $[x]_q$ has positive radius of convergence, with optimal common radius $R_*=(3-\sqrt{5})/2$, attained at the golden ratio. We prove that $[x]_q$ converges to a nonvanishing holomorphic function for every real $x>1$ and $|q|<3-2\sqrt{2}$. The proof gives an expansion of $1/[x]_q$ as a $q$-adically convergent series of rational functions, converging absolutely and locally uniformly on an explicit region. It also defines a positive analytic function for $q\in(-R_*,1)$. Using arXiv:2405.15970, we further obtain convergence for $|q|<2-\sqrt{3}$. We compute $[x]_q$ explicitly for some transcendental $x$, including ${\rm cotan}(1)$ and $e$. We also establish sharp inequalities for numerators and denominators of $q$-rationals when $|q|=1$ and determine the closure of the set of $[x]_q$ when such $q$ is not a root of unity. Next, we show that coefficientwise reduction modulo every $m\ge2$ is injective on the Cantor line (the extended real line with doubled up rationals and the Cantor set topology); for $m=2$, it identifies the Cantor line with $\mathbb P^1(\mathbb F_2((q)))$. We describe the inverse map, extend rationality results modulo every prime, characterize quadratic series over $\mathbb F_2(q)$ corresponding to quadratic irrationals, derive criteria for eventual parity of coefficients, and compute the real numbers corresponding to $1+q^n$. Finally, we propose a definition of $q$-complex number $[\tau]_q$, a meromorphic function in $\tau\in\mathbb C_+$ expressed via hypergeometric functions evaluated at modular functions of $\tau$.

Paley-type matrices and $1$-factorizations of complete graphs

math.CO

math.NT

v2

Ball, Ortega--Moreno, and Prodromou asked two questions about whether, for every odd prime $p$, one can find a $1$-factor of the complete graph $K_{p+1}$ with some arithmetic restrictions related to quadratic residues. These problems are motivated by two natural compatibility conditions between $1$-factorizations and the sign patterns of certain Paley-type matrices. Recently, Afifurrahman et al. made some partial progress on the second problem. In this paper, we completely resolve both problems. We prove that the first problem has a solution precisely when $p\equiv3\pmod4$, while the second problem has a solution for every odd prime $p$.

Stability of the smooth Casselman-Jacquet functor

math.RT

math.NT

v2

We establish and prove several results for the smooth Casselman-Jacquet submodule and quotient functors for real reductive groups. In addition to exactness, surjectivity, transitivity and globalization results, we establish a stability property for the intersection of Jacquet subspaces. Our approach is based on a family of seminorms on the Casselman-Jacquet quotient module. As an application, we establish a full version of the real Bernstein-Zelevinsky filtrations for smooth Fr\'echet representations of moderate growth.