arXiv論文メモ
新着一覧
math.NT · 査読状況未確認

多項式を含む3変数指標和の評価と行列の数え上げ

Tridimensional character sums with polynomial arguments and applications

Étienne Fouvry, Igor E. Shparlinski, Ping Xi

この論文をやさしく読む

ひとことで言うと

有限体に関わる3重の和を精密に抑え、その結果を使って、条件を満たす2行2列の行列を数える研究です。

何に役立つ?

成分の取れる範囲が狭い場合でも、特性多項式が既約な行列の数を調べるのに役立ちます。数論の評価式としての用途が示されています。

この研究の面白いところ

係数βが一定の場合と一般の場合を分け、扱える多項式の次数と区間の長さの条件を明示しています。新しい和の評価が、より短い区間での数え上げに結び付きます。

どこまで分かった?

定理は大きな素数p、非自明な指標、限定された次数、および区間長の下限を前提とします。任意の短さの区間や任意の次数に対する結果ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

pを大きな素数、χを法pの非自明なディリクレ指標とする。本研究では、指標和 Σ(a ∼ A)Σ(b ∼ B)Σ(c ∼ C)α(a,b)β(c)χ(f(a) + bc) を調べる。ここでz ∼ ZはZ ≤ z < 2Zを意味し、f ∈ ℤ[X]は次数kの低い多項式であり、α = (α(a,b))(a ∼ A、b ∼ B)とβ = (β(c))(c ∼ C)は2つの複素係数列である。固定したε > 0に対し、次のいずれかの場合にこの和の非自明な上界を証明する。(1)β ≡ 1、k = 2, 3, 4, 5、かつA, B, C > p^(1/8 + ε)の場合。(2)βが一般の係数列、k = 2, 3、かつA, B, C > p^(1/6 + ε)の場合である。 本研究の当初の動機は、GangulyとRajan(2023)による、成分が短い区間に属し、特性多項式が既約である有限体𝔽ₚ上の2 × 2行列の数え上げに関する中間結果であった。今回の新たな評価により、はるかに短い区間に対してそのような行列を数えられるようになる。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-10-01(UTC)
最新改訂
2026-10-01 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Let $p$ be a large prime and $\chi$ a non-trivial Dirichlet character modulo $p$. We study the character sum \[ \sum_{a \sim A} \sum_{b \sim B} \sum_{c \sim C} \alpha(a,b) \beta(c)\chi(f(a) + bc), \] where $z \sim Z$ means $Z\le z < 2Z$, $f \in \mathbb{Z}[X]$ is of small degree $k$, and $\boldsymbol\alpha=(\alpha(a,b))_{a\sim A,b\sim B}$ and $\boldsymbol\beta=(\beta(c))_{c\sim C}$ are two complex coefficients. We prove non-trivial upper bounds for this sum in either of the two cases: (1) $\boldsymbol\beta\equiv1$, $k=2,3,4,5$ and $A,B,C>p^{\frac{1}{8}+\varepsilon}$, (2) $\boldsymbol\beta$ general, $k=2,3$ and $A,B,C>p^{\frac{1}{6}+\varepsilon}$, where $\varepsilon>0$ is fixed. This work was originally motivated by an intermediate result of Ganguly and Rajan (2023) on counting $2\times2$ matrices over $\mathbb{F}_p$ with irreducible characteristic polynomials, where the entries are in short segments. The new bounds here allow us to count such matrices in much shorter segments.

著者のコメント

15 pages

arXiv ID: 2610.01524 / 要約の誤りについて