[논문 리뷰] About split quaternion algebras over quadratic fields and symbol algebras of degree $n$

Diana Savin|arXiv (Cornell University)|2015. 11. 23.

Coding theory and cryptography참고 문헌 13인용 수 6

한 줄 요약

이 논문은 이차체 위에서 허미션 대수의 분할을 위한 충분조건을 확립하고, 이전 결과를 일반화하여 $ p $-진체 및 순환체 위에서 차수 $ n ≥ 3 $인 비분할 기호 대수를 구성한다. 국소 클래스체론과 헨젤의 보조정리에 기반하여, $ \alpha $ 가 어떤 $ l \mid n $ 에 대해 $ p $ 모듈로에서 $ l $-거듭제곱 잔여물이 아니면, 기호 대수 $ \left(\frac{a,b}{K,\xi}\right) $ 는 $ \mathbb{Q}_p $ 와 $ K = \mathbb{Q}(\xi) $ 에서도 비분할임을 증명한다. 이는 소수 $ n $ 에 대한 이전 결과를 확장한 것으로, 복합수 $ n $ 에 대한 비분할 기호 대수의 체계적 구성이 핵심 기여이다.

ABSTRACT

In this paper we determine sufficient conditions for a quaternion algebra to split over a quadratic field. In the last section of the paper, we find a class of division symbol algebras of degree $n$ (where $n$ is a positive integer, $n\geq 3$) over a $p-$ adic field or over a cyclotomic field.

연구 동기 및 목표

• 이차체 위에서 허미션 대수가 분할되는 데 필요한 충분조건을 규명하는 것.
• $ \mathbb{Q}(i) $ 위에서의 분할 허미션 대수에 관한 이전 결과를 임의의 차수 $ n \geq 3 $ 인 기호 대수로 일반화하는 것.
• $ p $-진체 및 순환체 위에서 비분할 기호 대수의 한 클래스를 특정하는 것.

제안 방법

• 분할 행동을 분석하기 위해 알버트–브라우어–하세–노이터 정리와 브라우어 군 이론을 적용한다.
• Henzel의 보조정리를 사용하여 $ \mathbb{F}_p $ 에서 $ \mathbb{Q}_p $ 로 확장을 올려, 비분할 순환 확장을 보장한다.
• 국소체 내의 노름군을 통한 기호 대수의 분할 기준을 활용한다.
• $ \mathbb{Q}_p $ 에서 $ n $-단위근이 존재하도록 보장하기 위해 $ p \equiv 1 \pmod{n} $ 를 요구한다. 이를 통해 $ \left(\frac{\alpha,p}{\mathbb{Q}_p,\xi}\right) $ 의 구성이 가능해진다.
• 확장 차수가 정확히 $ n $ 가 되도록 보장하기 위해, 어떤 $ l \mid n $ 에 대해서도 $ \alpha $ 가 $ p $ 모듈로에서 $ l $-거듭제곱 잔여물이 아니라고 조건을 부과한다.
• $ p \equiv 1 \pmod{n} $ 일 때 $ K = \mathbb{Q}(\xi) \subset \mathbb{Q}_p $ 임을 이용하여 순환체로의 기저 변경이 가능하다.

실험 결과

연구 질문

• RQ1 허미션 대수 $ H_K(p,q) $ 가 이차체 $ K = \mathbb{Q}(\sqrt{d}) $ 에서 언제 분할되는가?
• RQ2 기호 대수 $ \left(\frac{a,b}{K,\xi}\right) $ 가 차수 $ n \geq 3 $ 인 $ p $-진체에서 언제 비분할인가?
• RQ3 어떤 조건이 이러한 기호 대수가 순환체 $ \mathbb{Q}(\xi) $ 에서도 비분할로 유지되도록 보장하는가?
• RQ4 $ \alpha $ 가 $ p $ 모듈로에서 $ l $-거듭제곱 잔여물이 아니라는 실패가 기호 대수의 구조에 어떻게 영향을 미치는가?
• RQ5 소수 $ n $ 에 대한 결과를 복합수 $ n $ 으로 일반화할 수 있는가?

주요 결과

• $ p \equiv 1 \pmod{n} $ 이고, 어떤 $ l \mid n $ 에 대해서도 $ \alpha $ 가 $ p $ 모듈로에서 $ l $-거듭제곱 잔여물이 아니면, $ \left(\frac{\alpha,p}{\mathbb{Q}_p,\xi}\right) $ 는 $ \mathbb{Q}_p $ 에서 비분할 대수이다.
• $ K = \mathbb{Q}(\xi) $ 를 갖는 기호 대수 $ A = \left(\frac{\alpha,p}{K,\xi}\right) $ 는 기저 변경을 통해 $ \mathbb{Q}_p $ 로 옮겨보면 $ K $ 에서도 비분할임을 보였다.
• $ \mathbb{Q}_p(\sqrt[n]{\alpha})/\mathbb{Q}_p $ 는 차수 $ n $ 의 순환적이고 비분할인 확장이며, 이는 $ p $ 에서 노름 기준이 실패함을 보장한다.
• $ \alpha $ 가 모든 $ l \mid n $ 에 대해 $ p $ 모듈로에서 $ l $-거듭제곱 잔여물이 아니라는 조건은 다항식 $ Y^n - \alpha $ 가 $ p $ 모듈로에서 인수분해되는 것을 방지하여 확장 차수를 낮추는 것을 막기 위해 필수적이다.
• [Sa; 16] 의 정리 3.2 를 소수 $ n $ 에서 임의의 $ n \geq 3 $ 으로 일반화하였으며, 이전 조건의 결함을 수정하였다.
• 이 구성은 차수 $ n $ 의 비분할 기호 대수의 한 클래스를 제공하며, $ p $-진체 및 순환체 위에서의 분할 대수의 새로운 근원을 제공한다.