Uncountable equilateral sets in Banach spaces of the form <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)

The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin’s axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form C(K) has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form C(K) which has no uncountable equilateral set (or equivalently no uncountable (1+ε)-separated set in the unit sphere for any ε > 0) making another consistent combinatorial assumption. The compact K is a version of the split interval obtained from a sequence of functions which behave in an anti-Ramsey manner. It remains open if there is an absolute example of a nonseparable Banach space of the form different than C(K) which has no uncountable equilateral set. It follows from the results of S. Mercourakis and G. Vassiliadis that our example has an equivalent renorming in which it has an uncountable equilateral set. It remains open if there are consistent examples of nonseparable Banach spaces which have no uncountable equilateral sets in any equivalent renorming but it follows from the results of S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.     

Complementation and decompositions in some weakly Lindelöf Banach spaces

Let Γ denote an uncountable set. We consider the questions if a Banach space X of the form C(K) of a given class (1) has a complemented copy of c₀(Γ) or (2) for every c₀(Γ)⊆X has a complemented c₀(E) for an uncountable E⊆Γ or (3) has a decomposition X=A⊕B where both A and B are nonseparable. The results concern a superclass of the class of nonmetrizable Eberlein compacts, namely Ks such that C(K) is Lindelöf in the weak topology and we restrict our attention to Ks scattered of countable height. We show that the answers to all these questions for these C(K)s depend on additional combinatorial axioms which are independent of ZFC ± CH. If we assume the P-ideal dichotomy, for every c₀(Γ)⊆C(K) there is a complemented c₀(E) for an uncountable E⊆Γ, which yields the positive answer to the remaining questions. If we assume ♣, then we construct a nonseparable weakly Lindelöf C(K) for K of height ω+1 where every operator is of the form cI+S for c∈R and S with separable range and conclude from this that there are no decompositions as above which yields the negative answer to all the above questions. Since, in the case of a scattered compact K, the weak topology on C(K) and the pointwise convergence topology coincide on bounded sets, and so the Lindelöf properties of these two topologies are equivalent, many results concern also the space Cp(K).     

Extremely non-complex spaces

We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces X such that the norm equality Id+T²=1+T² holds for every bounded linear operator . This answers in the positive Question 4.11 of [V. Kadets, M. Martín, J. Merí, Norm equalities for operators on Banach spaces, Indiana Univ. Math. J. 56 (2007) 2385–2411]. More concretely, we show that this is the case of some C(K) spaces with few operators constructed in [P. Koszmider, Banach spaces of continuous functions with few operators, Math. Ann. 330 (2004) 151–183] and [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We also construct compact spaces K₁ and K₂ such that C(K₁) and C(K₂) are extremely non-complex, C(K₁) contains a complemented copy of C(2^ω) and C(K₂) contains a (1-complemented) isometric copy of ℓ_∞.     

Banach spaces of continuous functions with few operators

We present two constructions of infinite, separable, compact Hausdorff spaces K for which the Banach space C(K) of all continuous real-valued functions with the supremum norm has remarkable properties. In the first construction K is zero-dimensional and C(K) is non-isomorphic to any of its proper subspaces nor any of its proper quotients. In particular, it is an example of a C(K) space where the hyperplanes, one co-dimensional subspaces of C(K), are not isomorphic to C(K). In the second construction K is connected and C(K) is indecomposable which implies that it is not isomorphic to any C(K) for K zero-dimensional. All these properties follow from the fact that there are few operators on our C(K)s. If we assume the continuum hypothesis the spaces have few operators in the sense that every linear bounded operator T : C (K) C (K) is of the form gI+S where gC(K) and S is weakly compact or equivalently (in C(K) spaces) strictly singular.While conducting research leading to the results presented in this paper, the author was partially supported by a fellowship Produtividade em Pesquisa from National Research Council of Brazil (Conselho Nacional de Pesquisa, Processo Número 300369/01-8). The final stage of the research was realized at the Fields Institute in Toronto where the author was supported by the State of São Paulo Research Assistance Foundation (Fundação de Amparoá Pesquisa do Estado de São Paulo), Processo Número 02/03677-7 and by the Fields Institute.Revised version: 29 January 2004     

On K0-groups of operator algebras on Banach spaces

This paper merges some classifications of G-M-type Banach spaces simplifically, discusses the condition of K ₀(B(X)) = 0 for operator algebra B(X) on a Banach space X, and obtains a result to improve Laustsen's sufficient condition, gives an example to show that X ≈ X ² is not a sufficient condition of K ₀(B(X)) = 0.     

CH, a problem of Rolewicz and bidiscrete systems

We give a construction under CH of a non-metrizable compact Hausdorff space K such that any uncountable ‘nice’ semi-biorthogonal sequence in C(K) must be of a very specific kind. The space K has many nice properties, such as being hereditarily separable, hereditarily Lindelöf and a 2-to-1 continuous preimage of a metric space, and all Radon measures on K are separable. However K is not a Rosenthal compactum.We introduce the notion of a bidiscrete system in a compact space K. These are subsets of K² which determine biorthogonal systems of a special kind in C(K) that we call nice. We note that for every infinite compact Hausdorff space K, the space C(K) has a bidiscrete system and hence a nice biorthogonal system of size d(K), the density of K.     

Polyhedrality in Orlicz spaces

We present a construction of an Orlicz space admitting a C ^∞-smooth bump which depends locally on finitely many coordinates, and which is not isomorphic to a subspace of any C(K), K scattered. In view of the related results this space is possibly not isomorphic to a polyhedral space. Supported by grants: Institutional Research Plan AV0Z10190503, GAČR 201/04/0090, GAČR 201/07/0394, the research project MSM 0021620839, GAČR 201/05/P582.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.     

Remarks on a theorem of Taskinen on spaces of continuous functions

We clarify and prove in a simpler way a result of Taskinen about symmetric operators on C(Kⁿ), K an uncountable metrizable compact space. To do this we prove that, for any compact space K and any n ∈ ?, the symmetric injective n–tensor product of C(K), , is complemented in C(B_C(K)*), a result of independent interest. The techniques we develop allow us to extend the result in several directions. We also show that the hypothesis of metrizability and uncountability cannot be removed.     

Commutative cochains of germs of differential forms for Euclidean compacta

The purpose of the paper is for any compactum K⊂Rn to construct a space Cp(K) of commutative germs of C^∞-differential p-forms, which is a reflexive locally convex topological vector space with the Cp(K) as its dual.     

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)     

A stability property for locally uniformly rotund renorming

It is proved that C(K,E) (the space of all continuous functions on a Hausdorff compact space K taking values in a Banach space E) admits an equivalent locally uniformly rotund norm if C(K) and E do so. Moreover, if the equivalent LUR norms on C(K) and E are lower semicontinuous with respect to some weak topologies, the LUR norm on C(K,E) can be chosen to be lower semicontinuous with respect to an appropriate weak topology. As a consequence we prove that if X and Y are two Hausdorff compacta and C(X), C(Y) admit equivalent (pointwise lower semicontinuous) LUR norms, then so does C(X×Y).     

Algebraic geometry of topological spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C ^*-algebras, and for a homology theory of commutative algebras to vanish on C ^*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil K-theory implies that commutative C ^*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.     

Filtrations of Simplicial Functors and the Novikov Conjecture

We show that the Strong Novikov Conjecture for the maximal C^*-algebra C^*(π) of a discrete group π is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show that for any group π, rational injectivity of the full assembly map for K_*^t(C^*(π)) follows from rational injectivity of the restricted assembly map. (Received: February 2006)     

Zero-sets of complex homogeneous polynomials

In this paper we study the zero-sets of continuous n-homogeneous polynomials on complex nonseparable Banach spaces. We prove that the zero-set of any complex n-homogeneous polynomial P is a subspace if, and only if, there is a functional ? such that P(x)=? (x)ⁿ for every x. We give sufficient conditions on the Banach space to ensure that every continuous 2-homogeneous polynomial is identically zero on a nonseparable subspace. Also, we prove that, in the 2-homogeneous case, one of the following three properties holds: P ^?1(0) is a subspace; P ^?1(0) is the union of two different subspaces; and P ^?1(0) is the union of infinitely many different subspaces.     

Coboundaries of irreducible markov operators onC(K)

LetK be a compact Hausdorff space, and letT be an irreducible Markov operator onC(K). We show that ifgεC(K) satisfies sup _N ‖Σ _j ^=0N T ^j g‖<∞, then (and only then) there existsfεC(K) with (I − T)f=g. Generalizing the result to irreducible Markov operator representations of certain semi-groups, we obtain that bounded cocycles are (continuous) coboundaries. For minimal semi-group actions inC(K), no restriction on the semi-group is needed.     

Rationality for Subgroups of S 6

For a transitive subgroup G ≤ S ₆ which contain C ₃ × C ₃ as subgroup, we prove that K(x ₁,…, x ₆) ^G is rational over K, where K is any field, and G acts naturally on K(x ₁,…, x ₆) by permutations on the variables. We also give an application on construction of generic polynomials.     

On the Existence of Subalgebras of C(X) Which are not Isomorphic to C(Y) for Any Space Y

We study some problems about the existence and construction of certain inverse-closed subalgebras of C(X) which are not of the form C(Y) for any space Y. This revised version was published online in June 2006 with corrections to the Cover Date.     

A geometrical property ofC(K) spaces

We introduce a geometrical property of norm one complemented subspaces ofC(K) spaces which is useful for computing lower bounds on the norms of projections onto subspaces ofC(K) spaces. Loosely speaking, in the dual of such a space ifx* is a w* limit of a net (x _a ^* ) andx*=x*₁+x*₂ with ‖x*‖=‖x*₁‖ + ‖x*₂‖, then we measure how efficiently thex _a ^* 's can be split into two nets converging tox*₁ andx*₂, respectively. As applications of this idea we prove that if for everyε>0,X is a norm (1+ε) complemented subspace of aC(K) space, then it is norm one complemented in someC(K) space, and we give a simpler proof that a slight modification of anl ₁-predual constructed by Benyamini and Lindenstrauss is not complemented in anyC(K) space. Research partially supported by a grant of the U.S.-Israel Binational Science Foundation. Research of the first-named author is supported in part by NSF grant DMS-8602395. Research of the second-named author was partially supported by the Fund for the Promotion of Research at the Technion, and by the Technion VPR-New York Metropolitan Research Fund.