[论文解读] CM periods, CM regulators and hypergeometric functions, I

Masanori Asakura, Noriyuki Otsubo|arXiv (Cornell University)|Mar 27, 2015

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

一句话总结

本文证明了关于复乘（CM）周期的Gross–Deligne猜想，适用于从射影直线 $\mathbb{P}^1$ 上特定纤维化中导出的动机，并建立了将 $K_1$-正规化表示为超几何函数 ${}_3F_2$ 的正规化公式。结果表明，这些动机的周期与正规化可通过超几何函数的特殊值显式计算，在温和条件下正规化非零。

ABSTRACT

We study the $H^2$ of certain surfaces with complex multiplication by a cyclotomic field. The periods are written in terms of values of the gamma function and the conjecture of Gross-Deligne is verified. The regulators of certain $K_1$-elements are written in terms of values of hypergeometric functions ${}_3F_2$, and we prove their non-vanishing.

研究动机与目标

• 证明与 $\mathbb{P}^1$ 上纤维化曲面的 $H^2$ 相关的动机的Gross–Deligne猜想，其具有特定单值性与CM结构。
• 将这些动机的 $K_1$-正规化表示为参数属于 $\frac{1}{N}\mathbb{Z}$ 的超几何函数 ${}_3F_2$。
• 在温和假设下建立正规化非平凡性，确认其算术意义。
• 通过Gauss–Manin联络的典范扩张与积分表示，提供周期与正规化的显式计算。
• 为更广泛的猜想奠定基础：CM动机的正规化可表示为依赖于权重的 ${}_{k+1}F_k$-值。

提出的方法

• 显式计算纤维化相对第一de Rham上同调上Gauss–Manin联络的典范扩张 $\mathscr{H}_e$。
• 使用Euler型积分表示，将曲面的2-周期表示为 ${}_3F_2$-值，随后证明其可约化为 ${}_2F_1$-值。
• 通过分析 $K = \mathbb{Q}(\mu_{pl})$ 作用下的特征分量 $H^\chi$，确定动机 $H = (H_{\mathrm{dR}}, H_B)$ 的Hodge结构，证明 $\dim_K H_B = 1$。
• 应用Beilinson正规化 $r_\mathscr{D}: H^3_\mathscr{M}(X,\mathbb{Q}(2)) \to H^3_\mathscr{D}(X_\mathbb{C}, \mathbb{Q}(2))$，并将其限制在 $F^1 H_{\mathrm{dR}}^2$ 上，以将正规化与超几何函数关联。
• 使用第一作者先前工作中的一种技术，通过Čech型复形计算正规化，并处理在 $\mu_l$ 上有支撑的Deligne上同调类，确保与Hodge滤子相容。
• 通过超几何恒等式比较周期与正规化的计算，以验证猜想公式。

实验结果

研究问题

• RQ1 能否在 $\mathbb{P}^1$ 上纤维化曲面的动机上验证Gross–Deligne猜想，其CM结构为 $\mathbb{Q}(\mu_{pl})$？
• RQ2 能否将此类动机的 $K_1$-正规化表示为参数属于 $\frac{1}{N}\mathbb{Z}$ 的超几何函数 ${}_3F_2$？
• RQ3 在温和条件下，该正规化映射是否非零，从而确保其算术相关性？
• RQ4 这些动机的Hodge结构与周期积分如何与超几何函数的特殊值相关？
• RQ5 Gauss–Manin联络及其典范扩张的结构能否用于显式计算周期与正规化？

主要发现

• 证明了每个特征分量 $H^\chi$ 的周期与乘积 $B(\beta,\mu) B(1-\beta, \beta - \alpha + \mu)$ 成比例，其中 $\alpha = \{\frac{na}{p}\}$，$\beta = \{\frac{nb}{p}\}$，$\mu = \{\frac{m}{l}\}$，比例系数属于 $K'^\times$，$K' = \mathbb{Q}(\mu_{2lp})$，从而证明了Gross–Deligne猜想。
• 在de Rham上同调类 $\omega \in H_{\mathrm{dR}}^{\chi}$ 上评估动机上同调类 $z \in H^3_{\mathscr{M},Z_1}(X,\mathbb{Q}(2))$ 的正规化，与 $B(1-\alpha,\beta) \cdot {}_3F_2\left({1-\alpha,\beta,\beta-\alpha+\mu \atop 1-\alpha+\beta,\beta-\alpha+\mu+1};1\right)$ 成比例，比例系数属于 $K^\times$。
• 证明了Betti上同调 $H_B$ 在 $K$ 上的维数为1，确认了特征空间 $H^\chi$ 的一维性。
• 在温和假设下证明了正规化非零，确认了正规化映射的非平凡性，支持其在 $L$-函数猜想中的作用。
• 曲面的2-周期首先通过积分表示表示为 ${}_3F_2$-值，随后证明其等价于 ${}_2F_1$-值，从而将结果与经典超几何理论联系起来。
• 通过典范扩张与Čech分解的方法，实现了对Deligne上同调类及其Hodge滤子的显式计算，从而验证了正规化公式。