The Cohomology of the Complex of G-Invariant Forms onG -Manifolds. II

The cohomology of G-manifolds of the type M=P× _K (G/H), where G is a reductive Lie group, H and N are its closed subgroups, H is a normal subgroup of N, K=N/H, and P is a smooth principal K-bundle, are considered. In the case when the Lie algebras of H and N are reductive, the differential graded algebra C(M) introduced in the previous paper with the same title and having the same minimal model as one of the algebra of G-invariant forms on M is investigated. Moreover, the main theorem on the cohomology algebra of C(M) is proved under weaker conditions than those of the previous paper.     

A cohomology for vector valued differential forms

A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Frölicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is functorial under local diffeomorphisms. This cohomology is determined as the direct product of the de Rham cohomology space and the graded Lie algebra of traceless vector valued differential forms, equipped with a new natural differential concomitant as graded Lie bracket. We find two graded Lie algebra structures on the space of differential forms. Some consequences and related results are also discussed.     

Hochschild Cohomology of <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We compute the Hochschild cohomology of any block of q-Schur algebras. We focus on the even part of this Hochschild cohomology ring. To compute the Hochschild cohomology of q-Schur algebras, we prove the following two results: first, we construct two graded algebra surjections between the Hochschild cohomologies of quasi-hereditary algebras because all q-Schur algebras over a field are quasi-hereditary. Second, we give the graded algebra isomorphism of Hochschild cohomologies by using a certain derive equivalence.     

A module structure on cyclic cohomology of group graded algebras

Letk be a field of characteristic 0, and letB be an algebra overk which is graded by a discrete groupG. Let HC*(A) denote the cyclic cohomology of an algebraA overk. We prove that there is an HC*(kG)-module structure on HC*(B) which generalizes Connes' periodicity operator on HC*(B). This module structure also decomposes with respect to conjugacy classes and results in a natural generalization of the results of Burghelea and Nistor in the cases of group algebras and algebraic crossed product algebras, respectively. Moreover, the proofs given in this paper are purely analytic with explicit constructions which can be used in the calculation of the cyclic cohomology of topological twisted crossed product algebras.Research sponsored in part by NSF Grant DMS-9204005.     

Exact and Semisimple Differential Graded Algebras

In this paper we provide a classification theorem and a structure theorem for exact differential graded algebras, and we use the classification theorem to show that a differential graded algebra A is semisimple (as a differential graded algebra) precisely when the graded algebra Z(A) is semisimple (as a graded algebra) and A is an exact complex. We also relate exact differential graded algebras with a graded version of Hochschild cohomology.     

Poisson color algebras of arbitrary degree

A Poisson algebra is a Lie algebra endowed with a commutative associative product in such a way that the Lie and associative products are compatible via a Leibniz rule. If we part from a Lie color algebra, instead of a Lie algebra, a graded-commutative associative product and a graded-version Leibniz rule we get a so-called Poisson color algebra (of degree zero). This concept can be extended to any degree, so as to obtain the class of Poisson color algebras of arbitrary degree. This class turns out to be a wide class of algebras containing the ones of Lie color algebras (and so Lie superalgebras and Lie algebras), Poisson algebras, graded Poisson algebras, z-Poisson algebras, Gerstenhaber algebras, and Schouten algebras among other classes of algebras. The present paper is devoted to the study of structure of Poisson color algebras of degree g₀, where g₀ is some element of the grading group G such that g₀ = 0 or 4g₀≠0, and with restrictions neither on the dimension nor the base field, by stating a second Wedderburn-type theorem for this class of algebras.     

Multivalued groups, their representations and Hopf algebras

This paper introduces the concept ofn-valued groups and studies their algebraic and topological properties. We explore a number of examples. An important class consists of those that we calln-coset groups; they arise as orbit spaces of groupsG modulo a group of automorphisms withn elements. However, there are many examples that do not arise from this construction. We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group. There are natural concepts of the action of ann-valued group on a space and of a representation in an algebra of operators. We introduce the (purely algebraic) notion of ann-Hopf algebra and show that the ring of functions on ann-valued group and, in the topological case, the cohomology has ann-Hopf algebra structure. The cohomology algebra of the classifying space of a compact Lie group admits the structure of ann-Hopf algebra, wheren is the order of the Weyl group; the homology with dual structure is also ann-Hopf algebra. In general the group ring of ann-valued group is not ann-Hopf algebra but it is for ann-coset group constructed from an abelian group. Using the properties ofn-Hopf algebras we show that certain spaces do not admit the structure of ann-valued group and that certain commutativen-valued groups do not arise by applying then-coset construction to any commutative group.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Hom-Lie quadratic and Pinczon Algebras

Presenting the structure equation of a hom-Lie algebra 𝔤, as the vanishing of the self commutator of a coderivation of some associative comultiplication, we define up to homotopy hom-Lie algebras, which yields the general hom-Lie algebra cohomology with value in a module. If the hom-Lie algebra is quadratic, using the Pinczon bracket on skew symmetric multilinear forms on 𝔤, we express this theory in the space of forms. If the hom-Lie algebra is symmetric, it is possible to associate to each module a quadratic hom-Lie algebra and describe the cohomology with value in the module.     

Algebras generated by two bounded holomorphic functions

We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, one of which is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension (of the closure) of such algebras. The conditions are expressed in terms of the inner part of a certain function which is explicitly derived from each pair of generators. Our results are based on identifyingz-invariant subspaces included in the closure of the algebra. The second-named author thanks the University at Albany, Harvard University, and Brown University for their hospitality during the completion of this work.     

Chiral equivariant cohomology I

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan,² with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.     

Derivations,Gradings, Actions of Algebraic Groups,and Codimension Growth of Polynomial Identities

Suppose a finite dimensional semisimple Lie algebra  $\mathfrak g$ acts by derivations on a finite dimensional associative or Lie algebra A over a field of characteristic 0. We prove the $\mathfrak g$ -invariant analogs of Wedderburn—Mal’cev and Levi theorems, and the analog of Amitsur’s conjecture on asymptotic behavior for codimensions of polynomial identities with derivations of A. It turns out that for associative algebras the differential PI-exponent coincides with the ordinary one. Also we prove the analog of Amitsur’s conjecture for finite dimensional associative algebras with an action of a reductive affine algebraic group by automorphisms and anti-automorphisms or graded by an arbitrary Abelian group. In addition, we provide criteria for G-, H- and graded simplicity in terms of codimensions.     

On the Commutativity of Weakly Commutative Riemannian Homogeneous Spaces

A Riemannian homogeneous space X=G/H is said to be commutative if the algebra of G-invariant differential operators on X is commutative and weakly commutative if the associated Poisson algebra is commutative. Clearly, the commutativity of X implies its weak commutativity. The converse implication is proved in this paper.     

Restriction Between Cohomology Algebras of Blocks of Finite Groups

Let k be an algebraically closed field of characteristic p and G be a finite group. Let N be a normal subgroup of G and c be a G-stable block of kN. We shall discuss the cohomology algebra of the block c, defined by M. Linckelmann and, in this case a generalized block cohomology which can be defined using some generalized Brauer pairs, denoted (c, G)-Brauer pairs, which are introduced by R. Kessar and R. Stancu. We also analyze the restriction map between these two cohomology algebras associated to the block c through transfer maps between the Hochschild cohomology algebras of kGc and of the block c.     

Loewy coincident algebra and <Emphasis Type="Italic">QF</Emphasis>-3 associated graded algebra

We prove that an associated graded algebra R _G of a finite dimensional algebra R is QF (= selfinjective) if and only if R is QF and Loewy coincident. Here R is said to be Loewy coincident if, for every primitive idempotent e, the upper Loewy series and the lower Loewy series of Re and eR coincide. QF-3 algebras are an important generalization of QF algebras; note that Auslander algebras form a special class of these algebras. We prove that for a Loewy coincident algebra R, the associated graded algebra R _G is QF-3 if and only if R is QF-3.     

Idempotent comultiplications on graded algebras

We classify all idempotent comultiplications on a graded anticommutative algebra up to degree 3, provided its components are torsion free, and topologically realize all algebraic possibilities. Then we extend some results to dimension n and obtain topological consequences about closed n-manifolds with cohomology of special type.     

Graded Associative Conformal Algebras of Finite Type

In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group Γ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group G such that the identity component G ⁰ is the affine line and G/G ⁰???Γ. A classification of simple and semisimple graded associative conformal algebras of finite type is obtained.     

Deformations of algebras and cohomology of fixed point sets

In [13] it is shown that under certain conditions the cohomology algebra of the fixed point set of a space with group action is in an algebraic sense a deformation of the cohomology algebra of the space itself. Here we attempt to prove a converse of the above statement, i.e. we try to realize geometrically a given algebraic deformation of a (commutative) graded algebras as the cohomology algebra of the fixed point set of a suitable space with group action. The first part of this note in a sense reduces this realization problem in equivariant topology to a non-equivariant problem while the second part uses Sullivan's theory of minimal models to actually obtain a converse for S¹-actions, where cohomology is taken with rational coefficients.