[论文解读] Relative log convergent cohomology and relative rigid cohomology I

Atsushi Shiho|ArXiv.org|Jul 12, 2007

Algebraic Geometry and Number Theory参考文献 31被引用 32

一句话总结

本文建立了相对对数可去收敛上同调与相对对数晶体上同调之间的比较，证明了在特定情形下的有限性与对数收敛性。此外，本文将相对对数可去收敛上同调与相对刚性上同调联系起来，从而验证了贝尔托特定理中关于有限性与上收敛性的版本，适用于存在良好对数光滑紧化的光滑族且对数系数可延拓的情形。

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative log crystalline cohomology, and we relates relative log convergent cohomology to relative rigid cohomology to show the validity of Berthelot's conjecture on the coherence and the overconvergence of relative rigid cohomology for proper smooth families when they admit nice proper log smooth compactification to which the coefficient extends logarithmically.

研究动机与目标

• 发展具有边界对数结构的光滑族的相对对数可去收敛上同调理论。
• 通过与相对对数晶体上同调的比较，证明相对对数可去收敛上同调的有限性与对数收敛性。
• 将相对对数可去收敛上同调与相对刚性上同调联系起来，从而验证贝尔托特定理的一个版本。
• 通过消除限制性的“Zariski型”假设，推广并简化现有对数可去收敛上同调的结果。
• 纠正先前工作中的错误，并将有限性与基变换定理推广至具有对数光滑参数的相对情形。

提出的方法

• 为对数概形之间的态射定义相对对数可去收敛上同调，重点关注对数光滑与整性态射。
• 证明相对对数可去收敛庞加莱引理，以确立该上同调理论的基础性质。
• 为对数光滑态射建立相对对数可去收敛上同调与相对对数晶体上同调之间的比较同构。
• 利用比较定理，在存在“对数光滑参数”的条件下，推导出相对对数可去收敛上同调的有限性与对数收敛性。
• 通过基变换与解析平坦下降技术，建立相对对数可去收敛上同调与相对刚性上同调之间的联系。
• 应用解析平坦基变换定理，并将情形约化至完美剩余域，以简化弗罗贝尼乌斯相容性与同构性的证明。

实验结果

研究问题

• RQ1 在何种条件下，相对对数可去收敛上同调是有限的且对数收敛的？
• RQ2 在光滑族的背景下，相对对数可去收敛上同调如何与相对刚性上同调相关联？
• RQ3 当存在一个具有良好性质的对数光滑紧化，且系数可对数延拓时，该条件在多大程度上蕴含刚性上同调的上收敛性？
• RQ4 是否可以在不提升至形式概形的情形下，建立相对刚性上同调的有限性与上收敛性？
• RQ5 边界上的对数结构在确保相对上同调理论中有限性与上收敛性方面起什么作用？

主要发现

• 对于存在对数光滑参数的光滑整性态射，相对对数可去收敛上同调是有限的且对数收敛的。
• 为对数光滑态射建立了相对对数可去收敛上同调与相对对数晶体上同调之间的比较同构。
• 当族存在一个良好的对数光滑紧化，且系数可对数延拓时，相对刚性上同调的有限性与上收敛性得以推导。
• 通过基变换与晶体上同调中 $F$-跨度理论，证明了上同调同构的弗罗贝尼乌斯相容性。
• 证明过程约化至完美剩余域的情形，并利用解析平坦基变换定理简化了论证。
• 该结果在指定的紧化条件下，验证了贝尔托特定理中关于相对刚性上同调有限性与上收敛性的版本。