The center of the generic division ring and twisted multiplicative group actions

Let F be a field and let p be a prime. The problem we study is whether the center, Cp, of the division ring of p×p generic matrices is stably rational over F. Given a finite group G and a -lattice, we let F(M) be the quotient field of the group algebra of the abelian group M. Procesi and Formanek [Linear Multilinear Algebra 7 (1979) 203–212] have shown that for all n there is a -lattice, Gn, such that Cn is stably isomorphic to the fixed field under the action of Sn of F(Gn). Let H be a p-Sylow subgroup of Sp. Let A be the root lattice, and let . We show that there exists an action of Sp on , twisted by an element , such that is stably isomorphic to Cp. The extension α corresponds to an element of the relative Brauer group of L over LH. Since and are quasi-permutations, is stably rational over F. However, it is not known whether is stably rational over F. Thus the result represents a reduction on the problem since is quasi-permutation; however, the twist introduces a new level of complexity.