---
title: Locally Associated Orders in Algebra and Geometry
url: https://www.emergentmind.com/topics/locally-associated-orders
type: topic
---

# Locally Associated Orders in Algebra and Geometry

Locally associated orders are orders studied through local comparison data rather than through a single global presentation. In the arithmetic theory of quaternion and central simple algebras, this local data may be a conjugate order \(a^{-1} O a\) attached to a principal ideal \(Oa\), or an order that becomes indistinguishable from another after extension to the fraction field and after faithfully flat étale base change [1909.12915; 1804.09527]. In Jordan algebra theory, a local order is defined through semi-injective elements and local algebras \(J_x\), and its structure is controlled by the socle of the maximal algebra of quotients [1702.08816]. In Bruhat–Tits and valuation-theoretic settings, tiled and monomial orders are encoded by exponent matrices, convex polytopes, and local normalizers, so that local geometry determines type numbers, normalizers, and homological properties [2010.12145; 1308.6017].

## 1. Principal meanings of local association

Across the literature surveyed here, the phrase refers to several related local-to-global mechanisms rather than to a single formal definition. The common feature is that an order is recovered, compared, or classified from data visible after localization, local conjugation, or passage to a local quotient structure.

| Setting | Local object | Governing statement |
|---|---|---|
| Eichler orders | \(Oa \leftrightarrow a^{-1} O a\) | principal norm-\(p\) ideals correspond to associated Eichler orders |
| Hereditary orders | \(A\otimes_R S \cong A'\otimes_R S\) | étale-local and generic isomorphism imply global isomorphism |
| Jordan algebras | local order \(J\subseteq Q\) | controlled by \(\mathrm{Soc}(Q_{\max}(J))\) |
| Tiled and monomial orders | exponent matrices and building data | local combinatorics determine normalizers and structural class |

This suggests an umbrella interpretation: a locally associated order is an order whose essential structure is encoded by a family of local models, associated conjugates, or local quotient pieces. In the papers considered here, that principle appears in four especially developed forms: metacommutation in Eichler orders, étale-local rigidity of hereditary orders, local-order theory in Jordan algebras, and Bruhat–Tits or valuation-matrix descriptions of tiled and monomial orders.

## 2. Associated orders in Eichler orders and metacommutation

In the local Eichler setting, the basic associated order is the conjugate \(a^{-1} O a\) attached to an element \(a\) or to the principal ideal \(Oa\). The ambient ring is a complete discrete valuation ring \(R\) with field of fractions \(F\), residue field \(\mathbb F_q = R/\mathfrak p\), and quaternion algebra \(B=M_2(F)\). A local Eichler order is an intersection of two maximal \(R\)-orders,
\[
O=O_1\cap O_2,
\]
and, up to conjugation, every such order is of the form
\[
O=M_2(R)\cap \gamma^{-1}M_2(R)\gamma,\qquad 
\gamma=\begin{pmatrix}0&p^n\\1&0\end{pmatrix},
\]
with level \(d(O)=\mathfrak p^n\). The paper uses the dictionary
\[
Oa \longleftrightarrow a^{-1} O a,
\]
which identifies principal left ideals with associated Eichler orders [1909.12915].

Metacommutation is defined for \(w\in O^\times\) and a left \(O\)-ideal \(P\) of reduced norm \(p\) with \(p\nmid \operatorname{nrd}(w)\) by
\[
\omega_w(P):=Pw+Op.
\]
For principal ideals of reduced norm \(p\), this becomes
\[
\omega_w(Oa)=Oaw.
\]
Hence metacommutation is a permutation of the set \(\mathrm{Id}(O;p)\) of locally principal left \(O\)-ideals of reduced norm \(p\). The principal left ideals of reduced norm \(p\) are exactly
\[
\mathrm{Id}(O;p)=\{\,Oa : a\in O,\ \operatorname{nrd}(a)=p\,\},
\]
and there is a bijection
\[
\mathrm{Id}(O;p)\;\longleftrightarrow\;\{\,a^{-1} O a : a\in O,\ \operatorname{nrd}(a)=p\,\}.
\]

A central structural feature is the decomposition
\[
\mathrm{Id}(O;p)' = S_1 \sqcup S_2,
\]
where \(\mathrm{Id}(O;p)'\) is either all norm-\(p\) ideals or all except the radical \(\operatorname{rad}(O)\) when that radical occurs as a norm-\(p\) ideal. The two subsets are
\[
S_1=\{\,Oa_s : s\in R/\mathfrak p\,\}, \qquad 
S_2=\{\,O\gamma^{-1}a_s\gamma : s\in R/\mathfrak p\,\},
\]
with
\[
a_s=\begin{pmatrix}s&1\\1&0\end{pmatrix}.
\]
The metacommutation permutation preserves each part separately. On \(S_1\), it corresponds to the maximal-order permutation \(T_w\); on \(S_2\), it corresponds to \(T_{\gamma^{-1}w\gamma}\). Equivalently,
\[
\omega(w)=\iota\!\left(T_w,\ T_{\gamma^{-1}w\gamma}\right).
\]

The combinatorial meaning is expressed through the Bruhat–Tits tree \(T_p\). Vertices are homothety classes of full \(R\)-lattices in \(F^2\), edges join \([L_1]\) and \([L_2]\) when
\[
pL_1\subsetneq L_2\subsetneq L_1,
\]
and maximal orders correspond to vertices via \(\operatorname{End}_R(L)\leftrightarrow [L]\). An Eichler order of level \(p^n\) corresponds to a segment of length \(n\). If \(O\) corresponds to a segment \(XY\), then principal left ideals of reduced norm \(p\) correspond to segments
\[
ZT
\]
of length \(n\) such that
\[
d(X,Z)=d(Y,T)=1.
\]
Thus a norm-\(p\) ideal is obtained by shifting the Eichler segment one step to the left or right. Conjugation by \(w\in O^\times\) fixes every vertex on the segment corresponding to \(O\), and metacommutation is the induced action on the adjacent shifted segments. The cycle structure therefore splits into two maximal-order cycle structures. If neither \(w\) nor \(\gamma^{-1}w\gamma\) is scalar modulo \(\mathfrak p\), each has at most one fixed point, and under the hypotheses of Theorem 5.5 the lengths \(\ell_1,\ell_2>1\) of the non-fixed cycles satisfy
\[
\ell_1=\ell_2.
\]

## 3. Étale-local isomorphism and hereditary orders

A second meaning of local association concerns orders that become isomorphic after a localizing base change. Let \(R\) be a semilocal Dedekind domain with fraction field \(F\), let \(A\) be a hereditary \(R\)-order in a central simple \(F\)-algebra, and let \(A'\) be any \(R\)-order. If \(A\) and \(A'\) become isomorphic after tensoring with \(F\) and with some faithfully flat étale \(R\)-algebra, then they are already isomorphic as \(R\)-algebras [1804.09527]. In this setting, local association means that there exists a faithfully flat étale \(R\)-algebra \(S\) such that
\[
A\otimes_R S \cong A'\otimes_R S,
\]
together with the generic-fiber condition
\[
A\otimes_R F \cong A'\otimes_R F.
\]

The local proof begins with the henselian discrete valuation ring case. A hereditary order in \(M_n(D)\), where \(D\) is a finite-dimensional division algebra over \(F\), has the form
\[
A \cong {}_D^{(n_1,\dots,n_r)}
\]
for a tuple \((n_1,\dots,n_r)\) unique up to cyclic permutation. The invariant \(inv(A)\), defined as the cyclic-equivalence class of \((n_1,\dots,n_r)\), together with the generic algebra \(A\otimes F\), determines \(A\) up to isomorphism. After strict henselization,
\[
inv(A\otimes {}_R)=(sn_1,\dots,sn_r)^t
\]
for suitable integers \(s,t\). Étale-local isomorphism therefore forces equality of the relevant invariants.

For general semilocal Dedekind \(R\), the argument is by patching. One first shows that if \(A\) and \(A'\) become isomorphic étale-locally, then \(A'\) is also hereditary. For each maximal ideal \(\mathfrak m\),
\[
A\otimes_R R_{\mathfrak m}^{h} \cong A'\otimes_R R_{\mathfrak m}^{h}.
\]
A patching argument using Skolem–Noether and weak approximation then glues the local isomorphisms to a global one. A key descent statement is that for a DVR \(R\) and faithfully flat étale DVR extension \(R'\),
\[
\Jac(A)\otimes R'=\Jac(A\otimes R')
\]
and
\[
A \text{ is hereditary } \iff A\otimes R' \text{ is hereditary}.
\]

The theorem has a cohomological formulation. If \({}_R(A)\) denotes the \(R\)-group scheme with
\[
{}_R(A)(S)=\Aut_S(A\otimes_R S),
\]
then the restriction map
\[
H^1(R,{}_R(A))\to H^1(F,{}_R(A))
\]
is injective. The positive result does not extend to hereditary orders with involution. The paper gives a counterexample with a hereditary order
\[
A={}_D^{(4,2)}
\]
and two involutions \(\sigma_1,\sigma_2\) that become isomorphic over \(F\) and over \(R[\sqrt{-1}]\), but are not isomorphic over \(R\). The obstruction is visible on
\[
\bar A=A/\Jac(A)\cong M_{k_D}^4\times M_{k_D}^2,
\]
where the induced involutions have different isotropy behavior. The paper introduces the condition of being residually anisotropic for such involutions and places the positive and negative results in the framework of Grothendieck–Serre-type injectivity and Bruhat–Tits theory.

## 4. Local orders in Jordan algebras

In Jordan algebra theory, a local order is not an order in a central simple algebra but a structural embedding \(J\subseteq Q\) controlled by local invertibility and local algebras. The basic notion uses semi-injective elements. An element \(x\neq 0\) of a Jordan algebra \(J\) is semi-injective if
\[
U_x y = 0 \implies U_{x^2}y = 0,
\]
equivalently, in the nondegenerate case,
\[
\ker x = \ker x^2.
\]
A subalgebra \(J\subseteq Q\) is a local order in \(Q\) if
\[
\tag{LO1} \mathrm{SemiInj}(J)\subseteq \mathrm{LocInv}(Q),
\]
and
\[
\tag{LO2} \forall q\in Q\ \exists x\in \mathrm{SemiInj}(J)\text{ such that } q\in U_xQ,\ \text{and }U_xJ\text{ is a classical order in }U_xQ.
\]
Here \(x\) is locally invertible if it is invertible in the unital Jordan algebra \(U_eQ\), where \(e=P(x)\) is the idempotent attached to \(x\) [1702.08816].

When the over-algebra satisfies \(Q=\mathrm{Soc}(Q)\), Theorem 4.15 gives the equivalent formulation
\[
\tag{LOS1} \mathrm{SemiInj}(J)=\mathrm{LocInv}(Q)\cap J,
\]
\[
\tag{LOS2} \forall q\in Q\ \exists x\in \mathrm{SemiInj}(J)\text{ with } q\in U_xQ,
\]
\[
\tag{LOS3} \forall x\in J,\quad J_x \text{ is a classical order in } Q_x.
\]
This reduces the global definition to local data at each element. The ambient hypothesis is nondegeneracy:
\[
U_xJ\neq 0\qquad\text{for every }0\neq x\in J.
\]
For every nondegenerate Jordan algebra, the maximal algebra of quotients \(Q_{\max}(J)\) exists.

The central structural theorem concerns Lesieur–Croisot elements. An element \(a\in J\) is an LC-element if the local algebra \(J_a\) is an LC algebra, and the set is denoted \(\mathrm{LC}(J)\). In the strongly prime case,
\[
\mathrm{LC}(J)=\mathrm{Soc}(Q_{\max}(J))\cap J,
\]
and for general nondegenerate \(J\),
\[
\mathrm{LC}(J)=J\cap \mathrm{Soc}(Q_{\max}(J)).
\]
Thus the “finite-capacity part” of \(J\) is exactly the part lying in the socle of the maximal quotient algebra.

Several further characterizations organize the theory. If \(J\) is a local order in a Jordan algebra \(Q\) with \(Q=\mathrm{Soc}(Q)\), then \(Q\) is a general algebra of quotients of \(J\). More decisively,
\[
J \text{ is a local order in a nondegenerate Jordan algebra }Q \text{ with } \mathrm{Soc}(Q)=Q
\]
if and only if
\[
J \text{ is nondegenerate and } J=\mathrm{LC}(J).
\]
The local artinian version states that \(J\) is a local order in a nondegenerate locally artinian Jordan algebra \(Q\) iff \(J\) is nondegenerate, satisfies the ascending chain condition on annihilators of elements, and every element has finite uniform dimension; equivalently, every local algebra \(J_x\) is Goldie. If \(J\) is a local order in two algebras \(Q_1,Q_2\) with \(Q_i=\mathrm{Soc}(Q_i)\), then there is a unique isomorphism \(Q_1\cong Q_2\) extending the identity on \(J\). In this sense, the socle over-algebra is uniquely determined by the local-order structure.

## 5. Bruhat–Tits geometry, tiled orders, and monomial orders

For locally tiled orders in central simple algebras, the local model is geometric. Let \(k\) be a nonarchimedean local field, \(D\) a central division algebra over \(k\), and
\[
A\cong M_n(D).
\]
An order \(I\subset M_n(D)\) is tiled if it contains a conjugate of the diagonal order
\[
\operatorname{diag}(\mathfrak A,\mathfrak A,\dots,\mathfrak A).
\]
After conjugation, such an order is written as
\[
I=(\Pi^{m_{ij}}),
\]
with \(m_{ii}=0\) and
\[
m_{ij}+m_{jk}\ge m_{ik}\qquad (1\le i,j,k\le n).
\]
The exponent matrix \(M_I=(m_{ij})\) determines a convex polytope \(C_I\) in an apartment of the affine building for \(\mathrm{SL}_n(D)\), cut out by hyperplanes
\[
x_i-x_j=m_{ij}.
\]
The order is recovered from this polytope, and one has
\[
I=\bigcap_i A_i,
\]
where the \(A_i\) are the maximal orders corresponding to the vertices of \(C_I\). The local normalizer is
\[
N(I)=\bigcup_{\sigma\in H}\xi_\sigma D^\times I^\times,
\]
with
\[
H=\{\sigma\in S_n : m_{ijl}=m_{\sigma(i)\sigma(j)\sigma(l)}\ \text{for all }i,j,l\},
\]
and
\[
\operatorname{nr}(N(I))=(k^\times)^dR^\times,
\]
where \(d\) is determined by the type values occurring in the normalizer [2010.12145].

Theorem 1 identifies four equivalent descriptions of this exponent \(d\): it is the number of distinct equivalence classes of tiled orders in the reflection-equivalence family of \(I\), the period of the classes \(I_s\), the smallest positive integer with \([I_0]=[I_d]\), and the exponent in
\[
\operatorname{nr}(N(I))=(k^\times)^dR^\times.
\]
Strong approximation then globalizes the local data. If \(I\) is everywhere locally tiled, the type number is computed from the quotient
\[
A^\times\backslash J_A/\prod_v N(I_v),
\]
which becomes
\[
K^\times\backslash J_K/\operatorname{nr}\!\Big(\prod_v N(I_v)\Big).
\]
In prime degree \(n=p\ge 3\), the global formula becomes
\[
G(T)=\#\mathrm{Cl}_T(K)/\mathrm{Cl}_T(K)^p.
\]

Monomial orders provide a valuation-matrix model that generalizes Eichler orders. For a non-Archimedean local field \(k\), ring of integers \(\mathcal O\), central simple algebra
\[
A \simeq \operatorname{Mat}_n(D),
\]
and integer matrix \(m=(m_{ij})\), the standard monomial order is
\[
\operatorname{Mat}_n(\mathcal O_D,m)=\bigl\{(a_{ij})\in \operatorname{Mat}_n(D)\;:\; a_{ij}\in \mathfrak P^{\,m_{ij}}\ \text{for all }i,j\bigr\}.
\]
The order condition is
\[
m_{ii}=0 \quad \text{for all } i,
\]
and
\[
m_{ik}\le m_{ij}+m_{jk}\qquad\text{for all } i,j,k. \tag{2.1}
\]
The \(\mathcal O\)-dual satisfies
\[
R^\vee \cong \operatorname{Mat}_n(\mathcal O_D,m'), \qquad m'_{ij}=-m_{ji}.
\]
The Gorenstein criterion states that \(R=\operatorname{Mat}_n(\mathcal O_D,m)\) is Gorenstein if and only if for every \(i\) there exists an integer \(c(i)\) such that the vector
\[
\begin{bmatrix}
-m_{i1}+c(i)\\
-m_{i2}+c(i)\\
\vdots\\
-m_{in}+c(i)
\end{bmatrix}
\]
is equal to a column of \(m\). In the upper triangular case, Gorenstein is equivalent to being an Eichler order. The main classification is that a monomial order is Bass if and only if it is either hereditary or an Eichler order of period two [1308.6017].

## 6. Stable classes, locally free modules, and categorical localization

A further local theory concerns locally free modules over orders. For a definite quaternion order \(O\subseteq B\) over a totally real field, the paper studies the class set \(\Cls O\) of locally principal right fractional \(O\)-ideals, the stable class group \(\StCl O\), and the reduced norm map
\[
\nrd \colon \Cls O \to \Cl_{G(O)} R.
\]
The stable class group is identified as
\[
\StCl(O) \simeq B^\times \backslash \widehat B^\times / \widehat B^1 \widehat O^\times
\simeq F^\times \backslash \widehat F^\times / \nrd(\widehat O^\times)
\simeq \Cl_{G(O)}R.
\]
The order \(O\) has locally free cancellation iff
\[
\nrd:\Cls O \to \Cl_{G(O)}R
\]
is bijective, and \(O\) is Hermite iff
\[
\#\Cls^{[R]}(O)=1.
\]
If \(O'\) is locally isomorphic to \(O\), then \(\Cl_{G(O)}R = \Cl_{G(O')}R\), and
\[
\mass(\Cls^{[R]}O)=\mass(\Cls^{[R]}O').
\]
A particularly strong local-global equivalence is
\[
O \text{ has locally free cancellation} \iff \text{every order } O' \text{ locally isomorphic to } O \text{ is Hermite}.
\]
The paper enumerates exactly
\[
303
\]
definite Hermite quaternion orders up to ring isomorphism, and exactly
\[
247
\]
with locally free cancellation [1903.10662].

Orders also appear as bases for exact-categorical localizations. For a \(\mathbb Z\)-order \(\mathfrak A\) in a finite-dimensional semisimple \(\mathbb Q\)-algebra \(A\), the category \(\mathsf{LCA}_{\mathfrak A}\) of locally compact right \(\mathfrak A\)-modules admits the fiber sequence
\[
K(\mathsf{mod}(\mathfrak A)) \;\longrightarrow\; K(\mathsf{mod}(A_{\mathbb R})) \;\longrightarrow\; K(\mathsf{LCA}_{\mathfrak A}),
\]
where
\[
A_{\mathbb R} := A\otimes_{\mathbb Q}\mathbb R.
\]
Every object \(M\in \mathsf{LCA}_{\mathfrak A}\) fits into a conflation
\[
C_M\oplus V_M \hookrightarrow M \twoheadrightarrow D_M
\]
with \(C_M\) compact, \(V_M\) a vector module, and \(D_M\) discrete. After quotienting by finite modules, the pair
\[
\left(\mathsf{LCA}_{\mathfrak A,\mathsf C\mathbb R},\ \mathsf{LCA}_{\mathfrak A,\mathsf D}\right)
\]
becomes a torsion pair. The computation proceeds by quotienting out compact modules and then vector modules, yielding the identification of the final quotient with
\[
\mathsf{Mod}(\mathfrak A)/\mathsf{mod}(\mathfrak A)
\]
and hence the stated \(K\)-theory sequence [2006.10878].

Taken together, these theories show that locally associated orders are governed by a recurring pattern: local conjugates, étale-local forms, local algebras, local normalizers, and local module categories encode the decisive invariants. In some settings the result is rigidity, as for hereditary orders; in others it is a geometric action, as for metacommutation on Eichler orders; in others it is a structural classification, as for Jordan local orders, tiled orders, monomial orders, and definite quaternion orders.

Source: https://www.emergentmind.com/topics/locally-associated-orders