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を法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$ は法pのn次非剰余
σは法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に対して、nが奇数であることから $u^{n+1} \equiv u \pmod{2}$ を利用する
帰納法により $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$ に属することを証明する