On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

Lattice-embedding scales ofL p spaces into orlicz spaces

We study the setP _X of scalarsp such thatL ^p is lattice-isomorphically embedded into a given rearrangement invariant (r.i.) function spaceX[0, 1]. Given 0<α≤β<∞, we construct a family of Orlicz function spacesX=L ^F [0, 1], with Boyd indicesα andβ, whose associated setsP _X are the closed intervals [γ, β], for everyγ withα≤γ≤β. In particular forα>2, this proves the existence of separable 2-convex r.i. function spaces on [0,1] containing isomorphically scales ofL ^p -spaces for different values ofp. We also show that, in general, the associated setP _X is not closed. Similar questions in the setting of Banach spaces with uncountable symmetric basis are also considered. Thus, we construct a family of Orlicz spaces ℓ ^F (I), with symmetric basis and indices fixed in advance, containing ℓ ^p (Γ-subspaces for differentp’s and uncountable Λ⊂I. In contrast with the behavior in the countable case (Lindenstrauss and Tzafriri [L-T₁]), we show that the set of scalarsp for which ℓ ^p (Γ) is isomorphic to a subspace of a given Orlicz space ℓ ^F (I) is not in general closed. Supported in part by DGICYT grant PB 94-0243.     

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.     

On the classes of hereditarily ℓp Banach spaces

Let X denote a specific space of the class of X _α,p Banach sequence spaces which were constructed by Hagler and the first named author as classes of hereditarily ℓ_p Banach spaces. We show that for p > 1 the Banach space X contains asymptotically isometric copies of ℓ_p. It is known that any member of the class is a dual space. We show that the predual of X contains isometric copies of ℓ_p where 1/p + 1/q = 1. For p = 1 it is known that the predual of the Banach space X contains asymptotically isometric copies of c ₀. Here we give a direct proof of the known result that X contains asymptotically isometric copies of ℓ₁.     

<Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>-Singular and <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript>-singular operators between vector-valued Banach lattices

Given an operator T : X → Y between Banach spaces, and a Banach lattice E consisting of measurable functions, we consider the point-wise extension of the operator to the vector-valued Banach lattices T _E : E(X) → E(Y) given by T _E (f)(ω) = T(f(ω)). It is proved that for any Banach lattice E which does not contain c ₀, the operator T is an isomorphism on a subspace isomorphic to c ₀ if and only if so is T _E . An analogous result for invertible operators on subspaces isomorphic to ℓ ₁ is also given.     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

Algebra descent spectrum of operators

We say that a Banach space X satisfies the “descent spectrum equality” (in short, DSE) whenever, for every bounded linear operator T on X, the descent spectrum of T as an operator coincides with the descent spectrum of T as an element of the algebra of all bounded linear operators on X. We prove that the DSE is fulfilled by ℓ₁, all Hilbert spaces, and all Banach spaces which are not isomorphic to any of their proper quotients (so, in particular, by the hereditarily indecomposable Banach spaces [8]), but not by ℓ _p , for 1 < p ≤ ∞ with p ≠ 2. Actually, a Banach space is not isomorphic to any of its proper quotients if and only if it is not isomorphic to any of its proper complemented subspaces and satisfies the DSE.     

Additive summable processes and their stochastic integral

We define and study a class of summable processes, called additive summable processes, that is larger than the class used by Dinculeanu and Brooks [D-B]. We relax the definition of a summable processesX:Ω×ℝ₊→E⊂L(F, G) by asking for the associated measureI _X to have just an additive extension to the predictableσ-algebra ℘, such that each of the measures (I _X) _z , forz∈(L _G ^p )*, beingσ-additive, rather than having aσ-additive extension. We define a stochastic integral with respect to such a process and we prove several properties of the integral. After that we show that this class of summable processes contains all processesX:Ω×ℝ₊→E⊂L(F, G) with integrable semivariation ifc ₀ ∋G.     

Group Representations with Empty Residual Spectrum

Let X be a Banach space on which a discrete group Γ acts by isometries. For certain natural choices of X, every element of the group algebra, when regarded as an operator on X, has empty residual spectrum. We show, for instance, that this occurs if X is ℓ ²(Γ) or the group von Neumann algebra VN(Γ). In our approach, we introduce the notion of a surjunctive pair, and develop some of the basic properties of this construction. The cases X = ℓ ^p (Γ) for 1 ≤ p < 2 or 2 < p < ∞ are more difficult. If Γ is amenable we can obtain partial results, using a majorization result of Herz; an example of Willis shows that some condition on Γ is necessary.     

Spaces of Operators,the ψ-Daugavet Property,and Numerical Indices

Suppose ψ : [0, ∞) → [1, ∞) is a strictly increasing function. A Banach space X is said to have the ψ-Daugavet Property if the inequality holds for every compact operator T : X → X. We show that, if 1 < p < ∞ and K(ℓ_p)↪ X ↪ B(ℓ_p), then X has the ψ-Daugavet Property with (here and c_p is an absolute constant). We also prove that a C^*-algebra A is commutative if and only if for any . Together, these results allow us to distinguish between some types of von Neumann algebras by considering spaces of operators on them. The author was supported in part by the NSF grant DMS-9970369.     

Interior points of convex hulls

If a setX ⊂E ⁿ has non-emptyk-dimensional interior, or if some point isk-dimensional surrounded, then the classic theorem of E. Steinitz may be extended. For example ifX ⊂E ⁿ has int _k X ≠ 0, (0 ≦k≦n) and ifp ɛ int conX, thenp ɛ int conY for someY ⊂X with cardY≦2n−k+1.     

Packing cycles with modularity constraints

We prove that for all positive integers k, there exists an integer N =N(k) such that the following holds. Let G be a graph and let Γ an abelian group with no element of order two. Let γ: E(G)→Γ be a function from the edges of G to the elements of Γ. A non-zero cycle is a cycle C such that Σ _e∈E(C) γ(e) ≠ 0 where 0 is the identity element of Γ. Then G either contains k vertex disjoint non-zero cycles or there exists a set X ⊆ V (G) with |X| ≤N(k) such that G−X contains no non-zero cycle.     

Asymptotic relation for the density of a multidimensional random evolution with rare poisson switchings

A symmetric random evolution X(t) = (X ₁ (t), …, X _m (t)) controlled by a homogeneous Poisson process with parameter λ > 0 is considered in the Euclidean space ℝ ^m , m ≥ 2. We obtain an asymptotic relation for the transition density p(x, t), t > 0, of the process X(t) as λ → 0 and describe the behavior of p(x, t) near the boundary of the diffusion domain in spaces of different dimensions. Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1631 – 1641, December, 2008.     

A banach space containing non-trivial limited sets but no non-trivial bounding sets

An example of a Banach spaceE is given with the following properties: Every bounding setA⊂E (i.e.f(A) is bounded for each holomorphic functionf:E →C) is relatively compact but there are relatively non-compact limited setsA (i.e.T(A) is relatively compact for each bounded linear mapT:E →c ₀).     

A Decomposition Theorem for Compact-Valued Henstock Integral

We prove that if X is a separable Banach space, then a measurable multifunction Γ : [0, 1] → ck(X) is Henstock integrable if and only if Γ can be represented as Γ = G + f, where G : [0, 1] → ck(X) is McShane integrable and f is a Henstock integrable selection of Γ.     

On the complemented subspaces problem

A Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. A conditionally σ-complete Banach lattice is isomorphic to anL _p -space (1≤p<∞) or toc ₀(Γ) if every closed sublattice is complemented.     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

Operators on <Emphasis Type="Italic">C</Emphasis>[0,1] preserving copies of asymptotic ℓ<Subscript>1</Subscript> spaces

Given separable Banach spaces X, Y, Z and a bounded linear operator T:X→Y, then T is said to preserve a copy of Z provided that there exists a closed linear subspace E of X isomorphic to Z and such that the restriction of T to E is an into isomorphism. It is proved that every operator on C([0,1]) which preserves a copy of an asymptotic ℓ₁ space also preserves a copy of C([0,1]).     

Isomorphic embeddings and harmonic behaviour of smooth operators

LetY be a Banach space, 1<p<∞. We give a simple criterion for embedding ℓ _p ⊂Y, namely it suffices that the positive cone ℓ _p ⁺ ⊂Y. This result is applied to the study of highly smooth operators from ℓ _p intoY (p is not an even integer). The main result is that every such operator has a harmonic behaviour unless ℓ _p/K ⊂Y for someK ∈ ℕ. Supported by grants GAUK 277/2001, GAČR 201-01-1198, A1019205.     

Finite representability ofl p(X) in Orlicz function spaces

We show that ifl _p(X),p ≠ 2, is finitely crudely representable in an Orlicz spaceL _ϕ (which does not containc ₀) then the Banach spaceX is isomorphic to a subspace ofL _p. The same remains true forp = 2 whenL _ϕ is 2-concave or 2-convex, or ifX has local unconditional structure. We extend a theorem of Guerre and Levy to Orlicz function spaces.