Number Theory [math.NT]

Eisenstein-Kronecker classes on Hilbert moduli spaces and a new construction of Katz's $p$-adic measure

math.NT

math.AG

In this work, we extend the construction of the Eisenstein-Kronecker classes of Kings-Sprang to the universal abelian schemes lying over Hilbert moduli spaces parametrizing objects with $(\Gamma(l), \Gamma_{00}(p^\infty))$-level. We then compare the associated ($p$-adic) Hilbert modular forms to the Eisenstein series constructed by Katz. Similarly to the procedure of Kings-Sprang, we produce a $p$-adic measure which interpolates the Eisenstein-Kronecker classes, and use the mentioned comparison results to show that this recovers essentially the $p$-adic Eisenstein measure constructed by Katz.

Linear relations of four conjugates of an algebraic number of degree eight

math.NT

We characterize all algebraic numbers $\alpha$ of degree $8$ for which there exist four distinct algebraic conjugates $\alpha_1$, $\alpha_2$, $\alpha_3$, $\alpha_4$ of $\alpha$ satisfying the linear relation $\alpha_{1}=\alpha_{2}+\alpha_{3}+\alpha_{4}$. Analogous characterization is obtained for the linear relation $\alpha_{1}+\alpha_{2}+\alpha_{3}+\alpha_{4}=0$. In particular, when an algebraic number $\alpha$ of degree $8$ has a non-even minimal polynomial and possesses exactly six distinct linear relations of the form $\alpha_{i_1}+\alpha_{i_2}+\alpha_{i_3}+\alpha_{i_4}=0$, we prove that $\alpha$ is a sum of a quadratic and a quartic algebraic number.

A Divisor Parametrization for the Erd\H{o}s--Straus Conjecture

math.NT

We study representations of \(1/n\) as a sum of three unit fractions whose denominators are all divisible by a prescribed integer \(m\). After scaling, this is equivalent to representing \(m/n\) as a sum of three unit fractions. Our main focus is the Erd\H{o}s--Straus case \(m=4\). We introduce a divisor-based function \(\mathrm{fab}(n,a,b)\), prove that its admissible parameters recover exactly the decompositions of \(1/n\) with all three denominators divisible by \(4\), and compare this parametrization with well-known Type I/II descriptions.

Weighted partitions with interval restrictions: exact formulas and a bivariate master identity

math.NT

math.CO

Let $a_2''(n)$ and $b_2''(n)$ be the signed partition functions introduced by Andrews and El Bachraoui for interval-restricted partitions whose parts greater than $1$ are controlled by the smallest even part and by the number of ones. We prove two conjectures for these functions. The first gives the generating function for $a_2''(n)$ as an elementary rational term plus a false theta series with periodic signs; the second asserts that the companion coefficients $b_2''(n)$ take only the values $-1,0,1,2$. The central structural result introduces an auxiliary variable $z$ recording the number of non-compulsory parts greater than $1$. We obtain closed forms for the two resulting generating functions and prove the master identity $(1+q^2)\mathcal B(z,q)-(1+q)\mathcal A(z,q)=-q^4/(1-q^3)$ using both analytic and combinatorial techniques. At $z=-1$, this identity, together with a Rogers--Fine evaluation, gives the false theta formula for $a_2''(n)$ and an explicit generating function for $b_2''(n)$. The latter formula implies the asserted coefficient range and leads to an exact coefficient description of $b_2''(n)$. We also include a direct Heine--Rogers--Fine proof of the false theta formula, ordinary and fixed-refinement consequences of the master identity, and the resulting quantum modular interpretation.

Adjacent comparison bounds and extremal sets for Ruzsa numbers

math.NT

Let $m$ be a positive integer and $\mathbb{Z}_m$ the residue class ring modulo $m$. The Ruzsa number $R_m$ is defined to be the least integer $r$ such that there is a subset $\mathcal{A}$ of $\mathbb{Z}_m$ satisfying $ 1\le \sigma_{\mathcal{A}}(n)\le r $ for any $n\in \mathbb{Z}_m$, where $$ \sigma_{\mathcal{A}}(n) =\#\big\{(a,a')\in\mathcal A^2: a+a'\equiv n\pmod{m}\big\}. $$ Motivated by a 2024 conjecture of Ding and Zhao, we prove $ | R_{m+1}-R_m|\le 144. $ Let $\mathcal{A}$ be a subset of $\mathbb{Z}_m$ satisfying $1\le \sigma_{\mathcal{A}}(n)\le R_m$ for any $n\in \mathbb{Z}_m$. We also give nontrivial bounds for the size of $\mathcal{A}$. Additionally, we provide exact values of $R_m$ for all $m\le 100$, which substantially extends the table of values given by S\'andor and Yang in 2017. Finally, we pose several related problems and prove some partial results.

A natural e\~ne product construction of the Big Witt ring

math.RA

math.AC

math.CO

math.CV

math.NT

v2

We give a straightforward, self-contained, and natural construction of the Big Witt ring using the e\~ne product that is defined through the action on zeros of polynomials. This is in contrast with classical constructions of the Big Witt ring using formulas out of nowhere.

Maximal Transcendentality of the Double-Scaled PCM

hep-th

math-ph

math.MP

math.NT

We prove, to all orders, maximal transcendentality of the strongly coupled large-N Principal Chiral Model in the double-scaling regime introduced in our earlier work. We also prove that, after a natural shift of the coupling constant, the coefficients of the vacuum-energy expansion are expressed purely as polynomials in odd zeta values with rational coefficients. The first 35 explicitly computed orders reveal further number-theoretic regularities, pointing to hidden structure beyond maximal transcendentality.

Ind-Banach approach to Grothendieck duality in Rigid-analytic geometry

math.AG

math.NT

We prove a duality theorem for quasi-compactly supported cohomology of quasi-coherent sheaves on rigid-analytic spaces, with respect to a smooth and Kiehl partially-proper morphism. This includes an identification of the dualizing object with volume forms. The functional analysis underlying our theory does not use condensed mathematics, but rather Ind-Banach spaces, following Ben-Bassat--Kelly--Kremnizer. Nevertheless, our overall strategy is inspired by that of Clausen--Scholze in the complex-analytic setting.

On superspecial hyperelliptic curves of Rosenhain forms

math.AG

math.NT

Any genus-$g$ hyperelliptic curve $C$ defined over an algebraically closed field of characteristic $p \geq 3$ can be written in a Rosenhain form as $y^2 = x(x-1)\prod_{i=1}^{2g-1}(x-\lambda_i)$. In this paper, we first show that, if $C$ is superspecial, then each of $\lambda_i,1-\lambda_i$, and $\lambda_i-\lambda_j$ is a square in $\mathbb{F}_{p^2}$. As an application, we propose a new algorithm for enumerating superspecial hyperelliptic curves in small characteristic. By implementing our algorithm, we successfully computed the number of isomorphism classes of such curves of genera $4$ and $5$ in all characteristics $p \leq 41$, and of genus $6$ in all characteristics $p \leq 31$.

The convergent stack

math.AG

math.NT

Inspired by Simpson's de Rham stack and Drinfeld's crystalline stack, we develop a stacky approach to convergent cohomology and convergent isocrystals in positive characteristic. To any scheme $X$ over $\mathbb{F}_p$ we attach a convergent stack $X_{\mathrm{conv}}$. When $X$ is of finite type over a perfect field, its finitely generated quasi-coherent $\mathcal{O}[\tfrac1p]$-modules are equivalent to convergent isocrystals over $X$, compatibly with cohomology. When $X$ embeds into a smooth $p$-adic formal scheme, we describe $X_{\mathrm{conv}}$ explicitly as the quotient of an open tube by a $p$-adic formal groupoid. For $f$-semiperfect schemes, by contrast, the convergent stack is representable by a preperfectoid adic space over $\mathbb{Q}_p$.

On the rank of hypergeometric sheaves on higher dimensional tori

math.AG

math.NT

We prove an explicit formula for the generic rank of hypergeometric perverse sheaves on higher dimensional tori over a finite field, as defined by Gabber and Loeser. This allows to give an explicit estimate for the corresponding hypergeometric character sums for almost all primes $p$.

Monotonicity and absolute convexity of two functions involving Riemann zeta function

math.NT

math.CA

v2

Let $\rho>0$ be a constant, let $j\ge0$ be an integer, and let $\Gamma(z)$ denote the Euler gamma function. With the aid of the integral representation for the Riemann zeta function $\zeta(z)$, by virtue of a monotonicity rule, and by means of some properties of the function $\frac{1}{e^t-1}$ and its derivatives, the authors discuss the increasing monotonicity of the function $t\mapsto\binom{t+\rho+j}{\rho}\frac{\zeta(t+\rho)}{\zeta(t)}$, study the absolute convexity and logarithmic convexity of the function $t\mapsto\Gamma(t+j)\zeta(t)$, and derive the increasing monotonicity and inequalities of some sequences involving the ratios $\bigl|\frac{B_{2n+2}} {B_{2n}}\bigr|$ of the Bernoulli numbers $B_{2n}$, where $\binom{z}{z}$ denotes the extended binomial coefficient.

Algebraicity of ratios of Rankin-Selberg $L$-functions and applications to Deligne's conjecture

math.NT

v4

In this paper, we prove Deligne's conjecture on the algebraicity of the critical values of symmetric power $L$-functions associated with modular forms of weight at least 5. We also establish new cases of Blasius' conjecture on the algebraicity of the critical values of tensor product $L$-functions associated with modular forms. Additionally, we prove an algebraicity result for the critical values of Rankin--Selberg $L$-functions for $\GL_n \times \GL_2$ in the unbalanced case, which extends the previous results of Furusawa and Morimoto for ${\rm SO}(V) \times \GL_2$. These results are applications of our main theorem on the algebraicity of cross ratios of Rankin--Selberg $L$-functions at critical points.

Existence of global N\'eron models beyond semi-abelian varieties

math.NT

math.AG

v4

We first prove Bosch-L\"utkebohmert-Raynaud's conjectures on existence of global N\'eron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perfect residue fields case. The key ingredient for all these is the duality for relatively perfect unipotent groups.

Weighted enumeration of number-fields and counting points that take bounded squarefree values along certain polynomials using Pseudo and Sudo maximal orders

math.NT

math.RA

v2

Ekedhal Sieve can be used to count squarefree bounded values of a polynomial closely related to the discriminant polynomial and one can also get a weighted lower bounds for the number of number fields with bounded discriminant which show a limsup much larger than current known bounds.

K\"ohler's Conjecture on Hecke Theta Series of Weight One

math.NT

v2

In this article, we prove a conjecture of G\"unter K\"ohler on the ambiguity of the quadratic field in the definition of Hecke theta series by deriving it from a similar statement on two-dimensional Galois representations induced from characters of quadratic fields.

On non-Archimedean and motivic distributions defined by kernels

math.NT

math.AG

v2

As in real microlocal analysis, we prove a Schwartz kernel theorem for $p$-adic distributions. We extend this result for motivic distributions using Cluckers-Loeser's motivic integration. In both settings, we give also a relation between the wave front sets of the distribution and its kernel.

Reciprocals of Subsum Polynomials

math.NT

math.CO

v2

We introduce the subsum polynomial of a partition $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_k)$ defined by $\mathrm{sp}(\lambda, x)=\prod_{i=1}^k(1+x^{\lambda_i})$. We study the sum of reciprocals of $\mathrm{sp}(\lambda, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.

Fourier Coefficients of Siegel-Eisenstein Series of Degree $2m$ and Weight $m+1$

math.NT

v2

We study Fourier coefficients of the Siegel-Eisenstein series $E_{m+1}^{(2m)}(Z)$ for $m\equiv1\pmod4$ and $m\geq5$. Using the Fourier expansion formula due to Mizumoto, we determine the constant term and the exceptional non-zero Fourier coefficients. The result gives a higher-degree analogue of the degree-two formulas of Kohnen and Nagaoka, which were later rederived by Haruki.

An elementary algebraic proof of the fundamental theorem of algebra

math.AC

math.HO

math.NT

v2

We provide a new, elementary, algebraic proof of the fundamental theorem of algebra. Furthermore, the method recovers a more general version of the theorem recently obtained by Joseph Shipman. The key idea is to understand extension fields in which a polynomial gains a factor of a given degree.

Uniqueness of Bessel models for GSpin groups

math.RT

math.NT

v2

We prove the uniqueness of general Bessel models for $\mathrm{GSpin}$ groups over a local field of characteristic zero. The proof is to reduce it to the spherical case, which has been proved by Emory and Takeda in the non-archimedean case and by Emory, Kim, and Maiti in the archimedean case.

A Family of Congruences Modulo 7 for Partitions with Monochromatic Even Parts and Multi--Colored Odd Parts

math.CO

math.NT

v2

In recent work, Amdeberhan and Merca considered the integer partition function $a(n)$ which counts the number of integer partitions of weight $n$ wherein even parts come in only one color (i.e., they are monochromatic), while the odd parts may appear in one of three colors. One of the results that they proved was that, for all $n\geq 0$, $a(7n+2) \equiv 0 \pmod{7}$. In this work, we generalize this function $a(n)$ by naturally placing it within an infinite family of related partition functions. Using elementary generating function manipulations and classical $q$--series identities, we then prove infinitely many congruences modulo 7 which are satisfied by members of this family of functions.