数论

For a prime $p$ and a commutative ring $R$ with unity, let $W(R)$ denote the group of $p$-typical Witt vectors. The group $W(R)$ is endowed with a Verschiebung operator $V: W(R)\to W(R)$ and a Teichm\"{u}ller map $\langle \ \rangle:…

We present a computational study of 200 composite integers of approximately 350 bits, engineered using the Arnault framework to pass all Miller-Rabin tests up to base 11. Generated at a rate of approximately 20 per hour from a…

The aim of this paper is to consider the extensibility of the Diophantine triple $\{2,b,c\}$, where $2<b<c$, and to prove that such a set cannot be extended to an irregular Diophantine quadruple. We succeed in that for some families of…

We classify the unimodular Euclidean integral lattices of rank 29 by developing an elementary, yet very efficient, inductive method. As an application, we determine the isometry classes of even lattices of rank at most 28 and prime…

We prove an analogue, over global function fields, of a conjecture due to Su-Ion Ih concerning the non-Zariski density of torsion points on abelian varieties that are integral with respect to a given non-special divisor. Along the way, we…

Let $p$ and $\ell$ be prime numbers, and $d\ge1$ an integer. We formulate and prove Iwasawa main conjectures of the Picard groups and Bowen--Franks groups in $\mathbb{Z}_p^d$-towers of digraphs. In particular, we relate the $\ell$ parts of…

Motivated by the fact that the classical Jacobi theta function $\vartheta$ is the exponential generating function of the Eisenstein series, we study the exponential Taylor coefficients (in the elliptic variable) of a related natural partial…

We give an explicit description of the arithmetic-geometric extension of iterated Galois groups of rational functions. This yields a complete solution to the extension problem when either the arithmetic or the geometric iterated Galois…

We prove that the average error term when counting square-free values of polynomials is the quartic root of the main term.

This article is the first in a series devoted to computing the class groups of real quadratic fields. We present a new relation between the class number and the index of unit groups. This relation generalizes Hilbert class field theory for…

Given $\lambda\in (0,1/2)$, let \begin{equation*} C_\lambda=\set{(1-\lambda)\sum_{i=1}^\infty d_i\lambda^{i-1}:d_i\in\set{0,1}} \end{equation*} be the middle Cantor sets with convex hull $[0, 1]$. We are interested in the set…

In 1990, Baker and Montgomery conjectured that $L'(s,\chi_d)$ has $\asymp \log\log |d|$ real zeros in the interval $[1/2,1]$ for almost all fundamental discriminants $d$. The study of these zeros was motivated by their connection to real…

We first give a geometric construction of a 2-dimensional mixed motive over $\mathbb{Q}$ with the Catalan constant $\mathbf{G}=1-1/3^2+1/5^2-1/7^2+\cdots$ as a period. We then use this motive to obtain a supply of linear forms in 1 and…

We show that the winding of low-lying closed geodesics on the modular surface has a Gaussian limiting distribution when normalized by any standard notion of length, in contrast to the Cauchy distribution arising when allowing arbitrarily…

We give a short proof of the anticyclotomic analogue of the "strong" main conjecture of Kurihara on Fitting ideals of Selmer groups for elliptic curves with good ordinary reduction under mild hypotheses. More precisely, we completely…

We establish completely log-free bounds for exponential sums over the primes and the M\"{o}bius function. Let $0<\eta \leq 1/10$, and suppose $\alpha = a/q + \delta/x$, with $(a,q)=1$ and $|\delta| \leq x^{1/5 + \eta}/q$, and set $\delta_0…

Let $k$ be a field and $X$ a smooth projective variety over $k$. When $k$ is a number field, the Beilinson-Bloch conjecture relates the ranks of the Chow groups of $X$ to the order of vanishing of certain $L$-functions. We consider the same…

We prove that the average size of a mixed character sum $$\sum_{1\le n \le x} \chi(n) e(n\theta) w(n/x)$$ (for a suitable smooth function $w$) is on the order of $\sqrt{x}$ for all irrational real $\theta$ satisfying a weak Diophantine…

Christol and, independently, Denef and Lipshitz showed that an algebraic sequence of $p$-adic integers (or integers) is $p$-automatic when reduced modulo $p^\alpha$. Previously, the best known bound on the minimal automaton size for such a…

We study the Beilinson-Bloch heights of Ceresa and Gross-Schoen cycles in families. We construct that for any $g\ge 3$, a Zariski open dense subset $\mathcal{M}_g^{\mathrm{amp}}$ of $\mathcal{M}_g$, the coarse moduli of curves of genus $g$…