[Paper Review] Automorphisms of quantum matrices

Stéphane Launois, T. H. Lenagan|arXiv (Cornell University)|Dec 13, 2011

Advanced Topics in Algebra5 references3 citations

TL;DR

This paper investigates the automorphism group of the algebra of 3×3 quantum matrices, ${\mathcal{O}}_q(M_3)$, proving that it is generated by scalar multiplications of the generators and the transpose automorphism. Using graded algebra techniques and properties of quantum minors, the authors show that any automorphism fixing the quantum minors and acting trivially in degree one must be the identity, thereby confirming the conjecture for $n=3$. This provides strong evidence for the general conjecture that $\mathrm{Aut}({\mathcal{O}}_q(M_n)) = \mathcal{H} \rtimes \langle \tau \rangle$.

ABSTRACT

We study the automorphism group of the algebra $\oqmn$ of $n imes n$ generic quantum matrices. We provide evidence for our conjecture that this group is generated by the transposition and the subgroup of those automorphisms acting on the canonical generators of $\oqmn$ by multiplication by scalars. Moreover, we prove this conjecture in the case when $n=3$.

Motivation & Objective

• To determine the structure of the automorphism group of the algebra ${\mathcal{O}}_q(M_n)$ of $n\times n$ quantum matrices.
• To provide evidence for the conjecture that $\mathrm{Aut}({\mathcal{O}}_q(M_n)) = \mathcal{H} \rtimes \langle \tau \rangle$, where $\mathcal{H}$ is the torus of scalar automorphisms and $\tau$ is transposition.
• To prove the conjecture in the case $n=3$ using graded arguments and properties of quantum minors.
• To analyze the action of automorphisms on normal elements, particularly quantum minors, and use their invariance to constrain automorphism structure.

Proposed method

• Use of graded algebra techniques to analyze the degree of images of generators under an automorphism, showing that $g \circ \sigma(Y_{i,\alpha}) - Y_{i,\alpha}$ lies in $R_{\geq 2}$.
• Leveraging results from Alev and Chamarie on derivations to show that such automorphisms lie in the algebra generated by derivations.
• Utilization of quantum minors, especially the distinguished ones $b_i$, to constrain automorphism behavior via their normality and invariance.
• Application of quantum Laplace expansions and quantum determinant identities to derive degree constraints and relations among images of generators.
• Systematic comparison of degrees in quantum minor relations to deduce that all $d_{i,\alpha} = 1$, implying trivial action on generators.
• Use of symmetry and contradiction arguments to eliminate cases where automorphism degrees deviate from 1, leading to a contradiction unless all degrees are 1.

Experimental results

Research questions

• RQ1 What is the structure of the automorphism group of ${\mathcal{O}}_q(M_n)$ for $n \geq 3$?
• RQ2 Can the conjecture that $\mathrm{Aut}({\mathcal{O}}_q(M_n)) = \mathcal{H} \rtimes \langle \tau \rangle$ be verified for $n=3$?
• RQ3 How do automorphisms act on quantum minors, and can their invariance be used to constrain the automorphism group?
• RQ4 What role do graded structures and degree arguments play in proving that an automorphism acts trivially on generators?
• RQ5 Are there nontrivial automorphisms of ${\mathcal{O}}_q(M_3)$ beyond scalar multiplications and transposition?

Key findings

• The automorphism group of ${\mathcal{O}}_q(M_3)$ is isomorphic to the semidirect product $\mathcal{H} \rtimes \langle \tau \rangle$, where $\mathcal{H}$ is the torus of scalar automorphisms and $\tau$ is the transpose automorphism.
• Any automorphism $\sigma$ of ${\mathcal{O}}_q(M_3)$ satisfying $\sigma(Y_{i,\alpha}) - Y_{i,\alpha} \in R_{\geq 2}$ must act as the identity on all generators $Y_{i,\alpha}$.
• The quantum minors $b_i$ for $i=1,\dots,5$ are fixed by any such automorphism, and in particular the quantum determinant $\Delta = b_3$ is invariant.
• The action of an automorphism on the generators is fully determined by its action on the quantum minors and degree constraints, leading to a contradiction unless all degrees are 1.
• The proof relies on the invariance of key quantum minors such as $[1,2|2,3]$, $[1,3|1,3]$, and $[2,3|1,2]$, which are preserved under the automorphism.
• The conclusion follows from showing that all $d_{i,\alpha} = 1$, implying $\sigma(Y_{i,\alpha}) = Y_{i,\alpha}$, thus proving the automorphism is trivial after composing with an element of $G$.