arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.05211math.AGmath.NTmath.RT

关于酉 Shimura 曲线的 p-adic 一致化

On the p-adic uniformization of unitary Shimura curves

Stephen Kudla, Michael Rapoport, Thomas Zink

AI总结:

本文证明了关于酉相似群 Shimura 曲线的 p-adic 一致化,通过引入 Kottwitz 条件等定义积分模型,并利用收缩函子与 display 理论给出了沿特殊纤维形式完备化的一致化证明。

摘要:

我们证明了关于酉相似群的 Shimura 曲线的 p-adic 一致化,该群与相对于任意极大全实子域为 F 的 CM 域 K 的特定二元斜厄米特空间 V 有关。对于 F 的一个在 K 中不分裂且使得 V_v 为各向异性的素除子 v|p,设 ν 为 v 到反射域 E 的一个延拓。我们通过带有合适极化及与 p 互素的水平结构的阿贝尔概型的模问题,定义了在 Spec O_{E,(ν)} 上相应 Shimura 曲线的积分模型。该模问题的表述涉及 Kottwitz 条件、Eisenstein 条件以及一个调整不变量。前两个条件是关于阿贝尔簇李代数的条件;最后一个条件是关于极化 Riemann 形式的条件。该模型沿其特殊纤维的形式完备化的一致化由 F_v 的形式 Drinfeld 上半平面给出。证明依赖于收缩函子的构造,该函子将严格形式 O_{F_v}-模的相对 Rapoport-Zink 空间与由模问题产生的 p-可除群的 Rapoport-Zink 空间联系起来,其中当 F_v≠Q_p 时,O_{F_v}-作用通常不是严格的。我们的主要工具是 display 理论,特别是 Ahsendorf 函子。

英文摘要:

We prove $p$-adic uniformization for Shimura curves attached to the group of unitary similitudes of certain binary skew hermitian spaces $V$ with respect to an arbitrary CM field $K$ with maximal totally real subfield $F$. For a place $v|p$ of $F$ that is not split in $K$ and for which $V_v$ is anisotropic, let $ν$ be an extension of $v$ to the reflex field $E$. We define an integral model of the corresponding Shimura curve over ${\rm Spec}\, O_{E, (ν)}$ by means of a moduli problem for abelian schemes with suitable polarization and level structure prime to $p$. The formulation of the moduli problem involves a Kottwitz condition, an Eisenstein condition, and an adjusted invariant. The first two conditions are conditions on the Lie algebra of the abelian varieties; the last condition is a condition on the Riemann form of the polarization. The uniformization of the formal completion of this model along its special fiber is given in terms of the formal Drinfeld upper half plane for $F_v$. The proof relies on the construction of the contracting functor which relates a relative Rapoport-Zink space for strict formal $O_{F_v}$-modules with a Rapoport-Zink space of $p$-divisible groups which arise from the moduli problem, where the $O_{F_v}$-action is usually not strict when $F_v\ne \mathbb {Q}_p$. Our main tool is the theory of displays, in particular the Ahsendorf functor.

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

↑