[Paper Review] Billiard Arrays and finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules

Paul Terwilliger|arXiv (Cornell University)|Aug 1, 2014

Algebraic structures and combinatorial models22 references3 citations

TL;DR

This paper introduces Billiard Arrays—equilateral triangular arrangements of one-dimensional subspaces in a vector space—showing they are in bijection with 3-tuples of totally opposite flags. It classifies these arrays up to isomorphism via value functions on a reduced index set and uses them to construct finite-dimensional irreducible modules for $U_q(\mathfrak{sl}_2)$ and $\mathfrak{sl}_2$, establishing a correspondence between module structures and clique values in the array.

ABSTRACT

We introduce the notion of a Billiard Array. This is an equilateral triangular array of one-dimensional subspaces of a vector space $V$, subject to several conditions that specify which sums are direct. We show that the Billiard Arrays on $V$ are in bijection with the 3-tuples of totally opposite flags on $V$. We classify the Billiard Arrays up to isomorphism. We use Billiard Arrays to describe the finite-dimensional irreducible modules for the quantum algebra $U_q(\mathfrak{sl}_2)$ and the Lie algebra $\mathfrak{sl}_2$.

Motivation & Objective

• To define and characterize Billiard Arrays as triangular arrangements of 1D subspaces in a vector space $V$ satisfying direct sum and non-direct sum conditions.
• To establish a bijection between Billiard Arrays on $V$ and 3-tuples of totally opposite flags on $V$, linking geometric configurations to flag theory.
• To classify Billiard Arrays up to isomorphism using value functions on $\Delta_{N-2}$, revealing a combinatorial invariant for such structures.
• To apply Billiard Arrays to construct finite-dimensional irreducible representations of $U_q(\mathfrak{sl}_2)$ and $\mathfrak{sl}_2$, providing a new realization of these modules.
• To show that the $B$-value of each white 3-clique being $q^{-2}$ determines the $U_q(\mathfrak{sl}_2)$-module structure on $V$, with irreducibility condition $q^{2i} \neq 1$ for $1 \leq i \leq N$.

Proposed method

• Define a Billiard Array as a function $B: \Delta_N \to \mathcal{P}_1(V)$ assigning 1D subspaces to locations in a triangular lattice, satisfying two axioms: direct sums along lines parallel to boundaries and non-direct sums for black 3-cliques.
• Construct a Billiard Array from three totally opposite flags $\{U_i\}, \{U'_i\}, \{U''_i\}$ via $B_\lambda = U_{N-r} \cap U'_{N-s} \cap U''_{N-t}$ for $\lambda = (r,s,t)$, proving $\dim B_\lambda = 1$.
• Reverse the construction: from a Billiard Array $B$, define three flags by summing subspaces within distance $i$ from each corner, proving they are totally opposite.
• Establish a canonical bijection between Billiard Arrays and totally opposite 3-tuples of flags, showing the constructions are inverse operations.
• Define transition maps $\tilde{B}_{\lambda,\mu}: B_\lambda \to B_\mu$ for adjacent locations via the unique third subspace in a black 3-clique, forming invertible linear maps.
• Use the transition maps and the $B$-value of white 3-cliques to define operators $X,Y,Z$ acting on $V$, and show they satisfy the defining relations of $U_q(\mathfrak{sl}_2)$ when clique values are $q^{-2}$.

Experimental results

Research questions

• RQ1 How can Billiard Arrays be formally defined as configurations of 1D subspaces in a vector space, and what axioms govern their structure?
• RQ2 What is the precise correspondence between Billiard Arrays and 3-tuples of totally opposite flags on a vector space?
• RQ3 How can Billiard Arrays be classified up to isomorphism, and what combinatorial data parameterizes their isomorphism classes?
• RQ4 How do Billiard Arrays realize finite-dimensional irreducible representations of $U_q(\mathfrak{sl}_2)$, and what role does the $B$-value of white cliques play?
• RQ5 Under what conditions does the $U_q(\mathfrak{sl}_2)$-module structure on $V$ arising from a Billiard Array become irreducible?

Key findings

• Billiard Arrays on an $(N+1)$-dimensional vector space $V$ are in canonical bijection with 3-tuples of totally opposite flags on $V$, establishing a deep structural link between flag theory and geometric configurations.
• For $N \geq 2$, the isomorphism classes of Billiard Arrays over $\mathbb{F}$ are in bijection with value functions $\Delta_{N-2} \to \mathbb{F} \setminus \{0\}$, providing a complete classification.
• When each white 3-clique in a Billiard Array has $B$-value $q^{-2}$, the array determines a unique $U_q(\mathfrak{sl}_2)$-module structure on $V$ with $X,Y,Z$ satisfying the standard quantum group relations.
• The $U_q(\mathfrak{sl}_2)$-module $V$ is irreducible if and only if $q^{2i} \neq 1$ for all $1 \leq i \leq N$, ensuring no nontrivial submodules exist.
• The $B$-flags $[1],[2],[3]$—defined as sums from each corner—coincide with the flag sequences $\{\nu^{N-i}_x V\}_{i=0}^N$, $\{\nu^{N-i}_y V\}_{i=0}^N$, $\{\nu^{N-i}_z V\}_{i=0}^N$, linking module generators to flag decompositions.
• Every finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-module of dimension $N+1$ arises via this construction from a Billiard Array with white clique values $q^{-2}$, and is uniquely determined up to isomorphism.