The morphism induced by Frobenius push-forward

Let X be a smooth projective curve of genus g 2 over an algebraically closed field k of characteristic p0,and F:X→X(1)the relative Frobenius morphism.Let M s X(r,d)(resp.M ss X(r,d))be the moduli space of(resp.semi-)stable vector bundles of rank r and degree d on X.We show that the set-theoretic map S ss Frob:M ss X(r,d)→M ss X(1)(rp,d+r(p-1)(g-1))induced by[E]→[F(E)]is a proper morphism.Moreover,the induced morphism S s Frob:M s X(r,d)→M s X(1)(rp,d+r(p-1)(g-1))is a closed immersion.As an application,we obtain that the locus of moduli space M s X(1)(p,d)consisting of stable vector bundles whose Frobenius pull backs have maximal Harder-Narasimhan polygons is isomorphic to the Jacobian variety Jac X of X.     

Density of vector bundles periodic under the action of Frobenius

Let X be a proper and smooth curve of genus g?2 over an algebraically closed field k of positive characteristic. If , it follows from Hrushovski's work on the geometry of difference schemes that the set of rank r vector bundles with trivial determinant over X that are periodic under the action of Frobenius is dense in the corresponding moduli space. Using the equivalence between Frobenius periodicity of a stable vector bundle and its triviality after pull-back by some finite étale cover of X (due to Lange and Stuhler) on the one hand, and specialization of the fundamental group on the other hand, we prove that the same result holds for any algebraically closed field of positive characteristic.     

Frobenius splitting of projective toric bundles

We prove that the projectivization of the tangent bundle of a nonsingular toric variety is Frobenius split.     

Frobenius pull backs of vector bundles in higher dimensions

We prove that for a smooth projective variety X of arbitrary dimension and for a vector bundle E over X, the Harder?CNarasimhan filtration of a Frobenius pull back of E is a refinement of the Frobenius pull back of the Harder?CNarasimhan filtration of E, provided there is a lower bound on the characteristic p (in terms of rank of E and the slope of the destabilizing sheaf of the cotangent bundle of X). We also recall some examples, due to Raynaud and Monsky, to show that some lower bound on p is necessary. We also give a bound on the instability degree of the Frobenius pull back of E in terms of the instability degree of E and well defined invariants of X.     

Vector bundles as direct images of line bundles

LetX be a smooth irreducible projective variety over an algebraically closed fieldK andE a vector bundle onX. We prove that, if dimX ≥ 1, there exist a smooth irreducible projective varietyZ overK, a surjective separable morphismf:Z →X which is finite outside an algebraic subset of codimension ≥ 3 inX and a line bundleL onX such that the direct image ofL byf is isomorphic toE. WhenX is a curve, we show thatZ, f, L can be so chosen thatf is finite and the canonical mapH ¹(Z, O) →H ¹(X, EndE) is surjective. Dedicated to the memory of Professor K G Ramanathan     

Direct image of parabolic line bundles

Given a vector bundle E, on an irreducible projective variety X, we give a necessary and sufficient criterion for E to be a direct image of a line bundle under a surjective étale morphism. The criterion in question is the existence of a Cartan subalgebra bundle of the endomorphism bundle $\text{End}(E)$. As a corollary, a criterion is obtained for E to be the direct image of the structure sheaf under an étale morphism. The direct image of a parabolic line bundle under any ramified covering map has a natural parabolic structure. Given a parabolic vector bundle, we give a similar criterion for it to be the direct image of a parabolic line bundle under a ramified covering map.     

Semistability of Frobenius Direct Image of Representations of Cotangent Bundles

Let k be an algebraically closed field of characteristic p > 0, X a smooth projective variety over k with a fixed ample divisor H, F_X : X → X the absolute Frobenius morphism on X. Let E be a rational GL_n(k)-bundle on X, and ρ : GL_n(k) → GL_m(k) a rational GL_n(k)-representation of degree at most d such that ρ maps the radical RGL_n(k)) of GL_n(k) into the radical R(GL_m(k)) of GL_m(k). We show that if \(F_X^{N*}(E)\) is semistable for some integer \(N \ge {\max {_{0 < r < m}}}(_r^m) \cdot {\log _p}(dr)\), then the induced rational GL_m(k)-bundle E(GL_m(k)) is semistable. As an application, if dimX = n, we get a sufficient condition for the semistability of Frobenius direct image \(F_{X*}(\rho*(\Omega_X^1))\), where \(\rho*(\Omega_X^1)\) is the vector bundle obtained from \(\Omega_X^1\) via the rational representation ρ.     

A complex Frobenius theorem, multiplier ideal sheaves and Hermitian-Einstein metrics on stable bundles

A complex Frobenius theorem is proved for subsheaves of a holomorphic vector bundle satisfying a finite generation condition and a differential inclusion relation. A notion of `multiplier ideal sheaf' for a sequence of Hermitian metrics is defined. The complex Frobenius theorem is applied to the multiplier ideal sheaf of a sequence of metrics along Donaldson's heat flow to give a construction of the destabilizing subsheaf appearing in the Donaldson-Uhlenbeck-Yau theorem, in the case of algebraic surfaces.

     

Gorenstein homological invariant properties under Frobenius extensions

Science China Mathematics - We prove that for a Frobenius extension, a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein...     

Stability of Frobenius pull-backs of tangent bundles and generic injectivity of Gauss maps in positive characteristic

For a smooth projective variety X of dimension n in a projective space defined over an algebraically closed field k, the Gauss mapis a morphism from X to the Grassmannian of n-plans in sending to the embedded tangent space .The purpose of this paper is to prove the generic injectivity of Gauss mapsin positive characteristic for two cases; (1) weighted complete intersectionsof dimension of general type; (2) surfaces or 3-folds with -semistable tangent bundles; based on a criterion of Kaji by looking atthe stability of Frobenius pull-backs of their tangent bundles. The first result implies that a conjecture of Kleiman--Piene is true in case X is of general type of dimension . The second result is a generalization of the injectivity for curves.     

The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3

Let X be a smooth projective curve of genus g?2 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable vector bundles with fixed trivial determinant. The relative Frobenius map induces by pull-back a rational map . We determine the equations of V in the following two cases (1) (g,r,p)=(2,2,2) and X nonordinary with Hasse-Witt invariant equal to 1 (see math.AG/0005044 for the case X ordinary), and (2) (g,r,p)=(2,2,3). We also show the existence of base points of V, i.e., semi-stable bundles E such that F∗E is not semi-stable, for any triple (g,r,p).     

Splitting of the direct image of sheaves under the Frobenius

A generalisation and a new proof are given of a recent result of J. F. Thomsen (1996), which says that for a line bundle on a smooth toric variety over a field of positive characteristic, the direct image under the Frobenius morphism splits into a direct sum of line bundles. (The special case of projective space is due to Hartshorne.) Our method is to interpret the result in terms of Grothendieck differential operators , and -linearized sheaves.