Number Theory

2025-02-07 | | Total: 10

#1 Localizing invariants of inverse limits [PDF] [Copy] [Kimi] [REL]

Author: Alexander I. Efimov

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

Subjects: K-Theory and Homology , Algebraic Geometry , Algebraic Topology , Category Theory , Number Theory

Publish: 2025-02-06 14:55:07 UTC


#2 Primes of the Form $m^2+1$ and Goldbach's `Other Other' Conjecture [PDF] [Copy] [Kimi] [REL]

Authors: Jon Grantham, Hester Graves

We compute all primes up to $6.25\times 10^{28}$ of the form $m^2+1$. Calculations using this list verify, up to our bound, a less famous conjecture of Goldbach. We introduce `Goldbach champions' as part of the verification process and prove conditional results about them, assuming either Schinzel's Hypothesis H or the Bateman-Horn Conjecture.

Subject: Number Theory

Publish: 2025-02-05 18:50:45 UTC


#3 Multiplicativity of Fourier Coefficients of Maass Forms for SL($n,\mathbb Z$) [PDF] [Copy] [Kimi] [REL]

Authors: Dorian Goldfeld, Eric Stade, Michael Woodbury

The Fourier coefficients of a Maass form $\phi$ for SL$(n,\mathbb Z)$ are complex numbers $A_\phi(M)$, where $M=(m_1,m_2,\ldots,m_{n-1})$ and $m_1,m_2,\ldots ,m_{n-1}$ are nonzero integers. It is well known that coefficients of the form $A_\phi(m_1,1,\ldots,1)$ are eigenvalues of the Hecke algebra and are multiplicative. We prove that the more general Fourier coefficients $A_\phi(m_1,\ldots,m_{n-1})$ are also eigenvalues of the Hecke algebra and satisfy the multiplicativity relations $$A_\phi\big(m_1m_1',\;m_2m_2', \;\ldots\; m_{n-1}m_{n-1}'\big) = A_\phi\big(m_1,m_2,\ldots,m_{n-1})\cdot A_\phi(m_1',m_2',\ldots,m_{n-1}'\big)$$ provided the products $\prod\limits_{i=1}^{n-1} m_i$ and $\prod\limits_{i=1}^{n-1} m_i'$ are relatively prime to each other.

Subject: Number Theory

Publish: 2025-02-05 19:18:16 UTC


#4 The Spine of a Supersingular $\ell$-Isogeny graph [PDF] [Copy] [Kimi] [REL]

Authors: Taha Hedayat, Sarah Arpin, Renate Scheidler

Supersingular elliptic curve $\ell$-isogeny graphs over finite fields offer a setting for a number of quantum-resistant cryptographic protocols. The security analysis of these schemes typically assumes that these graphs behave randomly. Motivated by this debatable assertion, we explore structural properties of these graphs. We detail the behavior, governed by congruence conditions on $p$, of the $\ell$-isogeny graph over $\mathbb{F}_p$ when passing to the spine, i.e.\ the subgraph induced by the $\mathbb{F}_p$-vertices in the full $\ell$-isogeny graph. We describe the diameter of the spine and offer numerical data on the number of vertices, over both $\mathbb{F}_p$ and $\overline{\mathbb{F}}_p$, in the center of the $\ell$-isogeny graph. Our plots of these counts exhibit an intriguing wave-shaped pattern which warrants further investigation. Accompanying code: https://github.com/TahaHedayat/LUCANT-2025-Supersingular-Ell-Isogeny-Spine

Subject: Number Theory

Publish: 2025-02-05 21:02:41 UTC


#5 A note on order estimates of the $q$-analogue of the Riemann zeta function [PDF] [Copy] [Kimi] [REL]

Authors: Hideki Murahara, Tomokazu Onozuka

At the first step of studying order estimates for the $q$-analogue of the Riemann zeta function, we estimate bounds for it on vertical lines for a fixed parameter $q$.

Subject: Number Theory

Publish: 2025-02-06 07:49:45 UTC


#6 $q$-rious unimodality [PDF] [Copy] [Kimi] [REL]

Authors: S. Ole Warnaar, Wadim Zudilin

We generalise our still-wide-open $q$-rious positivity conjecture from 2011 to a $q$-rious unimodality conjecture.

Subjects: Number Theory , Classical Analysis and ODEs , Combinatorics , Representation Theory

Publish: 2025-02-06 11:48:43 UTC


#7 Modular Units on $X_{1}( p)$ and Quotients of the Cuspidal Group [PDF] [Copy] [Kimi] [REL]

Author: Elvira Lupoian

Modular units are functions on modular curves whose divisors are supported on the cusps. They form a free abelian group of rank at most one less than the number of cusps. In this paper we study the group of modular units on $X_{1}( p )$, with prime level $p \ge 5$. We give an explicit basis for this group and study certain rational subgroups of it. We use the basis to numerically investigate the structure of the cuspidal group of $X_{1}( p)$ and its rational subgroup. In the later stages of this paper we use our basis to determine a specific large quotient of the cuspidal group.

Subject: Number Theory

Publish: 2025-02-06 13:53:17 UTC


#8 Monogenic Even Cyclic Sextic Polynomials [PDF] [Copy] [Kimi] [REL]

Author: Lenny Jones

Suppose that $f(x)\in {\mathbb Z}[x]$ is monic and irreducible over ${\mathbb Q}$ of degree $N$. We say that $f(x)$ is monogenic if $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$, and we say $f(x)$ is cyclic if the Galois group of $f(x)$ over ${\mathbb Q}$ is isomorphic to the cyclic group of order $N$. In this note, we prove that there do not exist any monogenic even cyclic sextic binomials or trinomials. Although the complete story on monogenic even cyclic sextic quadrinomials remains somewhat of a mystery, we nevertheless determine that the union of three particular infinite sets of cyclic sextic quadrinomials contains exactly four quadrinomials that are monogenic with distinct splitting fields. We also show that the situation is quite different for quadrinomials whose Galois group is not cyclic.

Subject: Number Theory

Publish: 2025-02-06 14:50:06 UTC


#9 Rotational beta expansions and Schmidt games [PDF] [Copy] [Kimi] [REL]

Authors: Hajime Kaneko, Jonathan Caalim, Nathaniel Nollen

We consider rotational beta expansions in dimensions 1, 2 and 4 and view them as expansions on real numbers, complex numbers, and quaternions, respectively. We give sufficient conditions on the parameters $\alpha, \beta \in (0,1)$ so that particular cylinder sets arising from the expansions are winning or losing Schmidt $(\alpha,\beta)$-game.

Subject: Number Theory

Publish: 2025-02-06 15:30:29 UTC


#10 Counterexamples for Türkelli's Modification on Malle's Conjecture [PDF] [Copy] [Kimi] [REL]

Author: Jiuya Wang

We give counterexamples for the modification on Malle's Conjecture given by Türkelli. Türkelli's modification on Malle's conjecture is inspired by an analogue of Malle's conjecture over a function field. As a result, our counterexamples demonstrate that the $b$ constant can differ between function fields and number fields. We also show that Klüners' counterexamples give counterexamples for a natural extension of Malle's conjecture to counting number fields by product of ramified primes. We then propose a refined version of Malle's conjecture which implies a new conjectural value for the constant $b$ for number fields.

Subject: Number Theory

Publish: 2025-02-06 17:47:53 UTC