3 Remarks
We provide now a few brief, simple examples and applications to give the reader a more intuitive feel for the theorem and why it is non-trivial (i.e. beyond the abelian case). For simplicity, first take the case and specialize to the algebra-level limit (). For note for the first few representations we have from Eq.Β 1.2 that , and , , etc. Here, the dimension of the representation is . By that same definition Eq.Β 1.2, we have for other, non-highest weights also a rendering of for example, , , , that is, for , .
With this abbreviated table, note that, for example, since , and this aligns with fusion on the RHS of TheoremΒ 2.1 in that . Another example: note that follows from and the fact that . Note that is a single highest weight term as a result of cancellations due to
.
Next we use the fact that there is a positive definite Hermitian norm in the space of characters that makes them an orthonormal basis. Since the multiplicities on can be defined as and , where , taking the norm-square of both sides of Eq.Β 2.1, gives
|
|
|
(3.1) |
true level.
One may see that Eq.Β 2.1 is like a generalized Fourier decomposition and that Eq.Β 3.1 is the associated Parsevalβs identity. Note for example for SU and .
Denote the list of representations that make up the fusion ring by and form the distinguished vector . Now in the space of characters calculate the inner product of with both sides of Eq.Β 2.1. This leads to . This inequality allows us to have a constraint that is based on current algebras as the , etc. is from Eq.Β 2.1 the Lie algebra () dimension and not the quantum dimension of the representation. As such, we do not have a useful generalization of Eq.Β 2.1 to RCFTs that may not descend from current algebras (cf. Ref. [6] and Ref. [10]).
Next, let be finite but keep . For the characters are . Now the theoremβs RHS is evaluated on the variety and the level- fusion emerges. For one simple example, let and consider where the last inequality follows at from the fact that the variety is the collection of the 8th roots of unity on which .
Another straightforward application of the theorem is in the conjugacy symmetry of the sums of fusion coefficients. Limit now our discussion to current algebras admitting complex representations (For Lie algebras, , and ). In Ref.Β [2], the authors show that for any ( denotes the conjugate representation to ). Since these sums are just the result of the product of and written in terms of characters paired with through the inner product, the equality combined with Eq.Β 2.1 automatically indicates that, whether with or , the LHS has the same number of non-zero terms. Thus, appealing to the associated Parsevalβs identity we recover in this case the result without directly appealing to crossing symmetry as in Ref. [2].
Since all the denominators in Eq.Β 2.1 are the same, focusing just on the numerators, we see that the alternating sum over the Weyl group then can be interchanged with the sum over the weight vectors in the representation. Although is Weyl invariant, the alternating sum for is over the weights displaced by . Thus, in the resulting sum, only displaced weights that are part of an orbit of length will lead to a non-zero contribution. The difficulty is that in general there will be many of these which apparently according to Eq.Β 2.1 actually cancel.
Rather than tracing through the intricacy of these many cancellations, below we show that in the group theory context, Eq.Β 2.1 can be understood via the quantization of Chern-Simons (CS) theory as a diagonalization of the fusion ring of . We show that relating these to the (genus 1) modular primaries of the associated WZW model then leads to a proof of the proposed identity for the Kac-Weyl characters.
4 Brief Review of Chern-Simons Quantization on
For context, note that the lemma arose as a generalization of understanding the detailed direct quantization of CS theory [12]. We adopt an earlier explicit quantization formulation of CS theory [5] on the that was useful for making connections between varieties, chiral potentials and fusion in and coset models [4], and to a universal formula for the inverse of the handle operator in [3], the quadratic form in which the representations are orthonormal that was alluded to before. One way to view this CS quantization approach is as a explicit implementation of the RacahβSpeiser algorithm using operators on a finite Hilbert space.
Briefly, for compact gauge groups, a gauge transformation of the CS action can lead to terms proportional to the gauge group volume. As a quantum theory the integrand of the path integral should not change under this transformation, leading to the conclusion that the overall coefficient of the action must be with called the level (). In the canonical quantization framework, the Hamiltonian reduction of the CS theory on proceeds via requiring the gauge fields to satisfy the first class constraint , that is, the gauge fields are flat. On the torus this indicates that classically the remaining gauge covariant degrees of freedom may be taken to be in the Cartan subalgebra and spatially constant. To quantize the theory it is then necessary to choose a polarization; a simple choice for the 2-torus being along its the principal axes. Let ( be the Cartan subalgebra valued gauge field on the 2-torus. The CS action being first order in derivatives then implies for its quantum mechanical description that
|
|
|
(4.1) |
where and is the Cartan matrix of . The quantization of the theory then consists of constructing a Hilbert space that supports a faithful linear representation of these gauge covariant operators. We call this Hilbert space the Gaussian model, since it, very roughly, can be thought of as that of a tensor products of free fields with constraints. Then gauge invariant operators can be amalgamated from the gauge covariant operators.
An expectation of CS topological field theory is that there exists a unique βvacuumβ state and a () operator-state correspondence, that is, for that span the Hilbert space. In CS quantization as described above (in terms of non-gauge invariant operators) the Hilbert space of the CS theory will be an invariant subspace of the Gaussian Hilbert subspace described above.
Quite generally, gauge invariant operators are identified as Wilson loop operators in the CS theory, explicitly where labels the representation of the Lie algebra in which the trace is taken and ββ labels a closed path. In the associated Gaussian model we instead work directly with the non-gauge invariant components of the Wilson loop operators,
and , and being a Cartesian co-ordinate along the principal directions of the spatial torus (and each integral being along that entire homotopy loop).
As linear operators on the Gaussian Hilbert space, the can be multiplied by each other, forming a closed commutative ring called the Gaussian fusion ring; the same is true of the products themselves. The product of the and operators however must support a representation of the commutator Eq.Β 4.1
|
|
|
(4.2) |
where, for reasons that will become clear later, we have shifted the level by the Casimir element of the adjoint representation. Since Eq.Β 4.2 implies that all the operators are idempotent, a finite minimal Gaussian Hilbert space to support a faithful linear representations of these unitary operators can be built up by taking as diagonal and as βshiftβ operators. The Gaussian vacuum state is defined via for all and . The action of the operators and in the Gaussian model is and
We denote the Hilbert space of the Gaussian model by or for brevity suppress the subscript and just denote it with the understanding that it depends on the level.
The Wilson loop operators (gauge invariant) are then particular polynomials in the or . The states in associated rational conformal theory with the unique vacuum state in the CS/conformal correspondence and displaying the expected state-operator correspondence in the RCFT. These formulae indicate the RCFT Hilbert space is identified as the fully Weyl-odd subspace of the Gaussian model whereas the Wilson loop operators are Weyl even. Explicitly . One may think of Weyl transformation as βlargeβ gauge transformations; here the operators are then gauge invariant whereas the states are gauge covariant and parity-odd under Weylβs primitive permutations, a choice that still always leads to gauge invariant expectation values.
Fusion in () is via the commutative ring . On the variety Eq.Β 4.2 however, by virtue of the associated idempotency of the , this commutative ring truncates to that of , namely where are the level fusion coefficients (note the same as ). The and were themselves related to the gauge degrees of freedom by a choice of polarization, a different (physically equivalent) choiceβfor example due to a modular transformationβwill be related to this choice by a unitary transformation of the Gaussian Hilbert space which will then faithfully restrict to a unitary transformation on the RCFT Hilbert space. For example for the transformation, ( and ); since the all commute with one another, they are the diagonal representation of the βs, that is, .
The Hilbert space of the RCFT has a natural norm it inherits from the underlying βGaussian model,β that is, and the operator algebra on the unitary operators , implies that .
5 Proof of Lemma 2.3
A constructive proof of the lemma 2.3 then proceeds via realizing the characters as a mixed inner product; that is, between a state in the Gaussian Hilbert space and one in its RCFT Hilbert (sub-)space. Choose as any state the Gaussian model. Form
|
|
|
(5.1) |
where note that acts on the weight space through a sum of translations (by the weights in ). Given , then and, on general grounds as described earlier, in the Gaussian model note , a finite sum over the entire level- sublattice in the weight space defining the Gaussian model. We arrive at a rendering of the character as an inner product in the Hilbert space,
|
|
|
|
(5.2) |
|
|
|
|
(5.3) |
|
|
|
|
(5.4) |
Next, using this for we have
|
|
|
(5.5) |
Likewise using representation fusion to write
|
|
|
|
(5.6) |
|
|
|
|
(5.7) |
|
|
|
|
(5.8) |
where for the last equality we used the fact that the is even under and necessarily consists of disjoint βorbits (perhaps of different lengths but) in which each element has the same multiplicity.
Clearly combining Eq.Β 5.5 and Eq.Β 5.8 leads to the theorem (sans common denominator) for the in that,
|
|
|
(5.9) |
Recall was an arbitrary state in the Gaussian model, so Eq.Β 5.9 is the lemma 2.3 evaluated on the variety associated with the intersection of polynomials Eq.Β 4.2.
6 Proof of the Theorem: The Kac-Weyl Characters
The lemma 2.3 can be extended to an identity on the associated Kac-Weyl characters. We follow the methods and notation of [8]. The starting point is to look at a multiplet of doubly periodic functions on the torus with modular parameter , so that and delineate the spatial symmetries we mod the plane out to arrive at the torus. Clearly, to be everywhere finite and avoid strict periodicity on the torus (which would leave only the constant section), we generalize to projective periodicity. A useful starting point in that regard is to
limit ourselves to projective representations of the forgoing spatial symmetry.
To relate this covariance to the functions of the topological field theory, we can realize it as a linear redefinition of the gauge fields. Thus, in the topological field theory, the wavefunctions are valued in a space that has the rank of the gauge algebra. Let be an arbitrary vector in that space and let represent root vectors there. A projective representation that leads to a modular representation can, without loss of generality, be written in terms of functions satisfying
|
|
|
(6.1) |
where is a natural number. Let represent a weight vector. For the ADE Lie algebras, it is straightforward to show that the βGaussianβ sum,
|
|
|
(6.2) |
satisfies Eq.Β 6.1, with replacing by linear superposition of fourier components. Here is the integer lattice generated by the positive roots, and by we mean the length squared of the vector. For this , the first equation of Eq.Β 6.1 follows from the (usual) root normalization and the second follows from the fact that is preserved by shifts by any root.
So defined, these satisfy
|
|
|
(6.3) |
where the former uses the integrality of and the later is a lattice generalization of the Poisson resummation formula so that is defined as in Eq.Β 6.2 but where the sum there is over the scaled weight lattice , is the primitive eighth root of unity ([9], Eq. 5.6 pg. 195) and the Cartan matrix.
With so defined, it is now straightforward to constructβin terms of themβthe Kac-Weyl characters. We do that in terms of symmetric and antisymmetric sums over the Weyl groupβs action. Define
|
|
|
(6.4) |
The Kac-Weyl characters are then
|
|
|
(6.5) |
And we can now readily relate these characters to of the Lie algebra approach in the earlier section. First note that the satisfy the parabolic second order differential equation,
|
|
|
(6.6) |
which by linearity is true for as well and as written develops no singularities when evolving from initial data at, say, . Now forming up the identity Eq. 2.1, multiplying both sides by the common denominator we can then use the linearity and uniqueness of the solution of the Eq. 6.6 to compare the two sides of the identity. They will be the same if their boundary (initial data) agree. We then note that in the limit that where here is the analytic extension of the evaluation of the from the values in the variety defined via Eq. 4.2.
Now, to further oneβs intuition, we perform an explicit check of identity 2.1 for in the case of to further elucidate the argument we made about the Kac-Weyl extension and we do so without resorting to arguments about uniqueness and boundary conditions. The generalised characters for the have numerators that are:
|
|
|
(6.7) |
where labels representations of the conformal blocks. By a shift in note also that for representation labels and if the (implying that ).
Without loss of generality take . If , we expect from the LHS of theoremβs statement that , if however then . These are the expected fusion ring relations.