[论文解读] On the interior motive of certain Shimura varieties : the case of Picard varieties

Guillaume Cloitre|arXiv (Cornell University)|May 9, 2017

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

本文通过在几何动机的 triangulated category 中应用 Wildeshaus 的权重规避策略，构建了 Picard 曲面——即与 CM 域 $ E $ 相关的 PEL 型 Shimura 曲面——的内部动机。关键结果表明，通过 Kuga-Sato 簇的内部上同调，可建立与自守形式相关的 Hecke-等变动机，其上同调实现集中于度数 $ p + 2g $，且同构于 $ W(/pi_f) $，即与自守表示相关的 Hodge 结构。

ABSTRACT

The aim of this article is the construction of the interior motive of a Picard variety. Those are Shimura varieties of PEL type. Our result is an application of the strategy developed by Wildeshaus to construct a Hecke-invariant motive whose realizations correspond to interior cohomology.

研究动机与目标

• 构建与 CM 域 $ E $ 相关的 PEL 型 Shimura 曲面（即 Picard 曲面）的内部动机。
• 将 Wildeshaus 在动机 triangulated category 中的权重规避策略推广至 Picard 曲面的情形。
• 通过 Kuga-Sato 簇的内部上同调，将动机对象与这些曲面上的自守形式相关联。
• 确立所构造动机的实现与 Hodge 结构 $ W(/pi_f) $ 一致，后者与自守表示相关。

提出的方法

• 利用几何动机的 triangulated category $ DM_{gm}(k) $ 及其权重结构，通过在边界动机 $ ∂M_{gm}(X) $ 中规避权重 0 和 -1，分离出内部动机。
• 将权重规避准则应用于 Picard 曲面 $ S $ 上的 Kuga-Sato 簇 $ A^r $ 的直积因子，将问题简化为验证 Hodge 实现中的权重条件。
• 利用动机的 Hodge 与 $ l $-adic 实现，将内部动机识别为紧上同调 $ H^{2g}_{!}(S, \mu(V_\lambda)) $ 的移位（即 $ -2g-p $）。
• 利用 Saper 的消去定理，证明内部上同调仅在度数 $ 2g $ 非零，从而在该度数实现动机的构造。
• 在分次部分 $ Gr_0M_{gm}(\mathcal{A}^r)^{e_\lambda} $ 上应用 Hecke 代数作用，并通过与极小右理想相关的幂等元构造动机 $ \mathcal{W}(\pi_f) $。
• 依赖于定理 4.1 所确立的 $ \mathfrak{H}(K,G(\mathbb{A}_f)) \otimes_E Q $-模 $ H^{2g}_{!}(S(\mathbb{C}), \mu(V_\lambda)) $ 的半单性，以确保所构造动机的存在性。

实验结果

研究问题

• RQ1 在何种条件下，特征 $ \lambda $ 使得边界动机 $ \partial M_{gm}(A^r)^{e_\lambda} $ 避免权重 0 和 -1，从而实现内部动机的构造？
• RQ2 如何将 Kuga-Sato 簇 $ A^r $ 在 Picard 曲面之上的内部动机实现为 Hecke-等变动机？
• RQ3 所构造动机与自守形式相关的实现的精确上同调度数与 Hodge 结构为何？
• RQ4 $ \mathfrak{H}(K,G(\mathbb{A}_f)) \otimes_E Q $-模 $ H^{2g}_{!}(S(\mathbb{C}), \mu(V_\lambda)) $ 是否为半单？其对动机构造有何影响？
• RQ5 动机 $ \mathcal{W}(\pi_f) $ 是否可定义为内部动机的 $ e_\lambda $-同调分量所对应的 Grothendieck 动机的商？

主要发现

• 当特征 $ \lambda $ 为正则时，通过在边界动机中规避权重，可构造 Kuga-Sato 簇 $ A^r $ 在 Picard 曲面 $ S $ 上的内部动机。
• 内部动机 $ \mathcal{W}(\pi_f) $ 的实现集中于上同调度数 $ p + 2g $，其 Hodge 实现同构于 $ H^{2g}_{!}(S(\mathbb{C}), \mu(V_\lambda))[-2g-p] $。
• $ \mathcal{W}(\pi_f) $ 的 $ l $-adic 实现同构于 $ H^{2g}_{!}(S_{\overline{E}}, \mu_l(V_\lambda))[-2g-p] $，确认了不同实现之间的一致性。
• 根据定理 4.1，$ \mathfrak{H}(K,G(\mathbb{A}_f)) \otimes_E Q $-模 $ H^{2g}_{!}(S(\mathbb{C}), \mu(V_\lambda)) $ 为半单模，确保了其可分解为简单分量的明确定义。
• $ \mathcal{W}(\pi_f) $ 被定义为 Grothendieck 动机 $ Gr_0(M_{gm}(\mathcal{A}^r)^{e_\lambda})' $ 在幂等元 $ e_{\pi_f} $ 下的像，从而成为 Hecke-等变对象。
• Hodge 结构 $ W(\pi_f) $ 被识别为 $ H^{2g}_{!}(S(\mathbb{C}), \mu(V_\lambda)) \otimes_{\overline{E}} Q $ 的 $ e_{\pi_f} $-分量，确认了该动机的几何起源。