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.     

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.     

<Emphasis Type="Italic">C</Emphasis>*-Independence,Product States and Commutation

Let D be a unital C*-algebra generated by C*-subalgebras A and B possessing the unit of D. Motivated by the commutation problem of C*-independent algebras arising in quantum field theory, the interplay between commutation phenomena, product type extensions of pairs of states and tensor product structure is studied. Rooss theorem [11] is generalized in showing that the following conditions are equivalent: (i) every pair of states on A and B extends to an uncoupled product state on D; (ii) there is a representation of D such that (A) and (B) commute and is faithful on both A and B; (iii) is canonically isomorphic to a quotient of D.The main results involve unique common extensions of pairs of states. One consequence of a general theorem proved is that, in conjunction with the unique product state extension property, the existence of a faithful family of product states forces commutation. Another is that if D is simple and has the unique product extension property across A and B then the latter C*-algebras must commute and D be their minimal tensor product.Communicated by Klaus Fredenhagensubmitted 03/12/03, accepted 26/04/04     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Infinitesimal Generators of C *-Algebras

We develop the method introduced previously, to construct infinitesimal generators on locally compact group C ^*-algebras and on tensor product of C ^*-algebras. It is shown in particular that there is a C ^* -algebra A such that the C ^*-tensor product of A and an arbitrary C ^*-algebra B can have a non-approximately inner strongly one parameter group of ^*-automorphisms.     

A graph theoretic approach to matrix inversion by partitioning

LetM be a square matrix whose entries are in some field. Our object is to find a permutation matrixP such thatPM P ^–1 is completely reduced, i.e., is partitioned in block triangular form, so that all submatrices below its diagonal are 0 and all diagonal submatrices are square and irreducible. LetA be the binary (0, 1) matrix obtained fromM by preserving the 0's ofM and replacing the nonzero entries ofM by 1's. ThenA may be regarded as the adjacency matrix of a directed graphD. CallD strongly connected orstrong if any two points ofD are mutually reachable by directed paths. Astrong component ofD is a maximal strong subgraph. Thecondensation D ^* ofD is that digraph whose points are the strong components ofD and whose lines are induced by those ofD. By known methods, we constructD ^* from the digraph,D whose adjacency matrixA was obtained from the original matrixM. LetA ^* be the adjacency matrix ofD ^*. It is easy to show that there exists a permutation matrixQ such thatQA ^* Q ^–1 is an upper triangular matrix. The determination of an appropriate permutation matrixP from this matrixQ is straightforward.This was an informal talk at the International Symposium on Matrix Computation sponsored by SIAM and held in Gatlinburg, Tennessee, April 24–28, 1961 and was an invited address at the SIAM meeting in Stillwater, Oklahoma on August 31, 1961     

On non-semisplit extensions,tensor products and exactness of groupC *-algebras

Summary We show the existence of a block diagonal extensionB of the suspensionS(A) of the reduced groupC ^*-algebraA = C _r ^* (SL ₂()), such that there is only oneC ^*-norm on the algebraic tensor productB ^op B, butB is not nuclear (even not exact). Thus the class of exactC ^*-algebras is not closed under extensions.The existence comes from a new established tensorial duality between the weak expectation property (WEP) of Lance and the local variant (LLP) of the lifting property.We characterize the local lifting property of separable unitalC ^*-algebrasA as follows:A has the local lifting property if and only if Ext (S(A)) is a group, whereS(A) is the suspension ofA.If moreoverA is the quotient algebra of aC ^*-algebra withWEP (for brevity:A isQWEP) but does not satisfyLLP then there exists a quasidiagonal extensionB of the suspensionS(A) by the compact operators such that on the algebraic tensor productB ^op B there is only oneC ^*-norm.The question if everyC ^*-algebra isQWEP remains open, but we obtain the following results onQWEP: AC ^*-algebraC isQWEP if and only ifC ^** isQWEP. A von NeumannII ₁-factorN with separable predualN _* isQWEP if and only ifN is a von Neumann subfactor of the ultrapower of the hyperfiniteII ₁-factor. IfG is a maximally almost periodic discrete non-amenable group with Haagerup's Herz-Schur multiplier constant _G =1 then the universal groupC ^*-algebraC ^*(G) is not exact but the reduced groupC ^*-albegraC _r ^* (G) is exact and isQWEP but does not satisfyWEP andLLP.We study functiorial properties of the classes ofC ^*-algebras satisfyingWEP, LLP resp. beingQWEP.As applications we obtain some unexpected relations between some open questions onC ^*-algebras.Oblatum 13-IV-92Work partially supported by DFG     

NonstableK-Theory for operator algebras

We show that the homotopy groups of the group of quasi-unitaries inC ^*-algebras form a homology theory on the category of allC ^*-algebras which becomes topologicalK-theory when stabilized. We then show how this functorial setting, in particular the half-exactness of the involved functors, helps to calculate the homotopy groups of the group of unitaries in a series ofC ^*-algebras. The calculations include the case of all AbelianC ^*-algebras and allC ^*-algebras of the formAB, whereA is one of the Cuntz algebras O_n n=2, 3, ..., an infinite dimensional simpleAF-algebra, the stable multiplier or corona algebra of a-unitalC ^*-algebra, a properly infinite von Neumann algebra, or one of the projectionless simpleC ^*-algebras constructed by Blackadar.     

Codepth Two and Related Topics

A depth two extension A | B is shown to be weak depth two over its double centralizer V _A (V _A (B)) if this is separable over B. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section 6 introduces a notion of codepth two coalgebra homomorphism g : C → D, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms End ^D C ^D forms a right bialgebroid over the centralizer subalgebra g ^* : D ^* → C ^* of the dual algebra C ^*. Dedicated to Daniel Kastler on his eightieth birthday.     

Diagonalization of compact operators on Hilbert modules overC *-algebras of real rank zero

The classical Hilbert-Schmidt theorem can be extended to compact operators on HilbertA-modules overW ^*-algebras of finite type; i.e., with minor restrictions, compact operators onH* _A can be diagonalized overA. We show that ifB is a weakly denseC ^*-subalgebra ofA with real rank zero and if some additional condition holds, then the natural extension fromH _B toH* _A ⊃H _B of a compact operator can be diagonalized so that the diagonal elements belong to the originalC ^*-algebraB. Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 865–870, December, 1997. Translated by O. V. Sipacheva     

CertainC*-algebras with real rank zero and their corona and multiplier algebras: II

We first determine the homotopy classes of nontrivial projections in a purely infinite simpleC*-algebraA, in the associated multiplier algebraM(A) and the corona algebraM A/A in terms ofK _*(A). Then we describe the generalized Fredholm indices as the group of homotopy classes of non-trivial projections ofA; consequently, we determine theK _*-groups of all hereditaryC*-subalgebras of certain corona algebras. Secondly, we consider a group structure of *-isomorphism classes of hereditaryC*-subalgebras of purely infinite simpleC*-algebras. In addition, we prove that ifA is aC*-algebra of real rank zero, then each unitary ofA, in caseA it unital, each unitary ofM(A) and ofM(A)/A, in caseA is nonunital but -unital, can be factored into a product of a unitary homotopic to the identity and a unitary matrix whose entries are all partial isometries (with respect to a decomposition of the identity).Partially supported by a grant from the National Science Foundation.     

Rieffel projections in certain transformation group C*-algebras

LetA be the transformation groupC ^*-algebra associated with an arbitrary orientation-preserving homeomorphism of . ThisC ^*-algebra contains an infinite family of projections, called Rieffel projections, each of which generates theK ₀-groupK ₀(A). Although these projections must beK-theoretically equivalent, it is easy to see that most are not Murray-von Neumann equivalent. The mystery of how large the matrix algebra must be to implement theK-theory equivalence, is solved by explicitly constructing the equivalence in the smallest possible algebra:A with unit adjoined.Partially supported by NSF Grant DMS 8901923.     

Closed Projections and Peak Interpolation for Operator Algebras

The closed one-sided ideals of a C ^*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C ^*-algebra B which contains the unit of B. Here we characterize the right ideals of A with left contractive approximate identity as those subspaces of A supported by the orthogonal complement of a closed projection in B ^** which also lies in . Although this seems quite natural, the proof requires a set of new techniques which may be viewed as a noncommutative version of the subject of peak interpolation from the theory of function spaces. Thus, the right ideals with left approximate identity are closely related to a type of peaking phenomena in the algebra. In this direction, we introduce a class of closed projections which generalizes the notion of a peak set in the theory of uniform algebras to the world of operator algebras and operator spaces.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

Quasi-Orthogonalization of Functionals on l2(A)

We study the properties K and E of C ^*-algebra A. These conditions are formulated in the terms of C ^*-Hilbert modules over algebra A and extend the definition of stable rank for any cardinality.     

Representations and positive functionals

We discuss the representation theory of both the locally convex and non-locally convex topological^*-algebras. First we discuss the^*-representation of topological^*-algebras by operators on a Hilbert space. Then we study those topological^*-algebras so that every^*-representation of which on a Hilbert space is necessarily continuous. It is well-known that each^*-representation of aB ^*-algebra on a Hilbert space is continuous. We show that this is true for a large class of^*-algebras more general thanB ^*-algebras, including certain non-locally convex^*-algebras. Finally, we investigate the conditions under which a positive functional on a topological^*-algebra is representable.The research of the first-named author was partially supported by an NSERC grant. This work was done by the second-named author when he was a post-doctoral fellow at McMaster University.     

Multiplizitäten “unendlich-ferner” Spitzen

LetX be the quotient of a bounded symmetric domainD by an arithmetically defined subgroup of all analytic automorphisms ofD and letX ^* be theSatake-compactification ofX. In the present note, the multiplicities of the local rings of the zero-dimensional boundary components ofX ^* will be computed in a completely elementary manner using reduction-theory in selfadjoint homogeneous cones.     

Prime ideals in the C*-algebra of a nilpotent group

We say that a locally compact groupG hasT ₁ primitive ideal space if the groupC ^*-algebra,C ^*(G), has the property that every primitive ideal (i.e. kernel of an irreducible representation) is closed in the hull-kernel topology on the space of primitive ideals ofC ^*(G), denoted by PrimG. This means of course that every primitive ideal inC ^*(G) is maximal. Long agoDixmier proved that every connected nilpotent Lie group hasT ₁ primitive ideal space. More recentlyPoguntke showed that discrete nilpotent groups haveT ₁ primitive ideal space and a few month agoCarey andMoran proved the same property for second countable locally compact groups having a compactly generated open normal subgroup. In this note we combine the methods used in [3] with some ideas in [9] and show that for nilpotent locally compact groupsG, having a compactly generated open normal subgroup, closed prime ideals inC ^*(G) are always maximal which implies of course that PrimG isT ₁.     

On triangular subalgebras of groupoidC*-algebras

Let ℬ be an AFC*-algebra with Stratila-Voiculescu masaD and letU be a maximal triangular subalgebra of ℬ with diagonalD. Peters, Poon and Wagner showed thatU need not be aC*-subdiagonal subalgebra of ℬ in the sense of Kawamura and Tomiyama. We investigate and explain this phenomena here from the perspective of groupoidC*-algebras by representing257-7 as the “incidence algebra” associated with a topological partial order. A number of examples are given showing what can keep a maximal triangular algebra from beingC*-subdiagonal. Supported by a grant from the National Science Foundation.