Two of the most fundamental theorems of noncommutative algebras are the Wedderburn-Malcev decomposition and the Artin-Wedderburn theorem. The first states that if is any Artinian algebra and
is its Jacobson radical, then
is semisimple Artinian, and there is a vector space decomposition
. The second states that any semisimple Artinian (and in particular finite dimensional) algebra is isomorphic to a product of matrix algebras over division algebras. In a sense, these two theorems tells us that (up to a radical) the building blocks of noncommutative algebras are the algebras of the form
where
is a division algebra over our base field
. Our goal is try to understand these algebras.
The best known noncommutative division algebra is the real quaternion algebra . Recall that we have an embedding of the real quaternions inside
as follows
Since the basis over of the quaternions is also a basis over
of
, we conclude that the scalar extension
is isomorphic to
.
This is true in general. Every finite dimensional division algebra central over a field
becomes a matrix algebra after suitable scalar extension, or equivalently can be embedded “nicely” inside
for a suitable
. Thus, we are left to study these “special” subalgebras of matrix algebras (usually over a smaller field) which are division algebra, or, more generally, central simple algebras (CSA), namely are isomorphic to
where
.
In order to get all of these algebras, consider the generic matrices where the
are algebraically independent over
. Clearly any central simple algebra over
, is a homomorphic image of
– just specialize the variables so that the generic matrices are sent to the generators of the CSA. Moreover, a theorem of Amitsur shows that it is enough to take two generic matrices
. There are of course more homomorphic images (for example, the trivial algebra), but it can be shown that after inverting a suitable central element, the only images are CSA of degree
(further details can be found in [1]).
This new algebra is called the generic division algebra, and with a bit more work it can be shown to have a specialization (homomorphic image followed by localization) to any CSA of degree over any field extension of
– we denote this class by
. This suggests the following method to study this class of algebras – first show that the generic algebra satisfy a “nice” property, and second, show that this property is inherited by specialization and conclude that this property is satisfied by all CSA of degree
.
One of these “nice” properties is the structure of a crossed product which we now recall. Let be a
-Galois extension and
be a normalized 2-cocycle, i.e. it satisfies
The -crossed product
is defined to be the
-vector space
where the multiplication is defined by
It is well known that any -crossed product is a CSA, but the other direction is not true in general. The first proof for this claim was given by Amitsur who showed that for some suitable
there are CSA
which are crossed products only with groups
respectively. It follows that the generic algebra is not a
-crossed product for any group
, since otherwise both
would be a crossed product with the same group (see [2]).
While the generic division algebra is not a central simple algebra, it is an Azumaya algebra which is a generalization of CSA. A good intuition about the structure of the generic division algebra (and Azumaya algebras in general), is to think of it as the algebra . The simple homomorphic images are matrix algebras over field extensions of
. To classify the homomorphic images is equivalent to classifying the ideals of this algebra. An easy exercise shows that each such ideal is induced by an ideal of the center, so we actually need to understand the center which is a commutative algebra. This property, that ideals comes from the center, is one of the defining properties of Azumaya algebra and hence of the generic division algebra.
Let be the generic division algebra of degree
over
, and let
be the fraction field of the center of
. As the argument above suggest it is interesting to understand the extension
. If the center of
is a polynomial ring (or a localized polynomial ring) which is the free object of commutative algebras, then
is a rational (i.e. purely transcendental) extension. Thus, the main question is whether this extension is always rational, and if not how close is it to being rational.
For the base field the rationality for
was already proved by Sylvester in 1883. 80 years later, it was reproved in a much further generality by Procesi who also showed that
is always unirational (can be embedded in a rational extension). The rationality for the
cases was proved by Formanek. The stable rationality of
was proved by Le Bruyn and Bessenrodt and another more elementary proof was given by Beneish. Finally, it was shown independently by Schofield, Katsylo and Saltman that
is stably rational over the field of fractions of
whenever
, thus reducing the problem to the prime power cases. Finally, Saltman showed that for
prime, the extension is retract rational (if rational extensions are the “free” objects, that retract rational extensions are the “projective” objects). For a comprehensive survey on the center of the generic division algebra with the proper definitions and references we refer the reader to [3].
The generic crossed product
As mentioned before, every crossed product is a CSA. While it is not true in general that every CSA is isomorphic to a crossed product it is always equivalent to one as follows. The Artin-Wedderburn theorem, mentioned at the beginning, also states that if where
are division algebras, then
and
. This suggests the equivalence relation
on central simple algebras if
for some positive integers
. One can show that if
are
central simple, then so is
. The set of CSA over
modulo the equivalence relation
and with the product
is a group which is called the Brauer group and is denoted by
. With this notation we have that every CSA is Brauer equivalent to a
-crossed product. It follows that up to this equivalence relation, it is enough to consider a “generic crossed products” instead of the generic division algebra.
The idea here is to consider graded generic matrices instead of general matrices. Fix a group and consider the
-generic matrix defined by
As in the standard case, one can define the generic -crossed product to be the algebra generated by all of the
-generic matrices for
, after inverting a suitable central element. In this work we consider the field of fractions of the center of the generic
-crossed product, which we denote by
, and ask how close it is to being a rational extension of the base field
.
While the center of the generic crossed product (and generic algebra) can be thought of as the matrices invariant under conjugation, an approach going to back to the works of Procesi and Formanek show that we can actually reduce the problem to invariants under a finite group (for full details, see for example [4]).
Let us consider an example of this phenomenon. Let be the cyclic group of order 3. A central element is a scalar matrix. Consider the following
The indices of the elements on the diagonal are of the form . In other words, considering the full Cayley graph of the group
, these pair of indices correspond to cycles in this graph. We have the natural
action defined by
and we note that the elements on the diagonal matrix above are exactly a
orbit. It follows that the matrix is central, namely a scalar matrix, if and only if its elements on the diagonal are invariant under the
-action.
To make this more precise, consider the field and its subfield
generated by
and monomial elements that correspond to cycles in the Cayley graph (i.e.
). This field is a field of rational functions in
variables over
(which is the number of edges in the Cayley graph minus the number of edges in a spanning tree, or equivalently the number of edge we need to remove to kill all the cycles). The group
acts on the elements
as above and induces a
action on
. Under this action it can be shown that the center of the generic
-crossed product is exactly the invariants
. In the generic division algebra, a similar phenomenon happens, just take the full graph on
vertices with the
action on it.
Remark: A very similar object is the generic -Galois extension. This time we start with the field
with the
-action
and the question is whether
is a rational (or close to rational) extension. This is called Noether’s problem and a positive solution to it will produce a positive solution to the inverse Galois problem over the field
. Just to have some intuition, the field
is the fraction field of the ring
which can specialize to any
-Galois extension of
– just send the elements
to some normal basis (i.e. a basis which is an orbit under the Galois action).
Known results:
We will assume that always contains a primitive root of unity of the order of the exponent of the group
. With this assumption it is easily shown that for cyclic groups
, the extension
is always rational. More interesting results were given by Snider in [5] that proved rationality for the Klein four group, and stable rationality for Dihedral groups of order
where
is odd. Furthermore, Saltman proved in [1] that if
is retract rational, then all the Sylow subgroups of
are not only abelian, but are a product of at most two cyclic subgroup.
Our results [6]
Paralleling Saltman’s result for the generic division algebra of prime degree, we have proved the following:
Theorem: Suppose that every Sylow subgroup of is cyclic. Then
is a retract rational extension.
Remark: It is known that the property that any Sylow subgroup of is cyclic, is equivalent to
being isomorphic to a semidirect product of cyclic groups
where
.
Recall that in the generic division algebra it is enough to consider the prime power case. Its parallel for crossed products is:
Theorem: Let be finite groups of coprime orders. Then
is stably equivalent to the fraction field of
. In particular, if bote
are stably rational over
then so is
.
Using Snider’s result on the Klein four group, and the rationality for cyclic groups, we conclude
Corollary: Let be an odd number. Then
is stably rational over
.
Finally, we generalizes Snider’s result about Dihedral groups.
Theorem: Let such that
. Then
is stably rational. If
(i.e.
is Dihedral), then the extension is rational.
Bibliography:
- D.J. Saltman, Lectures on division algebras, J Vol. 94. American Mathematical Soc., 1999.
- S. A. Amitsur, On central division algebras, Israel journal of mathematics 12.4 (1972): 408-420.
- L. Le Bruyn, Centers of generic division algebras, the rationality problem 1965–1990, Israel Journal of Mathematics 76.1-2 (1991): 97-111.
- E. Formanek, The Polynomial Identities and Invariants of n x n Matrices, American Mathematical Society (1992).
- R. L. Snider, Is the Brauer group generated by cyclic algebras?, Ring Theory Waterloo 1978 Proceedings, University of Waterloo, Canada, 12–16 June, 1978. Springer Berlin Heidelberg, 1979. 279-301.
- O. David, The center of the generic
-crossed product, arXiv:1401.4717v3 [math.RA]