Let $\mathcal {O}$ be a maximal order in the quaternion algebra over $\mathbb Q$ ramified at p and $\infty $. We prove two theorems that allow us to recover the structure of $\mathcal {O}$ from limited information. The first says that for any infinite set S of integers coprime to p, $\mathcal {O}$ is spanned as a ${\mathbb {Z}}$-module by elements with norm in S. The second says that $\mathcal {O}$ is determined up to isomorphism by its theta function.

Given a singular modulus $j_0$ and a set of rational primes S, we study the problem of effectively determining the set of singular moduli j such that $j-j_0$ is an S-unit. For every $j_0 \neq 0$ , we provide an effective way of finding this set for infinitely many choices of S. The same is true if $j_0=0$ and we assume the Generalised Riemann Hypothesis. Certain numerical experiments will also lead to the formulation of a “uniformity conjecture” for singular S-units.

Waldspurger’s formula gives an identity between the norm of a torus period and an $L$-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding $L$-functions agree, (the norms of) these periods—which occur on different quaternion algebras—are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.

We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin–Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin–Lehner signs among newforms.

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.

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.

In this paper we compute and continue meromorphically to the entire complex plane the zeta functions of twisted quaternionic Shimura varieties of dimension 3. The twist of the quaternionic Shimura varieties is done by a mod ℘ representation of the absolute Galois group.

A field $F$ is said to be tractable when a condition described below on the simultaneous representation of quaternion algebras holds over $F$. It is shown that a global field $F$ is tractable iff $F$ has at most one dyadic place. Several other examples of tractable and nontractable fields are given.

In this paper we examine the examples of isospectral but non-isometric Riemannian manifolds given by Milnor, Ikeda, and Vignéras. Of these, only Milnor's example is accounted for by Sunada's method of constructing isospectral manifolds, and even then only as an "unnatural" construction.