Norms on unitizations of banach algebras revisited

Let A be an algebra without unit. If ∥ ∥ is a complete regular norm on A it is known that among the regular extensions of ∥ ∥ to the unitization of A there exists a minimal (operator extension) and maximal (ℓ₁-extension) which are known to be equivalent. We shall show that the best upper bound for the ratio of these two extensions is exactly 3. This improves the results represented by A. K. Gaur and Z. V. Kovářík and later by T. W. Palmer. The second author was partially supported by the grant No. 201/03/0041 of GAČR.     

The ultrametric corona problem

Let K be a complete ultrametric algebraically closed field and let A be the K-Banach algebra of bounded analytic functions in the disk D: |x| < 1. Let Mult(A, ∥ · ∥) be the set of continuous multiplicative semi-norms of A, let Mult _m (A, ∥ · ∥) be the subset of the ϕ ∈ Mult(A, ∥ · ∥) whose kernel is a maximal ideal and let Mult _a (A, ∥ · ∥) be the subset of the ϕ ∈ Mult _m (A, ∥ · ∥) whose kernel is of the form (x − a)A, a ∈ D ( if ϕ ∈ Mult _m (A, ∥ · ∥) \ Mult _a (A, ∥ · ∥), the kernel of ϕ is then of infinite codimension). We examine whether Mult _a (A, ∥ · ∥) is dense inside Mult _m (A, ∥ · ∥) with respect to the topology of simple convergence. This a first step to the conjecture of density of Mult _a (A, ∥ · ∥) in the whole set Mult(A, ∥ · ∥): this is the corresponding problem to the well-known complex corona problem. We notice that if ϕ ∈ Mult _m (A, ∥ · ∥) is defined by an ultrafilter on D, then ϕ lies in the closure of Mult _a (A, ∥ · ∥). Particularly, we show that this is case when a maximal ideal is the kernel of a unique ϕ ∈ Multm(A, ∥ · ∥). Particularly, when K is strongly valued all maximal ideals enjoy this property. And we can prove this is also true when K is spherically complete, thanks to the ultrametric holomorphic functional calculus. More generally, we show that if ψ ∈ Mult(A, ∥ · ∥) does not define the Gauss norm on polynomials (∥ · ∥), then it is defined by a circular filter, like on rational functions and analytic elements. As a consequence, if ψ ∈ Multm(A, ∥ · ∥) \ Multa(A, ∥ · ∥) or if φ does not lie in the closure of Mult _a (A, ∥ · ∥), then its restriction to polynomials is the Gauss norm. The first situation does happen. The second is unlikely. The text was submitted by the authors in English.     

Von Neumann-Jordan Constants of Absolute Normalized Norms on C^n

In this note, we give some estimations of the Von Neumann-Jordan constant C _{N J} (∥·∥_ψ) of Banach space (ℂ ⁿ , ∥·∥_ψ), where ∥·∥_ψ is the absolute normalized norm on ℂ ⁿ given by function ψ. In the case where ψ and φ are comparable, n=2 and C _{N J} (∥·∥_ψ)=1, we obtain a formula of computing C _{N J} (∥·∥_ψ). Our results generalize some results due to Saito and others. Received May 11, 2002, Accepted November 20, 2002 This work is partly supported by NNSF of China (No. 19771056)     

Any Banach space has an equivalent norm with trivial isometries

For any Banach spaceX there is a norm |||·||| onX, equivalent to the original one, such that (X, |||·|||) has only trivial isometries. For any groupG there is a Banach spaceX such that the group of isometries ofX is isomorphic toG × {− 1, 1}. For any countable groupG there is a norm ‖ · ‖ _G onC([0, 1]) equivalent to the original one such that the group of isometries of (C([0, 1]), ‖ · ‖ _G ) is isomorphic toG × {−1, + 1}.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

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.     

Limit algebras of differential forms in non-commutative geometry

Given a C*-normed algebra A which is either a Banach *-algebra or a Frechet *-algebra, we study the algebras Ω_∞ A and Ω_ε A obtained by taking respectively the projective limit and the inductive limit of Banach *-algebras obtained by completing the universal graded differential algebra Ω*A of abstract non-commutative differential forms over A. Various quantized integrals on Ω_∞ A induced by a K-cycle on A are considered. The GNS-representation of Ω_∞ A defined by a d-dimensional non-commutative volume integral on a d ⁺-summable K-cycle on A is realized as the representation induced by the left action of A on Ω*A. This supplements the representation A on the space of forms discussed by Connes (Ch. VI.1, Prop. 5, p. 550 of [C]).     

On the radical for some class of Banach algebras

Let A be a complex Banach algebra. It is well known that the second dual A** of A can be equipped with a multiplication that extends the original multiplication on A and makes A** a Banach algebra. We show that Rad(A) = ^⊥(A ^* · A) and Rad(A ^**) = (A ^* · A)^⊥ for some classes of Banach algebras A with scattered structure space. Some applications of these results are given.     

On a new geometric property for Banach spaces

In this paper we study a geometric property for Banach spaces called condition (*), introduced by de Reynaet al in [3], A Banach space has this property if for any weakly null sequencex _n of unit vectors inX, ifx _* ⁿ is any sequence of unit vectors inX ^* that attain their norm at x_n’s, then . We show that a Banach space satisfies condition (*) for all equivalent norms iff the space has the Schur property. We also study two related geometric conditions, one of which is useful in calculating the essential norm of an operator.     

Preduals of von Neumann Algebras

Proofs of two assertions are sketched. 1) If the Banach space of a von Neumann algebra A is the third dual of some Banach space, then the space A is isometrically isomorphic to the second dual of some von Neumann algebra A and the von Neumann algebra A is uniquely determined by its enveloping von Neumann algebra (up to von Neumann algebra isomorphism) and is the unique second predual of A (up to isometric isomorphism of Banach spaces). 2) An infinite-dimensional von Neumann algebra cannot have preduals of all orders.     

Quelques Résultats sur les Algèbres Flexibles Préhilbertiennes sans Diviseurs de Zéro Vérifiant ∥a 2∥ = ∥a∥2

Résumé. Soit A une algèbre réelle. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ = ∥a∥² pour tout . Si A est flexible, sans diviseurs de zéro et de dimension ≤ 4, alors A est isomorphe à ou , ce qui généralise un théorème d’El-Mallah [1]. Si A est flexible, sans diviseurs de zéro, contenant un idempotent central et vérifiant la propriété d’Osborn, alors A est de dimension finie et isomorphe à , ou . Enfin nous montrons qu’une algèbre normée préhilbertienne unitaire d’unité e telle que ∥e∥ = 1 est flexible et vérifie ∥a ²∥ = ∥ a∥².

---

Let A be a real algebra. Assuming that a vector space A is endowed with a pre-Hilbert norm ∥.∥ satisfying ∥a ²∥ = ∥a∥² for all . If A is flexible, without divisor of zero and of a dimension ≤ 4, then A is isomorphic to or , which generalize El-Mallah’s theorem [1]. If A is flexible, without divisor of zero, containing a central idempotent and satisfying Osborn’s properties, then A is finite dimensional and isomorphic to , or . Finally we prove that a normed pre-Hilbert algebra with unit e such that ∥e∥ = 1 is flexible and satisfies ∥a ²∥ = ∥a∥².

     

Sur les a Algèbres Préhilbertiennes Vérifiant ∥a 2∥ ≤ ∥a∥2

Résumé.  Soit A une algèbre réelle sans diviseurs de zéro. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ ≤ ∥a∥² pour tout . Alors A est de dimension finie dans chacun des quatre cas suivants :

Amenability constants for semilattice algebras

For any finite commutative idempotent semigroup S, a semilattice, we show how to compute the amenability constant of its semigroup algebra ℓ ¹(S). This amenability constant is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We also give example of a commutative Clifford semigroups G _n whose semigroup algebras ℓ ¹(G _n ) admit amenability constants of the form 41+4(n−1)/n. We also show there is no commutative semigroup whose semigroup algebra has an amenability constant between 5 and 9. N. Spronk’s research was supported by NSERC Grant 312515-05.     

Weak continuous states on Banach algebras

We prove that if a unital Banach algebra A is the dual of a Banach space A_? then the set of normal states is weak^∗ dense in the set of all states on A. Further, normal states linearly span A_?.     

The Order Properties of r-compact Operators on Banach Lattices

We present here that F（E,F）, the space of all r-compact operators from E into F, is a generalised sublattice of L^r（E, F） for arbitary Banach lattices E and F, and that the characterization of the regular norm on F（E, F） is order continuous. Some conditions for F（E, F） to be a KB-space or a band in .L（E, F） are also provided.     

Generalized induced norms

Let ‖·‖ be a norm on the algebra ?_n of all n × n matrices over ?. An interesting problem in matrix theory is that “Are there two norms ‖·‖₁ and ‖·‖₂ on ?_n such that ‖A‖ = max|‖Ax‖₂: ‖x‖₁ = 1} for all A ∈ ?_n?” We will investigate this problem and its various aspects and will discuss some conditions under which ‖·‖₁ = ‖·‖₂.     

The Gleason’s problem for some polyharmonic and hyperbolic harmonic function spaces

Let Ω ⊆ ℝⁿ be a bounded convex domain with C ² boundary. For 0 < p, q ⩽ ∞ and a normal weight φ, the mixed norm space H _k ^p,q,φ (Ω) consists of all polyharmonic functions f of order k for which the mixed norm ∥ · ∥_p,q,φ < ∞. In this paper, we prove that the Gleason’s problem (Ω, a, H _k ^p,q,φ ) is always solvable for any reference point a ∈ Ω. Also, the Gleason’s problem for the polyharmonic φ-Bloch (little φ-Bloch) space is solvable. The parallel results for the hyperbolic harmonic mixed norm space are obtained.     

On character amenability of Banach algebras

We continue our work [E. Kaniuth, A.T. Lau, J. Pym, On φ-amenability of Banach algebras, Math. Proc. Cambridge Philos. Soc. 144 (2008) 85-96] in the study of amenability of a Banach algebra A defined with respect to a character φ of A. Various necessary and sufficient conditions of a global and a pointwise nature are found for a Banach algebra to possess a φ-mean of norm 1. We also completely determine the size of the set of φ-means for a separable weakly sequentially complete Banach algebra A with no φ-mean in A itself. A number of illustrative examples are discussed.     

Fourier algebras on locally compact hypergroups

In the present paper we introduce a new definition for the Fourier space A (K) of a locally compact Hausdorff hypergroup K and prove that it is a Banach subspace of B (K). This definition coincides with that of Amini and Medghalchi in the case where K is a tensor hypergroup, and also with that of Vrem which is given only for compact hypergroups. We prove that A_p (K)* = PM_q (K), where q is the exponent conjugate to p, in particular A (K)* = VN (K). Also we show that for Pontryagin hypergroups, A (K) = L²(K) * L²(K) = F (L¹( )), where F stands for the Fourier transform on . Furthermore there is an equivalent norm on A (K) which makes A (K) into a Banach algebra isomorphic with L¹( ). (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.