Clearly
this cannot be correct for consider for $n \in \mathbb{N} $ the order
$A_n = \begin{bmatrix} \mathbb{C}[x] & \mathbb{C}[x] \\ (x^n) &
\mathbb{C}[x] \end{bmatrix} $
For $m \not= n $ the orders $A_n $
and $A_m $ have isomorphic Azumaya locus, but are not isomorphic as
orders. Still, the statement in the heading is _morally_ what Nikolaus
Vonessen and Zinovy
Reichstein are proving in their paper Polynomial identity
rings as rings of functions. So I better clarify what they do claim
precisely.
Let $A $ be a _Cayley-Hamilton order_, that is, a
prime affine $\mathbb{C} $-algebra, finite as a module over its center
and satisfying all trace relations holding in $M_n(\mathbb{C}) $. If $A $
is generated by $m $ elements, then its _representation variety_
$\mathbf{rep}_n~A $ has as points the m-tuples of $n \times n $ matrices
$(X_1,\ldots,X_m) \in M_n(\mathbb{C}) \oplus \ldots \oplus
M_n(\mathbb{C}) $
which satisfy all the defining relations of
A. $\mathbf{rep}_n~A $ is an affine variety with a $GL_n $-action
(induced by simultaneous conjugation in m-tuples of matrices) and has
as a Zariski open subset the tuples $(X_1,\ldots,X_m) \in
\mathbf{rep}_n~A $ having the property that they generate the whole
matrix-algebra $M_n(\mathbb{C}) $. This open subset is called the
Azumaya locus of A and denoted by $\mathbf{azu}_n~A $.
One can also define the _generic Azumaya locus_ as being the
Zariski open subset of $M_n(\mathbb{C}) \oplus \ldots \oplus
M_n(\mathbb{C}) $ consisting of those tuples which generate
$M_n(\mathbb{C}) $ and call this subset $\mathbf{Azu}_n $. In fact, one
can show that $\mathbf{Azu}_n $ is the Azumaya locus of a particular
order namely the trace ring of m generic $n \times n $ matrices.
What Nikolaus and Zinovy prove is that for an order A the Azumaya
locus $\mathbf{azu}_n~A $ is an irreducible subvariety of
$\mathbf{Azu}_n $ and that the embedding
$\mathbf{azu}_n~A
\subset \mathbf{Azu}_n $
determines A itself! If you have
worked a bit with orders this result is strange at first until you
recognize it as being essentially a consequence of Bill Schelter's
catenarity result for affine p.i.-algebras.
On the positive
side it shows that the study of orders is roughly equivalent to that of
the study of irreducible $GL_n $-stable subvarieties of $\mathbf{Azu}_n $.
On the negative side, it shows that the $GL_n $-structure of
$\mathbf{Azu}_n $ is horribly complicated. For example, it is still
unknown in general whether the quotient-variety (which is here also the
orbit space) $\mathbf{Azu}_n / GL_n $ is a rational variety.
Comments