## Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$.
The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$ has the bracket $$[xt^r, yt^s] = [x,y] t^{r+s}$$ for $x,y \in \mathfrak{g}$. It is graded with deg$(t) = 1$.

If we set $h=0$ in Drinfeld's first presentation of the Yangian (given in Theorem 12.1.1 of Chari and Pressley's Guide to Quantum Groups) then we get a presentation of $U(\mathfrak{g}[t])$ where the generators are the elements $x \in \mathfrak{g}$ and $J(x) = xt$ of $\mathfrak{g}[t]$ with degree $=0,1$, and the relations all have degree of both sides less than $3$.

Specifically we require that all the relation in $\mathfrak{g}$ are satisfied for the elements with degree 0, and (for all $x,y, x_i, y_i, z_i \in \mathfrak{g}$ and complex numbers $\lambda, \mu$):

$$\lambda xt + \mu yt = (\lambda x + \mu y)t$$ $$[x, yt] = [x,y]t,$$ $$\sum_i [x_i, y_i] = 0 \implies \sum_i [x_i t, y_i t ] = 0$$ $$\sum_i [[x_i, y_i], z_i] = 0 \implies \sum_i [[x_i t, y_i t], z_i t]=0$$ Then assuming that all the relations of degree less than or equal to $3$ hold is enough to get the remaining ones. The elements $xt^2, xt^3, \ldots$ are defined inductively. This can be proved by induction, using the Serre presentation of the finite-dimensional Lie algebra and then checking all the required relations in several cases. But even in the $\mathfrak{sl}_2$ case the argument is laborious.

Is there a better way of seeing that one needs only relations of degree less than three in order to get the rest?

-

## 1 Answer

For a nilpotent Lie algebra L, generators could be described in terms of $H_1(L) = L/[L,L]$, and relations in terms of $H_2(L)$. While this is not applicable directly to $\mathfrak g \otimes \mathbb C[t]$, it is close enough: it could be decomposed, for example, as the semidirect sum $\mathfrak g \oplus (\mathfrak g \otimes t\mathbb C[t])$, or, better yet, as $(\mathfrak g_- \oplus \mathfrak h) \oplus (\mathfrak g_+ \oplus (\mathfrak g\otimes t\mathbb C[t]))$, where $\mathfrak g = \mathfrak g_- \oplus \mathfrak h \oplus \mathfrak g+$ is the triangular decomposition. From here, I presume, one may glue the defining relations of the whole algebra from the defining relations of the second summand, and Serre defining relations for $\mathfrak g$. The second summand, $\mathfrak g\otimes t\mathbb C[t]$ or close to it, is, formally, still not nilpotent, but it is an $\mathbb N$-graded algebra with finite-dimensional components, and the isomorphism between the space of defining relations and $H_2(L)$ still applies. So the whole thing boils down to computation of $H_2(\mathfrak g\otimes t\mathbb C[t])$. The whole cohomology $H_*(\mathfrak g\otimes t\mathbb C[t])$ was computed in the celebrated 1976 paper by Garland and Lepowsky, or, one may use a more direct and pedestrian approach and derive it from the known formulae which describe the second (co)homology of the current Lie algebra $L\otimes A$ in terms of symmetric invariant bilinear forms of $L$, cyclic (co)homology of $A$, etc. I am not sure that, written accurately will all the details, this will provide a shorter way, but it is definitely a different one. The case of $sl(2)$ would be exceptional in a sense ($H_2(sl(2)\otimes t\mathbb C[t])$ is bigger than in the case of generic $\mathfrak g$).

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 36, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9428587555885315, "perplexity_flag": "head"}