On the Generalized Enveloping Algebra of a Color Lie Algebra

Let G be an abelian group, ε an anti-bicharacter of G and L a G-graded ε Lie algebra (color Lie algebra) over a field of characteristic zero. We prove that for all G-graded, positively filtered A such that the associated graded algebra is isomorphic to the G-graded ε-symmetric algebra S(L), there is a G- graded ε-Lie algebra L and a G-graded scalar two cocycle , such that A is isomorphic to U _ω (L) the generalized enveloping algebra of L associated with ω. We also prove there is an isomorphism of graded spaces between the Hochschild cohomology of the generalized universal enveloping algebra U(L) and the generalized cohomology of the color Lie algebra L. Supported by the EC project Liegrits MCRTN 505078.     

Lie theory and the Chern-Weil homomorphism

Let P→B be a principal G-bundle. For any connection θ on P, the Chern-Weil construction of characteristic classes defines an algebra homomorphism from the Weil algebra Wg=Sg^∗⊗∧g^∗ into the algebra of differential forms A=Ω(P). Invariant polynomials inv(Sg^∗)⊂Wg map to cocycles, and the induced map in cohomology inv(Sg^∗)→H(Abasic) is independent of the choice of θ. The algebra Ω(P) is an example of a commutativeg-differential algebra with connection, as introduced by H. Cartan in 1950. As observed by Cartan, the Chern-Weil construction generalizes to all such algebras.In this paper, we introduce a canonical Chern-Weil map Wg→A for possibly non-commutativeg-differential algebras with connection. Our main observation is that the generalized Chern-Weil map is an algebra homomorphism “up to g-homotopy”. Hence, the induced map inv(Sg^∗)→Hbasic(A) is an algebra homomorphism. As in the standard Chern-Weil theory, this map is independent of the choice of connection.Applications of our results include: a conceptually easy proof of the Duflo theorem for quadratic Lie algebras, a short proof of a conjecture of Vogan on Dirac cohomology, generalized Harish-Chandra projections for quadratic Lie algebras, an extension of Rouvière's theorem for symmetric pairs, and a new construction of universal characteristic forms in the Bott-Shulman complex.     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE     

Lie algebra of formal vector fields which are extended by formal g-valued functions

In this paper, we consider the infinite-dimensional Lie algebra W_n⋉g⊗O _n of formal vector fields on the n-dimensional plane which is extended by formal g-valued functions of n variables. Here g is an arbitrary Lie algebra. We show that the cochain complex of this Lie algebra is quasi-isomorphic to the quotient of the Weyl algebra of (gl _n ⊕ g) by the (2n+1)st term of the standard filtration. We consider separately the case of a reductive Lie algebra g. We show how one can use the methods of formal geometry to construct characteristic classes of bundles. For every G-bundle on an n-dimensional complex manifold, we construct a natural homomorphism from the ring A of relative cohomologies of the Lie algebra W_n⋉g⊗O _n to the ring of cohomologies of the manifold. We show that generators of the ring A are mapped under this homomorphism to characteristic classes of tangent and G-bundles. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 335, 2006, pp. 205–230.     

Lie algebras determined by finite valued Auslander-Reiten quivers

Let г denote a connected valued Auslander-Reiten quiver, let ℒ(γ) denote the free abelian group generated by the vertex setγ ₀ and let ℒ(Γ) be the universal cover ofг with fundamental groupG. It is proved that whenγ is a finite connected valued Auslander-Reiten quiver,ℒ(γ) is a Lie subalgebra ofℋ(г), and is just the “orbit” Lie algebra ℒ( )/G, where ℋ (г)₁ is the degenerate Hall algebra ofг and ℒ( )/G is the “orbit” Lie algebra induced by .     

The localization of 1-cohomology of transitive Lie algebroids

For a transitive Lie algebroid A on a connected manifold M and its representation on a vector bundle F, we define a morphism of cohomology groups rk: Hk(A,F) → Hk(Lx,Fx), called the localization map, where Lx is the adjoint algebra at x ∈ M. The main result in this paper is that if M is simply connected, or H (LX,FX) is trivial, then T is injective. This means that the Lie algebroid 1-cohomology is totally determined by the 1-cohomology of its adjoint Lie algebra in the above two cases.     

Cohomology of graded lie algebras of maximal class with coefficients in the adjoint representation

We compute explicitly the adjoint cohomology of two ℕ-graded Lie algebras of maximal class (infinite-dimensional filiform Lie algebras) m₀ and m₂. It is known that up to an isomorphism there are only three ℕ-graded Lie algebras of maximal class. The third algebra from this list is the “positive” part L ₁ of the Witt (or Virasoro) algebra, and its adjoint cohomology was computed earlier by Feigin and Fuchs. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2008, Vol. 263, pp. 106–119.     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Exponential actions and maximal ?-invariant ideals

Let V be an exponential ?-module, ? being an exponential Lie algebra. Put ? = exp ?. Then every orbit of V under the action of ? admits a closed orbit in its closure. If G= exp ? is a nilpotent Lie group and ? an exponential algebra of derivations of ?, then ? = exp ? acts on G, L ¹(G), (?) and the maximal ?-invariant ideals of L ¹(G), resp. of (?) coincide with the kernels Ker Ω, resp. Ker Ω∩ (?), where Ω is a closed orbit of ?^*. Received: 6 December 1996 / Revised version: 7 December 1997     

ON THE STRUCTURE OF COHOMOLOGY RINGS OF p-NILPOTENT LIE ALGEBRAS

In this paper the authors investigate the structure of the restricted Lie algebra cohomology of p-nilpotent Lie algebras with trivial p-power operation. Our study is facilitated by a spectral sequence whose E ₂-term is the tensor product of the symmetric algebra on the dual of the Lie algebra with the ordinary Lie algebra cohomology and converges to the restricted cohomology ring. In many cases this spectral sequence collapses, and thus, the restricted Lie algebra cohomology is Cohen–Macaulay. A stronger result involves the collapsing of the spectral sequence and the cohomology ring identifying as a ring with the E ₂-term. We present criteria for the collapsing of this spectral sequence and provide some examples where the ring isomorphism fails. Furthermore, we show that there are instances when the spectral sequence does not collapse and yields cohomology rings which are not Cohen-Macaulay.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

The higher lower central series

The Baer invariants Γ _n (G) of a group are central extensions of the elementsγ _n (G) of the lower central series. We show that the inclusionsγ _n +1 ⊂γ _n can be lifted to functor morphisms Γ _n+1→Γ _n and a canonical Lie algebra, analogous to Lazard’s Lie algebra, can be constructed which is explicitly computable. This is applied in various ways.     

The relation between the Baum-Connes Conjecture and the Trace Conjecture

We prove a version of the L ²-index Theorem of Atiyah, which uses the universal center-valued trace instead of the standard trace. We construct for G-equivariant K-homology an equivariant Chern character, which is an isomorphism and lives over the ring ℤ⊂λ ^G ⊂ℚ obtained from the integers by inverting the orders of all finite subgroups of G. We use these two results to show that the Baum-Connes Conjecture implies the modified Trace Conjecture, which says that the image of the standard trace K ₀(C ^* _r (G))→ℝ takes values in λ ^G . The original Trace Conjecture predicted that its image lies in the additive subgroup of ℝ generated by the inverses of all the orders of the finite subgroups of G, and has been disproved by Roy [15]. Oblatum 10-IV-2001 & 18-X-2001?Published online: 15 April 2002     

Totally geodesic submanifolds in Lie groups

Summary We study minimal and totally geodesic submanifolds in Lie groups and related problems. We show that: (1) The imbedding of the Grassmann manifold G_F(n,N) in the Lie group G_F(N) defined naturally makes G_F(n,N) a totally geodesic submanifold; (2) The imbedding S⁷→SO(8) defined by octonians makes S⁷a totally geodesic submanifold inSO(8); (3) The natural inclusion of the Lie group G_F(N) in the sphere S^{cN^2-1}(√N) of gl(N,F)is minimal. Therefore the natural imbedding G_F(N)<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>→gl(N,F)is formed by the eigenfunctions of the Laplacian on G_F(N).     

Limit distributions of expanding translates of certain orbits on homogeneous spaces

LetL be a Lie group and λ a lattice inL. SupposeG is a non-compact simple Lie group realized as a Lie subgroup ofL and . LetaεG be such that Ada is semisimple and not contained in a compact subgroup of Aut(Lie(G)). Consider the expanding horospherical subgroup ofG associated toa defined as U⁺ ={g&#x03B5;G:a ⁻ⁿ gaⁿ} →e as n → ∞. Let Ω be a non-empty open subset ofU ⁺ andn _i → ∞ be any sequence. It is showed that . A stronger measure theoretic formulation of this result is also obtained. Among other applications of the above result, we describeG-equivariant topological factors of L/gl × G/P, where the real rank ofG is greater than 1,P is a parabolic subgroup ofG andG acts diagonally. We also describe equivariant topological factors of unipotent flows on finite volume homogeneous spaces of Lie groups.     

A superalgebraic interpretation of the quantization maps of Weil algebras

Let G be a Lie group whose Lie algebra g is quadratic. In the paper ＂the non-commutative Weil algebra＂, Alekseev and Meinrenken constructed an explicit G-differential space homomorphism ￡, called the quantization map, between the Well algebra Wg = S（g^＊） χ∧A（g^＊） and Wg= U（g） χ Cl（g） （which they call the noncommutative Weil algebra） for g. They showed that ￡ induces an algebra isomorphism between the basic cohomology rings Hbas^＊（Wg） and Hbas^＊（Wg）. In this paper, we will interpret the quantization map .~ as the super Duflo map between the symmetric algebra S（Tg[1]） and the universal enveloping algebra U（Tg[1]） of a super Lie algebra T9[1] which is canonically associated with the quadratic Lie algebra g. The basic cohomology rings Hbas^＊（Wg） and Hbas^＊（Wg） correspond exactly to S（Tg[1]）^inv and U（Tg[1]）^inv, respectively. So what they proved is equivalent to the fact that the super Duflo map commutes with the adjoint action of the super Lie algebra, and that the super Duflo map is an algebra homomorphism when restricted to the space of invariants.     

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