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} .}     

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 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)

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.     

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.     

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.     

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.     

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.     

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 )

Combinatorics of character formulas for the lie superalgebra \mathfrak{g}\mathfrak{l}\left( {m,n} \right)

Let \mathfrakg \mathfrak{g} be the Lie superalgebra \mathfrakg\mathfrakl( m,n ) \mathfrak{g}\mathfrak{l}\left( {m,n} \right) . Algorithms for computing the composition factors and multiplicities of Kac modules for \mathfrakg \mathfrak{g} were given by the second author, [12] and by J. Brundan [1]. We give a combinatorial proof of the equivalence between the two algorithms. The proof uses weight and cap diagrams introduced by Brundan and C. Stroppel, and cancelations between paths in a graph G \mathcal{G} defined using these diagrams. Each vertex of G \mathcal{G} corresponds to a highest weight of a finite dimensional simple module, and each edge is weighted by a nonnegative integer. If E \mathcal{E} is the subgraph of G \mathcal{G} obtained by deleting all edges of positive weight, then E \mathcal{E} is the graph that describes nonsplit extensions between simple highest weight modules. We also give a procedure for finding the composition factors of any Kac module, without cancelation. This procedure leads to a second proof of the main result.     

Solvable Lie algebras are not that hypo

We study a type of left-invariant structure on Lie groups or, equivalently, on Lie algebras. We introduce obstructions to the existence of a hypo structure, namely the five-dimensional geometry of hypersurfaces in manifolds with holonomy SU(3). The choice of a splitting \mathfrakg^* = V₁ ?V₂ {\mathfrak{g}^*} = {V_1} \oplus {V_2} , and the vanishing of certain associated cohomology groups, determine a first obstruction. We also construct necessary conditions for the existence of a hypo structure with a fixed almost-contact form. For nonunimodular Lie algebras, we derive an obstruction to the existence of a hypo structure, with no choice involved. We apply these methods to classify solvable Lie algebras that admit a hypo structure.     

On quasiorder lattices and topology lattices of algebras

In this paper, it is shown that the dual [(\textQord)\tilde]\mathfrakA \widetilde{\text{Qord}}\mathfrak{A} of the quasiorder lattice of any algebra \mathfrakA \mathfrak{A} is isomorphic to a sublattice of the topology lattice á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . Further, if \mathfrakA \mathfrak{A} is a finite algebra, then [(\textQord)\tilde]\mathfrakA @ á( \mathfrakA ) \widetilde{\text{Qord}}\mathfrak{A} \cong \Im \left( \mathfrak{A} \right) . We give a sufficient condition for the lattices [(\textCon)\tilde]\mathfrakA\text, [(\textQord)\tilde]\mathfrakA \widetilde{\text{Con}}\mathfrak{A}{\text{,}} \widetilde{\text{Qord}}\mathfrak{A} , and á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . to be pairwise isomorphic. These results are applied to investigate topology lattices and quasiorder lattices of unary algebras.     

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} .     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

Lifting automorphisms of generalized adjoint quotients

Let G be a reductive algebraic group over an algebraically closed field K of characteristic zero. Let p:\mathfrakg^r ? X = \mathfrakg^r//G \pi :{\mathfrak{g}^r} \to X = {\mathfrak{g}^r}//G be the categorical quotient where \mathfrakg \mathfrak{g} is the adjoint representation of G and r is a suitably large integer (in general r ≥ 5, but for many cases r ≥ 3 or even r ≥ 2 suffices). We show that every automorphism φ of X lifts to a map F:\mathfrakg^r ? \mathfrakg^r \Phi :{\mathfrak{g}^r} \to {\mathfrak{g}^r} commuting with π. As an application we consider the action of φ on the Luna stratification of X.     

Homogeneous Hypersurfaces in ℂ<Superscript>3</Superscript>, Associated with a Model CR-Cubic

The model 4-dimensional CR-cubic in ℂ³ has the following “model” property: it is (essentially) the unique locally homogeneous 4-dimensional CR-manifold in ℂ³ with finite-dimensional infinitesimal automorphism algebra \mathfrakg\mathfrak{g} and non-trivial isotropy subalgebra. We study and classify, up to local biholomorphic equivalence, all \mathfrakg\mathfrak{g}-homogeneous hypersurfaces in ℂ³ and also classify the corresponding local transitive actions of the model algebra \mathfrakg\mathfrak{g} on hypersurfaces in ℂ³.     

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

An $ \mathfrak{X} $-crown of a finite soluble group

Let G be a finite soluble group and F_\mathfrakX(G) {\Phi_\mathfrak{X}}(G) an intersection of all those maximal subgroups M of G for which G

Balanced Deep Matrix Algebras

This paper continues the study of associative and Lie deep matrix algebras, DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) and \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}), and their subalgebras. After a brief overview of the general construction, balanced deep matrix subalgebras, BDM(X,\mathbbK){\mathcal{BDM}}(X,{\mathbb{K}}) and \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}), are defined and studied for an infinite set X. The global structures of these two algebras are studied, devising a depth grading on both as well as determining their ideal lattices. In particular, \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) is shown to be semisimple. The Lie algebra \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) possesses a deep Cartan decomposition and is locally finite with every finite subalgebra naturally enveloped by a semi-direct product of \mathfraksl_n{\mathfrak{{sl}_n}}’s. We classify all associative bilinear forms on \mathfraksl₂\mathfrakd{\mathfrak{sl}_2\mathfrak{d}} (a natural depth analogue of \mathfraksl₂{\mathfrak{{sl}_2}}) and \mathfrakbld{\mathfrak{bld}}.