Commutative subalgebras of of maximal transcendence degree
We prove that the enveloping algebra of a finite-dimensional Lie algebra contains a commutative subalgebra of the maximal possible transcendence degree .
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that the enveloping algebra U(q) of a finite-dimensional Lie algebra q contains a commutative subalgebra of the maximal possible transcendence degree (dimq+indq)/2.
Let S(g) be the symmetric algebra of a reductive Lie algebra g equipped with the standard Poisson structure. If C⊂S(g) is a Poisson-commutative subalgebra, then trdegC≤b(g), where b(g)=(dimg+rkg)/2. We present a method for constructing the Poisson-commutative subalgebra Z⟨h,r⟩ of transcendence degree b(g) via a vector space decomposition g=h⊕r into a sum of two spherical subalgebras. There are some natural examples, where the algebra Z⟨h,r⟩ appears to be polynomial. The most interesting case is related to the pair (b,u−), where b is a Borel subalgebra of g. Here we prove that Z⟨b,u−⟩ is maximal Poisson-commutative and is complete on every regular coadjoint orbit in g∗. Other series of examples are related to decompositions associated with involutions of g.
For simple Lie algebras of types B, C, and D, we provide new explicit formulas for the generators of the Feigin-Frenkel centre. These formulas make use of the symmetrisation map as well as some well-chosen symmetric invariants of g. There are some general results on the role of the symmetrisation map in the explicit description of the FF-centre. The advantage of our method is that it reduces questions about elements of the FF-centre to questions on the structure of the symmetric invariants in a type-free way. As an illustration, we deal with type G2 by hand.
Let g be a simple Lie algebra. There are classical formulas for the Jacobians of the generating invariants of the Weyl group of g and of the images under the Harich-Chandra projection of the generators of ZU(g). We present a modification of these formulas related to Takiff Lie algebras.
Let G be a connected semisimple algebraic group with Lie algebra g and P a parabolic subgroup of G with Lie(P)=p. The parabolic contraction of g is the semi-direct product of p and a p-module g/p regarded as an abelian ideal. We are interested in the polynomial invariants of the adjoint and coadjoint representations of q. In the adjoint case the algebra of invariants is easy to describe and turns out to be a graded polynomial algebra. The coadjoint case is more complicated. Here we found a connection between symmetric invariants of q and symmetric invariants of centralisers ge⊂g, where e is a Richardson element with polarisation p. Using this connection and results of Panyushev, Premet, and Yakimova (see arxiv:0610049), we prove that the algebra of symmetric invariants of q is free for all parabolics in types A and C and some parabolics in type B. The technique also applies to minimal parabolics in all types. For a Borel subalgebra, one gets a contraction of g recently introduced by E.Feigin (arXiv:1007.0646 and arXiv:1101.1898) and studied from invariant-theoretic point of view in our previous paper (arxiv:1107.0702).
Let (N,K) be a nilpotent Gelfand pair, i.e., N is a nilpotent Lie group, K a compact group of automorphisms of N, and the algebra D(N)^K of left-invariant and K-invariant differential operators on N is commutative. In these hypotheses, N is necessarily of step at most two. We say that (N,K) satisfies Vinberg's condition if K acts irreducibly on n/[n,n], where n= Lie(N). Fixing a system D of d formally self-adjoint generators of D(N)^K, the Gelfand spectrum of the commutative convolution algebra L^1(N)^K can be canonically identified with a closed subset S_D of R^d. We prove that, on a nilpotent Gelfand pair satisfying Vinberg's condition, the spherical transform establishes an isomorphism from the space of K-invariant Schwartz functions on N and the space of restrictions to S_D of Schwartz functions in R^d.
We consider contractions of Lie and Poisson algebras and the behaviour of their centres under contractions. A polynomial Poisson algebra A=K[W] is said to be of Kostant type, if its centre Z(A) is freely generated by homogeneous polynomials F_1,...,F_r such that they give Kostant's regularity criterion on W (d_xF_i are linear independent if and only if the Poisson tensor has the maximal rank at x). If the initial Poisson algebra is of Kostant type and F_i satisfy a certain degree-equality, then the contraction is also of Kostant type. The general result is illustrated by two examples. Both are contractions of a simple Lie algebra g corresponding to a decomposition g=h \oplus V, where h is a subalgebra. Here A=S(g)=K[g^*], Z(A)=S(g)^g, and the contracted Lie algebra is a semidirect product of h and an Abelian ideal isomorphic to g/h as an h-module. In the first example, h is a symmetric subalgebra and in the second, it is a Borel subalgebra and V is the nilpotent radical of an opposite Borel.
Recently, E.Feigin introduced a very interesting contraction q of a semisimple Lie algebra g (see arXiv:1007.0646 and arXiv:1101.1898). We prove that these non-reductive Lie algebras retain good invariant-theoretic properties of g. For instance, the algebras of invariants of both adjoint and coadjoint representations of q are free, and also the enveloping algebra of q is a free module over its centre.
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.
This paper is a continuation of [8], in the direction of proving the conjecture that the spherical transform on a nilpotent Gelfand pair (N,K) establishes an isomorphism between the space of K-invariant Schwartz functions on N and the space of Schwartz functions restricted to the Gelfand spectrum properly embedded in a Euclidean space. We prove a result, of independent interest for the representation theoretical problems that are involved, which can be viewed as a generalised Hadamard lemma for K-invariant functions on N. The context is that of nilpotent Gelfand pairs satisfying Vinberg's condition. This means that the Lie algebra n of N (which is step 2) decomposes as a direct sum of [n,n] and a K-invariant irreducible subspace.
The spectrum of a Gelfand pair of the form (K lx N, K), where N is a nilpotent group, can be embedded in a Euclidean space Rd . The identification of the spherical transforms of K-invariant Schwartz functions on N with the restrictions to the spectrum of Schwartz functions on Rd has been proved already when N is a Heisenberg group and in the case where N = N3,2 is the free two-step nilpotent Lie group with three generators, with K = SO3 [2, 3, 11]. We prove that the same identification holds for all pairs in which the K-orbits in the centre of N are spheres. In the appendix, we produce bases of K-invariant polynomials on the Lie algebra n of N for all Gelfand pairs (K lx N, K) in Vinberg's list [27, 30]. (The references numbers refers to the bibliography at the end of the article)
Let $\g$ be a classical Lie algebra, e a nilpotent of $\g$ element and >ge the centraliser of e in $\g$. We prove that $\g_e=[\g_e,\g_e]$ if and only if e is rigid. It is also shown that if e is contained in $[\g_e,\g_e]$, then the nilpotent radical of $\g_e$ coincides with $[\g(1)_e,\g_e]$, where $\g(1)_e$ is an eigenspace of a characteristic of e with the eigenvalue 1.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.