Related papers: Slopes of $F$-isocrystals over abelian varieties
We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…
We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be…
We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.
Let $X_0$ be a smooth geometrically connected variety defined over a finite field $\mathbb F_q$ and let $\mathcal E_0^{\dagger}$ be an irreducible overconvergent $F$-isocrystal on $X_0$. We show that if a subobject of minimal slope of the…
It has been proven by Serre, Larsen-Pink and Chin, that over a smooth curve over a finite field, the monodromy groups of compatible semi-simple pure lisse sheaves have "the same" $\pi_0$ and neutral component. We generalize their results to…
Let U be a smooth geometrically connected affine curve over $\mathbb{F}_p$ with compactification X. Following Dwork and Katz, a $p$-adic representation $\rho$ of $\pi_1(U)$ corresponds to an \'etale $F$-isocrystal. By work of Tsuzuki and…
Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's…
In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for a…
We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable…
In this paper we give conditions under which two abelian varieties that are defined over a finite field $F$, and are isogenous over some larger field, are $F$-isogenous. Further, we give conditions under which a given isogeny is defined…
This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m…
We extend to large contexts pertaining to Shimura varieties of Hodge type a result of Zink on the existence of lifts to characteristic 0 of suitable representatives of certain isogeny classes of abelian varieties endowed with Frobenius and…
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log…
We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…
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…
We propose a simple criterion to know if an abelian variety $A$ defined over a finite field $\mathbb{F}_q$ is cyclic, i.e., it has a cyclic group of rational points; this criterion is based on the endomorphism ring End$_{\mathbb{F}_q}(A)$.…
The minimal slope conjecture, which was proposed by K.Kedlaya, asserts that two irreducible overconvergent $F$-isocrystals on a smooth variety are isomorphic to each other if both minimal slope constitutions of slope filtrations are…
An abelian variety over a field K is said to have big monodromy, if the image of the Galois representation on l-torsion points, for almost all primes l contains the full symplectic group. We prove that all abelian varieties over a finitely…
In this note we show that any supersingular abelian variety is isogenous to a superspecial abelian variety without increasing field extensions. The proof uses minimal isogenies and the Galois descent. We then construct a superspecial…