No label defined (Q3977461)

[For the entire collection see Zbl 0676.00006.] Let \(C\) be an algebraically closed field of characteristic 0, let \(V\) be a finite-dimensional \(C\)-vector space, and let \(\alpha=(\alpha(1),\dots,\alpha(m))\in N^ m\). An action of \(GL(\alpha)=\prod^ m_{i=1}GL(\alpha(i),C)\) on \(V\) is called Schurian if the stabilizer of a generic point is \(C^*\) embedded diagonally in \(GL(\alpha)\). Let \(Q\) be a quiver with \(m\) vertices. Recall that \(GL(\alpha)\) acts on the space of \(C\)-representations of \(Q\) with dimension vector \(\alpha\) such that the orbits are in one-to-one correspondence with the isomorphism classes of representations of \(Q\) with dimension vector \(\alpha\). It is first shown that if this action is Schurian and if \(n=gcd(\alpha(i),\;i=1,\dots,m)\), then the rational \(GL(\alpha)\)-invariants are stably equivalent to the \(n\times n\) matrix invariants, meaning that the corresponding affine quotient spaces become birationally equivalent after taking the product with suitable affine spaces. This is used to show more generally that the rational invariants of any Schurian action of \(GL(\alpha)\) on a \(C\)-vector space are stably equivalent to the rational \(n\times n\) matrix invariants. Consequences are stated for \(n\leq 4\) or squarefree \(n\).