10
$\begingroup$

We know that level-k Abelian 2+1D Chern-Simons theory on the $T^2$ spatial torus gives ground state degeneracy($GSD$): $$GSD=k$$

How about $GSD$ on $T^2$ spatial torus of:

SU(N)$_k$ level-k Chern-Simons theory?

SO(N)$_k$ level-k Chern-Simons theory?

Sp(N)$_k$ level-k Chern-Simons theory?

What are the available methods to compute them? such (i) algebraic geometry; (ii) Lie algebra; (iii) topological theory or (iv) quantum hall fluids parton construction?

an example of SU(2)$_k$ using this approach shows $GSD$ on $T^2$ is $$GSD=(k+1)$$

SU(3)$_k$ using this approach shows $GSD$ on $T^2$ is $$GSD=(k+1)(k+2)/2$$.

If there are examples of $G_2,F_4,E_6,E_7,E_8$ (level-k?) Chern-Simons theory and its $GSD$ on $T^2$, it will be even nicer. Reference are welcome.

$\endgroup$
  • 2
    $\begingroup$ It is possible that some points what you are asking are related in some way to the formulae $(1.3)$ ( for $SU(N)$), $(1.6)$ ( for $Sp(2N)$), $(1.7)$ (for $G_2$) of this paper $\endgroup$ – Trimok Jan 8 '14 at 10:46
  • $\begingroup$ @ Trimok, thanks, those eqs are useful. How about SO(N)? $\endgroup$ – wonderich Jan 8 '14 at 20:21
  • $\begingroup$ Hi Idear, I think you should consider to use the research-level tag for this very nice question ;-). Cheers $\endgroup$ – Dilaton Jan 9 '14 at 13:05
  • $\begingroup$ @ Dilaton, thanks a lot. I thought it is not yet "real" research-level. $\endgroup$ – wonderich Jan 9 '14 at 16:52
  • $\begingroup$ @Idear Dear Idear, I don't understand the Chern-Simons theory at all, and here I have a naive question: Consider the Schwinger-fermion mean-field (MF) approach to a lattice spin-1/2 model, if the fermionic MF Hamiltonian describes a spin-liquid (SL) ground-state (GS), where the Invariant Gauge Group (IGG) is IGG=SU(2) and it has a band Chern-number C=2 (assuming the MF Hamiltonian has two no-crossing energy bands, one is positive and the other is negative). Does this imply that the low energy effective theory of this SL GS is a $SU(2)_4$ Chern-Simons theory? $\endgroup$ – Kai Li Mar 29 '15 at 12:16
10
$\begingroup$

After stating the solution, I'll try to give some physical insights to the best of my knowledge and some more references.

The dimension of the required state space is given by the Verlinde formula, having the following form for a general compact semisimple Lie group $G$ on a Riemann surface with genus $g$ corresponding to the level $k$:

$$ \mathrm{dim} V_{g,k} =(C (k+h)^r)^{g-1} \sum_{\lambda \in \Lambda_k}\prod_{\alpha \in \Delta}(1-e^{i\frac{\alpha .(\lambda+\rho)}{k+h}})^{(1-g)}$$

(Please see Blau and Thompson equation 1.2.). Here, $C$ is the order of the center, $h$ is dual Coxeter invariant, $\rho$ is half the sum of the positive roots, and $r$ is the rank of $G$. $g$ is the genus, $\Delta$ is the set of roots and $\Lambda_k$ is the set of integrable highest weights of the Kac-Moody algebra $G_k$.

For the torus ($g=1$), this formula simplifies to:

$$ \mathrm{dim} V_{\mathrm{Torus},k} = \# \Lambda_k $$

i.e., the dimension is equal to the number of integrable highest weights of the Kac-Moody algebra $G_k$.

The integrable highest weights of a level-$k$ Kac-Moody algebra are given by the following constraints:

$$ \lambda - \mathrm{dominant}, 0 \leq \sum_{i=1}^r \frac{2 \lambda. \alpha^{(i)}}{ \alpha^{(i)}. \alpha^{(i)}}\leq k$$

Where $ \alpha^{(i)}$ are the simple roots, please see, for example, the following review by Fuchs on Kac-Moody algebras.

(My favorite reference for the representation theory of Kac-Moody algebras is the Goddard and Olive review which seems not available on line)

For example for $SU(3)_k$ whose dominant weights are $2$-tuples of nonnegative numbers $(n_1, n_2)$, the above condition reduces to:

$$\mathrm{dim} V^{SU(3)}_{\mathrm{Torus},k} = \# (n_1\geq 0, n_2\geq 0, 0\leq n_1 + n_2 \leq k )= \frac{(k+1)(k+2)}{2}$$

To perform the computations for the more general cases, one can use the seminal review by Slansky.

The Verlinde formula was discovered before the Chern-Simons theory came into the world. Originally it is the dimension of the space of conformal blocks for the WZW model. This formula has been derived in a large variety of ways, please, see footnote 26 in the Fuchs review. It is still an active research topic, please see for example a new derivation in this recent article by Gukov.

The Chern-Simons theory may be the most sophisticated example in which the Dirac quantization postulates can be carried out in spirit. (More precisely their generalization in geometric quantization). I mean starting from a phase space and utilizing a specified set of rules to associate a Hilbert space to it. In the case of the Chern-Simons theory, the phase space is the set of solutions of the classical equations of motion. The classical equations of motion require the field strength to vanish, in other words the connection to be flat.

This phase space (the moduli space of flat connections) is finite dimensional, it has a Kähler structure and it can geometrically quantized as a Kähler manifold, just like the case of the harmonic oscillator. Thus the problem can be reduced in principle to a problem in quantum mechanics.

The case of the torus is the easiest because everything can be carried out explicitly in the Abelian and the non-Abelian case, please see the following explicit construction by Bos and Nair, (a more concise treatment appears in Dunne's review).

In the case of the torus, the moduli space of flat connections in the Abelian case is also a torus and in the non-Abelian case it is:

$$\mathcal{M} = \frac{T \times T}{W}$$

where $T$ is the maximal torus of $G$. Basically, a Fock quantization can be carried away, but there is a further restriction on the admissible wave functions coming from the invariance requirement under the large gauge transformations (please see for example, the Dunne's review ). The invariant wave functions are called non-Abelian theta functions and they are just in a one to one correspondence with the Kac-Moody algebra integrable highest weights. (In the Abelian case, the wave functions are the Jacobi theta functions).

In the higher genus case, although the quantization program leading to the Verlinde formula can be carried out in principle, few explicit results are known, please see the following article by Lisa Jeffrey (and also the following lecture notes). The dimension of these moduli spaces is known. In addition. Witten in an ingenious work computed their symplectic volumes and their cohomology ring in some cases.

Witten's idea is that as in the case of a simple spin, the dimension of the Hilbert space in the semiclassical limit ($k \rightarrow \infty$) becomes proportional to the volume and the leading exponent of $k$ is the complex dimension of the moduli space (please observe for example, that in the case of $SU(3)$ on the torus, the leading exponent is $2$ which is the rank of $SU(3)$ which is the dimension of the maximal torus $T$).

$\endgroup$
  • 1
    $\begingroup$ @ David, now I understand your Eq.(4), you are saying: $$GSD=\#(n1≥0,n2≥0,0≤n1+n2≤k)=(k+1)(k+2)/2$$; i.e. counting the volume. Perhaps adding a bracket is more clear. $\endgroup$ – wonderich Jan 8 '14 at 19:26
  • 1
    $\begingroup$ @ David, if there are explicit formulas for g=1 T2 torus of SO(N) level-k Chern-Simons theory is just good enough. (in any Ref) Trimok's ref seems to provide SU(N), Sp(N) already. $\endgroup$ – wonderich Jan 8 '14 at 20:27
  • 4
    $\begingroup$ @Idear For the case of $SO(N)$ You can use equation (1b) together with the coefficients given in sections 3.B and 3.D of Gannon's article arxiv.org/abs/hep-th/0106123 to compute the integrable highest weights. I'll correct and update my answer soon. I used the symbol # for the cardinality of the set. Yes, the rank is the dimension of the Cartan matrix, it is also the dimension of the maximal torus $T$. $\endgroup$ – David Bar Moshe Jan 9 '14 at 17:36
  • 1
    $\begingroup$ @DavidBarMoshe : I am certainly wrong, but it seems to me that your formula $0 \leq \sum_{i=1}^r \frac{2 \lambda. \alpha^{(i)}}{ \alpha^{(i)}. \alpha^{(i)}}\leq k$, for instance in a rank $2$ algebra, always give the constraint $0\leq n_1 + n_2 \leq k$, while I have the feeling that it is not correct for $G_2$ (well, I based my (maybe false) intuition) on the formula $1.7$ of this paper. $\endgroup$ – Trimok Jan 9 '14 at 19:09
  • 2
    $\begingroup$ @ DavidBarMoshe (or Trimok), it will be really nice if you can shed light on the relation between C-S theory's GSD and the Cartan matrix of a given gauge group. Please. $\endgroup$ – wonderich Jan 10 '14 at 20:51
1
$\begingroup$

From https://www.math.ksu.edu/~gerald/voas/mtc/kmB2_1.html , we find that the $SO(5)_1$ Chern-Simons theory has 3-fold degeneracy on torus.

From https://www.math.ksu.edu/~gerald/voas/mtc/kmC3_1.html , we find that the $Sp(6)_1$ Chern-Simons theory has 4-fold degeneracy on torus.

You can find results for many other Chern-Simons theories.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.