Irregular Wakimoto modules and the Casimir connection

We study some non-highest weight modules over an affine Kac–Moody algebra [^(\mathfrak g)]{\hat{\mathfrak g}} at the non-critical level. Roughly speaking, these modules are non-commutative localizations of some non-highest weight “vacuum” modules. Using free field realization, we embed some rings of differential operators in endomorphism rings of our modules. These rings of differential operators act on a localization of the space of coinvariants of any [^(\mathfrak g)]{\hat{\mathfrak g}}-module with respect to a certain level subalgebra. In a particular case this action is identified with the Casimir connection.     

A Twining Character Formula For Demazure Modules

We prove a formula for the twining characters of certain Demazure modules, over a Borel subalgebra \mathfrakb\mathfrak{b} of a finite dimensional complex semisimple Lie algebra \mathfrakg\mathfrak{g}. This formula describes the twining character of the Demazure module by the w\omega-Demazure operator associated to an element of the Weyl group that is fixed by the Dynkin diagram automorphism w\omega of \mathfrakg\mathfrak{g}. Our result is a refinement of the twining character formula for the irreducible highest weight \mathfrakg\mathfrak{g}-modules of symmetric dominant integral highest weights, and also of the ordinary Demazure character formula.     

On algebraic integrability of Gelfand-Zeitlin fields

We generalize a result of Kostant and Wallach concerning the algebraic integrability of the Gelfand-Zeitlin vector fields to the full set of strongly regular elements in \mathfrakg\mathfrakl \mathfrak{g}\mathfrak{l} (n, ℂ). We use decomposition classes to stratify the strongly regular set by subvarieties X_D {X_\mathcal{D}} . We construct an étale cover [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} of X_D {X_\mathcal{D}} and show that X_D {X_\mathcal{D}} and [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} are smooth and irreducible. We then use Poisson geometry to lift the Gelfand-Zeitlin vector fields on X_D {X_\mathcal{D}} to Hamiltonian vector fields on [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} and integrate these vector fields to an action of a connected, commutative algebraic group.     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Slices for biparabolics of index 1

Let \mathfraka \mathfrak{a} be an algebraic Lie subalgebra of a simple Lie algebra \mathfrakg \mathfrak{g} with index \mathfraka \mathfrak{a}  ≤ rank \mathfrakg \mathfrak{g} . Let Y( \mathfraka ) Y\left( \mathfrak{a} \right) denote the algebra of \mathfraka \mathfrak{a} invariant polynomial functions on \mathfraka^* {\mathfrak{a}^*} . An algebraic slice for \mathfraka \mathfrak{a} is an affine subspace η + V with h ? \mathfraka^* \eta \in {\mathfrak{a}^*} and V ì \mathfraka^* V \subset {\mathfrak{a}^*} subspace of dimension index \mathfraka \mathfrak{a} such that restriction of function induces an isomorphism of Y( \mathfraka ) Y\left( \mathfrak{a} \right) onto the algebra R[η + V] of regular functions on η + V. Slices have been obtained in a number of cases through the construction of an adapted pair (h, η) in which h ? \mathfraka h \in \mathfrak{a} is ad-semisimple, η is a regular element of \mathfraka^* {\mathfrak{a}^*} which is an eigenvector for h of eigenvalue minus one and V is an h stable complement to ( \textad  \mathfraka )h \left( {{\text{ad}}\;\mathfrak{a}} \right)\eta in \mathfraka^* {\mathfrak{a}^*} . The classical case is for \mathfrakg \mathfrak{g} semisimple [16], [17]. Yet rather recently many other cases have been provided; for example, if \mathfrakg \mathfrak{g} is of type A and \mathfraka \mathfrak{a} is a “truncated biparabolic” [12] or a centralizer [13]. In some of these cases (in particular when the biparabolic is a Borel subalgebra) it was found [13], [14], that η could be taken to be the restriction of a regular nilpotent element in \mathfrakg \mathfrak{g} . Moreover, this calculation suggested [13] how to construct slices outside type A when no adapted pair exists. This article makes a first step in taking these ideas further. Specifically, let \mathfraka \mathfrak{a} be a truncated biparabolic of index one. (This only arises if \mathfrakg \mathfrak{g} is of type A and \mathfraka \mathfrak{a} is the derived algebra of a parabolic subalgebra whose Levi factor has just two blocks whose sizes are coprime.) In this case it is shown that the second member of an adapted pair (h, η) for \mathfraka \mathfrak{a} is the restriction of a particularly carefully chosen regular nilpotent element of \mathfrakg \mathfrak{g} . A by-product of our analysis is the construction of a map from the set of pairs of coprime integers to the set of all finite ordered sequences of ±1.     

Bounded reductive subalgebras of \mathfrak{s}{\mathfrak{l}_n}

Let \mathfrakg \mathfrak{g} be a reductive Lie algebra and \mathfrakk ì \mathfrakg \mathfrak{k} \subset \mathfrak{g} be a reductive in \mathfrakg \mathfrak{g} subalgebra. A ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-module M is a \mathfrakg \mathfrak{g} -module for which any element m ∈ M is contained in a finite-dimensional \mathfrakk \mathfrak{k} -submodule of M. We say that a ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-module M is bounded if there exists a constant C _M such that the Jordan-H?lder multiplicities of any simple finite-dimensional \mathfrakk \mathfrak{k} -module in every finite-dimensional \mathfrakk \mathfrak{k} -submodule of M are bounded by C _M . In the present paper we describe explicitly all reductive in \mathfraks\mathfrakl_n \mathfrak{s}{\mathfrak{l}_n} subalgebras \mathfrakk \mathfrak{k} which admit a bounded simple infinite-dimensional ( \mathfraks\mathfrakl_n,\mathfrakk \mathfrak{s}{\mathfrak{l}_n},\mathfrak{k} )-module. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible components of the associated varieties of simple bounded ( \mathfrakg,\mathfrakk \mathfrak{g},\mathfrak{k} )-modules.     

Polynomiality of invariants, unimodularity and adapted pairs

Let \mathfraka \mathfrak{a} be a finite-dimensional Lie algebra and Y( \mathfraka ) Y\left( \mathfrak{a} \right) the \mathfraka \mathfrak{a} invariant subalgebra of its symmetric algebra S( \mathfraka ) S\left( \mathfrak{a} \right) under adjoint action. Recently there has been considerable interest in studying situations when Y( \mathfraka ) Y\left( \mathfrak{a} \right) may be polynomial on index \mathfraka \mathfrak{a} generators, for example if \mathfraka \mathfrak{a} is a biparabolic or a centralizer \mathfrakg^x {\mathfrak{g}^x} in a semisimple Lie algebra \mathfrakg \mathfrak{g} .     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}     

Determination of 7-Dimensional Indecomposable Nilpotent Complex Lie Algebras by Adjoining a Derivation to 6-Dimensional Lie Algebras

For any complex 6-dimensional nilpotent Lie algebra \mathfrakg,\mathfrak{g}, we compute the strain of all indecomposable 7-dimensional nilpotent Lie algebras which contain \mathfrakg\mathfrak{g} by the adjoining a derivation method. We get a new determination of all 7-dimensional complex nilpotent Lie algebras, allowing to check earlier results (some contain errors), along with a cross table intertwining nilpotent 6- and 7-dimensional Lie algebras.     

Two-step solvable Lie algebras and weight graphs

By using the concept of weight graph associated to nonsplit complex nilpotent Lie algebras \mathfrakg\mathfrak{g}, we find necessary and sufficient conditions for a semidirect product \mathfrakg?^? T_i\mathfrak{g}\overrightarrow{\oplus } T_{i} to be two-step solvable, where $T_{i}TT over \mathfrakg\mathfrak{g} which induces a decomposition of \mathfrakg\mathfrak{g} into one-dimensional weight spaces without zero weights. In particular we show that the semidirect product of such a Lie algebra with a maximal torus of derivations cannot be itself two-step solvable. We also obtain some applications to rigid Lie algebras, as a geometrical proof of the nonexistence of two-step nonsplit solvable rigid Lie algebras in dimensions n\geqslant 3n\geqslant 3.     

On one class of extreme extensions of a measure

We consider a relationship between two sets of extensions of a finite finitely additive measure μ defined on an algebra \mathfrakB \mathfrak{B} of sets to a broader algebra \mathfrakA \mathfrak{A} . These sets are the set ex S _μ of all extreme extensions of the measure μ and the set H _μ of all extensions defined as l(A) = [^(m)]( h(A) ),   A ? \mathfrakA \lambda (A) = \hat{\mu }\left( {h(A)} \right),\,\,\,A \in \mathfrak{A} , where [^(m)] \hat{\mu } is a quotient measure on the algebra \mathfrakB

Irreducible holonomy algebras of Riemannian supermanifolds

Possible irreducible holonomy algebras \mathfrakg ì \mathfrakosp(p, q|2m){\mathfrak{g}\subset\mathfrak{osp}(p, q|2m)} of Riemannian supermanifolds under the assumption that \mathfrakg{\mathfrak{g}} is a direct sum of simple Lie superalgebras of classical type and possibly of a 1-dimensional center are classified. This generalizes the classical result of Marcel Berger about the classification of irreducible holonomy algebras of pseudo-Riemannian manifolds.     

On divisible weighted Dynkin diagrams and reachable elements

Let e be a nilpotent element of a complex simple Lie algebra $ \mathfrak{g} Let e be a nilpotent element of a complex simple Lie algebra \mathfrakg \mathfrak{g} . The weighted Dynkin diagram of e, D(e) \mathcal{D}(e) , is said to be divisible if D(e)

Enveloping algebras of Slodowy slices and Goldie rank

Let U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) be the finite W-algebra associated with a nilpotent element e in a complex simple Lie algebra \mathfrakg = \textLie(G) \mathfrak{g} = {\text{Lie}}(G) and let I be a primitive ideal of the enveloping algebra U( \mathfrakg ) U\left( \mathfrak{g} \right) whose associated variety equals the Zariski closure of the nilpotent orbit (Ad G) e. Then it is known that I = \textAn\textn_{U( \mathfrakg )}( Q_e ?_{U( \mathfrakg,e )}V ) I = {\text{An}}{{\text{n}}_{U\left( \mathfrak{g} \right)}}\left( {{Q_e}{ \otimes_{U\left( {\mathfrak{g},e} \right)}}V} \right) for some finite dimensional irreducible U( \mathfrakg,e ) U\left( {\mathfrak{g},e} \right) -module V, where Q _e stands for the generalised Gelfand–Graev \mathfrakg \mathfrak{g} -module associated with e. The main goal of this paper is to prove that the Goldie rank of the primitive quotient U( \mathfrakg )

Pluriharmonic maps into Kähler symmetric spaces and Sym’s formula

A construction due to Sym and Bobenko recovers constant mean curvature surfaces in euclidean 3-space from their harmonic Gauss maps. We generalize this construction to higher dimensions and codimensions replacing the surface by a complex manifold and the sphere (the target space of the Gauss map) by a Kähler symmetric space of compact type with its standard embedding into the Lie algebra ${\mathfrak{g}}A construction due to Sym and Bobenko recovers constant mean curvature surfaces in euclidean 3-space from their harmonic Gauss maps. We generalize this construction to higher dimensions and codimensions replacing the surface by a complex manifold and the sphere (the target space of the Gauss map) by a K?hler symmetric space of compact type with its standard embedding into the Lie algebra \mathfrakg{\mathfrak{g}} of its transvection group. Thus we obtain a new class of immersed K?hler submanifolds of \mathfrakg{\mathfrak{g}} and we derive their properties.     

Differential Invariants of the 2D Conformal Lie Algebra Action

We consider the Lie algebra that corresponds to the Lie pseudogroup of all conformal transformations on the plane. This conformal Lie algebra is canonically represented as the Lie algebra of holomorphic vector fields in ℝ²≃ℂ. We describe all representations of \mathfrakg\mathfrak{g} via vector fields in J ⁰ℝ²=ℝ³(x,y,u), which project to the canonical representation, and find their algebra of scalar differential invariants.     

On the Kashiwara–Vergne conjecture

Let G be a connected Lie group, with Lie algebra . In 1977, Duflo constructed a homomorphism of -modules , which restricts to an algebra isomorphism on invariants. Kashiwara and Vergne (1978) proposed a conjecture on the Campbell-Hausdorff series, which (among other things) extends the Duflo theorem to germs of bi-invariant distributions on the Lie group G. The main results of the present paper are as follows. (1) Using a recent result of Torossian (2002), we establish the Kashiwara–Vergne conjecture for any Lie group G. (2) We give a reformulation of the Kashiwara–Vergne property in terms of Lie algebra cohomology. As a direct corollary, one obtains the algebra isomorphism , as well as a more general statement for distributions.