A complex semigroup approach to group algebras of infinite dimensional Lie groups

A host algebra of a topological group G is a C ^*-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations of G. In this paper we present an approach to host algebras for infinite dimensional Lie groups which is based on complex involutive semigroups. Any locally bounded absolute value α on such a semigroup S leads in a natural way to a C ^*-algebra C ^*(S,α), and we describe a setting which permits us to conclude that this C ^*-algebra is a host algebra for a Lie group G. We further explain how to attach to any such host algebra an invariant weak-*-closed convex set in the dual of the Lie algebra of G enjoying certain nice convex geometric properties. If G is the additive group of a locally convex space, we describe all host algebras arising this way. The general non-commutative case is left for the future. To K.H. Hofmann on the occasion of his 75th birthday     

Module homomorphisms and multipliers on locally compact quantum groups

For a Banach algebra A with a bounded approximate identity, we investigate the A-module homomorphisms of certain introverted subspaces of A^∗, and show that all A-module homomorphisms of A^∗ are normal if and only if A is an ideal of A∗∗. We obtain some characterizations of compactness and discreteness for a locally compact quantum group G. Furthermore, in the co-amenable case we prove that the multiplier algebra of L¹(G) can be identified with M(G). As a consequence, we prove that G is compact if and only if LUC(G)=WAP(G) and M(G)≅Z(LUC^∗(G)); which partially answer a problem raised by Volker Runde.     

Amenability of the Second Dual of Hypergroup Algebras

The amenability of the Banach algebra L ¹(G), the measure algebra M(G) and their second duals of a locally compact group have been considered by a number of authors. During these investigations it has been shown that L ¹(G)^** is amenable if and only if G is finite. If LUC (G)^*, the dual of the space of left uniformly continuous functions on G, is amenable, then G is compact and M(G) is amenable. Finally, if M(G)^** is amenable, then G is finite. The aim of this paper is to generalize all of the above results to the locally compact hypergroups.     

Right Cancellation in the LUC-Compactification of a Locally Compact Group

Write G^* = G^LUC\G where G^LUC is the largest semigroup compactificationof the locally compact group G. Then the set of points of G^*which are right cancellable in G^* = G^LUC is large; in fact ithas an interior in G^* which is dense in G^*. Corollaries aregiven about the number of left ideals in G^* = G^LUC and the sizeof right ideals in the algebra LUC(G)^*.     

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.     

Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications

Let G be a compact group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group and A(G × H) be the Fourier algebra of G × H. We prove that the group von Neumann algebra VN(G × H) = A(G × H)^* has the weak uniform A(G × H)^** factorization property of level b(G). As a corollary we show that A(G × H) is strongly Arens irregular, and the topological centre of UC ₂(G × H)^* is equal to the Fourier–Stieltjes algebra B(G × H).     

A Criterion for the Triviality of G(D) and Its Applications to the Multiplicative Structure of D

Let D be an F-central division algebra of index n. Here we present a criterion for the triviality of the group G(D) = D*/Nrd _D/F (D*)D′ and thus generalizing various related results published recently. To be more precise, it is shown that G(D) = 1 if and only if SK ₁(D) = 1 and F ^*2 = F ^*2n . Using this, we investigate the role of some particular subgroups of D* in the algebraic structure of D. In this direction, it is proved that a division algebra D of prime index is a symbol algebra if and only if D* contains a non-abelian nilpotent subgroup. More applications of this criterion including the computation of G(D) and the structure of maximal subgroups of D* are also investigated     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

Super-π-Brauer Characters and Super-π-Regular Classes

Supercharacter theories for an arbitrary finite group were developed by Diaconis and Isaacs. Let G* denote the set of all π-regular elements of G. Set I^π(G) = {χ* | χ ∈Irr(G) and χ* ≠ α* + β* for characters α, β of G}, where χ* means the restriction of χ to G*. In this paper, we consider the partitions of I^π(G) and G* for a π-separable group G. We obtain some results which generalize those of Diaconis and Isaacs.     

Automatic continuity over Moore groups

LetG be a Moore group, letB be a Banach algebra, and let :L ¹(G)B be a homomorphism. We show that is continuous if and only if its restriction to the center ofL ¹(G) is continuous. As a consequence, we obtain that (i) every homomorphism fromL ¹(G) orC ^*(G) onto a dense subalgebra of a semisimple Banach algebra, and (ii) every epimorphism fromC ^*(G) onto a Banach algebra is automatically continuous.     

Witt groups and the elementary type conjecture

Let A be an algebra with involution * over a field F of characteristic zero and Id(A, *) the ideal of the free algebra with involution of *-identities of A. By means of the representation theory of the hyperoctahedral group Z ₂wrS _n we give a characterization of Id(A, *) in case the sequence of its *-codimensions is polynomially bounded. We also exhibit an algebra G ₂ with the following distinguished property: the sequence of *-codimensions of Id(G ₂, *) is not polynomially bounded but the *-codimensions of any T-ideal U properly containing Id(G ₂, *) are polynomially bounded.     

Applications of Operator Space Theory to Nest Algebra Bimodules

Recently, Blecher and Kashyap have generalized the notion of W ^*-modules over von Neumann algebras to the setting where the operator algebras are σ closed algebras of operators on a Hilbert space. They call these modules weak* rigged modules. We characterize the weak* rigged modules over nest algebras. We prove that Y is a right weak* rigged module over a nest algebra Alg(M){\rm{Alg}(\mathcal M)} if and only if there exists a completely isometric normal representation F{\Phi } of Y and a nest algebra Alg(N){\rm{Alg}(\mathcal N)} such that Alg(N) F(Y)Alg(M) ì F(Y){\rm{Alg}(\mathcal N) \Phi (Y)\rm{Alg}(\mathcal M)\subset \Phi (Y)} while F(Y){\Phi (Y)} is implemented by a continuous nest homomorphism from M{\mathcal M} onto N{\mathcal N} . We describe some properties which are preserved by continuous CSL homomorphisms.     

On the continuity of left translations in the LUC-compactification

Consider the continuity of left translations in the LUC-compactification GLUC of a locally compact group G. For every X⊆G, let κ(X) be the minimal cardinality of a compact covering of X in G. Let U(G) be the points in GLUC that are not in the closure of any X⊆G with κ(X)<κ(G). We show that the points at which no left translation in U(G) is continuous are dense in U(G). This result is a generalization of a theorem by van Douwen concerning discrete groups. We obtain a new proof for the fact that the topological center of GLUC?G is empty.     

A class of Banach algebras whose duals have the Radon-Nikodym property

Let A be a complex, commutative Banach algebra and let M_A be the structure space of A. Assume that there exists a continuous homomorphism h : L¹(G) → A with dense range, where L¹(G) is the group algebra of a locally compact abelian group G. The main results of this paper can be summarized as follows: (a) If the dual space A* has the Radon-Nikodym property, then M_A is scattered (i.e., it has no nonempty perfect subset) and . (b) If the algebra A has an identity, then the space A* has the Radon-Nikodym property if and only if . Furthermore, any of these conditions implies that M_A is scattered. Several applications are given. Received: 29 September 2005     

Analytic continuation of local representations of symmetric spaces

We prove the following analytic continuation theorem which applies to any virtual representation of any symmetric space (G, K, σ). The problem of passing from the Euclidean group to the Poincaré group appears first to have been addressed and solved this way by Klein and Landau. Let G be a Lie group, K a closed subgroup, and σ an involutive automorphism with K as fixed-point subgroup. If = + is the corresponding symmetric Lie algebra, we form ^* = + , and let G^* denote the simply connected Lie group with ^* as Lie algebra. We consider virtual representations π of G on a fixed complex Hilbert space , adopting the definitions due to J. Fröhlich, K. Osterwalder, and E. Seiler; in particular, π(g⁻¹) π(σ(g))^* (possibly unbounded operators) for g in a neighborhood of e in G. We prove that every such π continues analytically to a strongly continuous unitary representation of G^* on . Our theorem extends results due to Klein-Landau, Fröhlich et al., and others, earlier, for special cases. Previous results were known only for special (G, K, σ), and then only for certain π.     

Contractions of infrainvariant systems of subgroups

We create a method which allows an arbitrary group G with an infrainvariant system ℒ(G) of subgroups to be embedded in a group G* with an infrainvariant system ℒ(G*) of subgroups, so that G _α^* ∩G ∈ ℒ(G) for every subgroup G _α^* ∩G ∈ ℒ(G*) and each factor B/A of a jump of subgroups in ℒ(G*) is isomorphic to a factor of a jump in ℒ(G), or to any specified group H. Using this method, we state new results on right-ordered groups. In particular, it is proved that every Conrad right-ordered group is embedded with preservation of order in a Conrad right-ordered group of Hahn type (i.e., a right-ordered group whose factors of jumps of convex subgroups are order isomorphic to the additive group ℝ); every right-ordered Smirnov group is embedded in a right-ordered Smirnov group of Hahn type; a new proof is given for the Holland–McCleary theorem on embedding every linearly ordered group in a linearly ordered group of Hahn type.     

STRONGLY SEQUENTIALLY CONTINUOUS FUNCTIONS

Abstract

Given a topological abelian group G, we study the class of strongly sequentially continuous functions on G. Strong sequential continuity is a property intermediate between sequential continuity and uniform sequential continuity, which appeared naturally in the study of smooth functions on Banach spaces. In this paper, we shall mainly concentrate on the gap between strong sequential continuity and uniform sequential continuity. It turns out that if G has some completeness property—for example, if it is completely metrizable—then all strongly sequentially continuous functions on G are uniformly sequentially continuous. On the other hand, we exhibit a large and natural class of groups for which the two notions differ. This class is defined by a property reminiscent of the classical Dirichlet theorem; it includes all dense sugroups of R generated by an increasing sequence of Dirichlet sets, and groups of the form (X, w), where X is a separable Banach space failing the Schur property. Finally, we show that the family of bounded, real-valued strongly sequentially continuous functions on G is a closed subalgebra of l∞(G).     

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 Strong Spectrally Bounded LMC*-Algebras

A locally m-convex algebra E ≡ (E, (p_α); α ∈ A) is called “strong spectrally bounded” if supp_α (x) < ∞, for every x ∈ E. A locally m-convex C*-algebra of the last kind always accepts a faithful representation, say φ, with a continuous inverse, such that ‖‖φ(x)‖‖ = supp_α, for al x ∈ E. Particularly, in case E is moreover barrelled, φ is also continuous, E becoming thus a *-subalgebra of a concrete C*-algebra ??(H), H a Hilbert space.     

On a conjecture by Ghahramani-Lau and related problems concerning topological centres

Let A be a Banach algebra, and consider A^** equipped with the first Arens product. We establish a general criterion which ensures that A is left strongly Arens irregular, i.e., the first topological centre of A^** is reduced to A itself. Using this criterion, we prove that for a very large class of locally compact groups, Ghahramani-Lau's conjecture (cf. [Lau 94] and [Gha-Lau 95]) stating the left strong Arens irregularity of the measure algebra M(G), holds true. (Our methods obviously yield as well the right strong Arens irregularity in the situation considered.)Furthermore, the same condition used above implies that every linear left A^**-module homomorphism on A^* is automatically bounded and w^*-continuous. We finally show that our criterion also yields a partial answer to a question raised by Lau-Ülger (Trans. Amer. Math. Soc. 348 (3) (1996) 1191) on the topological centre of the algebra (A^*⊙A)^*, for A having a right approximate identity bounded by 1.