Groups Acting on CAT(0) Square Complexes

We study groups acting on CAT(0) square complexes. In particular we show if Y is a nonpositively curved (in the sense of Alexandrov) finite square complex and the vertex links of Ycontain no simple loop consisting of five edges, then any subgroup of π ₁Y either is virtually free Abelian or contains a free group of rank two. In addition we discuss when a group generated by two hyperbolic isometries contains a free group of rank two and when two points in the ideal boundary of a CAT(0) 2-complex at Tits distance π apart are the endpoints of a geodesic in the 2-complex.     

On spaces admitting no ℓ p or c 0 spreading model

It is shown that for each separable Banach space X not admitting ? ₁ as a spreading model there is a space Y having X as a quotient and not admitting any ? _p for 1 ≤ p < ∞ or c ₀ as a spreading model. We also include the solution to a question of Johnson and Rosenthal (Studia Math 43:77–92, 1972) on the existence of a separable space not admitting as a quotient any space with separable dual.     

Banach spaces in various positions

We formulate a general theory of positions for subspaces of a Banach space: we define equivalent and isomorphic positions, study the automorphy index a(Y,X) that measures how many non-equivalent positions Y admits in X, and obtain estimates of a(Y,X) for X a classical Banach space such as ?p,Lp,L₁,C(ωω) or C[0,1]. Then, we study different aspects of the automorphic space problem posed by Lindenstrauss and Rosenthal; namely, does there exist a separable automorphic space different from c₀ or ?₂? Recall that a Banach space X is said to be automorphic if every subspace Y admits only one position in X; i.e., a(Y,X)=1 for every subspace Y of X. We study the notion of extensible space and uniformly finitely extensible space (UFO), which are relevant since every automorphic space is extensible and every extensible space is UFO. We obtain a dichotomy theorem: Every UFO must be either an L_∞-space or a weak type 2 near-Hilbert space with the Maurey projection property. We show that a Banach space all of whose subspaces are UFO (called hereditarily UFO spaces) must be asymptotically Hilbertian; while a Banach space for which both X and X^∗ are UFO must be weak Hilbert. We then refine the dichotomy theorem for Banach spaces with some additional structure. In particular, we show that an UFO with unconditional basis must be either c₀ or a superreflexive weak type 2 space; that a hereditarily UFO Köthe function space must be Hilbert; and that a rearrangement invariant space UFO must be either L_∞ or a superreflexive type 2 Banach lattice.     

Unconditional martingale difference sequences in Banach spaces

For a Banach space Y, the question of whether Lp(μ,Y) has an unconditional basis if 1<p<∞ and Y has unconditional basis, stood unsolved for a long time and was answered in the negative by Aldous. In this work we prove a weaker, positive result related to this question. We show that if (yj) is a basis of Y and (di) is a martingale difference sequence spanning Lp(μ) then the sequence (di⊗yj) is a basis of Lp(μ,Y) for 1?p<∞. Moreover, if 1<p<∞ and (yj) is unconditional then (di⊗yj) is strictly dominated by an unconditional tensor product basis. In addition, for 1<p<∞, we show that if (di)⊂Lp(μ) is a martingale difference sequence then there exists a constant K>0 so that

     

Density of finite rank operators in the Banach space of p-compact operators

A Banach space X is said to have the kp-approximation property (kp-AP) if for every Banach space Y, the space F(Y,X) of finite rank operators is dense in the space Kp(Y,X) of p-compact operators endowed with its natural ideal norm kp. In this paper we study this notion that has been previously treated by Sinha and Karn (2002) in [15]. As application, the kp-AP of dual Banach spaces is characterized via density of finite rank operators in the space of quasi p-nuclear operators for the p-summing norm. This allows to obtain a relation between the kp-AP and Saphar's approximation property. As another application, the kp-AP is characterized in terms of a trace condition. Finally, we relate the kp-AP to the (p,p)-approximation property introduced in Sinha and Karn (2002) [15] for subspaces of Lp(μ)-spaces.     

Operator martingale decompositions and the Radon-Nikodým property in Banach spaces

We consider submartingales and uniform amarts of maps acting between a Banach lattice and a Banach lattice or a Banach space. In this measure-free setting of martingale theory, it is known that a Banach space Y has the Radon-Nikodým property if and only if every uniformly norm bounded martingale defined on the Chaney-Schaefer l-tensor product , where E is a suitable Banach lattice, is norm convergent. We present applications of this result. Firstly, an analogues characterization for Banach lattices Y with the Radon-Nikodým property is given in terms of a suitable set of submartingales (supermartingales) on . Secondly, we derive a Riesz decomposition for uniform amarts of maps acting between a Banach lattice and a Banach space. This result is used to characterize Banach spaces with the Radon-Nikodým property in terms of uniformly norm bounded uniform amarts of maps that are norm convergent. In the case 1<p<∞, our results yield Lp(μ,Y)-space analogues of some of the well-known results on uniform amarts in L¹(μ,Y)-spaces.     

Functional characterizations of p-spaces

We show that a completely regular space Y is a p-space (a ?ech-complete space, a locally compact space) if and only if given a dense subspace A of any topological space X and a continuous f: A → Y there are a p-embedded subset (resp. a G _δ-subset, an open subset) M of X containing A and a quasicontinuous subcontinuous extension f*: M → Y of f continuous at every point of A. A result concerning a continuous extension to a residual set is also given.     

The Bishop-Phelps-Bollobás Theorem for operators from c 0 to uniformly convex spaces

We show that the pair of Banach spaces (c ₀, Y) has the Bishop-Phelps-Bollobás property when Y is uniformly convex. Further, when Y is strictly convex, if (c ₀, Y) has the Bishop-Phelps-Bollobás property then Y is uniformly convex for the case of real Banach spaces. As a corollary, we show that the Bishop-Phelps-Bollobás theorem holds for bilinear forms on c ₀ × ? _p (1 < p < ∞).     

Khinchin’s inequality,Dunford-Pettis and compact operators on the space <Emphasis Type="Italic">C</Emphasis>([0, 1], <Emphasis Type="Italic">X</Emphasis>)

We prove that if X, Y are Banach spaces, Ω a compact Hausdorff space and U:C(Ω, X) → Y is a bounded linear operator, and if U is a Dunford-Pettis operator the range of the representing measure G(Σ) ? DP(X, Y) is an uniformly Dunford-Pettis family of operators and ∥G∥ is continuous at Ø. As applications of this result we give necessary and/or sufficient conditions that some bounded linear operators on the space C([0, 1], X) with values in c ₀ or l _p, (1 ≤ p < ∞) be Dunford-Pettis and/or compact operators, in which, Khinchin’s inequality plays an important role.     

Factorization of operator valued Lp for 0 ≤ p < 1

In [5], it is proved that a bounded linear operator u, from a Banach space Y into an L_p(S, ν) factors through L_p1 (S, ν) for some p₁ > 1, if Y* is of finite cotype; (S, ν) is a probability space for p = 0, and any measure space for 0 < p < 1. In this paper, we generalize this result to uv, where u : Y → L_p(S, ν) and v : X → Y are linear operators such that v* is of finite Ka?in cotype. This result gives also a new proof of Grothendieck's theorem. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On splitting theorems for CAT(0) spaces and compact geodesic spaces of non-positive curvature

In this paper, we show some splitting theorems for CAT(0) spaces on which a product group acts geometrically and we obtain a splitting theorem for compact geodesic spaces of non-positive curvature. A CAT(0) group Γ is said to be rigid, if Γ determines its boundary up to homeomorphisms of a CAT(0) space on which Γ acts geometrically. C. Croke and B. Kleiner have constructed a non-rigid CAT(0) group. As an application of the splitting theorems for CAT(0) spaces, we obtain that if Γ₁ and Γ₂ are rigid CAT(0) groups then so is Γ₁ × Γ₂.     

Uniform convexity of ψ-direct sums of Banach spaces

Let X and Y be Banach spaces and ψ a continuous convex function on the unit interval [0,1] satisfying certain conditions. Let X⊕_ψY be the direct sum of X and Y equipped with the associated norm with ψ. We show that X⊕_ψY is uniformly convex if and only if X,Y are uniformly convex and ψ is strictly convex. As a corollary we obtain that the ?_p,q-direct sum (not p=q=1 nor ∞), is uniformly convex if and only if X,Y are, where ?_p,q is the Lorentz sequence space. These results extend the well-known fact for the ?_p-sum . Some other examples are also presented.     

Lindelöf σ-property in Cp(X) and p(Cp(X)) = ω do not imply countable network weight in X

We prove that there are Tychonoff spaces X for which p(C_p(X)) =? and C_p(X) is a Lindelöf Σ-space while the network weight of X is uncountable. This answers Problem 75 from [4]. An example of a space Y is given such that p(Y)=? and C_p(Y) is a Lindelöf Σ-space, while the network weight of Y is uncountable. This gives a negative answer to Problem 73 from [4]. For a space X with one non-isolated point a necessary and sufficient condition in terms of the topology on X is given for C_p(X) to have countable point-finite cellularity.     

Local minimizers versus X-local minimizers

An important property known, among other cases, for W ^1,p (Ω) versus ${C^1(\overline{\Omega})}$ -local minimizers of certain functions is extended to the general situation of local minimizers of a functional I on a Banach space Y versus X-local minimizers of I provided X is a Banach space continuously and densely embedded in Y.     

Moore-closed and first countable feebly compact extension spaces

Several embedding theorems are obtained, such as the following: Let Y be a first countable regular space in which the set B={yϵY:y does not have a neighborhood base consisting of feebly compact open subsets of Y} is a countable nowhere dense set. Then Y has a regular(1)-closed (≡ first countable, regular, and feebly compact) extension space. A number of examples are given, including one of a separable Moore space Y such that the set B has a cardinality c, and no extension space of Y can be Moore-closed, regular(1)-closed, or Urysohn(1)-closed.     

Ranges of positive contractive projections in Nakano spaces

We show that in any nontrivial Nakano space X=L_p(·) (Ω, Σ, μ) with essentially bounded random exponent function p(·), the range Y = R(P) of a positive contractive projection P is itself representable as a Nakano space L_pY(·) (Ω_Y Σ_Y, ν_Y), for a certain measurable set Y_Ω⊆Ω (the support of the range), a certain sub-sigma ring Y_Σ⊆Σ (with maximal element Ω_Y) naturally determined by the lattice structure of Y, and a semi-finite measure ν_Y, namely the restriction of some measure Ω on E which is equivalent to μ. Furthermore, we show that the random exponent p_Y(·) associated with such a range can be taken to be the restriction to Ω_Y of the random exponent p(·) (this restriction turns out to be Σ_Y-measurable). As an application of this result, we find Banach lattice isometric characterizations of suitable classes of Nakano spaces. These classes are defined in terms of an important lattice-isometric invariant of Nakano spaces, the essential range of the variable exponent.     

Ihara's lemma for imaginary quadratic fields

An analogue over imaginary quadratic fields of a result in algebraic number theory known as Ihara's lemma is established. More precisely, we show that for a prime ideal p of the ring of integers of an imaginary quadratic field F, the kernel of the sum of the two standard p-degeneracy maps between the cuspidal sheaf cohomology is Eisenstein. Here Y₀ and Y₁ are analogues over F of the modular curves Y₀(N) and Y₀(Np), respectively. To prove our theorem we use the method of modular symbols and the congruence subgroup property for the group SL₂(Z[1/p]) which is due to Mennicke [J. Mennicke, On Ihara's modular group, Invent. Math. 4 (1967) 202-228] and Serre [J.-P. Serre, Le problème des groupes de congruence pour SL₂, Ann. of Math. (2) 92 (1970) 489-527].     

Preservation of completeness by some continuous maps

We show that a metrizable space Y is completely metrizable if there is a continuous surjection f:X→Y such that the images of open (clopen) subsets of the (0-dimensional paracompact) ?ech-complete space X are resolvable subsets of Y (in particular, e.g., the elements of the smallest algebra generated by open sets in Y).     

Generalized perfect spaces

Given two Banach function spaces X and Y related to a measure μ, the Y-dual space X^Y of X is defined as the space of the multipliers from X to Y. The space X^Y is a generalization of the classical Köthe dual space of X, which is obtained by taking Y = L^t(μ). Under minimal conditions, we can consider the Y-bidual space X^YY of X (i.e. the Y-dual of X^Y). As in the classical case, the containment X ⊂ X^YY always holds. We give conditions guaranteeing that X coincides with X^YY, in which case X is said to be Y-perfect. We also study when X is isometrically embedded in X^YY. Properties involving p-convexity, p-concavity and the order of X and Y, will have a special relevance.     

A wage-type example with a pseudocompact factor

The following example is constructed without any set-theoretic assumptions beyond ZFC: There exist a hereditarily separable hereditarily Lindelöf space X and a first-countable locally compact separable pseudocompact space Y such that dim X = dimY = 0, while dim(X × Y)>0.