Related papers: Exodromy
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
Let $\{\rho_{\ell}:\mathrm{Gal}_K\to\mathrm{GL}_n(\mathbb{Q}_{\ell})\}_{\ell}$ be a semisimple compatible system of $\ell$-adic representations of a number field $K$ that is arising from geometry. Let…
Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…
Let $\phi$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $\phi$ is equal to A. Then we…
Suppose $X$ is a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Let $G$ be a finite group acting faithfully on $X$ over $k$ such that $G$ has non-trivial, cyclic Sylow…
The paper follows two interconnected directions. 1. Let $G$ be a Roelcke precompact closed subgroup of the group $\Sym(\omega)$ of permutations of the natural numbers. Then $\Inn(G)$ is closed in $\Aut(G)$, where $\Aut(G)$ carries the…
We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…
Let $X$ be a geometrically irreducible smooth projective curve defined over a field $k$. Assume that $X$ has a $k$-rational point; fix a $k$-rational point $x\in X$. From these data we construct an affine group scheme ${\mathcal G}_X$…
In this article, we study the properties of profinite geometric iterated monodromy groups associated to polynomials. Such groups can be seen as generic representations of absolute Galois groups of number fields into the automorphism group…
We construct Grothendieck pairs witnessing that the following are not profinite invariants: stable commutator length, quasimorphisms (answering a question of Echtler and Kammeyer), property NL (which obstructs actions on hyperbolic spaces),…
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…
Let $P(T,X)$ be an irreducible polynomial in two variables with rational coefficients. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $t$ the specialized polynomial $P(t,X)$ is irreducible and has the same…
Let F be a field, let G be its absolute Galois group, and let R(G, k) be the representation ring of G over a suitable field k. In this preprint we construct a ring homomorphism from the mod 2 Milnor K-theory k_*(F) to the graded ring gr…
Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…
Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a…
For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…
Let ${\mathfrak{X}}$ be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Denote by ${\mathrm{k}}_{\mathfrak{X}}(G)$ the number of conjugacy classes ${\mathfrak{X}}$-maximal subgroups of a finite…
In this paper we obtain new quantitative forms of Hilbert's Irreducibility Theorem. In particular, we show that if $f(X, T_1, \ldots, T_s)$ is an irreducible polynomial with integer coefficients, having Galois group $G$ over the function…
Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism…