Semistability vs. nefness for (Higgs) vector bundles
type: Item
instance of: scholarly article
title: Semistability vs. nefness for (Higgs) vector bundles
zbMATH Open document ID: 1108.14028
published in: Differential Geometry and its Applications
publication date: 2006-10-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0310040
review text: Let \(E\) be a vector bundle on a smooth projective curve \(C\) over a field of characteristic \(0\). A theorem of \textit{Y.~Miyaoka} [Adv. Stud. Pure Math. 10, 449--476 (1987; Zbl 0648.14006)] asserts that \(E\) is semistable if and only if a certain divisor \(\lambda\) in the projective bundle \({\mathbb P}E\) is nef (numerically effective). The authors first generalise this result by defining divisorial classes \(\theta_s\) in the Grassmannians \(\text{Gr}_s(E)\) of locally free quotients of \(E\) and \(\lambda_s\) in the projective bundles \({\mathbb P}Q_s\), where \(Q_s\) is the universal quotient bundle on \(\text{Gr}_s(E)\). They prove that, if \(E\) is semistable, all these classes are nef. Conversely, if any one of these classes is nef, then \(E\) is semistable. This result suggests a generalisation to the case of Higgs bundles \({\mathcal E}=(E,\phi)\) on \(C\). The authors introduce schemes analogous to \(\text{Gr}_s(E)\) and \(Q_s\) and classes \(\theta_{s,{\mathcal E}}\) and \(\lambda_{s,{\mathcal E}}\). They prove that, if \({\mathcal E}\) is semistable, then all these classes are nef. Conversely, if all \(\lambda_{s,{\mathcal E}}\) are nef, then \({\mathcal E}\) is semistable. The vanishing of one \(\lambda_{s,{\mathcal E}}\) is not sufficient for semistability. The theorem can be extended to a higher dimensional complex projective manifold \(X\); for a Higgs bundle \({\mathcal E}\) on \(X\), the following conditions are equivalent: (i) all classes \(\lambda_{s,{\mathcal E}}\) are nef; (ii) \({\mathcal E}\) is semistable and \(c_2(E\otimes E^*)=0\). Note that condition (i) is independent of the polarisation, so, if condition (ii) holds in one polarisation, it holds in all polarisations. Moreover, if (i) holds, then \({\mathcal E}\) is semistable after restriction to any smooth projective curve in \(X\).
Mathematics Subject Classification ID: 14H60
Mathematics Subject Classification ID: 14J60
zbMATH DE Number: 5060582
author: Ugo Bruzzo
author: Daniel Hernandez Ruiperez
reviewed by: P. E. Newstead
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2152149510
Wikidata QID: Q115357869
arXiv ID: math/0310040
cites work: On Semistable Principal Bundles over a Complex Projective Manifold
cites work: Q4294359
cites work: On a Theorem of Bogomolov on Chern Classes of Stable Bundles
cites work: Ample vector bundles
cites work: Ample subvarieties of algebraic varieties. Notes written in collaboration with C. Musili
cites work: The theorem of Grauert-Mülich-Spindler
cites work: Q3792786
cites work: Constructing Variations of Hodge Structure Using Yang-Mills Theory and Applications to Uniformization
cites work: Higgs bundles and local systems
cites work: Moduli of representations of the fundamental group of a smooth projective variety. I
cites work: Calabi's conjecture and some new results in algebraic geometry
DOI: 10.1016/J.DIFGEO.2005.12.007
description: scientific article