[论文解读] On the coherence conjecture of Pappas and Rapoport

Xinwen Zhu|arXiv (Cornell University)|Dec 29, 2010

Advanced Algebra and Geometry参考文献 38被引用 6

一句话总结

本文利用全局施伯特簇和弗罗贝尼乌斯分裂技术，证明了帕帕斯与拉波波特关于分歧酉群局部模型的广义一致性猜想。关键结果确立了这些局部模型特殊纤维的平坦性与约化性，解决了具有帕拉霍里水平结构的希米亚瓦族算术几何中的核心问题。

ABSTRACT

We prove the (generalized) coherence conjecture of Pappas and Rapoport. As a corollary, one theorem of Pappas an Rapoport, which describes the geometry of the special fibers of the local models for ramified unitary groups, holds unconditionally. Our proof is based on the study of the geometry (in particular certain line bundles and $\ell$-adic sheaves) of the global Schubert varieties, which are the (generalized) equal characteristic counterparts of the local models.

研究动机与目标

• 为解决帕帕斯与拉波波特的一致性猜想，该猜想控制了分歧酉群局部模型特殊纤维的几何结构。
• 在不依赖模解释的前提下，提供局部模型特殊纤维的几何刻画，特别是其维数与约化性。
• 通过无条件证明一致性猜想，确立修正后局部模型的平坦性。
• 将局部模型的理解从无分歧情形扩展至更广泛情形，特别是在帕拉霍里水平结构与p进希米亚瓦族的背景下。
• 通过一致性猜想所编码的同调准则，弥合朴素模型（通常不平坦）与正确平坦模型之间的鸿沟。

提出的方法

• 在离散赋值环上构造全局施伯特簇，作为局部模型的等特征类比。
• 研究全局施伯特簇上的线丛与ℓ进层，以分析其上同调性质。
• 应用弗罗贝尼乌斯分裂技术，证明某些线丛的高阶上同调消失，从而将一致性猜想约化为一个几何性质。
• 利用瓦基莫托滤子与邻近上同调函子，建立全局施伯特簇与局部模型上同调之间的联系。
• 采用到法丛的形变与中心层理论，分析基变换与弗罗贝尼乌斯映射下层的性质。
• 利用相对弗罗贝尼乌斯映射与格罗滕迪克对偶性，建立对偶层与上同调函子之间的同构，这对猜想的证明至关重要。

实验结果

研究问题

• RQ1 决定局部模型特殊纤维是否约化且平坦的精确同调准则是什么？
• RQ2 作为局部模型的等特征对应物，全局施伯特簇如何反映特殊纤维的几何结构？
• RQ3 在多大程度上可利用弗罗贝尼乌斯分裂与邻近上同调技术证明一致性猜想？
• RQ4 修正后的分歧酉群局部模型的特殊纤维能否被描述为具有受控上同调的施伯特簇的并集？
• RQ5 伊瓦霍里-韦伊尔群与帕拉霍里子群在决定局部模型特殊纤维结构中起什么作用？

主要发现

• 帕帕斯与拉波波特的广义一致性猜想得到完全证明，表明在施伯特簇并集上某些充分线丛的全局截面空间满足精确的维数公式。
• 无条件地证明了分歧酉群局部模型的特殊纤维在p进域整数环上是约化且平坦的。
• 证明表明，与给定余权µ相关的全局施伯特簇是弗罗贝尼乌斯分裂的，这意味着高阶上同调消失，且全局截面具有一致性。
• 对全局施伯特簇应用邻近上同调函子，可恢复局部模型特殊纤维的上同调，从而在全局与局部几何之间建立了直接联系。
• 相对弗罗贝尼乌斯映射及其与对偶层的相互作用被证明可与基变换交换，这是证明中的关键技术工具。
• 在相对情形下建立了对偶层与(1−p)次弗罗贝尼乌斯提升的典范层之间的同构，使得格罗滕迪克对偶性可在族中应用。