Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Lusztig's Quantum Root Vectors and a Dolbeault Complex for the A-Series Full Quantum Flag Manifolds

Réamonn Ó Buachalla, Petr Somberg

TL;DR

This work extends the noncommutative Dolbeault geometry of quantum flag manifolds to the full $A$-series by using Lusztig's positive root vectors to define a quantum tangent space for $\mathcal{O}_q(\mathrm{F}_{n+1})$, producing a direct $q$-deformation of the anti-holomorphic Dolbeault complex with classical dimension. It establishes a direct quantum Borel--Weil theorem realizing all finite-dimensional type-1 irreducible representations of $U_q(\mathfrak{sl}_{n+1})$ within this Dolbeault framework, via a quantum principal bundle presentation and holomorphic line modules. The construction restricts to quantum Grassmannians to recover the Heckenberger--Kolb anti-holomorphic Dolbeault complex, while for non-nice decompositions it reveals nonclassical dimensions and motivates conjectures that nice decompositions are the only ones with well-behaved noncommutative geometry. The paper also develops a rich algebraic underpinning, showing the quantum exterior algebra is Frobenius and Koszul, and provides a systematic treatment of embeddings, higher-order forms, and extensions of Majid’s framing theorem in the quantum homogeneous-space setting.

Abstract

For the Drinfeld-Jimbo quantum enveloping algebra $U_q(\frak{sl}_{n+1})$, we show that the span of Lusztig's positive root vectors, with respect to Littlemann's nice reduced decompositions of the longest element of the Weyl group, form quantum tangent spaces for the full quantum flag manifold $\mathcal{O}_q(\mathrm{F}_{n+1})$. The associated differential calculi are direct $q$-deformations of the anti-holomorphic Dolbeault complex of the classical full flag manifold $\mathrm{F}_{n+1}$. As an application we establish a quantum Borel-Weil theorem for the $A_n$-series full quantum flag manifold, giving a noncommutative differential geometric realisation of all the finite-dimensional type-$1$ irreducible representations of $U_q(\frak{sl}_{n+1})$. Restricting this differential calculus to the quantum Grassmannians is shown to reproduce the celebrated Heckenberger-Kolb anti-holomorphic Dolbeault complex. Lusztig's positive root vectors for non-nice decompositions of the longest element of the Weyl group are examined for low orders, and are exhibited to either not give tangents spaces, or to produce differential calculi of non-classical dimension.

Lusztig's Quantum Root Vectors and a Dolbeault Complex for the A-Series Full Quantum Flag Manifolds

TL;DR

This work extends the noncommutative Dolbeault geometry of quantum flag manifolds to the full -series by using Lusztig's positive root vectors to define a quantum tangent space for , producing a direct -deformation of the anti-holomorphic Dolbeault complex with classical dimension. It establishes a direct quantum Borel--Weil theorem realizing all finite-dimensional type-1 irreducible representations of within this Dolbeault framework, via a quantum principal bundle presentation and holomorphic line modules. The construction restricts to quantum Grassmannians to recover the Heckenberger--Kolb anti-holomorphic Dolbeault complex, while for non-nice decompositions it reveals nonclassical dimensions and motivates conjectures that nice decompositions are the only ones with well-behaved noncommutative geometry. The paper also develops a rich algebraic underpinning, showing the quantum exterior algebra is Frobenius and Koszul, and provides a systematic treatment of embeddings, higher-order forms, and extensions of Majid’s framing theorem in the quantum homogeneous-space setting.

Abstract

For the Drinfeld-Jimbo quantum enveloping algebra , we show that the span of Lusztig's positive root vectors, with respect to Littlemann's nice reduced decompositions of the longest element of the Weyl group, form quantum tangent spaces for the full quantum flag manifold . The associated differential calculi are direct -deformations of the anti-holomorphic Dolbeault complex of the classical full flag manifold . As an application we establish a quantum Borel-Weil theorem for the -series full quantum flag manifold, giving a noncommutative differential geometric realisation of all the finite-dimensional type- irreducible representations of . Restricting this differential calculus to the quantum Grassmannians is shown to reproduce the celebrated Heckenberger-Kolb anti-holomorphic Dolbeault complex. Lusztig's positive root vectors for non-nice decompositions of the longest element of the Weyl group are examined for low orders, and are exhibited to either not give tangents spaces, or to produce differential calculi of non-classical dimension.
Paper Structure (45 sections, 49 theorems, 307 equations)

This paper contains 45 sections, 49 theorems, 307 equations.

Table of Contents

  1. Introduction
  2. Summary of the Paper
  3. Preliminaries
  4. Covariant Differential Calculi over Hopf algebras
  5. Tangent Spaces and Two-Sided Hopf Modules
  6. Generating Relations of the Maximal Prolongation
  7. A First-Order Differential Calculus for $\mathcal{O}_q(\mathrm{SU}_{n+1})$
  8. The Lusztig Root Vectors for $U_q(\mathfrak{sl}_{n+1})$
  9. The Module Structure of the Cotangent Space $\Lambda^{(0,1)}_q$
  10. Relations of the Maximal Prolongation
  11. Some Low Rank Examples
  12. A Filtration for the Quantum Exterior Algebra
  13. The Frobenius and Koszul Properties
  14. The Heckenberger--Kolb Dolbeault Complex for the Quantum Grassmannians
  15. Some Preliminaries on Quantum Homogeneous Spaces
  16. ...and 30 more sections

Key Result

Lemma 3.1

Let $X$ be an element of $U_q(\mathfrak{sl}_{n+1})$ whose coproduct admits a presentation $\Delta(X) = X_{(1)} \otimes X_{(2)}$ such that the second tensor factor of each summand is a weight vector of weight $\rho$, with respect to the right adjoint action of $U_q(\mathfrak{sl}_{n+1})$ on itself. Th

Theorems & Definitions (107)

  • Lemma 3.1
  • proof
  • Example 3.2
  • Proposition 3.3
  • proof
  • Corollary 3.4
  • proof
  • Corollary 3.5
  • Lemma 3.6
  • proof
  • ...and 97 more