In this paper, by establishing an explicit and combinatorial description of the centralizer of a distinguished nilpotent pair in a classical simple Lie algebra, we solve in the classical case Panyushev's Conjecture which says that distinguished nilpotent pairs are wonderful, and the classification problem on almost principal nilpotent pairs. More precisely, we show that disinguished nilpotent pairs are wonderful in types A, B and C, but they are not always wonderful in type D. Also, as the corollary of the classification of almost principal nilpotent pairs, we have that almost principal nilpotent pairs do not exist in the simply-laced case and that the centralizer of an almost principal nilpotent pair in a classical simple Lie algebra is always abelian.
To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which consists in an algorithm for the determination of the maximum partition which forms with a given partition a pair with the previous property.
We introduce a method to determine the maximum nilpotent orbit which intersects a variety of nilpotent matrices described by a strictly upper triangular matrix over a polynomial ring. We show that the result only depends on the ranks of its submatrices and we introduce conditions on a subvariety so that it intersects the same orbit. Then we describe a maximal nilpotent subalgebra of the centralizer of any nilpotent matrix; the previous method allows us to show that the maximum nilpotent orbit which intersects that centralizer only depends on which entries are identically 0 in that subalgebra. …
Let $G$ be a connected reductive group over an algebraically closed field $\Bbbk$. Under mild restrictions on the characteristic of $\Bbbk$, we show that any $G$-module with a good filtration also has a good filtration as a module for the reductive part of the centralizer of a nilpotent element $x$ in its Lie algebra.
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ be a finite-dimensional simple Lie superalgebra of type $D(2,1;α)$, $G(3)$ or $F(4)$ over $\mathbb{C}$. Let $G$ be the simply connected semisimple algebraic group over $\mathbb{C}$ such that $\mathrm{Lie}(G)=\mathfrak{g}_{\bar{0}}$. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$ especially. We also determine the labelled Dynkin diagram for $e$. We prove theorems relating the dimension of $\left(\mathfra…
Let \mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}} be a basic classical Lie superalgebra over an algebraically closed field \mathbb{K} whose characteristic p>0 is a good prime for \mathfrak{g}. Let G_{\bar{0}} be the reductive algebraic group over \mathbb{K} such that \mathrm{Lie}(G_{\bar{0}})=\mathfrak{g}_{\bar{0}}. Suppose e\in\mathfrak{g}_{\bar{0}} is nilpotent. Write \mathfrak{g}^{e} for the centralizer of e in \mathfrak{g} and \mathfrak{z}(\mathfrak{g}^{e}) for the centre of \mathfrak{g}^{e}. We calculate a basis for \mathfrak{g}^{e} and \mathfrak{z}(\mathfrak{g}^{e}) by …
We construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova (math.RT/0610049).
Let $\bar{G}$ be the simple algebraic supergroup $\mathrm{SL}(m|n)$ or $\mathrm{OSp}(m|2n)$ over $\mathbb{C}$. Let $\mathfrak{g}=\mathrm{Lie}(\bar{G})=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ and let $G=\bar{G}(\mathbb{C})$ where $\mathbb{C}$ is considered as a superalgebra concentrated in even degree. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$. In particular, we give bases for $\mathfrak{g}^{e}$, $\mathfrak{z}(\mathfrak{g}^{e})$ and $\left(\mathfrak{z}(\ma…
Let F be an algebraically closed field and let G be a semisimple F-algebraic group for which the characteristic of F is *very good*. If X in Lie(G) = Lie(G)(F) is a nilpotent element in the Lie algebra of G, and if C is the centralizer in G of X, we show that (i) the root datum of a Levi factor of C, and (ii) the component group C/C^o both depend only on the Bala-Carter label of X; i.e. both are independent of very good characteristic. The result in case (ii) depends on the known case when G is (simple and) of adjoint type. The proofs are achieved by studying the centralizer C of a nilpotent s…
We use affine W-algebras to quantize Mishchenko-Fomenko subalgebras for centralizers of nilpotent elements in simple Lie algebras under certain assumptions that are satisfied for all cases in type A and all minimal nilpotent cases outside type $E_8$.
Let X and Y be commuting nilpotent K-endomorphisms of a vector space V, where K is a field of characteristic p >= 0. If F=K(t) is the field of rational functions on the projective line, consider the K(t)-endomorphism A=X+tY of V. If p=0, or if the (p-1)-st power of A is 0, we show here that X and Y are tangent to the unipotent radical of the centralizer of A in GL(V). For all geometric points (a:b) of a suitable open subset of the projective line, it follows that X and Y are tangent to the unipotent radical of the centralizer of aX+bY. This answers a question of J. Pevtsova.
Let G be a semisimple algebraic group over a field K whose characteristic is very good for G, and let sigma be any G-equivariant isomorphism from the nilpotent variety to the unipotent variety; the map sigma is known as a Springer isomorphism. Let y in G(K), let Y in Lie(G)(K), and write C_y = C_G(y) and C_Y= C_G(Y) for the centralizers. We show that the center of C_y and the center of C_Y are smooth group schemes over K. The existence of a Springer isomorphism is used to treat the crucial cases where y is unipotent and where Y is nilpotent. Now suppose G to be quasisplit, and write C for the …
Let $G$ be an adjoint algebraic group of type $B$, $C$, or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the Lie algebra of $G$. In particular, for orthogonal Lie algebras in characteristic 2, the structure of component groups of nilpotent centralizers is determined and the number of nilpotent orbits over finite fields is obtained.
We study invariant distributions on the tangent space to a symmetric space. We prove that an invariant distribution with the property that both its support and the support of its Fourier transform are contained in the set of non-distinguished nilpotent orbits, must vanish. We deduce, using recent developments in the theory of invariant distributions on symmetric spaces that the symmetric pair (GL(2n,R),Sp(2n,R)) is a Gelfand pair. More precisely, we show that for any irreducible smooth admissible Frechet representation $(π,E)$ of GL(2n,R) the space of continuous functionals $Hom_{Sp_{2n}(R)}(E…
We look at the centralizer in a semisimple algebraic group $G$ of a regular nilpotent element, and show that its closure in the wonderful compactification is isomorphic to the Peterson variety. It follows that the closure in the wonderful compactification of the centralizer $G^x$ of any regular element $x$ is isomorphic to the closure of a general $G^x$-orbit in the flag variety. We also give a description of the $G^e$-orbit structure of the Peterson variety.
This paper addresses various questions about pairs of similarity classes of matrices which contain commuting elements. In the case of matrices over finite fields, we show that the problem of determining such pairs reduces to a question about nilpotent classes; this reduction makes use of class types in the sense of Steinberg and Green. We investigate the set of scalars that arise as determinants of elements of the centralizer algebra of a matrix, providing a complete description of this set in terms of the class type of the matrix. Several results are established concerning the commuting of ni…
We introduce a new family of affine $W$-algebras associated with the centralizers of arbitrary nilpotent elements in $\mathfrak{gl}_N$. We define them by using a version of the BRST complex of the quantum Drinfeld--Sokolov reduction. A family of free generators of the new algebras is produced in an explicit form. We also give an analogue of the Fateev--Lukyanov realization for these algebras by applying a Miura-type map.
We introduce a new family of Poisson vertex algebras $\mathcal{W}(\mathfrak{a})$ analogous to the classical $\mathcal{W}$-algebras. The algebra $\mathcal{W}(\mathfrak{a})$ is associated with the centralizer $\mathfrak{a}$ of an arbitrary nilpotent element in $\mathfrak{gl}_N$. We show that $\mathcal{W}(\mathfrak{a})$ is an algebra of polynomials in infinitely many variables and produce its free generators in an explicit form. This implies that $\mathcal{W}(\mathfrak{a})$ is isomorphic to the center at the critical level of the affine vertex algebra associated with $\mathfrak{a}$.
We give a classification of the principal and distinguished nilpotent pairs in all classical Lie algebras. As a classification of the principal pairs in the exceptional simple Lie algebras was obtained earlier (see Appendix to Ginzburg's preprint math.AG/9903059), we thus have a complete classification of principal nilpotent pairs.
Given a complex projective algebraic variety, write H(X) for its cohomology with complex coefficients and IH(X) for its Intersection cohomology. We first show that, under some fairly general conditions, the canonical map H(X)\to IH(X) is injective. Now let Gr = G((z))/G[[z]] be the loop Grassmannian for a complex semisimple group G, and let X be the closure of a G[[z]]-orbit in Gr. We prove, using the general result above, a conjecture of D. Peterson describing the cohomology algebra H(X) in terms of the centralizer of the principal nilpotent in the Langlands dual of Lie(G). In the last sectio…
Recently, V.Ginzburg introduced the notion of a principal nilpotent pair (= pn-pair) in a semisimple Lie algebra {\frak g}. It is a double counterpart of the notion of a regular nilpotent element. A pair (e_1,e_2) of commuting nilpotent elements is called a pn-pair, if the dimension of their simultaneous centralizer is equal to the rank of {\frak g} and some bi-homogeneity condition is satisfied. Ginzburg proved that many familiar results of the `ordinary' theory have analogues for pn-pairs. The aim of this article is to develop the theory of nilpotent pairs a bit further and to present some a…
The problem of classifying Einstein solvmanifolds, or equivalently, Ricci soliton nilmanifolds, is known to be equivalent to a question on the variety of n-dimensional complex nilpotent Lie algebra laws. Namely, one has to determine which GL(n)-orbits in this variety have a critical point of the squared norm of the moment map. In dimension 7, there are 148 complex nilpotent Lie algebras and 6 curves of pairwise non-isomorphic nilpotent Lie algebras, and we give in this paper a complete classification of the aforementioned distinguished orbits.
