[論文レビュー] Lucas sequences, Pell's equations, and automorphisms of K3 surfaces

Kwangwoo Lee|arXiv (Cornell University)|Jan 22, 2026

Advanced Mathematical Theories and Applications被引用数 0

ひとこと要約

論文は Lucas 数列、ペル方程式、Picard 数が 2 の K3 面の自己同型の対応を構築し、これらの結びつきを用いて Lucas 数列の交差を導出し、関連する Pell 系を解く。

ABSTRACT

We have the correspondences between Lucas sequences, Pell's equations, and the automorphisms of K3 surfaces with Picard number 2. Using these correspondences, we determine the intersections of some Lucas sequences.

研究の動機と目的

• 特定の Picard 格子を持つ K3 面の自己同型と Lucas 数列との関係を動機づけ formalize する。
• トレース公式を通じて一般化 fibonnaci 系列を Pell 方程式の解と関連づける。
• これらの対応を用いて Lucas 数列の交点を決定し、特定の Pell 系を解く。
• 格子論的な自己同型データと数論的 Pell 方程式の構造を結びつけ、数列の交点を特徴づける。

提案手法

• 一般化 Fibonacci 数列 a_n = U_n(a, -1) および b_n = U_n(b, 1) とそれらの Lucas 型表現を検討する。
• NS(X) に対する自己同型の作用を行列 A,B とそのべきとして表現し、数列項へ結びつける。
• V_n(P,Q)^2 - D U_n(P,Q)^2 = 4 Q^n のような Pell 型恒等式を用いて数列の値を Pell 方程式の解と結びつける。
• NS(X) 格子と自己同型群（例：Aut(X_Lm(a)) ≅ Z かつ AB = M_a^2 など）を特徴づけ、トレース公式を導出する。
• 自己同型のトレースデータを Pell 方程式 x^2 - D y^2 = ±4 の y 座標へ変換し、a_n または b_n が現れる対応する n を同定する。

実験結果

リサーチクエスチョン

• RQ1 Lucas 数列（a_n, b_n）、Pell 方程式の解、および Picard 数が 2 の K3 面の自己同型との explicit な対応は何か。
• RQ2 これらの対応を用いて Lucas 数列の交点を決定するにはどうすればよいか。
• RQ3 K3 面の自己同型/トレースの枠組みを用いて Pell 系のディオファントス方程式を解決または制約することはできるか。
• RQ4 NS(X)、判別式といった格子論データが自己同型による数列恒等式の導出に与える役割は何か。

主な発見

• 一般化 Fibonacci 数 a_n（および b_n）と Pell 方程式 x^2 - (a^2+4)y^2 = ±4（それぞれ対応する y 座標）および Picard 格子 L_m(a) または L(b) を持つ K3 面の自己同型との対応が存在する。
• Aut(X_Lm(a)) の NS(X) に対するトレースは g が (AB)^n に結びつくとき (a^2+4)a_n^2 + (-1)^n 2 に等しい（AB = M_a^2）、同様に L(b) のトレースデータは (b^2-4)b_n^2 + 2 を与える。
• Aut(X_Lm(a)) ≅ Z で m ≥ 2、生成元が NS(X_Lm(a)) に対して (AB)^n として作用し、数列の指標と自己同型のべき乗を結びつける。
• L(b) の場合、対称自動同型があり、その Picard 格子への作用は C^{2n} で与えられ、b_n を自己同型トレースと結びつける。
• 本論は a_n（または b_n）が一般化 Fibonacci 項であることが Pell 方程式の y 座標解と対応する、すなわち数列の値と Pell 解との双方向ブリッジを確立する。
• Pell 方程式の解の集合が有限か無限かの基準を示し、特定の積が平方数となる場合には解の x 座標が対応する 2x2 行列の固有値に結びつく Lucas 数列となる、という結論を与える。