Homogeneous involutions on graded division algebras and their polynomial identities (Q6601859)

Let \(F\) be an algebraically closed field, and let \(G\) be a group. The author considers \(G\)-graded division algebras. Recall that this means that every homogeneous (nonzero) element is invertible. If \(\tau\colon G\to G\) is a map, and \(A=\oplus_{g\in G} A_g\) is a \(G\)-grading on \(A\), then an involution \(\psi\) on \(A\) is homogeneous with respect to \(\tau\) whenever \(\psi(A_g)\subseteq A_{\tau(g)}\) for every \(g\in G\). The author considers \(\tau\) an antiautomorphism of order 2 on \(G\).\N\NThe author describes the \(\tau\)-homogeneous involutions on the twisted group algebra \(F^\sigma T\) in terms of a condition of compatibility of \(\sigma\) and \(\tau\) (see Theorem 4 in the paper). Recall that here \(\sigma\) must be a 2-cocycle on \(T\) with values in \(F^\times\). Furthermore, the generators of the ideal of graded identities with involution on \(F^\sigma T\) are given in an explicit form (Theorem 5). Finally, the author computes the asymptotic behaviour of the corresponding codimension sequence, and computes the PI exponent in the case under consideration.