Mod 3 cohomology algebras of finite H-spaces

Let X be a 3 local, finite, simply connected H-space with associative homology ring . Some known examples are the Lie group , Harper's H-space X(3) and any odd dimensional sphere . We prove the cohomology algebra is isomorphic to the cohomology algebra of a finite product of and odd dimensional spheres. Received: 15 May 2001; in final form: 22 May 2001 / Published online: 28 February 2002     

Cohomology of the Minimal Nilpotent Orbit

We compute the integral cohomology of the minimal nontrivial nilpotent orbit in a complex simple (or quasi-simple) Lie algebra. We find by a uniform approach that the middle cohomology group is isomorphic to the fundamental group of the parabolic subsystem generated by the long simple roots. The modulo ℓ reduction of the Springer correspondent representation (in the parametrization of the original paper by Springer) involves the trivial representation exactly when ℓ divides the order of this cohomology group. The primes dividing the torsion of the rest of the cohomology are bad primes.     

The Isomorphism Problem for Universal Enveloping Algebras of Lie Algebras

Let L be a Lie algebra with universal enveloping algebra U(L). We prove that if H is another Lie algebra with the property that U(L) ≅ U(H) then certain invariants of L are inherited by H. For example, we prove that if L is nilpotent then H is nilpotent with the same class as L. We also prove that if L is nilpotent of class at most two then L is isomorphic to H. Presented by D. Passman     

Invariant Differential Operators on Certain Nilpotent Homogeneous Spaces

 Let be a nilpotent connected and simply connected Lie group, and an analytic subgroup of G. Let , be a unitary character of H and let . Suppose that the multiplicities of all the irreducible components of τ are finite. Corwin and Greenleaf conjectured that the algebra of the differential operators on the Schwartz-space of τ which commute with τ is isomorphic to the algebra of H-invariant polynomials on the affine space . We prove in this paper this conjecture under the condition that there exists a subalgebra which polarizes all generic elements in . We prove also that if is an ideal of , then the finite multiplicities of τ is equivalent to the fact that the algebra is commutative.     

Characterization of the Mod 3 Cohomology of the Compact, Connected, Simple, Exceptional Lie Groups of Rank 6

It is shown that the mod 3 cohomology of a 1-connected, homotopyassociative mod 3 H-space that is rationally equivalent to theLie group E₆ is isomorphic to that of E₆ as an algebra. Moreover,it is shown that the mod 3 cohomology of a nilpotent, homotopy-associativemod 3 H-space that is rationally equivalent to E₆, and whosefundamental group localized at 3 is non-trivial, is isomorphicto that of the Lie group Ad E₆ as a Hopf algebra over the mod3 Steenrod algebra. It is also shown that the mod 3 cohomologyof the universal cover of such an H-space is isomorphic to thatof E₆ as a Hopf algebra over the mod 3 Steenrod algebra. 2000Mathematics Subject Classification 57T05, 57T10, 57T25.     

Enumeration of nilpotent loops via cohomology

The isomorphism problem for centrally nilpotent loops can be tackled by methods of cohomology. We develop tools based on cohomology and linear algebra that either lend themselves to direct count of the isomorphism classes (notably in the case of nilpotent loops of order 2q, q a prime), or lead to efficient classification computer programs. This allows us to enumerate all nilpotent loops of order less than 24.     

A note on Tutte polynomials and Orlik–Solomon algebras

Let be a (central) arrangement of hyperplanes in and the dependence matroid of the linear forms . The Orlik–Solomon algebra of a matroid is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The graded algebra is isomorphic to the cohomology algebra of the manifold . The Tutte polynomial is a powerful invariant of the matroid . When is a rank 3 matroid and the θ_Hi are complexifications of real linear forms, we will prove that determines . This result partially solves a conjecture of Falk.     

Invariant Differential Operators on Certain Nilpotent Homogeneous Spaces

 Let be a nilpotent connected and simply connected Lie group, and an analytic subgroup of G. Let , be a unitary character of H and let . Suppose that the multiplicities of all the irreducible components of τ are finite. Corwin and Greenleaf conjectured that the algebra of the differential operators on the Schwartz-space of τ which commute with τ is isomorphic to the algebra of H-invariant polynomials on the affine space . We prove in this paper this conjecture under the condition that there exists a subalgebra which polarizes all generic elements in . We prove also that if is an ideal of , then the finite multiplicities of τ is equivalent to the fact that the algebra is commutative. (Received 15 November 2000)     

On the first cohomology of an algebraic group and its Lie algebra in positive characteristic

Necessary and sufficient conditions for the first cohomology group of an algebraic group with irreducible root system over an algebraically closed field of characteristicp > 0 to be isomorphic to the corresponding first cohomology group of the Lie algebra of the group with coefficients in simple modules are obtained. The spaces of outer derivations of the classical modular Lie algebras are evaluated forp > 2.     

On the Lie algebra of skew-symmetric elements of an enveloping algebra

Let L be a restricted Lie algebra over a field of characteristic p>2 and denote by u(L) its restricted enveloping algebra. We establish when the Lie algebra of skew-symmetric elements of u(L) under the principal involution is solvable, nilpotent, or satisfies an Engel condition.     

Lie identities on symmetric elements of restricted enveloping algebras

Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal involution is Lie solvable, Lie nilpotent, or bounded Lie Engel.     

The Brauer Group of Azumaya Corings and the Second Cohomology Group

Let R be a commutative ring. An Azumaya coring consists of a couple , with S a faithfully flat commutative R-algebra, and an S-coring satisfying certain properties. If S is faithfully projective, then the dual of is an Azumaya algebra. Equivalence classes of Azumaya corings form an abelian group, called the Brauer group of Azumaya corings. This group is canonically isomorphic to the second flat cohomology group. We also give algebraic interpretations of the second Amitsur cohomology group and the first Villamayor–Zelinsky cohomology group in terms of corings.     

Cohomology of fixed point sets and deformation of algebras

Under certain conditions the cohomology algebra (with appropriate coefficients) of the fixed point set of a G-space (G=Z/pZ=Zp, p prime or G=S¹) can be considered a deformation - in a purely algebraic sense - of the cohomology algebra of the space itself. On one hand this gives restrictions on the isomorphism type of algebras that can occur as cohomology algebra of the fixed point set of G-spaces if the cohomology algebra of the space itself is given. On the other hand it leads to the definition of obstructions for the cohomology algebra of the fixed point set to be isomorphic (as an ungraded algebra) to the cohomology algebra of the space itself.     

On a minimal set of generators for the invariants of 3 × 3 matrices

Let K be a field of characteristic p > 0, let L be a restricted Lie algebra and let R be an associative K-algebra. It is shown that the various constructions in the literature of crossed product of R with u(L) are equivalent. We calculate explicit formulae relating the parameters involved and obtain a formula which hints at a noncommutative version of the Bell polynomials.     

The Cohomology of the Universal Steenrod Algebra

The mod 2 universal Steenrod algebra Q is a homogeneous quadratic algebra closely related to the ordinary mod 2 Steenrod algebra and the Lambda algebra introduced in [1]. In this paper we show that Q is Koszul. It follows by [7] that its cohomology, being purely diagonal, is isomorphic to a completion of Q itself with respect to a suitable chain of two-sided ideals.     

Commutative free loop space models at large primes

Let p be a prime number and a natural number. If E is a r-connected finite CW-complex of dimension at most pr, then E is an example of a p -Anick space. For p > 2 we construct a commutative cochain algebra over that is an -model of the free loop space on a p-Anick space, i.e., its cohomology algebra is isomorphic to the mod p cohomology of the free loop space. For p-Anick spaces that are p-formal, such as spheres and projective spaces, we define an even simpler commutative free loop space model that applies for all primes p. We then use the simplified model to compute the cohomology algebras of a number of free loop spaces explicitly. Received: 23 June 1999; in final form: 8 September 2000 // Published online: 7 April 2003     

Automorphisms and Derivations of Certain Solvable Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R with identity. Let ?(R) be the solvable subalgebra of L _R spanned by the basis elements of the maximal toral subalgebra and the root vectors associated with positive roots. In this article, we prove that under some conditions for R, any automorphism of ?(R) is uniquely decomposed as a product of a graph automorphism, a diagonal automorphism and an inner automorphism, and any derivation of ?(R) is uniquely decomposed as a sum of an inner derivation induced by root vectors and a diagonal derivation. Correspondingly, the automorphism group and the derivation algebra of ?(R) are determined.     

Several Cohomology Algebras Connected with the Poisson Structure

The structure of a Lie superalgebra is defined on the space of multiderivations of a commutative algebra. This structure is used to define some cohomology algebra of Poisson structure. It is shown that when a commutative algebra is an algebra of C -functions on the C -manifold, the cohomology algebra of Poisson structure is isomorphic to an algebra of vertical cohomologies of the foliation corresponding to the Poisson structure.     

Commuting Derivations and Automorphisms of Certain Nilpotent Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R. Let 𝒩(R) be the nilpotent subalgebra of L _R spanned by the root vectors associated with positive roots. A map ? of 𝒩(R) is called commuting if [?(x), x] = 0 for all x ∈ 𝒩(R). In this article, we prove that under some conditions for R, if Φ is not of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a central derivation (resp., automorphism), and if Φ is of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a sum (resp., a product) of a graded diagonal derivation (resp., automorphism) and a central derivation (resp., automorphism).