Number Theory [math.NT]

Epsilon dichotomy via root numbers of intertwining periods

math.NT

math.RT

We give a new proof of the epsilon dichotomy conjecture, stated by Prasad and Takloo-Bighash, for non Archimedean local fields of characteristic zero, when the twisting character is trivial. Our method relies on the functional equation and the analytic properties of intertwining periods, instead of trace formula and type theory. It removes the odd residual characteristic restriction in the previous proof, coming from type theory.

The Rogers--Ramanujan continued fraction

math.NT

math.CA

math.HO

The primary purpose of this paper is to provide a survey of properties, values, identities, and generalizations of the Rogers--Ramanujan continued fraction, which is closely related to the Rogers--Ramanujan identities. Many of these results are found in Ramanujan's first two letters to Hardy, Ramanujan's notebooks, and his lost notebook. Short historical accounts are provided for both the notebooks and lost notebook.

On the 3-rank of the class group of quadratic fields

math.NT

Let $n\ge1$, $r\ge0$ and $s\ge0$ be integers satisfying $4+r+3 s\le3^{n+1}$. Given linear polynomials $f_{i}(x)=m_{i} x+n_{i}$ for $1 \le i \le r+s$, where the coefficients $m_{i} , n_{i}$ are positive integers satisfying certain conditions, we prove that there exist infinitely many fundamental discriminants $D>0$ such that the 3-rank of the class group of each quadratic fields $\mathbb{Q}(\sqrt{f_1(D)}), \ldots, \mathbb{Q}(\sqrt{f_r(D)})$ and $\mathbb{Q}(\sqrt{-f_{r+1}(D)}), \ldots, \mathbb{Q}(\sqrt{-f_{r+s}(D)})$ is simultaneously less than $n$. Moreover, for any positive integer $k$, there exist positive integers $a, d$ such that the 3-rank of the class group of each quadratic fields $\mathbb{Q}(\sqrt{a+g_1(d)}), \ldots,\mathbb{Q}(\sqrt{a+g_k(d)})$ is simultaneously less than $n$ for polynomials $g_1(x), g_2(x), \ldots, g_k(x)$ that take integer values at the integers and have no constant terms.

Harmonic LCM patterns and sunflower-free capacity

math.NT

math.CO

Fix an integer $k\ge 3$. Call a set $A\subseteq [N]$ LCM-$k$-free if it does not contain distinct $a_1,\dots,a_k$ such that $\mathrm{lcm}(a_i,a_j)$ is the same for all $1\le i

One-level density of zeros of $\Gamma_1(q)$ $L$-functions

math.NT

We study the one-level density of zeros for a family of $\Gamma_1(q)$ $L$-functions. Assuming GRH, we are able to extend the support of the Fourier transform of the test function to $\left(-\frac{8}{3},\frac{8}{3}\right)$ and verify the Katz-Sarnak prediction for our unitary family. As an application, we obtain that the proportion of forms in the family with non-vanishing at the central point is at least $62.5\%$, assuming GRH. This is the highest non-vanishing proportion for any family associated with a unitary group. Moreover, this result indicates that the structural properties of $L$-functions play a more important role in extending the support than the associated symmetry group.

Degenerate Euler- Seidel Method for degenerate Bernoulli, Euler, and Genocchi polynomials

math.NT

This paper introduces a degenerate version of the Euler-Seidel method by incorporating a parameter lambda into the classical recurrence relation. We define a degenerate Euler-Seidel matrix associated with an initial sequence and establish corresponding lambda-generalized binomial identities and generating function relations. By applying this method to the degenerate Bernoulli, Euler, and Genocchi polynomials, we derive several new combinatorial identities. This work extends the classical Euler-Seidel method to the domain of degenerate special polynomials and numbers, providing a new framework for studying their properties.

On irreducible factors of polynomials over integers

math.NT

math.AC

math.AG

In this paper, we obtain several new factorization results for certain classes of polynomials having integer coefficients. In doing so, we use the information about prime factorization of the value taken up by such polynomials and their higher order formal derivatives at sufficiently large integer arguments. If a lower bound for the minimum possible degree of a factor of such a polynomial is known a priori, then the integer argument becomes significantly smaller, which makes the underlying factorization result easier to apply. A result on explicit lower degree factor bound for the classes of polynomials considered in this paper is also proved via Newton polygons.

Diophantine Equations for Polynomial Recursive Sequences

math.NT

We study the Diophantine equation of type $U_n(x)=V_m(y)$, where $(U_n)_{n\geq 0}$ and $(V_m)_{m\geq 0}$ are polynomial power sums defined over a number field $K$. By applying the finiteness criterion of Bilu and Tichy, we show under appropriate assumptions that equation $U_n(x)=V_m(y)$ has infinitely many solutions with bounded $\mathcal{O}_S$-denominator. We also study decomposable polynomials in third and second order linear recurrence sequences. In particular, we show that if $W_n(x)=g(h(x))$ for a simple third order linear recurrence sequence $(W_n(x))_{n\geq 0}$ of complex polynomials, then deg $g$ is bounded. Furthermore, we show that if $(u_{n_1}+u_{n_2})(x)=g(h(x))$ for a binary recurrence sequence $(u_n(x))_{n\geq 0}$ then deg $g$ is bounded.

On the Sylvester waves in partition function

math.NT

Sylvester showed that the partition function can be written as a sum of the polynomial term and quasiperiodic components called the Sylvester waves. Recently an explicit expression of the Sylvester wave as a finite sum over the Bernoulli polynomials of higher order with periodic coefficients was found. This expression can be also written as the weighted sum of the polynomial terms with shifted arguments and this manuscript presents a formal proof for validity of such representation.

Parameters of solvable automorphic forms

math.NT

In a letter from Tate to Serre dated March 26, 1974, Tate suggested a classification of weight one modular forms of prime level in terms of their associated odd Artin representations. This paper carries out an analogous classification of Maass wave forms of prime power level in terms of complex even representations. The parameters are identified with techniques from class field theory and Galois representations. The classification reveals that there exist distinct Maass cusp forms of tetrahedral type on $\Gamma_1(\ell)$ that remain inequivalent modulo $3$ for $\ell = 7687, 16363$ and $20887$, and that these $\ell$ are the three smallest such primes.

A classification of even representations onto 3-adic SL(2)

math.NT

This paper gives a classification of even representations onto $\operatorname{SL}(2,\mathbb{Z}_3)$ of prime conductor. In addition, an explicit algorithm based on global class field theory is exhibited, computing an exhaustive series of such even representations.

Second Moment of Central Values of Half-Integral Weight Modular Forms and Subconvexity

math.NT

We let $f$ be a half-integral weight modular form of weight $\kappa>4$ on $\Gamma_0(4)$ that is an eigenfunction of all Hecke operators $T_n$, so that $T_nf = \Lambda_f(n)n^{\frac{\kappa-1}{2}}f$. Let $\|f\|$ denote the Petersson norm of $f$. We study a weighted second moment of the central value of the $L$-function associated to $f$ over an orthogonal basis $H_\kappa(4)$ of $S_{\kappa}(\Gamma_0(4))$. This corresponds to studying the following sum: $$\sum_{f\in H_\kappa(4)}\frac{\Lambda_f(n)\vert L(1/2,f)\vert^2}{\|f\|^2}.$$ Using the relative trace formula, we obtain an asymptotic formula for the second moment. We then use the method of amplification to get the subconvexity bound $$L(1/2,f)\ll_{\varepsilon} (\kappa^2)^{\frac{1}{4}-\frac{1}{40}+\varepsilon}.$$ This is the first subconvexity result for half-integral weight modular forms in the weight aspect. We also apply our second moment result to get a quantitative simultaneous non-vanishing result for central values of $L$-functions.

Reciprocity For Dedekind Sums via Conical Zeta Values

math.NT

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

Logarithmic Dieudonn\'e theory and overconvergent extensions

math.AG

math.NT

In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for a specific class of $F$-isocrystals. The central ingredient is a local extension property for \'etale $p$-divisible subgroups. To relate $p$-divisible groups and overconvergent $F$-isocrystals, we employ logarithmic Dieudonn\'e theory, as introduced by Kato and further developed by Inoue. Over curves, this leads to an equivalence between the category of potentially semi-stable $p$-divisible groups and overconvergent $F$-isocrystals with slopes in the interval $[0,1]$.

Fields of Fractions in Rigid Geometry

math.AC

math.NT

Let $A$ be an affinoid integral domain over a non-Archimedean field $K$, and let $L$ be its field of fractions. We prove that the normalization of $A$ can be reconstructed from $L$ by taking the intersection of all maximal discrete valuation subrings. As a corollary, taking the field of fractions induces a fully faithful functor from the category of normal affinoid integral domains over $K$ to the category of field extensions of $K$. This provides another $p$-adic analogue of the Riemann Hebbarkeitssatz.

On non-freeness of groups generated by two parabolic matrices with rational parameters: limit points and the orbit test

math.GR

math.GT

math.NT

For $\alpha \in \mathbb{R}$, let $$G_{\alpha}:= \left< \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} , \begin{bmatrix} 1 & 0 \\ \alpha & 1 \end{bmatrix} \right> < \mathrm{SL}_2 (\mathbb{R}).$$ K. Kim and the first author established the orbit test, which provides a sufficient condition for $G_{\alpha}$ not to be a rank-$2$ free group. In this article, we present two main applications of the orbit test. First, using the corresponding modulo homomorphism, we show that the converse of the orbit test does not hold. In particular, we construct explicit counterexamples, all of which are rational. As another application, we construct sequences of non-free rational numbers converging to $3$. These sequences are given by $$ 3 + \frac{3}{2 (9 n - 1)} \quad \text{and} \quad 3 + \frac{9 n + 5}{3 (2 n + 1) (9 n + 4)},$$ and their construction relies on the orbit test together with a modified Pell's equation.

Twisted character formula for toral supercuspidal representations

math.RT

math.NT

We establish an explicit formula for twisted Harish-Chandra characters of toral supercuspidal representations of p-adic reductive groups under several technical assumptions. Our setup especially includes the case of a quasi-split group equipped with a involution.

An Arithmetic Topology viewpoint on Descent theory and Equivariant Categories

math.AG

math.AT

math.CT

math.NT

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the descent of varieties and of covers - and construct their topological analogues. We formalize the parallel setting between closed subgroups of the absolute Galois group and subgroups of the Mapping Class Group of a base space and their actions on fundamental groups. This provides an analogy between arithmetic and topological invariants, allowing us to define the groups of moduli, definition, and invariance in both settings. Using this unified perspective, some purely group-theoretic proofs provide results in both settings simultaneously. Applications include a topological analogue of Weil's Descent Theorem for mapping class groups and an adaptation of D\'ebes and Douai's cohomological obstructions regarding descent of algebraic covers to the topological setting. Finally, we elevate these results to the categorical level. We demonstrate that the classical Weil cocycle condition is equivalent to the existence of a linearization in the language of equivariant categories. Applying this perspective to the bounded derived category of coherent sheaves $\mathsf{D^b}(X)$, we show that the equivariant derived category $\mathsf{D^b}(X)^G$, under the action induced by a Weil descent datum, recovers the derived category of the descended variety.

On the equation $N_{p_1}(E)\cdot N_{p_2}(E)\cdots N_{p_k}(E)=n$

math.NT

math.AG

v2

For a given elliptic curve $E/\mathbb{Q}$, let $N_p(E)$ be the number of points on $E$ modulo $p$ for a prime of good reduction for $E$. Given integer $n$, let $G_k(E,n)$ be the number of $k$-tuples of $p_1<\ldots <\cdots

Root numbers for twisted Fermat quotient curves

math.NT

v3

Let $\ell$ be an odd prime, $N \geq 1$ be an integer, and $\delta \geq 1$ be a $\ell^N$-th power free integer such that ${\rm ord}_{\ell}(\delta) = 0$ or $\ell \nmid {\rm ord}_{\ell}(\delta)$. In this paper, we give an explicit formula for the root number of the Hecke character associated with a certain quotient curve of the twisted Fermat curve $X^{\ell^N} + Y^{\ell^N} = \delta$. This result gives a generalization of Stoll (2002) and Shu (2021).

Maps preserving the sum-to-difference ratio

math.NT

math.AC

math.RA

v2

For a field $\mathbb{F}$, what are all functions $f \colon \mathbb{F} \rightarrow \mathbb{F}$ that satisfy the functional equation $f \left( (x+y)/(x-y) \right) = (f(x) + f(y))/(f(x) - f(y))$ for all $ x \neq y$ in $\mathbb{F}$? We solve this problem for the fields $\mathbb{Q}, \mathbb{R}$, and a class of its subfields that includes the real constructible numbers, the real algebraic numbers, and all quadratic number fields. We also solve it over the complex numbers and on any subfield of $\mathbb{R}$, if $f$ is continuous over the reals. The proofs involve a mix of algebra in all fields, analysis over the real line, and some topology in the complex plane.

Lehmer pairs and binomial series

math.NT

v2

The Hardy function $Z(t)=\zeta(1/2+it)e^{i\theta(t)}$ takes real values for real $t$ and its real zeros are zeros $\zeta(s)$ on the critical line $1/2+it$. After discovering the critical value of the local maximum in 1956, Lehmer formulated the assumption that the Hardy function could have a negative local maximum or a positive local minimum. In the paper the Generalized Hardy function is defined as the real part of the Hardy function on any line $\alpha_\nu+it$ parallel to the critical line $1/2+it$ $$Z_{\alpha_\nu}(t)=Re\ \zeta(\alpha_\nu+it)e^{i\theta(t)}$$ and established an distinct relationship between the zeros of the $\cos\theta(t)$ function and the zeros of the Generalized Hardy function. $$\forall \Delta T_\lambda=(t_\lambda, t_{\lambda+1}],\ t_\lambda=2\pi\lambda^2,\ \lambda=1,\ 2,\ 3\ ...$$ $$\exists A_\lambda:\forall \hat\alpha_\lambda>A_\lambda$$ $$|\cos\theta(t) -Z_{\hat\alpha_\lambda}(t)|<\epsilon(A_\lambda),\ t\in \Delta T_\lambda$$ Then the binomial series is used to establish a relationship between the values of the Generalized Hardy function on any two lines $\alpha_\nu+it$ and $\alpha_{\nu+1}+it$ parallel to the critical line. Thus, by induction between values $\sigma=1/2$ and $\sigma=\hat\alpha_\lambda>A_\lambda$ $$\alpha^{(\lambda)}_1<\alpha^{(\lambda)}_2<\alpha^{(\lambda)}_3<...<\alpha^{(\lambda)}_{\nu}<...<\alpha^{(\lambda)}_{\mu_\lambda}$$ an distinct relationship has been established between the zeros of the function $\cos\theta(t)$ and the zeros of the Hardy function.

A New Class of Relations for Homogeneous Symmetric Polynomials

math.NT

v2

Recently we introduced a new class of relations for Bernoulli symmetric polynomials. This manuscript shows that these relations are valid for arbitrary homogeneous symmetric polynomial. Analysis of these relations leads to the discovery of a new type of nonlinear relations for the Bernoulli numbers.

Affine Chabauty I

math.NT

v2

We prove finiteness and give an explicit upper bound on the number of $S$-integral points on affine curves satisfying a certain rank-genus inequality. We achieve this by developing an analogue of the Chabauty method, embedding the curve into its generalised Jacobian and bounding the Abel-Jacobi image of the $S$-integral points using arithmetic intersection theory. Our results also provide the foundations for a computational method to determine the set of $S$-integral points on affine curves which will be presented in a follow-up article.

On Hopkins' Picard group

math.AT

math.AG

math.NT

v2

We compute the algebraic Picard group of the category of $K(n)$-local spectra, for all heights $n$ and all primes $p$. In particular, we show that it is always finitely generated over $\mathbb{Z}_p$ and, whenever $n \geq 2$, is of rank $2$, thereby confirming a prediction made by Hopkins in the early 1990s. In fact, with the exception of the anomalous case $n=p=2$, we provide a full set of topological generators for these groups. Our arguments rely on recent advances in $p$-adic geometry to translate the problem to a computation on Drinfeld's symmetric space, which can then be solved using results of Colmez--Dospinescu--Niziol.