# How many embeddings are there of super-Virasoro into n Fermions?

+ 6 like - 0 dislike
84 views

What is the space of N=1 super-Virasoro vertex superalgebras inside the c=n/2 free fermion vertex superalgebra? [Said differently, how many Neveu-Schwartz vectors are there in n fermions?] Answers in terms of VOAs, CFTs, or nets all welcome, and any interpretation of "N=1 super" that makes you happy is okay.

This post imported from StackExchange MathOverflow at 2015-04-16 11:42 (UTC), posted by SE-user cdouglas
asked Oct 19, 2009
retagged Apr 16, 2015
Just to try to understand the question better, are you implicitly demanding that the free fermions be primaries wrt the resulting Virasoro vector?

This post imported from StackExchange MathOverflow at 2015-04-16 11:42 (UTC), posted by SE-user José Figueroa-O'Farrill
I'd like the Virasoro inside the super-Virasoro to agree with the Virasoro of the free fermions (that is the n-th tensor power of the Virasoro of the free fermion). The 'space' is then the space of extensions of the given Vir to an sVir.

This post imported from StackExchange MathOverflow at 2015-04-16 11:42 (UTC), posted by SE-user cdouglas

+ 7 like - 0 dislike

I would be very surprised if this were not known, but I cannot find a suitable reference, so I did the calculation as the question seemed interesting to me. I believe that this is now the full answer to the question.

Let $V$ be an $n$-dimensional real vector space with a symmetric inner product $\langle-,-\rangle$. Formulae are easier to write if we choose a basis $(e_i)$ for $V$ and let $$g_{ij} = \langle e_i,e_j\rangle.$$

Let $\psi_i$ denote the corresponding free fermion, with OPE $$\psi_i(z) \psi_j(w) = \frac{g_{ij} 1}{z-w} + \mathrm{reg}$$

The standard Virasoro vector is then $$T = 1/2 g^{ij} \partial \psi_i \psi_j,$$ where the product is the normal-ordered product, which in my conventions associates to the left, so that $ABC = (A(BC))$. $T$ obeys the standard Virasoro OPE with $c = n/2$: $$T(z) T(w) = \frac{\frac{n}4 1}{(z-w)^4} + 2 \frac{T(w)}{(z-w)^2} + \frac{\partial T(w)}{z-w} + \mathrm{reg}$$

The fields $\psi_i(z)$ are primary with weight $\frac12$ relative to $T$.

Then you are asking about the existence of a field $G$ which is primary of weight $\frac32$ relative to $T$ and whose OPE is $$G(z) G(w) = \frac{\frac{n}3 1}{(z-w)^3} + \frac{2 T(w)}{z-w}$$

The most general such $G$ takes the form $$G = \frac16 A^{ijk} \psi_i \psi_j \psi_k + B^i \partial \psi_i.$$

Calculating the relevant OPEs one sees that:

• for $G$ to be primary, $B^i=0$, and
• for $2T$ to appear in the first-order pole of $GG$, $A$ must satisfy two conditions which I will now rephrase.

First of all, $A$ defines an alternating bilinear map $[-,-]: V \times V \to V$ by $$[e_i,e_j] = A_{ijk} g^{kl} e_l.$$

The existence of $G$ translates into the following conditions on this map:

• $\langle[x,y],z\rangle$ is totally skew
• $\langle[x,y],[z,w]\rangle$ is an algebraic curvature tensor
• and $$\mathrm{Tr}~ \mathrm{ad}_x \mathrm{ad}_y = 2 \langle x,y\rangle$$ where $\mathrm{ad}_x$ is the skewsymmetric endomorphism defined by $\mathrm{ad}_x(y) = [x,y].$

The algebraic curvature tensor condition means that the fourth rank tensor obeys the algebraic Bianchi identity: $$\langle[x,y],[z,w]\rangle + \mathrm{cyclic~in}~(x,y,z) = 0,$$ which using the invariance of the inner product under $\mathrm{ad}_x$ becomes $$\langle[[x,y],z],w\rangle + \mathrm{cyclic} = 0,$$ which in turn is equivalent to the Jacobi identity for the bracket. (Thanks for Paul de Medeiros for the observation.) Finally the last condition says that the Killing form, being twice the inner product, is nondegenerate, whence the Lie algebra is semisimple.

In summary, the solutions are in one-to-one correspondence with real semisimple Lie algebras. If you further require the inner product to be positive-definite, then these are the compact semisimple Lie algebras.

Interestingly, in this case one can embed an affine Lie algebra in such a way that the Virasoro vector coincides with the Sugawara construction. As I said above, I'm sure that this is standard, but cannot locate the reference right now.

EDIT This result is indeed known and can be found in: Goddard and Olive's Kac-Moody algebras, conformal symmetry and critical exponents, Nuclear Physics B, Volume 257, 1985, Pages 226-252, in the very last section of the paper. (Thanks to Matthias Gaberdiel for the suggestion to look there.)

EDIT: I just noticed that the question asked "how many", whereas my answer just showed that as many as "semisimple Lie algebras". If, for the sake of simplicity, we take the inner product to be positive-definite, then it is easy to write down a partition function and evaluating this gives a numerical answer to the question, depending on n. The first 100 values, starting at n=1, are the following:

0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 2, 3, 5, 3, 4, 8, 4, 5, 8, 7, 8, 11, 10, 11, 12, 13, 15, 19, 16, 21, 24, 21, 24, 32, 27, 34, 43, 37, 39, 53, 47, 54, 65, 65, 68, 79, 80, 90, 98, 102, 114, 129, 122, 138, 160, 157, 172, 207, 193, 211, 247, 244, 262, 306, 305, 329, 363, 378, 399, 448, 460, 505, 548, 554, 601, 675, 669, 739, 822, 826, 877, 990, 999, 1068, 1184, 1227, 1288, 1419, 1458, 1554, 1693, 1765

(A previous version of this edit had only taken into account the A-series... apologies.)

This post imported from StackExchange MathOverflow at 2015-04-16 11:42 (UTC), posted by SE-user José Figueroa-O'Farrill
answered Oct 29, 2009 by (2,315 points)
Thanks very much for this detailed answer! Much appreciated. (And sorry the thanks took so long in coming, my notification seems to be on the blink.)

This post imported from StackExchange MathOverflow at 2015-04-16 11:42 (UTC), posted by SE-user cdouglas

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:$\varnothing\hbar$ysicsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.