Galois and Pro-étale Cohomology of Overconvergent de Rham Period Rings
National University of Singapore（新加坡国立大学）
受 p 进微分方程和 p 进几何表示论启发，引入 Fontaine 经典周期环的超收敛变体，计算其 Galois 上同调及相关周期层和周期结构层的上同调。
2026-06-11 math.AG math.NT
Integral Monsky-Washnitzer cohomology and the overconvergent de Rham-Witt complex
在他们的论文介绍了蒙斯基，沃什尼策尔上同调，蒙斯基和沃什尼策尔描述的条件下，定义可以适应给予积分上同调群。专家们似乎都知道，它们的构造总是给出定义明确的整上同调群，但这一事实似乎也没有在任何地方明确地写下来。本文证明了特征p的完满域上的任意非奇异仿射簇的积分Monsky-Washnitzer上同调群是定义良好的，并将这些上同调群与过收敛的de Rham-Witt上同调群进行了比较.前面已经证明，如果仿射簇相对于基域的特征维数较小，则上同调群是同构的。我们扩展这一结果表明，对于任何非奇异仿射品种，无论尺寸，我们有一个同构的积分Monsky-Washnitzer上同调和过收敛的德-拉姆-维特上同调的程度是小的相对的特点。
2013-04-27 math.AG math.NT
Rigid cohomology of locally noetherian schemes Part 2 : Crystals
本文介绍了过收敛点和过收敛点上的可构造晶体的一般概念。证明了如果$V$是定义在$\mathbb Q$上的解析空间$O$上的局部形式概形$X$的几何物化，则$X/O$上的可构造晶体范畴等价于$V$中的$X$的管$\,]X[_V$上具有过收敛联络的可构造模范畴.我们还表明，上同调的构造晶体，然后同构的德拉姆上同调的管$\,]X[_V$上实现。这是严格上同调的一个推广。最后，我们证明了关于$h$ -拓扑的可构造晶体的泛上同调下降和泛有效下降。这包括平坦和正确的下降，并推广了所有以前的下降结果在刚性上同调。
2022-09-16 math.AG
Cohomological descent on the overconvergent site
我们证明了上同调下降持有的超收敛网站上的正常或FPPF超覆盖的晶体。
2014-02-14 math.AG math.NT
Overconvergent relative de Rham cohomology over the Fargues-Fontaine curve
我们解释了如何在$\mathbf{C}_p$（或更一般的基域）上构造关于分离的拟紧光滑刚性空间范畴的上同调理论，取值于Festies-Fontaine曲线上的向量丛范畴，当刚性空间在$\mathbf{Q}_p$的有限扩张的整数环上具有半稳定的真形式模型时，它（在适当的意义上）扩展了Hyodo-Kato上同调。这个上同调理论因素通过阿尤布严格的分析动机的范畴。
2018-02-21 math.AG math.NT
p-adic Cohomology and classicality of overconvergent Hilbert modular forms
设$F$是一个全实域，其中$p$是非分歧的.证明了如果一个尖点超收敛Hilbert尖点型在$U_p$ -算子作用下具有小的斜率，则它是经典的.我们的方法遵循原始的科尔曼上同调的方法。证明的关键成分是给出一个明确的描述的特殊纤维的希尔伯特模簇的Goren-Oort分层。证明的一个副产品是表明，至少当$p$是惰性的，普通轨迹的刚性上同调具有与赫克模的Grothendieck群中的经典形式相同的图像。
2016-06-13 math.AG math.NT
Rigid analytic spaces with overconvergent structure sheaf
我们引入了一类“具有过收敛结构层的刚性空间”，我们称之为匕首空间-这是刚性分析中的de Rham上同调应该研究的正确范畴。我们比较它与（通常）范畴的刚性空间，给塞尔和庞加莱对偶定理，并解释与Berthelot的刚性上同调的关系。
2014-08-14 math.AG math.NT
The Monsky-Washnitzer and the overconvergent realizations
我们构造了混合特征的非阿基米德域上解析动机的匕首实现函子，以及正特征的离散域上代数动机的Monsky-Washnitzer实现函子.特别是，经典的étale网站上的motivic语言提供了一个新的直接定义的过收敛的德拉姆上同调和刚性上同调，并表明，他们的有限维以下正式从贝蒂上同调光滑射影复簇之一。
2017-03-03 math.AG math.NT
Cycle classes in overconvergent rigid cohomology and a semistable Lefschetz $(1,1)$ theorem
Universiteit van Amsterdam（阿姆斯特丹大学）；Imperial College London（帝国理工学院）
在这篇文章中，我们证明了一个半稳定版本的变分泰特猜想的因子在结晶上同调，说明一个合理的（对数）线丛的特殊纤维上的半稳定计划在$k [\![ t ]\!]$提升到全空间当且仅当它的第一陈类。证明是初等的，使用对数德拉姆-维特复形的标准性质。作为推论，我们推导出类似的代数提升结果的上同调类的品种在整体函数域。最后，我们给出一个反例，说明关于因子的变分Tate猜想不适用于$\mathbb{Q}_p$ -系数。
2019-02-25 math.AG math.NT
Fonctions L en géométrie rigide I: F-modules convergents ou surconvergents et conjecture de Dwork
本文是专门讨论L-函数的三篇系列文章中的第一篇。本文利用Teichmüller提升定义了收敛或过收敛F-模的L-函数，并建立了闭单位圆盘上收敛F-模的L-函数的亚纯性。Wan在一系列的三篇文章中建立了Dwork猜想，由于Katz的等距定理，他的证明被简化为普通的情形：这里我们在与椭圆曲线族有关的两个显式例子上证明了普通过收敛F-模上的斜率滤子不提升为过收敛滤子.作为一个副产品，我们证明了单位根的次F-同晶的de Rham上同调的勒让德家庭的正常椭圆曲线是不是过收敛的Berthelot的意义。在第二篇文章中，我们将用上同调的方法给出F-（iso）晶体的L-函数的定义，并说明它与本文给出的定义是如何匹配的：它回复了Katz或Etesse在晶体上同调中所使用的定义，或回复了Etesse-Le Stum在刚性上同调中所使用的定义，或回复了Wan所使用的定义;目的是利用刚性上同调证明Katz猜想关于这些L-函数的p-adic单位根和极点.在第三篇文章中，我们给出了这些结果的一个显式形式。
2010-12-16 math.AG
Local acyclicity in $p$-adic cohomology
University of Warwick（华威大学）
我们证明了关于曲线局部无环性的Deligne-Laumon定理的$p$ -adic系数的一个类似。也就是说，对于一个过收敛的$F$ -等晶$E$的相对曲线$f:U\rightarrow S$承认一个良好的紧化，我们表明，上同调层的$\mathbf{R}f_!E$是过收敛等晶当且仅当$E$有常数天鹅导体在无穷远。
2021-06-28 math.AG math.NT
Semistable Reduction Theorem for Overconvergent $F$-isocrystals over Laurent Series Fields
本文证明了在劳伦茨级数域上，针对拉兹达和帕尔引入的过收敛F-等晶体的半稳定约简定理，并应用该结果证明了带有紧支撑的$\mathcal{E}^†_K$-valued刚性上同调的有限维性。
2026-11-06 math.AG math.NT
Relative log convergent cohomology and relative rigid cohomology III
本文利用Kedlaya最近提出的关于过收敛$F$ -等晶的半稳定约化猜想，证明了相对刚性上同调的泛超收敛性.
2008-05-21 math.AG math.NT
On locally analytic vectors of the completed cohomology of modular curves
研究了模曲线的完全上同调中的局部解析向量，确定了$\mathfrak{gl}_2(\mathbb{Q}_p)$的有理Borel子代数的特征向量.作为应用，我们证明了权为1的超收敛特征形的一个经典结果，并在一些较弱的假设下给出了非正则情形下Fontaine-Mazur猜想的一个新证明。对于权$k$的过收敛特征形，证明了其对应伽罗瓦表示具有Hodge-Tate-Sen权$0,k-1$，并证明了一个逆结果.
2021-07-08 math.AG math.NT math.RT
Finiteness of de Rham cohomology in rigid analysis
对于一类大的光滑dagger空间-- dagger空间是“具有过收敛结构层的刚性空间”--证明了de Rham上同调的有限维性。这足以得到有限的Berthelot的刚性上同调也在非光滑的情况下。我们需要仔细研究半稳定约化情况下的de Rham上同调。
2014-08-14 math.AG math.NT
Rigidification of arithmetic $\mathscr{D}$-modules and an overconvergent Riemann-Hilbert correspondence
本文在正特征域上构造可构造等晶体的三角范畴，建立其与过完整$\mathscr{D}^\dagger$-模的黎曼-希尔伯特等价，并证明刚性上同调与算术$\mathscr{D}$-模上同调一致。
2023-04-14 math.AG math.NT
Cohomologie syntomique: liens avec les cohomologies étale et rigide
本文定义的联上同调将刚性上同调与标准上同调联系起来，将后者看作前者在Frobenius下的不动点.设V是一个完备的离散赋值环，具有特征p > 0的完美剩余域k = V/m和特征0的分式域K.在定义了k-概型X上交换层G的具有紧支撑的同分上同调后，证明了当G是lisse层时，它与具有紧支撑的etale上同调是一致的.若G的收敛F-同晶来自于过收敛同晶E，则E的刚性上同调表示为同分上同调的极限：G的紧支集上同调是Frobenius作用于E的刚性上同调的不动点.
2009-10-23 math.AG
Finiteness of rigid cohomology with coefficients
证明了对特征p>0的任意域k，k上的任意有限型分离概型X，X上的任意过收敛F-同晶E，刚性上同调H^i（X，E）和具有紧支撑的刚性上同调H^i_c（X，E）是有限维向量空间.我们还建立了Poincare对偶和带系数的Kunneth公式。参数使用相对维度1的推进结构，基于Crew关于某些p-adic微分方程的准唯一性的猜想的相对版本。
2005-11-03 math.AG math.NT
A comparison between compactly supported rigid and $\pmb{\mathscr{D}}$-module cohomology
本文的目的是证明刚性上同调与算术$\mathscr{D}$ -模理论计算的上同调之间的一个比较定理。要做到这一点，我们构建一个专门的函子从乐Stum的类别的可构造的isocrystals导出范畴的算术$\mathscr{D}$ -模块。对于“Frobenius型”的对象，我们表明，这个函子的基本图像由超完整的$\mathscr{D}^\dagger$ -模块，并位于心脏的对偶构造的t-结构。我们用它来给一个更全球性的建设卡罗的专业化函子$\mathrm{sp}_+$的过收敛isocrystals，这使我们能够证明比较定理紧支持上同调。
2022-08-22 math.AG math.NT
The adic tame site
对于每一个进空间$Z$，我们构造了一个站点$Z_t$，即$Z$的驯服站点。对于基方案$S$上的方案$X$，通过将$X/S$与adic空间$\textit{Spa}(X,S)$相关联并考虑驯服位点$\textit{Spa}(X,S)_t$，得到驯服位点.我们研究了tame网站的上同调与étale上同调的联系，并将其基本群与传统的tame基本群进行了比较。最后，假设奇点的分解，对于特征$p > 0$的基格式$S$上的正则格式$X$，我们证明了$\textit{Spa}(X,S)_t$上的常数层$\mathbb{Z}/p\mathbb{Z}$的上同调纯度定理。作为推论，我们得到了$\textit{Spa}(X,S)$的驯服上同调群的同伦不变性。
2021-05-31 math.AG
Frobenius and monodromy operators in rigid analysis, and Drinfel'd's symmetric space
在混合特征的完备离散赋值环$K$上，定义了严格半稳定约化$Y$的$K$ -dagger空间（具有过收敛结构层的刚性空间）的de Rham上同调上的Frobenius算子和monodromy算子.为此，我们引入日志刚性上同调和推广的所谓的Hyodo-Kato同构的版本为非适当的$Y$，非完美的剩余域，非整数定义的系数，并为各阶层的$Y$。我们应用这个定义和研究Drinfel'd的对称空间$X$的de Rham上同调的晶体结构元素及其子空间。我们的结果被用于最近的证明的monodromy-weight猜想的$X$的子de Shalit。
2014-08-14 math.AG math.NT
The de Rham-Fargues-Fontaine cohomology
本研究为完美胚空间上的刚性解析簇函子性地构造Fargues-Fontaine曲线上的刚性解析动机，结合超收敛相对德拉姆上同调得到固体拟凝聚层复形，证明其同调群为向量丛，推广了Scholze的猜想。
2023-10-10 math.AG math.KT math.NT
Cohomology with values in a sheaf of crossed groups over a site
这是雷蒙德·德布雷马克1976年荷兰语论文《Cohomologie met waarden in een gekruiste groepenschoof op een situs》的英文翻译（Katholieke Universiteit te Leuven）。我感谢大学图书管理员寄给我这篇文章的副本，也感谢Debremaeker教授允许我在这个服务器上发布他的论文的翻译。这项翻译工作得到了智利基金会1120003和1160004号赠款的支持。
2017-02-07 math.AG math.NT
The Monsky--Washnitzer topos
模仿奥格斯的建设，我们定义了一个网站，在一个字符领域的品种。p > 0，使用Monsky-Washnitzer代数/弱形式概形.我们证明了一个比较定理之间的MW上同调和一定的解析上同调。
2019-04-19 math.AG
The tame site of a scheme
具有不可逆系数的平展上同调具有一些令人不快的性质，例如，它不是A^1-同伦不变量，并且对于可构造系数，预期的有限性性质不成立。在本文中，我们介绍了'驯服网站'，这是略粗于étale网站。对于可逆系数，Tame上同调与平展上同调一致，但在一般情况下表现得更好。驯服位的基本群是Wiesend和Kerz/Schmidt的（曲线）驯服基本群。高阶驯服的同伦群比高阶驯服的同伦群有更好的性质，根据Achinger的一个结果，高阶驯服的同伦群对于正特征的仿射格式为零。
2020-07-31 math.AG math.NT
Fibred sites and stack cohomology
通常的在栈上定义一个结点的概念被扩展为在范畴A的预层上定义一个结点C/A。在范畴A的一个预层上的单形集的预层是定义在A上的取单形集值的反变增广图。单纯集预层的标准模型结构导致了丰富的逆变A图的粗等变结构。如果范畴的预层是群胚G的预层，则伴随同伦理论与BG上单纯预层的同伦理论是Quillen等价的，因此，复域C/G的同伦理论是G的同伦型的不变量。对C/G上的谱的预层和对称谱的预层也得到了相似的同伦不变性结果。特别地，堆叠上同调可以在群胚的一个代表性的预层上计算。
2004-06-23 math.AG math.AT math.KT
Weil-etale cohomology over finite fields
我们计算了从Lichtenbaum引入的Weil-etale站点到有限域上簇的etale站点的映射的全导出函子。特别是，有一个长的确切序列有关Weil-etale上同调和etale上同调。在本文的后半部分，我们应用这一点来研究光滑簇和射影簇的motivic复形的Weil-etale上同调。这些群体预计将被生成，给一个积分模型的l-adic上同调，并与特殊值的zeta函数。我们给充要条件，这举行，和例子。
2004-04-23 math.AG math.NT
Central extensions and the classifying spaces of projective linear groups
若$G$是小格点上群胚的预层，且$A$是交换群的层，则证明了层上同调群$H^2 (BG, A)$与$G$的中心扩张集由$A$构成双射.我们使用这个结果来研究的动机上同调的Nisnevich分类空间$BG$，当$G$是一个预层上的光滑Nisnevich网站在一个字段，特别是当$G = PGL_{n}$。最后，我们表明，当$p$是一个奇素数，周环的分类空间的$PGL_{p}$注入到motivic上同调的Nisnevich分类空间$BPGL_{p}$，在任何领域的特征零包含一个原始的$p^{th}$根的单位。
2018-11-11 math.AG
Etale and crystalline companions, I
University of California San Diego（加州大学圣地亚哥分校）
本文研究了在有限域上光滑概形的晶体质与étale上同调之间的伴侣关系，证明了晶体质系数对象具有étale伴侣，并探讨了相关辅助结果。
2022-12-01 math.AG math.NT
Prisms and Prismatic Cohomology
我们引入棱镜的概念，这可以被视为一个完美的环的概念的“缺陷”。使用棱镜，我们附加一个环形网站-棱镜网站-一个$p$ -adic形式概形。由此产生的上同调理论专门（并经常细化）最知名的积分$p$ -进上同调理论。作为应用，我们证明了几乎纯性定理的一个改进版本，它允许沿着任意闭子集（不使用adic空间）分支，给出了第二作者所提出的$q$ -de Rham上同调的一个坐标自由描述，并解决了在以前与Morrow的联合工作中引入的$p$ -adic Tate twists $\mathbf{Z}_p(n)$的一个消失猜想.
2022-01-12 math.AG math.NT
Calcul effectif de la cohomologie des faisceaux constructibles sur le site étale d'une courbe
本文研究了代数闭域上簇的顶点上交换群的可构造层的算法表示及其上同调的显式计算。我们描述了三种表示的曲线上的层在最坏的节点奇点，以及算法执行各种操作（内核和上核的态射，拉回和向前推，内部霍姆和张量积）对这些层。我们提出了一个算法计算上同调复杂的局部常数构造层的光滑或节点曲线，这反过来又使我们能够给出一个明确的描述函子$\mathrm{R}Γ(X,-)\colon \mathrm{D}^b_c(X,\mathbb{Z}/n\mathbb{Z})\to \mathrm{D}^b_c(\mathbb{Z}/n\mathbb{Z})$。这种描述在方案$X$和给定的可构造层复形中是函子的。特别是，如果$X$和层$\mathcal{F}$是从一个子域的基础变化得到的，我们描述的伽罗瓦行动的复杂$\mathrm{R}Γ(X,\mathcal{F})$。我们给精确的界限上的运算次数的算法计算$\mathrm{R}Γ(X,\mathcal{F})$。我们还给出了光滑射影曲线上局部常数可构造层的上同调中的杯积的一个显式描述。最后，我们展示了如何使用这些算法，以计算的常数层上的光滑表面纤维的投影线的上同调群。
2022-11-28 math.AG math.NT
A Uniform Construction of Cohomology Theories of Varieties via Fundamental Groupoids
Seoul National University（首尔大学）
本文提出了一种基于pro-代数基本群oid的代数上同调理论，通过替代传统上同调映射，为不同上同调理论提供统一基础。
2026-07-24 math.AG math.NT
Twisting the Infinitesimal Site
University of Wisconsin-Madison（威斯康星大学麦迪逊分校）
该研究分类了素特征p下光滑簇上Grothendieck微分算子的扭曲，证明其同构类与对应2次1权syntomic上同调一一对应，还探讨了晶体与Grothendieck微分算子扭曲的关系及混合特征下的扭曲。
2024-08-23 math.AG math.RT
Extensions of Picard 2-Stacks and the cohomology groups Ext^i of length 3 complexes
本文的目的是定义和研究场地S上Picard 2-stacks的3-扩张范畴，并给出交换层长为3的复形的上同调群Ext^i的几何描述.更精确地说，我们的主要定理证明了（1）Picard 2-stacks的3-范畴扩张的对象的等价类，1-箭头，2-箭头和3-箭头通过上同调群Ext^i的参数化，和（2）通过Picard 2-stacks的扩张的交换层的长度为3的复的上同调群Ext^i的几何描述。为此，我们利用Picard 2-stacks的3-范畴与第二作者在arXiv：0906.2393中引入的S上交换层的长度为3的复形的三范畴T^[-2，0]（S）之间的三等价，并在这个三范畴T^[-2，0]（S）中定义扩张的概念，得到Picard 2-stacks的扩张的3-范畴的一个纯代数模拟.我们用来定义三范畴T^[-2，0]（S）中的扩张的分数微积分在我们的主要定理的证明中起着核心作用。
2013-04-24 math.AG math.CT
Crystalline prisms: Reflections and diffractions, present and past
本文研究了棱柱位形上的晶体与 $p$-连接，提出了一种几何构造方法，用于描述棱柱 Sen 运算符，并给出了对 $p$-de Rham 复合体的 $α$-变换作用的清晰描述。
2026-03-10 math.AG
