Hopf algebras of primitive Lie pseudogroups and Hopf cyclic cohomology

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of ‘transverse symmetries,’ by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a ‘quantum group’ counterpart of the infinite-dimensional primitive Lie algebra of the pseudogroup. It is first constructed via its action on the étale groupoid associated to the pseudogroup, and then realized as a bicrossed product of a universal enveloping algebra by a Hopf algebra of regular functions on a formal group. The bicrossed product structure allows to express its Hopf cyclic cohomology in terms of a bicocyclic bicomplex analogous to the Chevalley-Eilenberg complex. As an application, we compute the relative Hopf cyclic cohomology modulo the linear isotropy for the Hopf algebra of the general pseudogroup, and find explicit cocycle representatives for the universal Chern classes in Hopf cyclic cohomology. As another application, we determine all Hopf cyclic cohomology groups for the Hopf algebra associated to the pseudogroup of local diffeomorphisms of the line.     

The cohomology group of weak entwining structure

In this paper, we reveal that a weak entwining structure admits a rich cohomology theory. As an application we compute the cohomology of a weak entwining structure associated to a weak coalgebra-Galois extension.     

G-structure on the cohomology of Hopf algebras

We prove that is a Gerstenhaber algebra, where is a Hopf algebra. In case is the Drinfeld double of a finite-dimensional Hopf algebra , our results imply the existence of a Gerstenhaber bracket on . This fact was conjectured by R. Taillefer. The method consists of identifying as a Gerstenhaber subalgebra of (the Hochschild cohomology of ).

     

The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras

In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.     

Lie bialgebra structure on cyclic cohomology of Fukaya categories

Let M be an exact symplectic manifold with contact type boundary such that c₁(M) = 0. Motivated by noncommutative symplectic geometry and string topology, we show that the cyclic cohomology of the Fukaya category of M has an involutive Lie bialgebra structure.     

Low Dimensional Cohomology of Hom-Lie Algebras and q-deformed W（2, 2） Algebra

This paper aims to study low dimensional cohomology of Hom-Lie algebras and the qdeformed W(2, 2) algebra. We show that the q-deformed W(2, 2) algebra is a Hom-Lie algebra. Also,we establish a one-to-one correspondence between the equivalence classes of one-dimensional central extensions of a Hom-Lie algebra and its second cohomology group, leading us to determine the second cohomology group of the q-deformed W(2, 2) algebra. In addition, we generalize some results of derivations of finitely generated Lie algebras with values in graded modules to Hom-Lie algebras.As application, we compute all αk-derivations and in particular the first cohomology group of the q-deformed W(2, 2) algebra.     

Simplicial normalization in the entire cyclic cohomology of Banach algebras

We show that the entire cyclic cohomology of Banach algebras defined by Connes has the simplicial normalization property. A key tool in the proof is the notion and properties of supertraces on the Cuntz algebraQ A. As an example of further applications of this technique, we give a proof of the homotopy invariance of entire cyclic cohomology.Address after 1st October 1995: Department of Mathematics, University of Exeter, North Park Road, Exeter EX4 4QE, U.K.     

A theorem of Fong''''s type for graded algebras

Let G be a finite p-solvable group and k be an algebraic closed field of characteristic p. It is proved that any projective indecomposable module of a G-graded k-algebra is an induced module of a module of the subalgebra graded by a Hall p'-subgroup. A necessary and sufficient condition for the indecomposability of an induced module from a Hall p'-subgroup is obtained.     

Equivariant Cyclic Cohomology of H-Algebras

We define an equivariant K ₀-theory for Yetter–Drinfeld algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.     

Finite group actions on AF algebras obtained by folding the interval

For any finite groupG we construct examples of an AF algebraA and an action byG onA such that the fixed point algebra is not AF. The construction ofA is done by successive foldings and cuttings of the interval in a way originally suggested by Blackadar and, in a different context, by Connes in his talk in Oslo in 1978.     

A vanishing theorem for operations on entire cyclic cohomology

We prove the Lie action of Hochschild cohomology on entire cyclic cohomology is trivial. This, in particular, should imply the invariance of entire theory under suitable deformations.     

Basic subgroups in modular abelian group algebras

Suppose F is a perfect field of char F = p ≠ 0 and G is an arbitrary abelian multiplicative group with a p-basic subgroup B and p-component G _p . Let FG be the group algebra with normed group of all units V(FG) and its Sylow p-subgroup S(FG), and let I _p (FG; B) be the nilradical of the relative augmentation ideal I(FG; B) of FG with respect to B. The main results that motivate this article are that 1 + I _p (FG; B) is basic in S(FG), and B(1 + I _p (FG; B)) is p-basic in V(FG) provided G is p-mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when G is p-primary. Thus the problem of obtaining a (p-)basic subgroup in FG is completely resolved provided that the field F is perfect. Moreover, it is shown that G _p (1 + I _p (FG; B))/G _p is basic in S(FG)/G _p , and G(1 + I _p (FG; B))/G is basic in V(FG)/G provided G is p-mixed. As consequences, S(FG) and S(FG)/G _p are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.     

The Brauer group of Yetter-Drinfel'd module algebras

Let be a Hopf algebra with bijective antipode. In a previous paper, we introduced -Azumaya Yetter-Drinfel'd module algebras, and the Brauer group classifying them. We continue our study of , and we generalize some properties that were previously known for the Brauer-Long group. We also investigate separability properties for -Azumaya algebras, and this leads to the notion of strongly separable -Azumaya algebra, and to a new subgroup of the Brauer group .

     

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.

     

A ∞-modules over A ∞-algebras and Hochschild cohomology for modules over algebras

For each left graded module M over a graded algebra A, a Hochschild cochain complex S*(A, M) whose homology is responsible for the existence of nontrivial structures of A _∞-modules over A _∞-algebras on the given module is constructed.