2026-04-21 | | Total: 30
We develop an algebraic framework over arbitrary quadratic fields $L = \mathbb{Q}(\sqrt{D})$ to generalize the Miller-Rabin primality test. Consequently, we present a deterministic primality test for integers of the form $N = c_D k p^{\ell} - 1$ that requires only a single modular exponentiation and achieves a computational complexity of $\tilde{\mathcal{O}}(\log^2 N)$. Furthermore, we also establish an analogue of Korselt's criterion within this setting. Finally, computational data generated using SageMath confirm its efficiency, successfully establishing the primality of numbers in the associated quadratic field within milliseconds.
We construct small parabolic eigenvarieties for holomorphic Siegel cuspforms of genus $2$ and study families of Galois representations attached to them in the spirit of Bellaïche--Chenevier. In the course, we introduce the notion of $(\varphi, Γ)$-modules with $G$-structures and the notion of refined families of symplectic Galois representations by implementing the theory of symplectic Galois determinant d'après Moakher--Quast. We then prove an infinitesimal $R=\mathbb{T}$ theorem under mild hypotheses. As an application, we study the relationship between the geometry of the small parabolic eigenvarieties at the Saito--Kurokawa lifts for cuspidal eigenforms (both finite-slope and infinite-slope) and the Bloch--Kato Selmer groups of those eigenforms.
In this paper, we calculate an exact formula for the number of partitions of a natural number $n$, where the largest part is even and no odd parts appears more than two times. The generating functions of the number of these partitions is a mixed mock modular form of weight 0. In order to obtain the formula we apply an extended version of the circle method, during which we need to bound Kloosterman sums and similar exponential sums as well as Mordell-type integrals.
We prove a suitable fibration theorem over quasi-trivial tori that, through an approach developed by Harpaz and Wittenberg, implies so-called {\em solvable descent}. In particular, this gives a positive answer to the Grunwald problem for solvable groups up to the necessary Brauer--Manin obstruction, providing a generalizion of Shafarevich's positive answer to the Inverse Galois Problem for solvable groups. This also provides an alternative proof of Shafarevich's result that avoids his ``shrinking procedure''. For the fibration theorem, we first adapt the starting ideas of Shafarevich for the creation of local lifts. To deal then with the Brauer--Manin obstruction (i.e.\ the relevant local-to-global obstruction), we compute its ``triple variation'' on grids of fibers. The resulting expression is a linear combination of Redéi symbols on the base. Customizing these and employing a combinatorial principle first noted by Alexander Smith in the context of Class and Selmer Groups, one infers the vanishing of the obstruction in at least one fiber.
We study the set $S(q)$ of residue classes $r$ modulo the Pisano period $π(q)$ for which $q \mid \varphi(F_m)$ for every $m \equiv r \pmod{π(q)}$. We prove that if $q$ is a Sophie Germain prime and $z(2q+1) \mid π(q)$, then $S(q)$ is a nonempty arithmetic progression, and for $q > 5$ its cardinality is odd and $q \equiv 8 \pmod{15}$. Conversely, we show that if a prime $p \equiv 1 \pmod{q}$ has $z(p) \mid π(q)$, then necessarily $p = 2q+1$, so $q$ is Sophie Germain. We conjecture that $S(q) \neq \emptyset$ forces the existence of such a prime $p$; this is verified for all $q \leq 50000$. Assuming that $z(2q+1) \mid π(q)$ holds for infinitely many Sophie Germain primes (verified computationally for approximately 23.9% of them), the Sophie Germain conjecture implies the existence of infinitely many primes $q \equiv 8 \pmod{15}$ with $(2q+1) \mid F_{π(q)}$ -- a purely Fibonacci-theoretic condition. These results generalize to arbitrary Lucas sequences $U_n(P,Q)$ with non-square discriminant.
In 1977, the first author observed a duality between the largest and smallest prime factors of integers, and established as a consequence some new results on the Möbius function $μ(n)$ using the Prime Number Theorem for Arithmetic Progressions. In that 1977 paper, higher order dualities were observed involving the $k$-th largest and $k$-th smallest prime factors, facilitated by the Möbius function and $ω(n)^{k-1}$, where $ω(n)$ is the number of distinct prime factors on $n$. In 2024, the first author and Jason Johnson proved new results involving $μ(n)$ and $ω(n)$, by exploiting the second order duality identity of Alladi (1977). We establish here extensions to all higher orders $k$, the results of Alladi (1977) and of Alladi-Johnson (2024), by utilizing the $k$-th order duality in Alladi's 1977 paper. First, we show that for each $k\geq 2$, $$ \sum_{n=2}^{\infty} \frac{μ(n)ω(n)^{k}}{n} =0, $$ where $μ(n)$ is the Möbius Function and $ω(n)$ counts the number of distinct prime factors of $n$. Further, using the General Duality Identity and the Prime Number Theorem of Arithmetic Progressions, we prove that for integers $j,\ell$ satisfying $1 \leq j \leq \ell$ and $(j,\ell)=1$ $$ \sum_{\substack{n=2 \\ p_1(n) \equiv j\;(mod\;\ell)}}^{\infty} \frac{μ(n)ω(n)^{k-1}}{n}=0, \nonumber $$ for every $k \geq 3$; this result for $k=1$ is due to Alladi (1977) and for $k=2$ due to Alladi-Johnson (2024). We also recast this result in the following manner as a density-type theorem: for integers $j,\ell$ satisfying $1 \leq j \leq \ell$ and $(j,\ell)=1$ $$ (-1)^k\sum_{\substack{n=2 \\ p_1(n) \equiv j\;(mod\;\ell)}}^{\infty} \frac{μ(n){ω(n)-1 \choose k-1}}{n}=\frac{1}{\varphi(\ell)}, \nonumber $$ for every $k \geq 3$. All results are established here in quantitative form.
We prove the semistable reduction theorem for $\mathcal{E}^†_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and Pál. As an application, we prove the finite dimensionality of $\mathcal{E}^†_K$-valued rigid cohomology with compact support.
The goal of our work is to construct a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties via Kodaira--Spencer maps, and explicitly compute such morphisms and their effects on the canonical metrics of line bundles. This result provides a concrete method for comparing two canonical line bundles and the corresponding arithmetic intersection numbers. In particular, it allows us to give an explicit relationship between the height functions defined by these two line bundles.
Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,Γ)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[μ]]\rightarrow \mathbb{A}_K\cap A_\mathrm{inf}$ is an isomorphism, even if $K$ is ramified. This fact was remarked by Nathalie Wach without proof.
We prove an unconditional, effective joint Sato-Tate distribution for the Fourier coefficients of two twist-inequivalent, non-CM newforms $f$ and $f'$. Our result generalises a result of Thorner, which holds for rectangular regions, by extending it to a wide range of measurable subsets of $[-2,2]^2$. Indeed, our theorem applies to any measurable region whose boundary consists of a finite number of continuous curves of finite length. As a consequence, we develop a unified framework to study various arithmetic properties of Fourier coefficients of symmetric power $L$-functions attached to $f$ and $f'$. In particular, for these coefficients (and their polynomial expressions), we obtain effective distribution results, quantitative statements on simultaneous sign behaviour, and bounds for the first sign change.
We introduce a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge--Tate weights are smaller than $p$, with no bound on ramification. Furthermore, when $n =3$ in the case of minimal regular weight, we are able to show that the resolution is normal (assuming the ramification index is divisible by 3). Employing base change techniques and further analysis of the resolution, we are able to show that all the components of the crystalline deformation rings are potentially diagonalizable. As a consequence, we deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture in dimension three for minimal regular weight.
A $k$-Markov number is a positive integer that appears in a positive integral solution to the Diophantine equation $x^2 + y^2 + z^2 + k(xy + xz + yz) = (3+3k)xyz$. This equation was introduced by Gyoda and Matsushita. When $k =0$, this definition recovers that of ordinary Markov numbers. The set of $k$-Markov numbers can be indexed by pairs of coprime positive integers. There is a consistent way to label non-coprime pairs with positive integers as well, yielding a larger set of ``generalized $k$-Markov numbers.'' In this paper, we classify lines along which the generalized $k$-Markov numbers grow monotonically, extending work in the ordinary case by Lee-Li-Rabideau-Schiffler and by the second author. We find that, as $k$ grows, the $k$-Markov numbers are more likely to be monotonic along a random line. This gives evidence that a $k$-version of Frobenius' uniqueness conjecture, which has been proposed by Gyoda and Maruyama, could be true.
We show that the Markov fractions introduced recently by Springborn coincide with the index of the Cohn matrices defined by Aigner. This provides a simple concatenation rule for the corresponding continued fractions on the Conway topograph.
We study the concatenated Fibonacci constant $\mathcal{F} := 0.F_{1}F_{2}F_{3}\cdots = 0.11235813\cdots$, obtained by concatenating the Fibonacci numbers in the fractional part, and ask whether it is normal. We show that several classical sufficient conditions for normality by concatenation do not apply to the Fibonacci sequence because of its exponential growth, while a criterion of Pollack and Vandehey implies that the normality of $\mathcal{F}$ in base $10$ would follow if almost all Fibonacci numbers were $(\varepsilon,k)$-normal in base $10$. The Benford bias of leading digits and the Pisano periodicity of trailing digits are shown to contribute asymptotically negligible fractions of the total digits, isolating the distribution of the deep digits of large Fibonacci numbers as the remaining obstruction. Large-scale numerical experiments on the first $500{,}000$ Fibonacci numbers in bases $10$ and $2$ indicate that global single-digit counts and $k$-block statistics for $k = 2, 3, 4$ are compatible with iid-like fluctuations at the scales tested, and that a positional decomposition concentrates the visible structured deviation at the boundaries between consecutive Fibonacci numbers, while pooled interior blocks remain close to uniform. Our computations suggest that any obstruction to normality lies in the asymptotic behavior of the deep digits of $F_{n}$.
Let $\mathbb{F}_p$ be a finite field of prime order $p$ and let $A \subset \mathbb{F}_p$ be a subset. In the dense regime when $|A| \geq αp$ for some $α\in (0,1)$, we determine the optimal constant $f(α)$ in the inequality $$ \max(|A+A|, |A\cdot A|) \geq (f(α) - o(1))p. $$ The proof relies on a structural result for sumsets of dense subsets, established via a regularity lemma in general finite abelian groups.
We prove a stabilization result for the $\mathbb{F}_q$-dimension of spaces of morphisms between supersingular Drinfeld modules, filtered by degree: for any two supersingular rank-$2$ Drinfeld $\mathbb{F}_q[T]$-modules in characteristic $\frak{p}$ of degree $d$, the dimension $m_s$ of the space of morphisms of $τ$-degree at most $s$ satisfies $m_s = 2(s+1)-(d-1)$ for all $s\geq d-2$. This is proved using the theory of Brandt matrices and properties of $L$-functions of automorphic forms for $\mathrm{GL}_2$ over function fields. The stabilization formula, combined with an analysis of zero entries in Brandt matrices and a hyperplane-avoidance argument, yields semifield rank-metric codes. We also describe an efficient algorithm for computing the relevant Brandt matrices.
We consider elliptic Dedekind sums that were introduced by Sczech as generalizations of the classical ones to complex lattices. We prove that these sums -- suitably normalized -- have a Gaussian limiting distribution. As an application, we prove a conjecture due to Ito.
We study families of abelian varieties over smooth proper curves with small $l$-adic local system over characteristic $p$. We show that such abelian schemes have a non-nef Hodge bundle and cannot be lifted to $W_2(k)$. We also establish an Arakelov-type inequality for families of abelian varieties over smooth proper curves in characteristic $p$, assuming $W_2(k)$-liftability.
A rational Diophantine $m$-tuple is a set $\{a_1,\ldots,a_m\}$ of distinct nonzero rational numbers such that $a_i a_j+1$ is a square for all $1\leq i < j\leq m$. Similarly, we may ask when $a_ia_j+1$ is a $k$-th power. Here, we study the case $k=4$ and produce some non-trivial infinite families of such triples. We show that there are infinitely many triples with positive elements for $k=4$. We also briefly consider the $k=6$ (sextic) and $k=8$ (octic) cases, explaining the difficulties in extending the method to higher exponents.
We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic curves and Jacobians of hyperelliptic curves over any base global field $F$ of characteristic not $2$, $3$ or $5$.
We determine the mod $p$ reductions of the semi-stable representations $V_{k, \mathcal{L}}$ of weight $k \in [p + 5, 2p]\cup[2p + 6, 3p + 1]$ and $v_p(\mathcal{L}) < 1-k/2$ for primes $p \geq 5$. In particular, this shows that the techniques introduced in [CG24] involving the $p$-adic and mod $p$ local Langlands correspondences can be used to compute the reduction of $V_{k, \mathcal{L}}$ outside the range $k \in [3, p + 1]$. Moreover, this shows that the bound on $v_p(\mathcal{L})$ given by Bergdall-Levin-Liu [BLL23] can be improved, at least for weights $k \in [2p + 6, 3p + 1]$.
Furstenberg's flow on the infinite-dimensional torus $\mathbb{T}^ω$ is defined by \[ T (x_1, x_2, \ldots, x_ν, \ldots) = (x_1 + α, x_2 + h(x_1), \ldots, x_ν+ h(x_1 + (ν-2)β), \ldots) \] with $α\in \mathbb{R}$ satisfying certain diophantine conditions, $β\in \mathbb{R}\backslash\mathbb{Q},$ and $h: \mathbb{R}\to \mathbb{R}$ being $1$-periodic and analytic. This flow is irregular in the sense that its Birkhoff average does not exist for some $x\in \mathbb{T}^ω$, and it is a generalization of Furstenberg's irregular flow on $\mathbb{T}^2$. The main result of this paper is that the Möbius Disjointness Conjecture of Sarnak holds for the above flow $(\mathbb{T}^ω, T)$ in short intervals $(N-M, N]$ with $N^{5/8+\varepsilon} \leqslant M\leqslant N$.
We study density thresholds that force a measurable set $E\subseteq\mathbb{R}^d$ to contain all sufficiently large similar copies of every $n$-point configuration. We prove a lower bound of the form $1-O((\log n)/n)$, which matches the known upper bound up to the logarithmic factor, thus essentially resolving a problem posed by Falconer, Yavicoli, and the first author of the present paper. We also study the same problem for embeddings of $n$-point configurations into $\mathbb{R}^d$ equipped with the $\ell^p$ norm, obtaining an asymptotically sharp bound $1-1/n+o(1/n)$, as soon as $p\in(1,\infty)\setminus\{2\}$. In the proof of the former estimate we use equidistribution of polynomial sequences modulo $1$ combined with probabilistic thinning. The proof of the latter estimate relies on the geometry of the $\ell^p$ spaces for $p\neq2$.
Let $\mathcal{O}_K$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k.$ Let $G$ be a smooth connected commutative algebraic group over $K$ which does not contain a copy of $\mathbf{G}_{\mathrm{a}}.$ For each $d$ prime to $p:=\mathrm{char}\, k,$ let $K(d)$ be the unique extension of $K$ of degree $d.$ We investigate how the Néron lft-model of $G$ behaves under base change to the ring of integers $\mathcal{O}_{K(d)}.$ Information about this behaviour is encoded in the "jumps" of Edixhoven's filtration on the special fibre of the Néron lft-model of $G,$ as well as in Halle-Nicaise's motivic zeta function of $G.$ If $G$ is unirational (e. g. an algebraic torus), we show that the jumps of $G$ are rational numbers and that the motivic zeta function of $G$ is a rational function. We also deduce analogous results for Abelian varieties with potentially totally multiplicative reduction. This answers a question of Halle-Nicaise and partially one of Edixhoven. Along the way, we answer a question of Oesterlé about the structure of unipotent algebraic groups over function fields in positive characteristic. Under stronger conditions on $G,$ we obtain rationality of jumps even for separably closed but imperfect $k.$
Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).