On the near differentiability property of Banach spaces

Let μ be a scalar measure of bounded variation on a compact metrizable abelian group G. Suppose that μ has the property that for any measure σ whose Fourier-Stieltjes transform vanishes at ∞, the measure μ*σ has Radon-Nikodým derivative with respect to λ, the Haar measure on G. Then L. Pigno and S. Saeki showed that μ itself has Radon-Nikodým derivative. Such property is not shared by vector measures in general. We say that a Banach space X has the near differentiability property if every X-valued measure of bounded variation shares the above property. We prove that Banach spaces with the Radon-Nikodým property have the near differentiability property, while Banach spaces with the near differentiability property enjoy the near Radon-Nikodým property. We also show that the Banach spaces L¹[0,1] and have the near differentiability property. Lastly, we show that Banach spaces with the near differentiability property have type II-Λ-Radon-Nikodým property, whenever Λ is a Riesz subset of type 0 of .     

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].     

Invariant functionals and the uniqueness of invariant norms

Let τ be a representation of a compact group G on a Banach space (X,||·||). The question we address is whether X carries a unique invariant norm in the sense that ||·|| is the unique norm on X for which τ is a representation. We characterize the uniqueness of norm in terms of the automatic continuity of the invariant functionals in the case when X is a dual Banach space and τ is a -continuous representation of G on X such that τ(G) consists of -continuous operators. We illustrate the usefulness of this characterization by studying the uniqueness of the norm on the spaces Lp(Ω), where Ω is a locally compact Hausdorff space equipped with a positive Radon measure and G acts on Ω as a group of continuous invertible measure-preserving transformations.     

A perturbation of ring derivations on Banach algebras

Suppose A is a Banach algebra and suppose is an approximate ring derivation in the sense of Hyers-Ulam-Rassias. This stability phenomenon was introduced for the first time in the subject of functional equations by Th.M. Rassias [Th.M. Rassias, On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978) 297-300]. If A has an approximate identity, or if A is semisimple and commutative, then we prove that f is an exact ring derivation.     

Hecke group algebras as quotients of affine Hecke algebras at level 0

The Hecke group algebra of a finite Coxeter group , as introduced by the first and last authors, is obtained from by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when is the finite Weyl group associated to an affine Weyl group W. Namely, we prove that, for q not a root of unity of small order, is the natural quotient of the affine Hecke algebra H(W)(q) through its level 0 representation.The proof relies on the following core combinatorial result: at level 0 the 0-Hecke algebra H(W)(0) acts transitively on . Equivalently, in type A, a word written on a circle can be both sorted and antisorted by elementary bubble sort operators. We further show that the level 0 representation is a calibrated principal series representation M(t) for a suitable choice of character t, so that the quotient factors (non-trivially) through the principal central specialization. This explains in particular the similarities between the representation theory of the 0-Hecke algebra and that of the affine Hecke algebra H(W)(q) at this specialization.     

On Fourier algebra homomorphisms

Let G be a locally compact group and let B(G) be the dual space of C∗(G), the group C∗ algebra of G. The Fourier algebra A(G) is the closed ideal of B(G) generated by elements with compact support. The Fourier algebras have a natural operator space structure as preduals of von Neumann algebras. Given a completely bounded algebra homomorphism we show that it can be described, in terms of a piecewise affine map with Y in the coset ring of H, as follows

     

Isometric reflection vectors in Banach spaces

The aim of this paper is to study the set of isometric reflection vectors of a real Banach space X. We deal with geometry of isometric reflection vectors and parallelogram identity vectors, and we prove that a real Banach space is a Hilbert space if the set of parallelogram identity vectors has nonempty interior. It is also shown that every real Banach space can be decomposed as an Ir-sum of a Hilbert space and a Banach space with some points which are not isometric reflection vectors. Finally, we give a new proof of the Becerra-Rodríguez result: a real Banach space X is a Hilbert space if and only if is not rare.     

Operator space structure and amenability for Figà-Talamanca-Herz algebras

Column and row operator spaces—which we denote by COL and ROW, respectively—over arbitrary Banach spaces were introduced by the first-named author; for Hilbert spaces, these definitions coincide with the usual ones. Given a locally compact group G and p,p′∈(1,∞) with , we use the operator space structure on to equip the Figà-Talamanca-Herz algebra A_p(G) with an operator space structure, turning it into a quantized Banach algebra. Moreover, we show that, for p?q?2 or 2?q?p and amenable G, the canonical inclusion A_q(G)⊂A_p(G) is completely bounded (with cb-norm at most , where is Grothendieck's constant). As an application, we show that G is amenable if and only if A_p(G) is operator amenable for all—and equivalently for one—p∈(1,∞); this extends a theorem by Ruan.     

On the ideal structure of some Banach algebras related to convolution operators on L(G)

Let G be a locally compact group and let p∈(1,∞). Let be any of the Banach spaces C_δ,p(G), PF_p(G), M_p(G), AP_p(G), WAP_p(G), UC_p(G), PM_p(G), of convolution operators on L^p(G). It is shown that PF_p(G)′ can be isometrically embedded into UC_p(G)′. The structure of maximal regular ideals of (and of MA_p(G)″, B_p(G)″, W_p(G)″) is studied. Among other things it is shown that every maximal regular left (right, two sided) ideal in is either dense or is the annihilator of a unique element in the spectrum of A_p(G). Minimal ideals of is also studied. It is shown that a left ideal M in is minimal if and only if , where Ψ is either a right annihilator of or is a topologically x-invariant element (for some x∈G). Some results on minimal right ideals are also given.     

The lattice of closed ideals in the Banach algebra of operators on certain Banach spaces

Very few Banach spaces E are known for which the lattice of closed ideals in the Banach algebra of all (bounded, linear) operators on E is fully understood. Indeed, up to now the only such Banach spaces are, up to isomorphism, Hilbert spaces and the sequence spaces c₀ and ?_p for 1?p<∞. We add a new member to this family by showing that there are exactly four closed ideals in for the Banach space E?(⊕?₂ⁿ)_c0, that is, E is the c₀-direct sum of the finite-dimensional Hilbert spaces ?₂¹,?₂²,…,?₂ⁿ,… .     

Operator biflatness of the Fourier algebra and approximate indicators for subgroups

We investigate if, for a locally compact group G, the Fourier algebra A(G) is biflat in the sense of quantized Banach homology. A central rôle in our investigation is played by the notion of an approximate indicator of a closed subgroup of G: The Fourier algebra is operator biflat whenever the diagonal in G×G has an approximate indicator. Although we have been unable to settle the question of whether A(G) is always operator biflat, we show that, for , the diagonal in G×G fails to have an approximate indicator.     

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

We show that McShane and Pettis integrability coincide for functions , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelöf determined Banach space X, a scalarly null (hence Pettis integrable) function and an absolutely summing operator u from X to another Banach space Y such that the composition is not Bochner integrable; in particular, h is not McShane integrable.     

Operator space structure on Feichtinger's Segal algebra

We extend the definition, from the class of abelian groups to a general locally compact group G, of Feichtinger's remarkable Segal algebra S₀(G). In order to obtain functorial properties for non-abelian groups, in particular a tensor product formula, we endow S₀(G) with an operator space structure. With this structure S₀(G) is simultaneously an operator Segal algebra of the Fourier algebra A(G), and of the group algebra L¹(G). We show that this operator space structure is consistent with the major functorial properties: (i) completely isomorphically (operator projective tensor product), if H is another locally compact group; (ii) the restriction map is completely surjective, if H is a closed subgroup; and (iii) is completely surjective, where N is a normal subgroup and . We also show that S₀(G) is an invariant for G when it is treated simultaneously as a pointwise algebra and a convolutive algebra.     

Transportation cost inequalities on path and loop groups

Let G be a connected Lie group with the Lie algebra . The action of Cameron-Martin space on the path space P_e(G) introduced by L. Gross (Illinois J. Math. 36 (1992) 447) is free. Using this fact, we define the H-distance on P_e(G), which enables us to establish a transportation cost inequality on P_e(G). This method will be generalized to the path space over the loop group , so that we obtain a transportation cost inequality for heat measures on .     

Mean inequalities in certain Banach function spaces

Boundedness of the Hardy operator and its adjoint is characterized between Banach function spaces Xq and Lp. By applying a limiting procedure, corresponding boundedness of the geometric mean operator is also derived.     

Continuous dependence results for inhomogeneous ill-posed problems in Banach space

We apply semigroup theory and other operator-theoretic methods to prove Hölder-continuous dependence on modeling for the inhomogeneous ill-posed Cauchy problem in Banach space. The inhomogeneous ill-posed Cauchy problem is given by , u(0)=χ, 0?t<T; where −A is the infinitesimal generator of a holomorphic semigroup on a Banach space X, χ∈X, and . For a suitable function f, the approximate problem is given by , v(0)=χ. Under certain stabilizing conditions, we prove that for a related norm, where and M are computable constants independent of β, 0<β<1, and ω(t) is a harmonic function. These results extend earlier work of Ames and Hughes on the homogeneous ill-posed problem.     

Rieffel deformation of homogeneous spaces

Let G₁⊂G be a closed subgroup of a locally compact group G and let X=G/G₁ be the quotient space of left cosets. Let X=(C₀(X),ΔX) be the corresponding G-C^∗-algebra where G=(C₀(G),Δ). Suppose that Γ is a closed abelian subgroup of G₁ and let Ψ be a 2-cocycle on the dual group . Let GΨ be the Rieffel deformation of G. Using the results of the previous paper of the author we may construct GΨ-C^∗-algebra XΨ - the Rieffel deformation of X. On the other hand we may perform the Rieffel deformation of the subgroup G₁ obtaining the closed quantum subgroup , which in turn, by the results of S. Vaes, leads to the GΨ-C^∗-algebra . In this paper we show that . We also consider the case where Γ⊂G is not a subgroup of G₁, for which we cannot construct the subgroup . Then generically XΨ cannot be identified with a quantum quotient. What may be shown is that it is a GΨ-simple object in the category of GΨ-C^∗-algebras.     

Dissipative operators on Banach spaces

A bounded linear operator T on a Banach space is said to be dissipative if ‖etT‖?1 for all t?0. We show that if T is a dissipative operator on a Banach space, then:

(a)

.

(b)

If σ(T)∩iR is contained in [−iπ/2,iπ/2], then

     

Vertex operator algebras associated to modified regular representations of affine Lie algebras

Let G be a simply-connected complex Lie group with simple Lie algebra g and let be its affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of N-graded vertex operator algebras (VOAs) associated to g. These vertex operator algebras contain the algebra of regular functions on G as the conformal weight 0 subspaces and are -modules of dual levels in the sense that , where h^∨ is the dual Coxeter number of g. This family of VOAs was previously studied by Arkhipov-Gaitsgory and Gorbounov-Malikov-Schechtman from different points of view. We show that when k is irrational, the vertex envelope of the vertex algebroid associated to G and the level k is isomorphic to the vertex operator algebra we constructed above. The case of rational levels is also discussed.