[论文解读] 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数列、Pell方程与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数列之间的联系的动机与理论框架。
• 将广义斐波那契数列通过迹公式与Pell方程解联系起来。
• 利用这些对应关系确定Lucas数列的交点并获得某些Pell系统的解。
• 将晶格理论自同构数据与数论Pell方程结构联系起来，以刻画数列交点。

提出的方法

• 回顾广义斐波那契数列 a_n = U_n(a, -1) 与 b_n = U_n(b, 1) 及其Lucas型表示。
• 通过矩阵 A、B 及其幂来表达对Picard格 NS(X) 的自同构作用，将其与数列项联系起来。
• 利用 Pell 型恒等式 V_n(P,Q)^2 - D U_n(P,Q)^2 = 4 Q^n 将数列值与 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 表面自同构之间的明确对应关系是什么？
• RQ2 如何利用这些对应关系来确定 Lucas 数列的交点？
• RQ3 Pell 系统的丢番图方程是否能够借助为 K3 表面开发的自同构/迹框架进行求解或约束？
• RQ4 晶格理论数据（NS(X)、判别数）在获得自同构诱导的数列恒等式中起到的作用是什么？

主要发现

• 存在广义斐波那契数 a_n（若干为 b_n）与 Pell 方程解的 y 坐标 x^2 - (a^2+4) y^2 = ±4（相应地对 b_n 而言为 x^2 - (b^2-4) y^2 = 4）以及具有 Picard 晶格 L_m(a) 或 L(b) 的 K3 表面自同构之间的对应关系。
• 对 NS(X_Lm(a)) 的自同构迹等于 (a^2+4)a_n^2 + (-1)^n 2，当 g 与 (AB)^n 联系且 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）为广义斐波那契项时，与 Pell 方程的 y 坐标解对应，且反之亦然，建立了数列值与 Pell 解之间的双向桥梁。
• 给出 Pell 方程组解集的有限性与无穷性的判据，并表明当某些乘积（如 (P1^2+4)(P2^2+4)）为平方时，解的 x 坐标形成与相关 2x2 矩阵特征值相关的 Lucas 数列。