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.

In this paper we investigate the moments and the distribution of $L(1,\unicode[STIX]{x1D712}_{D})$, where $\unicode[STIX]{x1D712}_{D}$ varies over quadratic characters associated to square-free polynomials $D$ of degree $n$ over $\mathbb{F}_{q}$, as $n\rightarrow \infty$. Our first result gives asymptotic formulas for the complex moments of $L(1,\unicode[STIX]{x1D712}_{D})$ in a large uniform range. Previously, only the first moment has been computed due to the work of Andrade and Jung. Using our asymptotic formulas together with the saddle-point method, we show that the distribution function of $L(1,\unicode[STIX]{x1D712}_{D})$ is very close to that of a corresponding probabilistic model. In particular, we uncover an interesting feature in the distribution of large (and small) values of $L(1,\unicode[STIX]{x1D712}_{D})$, which is not present in the number field setting. We also obtain $\unicode[STIX]{x1D6FA}$-results for the extreme values of $L(1,\unicode[STIX]{x1D712}_{D})$, which we conjecture to be the best possible. Specializing $n=2g+1$ and making use of one case of Artin’s class number formula, we obtain similar results for the class number $h_{D}$ associated to $\mathbb{F}_{q}(T)[\sqrt{D}]$. Similarly, specializing to $n=2g+2$ we can appeal to the second case of Artin’s class number formula and deduce analogous results for $h_{D}R_{D}$, where $R_{D}$ is the regulator of $\mathbb{F}_{q}(T)[\sqrt{D}]$.

Let $\mathfrak{D}$ be a residually finite Dedekind domain and let $\mathfrak{n}$ be a nonzero ideal of $\mathfrak{D}$. We consider counting problems for the ideal chains in $\mathfrak{D}/\mathfrak{n}$. By using the Cauchy–Frobenius–Burnside lemma, we also obtain some further extensions of Menon’s identity.

Let $p\equiv 1\hspace{0.2em}{\rm mod}\hspace{0.2em}4$ be a prime number. We use a number field variant of Vinogradov’s method to prove density results about the following four arithmetic invariants: (i) $16$-rank of the class group $\text{Cl}(-4p)$ of the imaginary quadratic number field $\mathbb{Q}(\sqrt{-4p})$; (ii) $8$-rank of the ordinary class group $\text{Cl}(8p)$ of the real quadratic field $\mathbb{Q}(\sqrt{8p})$; (iii) the solvability of the negative Pell equation $x^{2}-2py^{2}=-1$ over the integers; (iv) $2$-part of the Tate–Šafarevič group $\unicode[STIX]{x0428}(E_{p})$ of the congruent number elliptic curve $E_{p}:y^{2}=x^{3}-p^{2}x$. Our results are conditional on a standard conjecture about short character sums.

Let $p$ be a prime and let $G$ be a finite group. By a celebrated theorem of Swan, two finitely generated projective $\mathbb{Z}_{p}[G]$-modules $P$ and $P^{\prime }$ are isomorphic if and only if $\mathbb{Q}_{p}\otimes _{\mathbb{Z}_{p}}P$ and $\mathbb{Q}_{p}\otimes _{\mathbb{Z}_{p}}P^{\prime }$ are isomorphic as $\mathbb{Q}_{p}[G]$-modules. We prove an Iwasawa-theoretic analogue of this result and apply this to the Iwasawa theory of local and global fields. We thereby determine the structure of natural Iwasawa modules up to (pseudo-)isomorphism.

We investigate the Galois structures of $p$-adic cohomology groups of general $p$-adic representations over finite extensions of number fields. We show, in particular, that as the field extensions vary over natural families the Galois modules formed by these cohomology groups always decompose as the direct sum of a projective module and a complementary module of bounded $p$-rank. We use this result to derive new (upper and lower) bounds on the changes in ranks of Selmer groups over extensions of number fields and descriptions of the explicit Galois structures of natural arithmetic modules.

We construct an Euler system—a compatible family of global cohomology classes—for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is nontrivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations.

We study the values of finite multiple harmonic $q$-series at a primitive root of unity and show that these specialize to the finite multiple zeta value (FMZV) and the symmetric multiple zeta value (SMZV) through an algebraic and analytic operation, respectively. Further, we prove the duality formula for these values, as an example of linear relations, which induce those among FMZVs and SMZVs simultaneously. This gives evidence towards a conjecture of Kaneko and Zagier relating FMZVs and SMZVs. Motivated by the above results, we define cyclotomic analogues of FMZVs, which conjecturally generate a vector space of the same dimension as that spanned by the finite multiple harmonic $q$-series at a primitive root of unity of sufficiently large degree.

Let K be a totally real number field of degree r. Let K∞ denote the cyclotomic -extension of K, and let L∞ be a finite extension of K∞, abelian over K. The goal of this paper is to compare the characteristic ideal of the χ-quotient of the projective limit of the narrow class groups to the χ-quotient of the projective limit of the rth exterior power of totally positive units modulo a subgroup of Rubin–Stark units, for some $\overline{\mathbb{Q}_{2}}$-irreducible characters χ of Gal(L∞/K∞).

We use higher ideles and duality theorems to develop a universal approach to higher dimensional class field theory.

We construct a random model to study the distribution of class numbers in special families of real quadratic fields ${\open Q}(\sqrt d )$ arising from continued fractions. These families are obtained by considering continued fraction expansions of the form $\sqrt {D(n)} = [f(n),\overline {u_1,u_2, \ldots ,u_{s-1} ,2f(n)]} $ with fixed coefficients u1, …, us−1 and generalize well-known families such as Chowla's 4n2 + 1, for which analogous results were recently proved by Dahl and Lamzouri [‘The distribution of class numbers in a special family of real quadratic fields’, Trans. Amer. Math. Soc. (2018), 6331–6356].

For a positive integer $d$ and a nonnegative number $\unicode[STIX]{x1D709}$, let $N(d,\unicode[STIX]{x1D709})$ be the number of $\unicode[STIX]{x1D6FC}\in \overline{\mathbb{Q}}$ of degree at most $d$ and Weil height at most $\unicode[STIX]{x1D709}$. We prove upper and lower bounds on $N(d,\unicode[STIX]{x1D709})$. For each fixed $\unicode[STIX]{x1D709}>0$, these imply the asymptotic formula $\log N(d,\unicode[STIX]{x1D709})\sim \unicode[STIX]{x1D709}d^{2}$ as $d\rightarrow \infty$, which was conjectured in a question at Mathoverflow [https://mathoverflow.net/questions/177206/].

Let $k$ be an imaginary quadratic field with $\operatorname{Cl}_{2}(k)\simeq V_{4}$. It is known that the length of the Hilbert $2$-class field tower is at least $2$. Gerth (On 2-class field towers for quadratic number fields with$2$-class group of type$(2,2)$, Glasgow Math. J. 40(1) (1998), 63–69) calculated the density of $k$ where the length of the tower is $1$; that is, the maximal unramified $2$-extension is a $V_{4}$-extension. In this paper, we shall extend this result for generalized quaternion, dihedral, and semidihedral extensions of small degrees.

Let $K$ be a number field with a ring of integers ${\mathcal{O}}$. We follow Ferraguti and Micheli [‘On the Mertens–Cèsaro theorem for number fields’, Bull. Aust. Math. Soc.93(2) (2016), 199–210] to define a density for subsets of ${\mathcal{O}}$ and use it to find the density of the set of $j$-wise relatively $r$-prime $m$-tuples of algebraic integers. This provides a generalisation and analogue for several results on natural densities of integers and ideals of algebraic integers.

In order to study $p$ -adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$ , we introduce new $p$ -primary torsion sheaves. It is a modification of the logarithmic de Rham–Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$ . Then we establish a perfect duality between cohomology groups of the logarithmic de Rham–Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wildly ramified class field theory for the open subvariety $U$ .

We give a lower bound of the Mahler measure on a set of polynomials that are ‘almost’ reciprocal. Here ‘almost’ reciprocal means that the outermost coefficients of each polynomial mirror each other in proportion, while this pattern may break down for the innermost coefficients.

Colmez [Périodes des variétés abéliennes a multiplication complexe, Ann. of Math. (2)138(3) (1993), 625–683; available at http://www.math.jussieu.fr/∼colmez] conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez’s theory in the arithmetic of function fields. There abelian varieties are replaced by Drinfeld modules and their higher-dimensional generalizations, so-called $A$-motives. In the present article we prove the product formula for the Carlitz module and we compute the valuations of the periods of a CM $A$-motive at all finite places in terms of Artin $L$-series. The latter is achieved by investigating the local shtukas associated with the $A$-motive.

Given a global field $K$ and a positive integer $n$ , we present a diophantine criterion for a polynomial in one variable of degree $n$ over $K$ not to have a root in $K$ . This strengthens a result by Colliot-Thélène and Van Geel [Compositio Math. 151 (2015), 1965–1980] stating that the set of non-$n$ th powers in a number field $K$ is diophantine. We also deduce a diophantine criterion for a polynomial over $K$ of given degree in a given number of variables to be irreducible. Our approach is based on a generalisation of the quaternion method used by Poonen and Koenigsmann for first-order definitions of $\mathbb{Z}$ in $\mathbb{Q}$ .

We construct the $\unicode[STIX]{x1D6EC}$ -adic crystalline and Dieudonné analogues of Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology, and employ integral $p$ -adic Hodge theory to prove $\unicode[STIX]{x1D6EC}$ -adic comparison isomorphisms between these cohomologies and the $\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology studied in Cais [The geometry of Hida families I:$\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology, Math. Ann. (2017), doi:10.1007/s00208-017-1608-1] as well as Hida’s $\unicode[STIX]{x1D6EC}$ -adic étale cohomology. As applications of our work, we provide a ‘cohomological’ construction of the family of $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules attached to Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology by Dee [$\unicode[STIX]{x1D6F7}$ –$\unicode[STIX]{x1D6E4}$ modules for families of Galois representations, J. Algebra 235 (2001), 636–664], and we give a new and purely geometric proof of Hida’s finiteness and control theorems. We also prove suitable $\unicode[STIX]{x1D6EC}$ -adic duality theorems for each of the cohomologies we construct.

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $\mathit{GSp}_{4}/\mathbb{Q}$ in various aspects. A main tool is Arthur’s invariant trace formula. While Shin [Automorphic Plancherel density theorem, Israel J. Math.192(1) (2012), 83–120] and Shin–Templier [Sato–Tate theorem for families and low-lying zeros of automorphic $L$-functions, Invent. Math.203(1) (2016) 1–177] used Euler–Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A,B_{1}$ in Theorem 1.1 which have not been studied and a mysterious second term $B_{2}$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato–Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.