No Arabic abstract
The nilpotent bicone of a finite dimensional complex reductive Lie algebra g is the subset of elements in g x g whose subspace generated by the components is contained in the nilpotent cone of g. The main result of this note is that the nilpotent bicone is a complete intersection. This affirmatively answers a conjecture of Kraft-Wallach concerning the nullcone. In addition, we introduce and study the characteristic submodule of g. The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal of definition. In order to study the nilpotent bicone, we introduce another subvariety, the principal bicone. The nilpotent bicone, as well as the principal bicone, are linked to jet schemes. We study their dimensions using arguments from motivic integration. Namely, we follow methods developed in http://arxiv.org/abs/math/0008002v5 .
The commuting variety of a reductive Lie algebra ${goth g}$ is the underlying variety of a well defined subscheme of $gg g{}$. In this note, it is proved that this scheme is normal. In particular, its ideal of definition is a prime ideal.
The generalized commuting and isospectral commuting varieties of a reductive Lie algebra have been introduced in a preceding article. In this note, it is proved that their normalizations are Gorenstein with rational singularities. Moreover, their canonical modules are free of rank 1. In particular, the usual commuting variety is Gorenstein with rational singularities and its canonical module is free of rank 1.
For a reductive Lie algbera over an algbraically closed field of charasteristic zero,we consider a borel subgroup $B$ of its adjoint group, a Cartan subalgebra contained inthe Lie algebra of $B$ and the closure $X$ of its orbit under $B$ in the Grassmannian.The variety $X$ plays an important role in the study of the commuting variety. In thisnote, we prove that $X$ is Gorenstein with rational singularities.
This note is a corrigendum to the previous version arXiv:0711.2735v3 published in J. Lie Theory. As it has been recently pointed out to me by Alexander Premet, Remark 3 of arXiv:0711.2735v3 is incorrect. We verify in this note thanks to recent results of Premet and Topley (see arXiv:1301.4653) that Theorem 25 of arXiv:0711.2735v3 remains correct in spite of this error.
We prove most of Lusztigs conjectures from the paper Bases in equivariant K-theory II, including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls numerics of representations of the Lie algebra of a semi-simple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a non-commutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is shown to be compatible with the positive characteristic version of Beilinson-Bernstein localization equivalences. On the other hand, it is compatible with the t-structure arising from the equivalence of Arkhipov-Bezrukavnikov with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group, which was inspired by local geometric Langlands duality. This allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality.