Related papers: The Pro-\'Etale Topos as a Category of Pyknotic Pr…
We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z.…
In this article, we present an alternate proof of a vanishing result of \'etale cohomology on perfectoid rings due to \v{C}esnavi\v{c}ius and more recently proved by a different approach by Bhatt and Scholze. To establish that, we prove a…
We show that the hypercomplete $\infty$-topos associated with any replete topos is Postnikov complete, positively answering a question of Bhatt and Scholze; this will be deduced from the Milnor sequences for sheaves of spaces on replete…
Using the overconvergent cohomology modules introduced by Ash and Stevens, we construct eigenvarieties associated with reductive groups and establish some basic geometric properties of these spaces, building on work of Ash-Stevens, Urban,…
In this paper, we formulate and prove a derived category version of Poitou-Tate duality on Galois cohomology of compact modules (with a continuous Galois action) over a pro-p ring, where p is a prime.
This paper provides a realization of all classical and most exceptional finite groups of Lie type as Galois groups over function fields over F_q and derives explicit additive polynomials for the extensions. Our unified approach is based on…
We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the…
Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any \'etale Galois cover of X of degree prime to…
Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the \'etale…
In this manuscript, we present a partial generalization of the field patching technique initially proposed by Harbater-Hartmann to Hensel semi-global fields, i.e., function fields of curves over excellent henselian discretely valued fields.…
We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The automorphism group of this point carries a profinite topology…
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…
Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the…
We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…
We contribute to the arithmetic/topology dictionary by relating asymptotic point counts and arithmetic statistics over finite fields to homological stability and representation stability over $\Cb$ in the example of configuration spaces of…
Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the \'etale fundamental group of $X$ onto the absolute Galois group of $k$ has a…
We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of…
We introduce a class of decorated abstract graphs, that we call XC-tangles, that provides a very convenient framework to study quantum invariants of tangles and virtual tangles. These can be viewed as a far-reaching generalisation of…
It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid),…
For a quantaloid $\mathcal{Q}$, considered as a bicategory, Walters introduced categories enriched in $\mathcal{Q}$. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing…