21-cm cosmology

Imaging the Universe during the first hundreds of millions of years remains one of the exciting challenges facing modern cosmology. Observations of the redshifted 21 cm line of atomic hydrogen offer the potential of opening a new window into this epoch. This would transform our understanding of the formation of the first stars and galaxies and of the thermal history of the Universe. A new generation of radio telescopes is being constructed for this purpose with the first results starting to trickle in. In this review, we detail the physics that governs the 21 cm signal and describe what might be learnt from upcoming observations. We also generalize our discussion to intensity mapping of other atomic and molecular lines.Comment: 64 pages, 20 figures, submitted to Reports on Progress in Physics, comments welcom

Detecting the 21 cm Forest in the 21 cm Power Spectrum

We describe a new technique for constraining the radio loud population of active galactic nuclei at high redshift by measuring the imprint of 21 cm spectral absorption features (the 21 cm forest) on the 21 cm power spectrum. Using semi-numerical simulations of the intergalactic medium and a semi-empirical source population we show that the 21 cm forest dominates a distinctive region of $k$-space, $k \gtrsim 0.5 \text{Mpc}^{-1}$. By simulating foregrounds and noise for current and potential radio arrays, we find that a next generation instrument with a collecting area on the order of $\sim 0.1\text{km}^2$ (such as the Hydrogen Epoch of Reionization Array) may separately constrain the X-ray heating history at large spatial scales and radio loud active galactic nuclei of the model we study at small ones. We extrapolate our detectability predictions for a single radio loud active galactic nuclei population to arbitrary source scenarios by analytically relating the 21 cm forest power spectrum to the optical depth power spectrum and an integral over the radio luminosity function.Comment: 20 pages, 17 figures, accepted for publication in MNRA

Accelerating the CM method

Given a prime q and a negative discriminant D, the CM method constructs an elliptic curve E/\Fq by obtaining a root of the Hilbert class polynomial H_D(X) modulo q. We consider an approach based on a decomposition of the ring class field defined by H_D, which we adapt to a CRT setting. This yields two algorithms, each of which obtains a root of H_D mod q without necessarily computing any of its coefficients. Heuristically, our approach uses asymptotically less time and space than the standard CM method for almost all D. Under the GRH, and reasonable assumptions about the size of log q relative to |D|, we achieve a space complexity of O((m+n)log q) bits, where mn=h(D), which may be as small as O(|D|^(1/4)log q). The practical efficiency of the algorithms is demonstrated using |D| > 10^16 and q ~ 2^256, and also |D| > 10^15 and q ~ 2^33220. These examples are both an order of magnitude larger than the best previous results obtained with the CM method.Comment: 36 pages, minor edits, to appear in the LMS Journal of Computation and Mathematic

Potential automorphy over CM fields

Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphic representations for $\mathrm{GL}_2(\mathbf{A}_F)$.Comment: A number of details have been included to address the concerns of the referees. The definition of decomposed generic (Def 4.3.1) has been weakened slightly to be in line with the current version of arxiv.org/abs/1909.01898, resulting in a strengthening of a number of our theorems. This is the accepted version of the pape

Edwards curves and CM curves

Edwards curves are a particular form of elliptic curves that admit a fast, unified and complete addition law. Relations between Edwards curves and Montgomery curves have already been described. Our work takes the view of parameterizing elliptic curves given by their j-invariant, a problematic that arises from using curves with complex multiplication, for instance. We add to the catalogue the links with Kubert parameterizations of X0(2) and X0(4). We classify CM curves that admit an Edwards or Montgomery form over a finite field, and justify the use of isogenous curves when needed

CM newforms with rational coefficients

We classify newforms with rational Fourier coefficients and complex multiplication for fixed weight up to twisting. Under the extended Riemann hypothesis for odd real Dirichlet characters, these newforms are finite in number. We produce tables for weights 3 and 4, where finiteness holds unconditionally.Comment: 17 pages, 3 tables; final version: Rem 7.2, Thm 9.2 added, references updated, minor change