Generalised Heegner cycles are associated to a pair of an elliptic newform and a Hecke character over an imaginary quadratic extension $K/\mathbf{Q}$ . The cycles live in a middle-dimensional Chow group of a Kuga–Sato variety arising from an indefinite Shimura curve over the rationals and a self-product of a CM abelian surface. Let $p$ be an odd prime split in $K/\mathbf{Q}$ . We prove the non-triviality of the $p$ -adic Abel–Jacobi image of generalised Heegner cycles modulo $p$ over the $\mathbf{Z}_{p}$ -anticyclotomic extension of  $K$ . The result implies the non-triviality of the generalised Heegner cycles in the top graded piece of the coniveau filtration on the Chow group, and proves a higher weight analogue of Mazur’s conjecture. In the case of weight 2, the result provides a refinement of the results of Cornut–Vatsal and Aflalo–Nekovář on the non-triviality of Heegner points over the $\mathbf{Z}_{p}$ -anticyclotomic extension of  $K$ .

We study analytic properties of certain infinite products of cyclotomic polynomials that generalise some products introduced by Mahler. We characterise those that have the unit circle as a natural boundary and use associated Dirichlet series to obtain their asymptotic behaviour near roots of unity.

Let $f$ be a rational function on an algebraic curve over the complex numbers. For a point $p$ and local parameter $x$ we can consider the Taylor series for $f$ in the variable $x$. In this paper we give an upper bound on the frequency with which the terms in the Taylor series have $0$ as their coefficient.

The discriminant of a trinomial of the form $x^{n}\pm \,x^{m}\pm \,1$ has the form $\pm n^{n}\pm (n-m)^{n-m}m^{m}$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^{2}-n+1)/3)^{2}$ always divides $n^{n}-(n-1)^{n-1}$ . In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide these sporadic values as $n$ varies seems to be independent of $m$ , and this set can be seen as a generalization of the Wieferich primes, those primes $p$ such that $2^{p}$ is congruent to 2 (mod $p^{2}$ ). We provide heuristics for the density of these sporadic primes and the density of squarefree values of these trinomial discriminants.

We describe an online database of number fields which accompanies this paper. The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to theoretical issues of current interest.

We generalize the work of Bertolini and Darmon on the anticyclotomic main conjecture for elliptic curves to modular forms of higher weight.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf{c}(H)$ of $H$ is the smallest integer $N$ with the following property: for each $a\in H$ and each pair of factorizations $z,z^{\prime }$ of $a$ , there exist factorizations $z=z_{0},\dots ,z_{k}=z^{\prime }$ of $a$ such that, for each $i\in [1,k]$ , $z_{i}$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G|\geq 3$ . Then the catenary degree depends only on the class group $G$ and we have $\mathsf{c}(H)\in [3,\mathsf{D}(G)]$ , where $\mathsf{D}(G)$ denotes the Davenport constant of $G$ . The cases when $\mathsf{c}(H)\in \{3,4,\mathsf{D}(G)\}$ have been previously characterized (see Theorem A). Based on a characterization of the catenary degree determined in the paper by Geroldinger et al. [‘The catenary degree of Krull monoids I’, J. Théor. Nombres Bordeaux23 (2011), 137–169], we determine the class groups satisfying $\mathsf{c}(H)=\mathsf{D}(G)-1$ . Apart from the extremal cases mentioned, the precise value of $\mathsf{c}(H)$ is known for no further class groups.

Let $A$ be an abelian variety over a global field $K$ of characteristic $p\geqslant 0$. If $A$ has nontrivial (respectively full) $K$-rational $l$-torsion for a prime $l\neq p$, we exploit the fppf cohomological interpretation of the $l$-Selmer group $\text{Sel}_{l}\,A$ to bound $\#\text{Sel}_{l}\,A$ from below (respectively above) in terms of the cardinality of the $l$-torsion subgroup of the ideal class group of $K$. Applied over families of finite extensions of $K$, the bounds relate the growth of Selmer groups and class groups. For function fields, this technique proves the unboundedness of $l$-ranks of class groups of quadratic extensions of every $K$ containing a fixed finite field $\mathbb{F}_{p^{n}}$ (depending on $l$). For number fields, it suggests a new approach to the Iwasawa ${\it\mu}=0$ conjecture through inequalities, valid when $A(K)[l]\neq 0$, between Iwasawa invariants governing the growth of Selmer groups and class groups in a $\mathbb{Z}_{l}$-extension.

One way to study certain classes of polynomials is by considering examples that are attached to combinatorial objects. Any graph $G$ has an associated reciprocal polynomial $R_{G}$ , and with two particular classes of reciprocal polynomials in mind one can ask the questions: (a) when is $R_{G}$ a product of cyclotomic polynomials (giving the cyclotomic graphs)? (b) when does $R_{G}$ have the minimal polynomial of a Salem number as its only non-cyclotomic factor (the non-trivial Salem graphs)? Cyclotomic graphs were classified by Smith (Combinatorial structures and their applications, Proceedings of Calgary International Conference, Calgary, AB, 1969 (eds R. Guy, H. Hanani, H. Saver and J. Schönheim; Gordon and Breach, New York, 1970) 403–406); the maximal connected ones are known as Smith graphs. Salem graphs are ‘spectrally close’ to being cyclotomic, in that nearly all their eigenvalues are in the critical interval $[-2,2]$ . On the other hand, Salem graphs do not need to be ‘combinatorially close’ to being cyclotomic: the largest cyclotomic induced subgraph might be comparatively tiny.

We define an $m$ -Salem graph to be a connected Salem graph $G$ for which $m$ is minimal such that there exists an induced cyclotomic subgraph of $G$ that has $m$ fewer vertices than $G$ . The $1$ -Salem subgraphs are both spectrally close and combinatorially close to being cyclotomic. Moreover, every Salem graph contains a $1$ -Salem graph as an induced subgraph, so these $1$ -Salem graphs provide some necessary substructure of all Salem graphs. The main result of this paper is a complete combinatorial description of all $1$ -Salem graphs: in the non-bipartite case there are $25$ infinite families and $383$ sporadic examples.

In this paper we prove that a pure, regular, totally odd, polarizable weakly compatible system of $l$-adic representations is potentially automorphic. The innovation is that we make no irreducibility assumption, but we make a purity assumption instead. For compatible systems coming from geometry, purity is often easier to check than irreducibility. We use Katz’s theory of rigid local systems to construct many examples of motives to which our theorem applies. We also show that if $F$ is a CM or totally real field and if ${\it\pi}$ is a polarizable, regular algebraic, cuspidal automorphic representation of $\text{GL}_{n}(\mathbb{A}_{F})$, then for a positive Dirichlet density set of rational primes $l$, the $l$-adic representations $r_{l,\imath }({\it\pi})$ associated to ${\it\pi}$ are irreducible.

For the $(d+1)$-dimensional Lie group $G=\mathbb{Z}_{p}^{\times }\ltimes \mathbb{Z}_{p}^{\oplus d}$, we determine through the use of $p$-power congruences a necessary and sufficient set of conditions whereby a collection of abelian $L$-functions arises from an element in $K_{1}(\mathbb{Z}_{p}\unicode[STIX]{x27E6}G\unicode[STIX]{x27E7})$. If $E$ is a semistable elliptic curve over $\mathbb{Q}$, these abelian $L$-functions already exist; therefore, one can obtain many new families of higher order $p$-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

This paper proves two results on the field of rationality $\mathbb{Q}({\it\pi})$ for an automorphic representation ${\it\pi}$, which is the subfield of $\mathbb{C}$ fixed under the subgroup of $\text{Aut}(\mathbb{C})$ stabilizing the isomorphism class of the finite part of ${\it\pi}$. For general linear groups and classical groups, our first main result is the finiteness of the set of discrete automorphic representations ${\it\pi}$ such that ${\it\pi}$ is unramified away from a fixed finite set of places, ${\it\pi}_{\infty }$ has a fixed infinitesimal character, and $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ is bounded. The second main result is that for classical groups, $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ grows to infinity in a family of automorphic representations in level aspect whose infinite components are discrete series in a fixed $L$-packet under mild conditions.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}P(x)$ be a polynomial of degree $d$ with zeros $\alpha _1, \ldots, \alpha _d$. Stulov and Yang [‘An elementary inequality about the Mahler measure’, Involve6(4) (2013), 393–397] defined the total distance of$P$ as ${\rm td}(P)=\sum _{i=1}^{d} | | \alpha _i| -1|$. In this paper, using the method of explicit auxiliary functions, we study the spectrum of the total distance for totally positive algebraic integers and find its five smallest points. Moreover, for totally positive algebraic integers, we establish inequalities comparing the total distance with two standard measures and also the trace. We give numerical examples to show that our bounds are quite good. The polynomials involved in the auxiliary functions are found by a recursive algorithm.

We formulate a conjecture which generalizes Darmon’s ‘refined class number formula’. We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the ‘except $2$-part’ of Darmon’s conjecture, which was first proved by Mazur and Rubin.

The Chevalley involution of a connected, reductive algebraic group over an algebraically closed field takes every semisimple element to a conjugate of its inverse, and this involution is unique up to conjugacy. In the case of the reals we prove the existence of a real Chevalley involution, which is defined over $\mathbb{R}$, takes every semisimple element of $G(\mathbb{R})$ to a $G(\mathbb{R})$-conjugate of its inverse, and is unique up to conjugacy by $G(\mathbb{R})$. We derive some consequences, including an analysis of groups for which every irreducible representation is self-dual, and a calculation of the Frobenius Schur indicator for such groups.

Cet article est une contribution à la fois au calcul du nombre de fibrés de Hitchin sur une courbe projective et à l’explicitation de la partie nilpotente de la formule des traces d’Arthur-Selberg pour une fonction test très simple. Le lien entre les deux questions a été établi dans [Chaudouard, Sur le comptage des fibrés de Hitchin. À paraître aux actes de la conférence en l’honneur de Gérard Laumon]. On décompose cette partie nilpotente en une somme d’intégrales adéliques indexées par les orbites nilpotentes. Pour les orbites de type «régulières par blocs», on explicite complètement ces intégrales en termes de la fonction zêta de la courbe.

Until recently, the ‘plus part’ of the class numbers of cyclotomic fields had only been determined for fields of root discriminant small enough to be treated by Odlyzko’s discriminant bounds.

However, by finding lower bounds for sums over prime ideals of the Hilbert class field, we can now establish upper bounds for class numbers of fields of larger discriminant. This new analytic upper bound, together with algebraic arguments concerning the divisibility properties of class numbers, allows us to unconditionally determine the class numbers of many cyclotomic fields that had previously been untreatable by any known method.

In this paper, we study in particular the cyclotomic fields of composite conductor.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\mathcal{O}$ be a maximal order in the quaternion algebra $B_p$ over $\mathbb{Q}$ ramified at $p$ and $\infty $. The paper is about the computational problem: construct a supersingular elliptic curve $E$ over $\mathbb{F}_p$ such that ${\rm End}(E) \cong \mathcal{O}$. We present an algorithm that solves this problem by taking gcds of the reductions modulo $p$ of Hilbert class polynomials.

New theoretical results are required to determine the complexity of our algorithm. Our main result is that, under certain conditions on a rank three sublattice $\mathcal{O}^T$ of $\mathcal{O}$, the order $\mathcal{O}$ is effectively characterized by the three successive minima and two other short vectors of $\mathcal{O}^T\! .$ The desired conditions turn out to hold whenever the $j$-invariant $j(E)$, of the elliptic curve with ${\rm End}(E) \cong \mathcal{O}$, lies in $\mathbb{F}_p$. We can then prove that our algorithm terminates with running time $O(p^{1+\varepsilon })$ under the aforementioned conditions.

As a further application we present an algorithm to simultaneously match all maximal order types with their associated $j$-invariants. Our algorithm has running time $O(p^{2.5 + \varepsilon })$ operations and is more efficient than Cerviño’s algorithm for the same problem.

This paper presents an algorithm to construct cryptographically strong genus $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}2$ curves and their Kummer surfaces via Rosenhain invariants and related Kummer parameters. The most common version of the complex multiplication (CM) algorithm for constructing cryptographic curves in genus 2 relies on the well-studied Igusa invariants and Mestre’s algorithm for reconstructing the curve. On the other hand, the Rosenhain invariants typically have much smaller height, so computing them requires less precision, and in addition, the Rosenhain model for the curve can be written down directly given the Rosenhain invariants. Similarly, the parameters for a Kummer surface can be expressed directly in terms of rational functions of theta constants. CM-values of these functions are algebraic numbers, and when computed to high enough precision, LLL can recognize their minimal polynomials. Motivated by fast cryptography on Kummer surfaces, we investigate a variant of the CM method for computing cryptographically strong Rosenhain models of curves (as well as their associated Kummer surfaces) and use it to generate several example curves at different security levels that are suitable for use in cryptography.

Deciding whether an ideal of a number field is principal and finding a generator is a fundamental problem with many applications in computational number theory. For indefinite quaternion algebras, the decision problem reduces to that in the underlying number field. Finding a generator is hard, and we present a heuristically subexponential algorithm.