Complexe canonique de deuxi\`{e}me esp\`{e}ce, vari\'{e}t\'{e} commutante et bic\^{o}ne nilpotent d'une alg\`{e}bre de Lie r\'{e}ductive

arXivmath/0509272MaRDI QIDQ6476015FDOQ6476015

Authors: Jean-Yves Charbonnel 

Publication date: 13 September 2005

Abstract: Let $g$ be a finite dimensional complex reductive Lie algebra and <.,.> an invariant non degenerated bilinear form on $gimesg$ which extends the Killing form of $[g,g]$. We define a subcomplex $$ of the canonical complex $$ of $g$. There exists a well defined sub-module $B_g$ of the module of polynomial maps from $gimesg$ to $g$ which is free of rank equal to the dimension b of the borel subalgebras of $g$. Moreover, $B_g$ is contained in the space of cycles of the canonical complex of $g$. The complex $$ is the ideal of $$ generated the exterior power of degree b of the module $B_g$. We denote by ${calN}_g$ the set of elements in $gimesg$ whose components generate a subsbspace contained in the nilpotent cone of $g$ and we say that $g$ has property (N) if the codimension of ${calN}_g$ in $gimesg$ is strictly bigger than the dimension of the space of nilpotent elements in a borel subalgebra of $g$. Let $I_g$ be the ideal of polynomial functions on $gimesg$ generated by the functions whose value in $(x,y)$ is the scalar product of $v$ and $[x,y]$ where $v$ is in $g$. The main result is the theorem: Let us suppose that for any semi-simple element in $g$, the simple factors of its centralizer in $g$ have the property (N). Then the complex $$ has no homology in degree different from b and its homology in degree b is the reduced algebra of regular functions on the commuting variety. In particular, $I_g$ is a prime ideal whose set of zeros in $gimesg$ is the commuting variety of $g$.

Mathematics Subject Classification ID

Varieties and morphisms (14A10) Semisimple Lie groups and their representations (22E46) Projectives and injectives (category-theoretic aspects) (18G05) Resolutions; derived functors (category-theoretic aspects) (18G10)

This page was built for publication: Complexe canonique de deuxi\`{e}me esp\`{e}ce, vari\'{e}t\'{e} commutante et bic\^{o}ne nilpotent d'une alg\`{e}bre de Lie r\'{e}ductive

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6476015)