Search arXivSearch

arXiv · math/0012092

On harmonic elements for semi-simple Lie algebra

Abstract

Let ${\goth g}$ be a semi-simple complex Lie algebra, ${\goth g}={\goth n^-}\oplus{\goth h}\oplus{\goth n}$ its triangular decomposition. Let $U({\goth g})$, resp. $U_q({\goth g})$, be its enveloping algebra, resp. its quantized enveloping algebra. This article gives a quantum approach to the combinatorics of (classical) harmonic elements and Kostant's generalized exponents for ${\goth \g}$. On the one hand, we give specialization results concerning harmonic elements, central elements of $U_q({\goth g})$, and the Joseph and Letzter's decomposition. For ${\goth g}={\goth sl}_{n+1}$, we describe the specialization of quantum harmonic space in the ${\math N}$-filtered algebra $U({\goth sl}_{n+1})$ as the materialization of a theorem of Lascoux-Leclerc-Thibon. This enables us to study a Joseph-Letzter decomposition in the algebra $U({\goth sl}_{n+1})$. On the other hand, we prove that highest weight harmonic elements can be calculated in terms of the dual of Lusztig's canonical base. In the simply laced case, we parametrize a base of $\n$-invariants of minimal primitive quotients by the set $\co$ of integral points of a convex cone.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Philippe Caldero. 2000-12-12. On harmonic elements for semi-simple Lie algebra. https://arxiv.org/abs/math/0012092

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the derived Hall algebra of a graded gentle one-cycle algebra I: the triangle structure

Under a mild condition, the perfect derived category and the finite-dimensional derived category of a graded gentle one-cycle algebra are described as twisted root categories of certain infinite quivers of type $\mathbb{A}_\infty^\infty$. As a consequence, it is shown that if $\ct$ is the perfect (respectively, finite-dimensional) derived category of such a graded gentle one-cycle algebra, then its triangle structure is up to triangle equivalence determined by the underlying additive category.

math.RT

Towards Monoidal Categorifications of Twisted Products of Flag Varieties

Let $G$ be a simple, simply connected algebraic group of simply-laced type. For a positive braid word $β$ and $v\leδ(β)$, we study the cluster algebra associated with the twisted product of flag varieties $\mathring{\mathcal Z}_{v,β}$. We compare its Bao--Ye seed with a right-inductive weave seed and obtain local acyclicity and equality of the cluster and upper cluster algebras. Using Lusztig parameters in a bosonic extension algebra, we construct a monoidal subcategory $\mathscr C_{v,β}$ of a Hernandez--Leclerc category and prove that its Grothendieck ring contains the integral cluster algebra with noninvertible frozen variables. Every cluster monomial is the class of a real simple object of $\mathscr C_{v,β}$. The reverse inclusion, which would give a full monoidal categorification, is left as a conjecture.

math.RT

Linear independence of global monomials on positive spaces

In this paper, we prove that global monomials on positive spaces are linearly independent, extending the basic fact that Laurent monomials in a Laurent polynomial algebra are linearly independent to a much more general setting. We also establish a global monomial avoidance phenomenon for positive spaces. Our approach is based on the study of Newton polytopes of Laurent expansions. These general results apply to positive spaces arising from cluster algebras (including the totally sign-skew-symmetric case), $Y$-patterns, and Laurent phenomenon algebras whose clusters are related by subtraction-free birational transformations. In particular, we obtain the proper Laurent monomial property and the linear independence of cluster monomials for all cluster algebras and Laurent phenomenon algebras under consideration. Notably, the proper Laurent monomial property follows from the global monomial avoidance phenomenon for positive spaces.

math.RT