首页/论文/2409.07592

arXiv 2409.075922024-09math.NTmath.AG

刚性解析簇上拟凝聚层与分层的六函子形式体系

A six-functor formalism for quasi-coherent sheaves and stratifications on rigid-analytic varieties

Arun Soor

备注：: 79 pages, v2: Substantially revised. Added section on homotopical algebra in quasi-abelian categories

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文建立导出刚性空间上拟凝聚层与解析分层的六函子形式体系，并揭示解析晶体范畴与 Ardakov–Wadsley 的 D-cap-模理论之间的联系。

摘要：

我们发展了一套导出刚性空间、拟凝聚层及其上的解析“分层”理论。除其他结果外，我们为这些拟凝聚层和解析分层建立了一个六函子形式体系。我们提供了证据表明，解析晶体范畴与 Ardakov–Wadsley 引入的 D-cap-模理论相关。

英文摘要：

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide evidence that the category of analytic crystals is related to the theory of D-cap-modules introduced by Ardakov--Wadsley.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

刚性几何中Zurkiki可构造层的六个函子

The six functors for Zariski-constructible sheaves in rigid geometry

本文证明了特征零非阿基米德域上刚性解析几何中的一个一般光滑性结果。证明依赖于一个新的概念，泛点在严格的解析几何是很好地适应“展开”的论点，在类比中使用的泛点的计划理论。作为应用，我们发展了特征零刚性空间上的Zagliki可构造的étale层的六函子形式。除此之外，这意味着特征零刚性空间支持一个行为良好的反常层理论。

2021-09-22math.AGmath.NT

Fargues-Fontaine曲线上的固体拟凝聚层的6-函子形式体系

A 6-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve

本文在小v-栈上建立了带$\mathbb{Z}_p$系数的6-函子形式体系，应用于刚性解析簇的pro-étale上同调的对偶与有限性，并给出局部Langlands对应$p$-进几何化纲领的首批例子。

2026-09-10math.AGmath.NT

一个阿贝尔范畴的Motivic层

An Abelian Category of Motivic Sheaves

本文的目的是利用Nori的方法在定义在C的子域上的代数簇上构造一类motivic“层”。这个范畴是阿贝尔的，它对经典拓扑和经典拓扑的可构造层范畴具有忠实的精确实现函子。此外，有一个tannakian子范畴的motivic本地系统的实现函子到范畴的混合霍奇结构的变化。相反，后者的所有基本几何例子都来自这个动机范畴。

2012-10-09math.AGmath.NT

$\ell$ -adic层的相容系统

Compatible systems of $\ell$-adic sheaves

我们引入了一个相容性的概念，家庭$(\mathcal{F}_{\ell})_{\ell}$的有界可构造的$\ell$ -进复形的层计划。对于域上的有限型概型，这个概念由通常的六个函子保持。本文证明了族的相容性由邻近圈函子和作者最近引入的线性化$\varepsilon$ -因子保持。我们建立了相容族的特征圈和特征$\varepsilon$ -圈的$\ell$的独立性。

2021-01-04math.AGmath.NT

p-adic Cauchy定理与超收敛周期层

The p-adic Cauchy Theorem and Overconvergent Period Sheaves

National University of Singapore（新加坡国立大学）

本文建立了任意光滑刚性解析流形上p-adic Cauchy定理的几何类比，证明超收敛de Rham周期结构层的水平截面函子与Scholze的OBdR水平截面函子一致，并应用于识别D-cap-模的de Rham函子。

2026-06-11math.AGmath.NT

系数为$\mathbb{F}_p$的常数项函子

Constant term functors with $\mathbb{F}_p$-coefficients

研究了特征$p$的仿射Grassmannian上关于Levi子群的$\mathbb{F}_p$ -层的常数项函子.我们的主要结果是常数项函子在等变反常$\mathbb{F}_p$ -层范畴之间诱导出一个张量函子。我们应用这一事实，以获得信息的Tannakian幺半群的相应类别的反常层。作为副产品，我们还获得几何证明的几个结果，由于Herzig的模$p$ Satake变换和结构的空间模$p$ Satake参数。

2021-07-01math.AGmath.NTmath.RT

更多相关论文收起更多论文

刚性- Analytic Geometry中的$p$ -Adic 6-函子形式

A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry

我们发展了刚性解析几何中$p$ -扭转层的一个完整的6-函子形式。更具体地说，我们使用最近发展的凝聚数学的克劳森-Scholze关联到每个小的v-栈（例如刚性解析品种）$X$与pseudoniformizer $π$的$\infty$ -范畴$\mathcal D^a_\square(\mathcal O^+_X/π)$的“导出拟相干完全拓扑$\mathcal O^+_X/π$ -模块”$X$。然后，我们构建六个函子$\otimes$，$\underline{Hom}$，$f^*$，$f_*$，$f_!$和$f^!$在此设置，并表明他们满足所有预期的兼容性，类似于$\ell$ -adic的情况。通过引入$φ$ -模结构和证明$p$ -挠Riemann-Hilbert对应，我们将$\mathcal O^+_X/π$ -层与$\mathbb F_p$ -层联系起来.作为这种形式主义的一个特例，我们证明了刚性解析簇上$\mathbb F_p$ -上同调的Poincaré对偶。在构造$\mathcal D^a_\square(\mathcal O^+_X/π)$的过程中，我们还发展了凝聚环上凝聚模的一般下降形式。

2022-06-04math.AGmath.NT

l-adic层的显式局部乘卷积

Explicit local multiplicative convolution of l-adic sheaves

给出了局部乘卷积函子的显式表达式，它表示有限域的代数闭包上环面${\mathbb G}_m$上两个$\ell$-adic层卷积的局部单值性.

2016-05-26math.AGmath.NT

完美oid空间上固体拟凝聚层的下降

Descent for solid quasi-coherent sheaves on perfectoid spaces

本文证明了完美oid空间上固体拟凝聚层的v-下降，为构建相对Fargues--Fontaine曲线固体拟凝聚层的6-函子形式体系提供关键技术支持。

2024-12-02math.AGmath.NT

D-cap模是解析叠上的拟凝聚层

D-cap modules are quasi-coherent sheaves on an analytic stack

本文构造了从具Fréchet上同调的D-cap模复形到解析叠上拟凝聚层的∞-范畴全忠实函子，并证明了该∞-范畴在解析拓扑中的下降结果。

2025-11-11math.AGmath.NT

曲线雅可比矩阵上的$p$ -扭层

$p$-torsion étale sheaves on the Jacobian of a curve

设$X$是$\mathbb F_q$上的一条光滑的、真的、几何连通的曲线，其上有一个$\mathbb F_q$ -有理点$x_0$ .对于$x_0$上$π_1(X)$平凡的任何$\mathbb F_q^{\times}$ -特征$σ$，我们构造了一个函子$\mathbb L_n^σ$，它是从Witt环$W_n(\mathbb F_q)$上的$σ$的变形模空间上的凝聚层的导出范畴到$X$的Jacobian上的可构造$W_n(\mathbb F_q)$ -层的导出范畴.函子$\mathbb L_n^σ$对具有$p$ -挠系数的几何类场论的Artin倒易映射进行了分类.然后，我们给出了一个标准的完全忠实的（增强版）$\mathbb L_n^σ$的$X$的Hasse-Witt矩阵。

2022-04-01math.AGmath.NT

$\mathbb{P}^1$上的Faisceaux等变式与Faisceaux自同构

Faisceaux equivariants sur $\mathbb{P}^1$ et faisceaux automorphes

受[Pan21]的启发，定义并研究了一个与模曲线上的$\mathbb{P}^1$自守层上的等变层相关联的函子.

2022-02-26math.AGmath.NT

特征 p>0 下的 étale 基本群与 F-divided 层

The étale fundamental group and $F$-divided sheaves in characteristic $p>0$

本文证明特征 p 下光滑射影簇态射诱导的 étale 基本群满射或同构，可分别保证 F-divided 层拉回函子完全忠实或范畴等价，推广 Esnault–Mehta 定理。

2025-09-29math.AGmath.NT

分类栈上的$p$ -adic层和$p$ -adic Jacquet-Langlands对应

$p$-adic sheaves on classifying stacks, and the $p$-adic Jacquet-Langlands correspondence

利用Lubin-Tate塔的上同调，建立了Scholze定义的$p$ -adic Jacquet-Langlands函子的几个新性质.特别地，我们重新证明了Scholze的基本有限性定理，证明了一个对偶定理，并给出了一种偏Künneth公式。利用这些结果，我们推出了Gelfand-Kirillov维数的界，以及一些新的消失和非消失结果。我们的关键新工具是六函子形式主义与固体几乎$\mathcal{O}^+/p$ -系数最近开发的第二作者[曼22]。本文的一个主要观点是扩展[Man 22]中开发的$!$ -函子形式主义的有效域，以允许某些“堆叠”映射。在这种扩展的形式主义的语言，我们表明，如果$G$是一个$p$ -进李群，分类小v-栈$B\underline{G}$的结构图是$p$ -上同调光滑。

2022-07-08math.AGmath.NTmath.RT

Bruhat-Tits建筑上的局部解析表示和层

Locally analytic representations and sheaves on the Bruhat-Tits building

设L是Q_p的有限域扩张，G是L上可裂连通约化群的L-有理点群.我们认为G是局部L-解析群，其上有李代数g.我们定义了一个函子，它是从具有规定无穷小特征的容许局部解析G-表示到G的Bruhat-Tits构造上的一类等变层。对于光滑表示，相应的层与S构造的层密切相关。Schneider和U.施图勒函子在某种意义上也与A. Beilinson和J. Bernstein。

2012-10-01math.NTmath.RT