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

기술적 요약: 3 차 중심 단순 대수의 최대 차수들에 대한 최적 매장

문제 제기
본 논문은 수체 (number fields) 위의 중심 단순 대수 (CSA) 에 대한 차수의 정수적 매장 (integral embeddings) 문제를 다룬다. 체의 확장이 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 차 확장인 경우로 **최적 선택성 (optimal selectivity)**에 대한 연구를 확장한다. 주요 목표는 차수 $S \subset K$가 $B$의 모든 최대 차수들에 최적적으로 매장될 수 없는 경우를 정확히 규명하고, 그러한 매장을 허용하는 최대 차수들의 비율을 정량화하는 것이다.

방법론
저자들은 전역 대수적 수론과 상세한 국소 분석을 결합하여 사용한다:

1. 전역 프레임워크 (선택성 샌드위치):
   본 논문은 Voight 의 사원수 연구에서 차용한 "선택성 샌드위치" 프레임워크를 활용한다. 이는 최적 매장의 존재를 대수 내 특정 원소 집합 $E$의 축소 노름 (reduced norm) 과 연관시킨다. 핵심 대상은 아이디엘 군 $\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)$와 나눗셈 대수 (division algebras) 로의 매장을 분석한다. 최대 아이디얼을 모듈로 하는 행렬 축소를 통해 최적성을 위한 명시적 기준을 유도한다.
   • 특별한 최적 매장: 2 차 경우와 달리, 저자들은 3 차에 고유한 현상인 "특별한 최적 매장"을 규명한다. 이는 매장 행렬의 축정이 특정 조르단 블록 형태 (Lemma 3.3 의 Case 3) 에 속할 때 발생하며, 이때 정규 표현으로의 표준 켤레 (conjugation) 논증이 실패한다.
   • 분해 및 비분해 경우: 본 논문은 분해된 경우 ($K_p \cong F_p \times F_p \times F_p$) 와 비분해된 경우 (비분기 확장) 에 대해 축소 노름 집합 $\text{Nr}(E_p)$의 구조를 계산한다. 차수 $S_p$의 판별식에 따라 최적 매장의 켤레류의 개수가 1 또는 2 임을 규명한다.

3. 종합:
   Artin 사상을 통해 국소 결과를 결합함으로써, 저자들은 전역 선택성 집합을 차수 $S$의 판별식 아이디얼과 연관시킨다.

주요 기여 및 결과

• 선택성 집합 $D(S)$: 본 논문은 3 차 비분기 확장 $K/F$ 내의 차수 $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)} \}$$

• 주요 정리 (Theorem 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 차의 최적 매장으로 일반화되지 않음을 강조하며, 본 논문에서 제시된 "특별한" 경우에 대한 구체적인 국소 분석이 필요함을 보여준다.

이 작업은 Eichler, Voight, Linowitz/Shemanske 의 기초 작업에 직접적으로 기반하여, 대수적 수론과 CSA 내 차수 이론의 표준 표기법을 활용한다.