2025-11-19T17:19:14.645189

Matrices over maximal orders in cyclic division algebras over Q as sums of squares and cubes

Katre, Krishnamurthi

It is known that every matrix of order n over the maximal order in an algebraic number eld is a sum of k-th powers in various cases if a discriminant condition is satis ed. It has been proved by Wadikar and Katre that for every matrix of size 2 over maximal orders in rational quaternion division algebras is a sum of squares and cubes. In this paper we consider cyclic division algebras over Q of odd prime degree and show that under some conditions every matrix of size greater equal 2 over these noncommutative rings is a sum of squares and a sum of cubes.

academic

Q 위의 순환 나눗셈 대수의 극대 위수 위의 행렬들의 제곱과 세제곱의 합으로의 표현

기본 정보

논문 ID: 2510.13469
제목: Matrices over maximal orders in cyclic division algebras over Q as sums of squares and cubes
저자: S. A. Katre, Deepa Krishnamurthi
분류: math.NT (정수론)
발표 시간: 2025년 10월 15일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.13469

초록

본 논문은 유리수체 Q 위의 홀수 소수 차수 순환 나눗셈 대수의 극대 위수 위의 행렬들이 제곱과 세제곱의 합으로 표현되는 문제를 연구한다. 판별식 조건을 만족할 때, 대수적 수체의 극대 위수 위의 n차 행렬들이 k제곱의 합으로 표현될 수 있음이 알려져 있다. Wadikar와 Katre는 유리 사원수 나눗셈 대수의 극대 위수 위의 모든 2차 이상 행렬들이 제곱과 세제곱의 합으로 표현될 수 있음을 증명했다. 본 논문은 이 결과를 홀수 소수 차수의 순환 나눗셈 대수로 일반화하여, 특정 조건 하에서 이러한 비가환 환의 극대 위수 위의 모든 2차 이상 행렬들이 제곱과 세제곱의 합으로 표현될 수 있음을 증명한다.

연구 배경 및 동기

문제의 배경

Waring 문제의 일반화: 고전적인 Waring 문제는 양의 정수가 k제곱의 합으로 표현되는 문제를 연구한다. 본 논문은 이 문제를 비가환 환 위의 행렬들로 일반화한다.
행렬 거듭제곱 합 표현 이론: 행렬이 다른 행렬들의 k제곱 합으로 표현될 수 있는지를 연구하는 것은 대수학의 중요한 문제로, 환론 및 행렬론과 밀접한 관련이 있다.
순환 나눗셈 대수의 중요성: 순환 나눗셈 대수는 비가환 대수의 중요한 범주로, 대수적 수론, 표현론 등의 분야에서 광범위하게 응용된다.

연구 동기

이론의 완성: 유리 사원수 나눗셈 대수에서 일반적인 홀수 소수 차수 순환 나눗셈 대수로의 일반화를 통해 관련 이론 체계를 완성한다.
기술적 도전: 비가환 환의 복잡성으로 인해 증명 기법이 더욱 어려워지며, 깊이 있는 대수적 수론 지식이 필요하다.
응용 전망: 관련된 대수기하학, 산술기하학 문제들에 대한 이론적 기초를 제공한다.

핵심 기여

주요 정리: 특정 조건 하에서 홀수 소수 차수 순환 나눗셈 대수의 극대 위수 위의 행렬들이 제곱의 합(정리 4)과 세제곱의 합(정리 5)으로 표현될 수 있음을 증명한다.
기술적 혁신: Gauss 주기, 순환수, 주기 다항식 등의 도구를 활용하고, 순환 나눗셈 대수의 정준 생성 이론과 결합한다.
조건의 명확화: 행렬이 거듭제곱 합으로 표현 가능한 충분조건을 명시적으로 제시하며, σ와 노름에 대한 합동 조건을 포함한다.
증명 방법: 비가환 환 위의 행렬 거듭제곱 합 문제를 다루기 위한 체계적 방법을 개발한다.

방법론 상세 설명

이론적 기초

순환 나눗셈 대수의 구성

n을 홀수 소수, p = hn + 1, g를 mod p의 원시근, ξ를 p차 원시 단위근이라 하자. Gauss 주기를 다음과 같이 정의한다: $\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}$

순환 나눗셈 대수 A는 Q-기저를 가진다: $\{u^i z_k : i = 0,1,\ldots,n-1; k = 1,2,\ldots,n\}$

다음 관계식을 만족한다:

$zu = uz^S$ (S는 Galois 군의 생성원)
$u^n = \sigma \neq 0 \in \mathbb{Q}$

정준 생성

Ralph Hull의 정리에 따르면, 다음을 만족하는 무한히 많은 유리 소수 p가 존재한다:

$p \equiv 1 \pmod{n}$ 이고 σ와 서로소
$q_1, q_2, \ldots, q_s$ 는 mod p의 n차 비잉여
σ는 mod p의 n차 잉여

핵심 증명 전략

제곱의 합 표현(정리 4)

조건:

$\sigma \equiv 1 \pmod{2}$
$N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta) \equiv 1 \pmod{2}$

증명 개요:

모든 기저 원소 $\{u^i \eta^{S^j}\}$ 가 $T_2$ 에 속함을 증명한다 ( $T_2$ 는 제곱의 합으로 표현 가능한 원소들의 집합).
$\eta = \sum_{r=0}^{h-1} \xi^{g^{nr}}$ 의 성질을 이용하여 $\xi^i$ 의 제곱 성질을 분석한다.
u에 대해 $u^{n+1} \equiv u \pmod{2}$ (n이 홀수이므로)를 이용한다.
귀납법으로 $u^i \eta^{S^j} \in T_2$ 를 증명한다.

세제곱의 합 표현(정리 5)

조건:

$3 \nmid \sigma$
$3 \nmid N_{\mathbb{Q}(\eta)/\mathbb{Q}}(\eta)$

증명 개요:

$3x \equiv (p+1) \pmod{p}$ 가 해를 가지므로 $\xi \in T_3$ 임을 이용한다.
n과 3의 관계에 따라 경우를 나누어 논의한다:
- $n = 3k+2$ 인 경우: $u^{n+1} \equiv u \pmod{3}$ 를 이용
- $n = 3k+1$ 인 경우: 더 정교한 분석 필요
귀납법으로 모든 기저 원소가 $T_3$ 에 속함을 증명한다.