[论文解读] On the regulator of Fermat motives and generalized hypergeometric functions

Noriyuki Otsubo|ArXiv.org|Sep 16, 2009

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文利用广义超几何函数计算了费马曲线动机的贝利森上同调类，证明其非零性，并在某些情况下建立了上同调类映射的满射性。文中将上同调类的上同调像表示为阿佩尔的 $ F_3 $ 和巴恩斯的 $_3F_2 $ 超几何函数在 $ (1,1) $ 处的特殊值，为贝利森关于 $ L $-函数特殊值的猜想提供了有力证据。

ABSTRACT

We calculate the Beilinson regulators of motives associated to Fermat curves and express them by special values of generalized hypergeometric functions. As a result, we obtain surjectivity results of the regulator, which support the Beilinson conjecture on special values of L-functions.

研究动机与目标

• 通过广义超几何函数的特殊值，计算与费马曲线相关的动机的贝利森上同调类。
• 通过验证上同调类映射的满射性，为贝利森关于 $ L $-函数特殊值的猜想提供证据。
• 将动机上同调类的上同调像表示为 $ F_3 $ 和 $ _3F_2 $ 超几何函数在 $ (1,1) $ 处的值。
• 通过 $ ext{Gal}(k/ olinebreak\mathbb{Q}) $-作用分析费马曲线的动机上同调结构，并将其分解为同型分量。
• 对 $ X_N $ 上特定的 $ K_2 $-符号，建立其上同调像的非零性与线性无关性。

提出的方法

• 通过 $ \mu_N \times \mu_N $-作用将费马曲线 $ X_N $ 分解为同型分量，分析上同调类映射 $ r_{\text{D}}: H^2_{\text{M}}(X_N, \mathbb{Q}(2))_{\mathbb{Z}} \to H^2_{\text{D}}(X_{N,\mathbb{R}}, \mathbb{R}(2)) $。
• 将动机类 $ e_N = \{1-x,1-y\} \in K_2 $-群投影到分量 $ e_N^{a,b} $，其上同调类通过阿佩尔 $ F_3 $ 函数的积分表示进行计算。
• 利用超几何函数 $ \widetilde{F}(\alpha,\beta) = \frac{\varGamma(\alpha)\varGamma(\beta)}{\varGamma(\alpha+\beta+1)} F(\alpha,\beta;1,1) $ 的特殊值，表达在 $ (x,y)=(1,1) $ 处的上同调像。
• 对于 $ N=5 $，通过 $ F_5^{a,b,c} $ 项的 $ \mathbb{Q} $-线性组合证明上同调类非零，其中系数包含单位根与分圆多项式。
• 对于 $ N=7 $，由 $ F_7^{a,b,c} $ 和分圆高斯和构造上同调矩阵 $ B^{a,b,c} $；当 $ a,b,c $ 互异时，其行列式非零。
• 通过对称性、符号分析及超几何项之间的不等式，证明行列式非零与上同调像的线性无关性。

实验结果

研究问题

• RQ1 费马曲线动机 $ X_N^{a,b} $ 的贝利森上同调类映射是否保持非零？其像是否可用超几何函数表示？
• RQ2 当 $ a,b,c $ 互异时，能否证明 $ X_7^{a,b} $ 上同调类映射的满射性？
• RQ3 广义超几何函数的特殊值如何与贝利森猜想所预测的 $ L $-值相关联？
• RQ4 伽罗瓦对称性与 $ \mu_N \times \mu_N $-作用在动机上同调分解及 $ K_2 $-符号上同调类调节中起何作用？
• RQ5 能否证明 $ X_N $ 上多个 $ K_2 $-符号的上同调像的线性无关性？

主要发现

• 对于 $ N=5 $，$ K_2 $-符号 $ e_{(1)}^{1,1} $ 的上同调类非零，且可表示为 $ \mathbb{Q} $-线性组合的 $ F_5^{a,b,c} $ 项，其系数包含 $ \sin(2\pi/5) $ 与 $ \sin(4\pi/5) $。
• 对于 $ N=7 $，上同调矩阵 $ B^{1,2,4} $ 的行列式非零，证明当 $ a,b,c $ 互异时上同调类映射为满射。
• 在 $ X_7^{1,2,4} $ 上，上同调矩阵的行列式与 $ s^3 + t^3 + u^3 - 3stu $ 成比例，其非零性由 $ s,t,u $ 项的符号与大小分析得出。
• 当 $ a=b $ 时，$ e_{(1)}^{a,b} $ 与 $ e_{(13)}^{a,b} $ 的上同调类相等，但其子式行列式仍非零，表明像的维数至少为 2。
• 在 $ (1,1) $ 处的特殊值 $ \widetilde{F}(\alpha,\beta) $ 可用巴恩斯的 $ _3F_2 $ 函数表示，从而与动机的周期相联系。
• 结果支持贝利森猜想：$ L^*(j_7^{a,b},0) \equiv \pi^3 \cdot (s^3 + t^3 + u^3 - 3stu) \mod \mathbb{Q}^* $，其中 $ s,t,u $ 显式表示为超几何值与单位根的组合。