THE CLASSIFICATION OF CONVEX ORDERS ON AFFINE ROOT SYSTEMS

We classify all total orders with a convex property on the positive root system of an arbitrary untwisted affine Lie algebra g. Such total orders are called convex orders and are used to construct convex bases of Poincaré-Birkhoff-Witt type of the upper triangular subalgebra U_q ⁺ of the quantized universal enveloping algebra U_q (g).     

Invariant polynomials under the maximal unipotent subgroup of a classical group

Let N be a maximal unipotent subgroup of a classical complex Lie group G, whose Lie algebra we denote by g. Inside the ring of N-invariant polynomials S′(g)^N we consider the subring generated by the polynomials of weight e^{m(Λ + Λ*)}, where Λ and Λ^* are the highest weights corresponding to the natural representation of g and to its dual respectively, and m ε Z.We prove that this subring is a polynomial ring and we explicitly give a set of generators.     

Inequalities for predictive ratios and posterior variances in natural exponential families

The predictive ratio is considered as a measure of spread for the predictive distribution. It is shown that, in the exponential families, ordering according to the predictive ratio is equivalent to ordering according to the posterior covariance matrix of the parameters. This result generalizes an inequality due to Chaloner and Duncan who consider the predictive ratio for a beta-binomial distribution and compare it with a predictive ratio for the binomial distribution with a degenerate prior. The predictive ratio at x₁ and x₂ is defined to be p_g(x₁)p_g(x₂)/[p_g( )]² = h_g(x₁, x₂), where p_g(x₁) = ∫ ƒ(x₁θ) g(θ) dθ is the predictive distribution of x₁ with respect to the prior g. We prove that h_g(x₁, x₂) ≥ h_g^*(x₁, x₂) for all x₁ and x₂ if ƒ(xθ) is in the natural exponential family and Cov_gx(θ) ≥ Cov_g^*x(θ) in the Loewner sense, for all x on a straight line from x₁ to x₂. We then restrict the class of prior distributions to the conjugate class and ask whether the posterior covariance inequality obtains if g and g^* differ in that the “sample size”     

Analytic actions on compact surfaces and fixed points

 Consider an effective real analytic action of a connected Lie group G on a compact connected surface of Euler characteristic χ≠0. We show that if the action has no fixed point then χ≥1 and the Lie algebra 𝒢 of G is isomorphic either to a subalgebra of the affine algebra of ℝ², which is the extension of the ideal of constant vector fields by an irreducible linear subalgebra, or to sl(2,ℝ), o(3), sl(2,ℂ) and sl(3,ℝ). Received: 7 August 2001 Published online: 24 January 2003     

X-inner automorphisms of enveloping rings

In this paper, we determine the X-inner automorphisms of the smash product R # U(L) of a prime ring R by the universal enveloping algebra U(L) of a characteristic 0 Lie algebra L. Specifically, we show that any such automorphism σ stabilizing R can be written as a product σ = σ₁σ₂, where σ₁ is induced by conjugation by a unit of Q₃(R), the symmetric Martindale ring of quotients of R, and σ₂ is induced by conjugation by a unit of Q₃(T). Here S = Q_l(R) is the left Martindale ring of quotients of R and T is the centralizer of S in S # U(L) - R # U(L). One of the subtleties of the proof is that we must work in several unrelated overrings of R # U(L).     

On the Quantum KPRV Determinants for Semisimple and Affine Lie Algebras

Let g be a semisimple or affine Lie algebra and U _q (g) its quantized enveloping algebra. Extending earlier work, the KPRV determinant for an admissible integrable U _q (g) module V relative to a parabolic subalgebra pg is defined and shown to be nonzero. These determinants had previously been evaluated for g semisimple and p a Borel subalgebra. The present results can be used to extend this to g affine as will be shown in a subsequent publication.For a parabolic subalgebra the evaluation of these determinants is much more difficult. For appropriate overalgebras of the primitive quotients of the enveloping algebra U(g) defined by one-dimensional representations of p, these determinants had been calculated for g semisimple. However the quantum case is interesting because it is unnecessary to pass to overalgebras and besides for U(g):g affine, it is not even clear how these determinants should be defined. Here for g semisimple, the degrees of the determinants are computed and shown to depend on being the same type of functions as in the enveloping algebra case; yet in a different fashion. Some special cases (in type A ₄) are computed explicity. Here, as in the Borel case, the determinants take a remarkably simple form and notably can be expressed as a product of linear factors. However compared to the enveloping algebra case one finds additional factors corresponding to what are called quantum zeros and whose origin remains unknown.     

A sufficient condition for pairing problem of generators in symmetrizable Kac–Moody algebras

In a symmetrizable Kac–Moody algebra g(A), let α=∑_i=1ⁿk_iα_i be an imaginary root satisfying k_i>0 and α,α_i<0 for i=1,2,…,n. In this paper, it is proved that for any x_αg_α{0}, satisfying [x_α,f_n]≠0 and [x_α,f_i]=0 for i=1,2,…,n−1, there exists a vector y such that the subalgebra generated by x_α and y contains g′(A), the derived subalgebra of g(A).     

Analytic continuation of local representations of symmetric spaces

We prove the following analytic continuation theorem which applies to any virtual representation of any symmetric space (G, K, σ). The problem of passing from the Euclidean group to the Poincaré group appears first to have been addressed and solved this way by Klein and Landau. Let G be a Lie group, K a closed subgroup, and σ an involutive automorphism with K as fixed-point subgroup. If = + is the corresponding symmetric Lie algebra, we form ^* = + , and let G^* denote the simply connected Lie group with ^* as Lie algebra. We consider virtual representations π of G on a fixed complex Hilbert space , adopting the definitions due to J. Fröhlich, K. Osterwalder, and E. Seiler; in particular, π(g⁻¹) π(σ(g))^* (possibly unbounded operators) for g in a neighborhood of e in G. We prove that every such π continues analytically to a strongly continuous unitary representation of G^* on . Our theorem extends results due to Klein-Landau, Fröhlich et al., and others, earlier, for special cases. Previous results were known only for special (G, K, σ), and then only for certain π.     

Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic

Algebras of operations defined on recursively enumerable sets of different kinds are considered. Every such algebra is specified by a list of operations involved and a list of basic elements. An element of an algebra is said to be representable in this algebra if it can be obtained from given basic elements by operations of the algebra. Two kinds of recursively enumerable sets are considered: recursively enumerable sets in the usual sense and fuzzy recursively enumerable sets. On binary, i.e., two-dimensional recursively enumerable sets of these kinds, algebras of operations are introduced. An algebra θ is constructed in which all binary recursively enumerable sets are representable. A subalgebra θ⁰ of θ is constructed in which all binary recursively enumerable sets are representable if and only if they are described by formulas of Presburger’s arithmetic system. An algebra Ω is constructed in which all binary recursively enumerable fuzzy sets are representable. A subalgebra Ω⁰ of the algebra Ω is constructed such that fuzzy recursively enumerable sets representable in Ω⁰ can be treated as fuzzy counterparts of sets representable by formulas of Presburger’s system. Bibliography: 16 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 75–98.     

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.     

A construction for coisotropic subalgebras of Lie bialgebras

Given a Lie bialgebra (g,g^∗), we present an explicit procedure to construct coisotropic subalgebras, i.e. Lie subalgebras of g whose annihilator is a Lie subalgebra of g^∗. We write down families of examples for the case that g is a classical complex simple Lie algebra.     

Automorphism groups of certain simple 2-(q,3,λ) designs constructed from finite fields

Let F be a finite field of characteristic not 2, and SF a subset with three elements. Consider the collection

S={S·a+b | a,bF, a≠0}.

Then (F,S) is a simple 2-design and the parameter λ of (F,S) is 1, 2, 3 or 6. We find in this paper the full automorphism group of (F,S). Namely, if we put U={r | {0,1,r}S} and K the subfield of F generated by U, then the automorphisms of (F,S) are the maps of the form xg(α(x))+b, xF, where bF, α : F→F is a field automorphism fixing U, and g is a linear transformation of F considered as a vector space over K.     

Some Theorems on Leibniz Algebras

If U is a subnormal subalgebra of a finite-dimensional Leibniz algebra L and M is a finite-dimensional irreducible L-bimodule, then all U-bimodule composition factors of M are isomorphic. If U is a subnormal subalgebra of a finite-dimensional Leibniz algebra L, then the nilpotent residual of U is an ideal of L. Engel subalgebras of finite-dimensional Leibniz algebras are shown to have similar properties to those of Lie algebras. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements.     

Strongly Flat and PO-Flat S-Posets

Abstract

The main purpose of this paper is to study Lie algebras L such that if a subalgebra U of L has a maximal subalgebra of dimension one then every maximal subalgebra of U has dimension one. Such an L is called lm(0)-algebra. This class of Lie algebras emerges when it is imposed on the lattice of subalgebras of a Lie algebra the condition that every atom is lower modular. We see that the effect of that condition is highly sensitive to the ground field F. If F is algebraically closed, then every Lie algebra is lm(0). By contrast, for every algebraically non-closed field there exist simple Lie algebras which are not lm(0). For the real field, the semisimple lm(0)-algebras are just the Lie algebras whose Killing form is negative-definite. Also, we study when the simple Lie algebras having a maximal subalgebra of codimension one are lm(0), provided that char(F) ≠ 2. Moreover, lm(0)-algebras lead us to consider certain other classes of Lie algebras and the largest ideal of an arbitrary Lie algebra L on which the action of every element of L is split, which might have some interest by themselves.     

An algebraic slice in the coadjoint space of the Borel and the Coxeter element

Let g be a complex simple Lie algebra and b a Borel subalgebra. The algebra Y of polynomial semi-invariants on the dual b^? of b is a polynomial algebra on rank g generators (Grothendieck and Dieudonné (1965–1967)) [16]. The analogy with the semisimple case suggests there exists an algebraic slice to coadjoint action, that is an affine translate y+V of a vector subspace of b^? such that the restriction map induces an isomorphism of Y onto the algebra R[y+V] of regular functions on y+V. This holds in type A and even extends to all biparabolic subalgebras (Joseph (2007)) [20]; but the construction fails in general even with respect to the Borel. Moreover already in type C(2) no algebraic slice exists.Very surprisingly the exception of type C(2) is itself an exception. Indeed an algebraic slice for the coadjoint action of the Borel subalgebra is constructed for all simple Lie algebras except those of types B(2m), C(n) and F(4).Outside type A, the slice obtained meets an open dense subset of regular orbits, even though the special point y of the slice is not itself regular. This explains the failure of our previous construction.     

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

Weyl Groups are Finite — and Other Finiteness Properties of Cartan Subalgebras

For each pair (??,??) consisting of a real Lie algebra ?? and a subalgebra a of some Cartan subalgebra ?? of ?? such that [??, ??]∪ [??, ??] we define a Weyl group W(??, ??) and show that it is finite. In particular, W(??, ??,) is finite for any Cartan subalgebra h. The proof involves the embedding of 0 into the Lie algebra of a complex algebraic linear Lie group to which the structure theory of Lie algebras and algebraic groups is applied. If G is a real connected Lie group with Lie algebra ??, the normalizer N(??, G) acts on the finite set Λ of roots of the complexification ??c with respect to hc, giving a representation π : N(??, G)→ S(Λ) into the symmetric group on the set Λ. We call the kernel of this map the Cartan subgroup C(??) of G with respect to h; the image is isomorphic to W(??, ??), and C(??)= {g G : Ad(g)(h)— h ε [h,h] for all h ε h }. All concepts introduced and discussed reduce in special situations to the familiar ones. The information on the finiteness of the Weyl groups is applied to show that under very general circumstance, for b ∪ ?? the set ??? ?(b) remains finite as ? ranges through the full group of inner automorphisms of ??.     

ℤ/2ℤ Invariants of the free fermion algebra

By using quantum vertex operators we study the invariance of the rank n free-fermion vertex algebra under the action of the group ?∕2? and obtain its minimal generating set. When n = 1, it is well known that this subalgebra is isomorphic to the Virasoro vertex algebra with central charge 1∕2. In the n = 2 case we show that invariant subalgebra is isomorphic to a simple quotient of a certain W-algebra, which we explicitly construct. For n≥3, our approach leads to a rediscovery of the spinor representation of the a?ne vertex algebra associated to the Lie algebra 𝔰𝔬(n) of I. Frenkel.     

Cohomologies of infinite-dimensional Borel algebras

Let G be an affine Lie algebra and B be its Borel subalgebra. The chohomologies Hⁿ(B, B) of the adjoint representation are studied. The main result is as follows: If the algebra G is untwisted andn 2, then Hⁿ(B, B)=0.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 9, pp. 1278–1283, September, 1990.     

Lie algebras associated to systems of Dyson–Schwinger equations

We consider systems of combinatorial Dyson–Schwinger equations in the Connes–Kreimer Hopf algebra HI of rooted trees decorated by a set I. Let H(S) be the subalgebra of HI generated by the homogeneous components of the unique solution of this system. If it is a Hopf subalgebra, we describe it as the dual of the enveloping algebra of a Lie algebra g(S) of one of the following types:

• 1. 

  g(S) is an associative algebra of paths associated to a certain oriented graph.

• 2. 

  Or g(S) is an iterated extension of the Faà di Bruno Lie algebra.

• 3. 

  Or g(S) is an iterated extension of an infinite-dimensional abelian Lie algebra.

We also describe the character groups of H(S).