2025-11-16T09:01:12.425008

$n$-Valued Groups, Kronecker Sums, and Wendt's Matrices

Buchstaber, Kornev

The article presents results on the well-known problem concerning the structure of integer polynomials $p_n(z; x, y)$, which define multiplication laws in $n$-valued groups $\mathbb{G}_n$ over the field of complex numbers $\mathbb{C}$. We show that the $n$-valued multiplication in the group $\mathbb{G}_n$ is realized in terms of the eigenvalues of the Kronecker sum of companion Frobenius matrices for polynomials of the form $t^n - x$ in the variable $t$. The notion of a Wendt $(x, y, z)$-matrix is introduced. When $x = (-1)^n$, $y = z = 1$, one recovers the classical Wendt matrix, whose determinant is used in number theory in connection with Fermat's Last Theorem. It is shown that for each positive integer $n$, the polynomial $p_n$ is given by the determinant of a Wendt $(x, y, z)$-matrix. Iterations of the $n$-valued multiplication in the group $\mathbb{G}_n$ lead to polynomials $p_n(z; x_1, \dots, x_m)$. We prove the irreducibility of the polynomial $p_n(z; x_1, \dots, x_m)$ over various fields. For each $n$, we introduce the notion of classes of symmetric $n$-algebraic $n$-valued groups. The group $\mathbb{G}_n$ belongs to one of these classes. For $n = 2, 3$, a description of the universal objects of these classes is obtained.

academic

$n$ -値群、クロネッカー和、およびWendt行列

基本情報

論文ID: 2505.04296
タイトル: $n$ -Valued Groups, Kronecker Sums, and Wendt's Matrices
著者: Victor Buchstaber、Mikhail Kornev
分類: math.GR（群論）、math.NT（数論）
発表時期: 2025年5月（arXivバージョン2、2025年10月14日改訂）
論文リンク: https://arxiv.org/abs/2505.04296

要約

本論文は、複素数体上の $n$ -値群 $G_n$ の乗法則を定義する整係数多項式 $p_n(z; x, y)$ の構造問題を研究している。著者らは、 $G_n$ における $n$ -値乗法が、 $t^n - x$ 型の多項式に対応する伴随フロベニウス行列のクロネッカー和の固有値によって実現されることを証明した。本論文ではWendt $(x, y, z)$ -行列の概念を導入し、 $x = (-1)^n$ 、 $y = z = 1$ の場合に古典的なWendt行列を復元できることを示した。古典的なWendt行列の行列式は数論において費マの最終定理と関連している。著者らは、各正整数 $n$ に対して、多項式 $p_n$ がWendt $(x, y, z)$ -行列の行列式として表現できることを証明した。 $G_n$ における $n$ -値乗法の反復は多項式 $p_n(z; x_1, \ldots, x_m)$ をもたらし、本論文はこれらの多項式が様々な体上で既約であることを証明している。

研究背景と動機

問題背景

$n$ -値群理論は、1971年にBuchstaberとNovikovが特性類理論の枠組みで提唱した構成に由来する。 $n$ -値群では、任意の2つの元の積は $n$ 個の点を含む多重集合であり、この構造は複数の数学分野で重要な応用を持つ：

代数幾何学: 楕円曲線の加法定理との関連
数論: 費マの最終定理およびWendt行列との関連
可積分系: 多値離散力学における応用
表現論: 群表現のテンソル積分解との関連

研究動機

論文の主な動機は以下の通りである：

構造問題: $n$ -値群の乗法を定義する多項式 $p_n(z; x, y)$ の係数構造の理解
行列実現: 線形代数的手法（クロネッカー和、フロベニウス行列）による $n$ -値乗法の特徴付け
数論との関連: 古典的なWendt行列および費マの最終定理との関連の確立
既約性: 異なる体上での関連多項式の既約性質の研究

既存手法の限界

先行研究は主に低次元の場合（ $n \leq 7$ ）に集中していた
一般的な $n$ -値群を扱うための統一的な行列理論的枠組みが欠けていた
多項式係数の数論的性質に対する理解が不十分であった

核心的貢献

$n$ -値群とクロネッカー和の関連性の確立: $G_n$ における $n$ -値乗法がフロベニウス伴随行列のクロネッカー和の固有値によって実現されることを証明した
Wendt $(x,y,z)$ -行列の導入: 古典的なWendt行列を推広し、 $n$ -値群多項式との直接的な関連を確立した
多項式の既約性の証明: 複素数体および有理数体を含む複数の体上で $p_n(z; x_1, \ldots, x_m)$ の既約性を証明した
対称 $n$ -代数 $n$ -値群の分類: $n=2,3$ の場合について完全な分類と通用対象の記述を提供した
判別式との関連性の確立: Wendt行列の行列式がある多項式の判別式として表現できることを証明した
数論応用の提供: Wolstenholme定理を利用して多項式係数の整除性質を証明した

方法の詳細説明

問題設定

$n$ -値群 $G_n$ 上の乗法演算を研究する： $x \ast y = [(\sqrt[n]{x} + \varepsilon^r \sqrt[n]{y})^n | r = 1, \ldots, n]$ ここで $\varepsilon$ は $n$ 次本原単位根であり、目標はこの乗法を定義する多項式 $p_n(z; x, y)$ の構造を理解することである。

核心理論的枠組み

1. クロネッカー和による実現

定理: $n$ -値乗法はクロネッカー和によって実現される： $p_n(z^n; x, y) = \chi(F(0, \ldots, 0, (-1)^{n+1}x) \oplus F(0, \ldots, 0, (-1)^{n+1}y); z)$

ここで $F$ はフロベニウス伴随行列、 $\oplus$ はクロネッカー和である。

2. Wendt $(x,y,z)$ -行列

Wendt $(x,y,z)$ -行列を $y$ -循環行列として定義する： $\text{Circ}_y\left(w^n + (-1)^{n+1}x + y, \binom{n}{1}w, \ldots, \binom{n}{n-1}w^{n-1}\right)$

主要定理: $p_n(z; x, y) = \det(\text{Wendt}(x,y,z)\text{-行列})$

3. 対称 $n$ -代数 $n$ -値群の分類

$n=2$ の場合： 定理1: 通用対称2-代数2-値群は係数環 $\mathbb{C}[k_2, k_4, k_6]$ 上の多項式族によって定義される： $P_2(z; x, y) = \sigma_1^2 - 4\sigma_2 + 2k_2\sigma_3 + (k_4^2 - k_6k_2)\sigma_3^2 + 2k_4\sigma_1\sigma_3 + 2k_6\sigma_2\sigma_3$