Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

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

On a Family of Thue Equations Over Function Fields

Many families of parametrized Thue equations over number fields have been solved recently. In this paper we consider for the first time a family of Thue equations over a polynomial ring. In particular, we calculate all solutions of X(X-Y)(X-(T+x)Y)+Y³=1+xT(1-T)X(X-Y)(X-(T+\xi)Y)+Y^3=1+\xi T(1-T) over \Bbb C[T]{\Bbb C}[T] for all x ? \Bbb C\xi\in{\Bbb C} .     

The limit space Cc(X,Y) and the connected components of X and Y

Let X and Y be limit spaces (in the sense of FISCHER). For f ? C(X, Y), let [f] denote the subset of C(X, Y), where the maps take the connected components of X into those of Y quite analogously to f. The subspace [f] of the continuous convergence space C_c(X, Y) is written as a product II C_c(X_i, Y_k(i)), where X_i runs through the components of X and Y_k(i) always is the component of Y which contains the set f(X_i). Sufficient conditions for the representation C_c(X, Y) = Σ [f] are given (in terms of the spaces X and Y). Some applications on limit homeomorphism groups are included.     

Finite subgraphs of uncountably chromatic graphs

It is consistent that for every function f:ω → ω there is a graph with size and chromatic number ?₁ in which every n‐chromatic subgraph contains at least f(n) vertices (n ≥ 3). This solves a $ 250 problem of Erd?s. It is consistent that there is a graph X with Chr(X)=|X|=?₁ such that if Y is a graph all whose finite subgraphs occur in X then Chr(Y)≤?₂ (so the Taylor conjecture may fail). It is also consistent that if X is a graph with chromatic number at least ?₂ then for every cardinal λ there exists a graph Y with Chr(Y)≥λ all whose finite subgraphs are induced subgraphs of X. © 2005 Wiley Periodicals, Inc. J Graph Theory 49: 28–38, 2005     

Spaces of compact operators and their dual spaces

Theω′-topology on the spaceL(X, Y) of bounded linear operators from the Banach spaceX into the Banach spaceY is discussed in [10]. Let ℒ^w' (X, Y) denote the space of allT∈L(X, Y) for which there exists a sequence of compact linear operators (T _n)⊂K(X, Y) such thatT=ω′−lim_nT_n and let . We show that is a Banach ideal of operators and that the continuous dual spaceK(X, Y)* is complemented in . This results in necessary and sufficient conditions forK(X, Y) to be reflexive, whereby the spacesX andY need not satisfy the approximation property. Similar results follow whenX andY are locally convex spaces. Financial support from the Potchefstroom University and Maseno University is greatly acknowledged. Financial support from the NRF and Potchefstroom University is greatly acknowledged.     

Generalized Path Spaces,II

A combination of the LIAPUNOV-SCHMIDT procedure, the implicit function theorems and the topological degree theory is used to investigate bifurcation points of equations of the form T(v) = L(λ, v) + M(λ, v), (λ, v) ? A × D?, where A is an open subset in a normed space and for every fixed λ ? A, T, L(λ ·) and M(λ ·) are mappings from the closure D? of a neighborhood D of the origin in a BANACH space X into another BANACH space Y with T(0) = L(λ, 0) = M(λ, 0) = 0. Let Λ be a characteristic value of the pair (T, L) such that T ? L( λ ,·) is a FREDHOLM mapping with nullity p and index s, p > s ≧ 0. Under suitable hypotheses on T. L and M, (λ , 0) is a bifurcation point of the above equations. This generalizes the results of [4], [6], [8], [13] and [14] etc. An application of the obtained results to the axisymmetric buckling problem of a thin spherical shell will be given.     

The regular part of a semigroup of transformations with restricted range

Let T(X) be the full transformation semigroup on the set X and let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed subset Y of X. It is known that $$F(X, Y)=\{\alpha\in T(X, Y): X\alpha\subseteq Y\alpha\},$$ is the largest regular subsemigroup of T(X,Y) and determines Green??s relations on T(X,Y). In this paper, we show that F(X,Y)?T(Z) if and only if X=Y and |Y|=|Z|; or |Y|=1=|Z|, and prove that every regular semigroup S can be embedded in F(S ¹,S). Then we describe Green??s relations and ideals of F(X,Y) and apply these results to get all of its maximal regular subsemigroups when Y is a nonempty finite subset of X.     

Spaces of lower semicontinuous set-valued maps II

We introduce a lower semicontinuous analog, L ⁻(X), of the well-studied space of upper semicontinuous set-valued maps with nonempty compact interval images. Because the elements of L ⁻(X) contain continuous selections, the space C(X) of real-valued continuous functions on X can be used to establish properties of L ⁻(X), such as the two interrelated main theorems. The first of these theorems, the Extension Theorem, is proved in this Part I. The Extension Theorem says that for binormal spaces X and Y, every bimonotone homeomorphism between C(X) and C(Y) can be extended to an ordered homeomorphism between L ⁻(X) and L ⁻(Y). The second main theorem, the Factorization Theorem, is proved in Part II. The Factorization Theorem says that for binormal spaces X and Y, every ordered homeomorphism between L ⁻(X) and L ⁻(Y) can be characterized by a unique factorization.     

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

The law of the Euler scheme for stochastic differential equations

Summary We study the approximation problem ofE f(X _T ) byE f(X _T ⁿ ), where (X _t ) is the solution of a stochastic differential equation, (X _T ⁿ ) is defined by the Euler discretization scheme with stepT/n, andf is a given function. For smoothf's, Talay and Tubaro have shown that the errorE f(X _T ) –f(X _T ⁿ ) can be expanded in powers of 1/n, which permits to construct Romberg extrapolation precedures to accelerate the convergence rate. Here, we prove that the expansion exists also whenf is only supposed measurable and bounded, under an additional nondegeneracy condition of Hörmander type for the infinitesimal generator of (X _t ): to obtain this result, we use the stochastic variations calculus. In the second part of this work, we will consider the density of the law ofX _T ⁿ and compare it to the density of the law ofX _T .     

Generalized Poincaré Classes and Cubic Equivalences

Let Y be a smooth projective algebraic surface over ?, and T(Y) the kernel of the Albanese map CH₀(Y)_deg0 → Alb(Y). It was first proven by D. Mumford that if the genus Pg(Y) > 0, then T(Y) is 'infinite dimensional'. One would like to have a better idea about the structure of T(Y). For example, if Y is dominated by a product of curves E₁ × E₂, such as an abelian or a Kummer surface, then one can easily construct an abelian variety B and a surjective 'regular' homomorphism B^?z2 → T(Y). A similar story holds for the case where Y is the Fano surface of lines on a smooth cubic hypersurface in P⁴. This implies a sort of boundedness result for T(Y). It is natural to ask if this is the case for any smooth projective algebraic surface Y ? Partial results have been attained in this direction by the author [Illinois. J. Math. 35 (2), 1991]. In this paper, we show that the answer to this question is in general no. Furthermore, we generalize this question to the case of the Chow group of k—cycles on any projective algebraic manifold X, and arrive at, from a conjectural standpoint, necessary and sufficient cohomological conditions on X for which the question can be answered affirmatively.     

MULTIPLIERS OF MATRIX SPACES

Abstract

Suppose X and Y are FK spaces in which ? the span of the coordinate vectors (e_n) is dense. Let L(X,Y) denote the space of all matrices of the form E_i(T(e_j)) as T ranges over all continuous linear operators from X into Y; here e_i represents the i^th coordinate vector and E_i represents the i^th coordinate functional. Let M(L(X, Y)) denote the space of all matrices B such that (B(i,j)A(i,j)) is in L(X,Y) whenever A is in L(X,Y). In this paper we shall show how the summability properties of X and Y determine the extent of M(L(X,Y)) and conversely how the extent of M(L(X,Y)) determines the summability properties of both X and Y.     

Maximal and minimal congruences on some semigroups

In 2006, Sanwong and Sullivan described the maximal congruences on the semigroup N consisting of all non-negative integers under standard multiplication, and on the semigroup T（X） consisting of all total transformations of an infinite set X under composition. Here, we determine all maximal congruences on the semigroup Zn under multiplication modulo n. And, when Y lohtain in X, we do the same for the semigroup T（X, Y） consisting of all elements of T（X） whose range is contained in Y. We also characterise the minimal congruences on T（X. Y）.     

Rank and idempotent rank of finite full transformation semigroups with restricted range

Let T(X) be the full transformation semigroup on the set X and let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed nonempty subset Y of X. In 2011, Sanwong studied the regular part $$F(X,Y)=\bigl\{\alpha\in T(X,Y): X\alpha\subseteq Y\alpha\bigr\}, $$ of T(X,Y) and described its Green’s relations and ideals. In this paper, we compute the rank of F(X,Y) when X is a finite set. Moreover, we obtain the rank and idempotent rank of its ideals.     

A Φ-Entropy Contraction Inequality for Gaussian Vectors

A beautiful result of Sarmanov (Dokl. Akad. Nauk SSSR 121(1), 52–55, 1958) says that for a Gaussian vector (X,Y), \operatorname Var(\mathbb E[f(Y)|X]) ￡ r²\operatorname Var(f(Y))\operatorname {Var}(\mathbb {E}[f(Y)|X])\le \rho^{2}\operatorname {Var}(f(Y)) for all measurable functions f, where ρ is the (linear) correlation coefficient between X and Y. We generalize this result to a general Φ-entropy (a nonlinear version of his result) by means of a previous result of D. Chafai based on Bakry–Emery’s Γ ₂-technique and tensorization.     

Multipliers of classes of cauchy transforms

The analytic map g on the unit disk D is said to induce a multiplication operator L from the Banach space X to the Banach space Y if L(f)=f·g∈Y for all f∈X. For z ∈ D and α>0 the families of weighted Cauchy transforms F_α are defined by ?(z) = ∫_T K_x ^α (z)dμ(x) where μ(x) is complex Borel measures, x belongs to the unit circle T and the kernel K_x (z) = (1- xz)^?1. In this article we will explore the relationship between the compactness of the multiplication operator L acting on F ₁ and the complex Borel measures μ(x). We also give an estimate for the essential norm of L     

Torsion Zero-Cycles on a Product of Canonical Lifts of Elliptic Curves

Let X be a surface over a p-adic field with good reduction and let Y be its special fiber. We write T(X) and T(Y) for the kernels of the Albanese maps of X and Y, respectively. Then, F(X) = T(X)/T(X)_div is conjectured to be finite, where T(X)_div is the maximal divisible subgroup of T(X). Furthermore, F(X) is conjectured to be isomorphic to T(Y) modulo p-primary torsion. We show that the p-primary torsion subgroup of F(X) can be arbitrary large even though we fix the special fiber Y.     

Taylor series and divisibility

LetA be an augmentedK-algebra; defineT:A →A ?k _kA byT(a)=1?a ?a?1,a ∈A. We prove, under some conditions, thatg is in the subalgebraK[f] ofA generated byf if and only ifT(g) is in the principal ideal generated byT(f) inA?k _kA. WhenA=K[[X]],T(f) is a multiple ofT(X) if and only iff belongs to the ringL obtained by localizingK[X] at (X).