Hodge polynomials and birational types of moduli spaces of coherent systems on elliptic curves (Q836907)

For any quasi-projective variety \(X\) over \(\mathbb C\), \textit{P. Deligne} defined [Actes Congr. Internat. Math. 1970, 1, 425--430 (1971; Zbl 0219.14006); Publ. Math., Inst. Hautes Étud. Sci. 40, 5--57 (1971; Zbl 0219.14007); and Publ. Math., Inst. Hautes Étud. Sci. 44, 5--77 (1974; Zbl 0237.14003)] a mixed Hodge structure on the cohomology groups \(H^k_c(X,{\mathbb C})\) with associated \textit{Hodge polynomial} \({\epsilon}_X(u,v)\). When \(X\) is a smooth projective variety, \({\epsilon}_X(u,v) = \sum_{p.q}h^{p,q}(X)u^pv^q\). A \textit{coherent system} of type \((n,d,k)\) on a smooth projective curve \(C\) is a pair \((E,V)\) consisting of a vector bundle \(E\) of rank \(n\) and degree \(d\) over \(C\) and a \(k\)-dimensional vector subspace \(V \subseteq H^0(E)\). For \(\alpha \in {\mathbb R}\), the \(\alpha\)-slope of a coherent system is defined by: \[ {\mu}_{\alpha}(E,V) := \frac{d}{n} + \alpha \frac{k}{n}\, . \] Using the \(\alpha\)-slope on can define the notion of \(\alpha\)-\textit{stability} for coherent systems and one can show that there exists a quasi-projective variety \(G(\alpha ;n,d,k)\) which is a moduli space for the \(\alpha\)-stable coherent systems of type \((n,d,k)\) on \(C\). Assume, from now on, that \(C\) is an \textit{elliptic curve}. In their previous work [Int. J. Math. 16, No. 7, 787--805 (2005; Zbl 1078.14045)], the authors of the paper under review showed that \(G(\alpha ;n,d,k)\) is smooth and irreducible of the expected dimension \(k(d-k) + 1\) (if non-empty). In the paper under review, they compute the Hodge polynomials and determine the birational types of the spaces \(G(\alpha ;n,d,k)\), in some cases. More precisely, the authors show that if \(\text{gcd}(n,d) = 1\) and \(\alpha\) is a small positive real number then \(G(\alpha ;n,d,k)\) is a \(\text{Grass}(k,d)\)-bundle over \(C\) and compute its Hodge polynomial. They also show that if \(\text{gcd}(n,d) = 2\), \(k = 1\) and \(\alpha\) is arbitrary, \(G(\alpha ;n,d,1)\) is birational to \({\mathbb P}^{d-1}\times C\). Moreover, the Fourier-Mukai transform \({\Phi}_a\) defined by \textit{D. Hernández Ruipérez} and \textit{C. Tejero Prieto} [J. Lond. Math. Soc., II Ser. 77, 15--32 (2008; Zbl 1133.14012)] induces an isomorphsm of moduli spaces \(G(\alpha ;2,d,1) \simeq G(\alpha ;2+ad,d,1)\). Finally, if \(\text{gcd}(n,d) = h > 1\) and \(k < d\) then \(G(\alpha ;n,d,k)\) is birational to a variety fibred over \(\text{Symm}^hC\) with general fibre unirational.