We discuss the generalizations of the concept of Chebyshev’s bias from two perspectives. First, we give a general framework for the study of prime number races and Chebyshev’s bias attached to general L-functions satisfying natural analytic hypotheses. This extends the cases previously considered by several authors and involving, among others, Dirichlet L-functions and Hasse–Weil L-functions of elliptic curves over Q. This also applies to new Chebyshev’s bias phenomena that were beyond the reach of the previously known cases. In addition, we weaken the required hypotheses such as GRH or linear independence properties of zeros of L-functions. In particular, we establish the existence of the logarithmic density of the set $ \{x \ge 2:\sum\nolimits_{p \le x} {\lambda _f}(p) \ge 0\}$ for coefficients (λf(p)) of general L-functions conditionally on a much weaker hypothesis than was previously known.

We generalize the Cohen–Lenstra heuristics over function fields to étale group schemes $G$ (with the classical case of abelian groups corresponding to constant group schemes). By using the results of Ellenberg–Venkatesh–Westerland, we make progress towards the proof of these heuristics. Moreover, by keeping track of the image of the Weil-pairing as an element of $\wedge ^{2}G(1)$, we formulate more refined heuristics which nicely explain the deviation from the usual Cohen–Lenstra heuristics for abelian $\ell$-groups in cases where $\ell \mid q-1$; the nature of this failure was suggested already in the works of Malle, Garton, Ellenberg–Venkatesh–Westerland, and others. On the purely large random matrix side, we provide a natural model which has the correct moments, and we conjecture that these moments uniquely determine a limiting probability measure.

We develop the analog of crystalline Dieudonné theory for $p$-divisible groups in the arithmetic of function fields. In our theory $p$-divisible groups are replaced by divisible local Anderson modules, and Dieudonné modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We also clarify their relation with formal Lie groups and with global objects like Drinfeld modules, Anderson’s abelian $t$-modules and $t$-motives, and Drinfeld shtukas. Moreover, we discuss the existence of a Verschiebung map and apply it to deformations of local shtukas and divisible local Anderson modules. As a tool we use Faltings’s and Abrashkin’s theories of strict modules, which we review briefly.

Let $L/F$ be a quadratic extension of totally real number fields. For any prime $p$ unramified in $L$, we construct a $p$-adic $L$-function interpolating the central values of the twisted triple product $L$-functions attached to a $p$-nearly ordinary family of unitary cuspidal automorphic representations of $\text{Res}_{L\times F/F}(\text{GL}_{2})$. Furthermore, when $L/\mathbb{Q}$ is a real quadratic number field and $p$ is a split prime, we prove a $p$-adic Gross–Zagier formula relating the values of the $p$-adic $L$-function outside the range of interpolation to the syntomic Abel–Jacobi image of generalized Hirzebruch–Zagier cycles.

We determine the parity of the Langlands parameter of a conjugate self-dual supercuspidal representation of $\text{GL}(n)$ over a non-archimedean local field by means of the local Jacquet–Langlands correspondence. It gives a partial generalization of a previous result on the self-dual case by Prasad and Ramakrishnan.

In this paper, we prove an ‘explicit reciprocity law’ relating Howard’s system of big Heegner points to a two-variable $p$-adic $L$-function (constructed here) interpolating the $p$-adic Rankin $L$-series of Bertolini–Darmon–Prasanna in Hida families. As applications, we obtain a direct relation between classical Heegner cycles and the higher weight specializations of big Heegner points, refining earlier work of the author, and prove the vanishing of Selmer groups of CM elliptic curves twisted by 2-dimensional Artin representations in cases predicted by the equivariant Birch and Swinnerton-Dyer conjecture.

Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel–Ramachandra invariants. We present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula.

We establish an error term in the Sato–Tate theorem of Birch. That is, for $p$ prime, $q=p^{r}$ and an elliptic curve $E:y^{2}=x^{3}+ax+b$, we show that

$$\begin{eqnarray}\#\{(a,b)\in \mathbb{F}_{q}^{2}:\unicode[STIX]{x1D703}_{a,b}\in I\}=\unicode[STIX]{x1D707}_{ST}(I)q^{2}+O_{r}(q^{7/4})\end{eqnarray}$$

$I\subseteq [0,\unicode[STIX]{x1D70B}]$

$\unicode[STIX]{x1D703}_{a,b}$

$2\sqrt{q}\cos \unicode[STIX]{x1D703}_{a,b}=q+1-E(\mathbb{F}_{q})$

$\unicode[STIX]{x1D707}_{ST}(I)$

$I$

Let K be an imaginary quadratic field different from $\open{Q}(\sqrt {-1})$ and $\open{Q}(\sqrt {-3})$. For a positive integer N, let KN be the ray class field of K modulo $N {\cal O}_K$. By using the congruence subgroup ± Γ1(N) of SL2(ℤ), we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group Gal(KN/K). We also present an algorithm to find all distinct form classes and show how to multiply two form classes. As an application, we describe Gal(KNab/K) in terms of these extended form class groups for which KNab is the maximal abelian extension of K unramified outside prime ideals dividing $N{\cal O}_K$.

We construct the $p$-adic standard $L$-functions for ordinary families of Hecke eigensystems of the symplectic group $\operatorname{Sp}(2n)_{/\mathbb{Q}}$ using the doubling method. We explain a clear and simple strategy of choosing the local sections for the Siegel Eisenstein series on the doubling group $\operatorname{Sp}(4n)_{/\mathbb{Q}}$, which guarantees the nonvanishing of local zeta integrals and allows us to $p$-adically interpolate the restrictions of the Siegel Eisenstein series to $\operatorname{Sp}(2n)_{/\mathbb{Q}}\times \operatorname{Sp}(2n)_{/\mathbb{Q}}$.

Let $K$ be a finitely generated field of characteristic zero. For fixed $m\geqslant 2$, we study the rational functions $\unicode[STIX]{x1D719}$ defined over $K$ that have a $K$-orbit containing infinitely many distinct $m$-th powers. For $m\geqslant 5$ we show that the only such functions are those of the form $cx^{j}(\unicode[STIX]{x1D713}(x))^{m}$ with $\unicode[STIX]{x1D713}\in K(x)$, and for $m\leqslant 4$ we show that the only additional cases are certain Lattès maps and four families of rational functions whose special properties appear not to have been studied before.

With additional analysis, we show that the index set $\{n\geqslant 0:\unicode[STIX]{x1D719}^{n}(a)\in \unicode[STIX]{x1D706}(\mathbb{P}^{1}(K))\}$ is a union of finitely many arithmetic progressions, where $\unicode[STIX]{x1D719}^{n}$ denotes the $n$-th iterate of $\unicode[STIX]{x1D719}$ and $\unicode[STIX]{x1D706}\in K(x)$ is any map Möbius-conjugate over $K$ to $x^{m}$. When the index set is infinite, we give bounds on the number and moduli of the arithmetic progressions involved. These results are similar in flavor to the dynamical Mordell–Lang conjecture, and motivate a new conjecture on the intersection of an orbit with the value set of a morphism. A key ingredient in our proofs is a study of the curves $y^{m}=\unicode[STIX]{x1D719}^{n}(x)$. We describe all $\unicode[STIX]{x1D719}$ for which these curves have an irreducible component of genus at most 1, and show that such $\unicode[STIX]{x1D719}$ must have two distinct iterates that are equal in $K(x)^{\ast }/K(x)^{\ast m}$.

We present the geometry behind counting twin prime polynomials in $\mathbb{F}_{q}[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^{3}=Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder.

The formula we get in degree 3 is compatible with the Hardy–Littlewood heuristic on average, agrees with the prediction for $q\equiv 2$ (mod 3), but shows anomalies for $q\equiv 1$ (mod 3).

We prove that if $C$ is a reflexive smooth plane curve of degree $d$ defined over a finite field $\mathbb{F}_{q}$ with $d\leqslant q+1$, then there is an $\mathbb{F}_{q}$-line $L$ that intersects $C$ transversely. We also prove the same result for non-reflexive curves of degree $p+1$ and $2p+1$ when $q=p^{r}$.

We show that Hermite’s theorem fails for every integer $n$ of the form $3^{k_{1}}+3^{k_{2}}+3^{k_{3}}$ with integers $k_{1}>k_{2}>k_{3}\geqslant 0$. This confirms a conjecture of Brassil and Reichstein. We also obtain new results for the relative Hermite–Joubert problem over a finitely generated field of characteristic 0.

In this paper we study the number of rational points on curves in an ensemble of abelian covers of the projective line: let $\ell$ be a prime, $q$ a prime power and consider the ensemble ${\mathcal{H}}_{g,\ell }$ of $\ell$-cyclic covers of $\mathbb{P}_{\mathbb{F}_{q}}^{1}$ of genus $g$. We assume that $q\not \equiv 0,1~\text{mod}~\ell$. If $2g+2\ell -2\not \equiv 0~\text{mod}~(\ell -1)\operatorname{ord}_{\ell }(q)$, then ${\mathcal{H}}_{g,\ell }$ is empty. Otherwise, the number of rational points on a random curve in ${\mathcal{H}}_{g,\ell }$ distributes as $\sum _{i=1}^{q+1}X_{i}$ as $g\rightarrow \infty$, where $X_{1},\ldots ,X_{q+1}$ are independent and identically distributed random variables taking the values $0$ and $\ell$ with probabilities $(\ell -1)/\ell$ and $1/\ell$, respectively. The novelty of our result is that it works in the absence of a primitive $\ell$th root of unity, the presence of which was crucial in previous studies.

Let $X:=\mathbb{A}_{R}^{n}$ be the $n$-dimensional affine space over a discrete valuation ring $R$ with fraction field $K$. We prove that any pointed torsor $Y$ over $\mathbb{A}_{K}^{n}$ under the action of an affine finite-type group scheme can be extended to a torsor over $\mathbb{A}_{R}^{n}$ possibly after pulling $Y$ back over an automorphism of $\mathbb{A}_{K}^{n}$. The proof is effective. Other cases, including $X=\unicode[STIX]{x1D6FC}_{p,R}$, are also discussed.

In this series of papers, we explore moments of derivatives of L-functions in function fields using classical analytic techniques such as character sums and approximate functional equation. The present paper is concerned with the study of mean values of derivatives of quadratic Dirichlet L-functions over function fields when the average is taken over monic and irreducible polynomials P in 𝔽q[T]. When the cardinality q of the ground field is fixed and the degree of P gets large, we obtain asymptotic formulas for the first moment of the first and the second derivative of this family of L-functions at the critical point. We also compute the full polynomial expansion in the asymptotic formulas for both mean values.

We discuss the kernel of the localization map from étale motivic cohomology of a variety over a number field to étale motivic cohomology of the base change to its completions. This generalizes the Hasse principle for the Brauer group, and is related to Tate–Shafarevich groups of abelian varieties.

In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Néron models of abelian varieties. This is a global function field version of the author’s previous work on local duality and Grothendieck’s duality conjecture. It generalizes the perfectness of the Cassels–Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin–Milne’s global finite flat duality, the nondegeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organized under the formalism of the rational étale site developed earlier.