## A question on the construction of finite W-algebras

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

In a well known construction of finite W-algebras, one first constructs a certain nilpotent subalgebra $\mathfrak{m}$ along with a character $\chi:\mathfrak{m}\rightarrow \mathbb{C}$. Then one defines

$$U(\mathfrak{g},e)=(U(\mathfrak{g})/U(\mathfrak{g})\mathfrak{m}_{\chi})^\mathfrak{m}$$

where $\mathfrak{m}_\chi$ is the set of all $m-\chi(m)$ and $\mathfrak{m}$ acts on $U(\mathfrak{g})$ by derivations, extending the adjoint action on $\mathfrak{g}$. Is this the same as

$$U(\mathfrak{g})^{\mathfrak{m}}/(U(\mathfrak{g})\mathfrak{m}_{\chi})^\mathfrak{m}?$$

Of course one can reformulate this question and ask if the following cohomology group vanishes:
$$H^1(\mathfrak{m},U(\mathfrak{g})\mathfrak{m}_{\chi})=0?$$ Maybe this follows from some Lynch style vanishing, but I am not very familiar with these theorems.

-

Two very minor edits.   Maybe lie-algebras would also be a useful tag?  – Jim Humphreys Sep 22 2010 at 16:46
Thanks, added lie-algebras tag. – Jan Weidner Sep 22 2010 at 18:31

## 1 Answer

Look at Propositions 5.1 and 5.2 of Gan and Ginzburg's paper Quantization of Slodowy slices. The "reason" behind the vanishing is its identification with algebraic deRham cohomology of an affine space.

-
Thanks, unfortunately I do not yet quite see, how to use this in my situation. Do you suggest to show that $U(g)mχ=\mathbb{C}[M]\otimes_\mathbb{C} W$ for some trivial rep $W$ and then conclude $H^i(m,U(g)mχ)=H^i(m,\mathbb{C}[M])\otimes W=0$? Or did I get this completely wrong? – Jan Weidner Sep 23 2010 at 9:01
I suggest you read the paper, where the statements you want are propositions cited, and the proof is given. – Ben Webster♦ Sep 23 2010 at 20:14
I already read this paper, quite thoroughly. What Gan and Ginzburg show in these propositions is that the higher cohomology groups $H^i(m,U(g)/U(g)m_\chi)$ vanish. What I want is that $H^i(M,U(g)m_\chi)$ vanishes. I don't see how their propositions imply my statement, nor how to adapt their proof. Maybe I miss something obvious. – Jan Weidner Sep 24 2010 at 7:40

1
Their proof goes as follows. By a spectral sequence argument they show that it is enough to check that $H^i(m,gr(U(g)/U(g)m_\chi))$ vanishes. Now they already showed that there is an equivariant isomorphism $gr(U(g)/U(g)m_\chi)=\mathbb{C}[M]\otimes \mathbb{C}[S]$ where the action on the second factor is trivial. Then they deduce $H^i(m,gr(U(g)/U(g)m_\chi))=H^i(m,\mathbb{C}[M])\otimes \mathbb{C}[S]$. Now as you already remarked $H^i(m,\mathbb{C}[M])$ is the algebraic deRham cohomology of $N\cong\mathbb(A)^n$, which vanishes for $i>0$. – Jan Weidner Sep 24 2010 at 7:43
{"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": 18, "mathjax_display_tex": 3, "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": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9408841133117676, "perplexity_flag": "middle"}