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

# Indefinite Quaternion Algebra

An indefinite quaternion algebra is a central simple algebra of dimension four over a number field, typically $\Q$, characterized by its ramification properties at archimedean and non-archimedean places. Specifically, a quaternion algebra $B$ over $\Q$ is called indefinite if it is unramified at the infinite (real) place, that is, $B \otimes_\Q \R \simeq M_2(\R)$. Such algebras are of fundamental importance in arithmetic, automorphic forms, the theory of Shimura curves, and computational number theory.

## 1. Algebraic Structure and Classification

A quaternion algebra over $\Q$ is an associative algebra of the form
\[
B = (a, b \mid \Q) = \Q \oplus \Q i \oplus \Q j \oplus \Q ij,\quad i^2 = a,\, j^2 = b,\, ij = -ji,
\]
for $a, b \in \Q^\times$. The set of ramified places $\Ram(B)$ of a quaternion algebra $B$ consists of finite primes and possibly the real place, characterized by the Hilbert symbol: the local invariant $\operatorname{inv}_v(B) \in \{0, 1/2\}$ at each place $v$. By definition, $B$ is indefinite if and only if the infinite place $\infty \notin \Ram(B)$, i.e., $B \otimes_\Q \R \simeq M_2(\R)$ [1012.0725, 2104.13438].

Each indefinite quaternion algebra over $\Q$ is classified up to isomorphism by its finite discriminant
\[
\Delta(B) = \prod_{v < \infty,\,\operatorname{inv}_v(B) = 1/2} v,
\]
which is always the product of an even number of distinct finite primes. There is exactly one such algebra (up to isomorphism) for every square-free $D>0$ with $\Delta(B) = D$ [2104.13438].

## 2. Orders, Ideals, and Norms

A maximal order $\Omax \subset B$ is a $\Z$-lattice that is maximal with respect to inclusion among all $\Z$-orders. For applications in arithmetic and geometry, one also considers Eichler orders of level $N$ (with $N$ prime to $D$), which are intersections of two maximal orders optimally chosen at each finite place:
\[
R = \bigcap_{p|N} R_p \cap \bigcap_{p\nmid N} R_p,
\]
with $R_p = \Omax \otimes \Z_p$ for $p \nmid D,N$, and special structures for $p \mid N$ [2104.13438].

Given a quaternion algebra $A$ over a number field $K$, every element $x \in A$ can be written as $x = x_0 + x_1 i + x_2 j + x_3 ij$ with $x_k \in K$. The reduced trace and norm are defined by
\[
\Trd(x) = x + \bar{x} = 2x_0,\quad \Nrd(x) = x \bar{x} = x_0^2 - a x_1^2 - b x_2^2 + ab x_3^2.
\]
The reduced norm on each simple component of $A \otimes_K K_v$ coincides with the usual determinant when $A$ split [1405.6674].

The principal ideal problem in an indefinite quaternion algebra focuses on right ideals $I \subset A$, which are finitely generated $\O_K$-lattices with prescribed right order. A core result (Eichler's theorem) provides a bijection between isomorphism classes of right ideals and generalized ideal class groups, reducing principality testing to the class group of the base field [1405.6674].

## 3. Arithmetic and Geometry: Shimura Curves and CM Points

Shimura curves are moduli spaces attached to indefinite quaternion algebras, parametrizing abelian surfaces with quaternionic multiplication. For $G = \mathrm{Res}_\Q(B^\times)$ and an Eichler order $R$ (with associated open compact $H = \hat{R}^\times \subset G(\mathbb{A}_f)$), the complex Shimura curve is
\[
X(\C) = G(\Q) \backslash [G(\mathbb{A}_f)/H \times (\mathbb{H} \setminus \R)],
\]
where $\mathbb{H}$ is the upper half-plane.

A totally imaginary quadratic field $K \subset B$ gives an algebraic torus $T = \mathrm{Res}_\Q(K^\times)$ and leads to the concept of complex multiplication (CM) points:
\[
\mathrm{CM}(G, H) = T(\Q) \backslash G(\mathbb{A}_f)/ H \subset X(\C).
\]
For a point $x = [g]$, the fine conductor $c_f(x) = (c', c'')$ is determined by the intersection orders $\O' = K \cap g R g^{-1}$ and the corresponding structure from the second embedding, and the coarse conductor $c_g(x) = \operatorname{lcm}(c', c'')$ specifies the field of definition via ring class field theory [1012.0725].

## 4. Reduction Maps and Liftings

Reduction theory for Shimura curves at ramified or unramified primes provides a bridge from the geometry of indefinite quaternion algebras to that of their totally definite analogs. When $p \nmid N$ is a prime, and $B \otimes \Q_p \simeq M_2(\Q_p)$, the reduction map
\[
\operatorname{red}_p: \mathrm{CM}(G, H) \to X'(\mathbb{Z}_p)_{ss} \simeq G'(\Q) \backslash G'(\mathbb{A}_f)/ H' = X(G', H'),
\]
is constructed, where $G', H'$ refer to the analogous data for the definite quaternion algebra $B'$ ramified appropriately at $p$ and $\infty$. This map is equivariant with respect to $\operatorname{Gal}(K^\text{ab})$ action and relates CM points to supersingular points mod $p$ [1012.0725].

A lifting of the reduction map is constructed via an adelic morphism $\theta_p : G(\mathbb{A}_f) \to G'(\mathbb{A}_f)$ with explicitly described local behavior at each place, inducing surjective fiber maps between CM sets:
\[
\theta_p: \{x \in \mathrm{CM}(G, H) \mid c_f(x) = (c', c'')\} \to \{y \in \mathrm{CM}(G', H') \mid c_f(y) = (c'_p, c''_p), \epsilon_p(y) = \epsilon\}.
\]
The degree $\kappa$ of the fiber is determined by Galois orbits and local lattice invariants [1012.0725].

## 5. Optimal Embeddings and Hecke Operators

For a real quadratic field $K = \Q(\sqrt{d})$ and Eichler order $R$, an optimal embedding $\phi : \O_d \to R$ is a ring homomorphism with $\phi(\O_d) = \phi(K) \cap R$. Two embeddings are equivalent if they are conjugated by a unit of norm one. The set of equivalence classes is denoted $\mathrm{Emb}_d^{\mathrm{opt}}(R)$ [2104.13438].

Hecke operators act naturally on formal sums of optimal embeddings. For $n$ coprime to $N$, define
\[
T_n: \Z[\mathrm{Emb}_d^{\mathrm{opt}}(R)] \to \Z[\mathrm{Emb}_d^{\mathrm{opt}}(R)],
\]
with weights computed via coset representatives of norm $n$ elements in $R$. The resulting structure mirrors the theory of modular symbols, and the Hecke algebra satisfies classical relations.

Geometrically, each optimal embedding corresponds to a primitive hyperbolic element and to a closed geodesic on the Shimura curve; the signed intersection number of pairs of geodesics gives a non-degenerate, skew-symmetric pairing, which under the identification with homology matches the intersection pairing there [2104.13438].

## 6. Computational Aspects: Principal Ideal Problem

The principal ideal problem in indefinite quaternion algebras consists of, given a right ideal $I \subset A$, deciding whether it is principal (i.e., $I = x\O$ for some $x \in A^\times$), and if so, finding such a generator. For indefinite algebras, the decision problem reduces to the analogous problem in the underlying number field via reduced norm maps and class field theory.

A substantial computational advancement is the introduction of a heuristically subexponential algorithm, inspired by Buchmann’s approach for class groups in number fields and leveraging:
- Smoothness with respect to a factor base of primes
- Local $p$-reduction structures exploiting the Bruhat–Tits tree
- Global reductions built from collections of smooth units with prescribed norm relations

The overall expected running time is subexponential in the discriminant, $L_{\Delta}(1/2, O(1))$, under standard heuristics concerning factor base completeness, smoothness probabilities, and unit group computations. Performance is confirmed by large-scale numerical experiments [1405.6674].

## 7. Connections, Special Cases, and Applications

Indefinite quaternion algebras have deep connections with modular forms, Shimura varieties, and arithmetic geometry. The structure of Shimura curves over indefinite algebras generalizes the theory of modular curves, accommodating both real and imaginary quadratic fields. The special case of $B = M_2(\Q)$ yields classical modular curves and the study of Heegner points, with explicit correspondences between CM points and supersingular points at inert primes [1012.0725].

The action of Hecke operators on optimal embeddings is linked to the classical theory of modular forms via the generating series
\[
f(\tau) = \sum_{n=1}^\infty \langle T_n[\phi], [\phi'] \rangle q^n,\quad q = e^{2\pi i \tau},
\]
which is shown to be a holomorphic cusp form of weight two and prescribed level. This modularity is made explicit using the Jacquet–Langlands correspondence and the theory of intersection pairings on Shimura curves [2104.13438].

Applications include explicit computations of endomorphism rings of elliptic or QM abelian surfaces, the modularity of generating series arising from arithmetic geometry, and effective algorithms for ideal classes and embeddings in arithmetic applications.

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