Generating graded central simple algebras (Q1375100): Difference between revisions

As is well-known, a finite-dimensional simple \(K\)-algebra can be generated by two elements. The author studies this question in the graded case, where \(\Delta\) is \(\mathbb{Z}\)-graded without nontrivial ideals. Such an algebra has the form \(\Delta=M_n(D[X,X^{-1},\phi])(a_1,\dots,a_n)\), where \(X\) has degree \(d\), \(\phi\) is an automorphism and the \(a_i\) are integers between \(0\) and \(d-1\) [cf. \textit{C. Năstăsescu} and \textit{F. Van Oystaeyen}, Graded ring theory, North-Holland (1982; Zbl 0494.16001)]. Let \(m_i\) denote the number of \(a\)'s equal to \(i\), then \(\Delta\) is generated by \(k\) elements over its centre if and only if the ratio of neighbouring \(m\)'s lies between \(1/k\) and \(k\). This follows from a more general (somewhat technical) criterion established by the author, using quiver theory. In the matrix ring \(M_n(\mathbb{C})\) over the complex field define \(\text{Gen}^m_n\) as the open subvariety of \(M_n(\mathbb{C})^m\) of \(m\)-tuples generating \(M_n(\mathbb{C})\) and \(\text{Sat}^m_n\) as the open subvariety of \(m\)-tuples whose first \(m-1\) components generate \(M_n(\mathbb{C})\). Generalizing results of \textit{Z. Reichstein} [Trans. Am. Math. Soc. 340, No. 1, 353-371 (1993; Zbl 0820.16021)], the author proves that \(\text{GL}_m,\text{Sat}^m_n\subset\text{Gen}^m_n\) for all \(m\) such that \(3\leq m\leq n-1\), by using earlier results to construct an element in the right- but not the left-hand side.