For every adic space $Z$ we construct a site $Z_t$, the tame site of $Z$. For a scheme $X$ over a base scheme $S$ we obtain a tame site by associating with $X/S$ an adic space $\textit{Spa}(X,S)$ and considering the tame site $\textit{Spa}(X,S)_t$. We examine the connection of the cohomology of the tame site with étale cohomology and compare its fundamental group with the conventional tame fundamental group. Finally, assuming resolution of singularities, for a regular scheme $X$ over a base scheme $S$ of characteristic $p > 0$ we prove a cohomological purity theorem for the constant sheaf $\mathbb{Z}/p\mathbb{Z}$ on $\textit{Spa}(X,S)_t$. As a corollary we obtain homotopy invariance for the tame cohomology groups of $\textit{Spa}(X,S)$.
Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,μ_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the $\Z/n$-length is equal to two. It follows that the Brauer dimension of $F$ is two (first proved in \cite{Sa97}), and any $F$-division algebra of period $n$ and index $n^2$ is decomposable.
Étale cohomology with non-invertible coefficients has some unpleasant properties, e.g., it is not A^1-homotopy invariant and for constructible coefficients the expected finiteness properties do not hold. In this paper we introduce the `tame site' which is slightly coarser than the étale site. Tame cohomology coincides with étale cohomology for invertible coefficients but is better behaved in the general case. The fundamental group of the tame site is the (curve-)tame fundamental group of Wiesend and Kerz/Schmidt. The higher tame homotopy groups hopefully have a better behaviour than the higher…
A construction of tame sheaves and tame de Rham--Witt cohomology
Institut für Mathematik, Universität Heidelberg（海德堡大学数学研究所）；School of Mathematics and Natural Sciences, University of Wuppertal（伍珀塔尔大学数学与自然科学学院）；Graduate School of Mathematical Sciences, the University of Tokyo（东京大学数理科学研究科）
本文提出了一种构造 tame sheaves 的一般方法，应用于大 de Rham--Witt sheaves 和 reciprocity sheaves，并比较了 tame syntomic cohomology 与 tame de Rham--Witt 复合物上的 Nygaard 过滤。
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the category of schemes over the residue field with the étale topology. We show furthermore that this topology allows us to give an isomorphism between the corresponding fundamental groups, and use this isomorphism to show that it is possible to geometrize the quasicharacters of a $p$-adic torus by a local system on a formal scheme over the ring of $p$-adic integers.
We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To make our constructions, we investigate the lifting of cohomology classes from the total fraction ring of the closed fiber to the function field of the curve, over an arbitrary discrete valuation ring of mixed characteristic.
In this article the étale cohomology of constructible torsion sheaves on the étale site of the algebraic resp. adic Fargues-Fontaine curve is analyzed. In the $\ell\neq p$-torsion case, two conjectures of Fargues are verified: vanishing in degrees greater than two and the comparison between the étale cohomology of the adic and the algebraic curve. In the $p$-torsion case, under a certain assumption, the vanishing of the étale cohomology in degrees greater than two of those Zariski-constructible sheaves on the adic curve that come via pullback from the algebraic curve is proven.
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-étale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-étale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another in…
We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory specializes to (and often refines) most known integral $p$-adic cohomology theories. As applications, we prove an improved version of the almost purity theorem allowing ramification along arbitrary closed subsets (without using adic spaces), give a co-ordinate free description of $q$-de Rham cohomology as conjectured by the second author, and settle a vanishin…
Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on how the geometric étale fundamental group of a smooth projective variety defined over a characteristic $p>0$ field controls crystals on the infinitesimal site and should control those on the crystalline site. v2: last results added to the report, and some typos corrected.
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log structure $\calM_{\frakX} = \calO_{\frakX}\cap\calO_X^{\times}$, we study Hodge--Tate crystals over the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$. As an application, we give an equivalence between the category of rational Hodge--Tate crystals on the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$ and the c…
We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough to see all lisse $\ell$-adic sheaves, even on non-normal schemes. To accomplish these tasks, we define and study the pro-étale topology, which is a Grothendieck topology on schemes that is closely related to the étale topology, and yet better suited for infinite constructions typically encountered in $\ell$-adic cohomology. An essential foundational result i…
Let $K$ be a complete discrete valuation field whose residue field is perfect and of positive characteristic, let $X$ be a connected, proper scheme over $\mathcal{O}_K$, and let $U$ be the complement in $X$ of a divisor with simple normal crossings. Assume that the pair $(X,U)$ is strictly semi-stable over $\mathcal{O}_K$ of relative dimension one and $K$ is of equal characteristic. We prove that, for any smooth $\ell$-adic sheaf $\mathscr{G}$ on $U$ of rank one, at most tamely ramified on the generic fiber, if the ramification of $\mathscr{G}$ is bounded by $t+$ for the logarithmic upper rami…
