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.     

Hyperspaces of Banach Spaces with the Attouch—Wets Topology

Let X be an infinite-dimensional Banach space with weight τ. By Cld _AW (X), we denote the hyperspace of nonempty closed sets in X with the Attouch—Wets topology. By Fin _AW (X), Comp _AW (X) and Bdd _AW (X), we denote the subspaces of Cld _AW (X) consisting of finite sets, compact sets and bounded closed sets, respectively. In this paper, it is proved that Fin _AW (X)≈Comp _AW (X)≈ℓ₂(τ)×ℓ₂ ^f ℓandℓBdd _AW (X)≈ℓ₂(2^τ)×ℓ₂ ^f where ≈ means ‘is homeomorphic to’, ℓ₂(τ) is the Hilbert space with weight τ (ℓ₂(ℵ₀)=ℓ₂ the separable Hilbert space) and ℓ₂ ^f ={(x _i ) _iεN εℓ₂∣x _i =0 except for finitely many iεN}.     

Varieties for Modules of Quantum Elementary Abelian Groups

We define a rank variety for a module of a noncocommutative Hopf algebra A = L \rtimes GA = \Lambda \rtimes G where L = k[X₁, ..., X_m]/(X₁^l, ..., X_m^l), G = (\mathbbZ/l\mathbbZ)^m\Lambda = k[X_1, \dots, X_m]/(X_1^{\ell}, \dots, X_m^{\ell}), G = (\mathbb{Z}/\ell\mathbb{Z})^m and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ=2, rank varieties for Λ-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λ-modules coincide with those of Erdmann and Holloway.     

There Exist Highly Critically Connected Graphs of Diameter Three

Let κ(G) denote the (vertex) connectivity of a graph G. For ℓ≥0, a noncomplete graph of finite connectivity is called ℓ-critical if κ(G−X)=κ(G)−|X| for every X⊆V(G) with |X|≤ℓ. Mader proved that every 3-critical graph has diameter at most 4 and asked for 3-critical graphs having diameter exceeding 2. Here we give an affirmative answer by constructing an ℓ-critical graph of diameter 3 for every ℓ≥3.     

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     

Concerning Bourgain’s ℓ1-Index of a Banach space

A well known argument of James yields that if a Banach spaceX contains ℓ ₁ ⁿ ’s uniformly, thenX contains ℓ ₁ ⁿ ’s almost isometrically. In the first half of the paper we extend this idea to the ordinal ℓ₁-indices of Bourgain. In the second half we use our results to calculate the ℓ₁-index of certain Banach spaces. Furthermore we show that the ℓ₁-index of a separable Banach space not containing ℓ₁ must be of the form ω^α for some countable ordinal α. Research supported by the NSF and TARP.     

On the variances of a spatial unit root model*

Asymptotic properties of the variances of the spatial autoregressive model X _k,ℓ = αX _k−1,ℓ + βX _k,ℓ−1 + γX _{k−1,ℓ−1} + ε _k,ℓ are investigated in the unit root case, that is, where the parameters are on the boundary of the domain of stability that forms a tetrahedron in [−1, 1]³. The limit of the variance of n ^−ϱ X _[ns],[nt] is determined, where ϱ = 1/4 on the interior of the faces of the domain of stability, ϱ = 1/2 on the edges, and ϱ = 1 on the vertices.     

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.     

A homological characterization of hyperbolic groups

A finitely presented group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0=⁽¹⁾ ₂(G, ℝ), where H ⁽¹⁾ _* (resp. ⁽¹⁾ _*) denotes the ℓ₁-homology (resp. reduced ℓ₁-homology). If Γ is a graph, then every ℓ₁ 1-cycle in Γ with real coefficients can be approximated by 1-cycles of compact support. A 1-relator group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0. Oblatum: 30-IV-1997 & 14-V-1998 / Published online: 14 January 1999     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.     

Complemented copies of ℓ<Subscript>p</Subscript> spaces in tensor products

We give sufficient conditions on Banach spaces X and Y so that their projective tensor product X ⊗_π Y, their injective tensor product X ⊗_ɛ Y, or the dual (X ⊗_π Y)^* contain complemented copies of ℓ_p.     

ℓ-Divisibility of ℓ-regular partition functions

We give exact criteria for the ℓ-divisibility of the ℓ-regular partition function b _ℓ (n) for ℓ∈{5,7,11}. These criteria are found using the theory of complex multiplication. In each case the first criterion given corresponds to the Ramanujan congruence modulo ℓ for the unrestricted partition function, and the second is a condition given by J.-P. Serre for the vanishing of the coefficients of ∏ _m=1^∞(1−q ^m ) ^ℓ−1.      

Preduals of semigroup algebras

For a locally compact group G, the measure convolution algebra M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C ₀(G) of M(G) is the unique predual which makes both the product and the coproduct on M(G) weak^*-continuous. Given a discrete semigroup S, the convolution algebra ℓ ¹(S) also carries a coproduct. In this paper we examine preduals for ℓ ¹(S) making both the product and the coproduct weak^*-continuous. Under certain conditions on S, we show that ℓ ¹(S) has a unique such predual. Such S include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ ¹(S) when S is either ℤ₊×ℤ or (ℕ,⋅).     

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 ℓ₁.     

On convergence of sections of sequences in Banach spaces

An elementary proof of the (known) fact that each element of the Banach spaceℓ _w ^p (X) of weakly absolutelyp-summable sequences (if 1≤p<∞) in the Banach spaceX is the norm limit of its sections if and only if each element ofℓ _w ^p (X) is a norm null sequence inX, is given. Little modification to this proof leads to a similar result for a family of Orlicz sequence spaces. Some applications to spaces of compact operators on Banach sequence spaces are considered.     

Uniqueness theorem of solutions for stochastic differential equation in the plane

LetM={M _z, z ∈ R ₊ ² } be a continuous square integrable martingale andA={A _z, z ∈ R ₊ ² be a continuous adapted increasing process. Consider the following stochastic partial differential equations in the plane:dX _z=α(z, X_z)dM_z+β(z, X_z)dA_z, z∈R ₊ ² , X_z=Z_z, z∈∂R ₊ ² , whereR ₊ ² =[0, +∞)×[0,+∞) and ∂R ₊ ² is its boundary,Z is a continuous stochastic process on ∂R ₊ ² . We establish a new theorem on the pathwise uniqueness of solutions for the equation under a weaker condition than the Lipschitz one. The result concerning the one-parameter analogue of the problem we consider here is immediate (see [1, Theorem 3.2]). Unfortunately, the situation is much more complicated for two-parameter process and we believe that our result is the first one of its kind and is interesting in itself. We have proved the existence theorem for the equation in [2]. Supported by the National Science Foundation and the Postdoctoral Science Foundation of China     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

Entire functions having a concordant value sequence

A classic theorem of Pólya shows that 2 ^z is, in a strong sense, the “smallest” transcendental entire function that is integer valued on ℕ. An analogous result of Gel’fond concerns entire functions that are integer valued on the setX _a={a ⁿ:n ∈ ℕ}, wherea ∈ ℕ,|a|≥ 2. LetX=ℕ orX=X _a andκ ∈ ℕ orκ=∞. This paper pursues analogous results for entire functionsf having the following property: on any finite subsetD ofX with#D≤κ+1, the valuesf(z),z ∈D admit interpolation by an element of ℤ[z]. The results obtained assert that if the growth off is suitably restricted then the restriction off toX must be a polynomial. WhenX=X _a andκ<∞ a “smallest” transcendental entire function having the requisite property is constructed.     

The Radon-Nikodym Property for Tensor Products of Banach Lattices II

Let φ be an Orlicz function that has a complementary function φ* and let ℓ_φ be an Orlicz sequence space. We prove two results in this paper. Result 1: , the Fremlin projective tensor product of ℓ_φ with a Banach lattice X, has the Radon-Nikodym property if and only if both ℓ_φ and X have the Radon-Nikodym property. Result 2: , the Wittstock injective tensor product of ℓ_φ with a Banach lattice X, has the Radon-Nikodym property if and only if both ℓ_φ and X have the Radon-Nikodym property and each positive continuous linear operator from h_φ* to X is compact. We dedicate this paper to the memory of H. H. Schaefer The first-named author gratefully acknowledges support from the Faculty Research Program of the University of Mississippi in summer 2004.     

Direct images of bundles under Frobenius morphism

Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k)=p>0 and F:X→X ₁ be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F _* W is bounded by instability of W⊗T^ℓ(Ω¹ _X ) (0≤ℓ≤n(p-1)) (Corollary 4.9). When X is a smooth projective curve of genus g≥2, it implies F _* W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday.