- Littelmann path model
In

mathematics , the**Littelmann path model**is a combinatorial device due to Peter Littelmann for computing multiplicities "without overcounting" in therepresentation theory of symmetrisableKac-Moody algebra s. Its most important application is to complexsemisimple Lie algebra s or equivalently compactsemisimple Lie group s, the case described in this article. Multiplicities in irreducible representations, tensor products andbranching rule s can be calculated using a coloured directed graph, with labels given by the simple roots of the Lie algebra.Developed as a bridge between the theory of crystal bases arising from the work of

Kashiwara andLusztig onquantum group s and the standard monomial theory ofC. S. Seshadri and Lakshmibai, Littelmann's path model associates to each irreducible representation a rational vector space with basis given by paths from the origin to a weight as well as a pair of**root operators**acting on paths for each simple root. This gives a direct way of recovering the algebraic and combinatorial structures previously discovered by Kashiwara and Lustzig using quantum groups.**Background and motivation**Some of the basic questions in the representation theory of complex semisimple Lie algebras or compact semisimple Lie groups going back to

Hermann Weyl include: [*harvnb|Weyl|1946*] [*harvnb|Humphreys|1994*]* For a given

dominant weight **λ**, find the weight multiplicities in the irreducible representation "L"(λ) with highest weight λ.

* For two highest weights λ, μ, find the decomposition of their tensor product "L"(λ) $otimes$ "L"(μ) into irreducible representations.

* Suppose that $mathfrak\{g\}\_1$ is the Levi component of aparabolic subalgebra of a semisimple Lie algebra $mathfrak\{g\}$. For a given dominant highest weight**λ**, determine thebranching rule for decomposing the restriction of "L"(**λ**) to $mathfrak\{g\}\_1$. [*Every complex semisimple Lie algebra $mathfrak\{g\}$ is the*]complexification of the Lie algebra of a compact connected simply connected semisimple Lie group. The subalgebra $mathfrak\{g\}\_1$ corresponds to a maximal rank closed subgroup, i.e. one containing a maximal torus.(Note that the first problem, of weight multiplicities, is the special case of the third in which the parabolic subalgebra is a Borel subalgebra. Moreover, the Levi branching problem can be embedded in the tensor product problem as a certain limiting case.)

Answers to these questions were first provided by Hermann Weyl and

Richard Brauer as consequences of explicit character formulas, [*harvnb|Weyl|1946|p=230,312. The "Brauer-Weyl rules" for restriction to maximal rank subgroups and for tensor products were developed independently by Brauer (in his thesis on the representations of the orthogonal groups) and by Weyl (in his papers on representations of compact semisimple Lie groups).*] followed by later combinatorial formulas ofHans Freudenthal ,Robert Steinberg andBertram Kostant ; see harvtxt|Humphreys|1994. An unsatisfactory feature of these formulas is that they involved alternating sums for quantities that were known a priori to be non-negative. Littelmann's method expresses these multiplicities as sums of non-negative integers "without overcounting". His work generalizes classical results based onYoung tableau x for the general linear Lie algebra $mathfrak\{gl\}$_{"n"}or the special linear Lie algebra $mathfrak\{sl\}$_{"n"}: [*harvnb|Littlewood|1950*] [*harvnb|Macdonald|1979*] [*harvnb|Sundaram|1990*] [*harvnb|King|1990*]*

Issai Schur 's result in his 1901 dissertation that the weight multiplicities could be counted in terms of column-strict Young tableaux (i.e. weakly increasing to the right along rows, and strictly increasing down columns).

* The celebratedLittlewood-Richardson rule that describes both tensor product decompositions and branching from $mathfrak\{gl\}$_{"m"+"n"}to $mathfrak\{gl\}$_{"m"}$oplus$ $mathfrak\{gl\}$_{"n"}in terms of lattice permutations of skew tableaux.Attempts at finding similar algorithms without overcounting for the other classical Lie algebras had only been partially successful. [

*Numerous authors have made contributions, including the physicist R. C. King, and the mathematicians S. Sundaram,*]I. M. Gelfand , A, Zelevinsky and A. Berenstein. The surveys of harvtxt|King|1990 and harvtxt|Sundaram|1990 give variants ofYoung tableaux which can be used to compute weight multiplicities, branching rules and tensor products with fundamental representations for the remaining classical Lie algebras. harvtxt|Berenstein|Zelevinsky|2001 discuss how their method usingconvex polytope s, proposed in 1988, is related to Littelmann paths and crystal bases.Littlemann's contribution was to give a unified combinatorial model that applied to all symmetrizable

Kac-Moody algebra s and provided explicit subtraction-free combinatorial formulas for weight multiplicities, tensor product rules andbranching rule s. He accomplished this by introducing the vector space "V" over**Q**generated by theweight lattice of aCartan subalgebra ; on the vector space of piecewise-linear paths in "V" connecting the origin to a weight, he defined a pair of "root operators" for each simple root of $mathfrak\{g\}$.The combinatorial data could be encoded in a coloured directed graph, with labels given by the simple roots.Littelmann's main motivation [

*harvnb|Littelmann|2007*] was to reconcile two different aspects of representation theory:* The standard monomial theory of Lakshmibai and Seshadri arising from the geometry of Schubert varieties.

*Crystal bases arising in the approach toquantum group s ofMasaki Kashiwara andGeorge Lusztig . Kashiwara and Lusztig constructed canonical bases for representations of deformations of theuniversal enveloping algebra of $mathfrak\{g\}$ depending on a formal deformation parameter "q". In the degenerate case when "q" = 0, these yield crystal bases together with pairs of operators corresponding to simple roots; see harvtxt|Ariki|2002.Although differently defined, the crystal basis, its root operators and crystal graph were later shown to be equivalent to Littelmann's path model and graph; see harvtxt|Hong|Kang|2002|p=xv. In the case of complex semisimple Lie algebras, there is a simplified self-contained account in harvtxt|Littelmann|1997 relying only on the properties of

root system s; this approach is followed here.**Definitions**Let "P" be the

weight lattice in the dual of aCartan subalgebra of thesemisimple Lie algebra $mathfrak\{g\}$.A

**Littelmann path**is a piecewise-linear mapping:$pi:\; [0,1]\; cap\; mathbf\{Q\}\; ightarrow\; Potimes\_\{mathbf\{Zmathbf\{Q\}$

such that π(0) = 0 and π(1) is a weight.

Let ("H"

_{ α}) be the basis of $mathfrak\{h\}$ consisting of "coroot" vectocts, dual to basis of $mathfrak\{h\}$* formed by simple roots (α). For fixed α and a path π, the function $h(t)=\; (pi(t),\; H\_alpha)$ has a minimum value "M".Define non-decreasing self-mappings "l" and "r" of [0,1] $cap$

**Q**by:$l(t)\; =\; min\_\{tle\; sle\; 1\}\; (1,h(s)-M),,,,,,,\; r(t)\; =\; 1\; -\; min\_\{0le\; sle\; t\}\; (1,h(s)-M).$

Thus "l"("t") = 0 until the last time that "h"("s") = "M" and "r"("t") = 1 after the first time that "h"("s") = "M".

Define new paths π

_{l}and π_{r}by:$pi\_l(t)\; =\; pi(t)\; +\; l(t)alpha,,,,,,,\; pi\_r(t)=\; pi(t)\; -\; r(t)\; alpha.$

The

**root operators**"e"_{α}and "f"_{α}are defined on a basis vector [π] by* $displaystyle\{\; e\_alpha\; [pi]\; =\; [pi\_r]\; \}$ if "r" (0) = 0 and 0 otherwise;

* $displaystyle\{f\_alpha\; [pi]\; =\; [pi\_l]\; \}$ if "l" (1) = 1 and 0 otherwise.

The key feature here is that the paths form a basis for the root operators like that of a

monomial representation : when a root operator is applied to the basis element for a path, the result is either 0 or the basis element for another path.**Properties**Let $mathcal\{A\}$ be the algebra generated by the root operators. Let π("t") be a path lying wholly within the positive

Weyl chamber defined by the simple roots. Using results on the path model ofC. S. Seshadri and Lakshmibai, Littelmann showed that*the $mathcal\{A\}$-module generated by [π] depends only on π(1) = λ and has a

**Q**-basis consisting of paths [σ] ;

*the multiplicity of the weight μ in the integrable highest weight representation "L"(λ) is the number of paths σ with σ(1) = μ.There is also an action of the

Weyl group on paths [π] . If α is a simple root and "k" = "h"(1), with "h" as above, then the corresponding reflection "s"_{α}acts as follows:* "s"

_{α}[π] = [π] if "k" = 0;

* "s"_{α}[π] = "f"_{α}^{"k"}[π] if "k" > 0;

* "s"_{α}[π] = "e"_{α}^{ – "k"}[π] if "k" > 0.If π is a path lying wholly inside the positive Weyl chamber, the

**Littelmann graph**$mathcal\{G\}\_pi$ is defined to be the coloured, directed graph having as vertices the non-zero paths obtained by successivly applying the operators "f"_{α}to π. There is a directed arrow from one path to another labelled by the simple root α, if the target path is obtained from the source path by applying "f"_{α}.

* The Littelmann graphs of two paths are isomorphic as coloured, directed graphs if and only if the paths have the same end point.The Littelmann graph therefore only depends on λ. Kashiwara and Joseph proved that it coincides with the "crystal graph" defined by Kashiwara in the theory of crystal bases.

**Applications****Character formula**If π(1) = λ, the multiplicity of the weight μ in "L"(λ) is the number of paths from π to vertices σ in the Littelmann graph $mathcal\{G\}\_pi$ with σ(1) = μ.

**Generalized Littlewood-Richardson rule**Let π and σ be paths in the positive Weyl chamber with π(1) = λ and σ(1) = μ. Then

:$L(lambda)\; otimes\; L(mu)\; =\; igoplus\_eta\; L(lambda\; +\; au(1)),$

where τ ranges over paths in $mathcal\{G\}\_sigma$ such that π $star$ τ lies entirely in the positive Weyl chamber andthe "concatenation" π $star$ τ (t) is defined as π(2"t") for "t" ≤ 1/2 and π(1) + τ( 2"t" – 1) for "t" ≥ 1/2.

**Branching rule**If $mathfrak\{g\}\_1$ is the Levi component of a parabolic subalgebra of $mathfrak\{g\}$ with weight lattice "P"

_{1}$supset$ "P" then:$L(lambda)|\_\{mathfrak\{g\}\_1\}\; =\; igoplus\_\{sigma\}\; L(sigma(1)),$

where the sum ranges over all paths σ in $mathcal\{G\}\_pi$ which lie wholly in the positive Weyl chamber for $mathfrak\{g\}\_1$.

**See also***

Crystal basis **Notes****References***citation|title=Representations of Quantum Algebras and Combinatorics of Young Tableaux|first= Susumu |last=Ariki|series=University Lecture Series|volume=26|publisher=American Mathematical Society|year= 2002|id =ISBN 0821832328

*citation|last=Berenstein|first= Arkady|last2=Zelevinsky|first2= Andrei|title=Tensor product multiplicities, canonical bases and totally positive varieties|journal=Invent. Math.|volume= 143 |year=2001|pages =77-128

*citation|title=Introduction to Quantum Groups and Crystal Bases|first=Jin|last= Hong|first2=Seok-Jin|last2= Kang|year= 2002|id=ISBN 0821828746

series=Graduate Studies in Mathematics|volume=42|publisher=American Mathematical Society

*citation|first=Ronald C.|last=King|title=S-functions and characters of Lie algebras and superalgebras|pages=226-261| series=IMA Vol. Math. Appl.|volume= 19|publisher= Springer-Verlag|year=1990

*citation|first=James E.|last=Humphreys|year=1994|edition=2|id=ISBN 0387900535|title=Introduction to Lie Algebras and Representation Theory|Springer-Verlag

*

*citation| last=Littelmann|first= Peter|title=Paths and root operators in representation theory|journal=Ann. of Math.|volume= 142 |year=1995|pages= 499-525

*citation|first=Peter|last=Littelmann|title=Characters of Representations and Paths in $mathfrak\{h\}$_{R}*|pages=29-49|year=1997|journal=Proceedings of Symposia in Pure Mathematics|publisher=American Mathematical Society|volume=61 [instructional course]

*citation|first=Dudley E.|last= Littlewood|authorlink=Dudley E. Littlewood|title= The Theory of Group Characters and Matrix Representations of Groups|publisher= Oxford University Press|year= 1950

*citation|first=Ian G.|last=Macdonald|authorlink=I. G. Macdonald|title=Symmetric Functions and Hall Polynomials|publisher=Oxford University Press|year=1979

*citation|last=Mathieu|first= Olivier|title=Le modèle des chemins, Exposé No. 798, |series= Séminaire Bourbaki (astérique)|volume= 37|url= http://www.numdam.org/numdam-bin/fitem?id=SB_1994-1995__37__209_0|year=1995

*citation|first=Sheila|last=Sundaram|title=Tableaux in the representation theory of the classical Lie groups|pages= 191-225

series=IMA Vol. Math. Appl.|volume= 19|publisher=Springer-Verlag |year=1990

*citation|first=Hermann|last=Weyl|authorlink=Hermann Weyl|title=The classical groups|year=1946|publisher=Princeton University Press

*Wikimedia Foundation.
2010.*