Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

技術的概要：次数 3 の中心単純代数の極大順序に対する最適埋め込み

問題の定義
本論文は、数体上の中心単純代数（CSA）への順序の整埋め込みの問題を取り扱う。体拡大が CSA へ埋め込まれる場合（類体論を介して）には局所 - 大域原理が成り立つが、整埋め込みに対してはこれが成立しない。具体的には、次数 $n$ の体拡大 $K/F$ の順序 $S$ が、次数 $n$ の CSA $B$ のすべての極大順序へ最適に埋め込まれるとは限らない。

Chevalley、Chinburg、Friedman、Chan、Xu、Linowitz、Shemanske、Voight による先行研究は、$n=2$（四元数代数）および Eichler 順序に対する「選択性（selectivity）」の基準を確立した。本論文は、$B$ が数体 $F$ 上の次数 3 の中心単純代数であり、$K/F$ が次数 3 の拡大である場合へと、最適選択性の研究を拡張する。主要な目的は、順序 $S \subset K$ が $B$ のすべての極大順序へ最適に埋め込まれない場合を正確に特定し、そのような埋め込みを許容する極大順序の割合を定量化することである。

手法
著者は、大域的類体論と詳細な局所解析の組み合わせを採用する：

1. 大域的枠組み（選択性サンドイッチ）：
   論文は、Voight の四元数に関する研究から適応された「選択性サンドイッチ」の枠組みを利用する。これは、最適埋め込みの存在を代数内の特定要素の集合 $E$ の簡約ノルムに関連付ける。鍵となる対象は、イデール群 $\mathbb{A}_F^\times$ 内の群 $F^\times \text{Nr}(\mathbb{E})$ である。

   • 論文は、$K$ が極大順序 $\mathcal{O}$ に関連する特定の類体 $H_{GN(\mathcal{O})}$ に含まれない場合、$S$ が属種（genus）内のすべての極大順序へ埋め込まれることを確立する。
   • $K \subseteq H_{GN(\mathcal{O})}$ の場合、問題は $F^\times \text{Nr}(\mathbb{E})$ の $F^\times \text{Nr}(\mathbb{K}^\times)$ に対する指数の解析に帰着する。

2. 局所解析（次数 3）：
   作業の大部分は、局所体 $F_p$ 上の次数 3 の代数に対する局所埋め込み数 $m(S_p, \mathcal{O}_p)$ の計算に割かれている。

   • 正規の場合： 著者は $M_3(R_p)$ と除算代数への埋め込みを解析する。最大イデアルを法とする行列の簡約を用いて、最適性のための明示的な基準を導出する。
   • 特殊な最適埋め込み： 次数 2 の場合とは異なり、著者は次数 3 に特有の現象、「特殊な最適埋め込み」を特定する。これらは、埋め込み行列の簡約が特定のジョルダン標準形（補題 3.3 のケース 3）に陥る際に発生し、正規表現への標準的な共役の議論が機能しなくなる場合である。
   • 分裂と不分岐の場合： 論文は、分裂 ($K_p \cong F_p \times F_p \times F_p$) と不分岐（不分岐拡大）の両方のケースについて、簡約ノルム集合 $\text{Nr}(E_p)$ の構造を計算する。順序 $S_p$ の判別式に応じて、最適埋め込みの共役類の数は 1 または 2 であることを決定する。

3. 統合：
   局所結果をアルティン写像を介して統合することで、著者は大域的選択性集合を順序 $S$ の判別イデアルに関連付ける。

主要な貢献と結果

• 選択性集合 $D(S)$： 論文は、$K/F$ が次数 3 の不分岐拡大における順序 $S$ に対して「選択性集合」$D(S)$ を定義する。この集合は、$S$ の判別式の平方根の素因数に対して、$F$ のイデアル類群からガロア群への制限写像を適用することで構成される、ガロア群 $\text{Gal}(K/F)$ の部分集合である。
  $$D(S) = \{ \rho([\mathfrak{p}^k]) : \mathfrak{p}^k \parallel \sqrt{\text{disc}(S)}, \mathfrak{p}^{k+1} \nmid \sqrt{\text{disc}(S)} \}$$

• 主要定理（定理 4.1）： 論文は、順序 $S$ が「選択的」（すなわち、すべての極大順序へ埋め込まれない）であるための必要十分条件を確立する：
  $S$ が $B$ のすべての極大順序へ最適に埋め込まれないのは、かつそのときのみ、以下の条件が満たされる場合である：

  1. $K/F$ は至る所不分岐である。
  2. $B \cong M_3(F)$ （すなわち、$B$ は分裂している）。
  3. $D(S) \neq \text{Gal}(K/F)$。

  これらの条件が満たされる場合、論文は $S$ が属種内の極大順序の同型類のちょうど $|D(S)|/3$ へ最適に埋め込まれることを証明する。$|\text{Gal}(K/F)| = 3$ であるため、$D(S)$ のサイズに応じて、埋め込みが可能となるのは $1/3$ または $2/3$ の同型類であることが示唆される。

• 先行研究の精緻化： 論文は、次数 2 または以前の高次数一般化からの選択性結果の直接的な適用に対する反例を提供する。具体的には、先行する非最適埋め込みの基準（Linowitz および Shemanske）によればすべての極大順序へ埋め込まれるはずである順序 $S_2$ が、実際にはそれらすべてへ最適に埋め込まれないことを実証する。

重要性
本論文は、次数 3 の中心単純代数における最適埋め込みのための正確な選択性条件を確立すると主張する。その重要性は以下の点にある：

1. 一般化： 行列の相似類の複雑さの増大と「特殊」な埋め込みの出現により非自明なステップである、四元数代数（次数 2）からの最適選択性の理論を次数 3 へ拡張する。
2. 正確な定量化： 二元的な存在結果を超え、順序の判別式の算術によって明示的に支配される、最適埋め込みを許容する極大順序の正確な数（$1/3$ または $2/3$）を提供する。
3. 直観の修正： 非最適埋め込みまたは低次数の結果が、次数 3 における最適埋め込みへ自動的に一般化しないことを強調し、本論文で提示された「特殊」なケースの具体的な局所解析を必要とする。

この研究は、類体論および CSA における順序の理論の標準的な記法に依存し、Eichler、Voight、および Linowitz/Shemanske の基礎的な研究に直接基づいている。