[论文解读] Jumps and monodromy of abelian varieties

Lars Halvard Halle, Johannes Nicaise|arXiv (Cornell University)|Sep 20, 2010

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

一句话总结

该论文通过证明阿贝尔簇的动机单值猜想的强形式，确立了动机zeta函数唯一极点的阶等于对应单值表示在第$g$上同调上的特征值的若尔当代数块的最大秩。此外，论文通过极限混合霍奇结构，对埃迪克斯亨的过滤跳跃提供了霍奇理论解释，将潜在环面秩与单值特征值及若尔当代数块大小联系起来。

ABSTRACT

We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof.

研究动机与目标

• 建立阿贝尔簇的动机单值猜想的强形式，将动机zeta函数的极点阶与单值的若尔当代数块结构联系起来。
• 对尼龙模型特殊纤维上埃迪克斯亨过滤的跳跃提供霍奇理论解释。
• 将潜在环面秩$t_{\mathrm{pot}}(A)$与$\ell$-进上同调上的单值作用及极限混合霍奇结构联系起来。
• 在$K = \mathbb{C}((t))$时，通过极限混合霍奇结构中的霍奇类型区分阿贝尔与对偶阿贝尔跳跃。
• 为未来推广至$\mathbb{C}((t))$上的卡拉比-丘流形提供框架。

提出的方法

• 利用尼龙模型特殊纤维上的埃迪克斯亨过滤，将跳跃分解为环面型、阿贝尔型与对偶阿贝尔型。
• 通过塔米单值群$G(K^t/K)$分析$\ell$-进上同调上的单值作用，识别出一个拓扑生成元$\sigma$的作用。
• 应用霍奇结构变化的尼龙模型理论，将$H^g(X_\infty, \mathbb{Q})$上的权重过滤与霍奇结构联系起来。
• 利用尼龙模型特殊纤维的切瓦莱分解，通过尼龙模型特殊纤维的解析化识别尼龙模型的阿贝尔部分与环面部分。
• 在尼龙模型的阿贝尔与环面部分的上同调群与李代数之间建立典范的$\mu$-等变同构。
• 利用同构$\mathrm{Gr}_{-1}^W H \cong H_1(B(\mathbb{C}), \mathbb{Z})$与$\mathrm{Gr}_{-2}^W H \cong H_1(T(\mathbb{C}), \mathbb{Z})$，将霍奇结构与单值块大小联系起来。

实验结果

研究问题

• RQ1 动机zeta函数$Z_A(\mathbb{L}^{-s})$在$s = c(A)$处的唯一极点的阶是否等于$H^g(A, \mathbb{Q}_\ell)$上单值特征值的若尔当代数块的最大秩？
• RQ2 埃迪克斯亨过滤在尼龙模型特殊纤维上的跳跃如何与极限混合霍奇结构的霍奇理论结构相关？
• RQ3 潜在环面秩$t_{\mathrm{pot}}(A)$是否可解释为最大的$\alpha$，使得$\exp(2\pi c(A)i)$是$\mathrm{Gr}_{g+\alpha}^W H^g(X_\infty, \mathbb{Q})$上半单部分$M_s$的特征值？
• RQ4 在极限混合霍奇结构中，埃迪克斯亨过滤的阿贝尔与对偶阿贝尔跳跃在霍奇类型上如何区分？
• RQ5 单值作用在塔特模上的角色如何决定单值变换的若尔当代数块结构？

主要发现

• 动机zeta函数$Z_A(\mathbb{L}^{-s})$在$s = c(A)$处的唯一极点的阶等于$1 + t_{\mathrm{pot}}(A)$，且该值等于$H^g(A, \mathbb{Q}_\ell)$上单值特征值的若尔当代数块的最大秩。
• 潜在环面秩$t_{\mathrm{pot}}(A)$等于最大的整数$\alpha$，使得$\exp(2\pi c(A)i)$是$\mathrm{Gr}_{g+\alpha}^W H^g(X_\infty, \mathbb{Q})$上半单部分$M_s$的特征值。
• $\mathrm{Gr}_{-1}^W H_1(X_\infty, \mathbb{Q})$上$M_s$的若尔当代数形式为$(1,0)$部分上的$\mathrm{Jord}(m_A^{\mathrm{ab}}, 0)$与$(0,1)$部分上的$\mathrm{Jord}(\breve{m}_A^{\mathrm{ab}}, 0)$，分别对应阿贝尔与对偶阿贝尔部分。
• $\mathrm{Gr}_{-2}^W H_1(X_\infty, \mathbb{Q})$上的若尔当代数形式为$\mathrm{Jord}(m_A^{\mathrm{tor}}, 0)$，对应环面部分。
• 典范的$\mu$-等变同构$\mathrm{Gr}_{-1}^W H \cong H_1(B(\mathbb{C}), \mathbb{Z})$与$\mathrm{Gr}_{-2}^W H \cong H_1(T(\mathbb{C}), \mathbb{Z})$与单值作用相容，证实了霍奇理论解释。
• 单值作用在上同调上由权重分次部分的分解完全描述，其中幂幺部分$N = \log M_u$诱导权重过滤，而半单部分$M_s$通过霍奇结构作用。