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

Atsushi Shiho|ArXiv.org|Jul 12, 2007

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文使用相对对数渐近上同调（半径λ）与上单纯形技巧，证明了在混合特征下，对正规光滑族的相对刚性上同调的过收敛性，即Berthelot猜想的一个版本。它在不假设底基光滑的条件下，于特定条件下（包括当底基为正特征完美域上的光滑情形）建立了底基上第q个刚性上同调过收敛F-等构层的存在性与唯一性。

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology of radius $λ$ ($0 < λ\leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this cohomology with relative log crystalline cohomology, relative rigid cohomology and its variants and by using some technique of hypercovering, we prove a version of Berthelot's conjecture on the overconvergence of relative rigid cohomology for proper smooth families.

研究动机与目标

• 证明混合特征下，对正规光滑族的相对刚性上同调的过收敛性，即Berthelot猜想的一个版本。
• 在底基上建立第q个刚性上同调过收敛F-等构层的存在性与唯一性。
• 推广相对对数渐近上同调（半径λ）的理论，并将其与相对刚性上同调及晶体上同调联系起来。
• 使用上单纯形技巧与变换方法，将问题约化为底基光滑或态射具有良好对数结构的情形。
• 将结果扩展至当底基为完备离散赋值环的正式谱时，具有Frobenius结构的情形。

提出的方法

• 将相对对数渐近上同调（半径λ）发展为先前理论的推广。
• 通过上单纯形系统，将此上同调与相对对数晶体上同调及刚性上同调进行比较。
• 应用上单纯形技巧，将问题约化为底基光滑或态射具有良好对数结构的情形。
• 利用光滑概形上过收敛F-等构层的限制函子的忠实性，证明范畴的等价性。
• 运用变换理论与形式概形理论处理奇点，并约化至光滑情形。
• 通过上单纯形下降法，利用局部数据粘合构造底基上的过收敛F-等构层，确保其函子性与唯一性。

实验结果

研究问题

• RQ1 在正规光滑态射下，过收敛F-等构层的高阶直接像是否在底基上自然地赋予过收敛F-等构层结构？
• RQ2 当底基概形上无Frobenius提升时，Berthelot关于过收敛性的猜想是否仍可证明？
• RQ3 第q个刚性上同调过收敛F-等构层是否可通过上单纯形方法，由其在某些三元组上的限制唯一确定？
• RQ4 当底基为完备离散赋值环的正式谱时，该结果是否可推广至具有Frobenius结构的情形？
• RQ5 Tsuzuki的忠实性猜想是否在不假设底基光滑的条件下，蕴含过收敛性结果？

主要发现

• 定理0.3在底基为正特征完美域上的光滑情形下，无需Frobenius提升，建立了第q个刚性上同调过收敛等构层在底基上的存在性与唯一性。
• 定理0.4在额外假设底基上存在Frobenius提升的条件下，证明了相同结果，将结果推广至F-等构层情形。
• 定理5.2表明，若态射具有良好的对数结构且系数局部自由，则在不假设底基光滑的条件下，猜想成立。
• 定理7.4在收缩底基后，将结果推广至非光滑态射情形，同样无需底基光滑性假设。
• 定理7.8在假设Tsuzuki忠实性猜想成立的条件下，证明了在不假设底基光滑时的结果。
• 定理7.10证明了当底基为完备离散赋值环的正式谱且系数具有Frobenius结构时，第q个刚性上同调过收敛F-等构层上存在自然的Frobenius结构。