Harder-Narasimhan Filtrations which are not split by the Frobenius maps
arXiv:1204.1911
Abstract
Let be a smooth projective variety over a perfect field of characteristic , and be a vector bundle over . It is well known that if is a curve and is not strongly semistable, then some Frobenius pullback is a direct sum of strongly semistable bundles. A natural question to ask is whether this still holds in higher dimension. Indranil Biswas, Yogish I. Holla, A.J. Parameswaran, and S. Subramanian showed that there is always a counterexample to this over any algebraically closed field of positive characteristic which is uncountable. However, we will produce a smooth projective variety over and a rank 2 vector bundle on it, which, restricted to each prime in a nonempty open subset of $\spec\mathbb Z$, constitutes a counterexample over . Indeed, given any split semisimple simply connected algebraic group of semisimple rank over , we will show that there exists a smooth projective homogeneous space over and a vector bundle on of rank 2 such that for each prime in a nonempty open subset of $\spec\mathbb Z$, the restriction as a vector bundle over is a counterexample. We only use the Borel-Weil-Bott theorem in characteristic 0 and Frobenius Splitting of in characteristic .
3 pages