-
Demazure formula for $A_n$ Weyl polytope sums
Authors:
Jørgen Rasmussen,
Mark A. Walton
Abstract:
The weights of finite-dimensional representations of simple Lie algebras are naturally associated with Weyl polytopes. Representation characters decompose into multiplicity-free sums over the weights in Weyl polytopes. The Brion formula for these Weyl polytope sums is remarkably similar to the Weyl character formula. Moreover, the same Lie characters are also expressible as Demazure character form…
▽ More
The weights of finite-dimensional representations of simple Lie algebras are naturally associated with Weyl polytopes. Representation characters decompose into multiplicity-free sums over the weights in Weyl polytopes. The Brion formula for these Weyl polytope sums is remarkably similar to the Weyl character formula. Moreover, the same Lie characters are also expressible as Demazure character formulas. This motivates a search for new expressions for Weyl polytope sums, and we prove such a formula involving Demazure operators. It applies to the Weyl polytope sums of the simple Lie algebras $A_n$, for all dominant integrable highest weights and all ranks $n$.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Polytope Expansion of Lie Characters and Applications
Authors:
Mark A. Walton
Abstract:
The weight systems of finite-dimensional representations of complex, simple Lie algebras exhibit patterns beyond Weyl-group symmetry. These patterns occur because weight systems can be decomposed into lattice polytopes in a natural way. Since lattice polytopes are relatively simple, this decomposition is useful, in addition to being more economical than the decomposition into single weights. An ex…
▽ More
The weight systems of finite-dimensional representations of complex, simple Lie algebras exhibit patterns beyond Weyl-group symmetry. These patterns occur because weight systems can be decomposed into lattice polytopes in a natural way. Since lattice polytopes are relatively simple, this decomposition is useful, in addition to being more economical than the decomposition into single weights. An expansion of characters into polytope sums follows from the polytope decomposition of weight systems. We study this polytope expansion here. A new, general formula is given for the polytope sums involved. The combinatorics of the polytope expansion are analyzed; we point out that they are reduced from those of the Weyl character formula (described by the Kostant partition function) in an optimal way. We also show that the weight multiplicities can be found easily from the polytope multiplicities, indicating explicitly the equivalence of the two descriptions. Finally, we demonstrate the utility of the polytope expansion by showing how polytope multiplicities can be used in the calculation of tensor product decompositions, and subalgebra branching rules.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Fusion multiplicities as polytope volumes: N-point and higher-genus su(2) fusion
Authors:
Jorgen Rasmussen,
Mark A. Walton
Abstract:
We present the first polytope volume formulas for the multiplicities of affine fusion, the fusion in Wess-Zumino-Witten conformal field theories, for example. Thus, we characterise fusion multiplicities as discretised volumes of certain convex polytopes, and write them explicitly as multiple sums measuring those volumes. We focus on su(2), but discuss higher-point (N>3) and higher-genus fusion i…
▽ More
We present the first polytope volume formulas for the multiplicities of affine fusion, the fusion in Wess-Zumino-Witten conformal field theories, for example. Thus, we characterise fusion multiplicities as discretised volumes of certain convex polytopes, and write them explicitly as multiple sums measuring those volumes. We focus on su(2), but discuss higher-point (N>3) and higher-genus fusion in a general way. The method follows that of our previous work on tensor product multiplicities, and so is based on the concepts of generalised Berenstein-Zelevinsky diagrams, and virtual couplings. As a by-product, we also determine necessary and sufficient conditions for non-vanishing higher-point fusion multiplicities. In the limit of large level, these inequalities reduce to very simple non-vanishing conditions for the corresponding tensor product multiplicities. Finally, we find the minimum level at which the higher-point fusion and tensor product multiplicities coincide.
△ Less
Submitted 14 December, 2001; v1 submitted 26 April, 2001;
originally announced April 2001.
-
su(N) tensor product multiplicities and virtual Berenstein-Zelevinsky triangles
Authors:
Jorgen Rasmussen,
Mark A. Walton
Abstract:
Information on su(N) tensor product multiplicities is neatly encoded in Berenstein-Zelevinsky triangles. Here we study a generalisation of these triangles by allowing negative as well as non-negative integer entries. For a fixed triple product of weights, these generalised Berenstein-Zelevinsky triangles span a lattice in which one may move by adding integer linear combinations of so-called virt…
▽ More
Information on su(N) tensor product multiplicities is neatly encoded in Berenstein-Zelevinsky triangles. Here we study a generalisation of these triangles by allowing negative as well as non-negative integer entries. For a fixed triple product of weights, these generalised Berenstein-Zelevinsky triangles span a lattice in which one may move by adding integer linear combinations of so-called virtual triangles. Inequalities satisfied by the coefficients of the virtual triangles describe a polytope. The tensor product multiplicities may be computed as the number of integer points in this convex polytope. As our main result, we present an explicit formula for this discretised volume as a multiple sum. As an application, we also address the problem of determining when a tensor product multiplicity is non-vanishing. The solution is represented by a set of inequalities in the Dynkin labels. We also allude to the question of when a tensor product multiplicity is greater than a given non-negative integer.
△ Less
Submitted 12 December, 2001; v1 submitted 30 October, 2000;
originally announced October 2000.
-
Schubert Calculus and Threshold Polynomials of Affine Fusion
Authors:
S. E. Irvine,
M. A. Walton
Abstract:
We show how the threshold level of affine fusion, the fusion of Wess-Zumino-Witten (WZW) conformal field theories, fits into the Schubert calculus introduced by Gepner. The Pieri rule can be modified in a simple way to include the threshold level, so that calculations may be done for all (non-negative integer) levels at once. With the usual Giambelli formula, the modified Pieri formula deforms t…
▽ More
We show how the threshold level of affine fusion, the fusion of Wess-Zumino-Witten (WZW) conformal field theories, fits into the Schubert calculus introduced by Gepner. The Pieri rule can be modified in a simple way to include the threshold level, so that calculations may be done for all (non-negative integer) levels at once. With the usual Giambelli formula, the modified Pieri formula deforms the tensor product coefficients (and the fusion coefficients) into what we call threshold polynomials. We compare them with the q-deformed tensor product coefficients and fusion coefficients that are related to q-deformed weight multiplicities. We also discuss the meaning of the threshold level in the context of paths on graphs.
△ Less
Submitted 18 April, 2000; v1 submitted 7 April, 2000;
originally announced April 2000.
-
On Fusion Algebras and Modular Matrices
Authors:
T. Gannon,
M. A. Walton
Abstract:
We consider the fusion algebras arising in e.g. Wess-Zumino-Witten conformal field theories, affine Kac-Moody algebras at positive integer level, and quantum groups at roots of unity. Using properties of the modular matrix $S$, we find small sets of primary fields (equivalently, sets of highest weights) which can be identified with the variables of a polynomial realization of the $A_r$ fusion al…
▽ More
We consider the fusion algebras arising in e.g. Wess-Zumino-Witten conformal field theories, affine Kac-Moody algebras at positive integer level, and quantum groups at roots of unity. Using properties of the modular matrix $S$, we find small sets of primary fields (equivalently, sets of highest weights) which can be identified with the variables of a polynomial realization of the $A_r$ fusion algebra at level $k$. We prove that for many choices of rank $r$ and level $k$, the number of these variables is the minimum possible, and we conjecture that it is in fact minimal for most $r$ and $k$. We also find new, systematic sources of zeros in the modular matrix $S$. In addition, we obtain a formula relating the entries of $S$ at fixed points, to entries of $S$ at smaller ranks and levels. Finally, we identify the number fields generated over the rationals by the entries of $S$, and by the fusion (Verlinde) eigenvalues.
△ Less
Submitted 26 September, 1997;
originally announced September 1997.
-
Demazure Characters and Affine Fusion Rules
Authors:
M. A. Walton
Abstract:
The Demazure character formula is applied to the Verlinde formula for affine fusion rules. We follow Littelmann's derivation of a generalized Littlewood-Richardson rule from Demazure characters. A combinatorial rule for affine fusions does not result, however. Only a modified version of the Littlewood-Richardson rule is obtained that computes an (old) upper bound on the fusion coefficients of af…
▽ More
The Demazure character formula is applied to the Verlinde formula for affine fusion rules. We follow Littelmann's derivation of a generalized Littlewood-Richardson rule from Demazure characters. A combinatorial rule for affine fusions does not result, however. Only a modified version of the Littlewood-Richardson rule is obtained that computes an (old) upper bound on the fusion coefficients of affine $A_r$ algebras. We argue that this is because the characters of simple Lie algebras appear in this treatment, instead of the corresponding affine characters. The Bruhat order on the affine Weyl group must be implicated in any combinatorial rule for affine fusions; the Bruhat order on subgroups of this group (such as the finite Weyl group) does not suffice.
△ Less
Submitted 14 December, 1996;
originally announced December 1996.
-
Galois Relations on Knot Invariants
Authors:
T. Gannon,
M. A. Walton
Abstract:
We discuss the existence of Galois relations obeyed by certain link invariants. Some of these relations have recently been identified and exploited within the context of CFT and Lie/Kac-Moody representation theory. These relations should aid in computing knot invariants. They probably have an interpretation in terms of quasitriangular (quasi-)Hopf algebras. They could also have a topological int…
▽ More
We discuss the existence of Galois relations obeyed by certain link invariants. Some of these relations have recently been identified and exploited within the context of CFT and Lie/Kac-Moody representation theory. These relations should aid in computing knot invariants. They probably have an interpretation in terms of quasitriangular (quasi-)Hopf algebras. They could also have a topological interpretation, and may serve as a concrete model for related ideas of Degiovanni, Drinfeld, Grothendieck, Ihara, and others.
△ Less
Submitted 26 September, 1995; v1 submitted 17 September, 1995;
originally announced September 1995.
-
Berenstein-Zelevinsky triangles, elementary couplings and fusion rules
Authors:
L. Begin,
Anatol N. Kirillov,
P. Mathieu,
M. A. Walton
Abstract:
We present a general scheme for describing su(N)_k fusion rules in terms of elementary couplings, using Berenstein-Zelevinsky triangles. A fusion coupling is characterized by its corresponding tensor product coupling (i.e. its Berenstein-Zelevinsky triangle) and the threshold level at which it first appears. We show that a closed expression for this threshold level is encoded in the Berenstein-Z…
▽ More
We present a general scheme for describing su(N)_k fusion rules in terms of elementary couplings, using Berenstein-Zelevinsky triangles. A fusion coupling is characterized by its corresponding tensor product coupling (i.e. its Berenstein-Zelevinsky triangle) and the threshold level at which it first appears. We show that a closed expression for this threshold level is encoded in the Berenstein-Zelevinsky triangle and an explicit method to calculate it is presented. In this way a complete solution of su(4)_k fusion rules is obtained.
△ Less
Submitted 18 January, 1993;
originally announced January 1993.
