[Paper Review] A classification of H-primes of quantum partial flag varieties

Milen Yakimov|ArXiv.org|Oct 6, 2009

Advanced Algebra and Geometry8 references3 citations

TL;DR

This paper classifies the H-invariant prime ideals in quantum partial flag varieties R_q[G/P_I], establishing a bijection between these ideals and the T-orbits of symplectic leaves in the standard Poisson structure on G/P_I. The classification is parametrized by pairs (w,v) ∈ W^I × W with v ≤ w, and all such ideals are completely prime, linking quantum algebra to Poisson geometry via the orbit method.

ABSTRACT

We classify the invariant prime ideals of a quantum partial flag variety under the action of the related maximal torus. As a result we construct a bijection between them and the torus orbits of symplectic leaves of the standard Poisson structure on the corresponding flag variety. It was previously shown by K. Goodearl and the author that the latter are precisely the Lusztig strata of the partial flag variety.

Motivation & Objective

• To classify the H-invariant prime ideals in the quantized coordinate ring R_q[G/P_I] of a partial flag variety G/P_I.
• To establish a geometric correspondence between these H-primes and the T-orbits of symplectic leaves in the standard Poisson structure on G/P_I.
• To prove that all such H-primes are completely prime and to provide a parametrization via pairs (w,v) ∈ W^I × W with v ≤ w.
• To extend the classification to quantum deformations of coordinate rings of cones over G/P_I for dominant weights λ.
• To formulate and support a conjecture on inclusion relations of H-primes in terms of Weyl group elements and parabolic subgroups.

Proposed method

• Utilizes the action of the maximal torus H on R_q[G/P_I] and applies results from Goodearl and Letzter on H-prime ideals in quantum algebras.
• Employs the parametrization of H-primes via the set S_{W,I} = {(w,v) ∈ W^I × W | v ≤ w}, where W^I denotes minimal length coset representatives.
• Applies the orbit method program by relating H-primes to T-orbits of symplectic leaves in the Poisson flag variety (G/P_I, π_I), which are known to be the Lusztig strata.
• Uses the quantum deformation of the coordinate ring of the multicone over G/P_I, constructed via Lakshmibai–Reshetikhin and Soibelman, to generalize results to dominant weights λ.
• Establishes order-preserving bijections between H-invariant prime ideals in localized quantum algebras and H-invariant primes in related quantum groups U^w_−, using Ore localization and H-equivariant homomorphisms.
• Applies Mériaux–Cauchon's result on H-prime classification in U^w_− to extend the parametrization to arbitrary fields and non-root-of-unity q.

Experimental results

Research questions

• RQ1 How are the H-invariant prime ideals of R_q[G/P_I] parametrized, and what is their structure?
• RQ2 What is the geometric meaning of these H-primes in terms of the Poisson geometry of G/P_I?
• RQ3 How do the inclusion relations of H-primes relate to the Weyl group action and parabolic subgroups?
• RQ4 Can the classification be extended to quantum deformations of cones over G/P_I for dominant weights λ?
• RQ5 Is there a conjectural inclusion criterion for H-primes in terms of Weyl group elements and parabolic subgroups?

Key findings

• The H-invariant prime ideals of R_q[G/P_I] not containing the augmentation ideal are in bijection with the set S_{W,I} = {(w,v) ∈ W^I × W | v ≤ w}.
• All such H-prime ideals are completely prime, confirming a strong structural property of the quantum coordinate ring.
• The parametrization of H-primes corresponds exactly to the T-orbits of symplectic leaves in the standard Poisson structure on G/P_I, which are the Lusztig strata.
• For quantum deformations of the coordinate rings of cones over G/P_I associated to dominant weights λ, the H-primes are similarly parametrized by the same set S_{W,I}.
• The inclusion relations of H-primes are conjectured to be governed by the existence of z ∈ W_I such that w ≥ w'z and v ≤ v'z, generalizing Gorelik’s result for the full flag variety.
• The results are valid over arbitrary fields of characteristic 0 and for q not a root of unity, extending the classification beyond the complex case.