Fixed point properties of semigroups of nonexpansive mappings

We prove that if H is a Hilbert space then the Schatten (trace) class operators on H has the weak^∗ fixed point property for left reversible semigroups. This answered positively a problem raised by A.T.-M. Lau. We also prove that if M is a finite von Neumann algebra then any nonempty bounded convex subset of the non-commutative L¹-space associated to M that is compact for the measure topology has the fixed point property for left reversible semigroups.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

On cocycle twisting of compact quantum groups

We provide a class of examples of compact quantum groups and unitary 2-cocycles on them, such that the twisted quantum groups are non-compact, but still locally compact quantum groups (in the sense of Kustermans and Vaes). This also gives examples of cocycle twists where the underlying C^∗-algebra of the quantum group changes.     

Fourier analysis on domains in compact groups

Let Ω be a measurable subset of a compact group G of positive Haar measure. Let be a non-negative function defined on the dual space and let L²(μ) be the corresponding Hilbert space which consists of elements (ξπ)_π∈suppμ satisfying , where ξπ is a linear operator on the representation space of π, and is equipped with the inner product: . We show that the Fourier transform gives an isometric isomorphism from L²(Ω) onto L²(μ) if and only if the restrictions to Ω of all matrix coordinate functions , π∈suppμ, constitute an orthonormal basis for L²(Ω). Finally compact connected Lie groups case is studied.     

Simple compact quantum groups I

The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups Bu(Q) for Q∈GL(n,C) satisfying , n?2; (b) The quantum automorphism groups Aaut(B,τ) of finite-dimensional C^∗-algebras B endowed with the canonical trace τ when dim(B)?4, including the quantum permutation groups Aaut(Xn) on n points (n?4); (c) The standard deformations Kq of simple compact Lie groups K and their twists , as well as Rieffel's deformation KJ.     

Approximate and pseudo-amenability of various classes of Banach algebras

We continue the investigation of notions of approximate amenability that were introduced in work of the second and third authors together with R.J. Loy. It is shown that every boundedly approximately contractible Banach algebra has a bounded approximate identity, and that the Fourier algebra of the free group on two generators is not operator approximately amenable. Further examples are obtained of ?¹-semigroup algebras which are approximately amenable but not amenable; using these, we show that bounded approximate contractibility need not imply sequential approximate amenability. Results are also given for Segal algebras on locally compact groups, and algebras of p-pseudo-functions on discrete groups.     

Functional calculus and ∗-regularity of a class of Banach algebras II

In this article, we define a natural Banach ∗-algebra for a C^∗-dynamical system (A,G,α) which is slightly bigger than L¹(G;A) (they are the same if A is finite-dimensional). We will show that this algebra is ∗-regular if G has polynomial growth. The main result in this article extends the two main results in [C.W. Leung, C.K. Ng, Functional calculus and ∗-regularity of a class of Banach algebras, Proc. Amer. Math. Soc., in press].     

Fixed point theorems in fuzzy metric spaces

In the present work, we establish several fixed point theorems for a new class of self-maps in M-complete fuzzy metric spaces and compact fuzzy metric spaces, respectively.     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

A cohomological description of property (T) for quantum groups

We prove a Delorme-Guichardet type theorem for discrete quantum groups expressing property (T) of the quantum group in question in terms of its first cohomology groups. As an application, we show that the first L²-Betti number of a discrete property (T) quantum group vanishes.     

Asymptotic approximations for second-order linear difference equations in Banach algebras, II

A Liouville-Green (WKB) asymptotic approximation theory is developed for some classes of linear second-order difference equations in Banach algebras. The special case of linear matrix difference equations (or, equivalently, of second-order systems) is emphasized. Rigorous and explicitly computable bounds for the error terms are obtained, and this when both, the sequence index and some parameter that may enter the coefficients, go to infinity. A simple application is made to orthogonal matrix polynomials in the Nevai class.     

Realizations of AF-algebras as graph algebras, Exel-Laca algebras, and ultragraph algebras

We give various necessary and sufficient conditions for an AF-algebra to be isomorphic to a graph C^∗-algebra, an Exel-Laca algebra, and an ultragraph C^∗-algebra. We also explore consequences of these results. In particular, we show that all stable AF-algebras are both graph C^∗-algebras and Exel-Laca algebras, and that all simple AF-algebras are either graph C^∗-algebras or Exel-Laca algebras. In addition, we obtain a characterization of AF-algebras that are isomorphic to the C^∗-algebra of a row-finite graph with no sinks.     

Fixed point theorems for better admissible multimaps on almost convex sets

We obtain new fixed point theorems on multimaps in the class Bp defined on almost convex subsets of topological vector spaces. Our main results are applied to deduce various fixed point theorems, coincidence theorems, almost fixed point theorems, intersection theorems, and minimax theorems. Consequently, our new results generalize well-known works of Kakutani, Fan, Browder, Himmelberg, Lassonde, and others.     

A Morita theorem for dual operator algebras

We prove that two dual operator algebras are weak^∗ Morita equivalent in the sense of [D.P. Blecher, U. Kashyap, Morita equivalence of dual operator algebras, J. Pure Appl. Algebra 212 (2008) 2401-2412] if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak^∗-continuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case, we characterize such functors as the module normal Haagerup tensor product with an appropriate weak^∗ Morita equivalence bimodule. We also develop the theory of the W^∗-dilation, which connects the non-selfadjoint dual operator algebra with the W^∗-algebraic framework. In the case of weak^∗ Morita equivalence, this W^∗-dilation is a W^∗-module over a von Neumann algebra generated by the non-selfadjoint dual operator algebra. The theory of the W^∗-dilation is a key part of the proof of our main theorem.     

Semigroup crossed products and the induced algebras of lattice-ordered groups

Let (G,G₊) be a quasi-lattice-ordered group with positive cone G₊. Laca and Raeburn have shown that the universal C^∗-algebra C^∗(G,G₊) introduced by Nica is a crossed product BG₊α_×G₊ by a semigroup of endomorphisms. The goal of this paper is to extend some results for totally ordered abelian groups to the case of discrete lattice-ordered abelian groups. In particular given a hereditary subsemigroup H₊ of G₊ we introduce a closed ideal IH₊ of the C^∗-algebra BG₊. We construct an approximate identity for this ideal and show that IH₊ is extendibly α-invariant. It follows that there is an isomorphism between C^∗-crossed products and B₊(G/H)β_×G₊. This leads to our main result that B₊(G/H)β_×G₊ is realized as an induced C^∗-algebra .     

Parseval frames for ICC groups

We analyze Parseval frames generated by the action of an ICC group on a Hilbert space. We parametrize the set of all such Parseval frames by operators in the commutant of the corresponding representation. We characterize when two such frames are strongly disjoint. We prove an undersampling result showing that if the representation has a Parseval frame of equal norm vectors of norm , the Hilbert space is spanned by an orthonormal basis generated by a subgroup. As applications we obtain some sufficient conditions under which a unitary representation admits a Parseval frame which is spanned by a Riesz sequences generated by a subgroup. In particular, every subrepresentation of the left-regular representation of a free group has this property.     

Decomposition rank and absorbing extensions of type I algebras

We prove the following: Let A and B be separable C^*-algebras. Suppose that B is a type I C^*-algebra such that

(i)

B has only infinite dimensional irreducible *-representations, and

(ii)

B has finite decomposition rank.

If

0→B→C→A→0     

Hardy space estimates for the wave equation on compact Lie groups

Let −L be the Laplacian. In this paper, we prove that on a compact Lie group G of dimension n, the multiplier operator , s∈(0,1], extends to a bounded operator on the Hardy space Hp(G), 0<p<∞, if and only if . The result is an analogue of a well-known theorem in Euclidean space.     

On the weak-approximate fixed point property

Let X be a Banach space and C a bounded, closed, convex subset of X. C is said to have the weak-approximate fixed point property if for any norm-continuous mapping , there exists a sequence {xn} in C such that (xn−fn(xn)) converges to 0 weakly. It is known that every infinite-dimensional Banach space with the Schur property does not have the weak-approximate fixed point property. In this article, we show that every Asplund space has the weak-approximate fixed point property. Applications to the asymptotic fixed point theory are given.     

The Elliott conjecture for Villadsen algebras of the first type

We study the class of simple C^∗-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's classification conjecture: two C^∗-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topological (finite decomposition rank, slow dimension growth, and bounded dimension growth). The equivalence of Z-stability and strict comparison constitutes a stably finite version of Kirchberg's characterisation of purely infinite C^∗-algebras. The other equivalences confirm, for Villadsen's algebras, heretofore conjectural relationships between various notions of good behaviour for nuclear C^∗-algebras.