3
$\begingroup$

I am reading the book: Infinite-Dimensional Lie Algebras (Kac, third edition) and the article: Affine Lie algebras and the Virasoro algebras I (Wakimoto, link). The formulas they wrote for the Lie bracket $[,]$, normalized standard invariant form $(|)$ of twisted affine Lie algebras of type $X_N^{(r)}$ are contradicted to each other:

Contradiction1: In the book, page 139, the bracket is given by enter image description here

but in the article, page 381, it is given by enter image description here

Here $X(j)$ means $t^j \otimes X$ and $c_s=rK/m$ (see the article to verify it). They are totally different.

Contradiction2: In the book, page 139, if the normalized standard invariant form is defined by enter image description here

then it contradicts to the Lie bracket in the same page,

enter image description here

since $(d'| [t^i \otimes x, t^j \otimes y]) \ne ([d',t^i \otimes x]| t^j \otimes y)$

So, If are there anyone knows the right formulas for the Lie bracket and normalized standard invariant form for twisted affine Lie algebras mentioned in the Theorem 8.7 in the book of Kac?

$\endgroup$
  • 1
    $\begingroup$ I think they are taking different 2-cocycles, but finally the extension is equivalent. The key fact being $H^2(\mathfrak{g})$ is 1-dimensional. $\endgroup$ – ArB Oct 5 at 14:47
  • $\begingroup$ No, I think they wrote the wrong formulas. You can check the contradiction 2, they are in the same setting. $\endgroup$ – Mihawk Oct 5 at 14:59
  • $\begingroup$ I don't understand the second contradiction. Can you elaborate more? $\endgroup$ – ArB Oct 5 at 20:19
  • $\begingroup$ we have to have the equality. But with such formulas, they are invalid. So, the formulas are wrong. $\endgroup$ – Mihawk Oct 5 at 21:33
2
$\begingroup$

I think that there is just a little mess between things that are denoted $K$, $K'$ in the book, as well as $d$, $d'$. For that, let us examine these formulas carefully.

Using the first formula for the Lie bracket, we get $$[X(j),Y(i)]=[t^j\otimes X, t^i\otimes Y]=t^{i+j}\otimes [X,Y]+ \frac{1}{m}\mathrm{Res}\frac{d x^j}{dt} x^i (X\mid Y) K,$$ which is equal to $$t^{i+j}\otimes [X,Y] + \frac{1}{m}\mathrm{Res} jx^{i+j-1} (X\mid Y) K=t^{i+j}\otimes [X,Y] + \frac{1}{m}j \delta_{i+j-1,-1} (X\mid Y) K,$$ and the latter is obviously equal to
$$ t^{i+j}\otimes [X,Y]+ \frac{j}{m}\delta_{j,-i} (X\mid Y) K, $$ while the second formula says $$ [X(j),Y(i)]=[X,Y](i+j)+j(X\mid Y)\delta_{j,-i}c_s=[X,Y](i+j)+j(X\mid Y)\delta_{j,-i}\frac{rK}{m}, $$ obviously equal to $$ t^{i+j}\otimes [X,Y]\oplus \frac{rj}{m} \delta_{j,-i} (X\mid Y) K, $$ which is obtained from the "totally different" formula by replacing $K$ with $rK$.

Now let us examine the second formula. We have $$ (d'\mid [P_1(t)\otimes g_1, P_2(t)\otimes g_2])=(d'\mid P_1(t)P_2(t)\otimes [g_1,g_2]+\frac{1}{m}\mathrm{Res}\frac{dP_1(t)}{dt}P_2(t)(g_1\mid g_2)K) $$ which is clearly equal to $$ \frac{1}{m}\mathrm{Res}\frac{dP_1(t)}{dt}P_2(t) (g_1\mid g_2), $$ since $d'$ pairs nontrivially only with $K$. At the same time, we have $$ ([d',P_1(t)\otimes g_1] \mid P_2(t)\otimes g_2)= (\frac{a_0}{m}t\frac{dP_1(t)}{dt}\otimes g_1\mid P_2(t)\otimes g_2), $$ which is equal to $$ \frac{a_0}{m}r^{-1}\mathrm{Res} t^{-1}t\frac{dP_1(t)}{dt}P_2(t) (g_1\mid g_2)= \frac{a_0}{m}r^{-1}\mathrm{Res}\frac{dP_1(t)}{dt}P_2(t)(g_1\mid g_2), $$ so it differs from the first formula by the scalar $a_0r^{-1}$.

I propose to you to look at page 131 of the book, which says, at the bottom, "It is also easy to see that $K=rK'$ is the canonical central element, and that $d=a_0r^{-1}d'$ is the scaling element". If you compare this sentence with my calculation above, you will be able to figure out what is going on, I am sure.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ I think it is not the right answer, contradiction 2 does not depend on the relation between $d$ and $d'$ or $K$ and $K'$. As your computations show, it is a contradiction to the formulas. $\endgroup$ – Mihawk Oct 12 at 10:36
  • $\begingroup$ What are the final relations to define Lie brackets and normalized standard invariant form? $\endgroup$ – Mihawk Oct 12 at 10:37

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.