Pairing and Quantum Double of Finite Hopf C^＊-Algebras

This paper defines a pairing of two finite Hopf C^＊-algebras A and B, and investigates the interactions between them. If the pairing is non-degenerate, then the quantum double construction is given. This construction yields a new finite Hopf C^＊-algebra D（A, B）. The canonical embedding maps of A and B into the double are both isometric.     

Inverse closedness ofC *-algebras in Banach algebras

LetA denote a unital Banach algebra, and letB denote aC ^*-algebra which is contained as a unital subalgebra inA. We prove thatB is inverse closed inA if the norms ofA andB coincide. This generalizes well known result about inverse closedness ofC ^*-subalgebras inC ^*-algebras.     

Decomposition Rank of Subhomogeneous C*-Algebras

We analyze the decomposition rank (a notion of covering dimensionfor nuclear C*-algebras introduced by E. Kirchberg and the author)of subhomogeneous C*-algebras. In particular, we show that asubhomogeneous C*-algebra has decomposition rank n if and onlyif it is recursive subhomogeneous of topological dimension n,and that n is determined by the primitive ideal space. As an application, we use recent results of Q. Lin and N. C.Phillips to show the following. Let A be the crossed productC*-algebra coming from a compact smooth manifold and a minimaldiffeomorphism. Then the decomposition rank of A is dominatedby the covering dimension of the underlying manifold. 2000 MathematicsSubject Classification 46L85, 46L35.     

Continuous Bundles of C*-Algebras with Discontinuous Tensor Products

For each non-exact C*-algebra A and infinite compact Hausdorffspace X there exists a continuous bundle B of C*-algebras onX such that the minimal tensor product bundle AB is discontinuous.The bundle B can be chosen to be unital with constant simplefibre. When X is metrizable, B can also be chosen to be separable.As a corollary, a C*-algebra A is exact if and only if A Bis continuous for all unital continuous C*-bundles B on a giveninfinite compact Hausdorff base space. The key to proving theseresults is showing that for a non-exact C*-algebra A there existsa separable unital continuous C*-bundle B on [0,1] such thatA B is continuous on [0,1] and discontinuous at 1, a counter-intuitiveresult. For a non-exact C*-algebra A and separable C*-bundleB on [0,1], the set of points of discontinuity of A B in [0,1]can be of positive Lebesgue measure, and even of measure 1.2000 Mathematics Subject Classification 46L06 (primary), 46L35(secondary).     

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.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

Approximately Local Derivations

Certain linear operators from a Banach algebra A into a BanachA-bimodule X, which are called approximately local derivations,are studied. It is shown that when A is a C^*-algebra, a Banachalgebra generated by idempotents, a semisimple annihilator Banachalgebra, or the group algebra of a SIN or a totally disconnectedgroup, bounded approximately local derivations from A into Xare derivations. This, in particular, extends a result of B.E. Johnson that ‘local derivations on C^*-algebras arederivations’ and provides an alternative proof of it.     

Principal homogeneous spaces for arbitrary Hopf algebras

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗ _B A →A ⊗H the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.     

On dualization of double frobenius algebras

Double Frobenius algebras (or dF-algebras) were recently introduced by the author. The concept generalizes finite-dimensional Hopf algebras, adjacency algebras of (non-commutative) association schemes, and C-algebras (or character algebras). In this paper we define a dualization construction of a dF-algebra, the so-called linear dual. We show that in the case of a Hopf algebra the linear dual gives the usual dual Hopf algebra and in the case of a C-algebra it essentially gives the usual Kawada’s dual.     

Compact quantum groups and group duality

In this paper, we consider the *-representations of compact quantum groups and group duality. The main results in the paper are: (1) there is a one-to-one correspondence between the *-representations of compact quantum groups and *-representations of the dual Banach *-algebra; (2) the category of commutative compact quantum groups (semigroups) is a dual category to the category of compact groups (semigroups); (3) the dual category of the category of locally compact groups (semigroups) is the category of commutative Hopf C^*-algebras with a particular property. Our group duality has the flavor of a Gelfand-Naimark type theorem for compact quantum groups, and for Hopf C^*-algebras.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

C*-Algebras with Dense Nilpotent Subalgebras

In a beautiful result, Herrero (D. A. Herrero, ‘Normallimits of nilpotent operators’, Indiana Univ. Math. J.23 (1973/74) 1097–1108) showed that a normal operatoron l² lies in the closure of the set of nilpotent operatorsif and only if its spectrum is connected and contains zero.In the quest for an automatic continuity result for algebrahomomorphisms between C* -algebras, Dales showed that, if adiscontinuous algebra homomorphism : A u exists between C*-algebrasA and u, and if (A) is dense in u, then there is a C*-algebrau₂ with a dense subalgebra N u² such that every x N is quasinilpotent(see p. 685 of H. G. Dales, Banach algebras and automatic continuity,London Mathematical Society Monographs 24, Oxford UniversityPress, 2001). (A discontinuous homomorphism ₂: A₂ u₂ can bedefined with the same basic properties as , but the revisedtarget space u₂ has a dense subalgebra consisting of quasinilpotentelements.) As remarked by Dales, no such C*-algebra was thenknown; but here we present one. Indeed, using the full powerof Herrero's result, one may arrange that every x N is nilpotent.The C*-algebra is constructed in a ‘neat’ way; itis most naturally constructed as a non-separable, concrete C*-algebraof operators on a separable Hilbert space K but one can arrangethat the algebra u itself be separable if desired. 2000 MathematicsSubject Classification 47C15, 46H40 (primary), 47A10, 46L06,46L05, 46H35 (secondary).     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

On tracial approximation

Let C be a class of unital C*-algebras. The class TAC of C*-algebras which can be tracially approximated (in the Egorov-like sense first considered by Lin) by the C*-algebras in C is studied (Lin considered the case that C consists of finite-dimensional C*-algebras or the tensor products of such with C([0,1])). In particular, the question is considered whether, for any simple separable A∈TAC, there is a C*-algebra B which is a simple inductive limit of certain basic homogeneous C*-algebras together with C*-algebras in C, such that the Elliott invariant of A is isomorphic to the Elliott invariant of B. An interesting case of this question is answered. In the final part of the paper, the question is also considered which properties of C*-algebras are inherited by tracial approximation. (Results of this kind are obtained which are used in the proof of the main theorem of the paper, and also in the proof of the classification theorem of the second author given in [Z. Niu, A classification of tracially approximately splitting tree algebra, in preparation] and [Z. Niu, A classification of certain tracially approximately subhomogeneous C*-algebras, PhD thesis, University of Toronto, 2005]—which also uses the main result of the present paper.)     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

Tensor Products of C*-Algebras Over Abelian Subalgebras

Suppose that A is a C*-algebra and C is a unital abelian C*-subalgebrawhich is isomorphic to a unital subalgebra of the centre ofM(A), the multiplier algebra of A. Letting = , so that we maywrite C = C(), we call A a C()-algebra (following Blanchard[7]). Suppose that B is another C()-algebra, then we form A_CB, the algebraic tensor product of A with B over C as follows:A B is the algebraic tensor product over C, I_C = {ⁿ_i–1(f_i 1–1f_i)x|f_iC, xAB} is the ideal in AB generated by f1–1f|fC,and A _CB = AB/I_C. Then A_CB is an involutive algebra over C,and we shall be interested in deciding when A_CB is a pre-C*-algebra;that is, when is there a C*-norm on A_C B? There is a C*-semi-norm,which we denote by ||·||_C-min, which is minimal in thesense that it is dominated by any semi-norm whose kernel containsthe kernel of ||·||_C-min. Moreover, if A _C B has a C*-norm,then ||·||_C-min is a C*-norm on A_C B. The problem isto decide when ||·||_C-min is a norm. It was shown byBlanchard [7, Proposition 3.1] that when A and B are continuousfields and C is separable, then ||·||_C-min is a norm.In this paper we show that ||·||_C-min is a norm whenC is a von Neumann algebra, and then we examine some consequences.     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

Diagrams of Hopf algebras with the Chevalley property

In this paper, we study non-cosemisimple Hopf algebras through their underlying coalgebra structure. We introduce the concept of the maximal pointed subcoalgebra/Hopf subalgebra. For a non-cosemisimple Hopf algebra A with the Chevalley property, if its diagram is a Nichols algebra, then the diagram of its maximal pointed Hopf subalgebra is also a Nichols algebra. When A is of finite dimension, we provide a necessary and sufficient condition for A’s diagram equaling the diagram of its maximal pointed Hopf subalgebra.     

Bounded and Unitary Elements in Pro-C*-algebras

A pro-C*-algebra is a (projective) limit of C*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C*-algebras can be seen as non-commutative k-spaces. An element of a pro-C*-algebra is bounded if there is a uniform bound for the norm of its images under any continuous *-homomorphism into a C*-algebra. The *-subalgebra consisting of the bounded elements turns out to be a C*-algebra. In this paper, we investigate pro-C*-algebras from a categorical point of view. We study the functor (−) _b that assigns to a pro-C*-algebra the C*-algebra of its bounded elements, which is the dual of the Stone-Čech-compactification. We show that (−) _b is a coreflector, and it preserves exact sequences. A generalization of the Gelfand duality for commutative unital pro-C*-algebras is also presented.