Related papers: Crystalline boundedness principle

We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally…

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…

Let $k$ be an algebraically closed field of characteristic $p > 3$ and $S$ be a smooth projective surface over $k$ with $k$-rational point $x$. For $n \geq 2$, let $S^{[n]}$ denote the Hilbert scheme of $n$ points on $S$. In this note, we…

For a Shimura variety of Hodge type with hyperspecial level at a prime $p$, the Newton stratification on its special fiber at $p$ is a stratification defined in terms of the isomorphism class of the Dieudonne module of parameterized abelian…

Let $C$ be a smooth curve over a finite field in characteristic $p$ and let $M$ be an overconvergent $F$-isocrystal over $C$. After replacing $C$ with a dense open subset $M$ obtains a slope filtration, whose steps interpolate the Frobenius…

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth…

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…

The Dieudonn\'e crystal of a p-divisible group over a semiperfect ring R can be endowed with a window structure. If R satisfies a boundedness condition, this construction gives an equivalence of categories. As an application one obtains a…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

Let $k$ be a perfect field of characteristic $p>2$ and $K$ an extension of $F=\mathrm{Frac} W(k)$ contained in some $F(\mu_{p^r})$. Using crystalline Dieudonn\'e theory, we provide a classification of $p$-divisible groups over…

The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-\'etale filtration for p-divisible groups. Recently, some of Katz's classical…

Vasiu proved that the level torsion $\ell_{\mathcal{M}}$ of an $F$-crystal $\mathcal{M}$ over an algebraically closed field of characteristic $p>0$ is a non-negative integer that is an effectively computable upper bound of the isomorphism…

Let $G$ be a reductive group acting on an affine scheme $V$. We study the set of principal $G$-bundles on a smooth projective curve $\mathcal C$ such that the associated $V$-bundle admits a section sending the generic point of $\mathcal C$…

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…

For a power $q$ of a prime $p$, the Artin-Schreier-Mumford curve $ASM(q)$ of genus $g=(q-1)^2$ is the nonsingular model $\mathcal{X}$ of the irreducible plane curve with affine equation $(X^q+X)(Y^q+Y)=c,\, c\neq 0,$ defined over a field…

We construct a locally geometric $\infty$-stack $M_{Hod}(X,Perf)$ of perfect complexes with $\lambda$-connection structure on a smooth projective variety $X$. This maps to $A ^1 / G_m$, so it can be considered as the Hodge filtration of its…

Suppose $\phi$ is a wildly ramified cover of germs of curves defined over an algebraically closed field of characteristic p. We study unobstructed deformations of $\phi$ in equal characteristic, which are equiramified in that the branch…

For a $p$-divisible group $G$ over a smooth projective variety $X$ over $k$, where $k$ is a field finitely generated over a perfect field of characteristic $p$, we show that the formal group $R^i f_{\fppf*} G$ is isogenous to a…

We classify, up to few exceptions, the orbit closures of the $\mathrm{Mod}(\Sigma)$-action on the affine character variety $\chi(\mathrm{Aff}(\mathbb{C}))$. We obtain from this classification that the only obstruction for a non-abelian…

A Mumford group is a discontinuous subgroup $\Gamma$ of PGL(2,K), where K denotes a non archimedean valued field, such that the quotient by $\Gamma$ is a curve of genus 0. As abstract group $\Gamma$ is an amalgam of a finite tree of finite…