Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$ (Theorem \ref{thm1.3}). As a step to study the question for higher dimensional $X$, we generalize the canonical filtration (defined by Joshi-Ramanan-Xia-Yu for curves) to higher dimensional $X$ (Theorem \ref{thm2.6}).
We show that the logarithm $\log_q$ of the Frobenius morphism $x\to x^q$ is given by the formula $x\to x\log x$ (the natural logarithm). In particular, it does not depend on $q$. This is the explicit (although heuristical) formula for the operator conjectured by Hilbert whose eigenvalues coincide with the zeroes of the zeta function.
In a work of Costa and Miró-Roig state the following conjecture: Every smooth complete toric Fano variety has a full strongly exceptional collection of line bundles. The goal of this article is to prove it for toric Fano 3-folds.
Let X be a smooth projective curve of genus $g\geq 2$ defined over an algebraically closed field k of characteristic $p>0$ and let $F:X\rightarrow X_{1}$ be the relative k-linear Frobenius map. We prove (Theorem 1.1) E is a stable bundle on $X_{1}$ with $I(E)= (p-1)(2g-2)$ if and only if E is the direct image of some stable bundle W on $X$.
We investigate the $W_2(k)$-liftability of singular schemes. We prove constructibility of the locus of $W_2(k)$-liftable schemes in a flat family $X \to S$. Moreover, we construct an explicit $W_2(k)$-lifting of a Frobenius split scheme $X$ over a perfect field $k$, reproving Bhatt's existential result. Furthermore, we study existence of liftings of the Frobenius morphism. In particular, we prove that in dimension $n \geq 4$ ordinary double points do not admit a $W_2(k)$-lifting compatible with Frobenius, and that canonical surface singularities are Frobenius liftable. Combined with Bhatt's re…
Let $X$ be a smooth projective variety of dimension $n$ over an algebraically closed field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. For any vector bundle $W$ on $X$, we prove that instability of $F_*W$ is bounded by instability of $W\otimes{\rm T}^{\ell}(Ω^1_X)$ ($0\le \ell\le n(p-1)$)(Corollary \ref{cor3.8}). When $X$ is a smooth projective curve of genus $g\ge 2$, it implies $F_*W$ being stable whenever $W$ is stable.
Let X be a smooth projective curve of genus g \textgreater{}1 defined over an algebraically closed field k of characteristic p \textgreater{}0. For p sufficiently large (explicitly given in terms of r,g) we construct an atlas for the locus of all Frobenius-destabilized bundles (i.e. we construct all Frobenius-destabilized bundles of degree zero up to isomorphism). This is done by exhibiting a surjective morphism from a certain Quot-scheme onto the locus of stable Frobenius-destabilized bundles. Further we show that there is a bijective correspondence between the set of stable vector bundles E …
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the bounded derived category of coherent sheaves on the toric DM stack. We also choose a full strong exceptional collection from the set of direct summands of the push-forward in several examples of two dimensional toric DM orbifolds.
In this paper we describe the action of the Frobenius morphism on the indecomposable vector bundles on cycles of projective lines. This gives an answer on a question of Paul Monsky, which appeared in his study of the Hilbert--Kunz theory for plane cubic curves.
Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$ and $F_{X/k}:X\rightarrow X^{(1)}$ be the relative Frobenius morphism. Let $\mathfrak{M}^{s(ss)}_X(r,d)$ (resp. $\mathfrak{M}^{s(ss)}_{X^{(1)}}(r\cdot p,d+r(p-1)(g-1))$) be the moduli space of (semi)-stable vector bundles of rank $r$ (resp. $r\cdot p$) and degree $d$ (resp. $d+r(p-1)(g-1)$) on $X$ (resp. $X^{(1)}$). We show that the set-theoretic map $S^{ss}_{\mathrm{Frob}}:\mathfrak{M}^{ss}_X(r,d)\rightarrow\mathfrak{M}^{ss}_{X^{(1)}}(r\cdot p,d+r(p-1)(g-1))$ induced by $[…
We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse special situations like vector bundles on the projective line and relations with infinite Grassmannians.
This article is the expanded version of a talk given at the conference: Algebraic geometry in East Asia 2008, Seoul. In this notes, I intend to give a brief survey of results on the behavior of semi-stable bundles under the Frobenius pullback and direct images. Some results are new.
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite dimensional representations.
We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study D-modules on quadrics.
We combine the Bondal-Uehara method for producing exceptional collections on toric varieties with a result of the first author and Favero to expand the set of varieties satisfying Orlov's Conjecture on derived dimension.
Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample locally free sheaf and show that the vanishing given by the Frobenius morphism is, in a certain sense, the strongest possible. Our work can be viewed as various generalizations of the Serre Vanishing Theorem.
We show how to construct tilting bundles for a class of smooth projective varieties using characteristic $p$ methods. Given such a variety $X$, reduce it modulo a prime number and consider the direct image of the structure sheaf under the Frobenius morphism. We prove that under suitable restrictions on the characteristic, these direct images are tilting bundles for some toric Fano varieties, Del Pezzo surfaces, and flag varieties $G/B$ of type $A_2$ and $B_2$.
Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing argument gives lifting of Frobenius to $Z/p^2$) and we derive natural characteristic $p$ proofs of Bott vanishing and degeneration of the Danilov spectral sequence. For flag varieties we obtain generaliza…
Vector bundles in positive characteristics have a tendency to be destabilized after pulling back by the Frobenius morphism. In this paper, we closely examine vector bundles over curves that are, in an appropriate sense, maximally destabilized by the Frobenius morphism. Then we prove that such bundles of rank 2 exist over any curve in characteristic 3, and are unique up to twisting by a line bundle. We also give an application of such bundles to the study of ample vector bundles, which is valid in all characteristics.
In this paper, which is the sequel to arXiv:1410.3742, we study the Frobenius pushforward of the structure sheaf on the adjoint varieties in type ${\bf A}_3$ and ${\bf A}_4$. We show that this pushforward sheaf decomposes into a direct sum of indecomposable bundles and explicitly determine this set that does not depend of the characteristic. In accordance with the results of arXiv:0707.0913, this set forms a strong full exceptional collection in the derived category of coherent sheaves. These computations lead to a natural conjectural answer in the general case that we state at the end.
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of the direct image complex under a proper morphism of varieties over a finite field. We conjecture that the direct image of the intersection complex on the domain is always semisimple and Frobenius semisimple; this conjecture would imply that a strong form of the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber is valid over finite fields. We prove …
This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one (resp. the third one), we will introduce a Frobenius structure in the convergent (resp. overconvergent) context. For a liftable proper smooth morphism we establish the overconvergence of direct images, owing to a base change theorem for a proper morphism between rigid analytic spaces. This result partially answers a conjecture of Berthelot on the overconvergence of direct images under a proper smooth morphism.
Let X be a smooth projective curve over an algebraic closed field of characteristic p and F be the Frobenius morphism of X. Here, I give a negative answer to the guess that the length of the Harder-Narasimhan of F*W is not bigger than p, where W is a semistable bundle on X.
This article is the third one of a series of three articles devoted to direct images of isocrystals: here we consider overconvergent isocrystals with Frobenius structure. For a liftable proper smooth morphism we establish the overconvergence of direct images, owing to the first article and the existence of lifts of Frobenius. This result partially answers a conjecture of Berthelot on the overconvergence of direct images of overconvergent F-isocrystals under a proper smooth morphism.
Let $X$ be a smooth projective curve of genus $g\geq 2$ over an algebraically closed field $k$ of characteristic $p>0$, $F_X:X\rightarrow X$ the absolute Frobenius morphism. Let $\M^s_X(r,d)$ be the moduli space of stable vector bundles of rank $r$ and degree $d$ on $X$. We study the Frobenius stratification of $\M^s_X(3,0)$ in terms of Harder-Narasimhan polygons of Frobenius pull backs of stable vector bundles and obtain the irreducibility and dimension of each non-empty Frobenius stratum in the case $(p,g)=(3,2)$.
Let X be a smooth projective curve of genus g>1 over an algebraically closed field of characteristic 2. Pull-back by the (absolute) Frobenius on X only defines a rational morphism on the moduli scheme of rank-2 vector bundles on X, because the Frobenius pull-back may destory stability of a vector bundle. This paper introduces and studies a Harder-Narasimhan type stratification on the moduli scheme and proves that the family of semi-stable rank-2 vector bundles (with a fixed degree) whose Frobenius pull-back are not semi-stable is parameterized by an irreducible subscheme of dimension 3g-4.
Let $X$ be a smooth scheme over a perfect field $k$ of positive characteristic. M.V.~Nori and V.~Srinivas studied infinitesimal liftings of Frobenius morphism $F:X\to X$. Namely, given a Frobenius lifting $F_Y: Y\to Y$ over $W_{n-1}(k)$ the obstruction of lifting $F_Y$ over $W_n(k)$ is a class in $H^1(X, T_X\tensor B_1Ω^1_{X/k})$. We give a modified version of their theory and applications, in which we consider lifting $(n-1)$th iterated Frobenius $F^{n-1}:X\to X$ directly over $W_n(k)$.
Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=\operatorname{Gr}(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the decomposition of $R$, considered as a graded $R^p$-module, into indecomposables ("Frobenius summands"). As a corollary we obtain a similar decomposition for the Frobenius pushforward of the structure sheaf of $\mathbb{G}$ and we obtain in particular that this pushforward is almost never a tilting bundle. On the other hand we show that $R$ provides a "noncom…
Let R be an integral domain of finite type over Z and let f:X --> Spec R be a smooth projective morphism of relative dimension d >= 1. We investigate, for a vector bundle E on the total space X, under what arithmetical properties of a sequence (p_n, e_n)_{n \in \NN}, consisting of closed points p_n in Spec R and Frobenius descent data E_{p_n} \cong F^{e_n}^*(F) on the closed fibers X_{p_n}, the bundle E_0 on the generic fiber X_0 is semistable.
In this paper, given a semisimple algebraic group $\bf G$ of rank 2, we construct a special semiorthogonal decomposition in the derived category of coherent sheaves on the flag variety ${\bf G}/{\bf B}$. These decompositions are defined over the localization ${\mathbb Z}_{\rm S}$, where $\rm S$ is the set of bad primes for $\bf G$, while their block structure is compatible with the Bruhat order on Schubert varieties. The non-standard $t$-structures on ${\rm D}^b({\bf G}/{\bf B})$ defined by these decompositions are self-dual with respect to the duality ${\mathcal RHom}_{{\bf G}/{\bf B}}(-,ω_{{…
We use the theory of p-curvature of connections to analyze stable vector bundles of rank 2 on curves of genus 2 which pull back to unstable bundles under the Frobenius morphism. We take two approaches, first using explicit formulas for p-curvature to analyze low-characteristic cases, and then using degeneration techniques to obtain an answer for a general curve by degenerating to an irreducible rational nodal curve, and applying the results of math.AG/0409145 and math.AG/0407445. We also apply our explicit formulas to give a new description of the strata of curves of genus 2 of different p-ran…
Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$, considered as graded $R^{p^r}$-module, for $r \geq 2$. This is a companion paper to our earlier paper, where the case $r=1$ was treated, and taken together, our results imply that $R$ has finite F-representation type (FFRT). Though it is expected that all rings of invariants for reductive groups have FFRT, ours is the first non-trivial example of such a ring f…
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that $T_X := f_0 ^{-1} (T) $ is a divisor of $X$ and let $\M \in D ^\mathrm{b}_\mathrm{coh} (\D ^†_{\X} (\hdag T_X)_{\Q})$. We construct the relative duality isomorphism $ f_{0T +} \circ \DD_{\X, T_X} (\M) \riso \DD_{\Y, T} \circ f_{0T +} (\M)$. This generalizes the known case when there exists a lifting $f : \X \to \Y$ of $f_{0}$. Moreover, when $f_0$ is a closed i…
For a smooth projective complex variety whose Albanese morphism is finite, we show that every Bridgeland stability condition on its bounded derived category of coherent sheaves is geometric, in the sense that all skyscraper sheaves are stable with the same phase. Furthermore, we describe the stability manifolds of irregular surfaces and abelian threefolds with Picard rank one, and show that they are connected and contractible.
The purpose of this paper is to describe several applications of finiteness properties of $F$-finite $F$-modules recently discovered by M. Hochster to the study of Frobenius maps on injective hulls, Frobenius near-splittings and to the nature of morphisms of $F$-finite $F$-modules. Among the results in the paper we show that morphisms of $F$-finite $F$-modules have a particularly simple form, and we show that certain Frobenius near-splittings have finitely many compatible submodules, thus generalizing a result of M. Blickle and G. Böckle to the non-$F$-finite case.
Let $X$ be a smooth projective surface over an algebraically closed field $k$ of characteristic $p> 0$ with $Ω_{X}^{1}$ semistable and $μ(Ω_{X}^{1})>0$. For any semistable (resp. stable) bundle $W$ of rank $r$, we prove that $F_*W$ is semistable (resp. stable) when $p\geq r(r-1)^2+1$.
Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce an analogue of the de Rham complexes comparaison theorem of Berthelot without assuming a lifting of the Frobenius morphism. As an application, we prove a version of Berthelot's conjecture on the preservation of convergent isocrystals under the higher direct image by a smooth proper morphism of k-varieties.
By using Christol and Mebkhout's algebrization and finiteness theorem, we prove that in the case of smooth curves, Berthelot's strongest conjecture on the stability of holonomicity is still valid without Frobenius structure but under some non-Liouville type hypotheses.
Let $X$ be genus 2 curve defined over an algebraically closed field of characteristic $p$ and let $X\_1$ be its $p$-twist. Let $M\_X$ (resp. $M\_{X\_1}$) be the (coarse) moduli space of semi-stable rank 2 vector bundles with trivial determinant over $X$ (resp. $X\_1$). The moduli space $M\_X$ is isomorphic to the 3-dimensional projective space and is endowed with an action of the group $J[2]$ of order 2 line bundles over $X$. When $3\leq p \leq 7$, we show that the Verschiebung (i.e., the separable part of the action of Frobenius by pull-back) $V : M\_{X\_1} \dashrightarrow M\_X$ is completely…
We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite étale cover, admit a toric fibration over an ordinary abelian variety. We prove that this assertion implies a conjecture of Occhetta and Wiśniewski, which states that in characteristic zero a smooth image of a projective toric variety is a toric variety. To this end we analyse the behaviour of toric varieties in families showing some generization and specialization results. Furthermore, we prove a pos…
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 of characteristic p > 0 and fraction field K of characteristic 0. Firstly we characterize convergent F-isocrystals on a smooth affine k-scheme. Secondly, for perfect k and after a detailed exposition of the Teichmûller liftings, especially for the affine rigid line, we derive the existence of Frobenius isomorphisms on the direct images of convergent F-isocry…
Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the possibility that an analogous theorem holds for modules with only a Frobenius structure. We show that this analogue holds in one weak formulation and fails in a second stronger formulation.
Up to a translation in the language of arithmetic $\D$-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of characteristic $p>0$.
Let $X$ be a smooth variety over an algebraically closed field of positive characteristic. An $F$-sandwich of $X$ is a normal variety $Y$ through which the relative Frobenius morphism of $X$ factors as $F:X\rightarrow Y \rightarrow X$. In this paper, we give a classification of globally F-regular $F$-sandwiches of Hirzebruch surfaces.
