[Paper Review] Rigidity of quantum tori and the Andruskiewitsch-Dumas conjecture

Milen Yakimov|arXiv (Cornell University)|Apr 14, 2012

Algebraic structures and combinatorial models23 references4 citations

TL;DR

This paper proves the Andruskiewitsch–Dumas conjecture, establishing that the automorphism group of the positive part of the quantized universal enveloping algebra $\mathcal{U}_q^+(\mathfrak{g})$ for any finite-dimensional simple Lie algebra $\mathfrak{g}$ is isomorphic to the semidirect product of the Dynkin diagram automorphism group and a torus of rank equal to the rank of $\mathfrak{g}$. The proof hinges on a novel rigidity theorem for quantum tori, which controls automorphism groups of quantum cluster algebras and related algebras.

ABSTRACT

We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal enveloping algebra $U_q({\mathfrak{g}})$ of an arbitrary finite dimensional simple Lie algebra g is isomorphic to the semidirect product of the automorphism group of the Dynkin diagram of g and a torus of rank equal to the rank of g. The key step in our proof is a rigidity theorem for quantum tori. It has a broad range of applications. It allows one to control the (full) automorphism groups of large classes of associative algebras, for instance quantum cluster algebras.

Motivation & Objective

• To resolve the long-standing Andruskiewitsch–Dumas conjecture on the automorphism group of $\mathcal{U}_q^+(\mathfrak{g})$ for all finite-dimensional simple Lie algebras $\mathfrak{g}$.
• To establish a general classification method for automorphism groups of quantum nilpotent algebras and related structures.
• To develop a rigidity theorem for quantum tori that controls automorphisms in large classes of associative algebras, including quantum cluster algebras.
• To provide a uniform, conceptual proof that avoids case-by-case computations, unlike prior partial results.

Proposed method

• Proving a rigidity theorem for quantum tori: if a matrix $\mathbf{q}$ is multiplicatively skew-symmetric and the quantum torus $\mathcal{T}_{\mathbf{q}}$ is saturated, then certain continuous bi-finite automorphisms of its completion are controlled by the kernel of $\mathbf{q}$.
• Relating the automorphism group of $\mathcal{U}_q^+(\mathfrak{g})$ to the group of continuous bi-finite automorphisms of a completed quantum torus associated to the root system of $\mathfrak{g}$.
• Using the structure of the Gelfand–Kirillov dimension and iterated Ore extensions to compare algebras and deduce isomorphism conditions.
• Applying an involutive automorphism $\Phi$ on a tensor product of algebras to reduce the isomorphism problem to analyzing the induced action on the graded components.
• Leveraging the fact that $\Phi_0$, the linear part of $\Phi$, must arise from a torus action and diagram automorphism, as guaranteed by Proposition 6.6 and Lemma 6.7.
• Establishing that isomorphisms between $\mathcal{U}_{q,\mathbf{p}_1}^-(\mathfrak{g}_1)$ and $\mathcal{U}_{q,\mathbf{p}_2}^-(\mathfrak{g}_2)$ imply a graph isomorphism $\theta: \Gamma_1 \to \Gamma_2$ preserving the braid matrix $\mathbf{r}$.

Experimental results

Research questions

• RQ1 What is the full automorphism group of $\mathcal{U}_q^+(\mathfrak{g})$ for any finite-dimensional simple Lie algebra $\mathfrak{g}$?
• RQ2 Can the automorphism group of $\mathcal{U}_q^+(\mathfrak{g})$ be described uniformly across all simple Lie algebras without case-by-case computation?
• RQ3 How do quantum tori and their automorphisms relate to the automorphism groups of quantum nilpotent algebras?
• RQ4 Under what conditions is $\mathcal{U}_{q,\mathbf{p}_1}^-(\mathfrak{g}_1) \cong \mathcal{U}_{q,\mathbf{p}_2}^-(\mathfrak{g}_2)$?
• RQ5 Is the automorphism group of $\mathcal{U}_q^+(\mathfrak{g})$ generated solely by the torus action and Dynkin diagram automorphisms?

Key findings

• The automorphism group $\operatorname{Aut}(\mathcal{U}_q^+(\mathfrak{g}))$ is isomorphic to the semidirect product $\mathbb{T}^r \ltimes \operatorname{Aut}(\Gamma)$, where $r$ is the rank of $\mathfrak{g}$ and $\Gamma$ is its Dynkin diagram.
• The rigidity theorem for saturated quantum tori implies that if $u^n \in Z(\mathcal{T}_{\mathbf{q}})$ for $n \in \mathbb{Z}_+$, then $u \in Z(\mathcal{T}_{\mathbf{q}})$, which controls automorphisms of the algebra.
• For $\mathfrak{g}_1$ and $\mathfrak{g}_2$ simple Lie algebras, $\mathcal{U}_q^-(\mathfrak{g}_1) \cong \mathcal{U}_q^-(\mathfrak{g}_2)$ if and only if $\mathfrak{g}_1 \cong \mathfrak{g}_2$.
• An isomorphism between $\mathcal{U}_{q,\mathbf{p}_1}^-(\mathfrak{g}_1)$ and $\mathcal{U}_{q,\mathbf{p}_2}^-(\mathfrak{g}_2)$ induces a graph isomorphism $\theta: \Gamma_1 \to \Gamma_2$ such that $\mathbf{r}_2(\theta(\alpha), \theta(\alpha')) = \mathbf{r}_1(\alpha, \alpha')$ for all $\alpha, \alpha' \in \Pi_1$.
• The proof avoids ad hoc computations by using the graded structure and the induced action of automorphisms on the associated graded algebra, leading to a uniform classification.