相关论文: Specialization maps for Scholze's category of diam…

We prove the Scholze--Weinstein conjecture on the existence and uniqueness of local models for local Shimura varieties, as well as the test function conjecture of Haines--Kottwitz in this framework. To this end, we establish a…

We define a specialization map between cohomology algebras of quiver Grassmannians of Dynkin type and we prove that it is surjective in type A. This generalizes a result of Lanini and Strickland.

The main purpose of this article is to show that the special Newton polygon map from the stack of p-adic shtukas to the stack of G-bundles on the Fargues--Fontaine curve is representable in diamonds and sufficiently nice for cohomological…

For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ \pi^{\rm dJ}_1(\mathfrak{X}_\eta) \to \pi^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental…

Motivated by problems on the \'etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the \'etale…

We use Scholze's framework of diamonds to gain new insights in correspondences between $p$-adic vector bundles and local systems. Such correspondences arise in the context of $p$-adic Simpson theory in the case of vanishing Higgs fields. In…

For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…

We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the \'etale fundamental groups in the…

Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…

We identify Drinfeld's formal group on the prismatization of $\mathrm{Spf}\,\mathbb{Z}_p$ with a formal group arising from homotopy theory, given locally by the Quillen formal group of a decompleted variant of topological periodic cyclic…

The paper has two parts. First we prove that the specialization maps on R-equivalence and on the Chow group of zero cycles are isomorphisms for families over a local, Henselian, Dedekind ring when the special fiber is smooth and separably…

This article extends Scholze's six functor formalism for diamonds to a very general class of stacky morphisms between v-stacks, using $\infty$-categorical techniques developed by Liu-Zheng.

Seidel-Smith and Manolescu constructed knot homology theories using symplectic fibrations whose total spaces were certain varieties of matrices. These knot homology theories were associated to $SL(n) $ and tensor products of the standard…

We show that superreflexivity can be characterized in terms of bilipschitz embeddability of word hyperbolic groups. We compare characterizations of superreflexivity in terms of diamond graphs and binary trees. We show that there exist…

We give a construction of "integral local Shimura varieties" which are formal schemes that generalize the well-known integral models of the Drinfeld $p$-adic upper half spaces. The construction applies to all classical groups, at least for…

For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

Let $k$ be a field of characteristic zero. Fix a smooth algebraic curve $X$ and a split reductive group $G$ over $k$. We show that the Beilinson--Drinfeld affine Grassmannian $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is the presheaf colimit of the…

Let $\mathcal{G}$ be a parahoric Bruhat-Tits group schemes arising from a $\Gamma$-curve $C$ and a certain $\Gamma$-action on a simple algebraic group $G$ for some finite cyclic group $\Gamma$. We prove the flatness of Beilinson-Drinfeld…

Inspired by the recent works of M. Kontsevich--Y. Tschinkel and J. Nicaise--J. C. Ottem on specialization of birational types for smooth families (in the scheme category) and J. Koll{\'a}r's work on fiberwise bimeromorphism, we focus on…