Torus fixed points of moduli spaces of stable bundles of rank three (Q635453): Difference between revisions

Some years ago, Klyachko determined the Euler characteristics of the moduli spaces of \(\mu\)-stable vector bundles of rank \(2\) on the complex projective plane \({\mathbb P}^2\). In this paper, similar formulae are obtained for bundles of rank \(3\). The basic idea of Klyachko is to use the natural action of the torus \(T={\mathbb C}^{*3}\) on \({\mathbb P}^2\). For any moduli space \({\mathcal M}\) of bundles on \({\mathbb P}^2\), the torus \(T\) acts on \({\mathcal M}\) and we have \(\chi({\mathcal M})=\chi({\mathcal M}^T)\), where \(\chi\) denotes the Euler characteristic and \({\mathcal M}^T\) is the fixed point set for the action of \(T\) on \({\mathcal M}\). The bundles of rank \(r\) fixed by \(T\) (here called toric bundles) correspond to filtrations of the vector space \({\mathbb C}^3\) and hence to representations of the subspace quiver. It remains to carry out detailed calculations to compute \(\chi({\mathcal M}^T)\). The author carries out these computations in the case \(r=3\), giving the answers in the form of generating series for \(\chi({\mathcal M}(D))\), where \(D:=6c_2-2c_1^2\) is the discriminant. \{There is some notational inconsistency here, as the author gives a formula for the discriminant as \(D:=2c_1^2-6c_2\) and actually defines it (Definition 2.6) by a third formula. Note also that ``semistable'' is sometimes used with the meaning ``strictly semistable'' (see for example Lemma 4.2).\}