No Arabic abstract
A Banach space operator $Ain B({cal{X}})$ is polaroid, $Ain {cal{P}}$, if the isolated points of the spectrum $sigma(A)$ are poles of the operator; $A$ is hereditarily polaroid, $Ain{cal{HP}}$, if every restriction of $A$ to a closed invariant subspace is polaroid. Operators $Ain{cal{HP}}$ have SVEP on $Phi_{sf}(A)={lambda: A-lambda$ is semi Fredholm $}$: This, in answer to a question posed by Li and Zhou (Studia Math. 221(2014), 175-192), proves the necessity of the condition $Phi_{sf}^+(A)=emptyset$. A sufficient condition for $Ain B({cal{X}})$ to have SVEP on $Phi_{sf}(A)$ is that its component $Omega_a(A)={lambdainPhi_{sf}(A): rm{ind}(A-lambda)leq 0}$ is connected. We prove: If $Ain B({cal{H}})$ is a Hilbert space operator, then a necessary and sufficient condition for there to exist a compact operator $K$ such that $A+Kin{cal{HP}}$ is that $Omega_a(A)$ is connected.
A Banach space operator $Tin B(X)$ is left polaroid if for each $lambdainhbox{iso}sigma_a(T)$ there is an integer $d(lambda)$ such that asc $(T-lambda)=d(lambda)<infty$ and $(T-lambda)^{d(lambda)+1}X$ is closed; $T$ is finitely left polaroid if asc $(T-lambda)<infty$, $(T-lambda)X$ is closed and $dim(T-lambda)^{-1}(0)<infty$ at each $lambdainhbox{iso }sigma_a(T)$. The left polaroid property transfers from $A$ and $B$ to their tensor product $Aotimes B$, hence also from $A$ and $B^*$ to the left-right multiplication operator $tau_{AB}$, for Hilbert space operators; an additional condition is required for Banach space operators. The finitely left polaroid property transfers from $A$ and $B$ to their tensor product $Aotimes B$ if and only if $0 otinhbox{iso}sigma_a(Aotimes B)$; a similar result holds for $tau_{AB}$ for finitely left polaroid $A$ and $B^*$.
A pair of functions defined on a set X with values in a vector space E is said to be disjoint if at least one of the functions takes the value 0 at every point in X. An operator acting between vector-valued function spaces is disjointness preserving if it maps disjoint functions to disjoint functions. We characterize compact and weakly compact disjointness preserving operators between spaces of Banach space-valued differentiable functions.
A multiplicative Hankel operator is an operator with matrix representation $M(alpha) = {alpha(nm)}_{n,m=1}^infty$, where $alpha$ is the generating sequence of $M(alpha)$. Let $mathcal{M}$ and $mathcal{M}_0$ denote the spaces of bounded and compact multiplicative Hankel operators, respectively. In this note it is shown that the distance from an operator $M(alpha) in mathcal{M}$ to the compact operators is minimized by a nonunique compact multiplicative Hankel operator $N(beta) in mathcal{M}_0$, $$|M(alpha) - N(beta)|_{mathcal{B}(ell^2(mathbb{N}))} = inf left {|M(alpha) - K |_{mathcal{B}(ell^2(mathbb{N}))} , : , K colon ell^2(mathbb{N}) to ell^2(mathbb{N}) textrm{ compact} right}.$$ Intimately connected with this result, it is then proven that the bidual of $mathcal{M}_0$ is isometrically isomorphic to $mathcal{M}$, $mathcal{M}_0^{ast ast} simeq mathcal{M}$. It follows that $mathcal{M}_0$ is an M-ideal in $mathcal{M}$. The dual space $mathcal{M}_0^ast$ is isometrically isomorphic to a projective tensor product with respect to Dirichlet convolution. The stated results are also valid for small Hankel operators on the Hardy space $H^2(mathbb{D}^d)$ of a finite polydisk.
We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehaves resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy--Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described by Gordon and Hedenmalm. The main result is that such a composition operator is compact if and only if the mean counting function of its symbol satisfies a decay condition at the boundary of a half-plane.
We examine a variant of a Banach space $mathfrak{X}_{0,1}$ defined by Argyros, Beanland, and the second named author that has the property that it admits precisely two spreading models in every infinite dimensional subspace. We prove that this space is asymptotically symmetric and thus it provides a negative answer to a problem of Junge, the first. named author, and Odell.