Maximal Orders Optimal Embedding of Central Simple Algebras over Number Fields

Basic Information

• Paper ID: 2511.21137
• Title: Maximal orders optimal embedding of central simple algebras over number fields
• Author: Yuxuan Yang
• Classification: math.NT (Number Theory), math.RA (Rings and Algebras)
• Publication Date: November 27, 2025
• Paper Link: https://arxiv.org/abs/2511.21137

Abstract

This paper investigates the classical problem of embedding field extensions $K/F$ into central simple algebras $B$ over a number field $F$ and its ring of integers $R$. The paper proves that when the degree of the central simple algebra is a prime $p$, an $R$-order $S \subset K$ can be optimally embedded into all maximal $R$-orders $O \subset B$, unless the optimal selectivity condition is satisfied. This result generalizes the optimal selectivity theorem for quaternion algebras to general $p$-degree central simple algebras.

Research Background and Motivation

Research Problem

The core problem investigated in this paper is: Given a central simple algebra $B$ over a number field $F$ and a field extension $K/F$, when can an $R$-order $S$ in $K$ be optimally embedded into a maximal $R$-order $O$ in $B$? In particular, the paper studies the selectivity problem of optimal embeddings.

Significance of the Problem

1. Deepening of Classical Problems: The field embedding problem traces back to the Albert-Brauer-Hasse-Noether theorem, which characterizes the conditions for quadratic extension embeddings in quaternion algebras
2. Arithmetic-Geometric Significance: Central simple algebras have deep connections with arithmetic surfaces, modular forms, and other objects
3. Theoretical Completeness: The refinement from general embeddings to optimal embeddings is a natural and precise problem

Limitations of Existing Methods

• Chinburg-Friedman (1999): First proved selectivity of maximal orders in quaternion algebras
• Chan-Xu (2004), Guo-Qin (2004): Independently proved selectivity of Eichler orders
• Linowitz-Shemanske (2012, 2017): Proved general embedding selectivity for maximal orders of $p$-degree central simple algebras
• Voight (2011): Proved optimal selectivity for arbitrary level Eichler orders in quaternion algebras

Existing work primarily focuses on:

1. Quaternion algebras (the special case $p=2$)
2. General embeddings rather than optimal embeddings

Research Motivation

The goal of this paper is to generalize Voight's optimal selectivity result for quaternion algebras to general $p$-degree central simple algebras, filling a theoretical gap.

Core Contributions

1. Main Theorem (Theorem 3.7): Completely characterizes the optimal selectivity conditions for maximal orders of $p$-degree central simple algebras
   • GenO is optimally selective for $S$ if and only if $K \subseteq H_{GN(O)}$
   • When optimal selectivity is satisfied, $S$ can be embedded into exactly $1/p$ proportion of types $[O'] \in \text{Typ}O$
2. Technical Innovations:
   • Establishes a precise analytical framework for the "selectivity sandwich" inequality chain (equation (*))
   • Proves bijectivity of the reduced norm map on the type set (Theorem 2.1)
   • Provides complete classification of local optimal embeddings (Theorem 3.5)
3. Theoretical Contributions:
   • Generalizes the optimal embedding theory for quaternion algebras to odd prime degree central simple algebras
   • Reveals the central role of class field theory in optimal embedding problems

Detailed Methodology

Task Definition

Input:

• Number field $F$ and its ring of integers $R$
• $p$-degree central simple algebra $B/F$ and its maximal $R$-order $O$
• $p$-degree field extension $K/F \subset B$ and its $R$-order $S$

Output:

• Determine whether GenO is optimally selective for $S$
• If yes, compute the number of embeddable order types

Core Concepts:

• Optimal Embedding (Definition 2.1): An $R$-algebra embedding $\phi: S \to O$ is called optimal if $\phi(K) \cap O = \phi(S)$
• Optimal Selectivity (Definition 2.2): GenO is optimally selective for $S$ if there exists $O' \in \text{Gen}O$ such that $\text{Emb}(S, O') = \emptyset$

Theoretical Framework

1. Structure Theory of Type Sets (Section 2)

Key Result: Bijectivity induced by reduced norm (Theorem 2.1) $\text{Nr}: \text{Typ}O \cong B^\times \backslash \hat{B}^\times / N_{\hat{B}^\times}(\hat{O}) \to F^\times \backslash \hat{F}^\times / \text{Nr}(N_{\hat{B}^\times}(\hat{O}))$

Proof Strategy:

• Surjectivity: Using the structure of central simple algebras, construct preimages separately for split and division ring cases
• Injectivity: Crucially uses the Hasse-Schilling-Maass theorem and strong approximation theorem

Corollary (Theorem 2.2): $\text{Typ}O \cong \hat{F}^\times / GN(O), \quad GN(O) = F^\times \text{Nr}(N_{\hat{B}^\times}(\hat{O}))$ and TypO is an elementary abelian group of exponent $p$.

2. Class Field Theory Connection (Section 2, second half)

Core Lemma (Lemma 2.5): Establishes isomorphism of global-local norm groups $\hat{F}^\times / (F^\times_K \text{Nm}(\hat{K}^\times)) \cong F^\times / (F^\times \text{Nm}(K^\times))$

This allows application of the Artin map and class field theory.

Key Observation (Corollary 2.6): $GN(O)$ corresponds to the class field $H_{GN(O)}$, establishing a bridge between order theory and class field theory.

3. Selectivity Sandwich (Section 3)

Core Inequality Chain: Let $E := \{\beta \in B^\times | \beta^{-1}K\beta \cap O = \beta^{-1}S\beta\}$, then $F^\times_K \text{Nr}(\hat{K}^\times) \leq F^\times \text{Nr}(\hat{K}^\times)\text{Nr}(N_{\hat{B}^\times}(\hat{O})) \leq F^\times \text{Nr}(\hat{E}) \leq \hat{F}^\times \quad (*)$

Index Analysis: When $K/F$ is a Galois extension, $[\hat{F}^\times : F^\times_K \text{Nr}(\hat{K}^\times)] = |\text{Gal}(K/F)| = p$

Therefore, exactly one of the three inequalities is strict, while the others are equalities.

Semantic Interpretation:

• First inequality (Lemma 3.1): Equality holds $\Leftrightarrow K \subseteq H_{GN(O)}$
• Second inequality (Corollary 3.6): When $K \subseteq H_{GN(O)}$ and $O$ is maximal, equality holds
• Third inequality (Lemma 3.2): Determines which $O' \in \text{Gen}O$ can be embedded

Technical Innovation Points

1. Characterization of Local Optimal Embeddings (Theorem 3.5)

Matrix Criterion (Lemma 3.4): Let $\phi: S_p \to M_n(R_p)$, $\phi(e_i) = A_i$, then $\phi$ is optimal if and only if there exist row and column indices $s_i, t_i$ such that $\det X_{s_i, t_i} = \det \begin{pmatrix} (A_1)_{s_1t_1} & \cdots & (A_n)_{s_1t_1} \\ \vdots & \ddots & \vdots \\ (A_1)_{s_nt_n} & \cdots & (A_n)_{s_nt_n} \end{pmatrix} \in R_p^\times$

Local Uniqueness (Theorem 3.5 core):

• When $K \subseteq H_{GN(O)}$, $m(S_p, M_p(R_p); GL_p(R_p)) = 1$
• The proof constructs a standard optimal embedding via the regular representation, then proves any optimal embedding is conjugate to the standard form

Case Analysis:

• If $K_p \cong F_p^p$ (completely split): All $\tilde{A}_i$ can be simultaneously diagonalized; the unique full-rank choice is $\tilde{X}_{11,22,\ldots,pp}$
• If $K_p/F_p$ is inert: The characteristic polynomial of $\tilde{A}_p$ is irreducible; $\tilde{A}_i$ are polynomials in $\tilde{A}_p$; the unique full-rank choice is $\tilde{X}_{11,21,\ldots,p1}$

2. Global-Local Principle

By proving $m(\hat{S}, \hat{O}; N_{\hat{B}^\times}(\hat{O})) = \prod_p m(S_p, O_p; N_{B_p^\times}(O_p)) = 1$ we obtain $\text{Nr}(\hat{K}^\times)\text{Nr}(N_{\hat{B}^\times}(\hat{O})) = \text{Nr}(\hat{E})$, which is the key to establishing the middle equality in the selectivity sandwich.

Experimental Setup

Note: This is a pure mathematics theoretical paper with no numerical experiments or computational verification. All results are established through rigorous mathematical proofs.

Experimental Results

This paper contains no experimental section; all conclusions are established through theoretical proofs.

Related Work

Historical Context

1. Classical Embedding Theory:
   • Albert-Brauer-Hasse-Noether theorem (Theorem 1.1): Necessary and sufficient conditions for quadratic extension embeddings in quaternion algebras
   • Generalization (Theorem 1.2): Embedding conditions for $p$-degree extensions in $p$-degree central simple algebras
2. Selectivity of General Embeddings:
   • Chinburg-Friedman 3 (1999): Maximal orders in quaternion algebras
   • Chan-Xu 2 (2004), Guo-Qin 5 (2004): Eichler orders
   • Linowitz-Shemanske 6 (2012): Maximal orders of $p$-degree central simple algebras
   • Linowitz-Shemanske 7 (2017): Arbitrary degree central simple algebras
3. Optimal Embedding Theory:
   • Eichler 4 (1955): First introduced the concept of optimal embedding with a criterion for square-free level
   • Maclachlan 8 (2008): Optimal selectivity for square-free level Eichler orders
   • Voight 11 (2011): Optimal selectivity for arbitrary level Eichler orders (the object directly generalized in this paper)

Positioning of This Paper

This paper is a higher-dimensional generalization of Voight's work:

• Voight: Quaternion algebras ($p=2$) + arbitrary level Eichler orders
• This paper: $p$-degree central simple algebras ($p$ odd prime) + maximal orders

Technically, it inherits research on type set structure from Linowitz-Shemanske and combines Voight's selectivity sandwich method.

Conclusions and Discussion

Main Conclusions

Summary of Theorem 3.7: For a maximal order $O$ of a $p$-degree central simple algebra $B/F$ and an order $S$ in $K$:

1. Selectivity Criterion: GenO is optimally selective for $S$ $\Leftrightarrow K \subseteq H_{GN(O)}$
2. Embedding Density: When optimal selectivity holds, exactly $1/p$ of the types can be embedded

Geometric Intuition: The class field $H_{GN(O)}$ encodes arithmetic information about the order. The condition $K \subseteq H_{GN(O)}$ means that $K$ and $O$ have sufficient "arithmetic compatibility," leading to the selectivity phenomenon.

Limitations

1. Degree Restriction: Only handles prime degree $p$; composite degrees $n = p_1^{a_1} \cdots p_r^{a_r}$ are not addressed
2. Order Types: Only considers maximal orders; non-maximal cases like Eichler orders require new techniques
3. Computational Complexity: Determining $K \subseteq H_{GN(O)}$ may be difficult in practice

Future Directions

The paper does not explicitly propose future directions, but natural research directions include:

1. Generalization to composite degree central simple algebras
2. Study of optimal selectivity for non-maximal orders (e.g., Eichler orders, Gorenstein orders)
3. Effective computational methods for $H_{GN(O)}$
4. Applications of optimal embeddings in arithmetic geometry (e.g., Shimura curves, modular forms)

In-Depth Evaluation

Strengths

1. Theoretical Completeness:
   • Completely resolves the optimal selectivity problem for maximal orders of $p$-degree central simple algebras
   • Clear proof structure: type set structure → class field correspondence → local analysis → global conclusion
2. Technical Innovation:
   • Lemma 3.4's matrix criterion provides a concrete and operational optimality criterion
   • The local uniqueness proof in Theorem 3.5 cleverly uses the regular representation and irreducibility of characteristic polynomials
3. Methodological Contribution:
   • Demonstrates the power of class field theory in order embedding problems
   • The selectivity sandwich method may apply to broader problems
4. Clear Exposition:
   • Detailed historical review (Section 1)
   • Precise concept definitions (Definition 2.1, 2.2)
   • Rigorous proof logic

Weaknesses

1. Limited Generalizability:
   • The assumption of odd prime $p$ is used in multiple places (e.g., "recall $p$ is odd" in Theorem 2.1 proof); $p=2$ requires separate treatment but is already covered by Voight's results
   • The maximality assumption is essentially used in Theorem 3.5(2); non-maximal cases require new ideas
2. Computational Feasibility:
   • Determining $K \subseteq H_{GN(O)}$ requires computing class fields, which may be difficult in practice
   • Lacks discussion of concrete examples or algorithmic implementation
3. Proof Details:
   • The argument about $\det V \in R_p^\times$ in the proof of Theorem 3.5(1) (page 9) is somewhat terse
   • The proof of Lemma 2.5 relies on the weak approximation theorem, but the construction could be more explicit
4. Typographical Issues:
   • "numble field" should be "number field" (appears multiple times)
   • "embeddding" should be "embedding" (Theorem 1.3(2))
   • "ane" should be "and" (Lemma 3.1)

Impact

1. Academic Value:
   • Fills an important gap in the theory of optimal embeddings of central simple algebras
   • Provides a blueprint for further research on composite degrees and non-maximal orders
2. Practical Value:
   • In arithmetic geometry, optimal embeddings relate to integral models of Shimura curves
   • Provides guidance for constructing orders with specific properties
3. Reproducibility:
   • Proofs are entirely theoretical, involving no computation
   • Lemmas and theorems are precisely stated and can be cited in subsequent research

Applicable Scenarios

1. Theoretical Research:
   • Study of arithmetic properties of central simple algebras
   • Exploration of connections between class field theory and noncommutative algebra
2. Arithmetic Geometry:
   • Construction of integral models of Shimura curves
   • Study of arithmetic properties of modular forms
3. Coding Theory:
   • Construction of algebraic lattices
   • Design of space-time codes

References

Key references cited in the paper:

1. 3 Chinburg-Friedman (1999): First proved selectivity of maximal orders in quaternion algebras
2. 4 Eichler (1955): Pioneering work introducing the concept of optimal embedding
3. 6 Linowitz-Shemanske (2012): Proved general embedding selectivity for maximal orders of $p$-degree central simple algebras
4. 10 Reiner (1975): Classical textbook Maximal Orders, providing theoretical foundation
5. 11 Voight (2021): Quaternion Algebras, the object directly generalized in this paper

Overall Assessment: This is a high-quality pure mathematics paper that successfully generalizes the optimal selectivity theory for quaternion algebras to odd prime degree central simple algebras. The theory is complete, proofs are rigorous, and contributions are clear. The main value lies in theoretical completeness and methodological innovation, establishing a solid foundation for subsequent research. The author is advised to supplement concrete examples, correct typographical errors, and discuss computational feasibility in revisions.