---
title: Indefinite Quaternion Algebras
url: https://www.emergentmind.com/topics/indefinite-quaternion-algebras
type: topic
---

# Indefinite Quaternion Algebras

An indefinite quaternion algebra over a number field, most classically over $\mathbb{Q}$, is a central simple algebra of dimension four that is unramified at at least one infinite place. Indefinite quaternion algebras form a fundamental class of arithmetic objects with deep connections to algebraic geometry, number theory, and automorphic forms. Their arithmetic and geometric properties, especially as they relate to Shimura curves and the action of Hecke operators on optimal embeddings, are of central interest in both theoretical and computational arithmetic geometry.

## 1. Definition and Algebraic Structure

Let $F$ be a totally real field (often $F = \mathbb{Q}$), and let $B$ be a quaternion algebra over $F$. Concretely, for $a, b \in \mathbb{Q}^{\times}$,
\[
B = \left( \frac{a, b}{\mathbb{Q}} \right)
\]
is the $\mathbb{Q}$-algebra generated by $i, j$ with relations $i^2 = a$, $j^2 = b$, $ij = -ji$. For each place $v$ of $F$ ($v$ archimedean or finite), the algebra $B \otimes_F F_v$ is either isomorphic to $M_2(F_v)$ (split) or to the unique division quaternion algebra over $F_v$ (ramified). The set of finite places where $B$ is ramified, together with the infinite places, fully determines the algebra up to isomorphism. The discriminant $D$ is the product of the finite places where $B$ ramifies.

An algebra $B$ is called **indefinite** if it splits at at least one infinite (archimedean) place, i.e., $B \otimes_{F, v} \mathbb{R} \cong M_2(\mathbb{R})$ for some real place $v$. This is in contrast to totally definite quaternion algebras, which are division algebras at every archimedean place [1012.0725][2104.13438].

## 2. Eichler Orders and Optimal Embeddings

Within an indefinite quaternion algebra $B$ over $\mathbb{Q}$ of discriminant $D$, an **Eichler order** $R \subset B$ of level $M$ is the intersection of two suitably chosen maximal orders, with reduced discriminant $DM$. For a real quadratic field $K = \mathbb{Q}(\sqrt{d})$, let $\mathcal{O}_d$ be the order of discriminant $d$.

An embedding $\phi: K \hookrightarrow B$ is called **optimal** (of level $M$) if
\[
\phi(\mathcal{O}_d) = \phi(K) \cap R \subset R
\]
The set $\operatorname{Emb}^+(B)$ of optimal embeddings (up to $R^1$-conjugacy, with $R^1$ being the norm-one units of $R$) parametrizes foundational arithmetic and geometric objects associated with $B$ and its Shimura curve [2104.13438].

## 3. Shimura Curves, CM Points, and Geodesic Correspondence

Indefinite quaternion algebras are linked to the theory of Shimura curves, which generalize modular curves. Fix $B$ an indefinite quaternion algebra over $\mathbb{Q}$, and identify $B \otimes_{\mathbb{Q}} \mathbb{R} \cong M_2(\mathbb{R})$. The group $\Gamma = R^1/\{\pm 1\} \subset \mathrm{PSL}_2(\mathbb{R})$ acts discretely on the upper half-plane $\mathbb{H}$, with quotient
\[
Y = \Gamma \backslash \mathbb{H}
\]
the (possibly compact) Shimura curve of discriminant $D$ and level $M$. Each optimal embedding class $[\phi]$ corresponds to a primitive hyperbolic element in $\Gamma$, whose axis in $\mathbb{H}$ projects to a closed geodesic $\ell_\phi \subset Y$. This establishes a bijective correspondence:
\[
\operatorname{Emb}^+(B) \longleftrightarrow \{\text{primitive closed geodesics on $Y$}\}
\]
[2104.13438].

Complex multiplication (CM) points on $Y$ correspond, via double coset parametrizations, to data involving embeddings of quadratic fields into $B$. For a CM field $K$ and an $F$-embedding $\iota: K \hookrightarrow B$, the set of CM points at level $H \subset G(\mathbb{A}_f)$ is
\[
\mathrm{CM}(G, H) = T(\mathbb{Q}) \backslash G(\mathbb{A}_f) / H
\]
with $T = \operatorname{Res}_{K/\mathbb{Q}}(K^{\times})$ and $G = \operatorname{Res}_{F/\mathbb{Q}}(B^{\times})$ [1012.0725].

## 4. Hecke Operators and Generating Series

A natural action of Hecke operators $T_n$ exists on the set of formal sums of optimal embeddings. For $n \geq 1$,
\[
T_n[\phi] = \sum_{[\psi]} w_n(\psi, \phi)[\psi]
\]
where $w_n(\phi, \psi)$ counts certain conjugacy classes related to elements of norm $n$ in $R$, with $[\phi], [\psi]$ equivalence classes of optimal embeddings.

Associating to each embedding its closed geodesic, this formalism allows for the construction of generating series via the signed intersection numbers:
\[
I^{\pm}_{\alpha_1, \alpha_2}(\tau) = \sum_{n=1}^\infty \langle \alpha_1, T_n \alpha_2 \rangle q^n,\quad q = e^{2\pi i \tau}
\]
where $\langle \cdot, \cdot \rangle$ is the signed intersection form on $H_1(Y, \mathbb{Z})$. The main modularity result asserts that such generating series are classical cuspidal modular forms of weight 2 and level $DM^2$, new at all primes dividing $D$ [2104.13438].

## 5. Arithmetic Reduction, Liftings, and Correspondence

For an indefinite quaternion algebra $B$ and a finite place $v$ not in the set of ramified places, reduction maps can be defined from the set of CM points on $B$ to supersingular points of definite quaternion algebras $B'$. The *lifting map* $\theta_S$, introduced in [1012.0725], provides a correspondence between CM points on indefinite quaternion algebras and CM points on associated totally definite algebras $B_S$, for a suitable set $S$ of places satisfying parity and ramification constraints.

Given Eichler orders $R \subset B$, $R_S \subset B_S$, and fixed conductors, there is a precise arithmetic correspondence:
- The fine and coarse conductors associated to CM points transform by taking the prime-to-$S$ components under $\theta_S$.
- The lifting map $\theta_S$ is uniquely characterized by certain commutative diagrams involving reduction maps and is both Galois and Hecke equivariant.
- The size of Galois orbits of CM points with fixed conductor is governed by products of local factors and ring class field degrees, enabling equidistribution results [1012.0725].

A table summarizing key objects:

| Object                | Construction/Notation                   | Role in Arithmetic/Geometry           |
|-----------------------|-----------------------------------------|---------------------------------------|
| Indefinite algebra    | $B = (a, b/\mathbb{Q})$, $\infty \notin \text{Ram}(B)$ | Central simple algebra, $B\otimes\mathbb{R}\cong M_2(\mathbb{R})$ |
| Eichler order         | $R \subset B$                           | Intersection of two maximal orders    |
| Optimal embedding     | $\phi: K \hookrightarrow B$, $\phi(\mathcal{O}_d) = \phi(K)\cap R$ | Parametrizes closed geodesics/CM points          |
| Shimura curve         | $Y = \Gamma \backslash \mathbb{H}$      | Quotient of upper half-plane          |
| Hecke operator        | $T_n[\phi]$                             | Acts on optimal embedding classes     |
| Lifting map           | $\theta_S: \mathrm{CM}(G,H)\to \mathrm{CM}(G_S,H_S)$ | Correspondence between CM points      |

## 6. Classical Examples and Broader Connections

Specializing to $F = \mathbb{Q}$ and $B = M_2(\mathbb{Q})$ recovers the setting of classical modular curves. For example, Heegner points on $Y_0(N)$ correspond via optimal embeddings. Reduction maps at primes inert in $K$ yield supersingular points on the corresponding definite algebra, with bijections established between Heegner points of given conductor reducing to a supersingular locus, and $R_s^{\times}$-conjugacy classes of optimal embeddings $O_c \hookrightarrow R_s$. This encapsulates the classical Deuring-Gross-Zagier correspondence for reductions of CM points [1012.0725].

The lifting maps $\theta_S$ unify diverse reduction constructions (including Deligne–Rapoport and Carayol degenerations) within a single framework, systematically accounting for conductor-matching and local orbit counts. These results are vital in analytic and arithmetic applications, such as subconvexity, non-vanishing of toric periods, and the equidistribution of Heegner points. The methodology extends to higher-dimensional Shimura varieties with toric subvarieties whenever a corresponding definite form is available [1012.0725].

## 7. Research Directions and Open Problems

Current research actively investigates the interplay between the arithmetic of indefinite quaternion algebras, Shimura varieties, and automorphic forms:
- The modularity properties of generating series arising from intersection theory on Shimura curves highlight connections to the Langlands program and the arithmetic of L-functions.
- The explicit orbit correspondences obtained via lifting maps fuel advances in $p$-adic uniformization, equidistribution, and distributional properties of CM points.
- Generalizations to higher dimension and other types of algebras and their associated Shimura varieties remain active avenues for development, especially in the context of special cycles and higher automorphic forms [1012.0725][2104.13438].

Source: https://www.emergentmind.com/topics/indefinite-quaternion-algebras