[论文解读] On the ´ Etale Cohomology of Algebraic Varieties with Totally Degenerate Reduction over p-adic Fields to J. Tate

Wayne Raskind, Xavier Xarles|arXiv (Cornell University)|Jan 1, 2007

Algebraic Geometry and Number Theory参考文献 41被引用 8

一句话总结

本文引入了 p-进域上光滑射影概形的完全退化约化（totally degenerate reduction）概念，并证明其ℓ-进étale上同调在有限非分歧基域扩张后， admits 一个滤子结构，其各阶化分量为有理向量空间与Tate扭量Q(r)的张量积。Galois作用在这些分量上是无分歧的，揭示了此类概形上同调中高度结构化的算术行为。

ABSTRACT

Let K be a field of characteristic zero that is com- plete with respect to a discrete valuation, with perfect residue field of characteristic p> 0. We formulate the notion of totally degenerate reduction for a smooth projective variety X over K. We show that for all prime numbers � , the Q-´ etale cohomology of such a variety is (after passing to a suitable finite unramified extension of K) a suc- cessive extension of direct sums of Galois modules of the form Q(r). More precisely, this cohomology has an increasing filtration whose r-th graded quotient is of the form V ⊗Q Q(r), where V is a finite dimen- sional Q-vector space that is independent of � , with an unramified action of the absolute Galois group of K.

研究动机与目标

• 定义并形式化具有完美剩余域的p-进域上光滑射影概形的完全退化约化概念。
• 研究具有完全退化约化概形的ℓ-进étale上同调结构。
• 建立上同调群存在一个滤子结构，其阶化分量形式为V ⊗Q Q(r)，其中V为有限维Q-向量空间。
• 证明在基域的有限非分歧扩张后，Galois作用在这些阶化分量上是无分歧的。
• 阐明在退化约化背景下étale上同调的算术本质，扩展Tate工作的洞见。

提出的方法

• 为特征为零、剩余域为正特征完美域的完备离散赋值域上的光滑射影概形引入完全退化约化概念。
• 以ℓ-进étale上同调为主要上同调工具，聚焦其在Galois作用下的结构。
• 通过基域的有限非分歧扩张进行基变换，以简化Galois表示结构。
• 在上同调群上构造一个递增滤子，使得每个阶化分量同构于某个有限维Q-向量空间V的V ⊗Q Q(r)。
• 分析绝对Galois群在阶化分量上的作用，并证明其为无分歧。
• 利用Tate扭量Q(r)的性质及Galois作用的无分歧性，推导出上同调的结构约束。

实验结果

研究问题

• RQ1 在p-进域上，光滑射影概形具有完全退化约化的确切代数-几何条件是什么？
• RQ2 具有完全退化约化的概形的étale上同调在绝对Galois群作用下如何分解？
• RQ3 能否对上同调群进行滤子分解，使得每个阶化分量为有理向量空间与Tate扭量的张量积？
• RQ4 在有限非分歧基域扩张后，Galois作用在上同调滤子的阶化分量上是否为无分歧？
• RQ5 完全退化约化对概形的étale上同调施加了何种结构约束？

主要发现

• 本文定义了具有完美剩余域的p-进域上光滑射影概形的完全退化约化。
• 在有限非分歧基域扩张后，此类概形的ℓ-进étale上同调 admits 一个滤子结构，其阶化分量同构于V ⊗Q Q(r)，其中V为有限维Q-向量空间。
• Galois作用在每个阶化分量上是无分歧的，即其通过剩余域扩张而因子化。
• 向量空间V与素数ℓ无关，表明在不同ℓ-进实现中具有统一的上同调结构。
• 上同调被证明是Galois模Q(r)的逐次扩张，揭示了高度受限且具有算术本质的结构。
• 该结果为Tate关于具有潜在良好约化的阿贝尔簇的工作中观察到的行为，提供了一个在一般光滑射影概形上的上同调类比。