Related papers: The adic tame site

\'Etale 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…

For a curve $C$ over a perfect field $k$ of characteristic $p > 0$ we study the tame cohomology of $X = \textit{Spa}(C,k)$ introduced in arXiv:1801.04776. We prove that the tame cohomology groups of $X$ with $p$-torsion coefficients satisfy…

The \'etale homotopy groups of schemes as defined by Artin and Mazur have the disadvantage of being homotopy invariant only in characteristic zero. This and other related problems led to the definition of the tame topology which is coarser…

In this article, we consider an algebraic version of the tame site of a pair $(X,\widetilde{X})$. With this definition, we provide a general machinery to construct a tame sheaf from the data of an \'etale sheaf on $X$ and a family of local…

We consider a proper morphism $X \to S$ and a locally closed immersion $S' \to S$ of discretely ringed adic spaces and prove proper base change for the tame topology in this setting. More precisely, we show that for an abelian $p$-torsion…

We extend the notion of a tame covering of a pair (X,D) where X is a regular scheme and D is a normal crossing divisor (cf. SGA1), to pairs (X,Y) where X is an arbitrary scheme and Y is a closed subset in X. We show that the abelianized…

Recently, H\"ubner-Schmidt defined the tame site of a scheme. We define $p$-adic tame Tate twists in the tame topology and prove some first properties. We establish a framework analogous to the Beilinson-Lichtenbaum conjectures in the tame…

For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…

Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

We develop a theory of tame vanishing cycles for schemes over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$ in the context of \'etale sheaves. We show some desired properties of this formalism, among which: a compatibility with tame vanishing…

We prove an A'Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field $K$. As a first application, we relate the orders of the tame monodromy eigenvalues on the $\ell$-adic…

We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are…

Schmidt and Spie{\ss} described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology…

We prove the existence of strongly tame sets in affine algebraic homogenenous spaces of linear algebraic Lie groups. We also show that $(\mathbb{C}^n,A)$ for a discrete tame set enjoy the relative density property, and we provide examples…

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant \'etale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient…