Related papers: The adic tame site

Let A be an abelian variety over C such that the semisimple part of the Hodge group of A is a product of copies of SU(p,1) for some p>1. We show that any effective Tate twist of a Hodge structure occurring in the cohomology of A is…

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…

We study locally compact group topologies on semisimple Lie groups. We show that the Lie group topology on such a group $S$ is very rigid: every 'abstract' isomorphism between $S$ and a locally compact and $\sigma$-compact group $\Gamma$ is…

We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…

We prove that the Hodge-de Rham spectral sequence for smooth proper tame Artin stacks in characteristic p (as defined by Abramovich, Olsson, and Vistoli) which lift mod p^2 degenerates. We push the result to the coarse spaces of such…

If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some…

In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.

Let $G$ be a simple algebraic group over an algebraically closed field $k$. Let $\Gamma$ be a finite group acting on $G$. We classify and compute the local types of $(\Gamma, G)$-bundles on a smooth projective $\Gamma$-curve in terms of the…

Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category…

We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in…

We introduce smooth L^\infty differential forms on a singular (semialgebraic) set X in R^n. Roughly speaking, a smooth L^\infty differential form is a certain class of equivalence of 'stratified forms', that is, a collection of smooth forms…

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…

Let $X$ be a monoid scheme. We will show that the stalk at any point of $X$ defines a point of the topos $\Qc(X)$ of quasi-coherent sheaves over $X$. As it turns out, every topos point of $\Qc(X)$ is of this form if $X$ satisfies some…

Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…

Smooth structures on high dimensional manifolds are classified by maps to the infinite loop space $TOP/O$. The homotopy groups of this space are known to be finite. Given a compact Lie group $G$, this space can be regarded as an equivariant…

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…