[논문 리뷰] Some properties of the symbol algebras

Diana Savin, Cristina Flaut외 1명|ArXiv.org|2009. 06. 15.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 17

한 줄 요약

이 논문은 $p$-진 점수와 아르틴 기호를 사용하여 국소체 위의 기호 대수의 구조와 분할 행동을 연구한다. 특히 $K_v$-순환 중심 단순 대수 $\left(\frac{\alpha,\beta}{K,\zeta}\right)$의 형태를 가진 대수에 대해, 범위와 소수의 분해를 분석함으로써 이러한 대수가 분할 대수일 필요충분조건을 규명한다. 주요 결과로는 $p^{3l}$가 노름이 되고, 특정 조건에서 국소 아르틴 기호가 자명해짐을 보이며, 이는 $p$와 세제곱 잔여기호에 대한 조건에 따라 성립한다.

ABSTRACT

In this paper, we obtain some properties of the symbol algebras, starting from their connections with the quaternion and cyclic algebras over a field $K_{p},$% where $K$ is an algebraic number field, $p$ is a prime in $K$ and $K_{p}$ is the completion of $K$ with respect to $p-$ adic valuation, in the case when $K=\Bbb{Q}(\varepsilon), \varepsilon ^{3}=1,\varepsilon eq 1.$

연구 동기 및 목표

• 국소체 $K_v$ 위의 $K_v$-순환 중심 단순 대수 $A = \left(\frac{\alpha,\beta}{K,\zeta}\right)$가 분할 대수일 필요충분조건을 규명하는 것.
• 대수적 수론 도구를 활용하여 허미션 대수 이론을 고차수 기호 대수로 확장하는 것.
• 특히 세제곱 확장에서 수체의 $p$-진 완비화 위에서 기호 대수의 분할 행동을 분석하는 것.
• 아르틴 기호와 노름 군을 적용하여 이러한 대수가 분할 또는 분할 대수인지 결정하는 것.

제안 방법

• 수체 $K$의 $p$-진 점수 $K_v$와 $p$-진 점수를 사용하여 기호 대수의 국소적 행동을 연구한다.
• 세제곱 잔여기호 $\left(\frac{\alpha}{p\mathbb{Z}[\varepsilon]}\right)_3$를 적용하여 $K(\sqrt[3]{\alpha})$에서의 분할 행동을 결정한다.
• 아르틴 기호 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$와 같은 계급체 이론 도구를 사용하여 갈루아 작용과 노름 군을 분석한다.
• $\mathbb{Z}[\varepsilon]$와 $\mathbb{A}$ (확장 $L = K(\sqrt[3]{\alpha})$의 정수환)에서 소수의 분해를 이용하여 $e, f, g$를 계산하고 국소 확장을 결정한다.
• 정리 1.10을 적용하여 세제곱 잔여기호가 비자명할 경우 $p^{3l} \in N_{L_P/K_{p_1}}(L_P^*)$임을 검증한다.
• 정리 1.11과 보조정리 3.1을 적용하여 $L_P = K_{p_1}$ 또는 $f=3$일 경우 아르틴 기호가 자명함을 보이며, 이는 대수가 분할 대수가 아님을 의미한다.

실험 결과

연구 질문

• RQ1 수체 $K = \mathbb{Q}(\varepsilon)$이고 $p \equiv 2 \pmod{3}$일 때, 국소체 $K_v$ 위의 대수 $\left(\frac{\alpha, p^{3l}}{K, \varepsilon}\right)$가 분할 대수일 조건은 무엇인가?
• RQ2 $p^{3l}$가 세제곱 확장 $L = K(\sqrt[3]{\alpha})$의 완비화 $L_P^*$의 곱법적 군에서 노름이 되는 조건은 무엇인가?
• RQ3 세제곱 잔여기호 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3$는 기호 대수의 분할에 어떤 영향을 미치는가?
• RQ4 갈루아군 $\text{Gal}(L_P/K_v)$ 내에서 국소 아르틴 기호 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$의 행동은 어떠한가?
• RQ5 확장 $L_P/K_v$가 언제 자명해지며, 이는 대수의 구조에 어떤 영향을 미치는가?

주요 결과

• $p \equiv 2 \pmod{3}$일 경우, 소수 $p$는 $\mathbb{Z}[\varepsilon]$에서 그대로 소수로 유지되며, $p^{3l}$는 $L_P^*$에서의 노름이 되며, 국소 아르틴 기호는 자명하다.
• $p \equiv 1 \pmod{3}$일 경우, 소수 $p$는 $\mathbb{Z}[\varepsilon]$에서 세 개의 서로 다른 소수 $p_1, p_2$로 분해되며, 행동은 $\alpha$에 대한 세제곱 잔여기호에 따라 달라진다.
• 만약 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3 \neq 1$이면, $g=1$, $f=3$이며, $p^{3l} \in N_{L_P/K_{p_1}}(L_P^*)$이므로 대수는 분할 대수가 아니다.
• 만약 $\left(\frac{\alpha}{p_1\mathbb{Z}[\varepsilon]}\right)_3 = 1$이면, $g=3$, $e=f=1$이므로 $L_P = K_{p_1}$이며, 아르틴 기호는 자명하다. 이 역시 대수가 분할 대수가 아님을 의미한다.
• 분석한 모든 경우에서 국소 아르틴 기호 $\left(\frac{L_P/K_v}{(p^{3l})}\right)$는 항등원이며, 이는 국소적 맥락에서 대수가 분할됨을 보여준다.
• 논문은 $p \equiv 1 \pmod{3}$일 경우 국소 아르틴 기호와 노름 조건이 자명하므로, $A = \left(\frac{\alpha, p^{3l}}{K, \varepsilon}\right)$는 $K_{p_1}$에서 분할 대수가 아니라고 규명한다.