arXiv subjects

Anne Moreau

Publications and source records attributed to Anne Moreau.

30 records · Page 2Linked to original sources

arXiv2015

The symmetric invariants of the centralizers and Slodowy grading

Let g be a finite-dimensional simple Lie algebra of rank r over an algebraically closed field of characteristic zero, and let e be a nilpotent element of g. Denote by g^e the centralizer of e in g and by S(g^e)^{g^e} the algebra of symmetric invariants of g^e. We say that e is good if the nullvariety of some r homogeneous elements of S(g^e)^{g^e} in the dual of g^{e} has codimension r. If e is good then S(g^e)^{g^e} is polynomial. The main result of this paper stipulates that if for some homogeneous generators of S(g^e)^{g^e}, the initial homogeneous component of their restrictions to e+g^f are algebraically independent, with (e,h,f) an sl2-triple of g, then e is good. As applications, we obtain new examples of nilpotent elements that verify the above polynomiality condition, in in simple Lie algebras of both classical and exceptional types. We also give a counter-example in type D_7.

math.RT↗

arXiv2015

Jet schemes of the closure of nilpotent orbits

We study in this paper the jet schemes of the closure of nilpotent orbits in a finite-dimensional complex reductive Lie algebra. For the nilpotent cone, which is the closure of the regular nilpotent orbit, all the jet schemes are irreducible. This was first observed by Eisenbud and Frenkel, and follows from a strong result of Mustautca (2001). Using induction and restriction of "little" nilpotent orbits in reductive Lie algebras, we show that for a large number of nilpotent orbits, the jet schemes of their closure are reducible. As a consequence, we obtain certain geometrical properties of these nilpotent orbit closures.

math.RT↗

arXiv2014

Nilpotent bicone and characteristic submodule of a reductive Lie algebra

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 .

math.RT↗

arXiv2013

On the dimension of the sheets of a reductive Lie algebra

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.

math.RT↗

arXiv2012

The arc space of horospherical varieties and motivic integration

For arbitrary connected reductive group G we consider the motivic integral over the arc space of an arbitrary Q-Gorenstein horospherical G-variety associated with a colored fan and prove a formula for the stringy E-function of a horospherical variety X which generalizes the one for toric varieties. We remark that in contrast to toric varieties the stringy E-function of a Gorenstein horospherical variety X may be not a polynomial if some cones in the fan of X have nonempty sets of colors. Using the stringy E-function, we can formulate and prove a new smoothness criterion for locally factorial horospherical varieties. We expect that this smoothness criterion holds for arbitrary spherical varieties.

math.AG↗

arXiv2011

Coadjoint orbits of reductive type of seaweed Lie algebras

A connected algebraic group Q defined over a field of characteristic zero is quasi-reductive if there is an element of its dual of reductive type, that is such that the quotient of its stabiliser by the centre of Q is a reductive subgroup of GL(q), where q=Lie(Q). Due to results of M. Duflo, coadjoint representation of a quasi-reductive Q possesses a so called maximal reductive stabiliser and knowing this subgroup, defined up to a conjugation in Q, one can describe all coadjoint orbits of reductive type. In this paper, we consider quasi-reductive parabolic subalgebras of simple complex Lie algebras as well as all seaweed subalgebras of gl(n) and describe the classes of their maximal reductive stabilisers.

math.RT↗

arXiv2011

On the Kostant conjecture for Clifford algebra

Let g be a complex simple Lie algebra, and h be a Cartan subalgebra. In the end of 1990s, B. Kostant defined two filtrations on h, one using the Clifford algebras and the odd analogue of the Harish-Chandra projection $hc: Cl(g) \to Cl(h)$, and the other one using the canonical isomorphism $\check{h} = h^*$ (here $\check{h}$ is the Cartan subalgebra in the simple Lie algebra corresponding to the dual root system) and the adjoint action of the principal sl2-triple. Kostant conjectured that the two filtrations coincide. The two filtrations arise in very different contexts, and comparing them proved to be a difficult task. Y. Bazlov settled the conjecture for g of type A using explicit expressions for primitive invariants in the exterior algebra of g. Up to now this approach did not lead to a proof for all simple Lie algebras. Recently, A. Joseph proved that the second Kostant filtration coincides with the filtration on h induced by the generalized Harish-Chandra projection $(Ug \otimes g)^g \to Sh \otimes h$ and the evaluation at $ρ\in h^*$. In this note, we prove that Joseph's result is equivalent to the Kostant Conjecture. We also show that the standard Harish-Chandra projection $Ug \to Sh$ composed with evaluation at $ρ$ induces the same filtration on h.

math.RT↗

arXiv2010

Quasi-reductive (bi)parabolic subalgebras in reductive Lie algebras

We say that a finite dimensional Lie algebra is quasi-reductive if it has a linear form whose stabilizer for the coadjoint representation, modulo the center, is a reductive Lie algebra with a center consisting of semisimple elements. Parabolic subalgebras of a semisimple Lie algebra are not always quasi-reductive (except in types A or C by work of Panyushev). The classification of quasi-reductive parabolic subalgebras in the classical case has been recently achieved in unpublished work of Duflo, Khalgui and Torasso. In this paper, we investigate the quasi-reductivity of biparabolic subalgebras of reductive Lie algebras. Biparabolic (or seaweed) subalgebras are the intersection of two parabolic subalgebras whose sum is the total Lie algebra. As a main result, we complete the classification of quasi-reductive parabolic subalgebras of reductive Lie algebras by considering the exceptional cases.

math.RT↗

arXiv2007

Indice et decomposition de Cartan d'une algebre de Lie semi-simple reelle

The Iwasawa decomposition $\mathfrak{g}=\mathfrak{k}_0 \oplus \hat{\mathfrak{a}}_0 \oplus \mathfrak{n}_0$ of the real semisimple Lie algebra $\mathfrak{g}_0$ comes from its Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{p}_0$. Then we get $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$ where $\mathfrak{b}_0=\hat{\mathfrak{a}}_0 \oplus \mathfrak{n}_0$. The question of knowing if the index were additive in the decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$ goes back M. Raïs \cite{Rais}. In \cite{Moreau3}, I wrote that the index always is additive for this decomposition. Precisly, I claim that the index of $\mathfrak{b}$ is given by the following formula : ${\rm ind} \mathfrak{b} = {\rm rk \} \mathfrak{g} - {\rm rk \} \mathfrak{k}$, where $\mathfrak{b}$ is the complexification of $\mathfrak{b}_0$. This result is false in general. We actually have an inequality : ${\rm ind} \mathfrak{b} \geq {\rm rg \} \mathfrak{g} - {\rm rg \} \mathfrak{k}$. The goal of this paper is to correct this mistake. We resume the approach of \cite{Moreau3} to obtain this time the previous inequality. Then we give in more a characterization of the semisimple real Lie algebra $\mathfrak{g}_0$ for which the index is additive in the decomposition $\mathfrak{g}_0=\mathfrak{k}_0 \oplus \mathfrak{b}_0$. Moreover, we study in this paper the quasi-reductive character of some subalgebras of $\mathfrak{g}$. This is a new part in comparison with \cite{Moreau3}.

math.RT↗

arXiv2006

Bicône nilpotent d'une algèbre de Lie réductive

I prefer taking off this paper for the moment because of a mistake in the lemma 2.1 of the secund version. Precisely, in the proof of this lemma, it is not clear that the morphism $r\_j$ is flat, that I claim it.

math.RT↗

arXiv2005

Calculs explicites dans une algèbre de Lie semi-simple effectués avec GAP4

In \cite{indice}, we show the following result, conjectured by D. Panyushev \cite{Panyushev}, for $\g$ a semisimple Lie algebra: {\rm ind} \n(\g^{e}) = {\rm rk} \g-\dim \z(\g^{e}, where $\n(\g^{e})$ and $\z(\g^{e})$ are, respectively, the normaliser and the centre of the centraliser $\g^{e}$ of a nilpotent element $e$. This result is proved in \cite{indice} when $\g$ is a classical simple Lie algebra and when $e$ satisfies a certain property $(P)$. We present in this paper the computations, made using GAP4, which prove that distinguished, non-regular, nilpotent orbits in $E\_6$, $E\_7$, $E\_8$ and $F\_4$ satisfy the property $(P)$. This work completes the proof, presented in \cite{indice}, of the equality (\ref{princ}). The complete proof of this result was already presented in \cite{indice\_arxiv}.

math.RT↗

arXiv2004

Indice du normalisateur du centralisateur d'un element nilpotent dans une algebre de Lie semi-simple

The index of a complex Lie algebra is the minimal codimension of its coadjoint orbits. Let us suppose $\g$ semisimple, then its index, ${\rm ind} \g$, is equal to its rank, ${\rm rk \g}$. The goal of this paper is to establish a simple general formula for the index of $\n(\g^ξ)$, for $ξ$ nilpotent, where $\n(\g^ξ)$ is the normaliser in $\g$ of the centraliser $\g^ξ$ of $ξ$. More precisely, we have to show the following result, conjectured by D. Panyushev \cite{Panyushev} : $${\rm ind} \n(\g^ξ) = {\rm rk \g}-\dim \z(\g^ξ),$$ where $\z(\g^ξ)$ is the center of $\g^ξ$. D. Panyushev obtained in \cite{Panyushev} the inequality \hbox{${\rm ind} \n(\g^ξ) \geq {\rm rg \g}-\dim \z(\g^ξ)$} and we show that the maximality of the rank of a certain matrix with entries in the symmetric algebra ${\cal S}(\g^ξ)$ implies the other inequality. The main part of this paper consists of the proof of the maximality of the rank of this matrix.

math.RT↗