Calcul Fonctionnel Holomorphe Global Unicité et Invariance Par Les Homomorphismes D’algebres de Banach

LetA be a commutative Banach algebra with unit. Denote byX _A, the global spectrum ofA. There is a holomorphic functional calculusθ _A:O(X _A)→A such thatθ _A(a)=a. In this paper, we show the uniqueness of the global holomorphic functional calculus and we establish its compatibility with Banach algebra morphisms. We also extend this holomorphic functional calculus to the case ofImc algebras.      

On twisted smash products for bimodule algebras and the drinfeld double 1

In this paper we construct a new algebra AHof an H- bimodule algebra Aby a Hopf algebra Hand study some of its properties. The smash product, the Drinfel'd double D(H) and the Doi-Takeuchi's algebra B?,H, are all special cases of AH. Moreover,we find a necessary and sufficient condition for A Hto be a Hopf algebra and also consider the dual situation     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

The ordinary quivers of Hochschild extension algebras for self-injective Nakayama algebras

Let T be a Hochschild extension algebra of a finite dimensional algebra A over a field K by the standard duality A-bimodule Hom_K(A, K). In this paper, we determine the ordinary quiver of T if A is a self-injective Nakayama algebra by means of the ?-graded second Hochschild homology group HH₂(A) in the sense of Sköldberg.     

Hopf Algebra Actions and Rational Ideals

This note discusses a framework for the investigation of the prime spectrum of an associative algebra A that is equipped with an action of a Hopf algebra H. In particular, we study a notion of H-rationality for ideals of A and comment on a possible Dixmier-Moeglin equivalence for H-prime ideals of A.

     

On the generalized Lie structure of associative algebras

We study the structure of Lie algebras in the category ^H MA ofH-comodules for a cotriangular bialgebra (H, 〈|〉) and in particular theH-Lie structure of an algebraA in ^H MA. We show that ifA is a sum of twoH-commutative subrings, then theH-commutator ideal ofA is nilpotent; thus ifA is also semiprime,A isH-commutative. We show an analogous result for arbitraryH-Lie algebras whenH is cocommutative. We next discuss theH-Lie ideal structure ofA. We show that ifA isH-simple andH is cocommutative, then any non-commutativeH-Lie idealU ofA must contain [A, A]. IfU is commutative andH is a group algebra, we show thatU is in the graded center ifA is a graded domain. Dedicated to the memory of S. A. Amitsur Supported by a Fulbright grant. Supported by NSF grant DMS-9203375.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

Actions of Ore extensions and growth of polynomial H-identities

We show that if A is a finite-dimensional associative H-module algebra for an arbitrary Hopf algebra H, then the proof of the analog of Amitsur’s conjecture for H-codimensions of A can be reduced to the case when A is H-simple. (Here we do not require that the Jacobson radical of A is an H-submodule.) As an application, we prove that if A is a finite-dimensional associative H-module algebra where H is a Hopf algebra H over a field of characteristic 0 such that H is constructed by an iterated Ore extension of a finite-dimensional semisimple Hopf algebra by skew-primitive elements (e.g., H is a Taft algebra), then there exists integer PIexp^H(A). In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.     

Doi–Hopf Modules Associated to Comodule Coalgebras

To any right comodule coalgebra C over a Hopf algebra H we associate a left H-comodule algebra A. Under certain conditions, in particular in the case where H has nonzero integrals, we show that the category of right C, H-comodules is isomorphic to a certain subcategory of the category of Doi–Hopf modules associated to A. As an application, we investigate the connection between C and the smash coproduct C ? H being right semiperfect.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Central invariants of H-module algebras

Let H be a Hopf algebra over a field k:, and A an H-module algebra, with subalgebra of H-invariants denoted by A^H . When (H, R) is quasitriangular and A is quantum commutative with respect to (H,R), (e.g. quantum planes, graded commutative superalgebras), then A^H ? center of A = Z(A). In this paper we are mainly concerned with actions of H for which A^H ? Z(A). We show that under this hypothesis there exists strong relations between the ideal structures of A^H A and A#H.

We demonstrate the theorems by constructing an example of a quantum commutative A, so that A/A^H is H ^?-Galois. This is done by giving (C G)^? G = Z_n × Z_n , a nontrivial quasitriangular structure and defining an action of it on a localization of the quantum plane.     

On a conjecture of Hubner

In this paper we show that for a bounded linear operatorA on a complex Hilbert spaceH, the points on the boundary of the numerical range ofA with infinite curvature and unique tangent are in the essential spectrum ofA, thus positively answering a conjecture raised by Hubner in [3].     

Sur la Topologie m -Convexe d’une algèbre localement A -convexe

In a locallyA-convex algebra (E, τ) we consider the associatedm-convex topologym(τ). We show that the completion ofE with respect tom(τ) is always a locallyA-convex algebra contained in the complete locally convex space obtained from (E, τ). The topologym(τ) is also used to characterize locally boundedly multiplicatively convex algebras among locallyA-convex ones.

     

A problem of Dyer,Porcelli, and Rosenfeld

In this paper, we will demonstrate that a conjecture of Dyer, Porcelli, and Rosenfeld is correct. In fact, we will show that ifM is any finite von Neumann factor andA is any non-zero element ofM, then there exists aT inM such that the spectrum ofT+A is disjoint from the spectrum ofT, i.e. such thatσ(T+A) ∩ σ(T)=φ.     

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Twisted product and cohomology

LetH be a Hopf algebra,H ₁ be a sub-Hopf algebra ofH, H ₂ be the quotient Hopt algebra ofH modularH ₁. This paper gives a simplified complex by defining a new base for the cobar complex and proves that the cobar complex ofH has the same cohomology algebra with a twisted product of the cobar complexes ofH ₁ andH ₂. Supported by National Natural Science Foundation of China     

THE DIMENSION OF IRREDUCIBLE MODULES FOR TRANSITIVE MODULE ALGEBRAS

We prove that for a semisimple Hopf algebra H, if A is a transitive H-module algebra and M is an irreducible A-module, then dim(A) divides dim(M)²dim(H).

     

On categories associated to a Quasi-Hopf algebra

A quasi-Hopf algebra H can be seen as a commutative algebra A in the center 𝒵(H-Mod) of H-Mod. We show that the category of A-modules in 𝒵(H-Mod) is equivalent (as a monoidal category) to H-Mod. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.