[Paper Review] On the classification of rational quantum tori and the structure of their automorphism group

Karl‐Hermann Neeb|ArXiv.org|Nov 10, 2005

Algebraic structures and combinatorial models3 references3 citations

TL;DR

This paper provides a normal form for rational n-dimensional quantum tori over any field, classifying them as tensor products of skew Laurent polynomial rings and group algebras. It proves that for n=2, the automorphism group extension splits, meaning the automorphism group is a semidirect product of the grading automorphisms and the unit group's action.

ABSTRACT

An n-dimensional quantum torus is a twisted group algebra of the group $\Z^n$. It is called rational if all invertible commutators are roots of unity. In the present note we describe a normal form for rational n-dimensional quantum tori over any field. Moreover, we show that for $n = 2$ the natural exact sequence describing the automorphism group of the quantum torus splits over any field.

Motivation & Objective

• To establish a normal form for rational n-dimensional quantum tori over arbitrary fields, enabling structural classification.
• To determine isomorphism criteria for rational quantum tori expressed in the proposed normal form.
• To analyze the automorphism group of quantum tori, particularly the structure of the exact sequence involving grading and unit group actions.
• To prove that for n=2, the automorphism group extension splits, which simplifies the group structure and enables explicit description.

Proposed method

• Uses twisted group algebras over ℤⁿ to model n-dimensional quantum tori, with cocycle conditions encoding non-commutativity.
• Applies group cohomology (H²) to classify central extensions and relate them to quantum torus structures.
• Employs a decomposition of rational quantum tori into tensor products of skew Laurent polynomial rings A_q and group algebras K[ℤ^{n−2s}], based on orders of roots of unity.
• Analyzes the automorphism group via the exact sequence 1 → Hom(ℤⁿ, K×) → Aut(A) → Aut(ℤⁿ, λ) → 1, where λ is the commutator map.
• Constructs explicit lifts of GL₂(ℤ) to Aut(A_q) by solving systems of equations involving parameters r₀, r₁, r₂, s₁, s₂.
• Uses induction and zero-divisor arguments in subalgebras to prove that units in torsion-free graded quantum tori are homogeneous, implying all automorphisms are graded.

Experimental results

Research questions

• RQ1 What is a complete normal form for rational n-dimensional quantum tori over an arbitrary field?
• RQ2 Under what conditions are two quantum tori in the proposed normal form isomorphic?
• RQ3 Does the automorphism group extension sequence for quantum tori always split, particularly for n=2?
• RQ4 How can the automorphism group of a 2-dimensional rational quantum torus be explicitly described?

Key findings

• Any rational n-dimensional quantum torus over a field K is isomorphic to a tensor product of s−1 algebras A_qi, one algebra A_{q_s^m}, and a group algebra K[ℤ^{n−2s}], with specific order conditions on the q_i.
• The isomorphism class of such a quantum torus is determined by the orders of the q_i and the condition ord(q_s^m) = ord(q_s), with decreasing order divisibility.
• For n=2, the automorphism group extension always splits, so Aut(A) is a semidirect product of Hom(ℤ², K×) and Aut(ℤ², λ).
• When q² = 1, the automorphism group is isomorphic to GL₂(ℤ); otherwise, it is isomorphic to SL₂(ℤ), with explicit lifts constructed via parameter systems.
• In the case of characteristic 2, q² = 1 implies q = 1, so A_q ≅ K[ℤ²], and the GL₂(ℤ) action lifts canonically.
• For torsion-free grading groups, all units in a quantum torus are homogeneous, so all automorphisms are graded, implying Aut(A) = Aut_gr(A).