Related papers: Drinfeld's lemma for $F$-isocrystals, I

Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…

Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system…

We prove that an $F$-isocrystal over an abelian variety defined over a perfect field of positive characteristic has constant slopes. This recovers and extends a theorem of Tsuzuki for abelian varieties over finite fields. Our proof exploits…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a simple normal crossings divisor and fix positive integers $r$ and $f$. We show that the set of…

We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an…

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

We show that a profinite group with the same first-order theory as the direct product over all odd primes $p$ of the dihedral group of order $2p$, is necessarily isomorphic to this direct product.

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…

We investigate how the \'etale fundamental group controls local systems in characteristic $p$, namely $F$-divided sheaves. In analogy with Grothendieck-Malcev's results for discrete groups, we show that if a morphism $f \colon Y \to X$ 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…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic…

Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the…

Let $X$ be a smooth scheme over a finite field. It is conjectured that a convergent $F$-isocrystal on $X$ is overconvergent if its restriction to every curve contained in $X$ is overconvergent. Using the theory of \'etale and crystalline…

In this paper we generalize minimal $p$-divisible groups defined by Oort to $F$-crystal over an algebraically closed field of positive characteristic. We prove a structural theorem and give an explicit formula of the Frobenius endomorphism…

We formulate and prove a log-algebraicity theorem for arbitrary rank Drinfeld modules defined over the polynomial ring F_q[theta]. This generalizes results of Anderson for the rank one case. As an application we show that certain special…

Let $G$ be a connected reductive group defined and split over a non-archimedean local field $F$. We give a new geometric proof of a special case of a recent theorem of Solleveld. Namely, we show that the class of standard Iwahori-spherical…

A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…

For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect…