An extension theorem for separable Banach spaces

We construct a totally disconnected ω^*, norming subsetF of the unit ballB ^* of an arbitrary separable Banach space,X, and an operator fromC(F) toC(B^*) that “amost” commutes with the natural embeddings ofX. This is used to give a new proof of Milutin's theorem and to prove some new results on complemented subspaces ofC[0, 1] with separable dual. In particular we show that a complemented subspace ofC(ω^ω), is either isomorphic toC(ω^ω) or toc _u.     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

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.     

The Effros–Ruan conjecture for bilinear forms on C<Superscript>*</Superscript>-algebras

In 1991 Effros and Ruan conjectured that a certain Grothendieck-type inequality for a bilinear form on C^*-algebras holds if (and only if) the bilinear form is jointly completely bounded. In 2002 Pisier and Shlyakhtenko proved that this inequality holds in the more general setting of operator spaces, provided that the operator spaces in question are exact. Moreover, they proved that the conjecture of Effros and Ruan holds for pairs of C^*-algebras, of which at least one is exact. In this paper we prove that the Effros–Ruan conjecture holds for general C^*-algebras, with constant one. More precisely, we show that for every jointly completely bounded (for short, j.c.b.) bilinear form on a pair of C^*-algebras A and B, there exist states f ₁, f ₂ on A and g ₁, g ₂ on B such that for all a∈A and b∈B,

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.     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

Averaging operators on normed köthe spaces

Summary Under study is the existence of averaging operators determined by measurable maps φ from a measure space (S, Σ, μ) into an arbitrary Hausdorff topological space T. The map φ induces a continuous map φ^e from the space C_b(T) into the normed (Banach) function space L_ϱ = L_ϱ(S, Σ, μ) defined by φ^e(f)=foφ for all f ε C_b(T). An integral representation for such operators is first studied. The existence is then determined by the existence of an averaging operator U₁ for the restriction of φ to a certain measurable subset B₁ of S. Utilizing a representation of L_ϱ(S, Σ, μ) as a Banach function space over a compact extremally disconnected Hausdorff space Ŝ, we are able to give a definition for the concept of plural points and irreducible map. A significant upper bound is given for the operator U₁. Finally conditions are considered under which no bounded projection from L_ϱ onto the range of φ^e may exist. From a topological point of view the development is pursued in a general setting. Averaging operators have recently been used for the study of injective Banach spaces of the type C_b(T) and in non-linear prediction and approximation theory relative to Tshebyshev subspaces of L_ϱ. Entrata in Redazione l’ll settembre 1975.     

Amalgamated free products of weakly rigid factors and calculation of their symmetry groups

We consider amalgamated free product II₁ factors M = M _1*B M _2*B … and use “deformation/rigidity” and “intertwining” techniques to prove that any relatively rigid von Neumann subalgebra Q ⊂ M can be unitarily conjugated into one of the M _i ’s. We apply this to the case where the M _i ’s are w-rigid II₁ factors, with B equal to either C, to a Cartan subalgebra A in M _i , or to a regular hyperfinite II₁ subfactor R in M _i , to obtain the following type of unique decomposition results, àla Bass–Serre: If M = (N _1 * CN_2*C …) ^t , for some t > 0 and some other similar inclusions of algebras C ⊂ N _i then, after a permutation of indices, (B ⊂ M _i ) is inner conjugate to (C ⊂ N _i ) ^t , for all i. Taking B = C and , with {t _i } _i⩾1 = S a given countable subgroup of R ₊ ^*, we obtain continuously many non-stably isomorphic factors M with fundamental group equal to S. For B = A, we obtain a new class of factors M with unique Cartan subalgebra decomposition, with a large subclass satisfying and Out(M) abelian and calculable. Taking B = R, we get examples of factors with , Out(M) = K, for any given separable compact abelian group K.     

r-Maximal major subsets

The question of which r.e. setsA possess major subsetsB which are alsor-maximal inA (A⊂_rm B) arose in attempts to extend Lachlan’s decision procedure for the αε-theory of ℰ^*, the lattice of r.e. sets modulo finite sets, and Soare’s theorem thatA andB are automorphic if their lattice of supersets ℒ^*(A) and ℒ^*(B) are isomorphic finite Boolean algebras. We characterize the r.e. setsA with someB⊂_rm A as those with a Δ₃ function that for each recursiveR _i specifiesR _i or as infinite on and to be preferred in the construction ofB. There are r.e.A andB with ℒ^*(A) and ℒ^*(B) isomorphic to the atomless Boolean algebra such thatA has anrm subset andB does not. Thus 〈ℰ^*,A〉 and 〈ℰ^*,B〉 are not even elementarily equivalent. In every non-zero r.e. degree there are r.e. sets with and withoutrm subsets. However the classF of degrees of simple sets with norm subsets satisfies . The authors were partially supported by NSF Grants MCS 76-07258, MCS 77-04013 and MCS 77-01965 respectively.     

On the outradius of the teichmüller space

Let Γ be a fuchsian group which preserves the unit disc Δ and hence also its complement Δ^* in the Riemann sphere . The Bers embedding represents the Teichm=:uller space T(Γ) of Γ in the space (B (Δ^*, Γ) of bounded quadratic differentials for Γ in Δ^*. Then, T(Γ) is included in the closed ball centred at the origin of radius 6 inB(Δ^*, Γ) with respect to the norm employed in a paper by Nehari [The Schwarzian derivative and Schlicht functions; Bull. Amer. Math. Soc. 55 (1949), 545–551]. In other words the outradiuso(Γ) ofT(Γ) is not greater than 6. The purpose of this paper is to give a complete characterization of a fuchsian group Γ for which the outradiuso(Γ) ofT(Γ) attains this extremal value 6. The main theorem is: Let Γ be a fuchsian group preserving Δ^*. Then the outradiuso(Γ) of the Teichmüller spaceT(Γ) equals 6 if and only if for any positive numberd, either (i) there exists a hyperbolic disc of radiusd precisely invariant under the trivial subgroup, or (ii) there exists the collar of widthd about the axis of a hyperbolic element of Γ. Dedicated to Professor K?taro Oikawa on his 60th 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     

On explicit basis of bivariate spline space

For a subdivision Δ of a region in d-dimensional Euclidean space, we consider computation of dimension and of basis function in spline space S _k ^r (Δ) consisting of all C piecewise polynomial functions over Δ of degree at most k. A computational scheme is presented for computing the dimension and bases of spline space S _k ^r (Δ). This scheme based on the Grobner basis algorithm and the smooth co-factor method for computing multivariate spline. For bivariate splines, explicit basis functions of S _k ^r (Δ) are obtained for any integer k and r when Δ is a cross-cut partition. The Project is partly supported by the Science and Technology New Star Plan of Beijing and Education Committee of Beijing.     

Indices, characteristic numbers and essential commutants of Toeplitz operators

For an essentially normal operatorT, it is shown that there exists a unilateral shift of multiplicitym inC ^* (T) if and only if γ(T)≠0 and γ(T)/m. As application, we prove that the essential commutant of a unilateral shift and that of a bilateral shift are not isomorphic asC ^* -algebras. Finally, we construct a naturalC ^* -algebra ε + ε_* on the Bergman spaceL _a ² (B _n ), and show that its essential commutant is generated by Toeplitz operators with symmetric continuous symbols and all compact operators. Supported by NSFC and Laboratory of Mathematics for Nonlinear Science at Fudan University.     

On 𝒪ℒ∞ structures of nuclear C * -algebras

 We study the local operator space structure of nuclear C ^* -algebras. It is shown that a C ^* -algebra is nuclear if and only if it is an 𝒪ℒ_∞,λ space for some (and actually for every) λ>6. The 𝒪ℒ_∞ constant λ provides an interesting invariant

Weak generators of the algebral ∞ and the commutant of a model operator

Let B be a Blaschke product with simple zeros in the unit disk, let Λ be the set of its zeros, and let ϕ∈H^∞. It is known that ϕ+BH^∞ is a weak^* generator of the algebra H^∞/BH^∞ if (for B that satisfy the Carleson condition (C)) and only if the sequence ϕ(Λ) is a weak^* generator of the algebra l^∞. In this paper, we show that for any Blaschke product B with simple zeros that does not satisfy condition (C), there exists B=B₁·…·B_N, where N ∈ℕ, and B₁, …, B_N are Blaschke products satisfying condition (C), there exists a function ϕ∈H^∞ such that ϕ(Λ) is a weak^* generator of the algebra l^∞, and ϕ+BH^∞ is not a weak^* generator of the algebra H^∞/BH^∞. Bibliography: 12 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 73–85. Translated by M. F. Gamal'.     

Polynomial hulls and an optimization problem

We say that a subset of Cⁿ is hypoconvex if its complement is the union of complex hyperplanes. We say it is strictly hypoconvex if it is smoothly bounded hypoconvex and at every point of the boundary the real Hessian of its defining function is positive definite on the complex tangent space at that point. Let B_n be the open unit ball in Cⁿ.Suppose K is a C^∞ compact manifold in ∂B₁ × Cⁿ, n > 1, diffeomorphic to ∂B₁ × ∂B_n, each of whose fibers K_z over ∂B₁ bounds a strictly hypoconvex connected open set. Let K be the polynomialhull of K. Then we show that K∖K is the union of graphs of analytic vector valued functions on B₁. This result shows that an unnatural assumption regarding the deformability of K in an earlier version of this result is unnecessary. Next, we study an H^∞ optimization problem. If pis a C^∞ real-valued function on ∂B₁× Cⁿ, we show that the infimum γ_ρ = inf_ƒ∈H ^∞ (B₁)ⁿ ‖ρ(z, ƒ (z))‖_∞ is attained by a unique bounded ƒ provided that the set (z, w) ∈ ∂B₁ × C ⁿ|ρ(z, w) ≤ γ_ρ has bounded connected strictly hypoconvex fibers over the circle.     

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.     

Factorization of Hardy spaces and Hankel operators on convex domains in ℂ n

In this article we study the (small) Hankel operator h_b on the Hardy and Bergman spaces on a smoothly bounded convex domain of finite type in ℂⁿ. We completely characterize the Hankel operators h_b that are bounded, compact, and belong to the Schatten ideal S_p, for 0 < p < ∞. In particular, if h_b denotes the Hankel operator on the Hardy space H² (Ω), we prove that h_b is bounded if and only if b ∈ BMOA, compact if and only if b ∈ VMOA, and in the Schatten class if and only if b ∈e B_p, 0 < p < ∞. This last result extends the analog theorem in the case of the unit disc of Peller [19] and Semmes [21]. In order to characterize the bounded Hankel operators, we prove a factorization theorem for functions in H¹ (Ω), a result that is of independent interest.