Eichler Orders in Central Simple Algebras

• Eichler orders are specific O-orders in central simple algebras, classically formed by intersecting two maximal orders and generalizing quaternionic structures.
• They are analyzed via monomial orders and characterized by criteria such as Gorenstein and Bass properties, with their structure elucidated through Bruhat–Tits trees.
• Their arithmetic significance includes explicit class number formulas, spinor class field theory, and applications in the study of automorphic forms and abelian varieties.

An Eichler order is a specific type of $\mathcal{O}$-order in a central simple algebra, classically characterized as the intersection of two maximal orders. The theory of Eichler orders originates in quaternion algebras over local and global fields but generalizes via the theory of monomial orders in higher-dimensional and higher-period settings. These structures have deep implications in arithmetic, geometry, and the study of automorphic forms, as well as explicit representation-theoretic and class field computations.

1. Monomial Orders and the Eichler Order Paradigm

Let $k$ denote a non-Archimedean local field with ring of integers $\mathcal{O}$. Write $A \simeq \operatorname{Mat}_n(D)$, where $D$ is the unique central division algebra over $k$, with maximal order $\mathcal{O}_D$ and uniformizer $\pi_D$. Monomial orders in $A$ are defined via an integral matrix $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$, where

$k$0

Here $k$1 is the normalized valuation ($k$2). This set is a subring if and only if $k$3 for all $k$4, and $k$5 for all $k$6; such subrings are called standard monomial orders of level $k$7. Any order conjugate to one of these is a monomial order (Yang et al., 2013).

Eichler orders, defined initially for quaternion algebras ($k$8), are a subclass of monomial orders with structured level matrices. An Eichler order of period $k$9 arises as a standard monomial order where, up to conjugation, $\mathcal{O}$0 is in a $\mathcal{O}$1 block form with zeros on the diagonal and scalar blocks $\mathcal{O}$2 in the lower triangle. For quaternion algebras, $\mathcal{O}$3 yields the classical Eichler orders, concretely

$\mathcal{O}$4

This formalism unifies order theory in central simple algebras and provides a computational approach to both local and global structure (Yang et al., 2013).

2. Structural Properties: Gorenstein and Bass Criteria

An order $\mathcal{O}$5 is Gorenstein if every short exact sequence of right $\mathcal{O}$6-lattices

$\mathcal{O}$7

splits. For standard monomial orders $\mathcal{O}$8, $\mathcal{O}$9 is Gorenstein if and only if for every $A \simeq \operatorname{Mat}_n(D)$0 there exists $A \simeq \operatorname{Mat}_n(D)$1 such that the column $A \simeq \operatorname{Mat}_n(D)$2 appears as a column of $A \simeq \operatorname{Mat}_n(D)$3. For strictly upper-triangular monomial orders, this becomes especially tractable: such an order is Gorenstein if and only if $A \simeq \operatorname{Mat}_n(D)$4 is block lower-triangular exactly in the Eichler form (Yang et al., 2013).

The Bass property—every over-order of $A \simeq \operatorname{Mat}_n(D)$5 is Gorenstein—has a stringent classification in the monomial setting: $A \simeq \operatorname{Mat}_n(D)$6 is Bass iff it is hereditary (level matrix with entries in $A \simeq \operatorname{Mat}_n(D)$7 and hereditary suborders) or a period-two Eichler order. No Eichler order of period $A \simeq \operatorname{Mat}_n(D)$8 is Bass (Yang et al., 2013).

The specific block-matrix form for period-two Eichler orders is

$A \simeq \operatorname{Mat}_n(D)$9

Such $D$0 is Gorenstein, and all overorders maintain this structure, ensuring the Bass property.

3. Local and Global Classification

For a quaternion algebra $D$1 over a number field $D$2 with ring of integers $D$3, one defines an Eichler order $D$4 of level $D$5 as the intersection of two maximal orders with conductor $D$6. Locally, at a finite place $D$7, if $D$8, then $D$9 is the intersection of $k$0 consecutive maximal orders in $k$1, corresponding to a path of length $k$2 in the local Bruhat–Tits tree (Arenas et al., 2016, Arenas-Carmona, 2011).

For a genus $k$3 of Eichler orders of level $k$4, the spinor class field $k$5 is the maximal elementary $k$6-extension of the Hilbert class field of $k$7, unramified except at finite primes dividing $k$8 to odd exponent and at real places where $k$9 splits. The number of conjugacy classes of Eichler orders in $\mathcal{O}_D$0 equals $\mathcal{O}_D$1, with explicit formula: $\mathcal{O}_D$2 where $\mathcal{O}_D$3 is the number of real places where $\mathcal{O}_D$4 splits and $\mathcal{O}_D$5 the number of primes dividing $\mathcal{O}_D$6 to odd exponent (Arenas et al., 2016). This count generalizes classical results, applies to arbitrary level, and connects with the theory of spinor genera and the representation field.

4. Global Class Field Theory and Spinor Genera

For a genus $\mathcal{O}_D$7 of (maximal-rank) orders in a central simple algebra $\mathcal{O}_D$8 over a global field $\mathcal{O}_D$9, the spinor class field $\pi_D$0 is defined so that two orders $\pi_D$1 in $\pi_D$2 are conjugate iff their Artin distance $\pi_D$3. Explicitly, for Eichler orders (as generalized Eichler orders "GEO"),

$\pi_D$4

with local type vectors $\pi_D$5, the local distance $\pi_D$6, and symmetry at $\pi_D$7 specified by $\pi_D$8 (Arenas-Carmona, 2013). The subextension $\pi_D$9 of the spinor class field $A$0 of maximal orders is determined by the symmetric places: $A$1 At symmetric places, the inertia conditions involve division by 2, inspired by the local structure of the Bruhat–Tits complexes. In the quaternionic case, this recovers known formulas for classical Eichler orders and their spinor genera.

5. Embedding and Selectivity Phenomena

The representation field $A$2 for an Eichler order $A$3 and suborder $A$4 is a subfield of the spinor class field $A$5, controlling which spinor genera of orders in the genus contain an embedding of $A$6 (Arenas-Carmona, 2011). For quadratic orders $A$7, the representation field is $A$8 unless $A$9 globally and fails embedding conditions at $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$0 inert in $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$1. In these exceptional cases, $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$2, and the number of conjugacy classes in the genus representing $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$3 is $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$4.

Explicit criteria for optimal embeddings in global and local settings rely on the structure of the Bruhat–Tits trees and their branches, with detailed numerical formulas for all types of commutative suborders (Arenas et al., 2016).

Spinor selectivity refines this by specifying necessary and sufficient conditions for a given quadratic order $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$5 to be optimally spunor-selective for a genus (i.e., it embeds only into half of the spinor genera). In the Eichler case, selectivity is dictated by the containment $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$6 and local norm conditions (Xue et al., 2022).

6. Applications and Explicit Arithmetic Formulas

Eichler orders play a fundamental role in explicit class number formulas for quaternion orders and the arithmetic of abelian varieties. The class number $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$7 of an Eichler order in a totally definite quaternion algebra over a totally real field $m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$8 is given by

$m = (m_{ij}) \in \operatorname{Mat}_n(\mathbb{Z})$9

where $k$00 is the discriminant of $k$01, $k$02 the level, the first sum over totally imaginary quadratic $k$03, and $k$04 the class number of the $k$05-order $k$06 (Xue et al., 2014).

This formula generalizes to arbitrary $k$07-orders. Mass computations are handled adelically, and elliptic contributions are controlled via explicit embedding counts of CM-orders $k$08 in $k$09.

In the function field context, Eichler orders over curves (e.g., over $k$10 for a smooth projective curve $k$11) exhibit explicit classification: over $k$12, all maximal orders split, and all Eichler orders of level supported at $k$13 distinct degree-1 points are split (Arenas-Carmona et al., 2019). For general $k$14, only finitely many non-split conjugacy classes occur if the level divisor is multiplicity-free.

Supersingular abelian surfaces and oriented supersingular elliptic curves further connect Eichler orders to the arithmetic of moduli, isogeny graphs, and the explicit realization of endomorphism rings, as in the construction of Eichler orders $k$15 isomorphic to endomorphism rings $k$16 for certain oriented curves $k$17 with subgroup $k$18 of level $k$19 (Xiao et al., 2023).

7. Combinatorial and Graph-Theoretical Aspects

The local structure of Eichler orders is intimately related to the geometry of Bruhat–Tits trees. Locally, an Eichler order of level $k$20 in $k$21 represents the intersection of $k$22 consecutive maximal orders, realized as a length-$k$23 segment in the tree. Ideals, embeddings, and conjugacy classes are described combinatorially in terms of paths, spines, and branches in these trees (Arenas-Carmona, 2011, Babei et al., 2019, Arenas-Carmona et al., 15 Mar 2025).

Quotient graphs arising from group actions on Bruhat–Tits trees encode global structure, enabling explicit computation of classifying graphs for genera of Eichler orders at various places and transfer of local arithmetic information (Arenas-Carmona et al., 15 Mar 2025). The correspondence between Markov transition operators and random walks on these graphs presents a probabilistic and spectral approach to order classification in arithmetic geometry.

---

References:

(Yang et al., 2013, Arenas et al., 2016, Arenas-Carmona, 2013, Xue et al., 2014, Arenas-Carmona, 2011, Babei et al., 2019, Arenas-Carmona et al., 2019, Xiao et al., 2023, Arenas-Carmona et al., 15 Mar 2025, Xue et al., 2022)