Let G be a complex connected reductive group. The Parthasarathy–Ranga Rao–Varadarajan (PRV) conjecture, which was proved independently by S. Kumar and O. Mathieu in 1989, gives explicit irreducible submodules of the tensor product of two irreducible G-modules. This paper has three aims. First, we simplify the proof of the PRV conjecture, then we generalize it to other branching problems. Finally, we find other irreducible components of the tensor product of two irreducible G-modules that appear for ‘the same reason’ as the PRV ones.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let 𝔤 be its Lie algebra. Let k(G), respectively, k(𝔤), be the field of k-rational functions on G, respectively, 𝔤. The conjugation action of G on itself induces the adjoint action of G on 𝔤. We investigate the question whether or not the field extensions k(G)/k(G)G and k(𝔤)/k(𝔤)G are purely transcendental. We show that the answer is the same for k(G)/k(G)G and k(𝔤)/k(𝔤)G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type An or Cn, and negative for groups of other types, except possibly G2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

We study the Witten multiple zeta function associated with the Lie algebra . Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w at least 2 is a finite ℚ-linear combination of alternating Euler sums of weight w and depth at most 2, except when the only nonzero argument is one of the two last variables, in which case ζ(w−1) is needed.

Some embeddings of general linear groups into hyperbolic Clifford groups are constructed generically by using Jordan pairs of rectangular and alternating matrices over a ring. In low rank cases through exceptional isomorphisms, their direct description and relationships to some automorphisms of Clifford groups are given. Generic norms are calculated in detail, and equivariant embeddings of representation spaces are constructed.

We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space of quasi-invariants of a given multiplicity is not, in general, an algebra but a module Qk over the coordinate ring of a (singular) affine variety Xk. We extend the main results of Berest et al. [Cherednik algebras and differential operators on quasi-invariants, Duke Math. J. 118 (2003), 279–337] to this setting: in particular, we show that the variety Xk and the module Qk are Cohen–Macaulay, and the rings of differential operators on Xk and Qk are simple rings, Morita equivalent to the Weyl algebra An(ℂ) , where n=dim Xk. Our approach relies on representation theory of complex Cherednik algebras introduced by Dunkl and Opdam [Dunkl operators for complex reflection groups, Proc. London Math. Soc. (3) 86 (2003), 70–108] and is parallel to that of Berest et al. As an application, we prove the existence of shift operators for an arbitrary complex reflection group, confirming a conjecture of Dunkl and Opdam. Another result is a proof of a conjecture of Opdam, concerning certain operations (KZ twists) on the set of irreducible representations of W.

Let 𝒰(𝔯(1)) denote the enveloping algebra of the two-dimensional nonabelian Lie algebra 𝔯(1) over a base field 𝕂. We study the maximal abelian ad-nilpotent (mad) associative subalgebras and finite-dimensional Lie subalgebras of 𝒰(𝔯(1)). We first prove that the set of noncentral elements of 𝒰(𝔯(1)) admits the Dixmier partition, 𝒰(𝔯(1))−𝕂=⋃ 5i=1Δi, and establish characterization theorems for elements in Δi, i=1,3,4. Then we determine the elements in Δi, i=1,3 , and describe the eigenvalues for the inner derivation ad Bx,x∈Δi, i=3,4 . We also derive other useful results for elements in Δi, i=2,3,4,5 . As an application, we find all framed mad subalgebras of 𝒰(𝔯(1))and determine all finite-dimensional nonabelian Lie algebras that can be realized as Lie subalgebras of 𝒰(𝔯(1)) . We also study the realizations of the Lie algebra 𝔯(1)in 𝒰(𝔯(1))in detail.

We consider the finite W-algebra U(𝔤,e) associated to a nilpotent element e∈𝔤 in a simple complex Lie algebra 𝔤 of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem for U(𝔤,e), we verify a conjecture of Premet, that U(𝔤,e) always has a 1-dimensional representation when 𝔤 is of type G2, F4, E6 or E7. Thanks to a theorem of Premet, this allows one to deduce the existence of minimal dimension representations of reduced enveloping algebras of modular Lie algebras of the above types. In addition, a theorem of Losev allows us to deduce that there exists a completely prime primitive ideal in U(𝔤)whose associated variety is the coadjoint orbit corresponding to e.

In this paper, it is proved that all irreducible Harish-Chandra modules over the ℚ Heisenberg–Virasoro algebra are of the intermediate series (all weight spaces are at most one-dimensional).

For an algebraic structure A denote by d(A) the smallest size of a generating set for A, and let d(A)=(d(A),d(A2),d(A3),…), where An denotes a direct power of A. In this paper we investigate the asymptotic behaviour of the sequence d(A) when A is one of the classical structures—a group, ring, module, algebra or Lie algebra. We show that if A is finite then d(A) grows either linearly or logarithmically. In the infinite case constant growth becomes another possibility; in particular, if A is an infinite simple structure belonging to one of the above classes then d(A) is eventually constant. Where appropriate we frame our exposition within the general theory of congruence permutable varieties.

We exhibit a strong link between the Hall algebra HX of an elliptic curve X defined over a finite field 𝔽l (or, more precisely, its spherical subalgebra U+X) and Cherednik’s double affine Hecke algebras of type GLn, for all n. This allows us to obtain a geometric construction of the Macdonald polynomials Pλ(q,t−1) in terms of certain functions (Eisenstein series) on the moduli space of semistable vector bundles on the elliptic curve X.

Lazard showed in his seminal work (Groupes analytiques p-adiques, Publ. Math. Inst. Hautes Études Sci. 26 (1965), 389–603) that for rational coefficients, continuous group cohomology of p-adic Lie groups is isomorphic to Lie algebra cohomology. We refine this result in two directions: first, we extend Lazard’s isomorphism to integral coefficients under certain conditions; and second, we show that for algebraic groups over finite extensions K/ℚp, his isomorphism can be generalized to K-analytic cochains andK-Lie algebra cohomology.

We describe a general setting for the definition of semi-infinite cohomology of finite-dimensional graded algebras, and provide an interpretation of such cohomology in terms of derived categories. We apply this interpretation to compute semi-infinite cohomology of some modules over the small quantum group at a root of unity, generalizing an earlier result of Arkhipov (posed as a conjecture by B. Feigin).

Weitzenböck formulas are an important tool in relating local differential geometry to global topological properties by means of the so-called Bochner method. In this article we give a unified treatment of the construction of all possible Weitzenböck formulas for all irreducible, non-symmetric holonomy groups. We explicitly construct a basis of the space of Weitzenböck formulas. This classification allows us to find customized Weitzenböck formulas for applications such as eigenvalue estimates or Betti number estimates.

In this paper we discuss the simplicity criteria of (−1,−1)-Freudenthal Kantor triple systems and give examples of such triple systems, from which we can construct some Lie superalgebras. We also show that we can associate a Jordan triple system to any (ε,δ)-Freudenthal Kantor triple system. Further, we introduce the notion of δ-structurable algebras and connect them to (−1,δ)-Freudenthal Kantor triple systems and the corresponding Lie (super)algebra construction.

For a fixed parabolic subalgebra 𝔭 of we prove that the centre of the principal block 𝒪0𝔭 of the parabolic category 𝒪 is naturally isomorphic to the cohomology ring H*(ℬ𝔭) of the corresponding Springer fibre. We give a diagrammatic description of 𝒪0𝔭 for maximal parabolic 𝔭 and give an explicit isomorphism to Braden’s description of the category PervB(G(k,n)) of Schubert-constructible perverse sheaves on Grassmannians. As a consequence Khovanov’s algebra ℋn is realised as the endomorphism ring of some object from PervB(G(n,n)) which corresponds under localisation and the Riemann–Hilbert correspondence to a full projective–injective module in the corresponding category 𝒪0𝔭. From there one can deduce that Khovanov’s tangle invariants are obtained from the more general functorial invariants in [C. Stroppel, Categorification of the Temperley Lieb category, tangles, and cobordisms via projective functors, Duke Math. J. 126(3) (2005), 547–596] by restriction.

Semiclassical limits of generic multi-parameter quantized coordinate rings A=q(kn) of affine spaces are constructed and related to A, for k an algebraically closed field of characteristic zero and q a multiplicatively antisymmetric matrix whose entries generate a torsion-free subgroup of k×. A semiclassical limit of A is a Poisson algebra structure on the corresponding classical coordinate ring R=(kn), and results of Oh, Park, Shin and the authors are used to construct homeomorphisms from the Poisson-prime and Poisson-primitive spectra of R onto the prime and primitive spectra of~A. The Poisson-primitive spectrum of R is then identified with the space of symplectic cores in kn in the sense of Brown and Gordon, and an example is presented (over ℂ) for which the Poisson-primitive spectrum of R is not homeomorphic to the space of symplectic leaves in kn. Finally, these results are extended from quantum affine spaces to quantum affine toric varieties.

In this paper we propose an approach to classifying a subclass of filiform Leibniz algebras. This subclass arises from the naturally graded filiform Lie algebras. We reconcile and simplify the structure constants of such a class. In the arbitrary fixed dimension case an effective algorithm to control the behavior of the structure constants under adapted transformations of basis is presented. In one particular case, the precise formulas for less than 10 dimensions are given. We provide a computer program in Maple that can be used in computations as well.

Let G be a connected, simply connected, simple complex algebraic group and let ϵ be a primitive ℓth root of one, ℓ odd and 3∤ℓ if G is of type G2. We determine all Hopf algebra quotients of the quantized coordinate algebra 𝒪ϵ(G).

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 general linear Lie algebra over a field of characteristic zero. In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova.

A construction of finite semifield planes of order n using irreducible semilinear transformations on a finite vector space of size n is shown to produce fewer than different nondesarguesian planes.