Multiplicatively range-preserving maps between Banach function algebras

Let A and B be two Banach function algebras on locally compact Hausdorff spaces X and Y, respectively. Let T be a multiplicatively range-preserving map from A onto B in the sense that (TfTg)(Y)=(fg)(X) for all f,g∈A. We define equivalence relations on appropriate subsets and of X and Y, respectively, and show that T induces a homeomorphism between the quotient spaces of and by these equivalence relations. In particular, if all points in the Choquet boundaries of A and B are strong boundary points, then and are equal to the Choquet boundaries of A and B, respectively, and moreover, there exist a continuous function h on the Choquet boundary of B taking its values in {−1,1} and a homeomorphism φ from the Choquet boundary of B onto the Choquet boundary of A such that Tf(y)=h(y)f(φ(y)) for all f∈A and y in the Choquet boundary of B. For certain Banach function algebras A and B on compact Hausdorff spaces X and Y, respectively, we can weaken the surjectivity assumption and give a representation for maps belonging 2-locally to the family of all multiplicatively range-preserving maps from A onto B.     

On continuous choice of retractions onto nonconvex subsets

For a Banach space B and for a class A of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements A∈A can be chosen to depend continuously on A, whenever nonconvexity of each A∈A is less than . The key geometric argument is that the set of all uniform retractions onto an α-paraconvex set (in the spirit of E. Michael) is -paraconvex subset in the space of continuous mappings of B into itself. For a Hilbert space H the estimate can be improved to and the constant can be replaced by the root of the equation α+α²+α³=1.     

Coincidence of essential commutant and the double commutant relation in the Calkin algebra

Let B be a von Neumann algebra on a separable Hilbert space H. We show that, if the dimension of B as a linear space is infinite, then it has a proper C∗-subalgebra A whose essential commutant in coincides with the essential commutant of B. Moreover, if π is the quotient map from to the Calkin algebra , then π(A)≠π(B) and {π(A)}″=π(B).     

Classification of contractively complemented Hilbertian operator spaces

We construct some separable infinite-dimensional homogeneous Hilbertian operator spaces and , which generalize the row and column spaces R and C (the case m=0). We show that a separable infinite-dimensional Hilbertian JC^∗-triple is completely isometric to one of , , , or the space Φ spanned by creation operators on the full anti-symmetric Fock space. In fact, we show that (respectively ) is completely isometric to the space of creation (respectively annihilation) operators on the m (respectively m+1) anti-symmetric tensors of the Hilbert space. Together with the finite-dimensional case studied in [M. Neal, B. Russo, Representation of contractively complemented Hilbertian operator spaces on the Fock space, Proc. Amer. Math. Soc. 134 (2006) 475-485], this gives a full operator space classification of all rank-one JC^∗-triples in terms of creation and annihilation operator spaces.We use the above structural result for Hilbertian JC^∗-triples to show that all contractive projections on a C^∗-algebra A with infinite-dimensional Hilbertian range are “expansions” (which we define precisely) of normal contractive projections from A** onto a Hilbertian space which is completely isometric to R, C, R∩C, or Φ. This generalizes the well-known result, first proved for B(H) by Robertson in [A.G. Robertson, Injective matricial Hilbert spaces, Math. Proc. Cambridge Philos. Soc. 110 (1991) 183-190], that all Hilbertian operator spaces that are completely contractively complemented in a C^∗-algebra are completely isometric to R or C. We use the above representation on the Fock space to compute various completely bounded Banach-Mazur distances between these spaces, or Φ.     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.     

Norm equality for a basic elementary operator

Let be the algebra of bounded linear operators on a Hilbert space H. For , define the elementary operator M_A,B by M_A,B(X)=AXB (). We give necessary and sufficient conditions for any pair of operators A and B to satisfy the equation ‖I+M_A,B‖=1+‖A‖‖B‖, where I is the identity operator on H.     

On the cohomology of joins of operator algebras

By analogy with the join in topology, the join A*B for operator algebras A and B acting on Hilbert spaces H and K, respectively, was defined by Gilfeather and Smith (Amer. J. Math. 116 (1994) 541-561). Assuming that K is finite dimensional, they calculated the Hochschild cohomology groups for A*B with coefficients in L(K⊕H). We assume that A is a maximal abelian von Neumann algebra acting on H, A is a subalgebra of , and B is an ultraweakly closed subalgebra of M_n(A) containing A⊗1_n. We show that B may be decomposed into a finite sum of free modules. In this context, we redefine the join of A and B, generalize the calculations of Gilfeather and Smith, and calculate , for all m?0.     

On the stable rank of algebras of operator fields over metric spaces

Let Γ be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(Γ) denote the universal C^*-algebra of Γ. We show that , where for a unital C^*-algebra A, sr(A) is the stable rank of A, and where is the space of one-dimensional representations of Γ. In process, we give a stable rank estimate for maximal full algebras of operator fields over metric spaces.     

Injections into function spaces over ordinals

We investigate when and how function spaces over subspaces of ordinals admit continuous injections into each other. To formulate our results let τ be an uncountable regular cardinal. We prove, in particular, that: (1) If A and B are disjoint stationary subsets of τ then Cp(A) does not admit a continuous injection into Cp(B); (2) For A⊂ω₁, admits a continuous injection into iff A is countable or ω₁ embeds into A (which, in its turn, is equivalent to the statement “ embeds into ”).     

Laterally closed lattice homomorphisms

Let A and B be two Archimedean vector lattices and let be a lattice homomorphism. We call that T is laterally closed if T(D) is a maximal orthogonal system in the band generated by T(A) in B, for each maximal orthogonal system D of A. In this paper we prove that any laterally closed lattice homomorphism T of an Archimedean vector lattice A with universal completion Au into a universally complete vector lattice B can be extended to a lattice homomorphism of Au into B, which is an improvement of a result of M. Duhoux and M. Meyer [M. Duhoux and M. Meyer, Extended orthomorphisms and lateral completion of Archimedean Riesz spaces, Ann. Soc. Sci. Bruxelles 98 (1984) 3-18], who established it for the order continuous lattice homomorphism case. Moreover, if in addition Au and B are with point separating order duals ^′(Au) and B^′ respectively, then the laterally closedness property becomes a necessary and sufficient condition for any lattice homomorphism to have a similar extension to the whole Au. As an application, we give a new representation theorem for laterally closed d-algebras from which we infer the existence of d-algebra multiplications on the universal completions of d-algebras.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

Approximation of the Hausdorff distance by the distance of continuous surjections

The aim of this paper is to answer the following question: let (X,?) and (Y,d) be metric spaces, let A,B⊂Y be continuous images of the space X and let be a fixed continuous surjection. When is the inequality

     

Additivity of Jordan maps on standard Jordan operator algebras

Let A be a standard Jordan operator algebra on a Hilbert space of dimension >1 and B be an arbitrary Jordan algebra. In this note, we prove that if a bijection ?:A→B satisfies

     

On the product of vector spaces in a commutative field extension

Let K⊂L be a commutative field extension. Given K-subspaces A,B of L, we consider the subspace 〈AB〉 spanned by the product set . If dimKA=r and dimKB=s, how small can the dimension of 〈AB〉 be? In this paper we give a complete answer to this question in characteristic 0, and more generally for separable extensions. The optimal lower bound on dimK〈AB〉 turns out, in this case, to be provided by the numerical function

     

Strong peak points and strongly norm attaining points with applications to denseness and polynomial numerical indices

Using the variational method, it is shown that the set of all strong peak functions in a closed algebra A of Cb(K) is dense if and only if the set of all strong peak points is a norming subset of A. As a corollary we can induce the denseness of strong peak functions on other certain spaces. In case that a set of uniformly strongly exposed points of a Banach space X is a norming subset of , then the set of all strongly norm attaining elements in is dense. In particular, the set of all points at which the norm of is Fréchet differentiable is a dense Gδ subset. In the last part, using Reisner's graph-theoretic approach, we construct some strongly norm attaining polynomials on a CL-space with an absolute norm. Then we show that for a finite dimensional complex Banach space X with an absolute norm, its polynomial numerical indices are one if and only if X is isometric to . Moreover, we give a characterization of the set of all complex extreme points of the unit ball of a CL-space with an absolute norm.     

Cap pairings and spectral sequences

Let be a small category. For an -diagram X and -diagrams A and B of pointed spaces, each pairing X∧A→B satisfying the projection formula induces a pairing . In this note we show that there is an induced pairing of homotopy spectral sequences compatible with abutments in the sense that

     

Invariant hypersurfaces for derivations in positive characteristic

Let A be an integral k-algebra of finite type over an algebraically closed field k of characteristic p>0. Given a collection D of k-derivations on A, that we interpret as algebraic vector fields on , we study the group spanned by the hypersurfaces V(f) of X invariant under D modulo the rational first integrals of D. We prove that this group is always a finite dimensional F_p-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant under a foliation of codimension 1. As a application, given a k-algebra B between A^p and A, we show that the kernel of the pull-back morphism is a finite F_p-vector space. In particular, if A is a UFD, then the Picard group of B is finite.     

Selfadjoint operators in S-spaces

We study S-spaces and operators therein. An S-space is a Hilbert space with an additional inner product given by , where U is a unitary operator in . We investigate spectral properties of selfadjoint operators in S-spaces. We show that their spectrum is symmetric with respect to the real axis. As a main result we prove that for each selfadjoint operator A in an S-space we find an inner product which turns S into a Krein space and A into a selfadjoint operator therein. As a consequence we get a new simple condition for the existence of invariant subspaces of selfadjoint operators in Krein spaces, which provides a different insight into this well-know and in general unsolved problem.     

Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of Urysohn space

We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces U, namely Theorems A and G: Theorem A (Approximation): The group of isometry ISO(U) contains everywhere dense locally finite subgroup; Theorem G (Globalization): For each finite metric space F there exists another finite metric space and isometric imbedding j of F to such that isometry j induces the imbedding of the group monomorphism of the group of isometries of the space F to the group of isometries of space and each partial isometry of F can be extended up to global isometry in . The fact that Theorem G, is true was announced in 2005 by author without proof, and was proved by S. Solecki in [S. Solecki, Extending partial isometries, Israel J. Math. 150 (2005) 315-332] (see also [V. Pestov, The isometry group of the Urysohn space as a Lévy group, Topology Appl. 154 (10) (2007) 2173-2184; V. Pestov, A theorem of Hrushevski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space, math/0702207]) based on the previous complicate results of other authors. The theorem is generalization of the Hrushevski's theorem about the globalization of the partial isomorphisms of finite graphs. We intend to give a constructive proof in the same spirit for metric spaces elsewhere. We also give the strengthening of homogeneity of Urysohn space and in the last paragraph we gave a short survey of the various constructions of Urysohn space including the new proof of the construction of shift invariant universal distance matrix from [P. Cameron, A. Vershik, Some isometry groups of Urysohn spaces, Ann. Pure Appl. Logic 143 (1-3) (2006) 70-78].