We prove that formal Fourier Jacobi expansions of degree two are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension two, which were defined by Kudla. A second application is the proof of termination of an algorithm to compute Fourier expansions of arbitrary Siegel modular forms of degree two. Combining both results enables us to determine relations of special cycles in the second Chow group.

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.

There is an algorithm of Schoof for finding divisors of class numbers of real cyclotomic fields of prime conductor. In this paper we introduce an improvement of the elliptic analogue of this algorithm by using a subgroup of elliptic units given by Weierstrass forms. These elliptic units which can be expressed in terms of $\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}}x$-coordinates of points on elliptic curves enable us to use the fast arithmetic of elliptic curves over finite fields.

Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial, is a very old problem. Currently, the best algorithmic solution is Stauduhar’s method. Computationally, one of the key challenges in the application of Stauduhar’s method is to find, for a given pair of groups $H<G$, a $G$-relative $H$-invariant, that is a multivariate polynomial $F$ that is $H$-invariant, but not $G$-invariant. While generic, theoretical methods are known to find such $F$, in general they yield impractical answers. We give a general method for computing invariants of large degree which improves on previous known methods, as well as various special invariants that are derived from the structure of the groups. We then apply our new invariants to the task of computing the Galois groups of polynomials over the rational numbers, resulting in the first practical degree independent algorithm.

We determine the conditions under which singular values of multiple $\eta $-quotients of square-free level, not necessarily prime to six, yield class invariants; that is, algebraic numbers in ring class fields of imaginary-quadratic number fields. We show that the singular values lie in subfields of the ring class fields of index ${2}^{{k}^{\prime } - 1} $ when ${k}^{\prime } \geq 2$ primes dividing the level are ramified in the imaginary-quadratic field, which leads to faster computations of elliptic curves with prescribed complex multiplication. The result is generalised to singular values of modular functions on ${ X}_{0}^{+ } (p)$ for $p$ prime and ramified.

We describe an algorithm for enumerating the set of level one systems of Hecke eigenvalues arising from modular forms (mod $p$).

Supplementary materials are available with this article.

We develop a new p-adic algorithm to compute the minimal polynomial of a class invariant. Our approach works for virtually any modular function yielding class invariants. The main algorithmic tool is modular polynomials, a concept which we generalize to functions of higher level.

In this paper, we introduce cell-forms on 𝔐0,n, which are top-dimensional differential forms diverging along the boundary of exactly one cell (connected component) of the real moduli space 𝔐0,n(ℝ). We show that the cell-forms generate the top-dimensional cohomology group of 𝔐0,n, so that there is a natural duality between cells and cell-forms. In the heart of the paper, we determine an explicit basis for the subspace of differential forms which converge along a given cell X. The elements of this basis are called insertion forms; their integrals over X are real numbers, called cell-zeta values, which generate a ℚ-algebra called the cell-zeta algebra. By a result of F. Brown, the cell-zeta algebra is equal to the algebra of multizeta values. The cell-zeta values satisfy a family of simple quadratic relations coming from the geometry of moduli spaces, which leads to a natural definition of a formal version of the cell-zeta algebra, conjecturally isomorphic to the formal multizeta algebra defined by the much-studied double shuffle relations.

The minimum value of the Mahler measure of a nonreciprocal polynomial whose coefficients are all odd integers is proved here to be the golden ratio. The smallest measures of reciprocal polynomials with $\pm1$ coefficients and degree at most 72 are also determined.