Locally Associated Orders in Algebra and Geometry

• Locally associated orders are defined by local comparison data, where orders are recovered and classified through localized conjugates or étale base changes.
• They manifest in diverse settings such as Eichler, hereditary, Jordan, tiled, and monomial orders, with local properties governing global invariants.
• The study employs techniques like metacommutation, Bruhat–Tits geometry, and categorical localization to reveal how local data determines overall algebraic structure.

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 (Babei et al., 2019, Bayer-Fluckiger et al., 2018). 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 (Montaner et al., 2017). 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 [(Babei, 2020); (Yang et al., 2013)].

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$0. The ambient ring is a complete discrete valuation ring $Oa$1 with field of fractions $Oa$2, residue field $Oa$3, and quaternion algebra $Oa$4. A local Eichler order is an intersection of two maximal $Oa$5-orders,

$Oa$6

and, up to conjugation, every such order is of the form

$Oa$7

with level $Oa$8. The paper uses the dictionary

$Oa$9

which identifies principal left ideals with associated Eichler orders (Babei et al., 2019).

Metacommutation is defined for $J_x$0 and a left $J_x$1-ideal $J_x$2 of reduced norm $J_x$3 with $J_x$4 by

$J_x$5

For principal ideals of reduced norm $J_x$6, this becomes

$J_x$7

Hence metacommutation is a permutation of the set $J_x$8 of locally principal left $J_x$9-ideals of reduced norm $Oa \leftrightarrow a^{-1} O a$0. The principal left ideals of reduced norm $Oa \leftrightarrow a^{-1} O a$1 are exactly

$Oa \leftrightarrow a^{-1} O a$2

and there is a bijection

$Oa \leftrightarrow a^{-1} O a$3

A central structural feature is the decomposition

$Oa \leftrightarrow a^{-1} O a$4

where $Oa \leftrightarrow a^{-1} O a$5 is either all norm-$Oa \leftrightarrow a^{-1} O a$6 ideals or all except the radical $Oa \leftrightarrow a^{-1} O a$7 when that radical occurs as a norm-$Oa \leftrightarrow a^{-1} O a$8 ideal. The two subsets are

$Oa \leftrightarrow a^{-1} O a$9

with

$p$0

The metacommutation permutation preserves each part separately. On $p$1, it corresponds to the maximal-order permutation $p$2; on $p$3, it corresponds to $p$4. Equivalently,

$p$5

The combinatorial meaning is expressed through the Bruhat–Tits tree $p$6. Vertices are homothety classes of full $p$7-lattices in $p$8, edges join $p$9 and $A\otimes_R S \cong A'\otimes_R S$0 when

$A\otimes_R S \cong A'\otimes_R S$1

and maximal orders correspond to vertices via $A\otimes_R S \cong A'\otimes_R S$2. An Eichler order of level $A\otimes_R S \cong A'\otimes_R S$3 corresponds to a segment of length $A\otimes_R S \cong A'\otimes_R S$4. If $A\otimes_R S \cong A'\otimes_R S$5 corresponds to a segment $A\otimes_R S \cong A'\otimes_R S$6, then principal left ideals of reduced norm $A\otimes_R S \cong A'\otimes_R S$7 correspond to segments

$A\otimes_R S \cong A'\otimes_R S$8

of length $A\otimes_R S \cong A'\otimes_R S$9 such that

$J\subseteq Q$0

Thus a norm-$J\subseteq Q$1 ideal is obtained by shifting the Eichler segment one step to the left or right. Conjugation by $J\subseteq Q$2 fixes every vertex on the segment corresponding to $J\subseteq Q$3, and metacommutation is the induced action on the adjacent shifted segments. The cycle structure therefore splits into two maximal-order cycle structures. If neither $J\subseteq Q$4 nor $J\subseteq Q$5 is scalar modulo $J\subseteq Q$6, each has at most one fixed point, and under the hypotheses of Theorem 5.5 the lengths $J\subseteq Q$7 of the non-fixed cycles satisfy

$J\subseteq Q$8

3. Étale-local isomorphism and hereditary orders

A second meaning of local association concerns orders that become isomorphic after a localizing base change. Let $J\subseteq Q$9 be a semilocal Dedekind domain with fraction field $\mathrm{Soc}(Q_{\max}(J))$0, let $\mathrm{Soc}(Q_{\max}(J))$1 be a hereditary $\mathrm{Soc}(Q_{\max}(J))$2-order in a central simple $\mathrm{Soc}(Q_{\max}(J))$3-algebra, and let $\mathrm{Soc}(Q_{\max}(J))$4 be any $\mathrm{Soc}(Q_{\max}(J))$5-order. If $\mathrm{Soc}(Q_{\max}(J))$6 and $\mathrm{Soc}(Q_{\max}(J))$7 become isomorphic after tensoring with $\mathrm{Soc}(Q_{\max}(J))$8 and with some faithfully flat étale $\mathrm{Soc}(Q_{\max}(J))$9-algebra, then they are already isomorphic as $a^{-1} O a$0-algebras (Bayer-Fluckiger et al., 2018). In this setting, local association means that there exists a faithfully flat étale $a^{-1} O a$1-algebra $a^{-1} O a$2 such that

$a^{-1} O a$3

together with the generic-fiber condition

$a^{-1} O a$4

The local proof begins with the henselian discrete valuation ring case. A hereditary order in $a^{-1} O a$5, where $a^{-1} O a$6 is a finite-dimensional division algebra over $a^{-1} O a$7, has the form

$a^{-1} O a$8

for a tuple $a^{-1} O a$9 unique up to cyclic permutation. The invariant $a$0, defined as the cyclic-equivalence class of $a$1, together with the generic algebra $a$2, determines $a$3 up to isomorphism. After strict henselization,

$a$4

for suitable integers $a$5. Étale-local isomorphism therefore forces equality of the relevant invariants.

For general semilocal Dedekind $a$6, the argument is by patching. One first shows that if $a$7 and $a$8 become isomorphic étale-locally, then $a$9 is also hereditary. For each maximal ideal $Oa$00,

$Oa$01

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 $Oa$02 and faithfully flat étale DVR extension $Oa$03,

$Oa$04

and

$Oa$05

The theorem has a cohomological formulation. If $Oa$06 denotes the $Oa$07-group scheme with

$Oa$08

then the restriction map

$Oa$09

is injective. The positive result does not extend to hereditary orders with involution. The paper gives a counterexample with a hereditary order

$Oa$10

and two involutions $Oa$11 that become isomorphic over $Oa$12 and over $Oa$13, but are not isomorphic over $Oa$14. The obstruction is visible on

$Oa$15

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 $Oa$16 controlled by local invertibility and local algebras. The basic notion uses semi-injective elements. An element $Oa$17 of a Jordan algebra $Oa$18 is semi-injective if

$Oa$19

equivalently, in the nondegenerate case,

$Oa$20

A subalgebra $Oa$21 is a local order in $Oa$22 if

$Oa$23

and

$Oa$24

Here $Oa$25 is locally invertible if it is invertible in the unital Jordan algebra $Oa$26, where $Oa$27 is the idempotent attached to $Oa$28 (Montaner et al., 2017).

When the over-algebra satisfies $Oa$29, Theorem 4.15 gives the equivalent formulation

$Oa$30

$Oa$31

$Oa$32

This reduces the global definition to local data at each element. The ambient hypothesis is nondegeneracy: $Oa$33 For every nondegenerate Jordan algebra, the maximal algebra of quotients $Oa$34 exists.

The central structural theorem concerns Lesieur–Croisot elements. An element $Oa$35 is an LC-element if the local algebra $Oa$36 is an LC algebra, and the set is denoted $Oa$37. In the strongly prime case,

$Oa$38

and for general nondegenerate $Oa$39,

$Oa$40

Thus the “finite-capacity part” of $Oa$41 is exactly the part lying in the socle of the maximal quotient algebra.

Several further characterizations organize the theory. If $Oa$42 is a local order in a Jordan algebra $Oa$43 with $Oa$44, then $Oa$45 is a general algebra of quotients of $Oa$46. More decisively,

$Oa$47

if and only if

$Oa$48

The local artinian version states that $Oa$49 is a local order in a nondegenerate locally artinian Jordan algebra $Oa$50 iff $Oa$51 is nondegenerate, satisfies the ascending chain condition on annihilators of elements, and every element has finite uniform dimension; equivalently, every local algebra $Oa$52 is Goldie. If $Oa$53 is a local order in two algebras $Oa$54 with $Oa$55, then there is a unique isomorphism $Oa$56 extending the identity on $Oa$57. 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 $Oa$58 be a nonarchimedean local field, $Oa$59 a central division algebra over $Oa$60, and

$Oa$61

An order $Oa$62 is tiled if it contains a conjugate of the diagonal order

$Oa$63

After conjugation, such an order is written as

$Oa$64

with $Oa$65 and

$Oa$66

The exponent matrix $Oa$67 determines a convex polytope $Oa$68 in an apartment of the affine building for $Oa$69, cut out by hyperplanes

$Oa$70

The order is recovered from this polytope, and one has

$Oa$71

where the $Oa$72 are the maximal orders corresponding to the vertices of $Oa$73. The local normalizer is

$Oa$74

with

$Oa$75

and

$Oa$76

where $Oa$77 is determined by the type values occurring in the normalizer (Babei, 2020).

Theorem 1 identifies four equivalent descriptions of this exponent $Oa$78: it is the number of distinct equivalence classes of tiled orders in the reflection-equivalence family of $Oa$79, the period of the classes $Oa$80, the smallest positive integer with $Oa$81, and the exponent in

$Oa$82

Strong approximation then globalizes the local data. If $Oa$83 is everywhere locally tiled, the type number is computed from the quotient

$Oa$84

which becomes

$Oa$85

In prime degree $Oa$86, the global formula becomes

$Oa$87

Monomial orders provide a valuation-matrix model that generalizes Eichler orders. For a non-Archimedean local field $Oa$88, ring of integers $Oa$89, central simple algebra

$Oa$90

and integer matrix $Oa$91, the standard monomial order is

$Oa$92

The order condition is

$Oa$93

and

$Oa$94

The $Oa$95-dual satisfies

$Oa$96

The Gorenstein criterion states that $Oa$97 is Gorenstein if and only if for every $Oa$98 there exists an integer $Oa$99 such that the vector

$J_x$00

is equal to a column of $J_x$01. 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 (Yang et al., 2013).

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

A further local theory concerns locally free modules over orders. For a definite quaternion order $J_x$02 over a totally real field, the paper studies the class set $J_x$03 of locally principal right fractional $J_x$04-ideals, the stable class group $J_x$05, and the reduced norm map

$J_x$06

The stable class group is identified as

$J_x$07

The order $J_x$08 has locally free cancellation iff

$J_x$09

is bijective, and $J_x$10 is Hermite iff

$J_x$11

If $J_x$12 is locally isomorphic to $J_x$13, then $J_x$14, and

$J_x$15

A particularly strong local-global equivalence is

$J_x$16

The paper enumerates exactly

$J_x$17

definite Hermite quaternion orders up to ring isomorphism, and exactly

$J_x$18

with locally free cancellation (Smertnig et al., 2019).

Orders also appear as bases for exact-categorical localizations. For a $J_x$19-order $J_x$20 in a finite-dimensional semisimple $J_x$21-algebra $J_x$22, the category $J_x$23 of locally compact right $J_x$24-modules admits the fiber sequence

$J_x$25

where

$J_x$26

Every object $J_x$27 fits into a conflation

$J_x$28

with $J_x$29 compact, $J_x$30 a vector module, and $J_x$31 discrete. After quotienting by finite modules, the pair

$J_x$32

becomes a torsion pair. The computation proceeds by quotienting out compact modules and then vector modules, yielding the identification of the final quotient with

$J_x$33

and hence the stated $J_x$34-theory sequence (Braunling et al., 2020).

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.