Models of representations for classical series of Lie algebras

Basic Information

• Paper ID: 2303.14757v2
• Title: Models of representations for classical series of Lie algebras
• Author: D. V. Artamonov
• Classification: math.RT (Representation Theory)
• Publication Date: April 7, 2024 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2303.14757

Abstract

A model of representations for Lie algebras is a representation that is the direct sum of all irreducible finite-dimensional representations with multiplicity one. This paper provides explicit constructions of representation models for all series of classical Lie algebras. The construction methods for different series are essentially identical. The model space is constructed as the space of polynomial solutions to a system of partial differential equations. This system is constructed from relations between minors of matrices in the corresponding Lie group. The system admits a simplified form that closely resembles the GKZ system satisfied by A-hypergeometric functions.

Research Background and Motivation

1. Core Problem: Construct representation models for classical Lie algebras, namely direct sum representations containing all irreducible finite-dimensional representations with each representation appearing exactly once.
2. Significance:
   • Representation models provide a unified framework for understanding the representation theory of Lie algebras
   • In physics, such constructions are related to the language of creation and annihilation operators
   • Provides effective tools for computing representation-theoretic objects such as Clebsch-Gordan coefficients
3. Limitations of Existing Methods:
   • Weyl's construction is primarily applicable to the A series (gl_n)
   • Physics-based methods using creation and annihilation operators encounter difficulties when generalized to the C series
   • Existing geometric models lack a unified construction method
4. Research Motivation:
   • Inspired by the work of Gelfand-Kapranov, seeking a unified construction for all classical Lie algebras
   • Establishing deep connections with the theory of hypergeometric functions
   • Providing new tools for explicit computation

Core Contributions

1. Unified Construction Method: Provides essentially identical representation model construction methods for all classical Lie algebra series (A, B, C, D)
2. A-GKZ System: Constructs a new system of partial differential equations (antisymmetrized Gelfand-Kapranov-Zelevinsky system) whose solution space constitutes the representation model
3. New Definition of Gelfand-Tsetlin Basis: Provides new definitions of Gelfand-Tsetlin graphs for B, C, D series, more suitable for formula computation
4. Relations Between Bases: Establishes triangular transformation relations between the A-GKZ model basis and the Gelfand-Tsetlin basis
5. GKZ Basis for Zhelobenko Model: Constructs explicit bases consisting of Γ-series for the Zhelobenko model

Detailed Methodology

Task Definition

Construct a representation model for the classical Lie algebra g_n, namely find a representation space V such that: $V = \bigoplus_{\lambda} V_\lambda$ where V_λ is the irreducible finite-dimensional representation with highest weight λ, with each representation appearing exactly once.

Model Architecture

1. Zhelobenko Model

Realized in the space of functions on the Lie group G through right translation action: $(Xf)(g) = f(gX)$

For B, C, D series, the highest weight vectors of irreducible representations are: $v_0 = \prod_{k=-n}^{-2} (a_{-n,...,-k})^{m_{-k}-m_{-k+1}} \cdot a_{-n,...,-2,-1}^{m_{-1}}$

2. A-GKZ System

For variables A_X (antisymmetric in X), the A-GKZ system is generated by equations: $\left(\frac{\partial^2}{\partial A_{i,Z}\partial A_{j,y,Z}} - \frac{\partial^2}{\partial A_{j,Z}\partial A_{i,y,Z}} + \frac{\partial^2}{\partial A_{y,Z}\partial A_{i,j,Z}}\right)F = 0$

together with Jacobi relations: $\left(\frac{\partial}{\partial A_X} \pm \frac{\partial}{\partial A_{-\hat{X}}}\right)F = 0$

3. Gelfand-Tsetlin Lattice

Defined as the shifted lattice Π = γ + B^{g_n}, where B^{g_n} is the lattice generated by vectors:

• v_α = e_{i,Z} - e_{j,Z} - e_{i,y,Z} + e_{j,y,Z} (Plücker relations)
• h_κ = e_X - e_{-\hat{X}} (Jacobi relations)
• Other relation vectors

Technical Innovations

1. Unified Treatment: By introducing variables B_X (√A_X for certain X), uniformly handles both integer and half-integer highest weight representations
2. System Simplification: The GKZ system as a "simplification" of the A-GKZ system, with a one-to-one correspondence between their solution spaces
3. Explicit Basis Construction: Constructs explicit bases through Γ-series: $F_\gamma(B) = \sum_{s \in \mathbb{Z}^K_{\geq 0}} (-1)^s F^s_\gamma(B)$

Experimental Setup

Theoretical Verification

The paper is primarily theoretical work, with results verified through:

1. Dimension Verification: Proves that the number of constructed Gelfand-Tsetlin graphs equals the dimension of the corresponding irreducible representation
2. Invariance Verification: Proves that the solution space of the A-GKZ system is invariant under Lie algebra action
3. Completeness Verification: Proves that the constructed model contains all irreducible finite-dimensional representations

Specific Examples

The paper provides concrete calculations for small-dimensional cases, such as:

• The o_5 case is detailed in reference 21
• Clebsch-Gordan coefficient calculations for gl_3 are given in reference 18

Experimental Results

Main Theoretical Results

Theorem 8 (A-GKZ Model): The solution space of the A-GKZ system constitutes a representation model for g_n, with a basis consisting of functions F_γ, where γ ranges over all Gelfand-Tsetlin graphs.

Theorem 11 (Basis in Zhelobenko Realization): The functions F_γ(a) constitute a basis for the Zhelobenko realization.

Theorems 13-14 (Relations with Gelfand-Tsetlin Basis): The basis F_γ of the A-GKZ model is obtained from the Gelfand-Tsetlin basis G_γ through lower triangular orthogonalization.

Key Findings

1. Dimension Formula: For fixed highest weight, the number of Gelfand-Tsetlin graphs exactly equals the dimension of the corresponding irreducible representation
2. Triangular Relations: Explicit triangular transformation relations exist between bases: $G_\gamma = \sum_{s \in \mathbb{Z}^K_{\geq 0}} d^s_\gamma \cdot F_{\gamma+sr}$
3. Hypergeometric Function Connection: The frequent appearance of hypergeometric functions and constants in representation theory is explained

Related Work

1. Weyl Construction: Classical representation construction method for the A series
2. Work of Biedenharn et al.: Physics-based methods using creation and annihilation operators
3. Zhelobenko Construction: Realization in the space of functions on Lie groups
4. Gelfand-Kapranov Work: Model construction with geometric properties
5. GKZ Theory: A-hypergeometric function theory

Conclusions and Discussion

Main Conclusions

1. Provides a unified representation model construction method for all classical Lie algebras
2. Establishes deep connections between representation theory and hypergeometric function theory
3. Provides new tools for computing representation-theoretic objects

Limitations

1. Computational Complexity: Although explicit formulas are provided, computation remains complex for large-dimensional cases
2. Exceptional Lie Algebras: Methods are primarily applicable to classical Lie algebras; generalization to exceptional Lie algebras requires further research
3. Practicality: Practical applications of theoretical results require further algorithmic optimization

Future Directions

1. Generalization to exceptional Lie algebras
2. Development of efficient computational algorithms
3. Investigation of relations with other representation-theoretic constructions
4. Applications in physics

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes deep connections between multiple mathematical branches
2. Uniformity: Provides essentially identical treatment for different Lie algebra series
3. Explicitness: Provides concrete constructions and computational formulas
4. Completeness: Theoretical results are complete and mutually supporting

Weaknesses

1. Technical Threshold: Requires deep background in Lie algebra and hypergeometric function theory
2. Computational Implementation: Lacks concrete algorithmic implementations and numerical examples
3. Application Scope: Primarily limited to theoretical research; practical applications remain to be developed

Impact

1. Academic Value: Provides new research tools and perspectives for representation theory
2. Theoretical Contribution: Unifies multiple seemingly different construction methods
3. Future Potential: Establishes foundations for further development in related fields

Applicable Scenarios

1. Theoretical research in Lie algebra representation theory
2. Symmetry analysis in mathematical physics
3. Applications in special function theory
4. Counting problems in combinatorics

References

The paper cites 32 important references, including:

• Classical works by Weyl
• Pioneering papers by Gelfand-Kapranov
• Monographs by Zhelobenko
• Important recent advances in modern representation theory

These references form the theoretical foundation of this work and reflect the author's deep understanding of the relevant fields.