Frobenius pull backs of principal $G$-bundles and their canonical parabolics
The paper is withdrawn.
arXiv subjects
Publications and source records attributed to V. B. Mehta.
The paper is withdrawn.
We study the Picard groups of moduli spaces in positive characteristics and we give a "$p$-adic" proof that the Picard group of moduli of vector bundles of fixed determinant is isomorphic to the group of integers. Along the way we prove that the local fundamental group scheme of a normal unirational projective variety is trivial. This is reminiscent of results of Serre and Nygaard who studied the fundamental groups of smooth, projective, unirational varieties.
In this paper we show that semistable vector bundles on a Castelnuovo curve of genus g >= 2 have theta divisors. As a corollary, we deduce that semistable vector bundles on a smooth, general curve of genus g >= 2 which extend to semistable vector bundles on any Castelnuovo degeneration of the general curve admit a theta divisor.
We prove that for an irreducible representation $τ:GL(n)\to GL(W)$, the associated homogeneous ${\bf P}_k^n$-vector bundle $W_τ$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${\bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $\neq 2,3$ respectively. In particular $W_τ$ is semistable when restricted to general hypersurfaces of degree $\geq 2$ and is strongly semistable when restricted to the $k$-generic hypersurface of degree $\geq 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 generalizations of a result of Paranjape and Srinivas about non-lifting of Frobenius to the Witt vectors.
This paper is about sheaf cohomology for varieties (schemes) in characteristic $p>0$. We assume the presence of a Frobenius splitting. (See V.B. Mehta and A. Ramanathan, Frobenius splitting and cohomology vanishing for Schubert varieties, Annals of Math. 122 (1985), 27--40). The main result is that a non-zero higher direct image under a proper map of the ideal sheaf of a compatibly Frobenius split subvariety can not have a support whose inverse image is contained in that subvariety. Earlier vanishing theorems for Frobenius split varieties were based on direct limits and Serre's vanishing theorem, but our theorem is based on inverse limits and Grothendieck's theorem on formal functions. The result implies a Grauert--Riemenschneider type theorem.