Harder-Narasimhan filtrations which are not split by the Frobenius maps

DOI10.1007/S12044-013-0134-7MaRDI QIDQ369300zbMATH OpenOpenAlexFDO

Authors Saurav Bhaumik, Vikram B. Mehta

Publication date 24 September 2013

Published in Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.1911

zbMATH Keywords

Borel-Weil-Bott theoremFrobenius splittingstrong Harder-Narasimhan Filtrations

Mathematics Subject Classification ID

Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60) Cohomology theory for linear algebraic groups (20G10)

Abstract: Let $X$ be a smooth projective variety over a perfect field $k$ of characteristic $p>0$, and $V$ be a vector bundle over $X$. It is well known that if $X$ is a curve and $V$ is not strongly semistable, then some Frobenius pullback $(F^t{)}^{\ast }V$ 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 $mathbbZ$ and a rank 2 vector bundle on it, which, restricted to each prime $p$ in a nonempty open subset of $specmathbbZ$, constitutes a counterexample over $p$. Indeed, given any split semisimple simply connected algebraic group $G$ of semisimple rank $>1$ over $mathbbZ$, we will show that there exists a smooth projective homogeneous space $X_Z$ over $mathbbZ$ and a vector bundle $V$ on $X_Z$ of rank 2 such that for each prime $p$ in a nonempty open subset of $specmathbbZ$, the restriction $Votimesmathbb{F}_p$ as a vector bundle over $X_{Z}otimesmathbb{F}_p$ is a counterexample. We only use the Borel-Weil-Bott theorem in characteristic 0 and Frobenius Splitting of $G/B$ in characteristic $p$.

Review text

In characteristic \(p >0\), a vector bundle \(V\) on a smooth projective variety \(X\) is called \textit{strongly semistable} if, \(F\) being the absolute Frobenius, \((F^n)^*V\) is semistable for any \(n\). It is known that for \(\dim X=1\) and \(V\) not strongly semistable, there is \(t\) such that \((F^t)^*V\) decomposes into strongly semistable direct summands [\textit{I. Biswas} and \textit{A. J. Parameswaran}, C. R., Math., Acad. Sci. Paris 339, No. 5, 355--358 (2004; Zbl 1062.14042); \textit{A. Langer}, Duke Math. J. 128, No. 3, 511--540 (2005; Zbl 1081.14018)]. For \(\dim X >1\) this property is no longer true [\textit{I. Biswas} et al., C. R., Math., Acad. Sci. Paris 346, No. 9-10, 545--548 (2008; Zbl 1141.14025)]. The aim of this paper is to ``produce a smooth projective scheme \(X\) over \(\mathbb Z\), a rank \(2\) vector bundle \(V\) on \(X\) with a line subbundle \(L\) having the following property. For a prime \(p\), let \(F_p\) be the absolute Frobenius of \(X_p\), and let \(L_p \subset V_p\) be the restriction of \(L\subset V\). Then for almost all primes \(p\), and for all \(t \geq 0\), \((F_p^*)^tL_p \subset (F_p^*)^tV_p\) is a non-split Harder-Narasimhan filtration. In particular, \((F_p^*)^tV_p\) is not a direct sum of strongly semistable bundles for any \(t\). This construction works for any full flag variety \(G/B\), with semisimple rank of \(G \geq 2\). For the construction one uses Borel-Weil-Bott theorem in characteristic \(0\), and Frobenius splitting in characteristic \(p\).

Recommendations

• Construction of a Frobenius nonsplit Harder-Narasimhan filtration
• scientific article; zbMATH DE number 3922835
• Harder-Narasimhan filtration of the bundles as Frobenius pull-back
• Frobenius pull backs of vector bundles in higher dimensions
• scientific article; zbMATH DE number 1983927

Cites work

• A short proof of the Kempf vanishing theorem
• Construction of a Frobenius nonsplit Harder-Narasimhan filtration
• Frobenius splitting and cohomology vanishing for Schubert varieties
• On the ample vector bundles over curves in positive characteristic
• Semistable principal \(G\)-bundles in positive characteristic

Cited in

(6)

• Semistable sheaves in positive characteristic
• Harder-Narasimhan filtration of the bundles as Frobenius pull-back
• Frobenius pull backs of vector bundles in higher dimensions
• La filtration de Harder-Narasimhan des schémas en groupes finis et plats
• scientific article; zbMATH DE number 3922835 (Why is no real title available?)
• Construction of a Frobenius nonsplit Harder-Narasimhan filtration

This page was built for publication: Harder-Narasimhan filtrations which are not split by the Frobenius maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q369300)