Birational classification of moduli spaces of representations of quivers (Q1605102): Difference between revisions

Let \(k\) be a basic field, let \(Q\) be a quiver, and let \(\alpha\) be a representation of \(Q\) whose endomorphism ring is isomorphic to \(k\). Then \(\alpha\) is called the Schur representation of \(Q\) and its dimension-vector is called the Schur root. Let \({\mathcal M}(Q,\alpha)\) be the moduli space of representations of \(Q\) with dimension-vector \(\alpha\) [\textit{A. D. King}, Q. J. Math., Oxf. II. Ser. 45, No. 180, 515-530 (1994; Zbl 0837.16005)]. Denote by \(n\) the greatest common divisor of \(\dim_k\alpha(v)\) for all vertices \(v\) of \(Q\). It is proved that if \(1\leq n\leq 4\) then \({\mathcal M}(Q,\alpha)\) is rational. Moreover, if \(n>4\) and \(n\) divides \(420\) then the moduli space is stably rational while if \(n\) is square-free then \({\mathcal M}(Q,\alpha)\) is retract rational.