Related papers: Finiteness of logarithmic crystalline representati…
We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…
We relate various approaches to coefficient systems in relative integral $p$-adic Hodge theory, working in the geometric context over the ring of integers of a perfectoid field. These include small generalised representations over…
In this paper, we associate to every $p$-adic representation $V$ a $p$-adic differential equation $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, that is to say a module with a connection over the Robba ring. We do this via the theory of…
Let $p$ be a prime, and let $\mathrm{X}$ be a smooth $p$-adic formal scheme over $\mathrm{Spf} \mathcal{O}_K$ where $K/\mathbf{Q}_p$ is a finite extension. We show that reflexive sheaves on the stack $\mathrm{X}^{\mathrm{Syn}}$ are…
For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…
We study the algebraic exceptional set for surfaces (S,B) of log general type, when B has at least three irreducible components; we prove that in most cases it is finite or empty.
We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of…
Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we…
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…
We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…
Crystabelline representations are representations of the absolute Galois group $G_{\mathbb{Q}_p}$ over $\mathbb{Q}_p$ that become crystalline on $G_{F}$ for some abelian extension $F/\mathbb{Q}_p$. Their relation to modular forms is that…
Let $F$ be a non-Archimedean local field with the residual characteristic $p$. We construct a "good" number of smooth irreducible $\bar{\mathbf{F}}_p$-representations of $GL_2(F)$, which are supersingular in the sense of Barthel and…
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…
We show the finiteness of log pluricanonical representations under the assumption of the existence of a good minimal model.
We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is…
We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…
Let K be a field not of characteristic 2 such that every finite separable extension of K is cyclic. Let A be an abelian variety over K. If K is infinite, then A(K) is Zariski-dense in A. If K is not locally finite, the rank of A over K is…
We provide an answer to two questions of Fontaine (in the unramified case). First, we show that a limit of crystalline representations, of bounded Hodge-Tate weights, is itself crystalline. Second, we show that every admissible filtered…
Let $K$ be an absolutely unramified $p$-adic field. We establish a ramification bound, depending only on the given prime $p$ and an integer $i$, for mod $p$ Galois representations associated with Wach modules of height at most $i$. Using an…
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…