arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2603.04604math.NT
收藏

BSD不变量与椭圆曲线的鸣群现象

BSD Invariants and Murmurations of Elliptic Curves

The University of Arizona(亚利桑那大学)

Dane Wachs

AI总结:

研究BSD不变量与椭圆曲线有理数上的鸣群现象,发现不变量在滑动导数窗口中无鸣群振荡,但影响标准弗罗贝尼乌斯迹鸣群形状,且塔希-沙法列夫群模拟能量在控制L(1)、实周期和导数后仍有效。

摘要:

我们研究了 Birch 和 Swinnerton-Dyer (BSD) 不变量与椭圆曲线有理数上的鸣群现象的相互作用。基于 Cremona 数据库中 3,064,705 条曲线的数据集(导数至 499,998),我们得出三个结果。首先,BSD 不变量本身——实周期、塔马加瓦产品、塔希-沙法列夫群的解析阶、调节因子和 torsion 阶——在滑动导数窗口中平均时不会表现出鸣群类型的振荡。其次,这些不变量调节了标准弗罗贝尼乌斯迹鸣群的形状:在固定排名下,按塔马加瓦产品、塔希-沙法列夫群的解析阶或实周期分层的曲线显示显著不同的鸣群轮廓,与排列空模型相比,p 值小于 0.001,且这些差异在导数范围内是尺度不变的。第三,塔希-沙法列夫群的模拟能量在同时控制 L(1)、实周期和导数后仍有效,证明塔希-沙法列夫群的阶编码了关于良好素数上弗罗贝尼乌斯迹分布的信息,这一信息未被任何其他标准 BSD 不变量所捕获。我们进一步表明,这种模拟能量是弗罗贝尼乌斯迹分布的纯均值位移——方差、偏度和峰度在塔希-沙法列夫群分层中相同,并且集中在小素数上。计算 2,000 条曲线在固定 L 值下的低层 L 函数零点,我们发现塔希-沙法列夫群阶至少为四的曲线系统地有不同的低层零点分布,第一个零点位移更高,后续零点更紧密。显式公式将这种零点位移与观察到的鸣群模拟能量联系起来,与零点分布作为中介机制一致。

英文摘要:

We study how the murmurations of elliptic curves over $\mathbb{Q}$ depend on the invariants in the Birch-Swinnerton-Dyer formula, using the Frobenius traces at all primes up to $10^5$ for one curve in each isogeny class of conductor below $10^5$. In these data, at the murmuration scale the rank-$0$ profile depends on the central value $L(E,1)$, in its shape and in the position of its sign changes. Through the series for $L(E,1)$, the covariance of $a_p$ with $L(E,1)$ is exactly a sum of covariances of $a_p$ with the coefficients $a_n$ weighted by a factor that depends on $n$ and the conductor; numerically, in this conductor range, the terms with $n\le50$ reproduce its shape (correlation $0.998$, largest deviation $0.29$ against a largest absolute covariance of $3.03$). Empirically, for $q=3$, $5$, $7$ and $11$ the unweighted covariance of $a_p$ with $a_q$ has nearly the shape of the rank-$0$ profile dilated by a factor near $q$; for $q=2$ the agreement is weaker. Weighting by the Tamagawa product changes the rank-$0$ profile substantially on $0.025<y\le0.125$; after standardisation to the deciles of $\log L(E,1)$, the change summed over these bins is 13% of the unstandardised one (17% for sums of absolute values), and in the lowest bin the standardised change is larger than the unstandardised one and of opposite sign. This version replaces the earlier versions (v1 and v2); their claim that the Tate-Shafarevich group carries information about Frobenius traces beyond the other invariants taken together cannot hold, because its analytic order is defined by the BSD formula, and it is withdrawn.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑