Kamil John, Dirk Werner
We show for $2\le p<\infty$ and subspaces $X$ of quotients of $L_{p}$ with a $1$-unconditional finite-dimensional Schauder decomposition that $K(X,\ell_{p})$ is an $M$-ideal in $L(X,\ell_{p})$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove that in the reflexive range $1<p<q<\infty$ the algebra of all bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals. This solves a problem raised by A. Pietsch in his book `Operator ideals'.
The unique maximal ideal in the Banach algebra $L(E)$, $E = (\oplus \ell^\infty(n))_{\ell^1}$, is identified. The proof relies on techniques developed by Laustsen, Loy and Read and a dichotomy result for operators mapping into $L^1$ due to Laustsen, Odell, Schlumprecht and Zsák.
We study the injective and surjective hull of operator ideals generated by hypercyclic backward weighted shifts that factor through $\ell^p$.
Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^ω$. Here we show that the cardinality of the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$, is at least $2^{2^ω}$, and thus equal to it.
Using upper $\ell_p$-estimates for normalized weakly null sequence images, we describe a new family of operator ideals $\mathcal{WD}_{\ell_p}^{(\infty,ξ)}$ with parameters $1\leq p\leq\infty$ and $1\leqξ\leqω_1$. These classes contain the completely continuous operators, and are distinct for all choices $1\leq p\leq\infty$ and, when $p\neq 1$, for all choices $ξ\neqω_1$. For the case $ξ=1$, there exists an ideal norm $\|\cdot\|_{(p,1)}$ on the class $\mathcal{WD}_{\ell_p}^{(\infty,1)}$ under which it forms a Banach ideal.
In this article, we prove the proximinality of closed unit ball of $M$-ideals of compact operators. We also prove the ball proximinality of $M$-embedded spaces in their biduals. Moreover, we show that $\mathcal{K}(\ell_1)$, the space of compact operators on $\ell_1$, is ball proximinal in $\mathcal{B}(\ell_1)$, the space of bounded operators on $\ell_1$, even though $\mathcal{K}(\ell_1)$ is not an $M$-ideal in $\mathcal{B}(\ell_1)$.
A recent result of Leung (Proceedings of the American Mathematical Society, to appear) states that the Banach algebra $\mathscr{B}(X)$ of bounded, linear operators on the Banach space $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_1}$ contains a unique maximal ideal. We show that the same conclusion holds true for the Banach spaces $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_p}$ and $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_1^n\bigr)_{\ell_p}$ whenever $p\in(1,\infty)$.
Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each admit continuum many closed ideals. If in addition $q\geq p'$, $\frac{1}{p}+\frac{1}{p'}=1$, then the closed ideals of $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each fail to be linearly ordered. We obtain additional results in the special cases of $\mathcal{L}(\ell_1\oplus\ell_q)$ and $\mathcal{L}(\ell_p\oplus c_0)$, $1<p<2<q<\infty$.
We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by Schlumprecht and Zsák, by Wallis, and by Sirotkin and Wallis. Several open problems remain. Key to our construction of closed ideals are matrices with the Restricted Isometry Property that come from Compressed Sensing.
Let $1<p,\,q<\infty$. It is shown for complex scalars that there are no nontrivial $M$-ideals in $L(L_p[0,1])$ if $p\neq 2$, and $K(\ell_p(\ell_q^n)$ is the only nontrivial $M$-ideal in $L(\ell_p(\ell_q^n)$. This proves a conjecture of C.-M. Cho and W. B. Johnson.
We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(Γ)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(Γ)$ for every uncountable cardinal $Γ$.
Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$, proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$. Then we show that the Banach algebra of all bounded linear operators on $\ell_\infty^c(λ)$ or $\ell_\infty(λ)$ has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we …
It is well known that the only proper non-trivial norm-closed ideal in the algebra L(X) for X=\ell_p (1 \le p < \infty) or X=c_0 is the ideal of compact operators. The next natural question is to describe all closed ideals of L(\ell_p\oplus\ell_q) for 1 \le p,q < \infty, p \neq q, or, equivalently, the closed ideals in L(\ell_p,\ell_q) for p < q. This paper shows that for 1 < p < 2 < q < \infty there are at least four distinct proper closed ideals in L(\ell_p,\ell_q), including one that has not been studied before. The proofs use various methods from Banach space theory.
We prove two dichotomy theorems about sequences of operators into $L_1$ given by random matrices. In the second theorem we assume that the entries of each random matrix form a sequence of independent, symmetric random variables. Then the corresponding sequence of operators either uniformly factor the identity operators on $\ell_1^k$ $(k\in\mathbb N$) or uniformly approximately factor through $\mathrm{c}_0$. The first theorem has a slightly weaker conclusion still related to factorization properties but makes no assumption on the random matrices. Indeed, it applies to operators defined on an ar…
Derived functors associated to the ideal of compact operators in Banach spaces
本文研究Banach空间中紧算子理想相关的导出函子，计算其导出函子并获得紧算子延伸和提升的新结果。
For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, ${\mathcal K}\circ{\mathcal A}$ and ${\mathcal K}\circ{\mathcal A}\circ{\mathcal K}$, where $\mathcal K$ is the ideal of compact operators. We introduce a notion of an $\mathcal A$-approximation property on a Banach space and characterise it in terms of the density of finite rank operators in ${\mathcal A}\circ{\mathcal K}$ and ${\mathcal K}\circ{\mathcal A}$. We propose the notions of $\ell_{\infty}$-extension and $\ell_{1}$-lifting properties for an operator ideal $\mathcal A$ and st…
Leonetti proved that whenever $\mathcal I$ is an ideal on $\mathbb N$ such that there exists an~uncountable family of sets that are not in $\mathcal I$ with the property that the intersection of any two distinct members of that family is in $\mathcal I$, then the space $c_{0,\mathcal I}$ of sequences in $\ell_\infty$ that converge to 0 along $\mathcal I$ is not complemented. We provide a shorter proof of a more general fact that the quotient space $\ell_\infty / c_{0,\mathcal I}$ does not even embed into $\ell_\infty$.
Previously only two examples of Banach space quotient maps which do not admit uniformly continuous right inverses were known: one due to Aharoni and Lindenstrauss and one due to Kalton ($\ell^\infty\to\ell^\infty/c_{0}$). We show through an application of Kalton's Monotone Transfinite Sequence Theorem that a quotient map of a subspace of $\ell^\infty$ of sequences that converge to zero along an ideal in $\mathbb{N}$ toward another such subspace, provided one of the ideals is `much larger' than the other, cannot have a uniformly continuous right inverse. We show in general that pairs of ideals …
We study $M$-ideals of compact operators by means of the property~$(M)$ introduced in \cite{Kal-M}. Our main result states for a separable Banach space $X$ that the space of compact operators on $X$ is an $M$-ideal in the space of bounded operators if (and only if) $X$ does not contain a copy of $\ell_{1}$, has the metric compact approximation property, and has property~$(M)$. The investigation of special versions of property~$(M)$ leads to results on almost isometric structure of some classes of Banach spaces. For instance, we give a simple necessary and sufficient condition for a Banach spac…
In this paper we study the ideal amenability of Banach algebras. Let $\cal A$ be a Banach algebra and let $I$ be a closed two-sided ideal in $\cal A$, $\cal A$ is $I$-weakly amenable if $H^{1}({\cal A},I^*)=\{0\}$. Further, $\cal A$ is ideally amenable if $\cal A$ is $I$-weakly amenable for every closed two-sided ideal $I$ in $\cal A$. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenabil…
M-ideals of compact operators and Norm attaining operators
本文研究了紧算子的M-理想及弱最大化性质和紧扰动性质，证明了它们与性质$(M)$的关联及若干逆命题不成立，并探讨了Banach空间的几何性质。
We study the lattice of closed ideals in the algebra of continuous linear operators acting on $p$th Tandori and $p'$th Cesàro sequence spaces, $1\leqslant p<\infty$, which we show are isomorphic to the classical sequence spaces $(\oplus_{n=1}^\infty\ell_\infty^n)_p$ and $(\oplus_{n=1}^\infty\ell_1^n)_{p'}$, respectively. We also show that Tandori sequence spaces are complemented in certain Lorentz sequence spaces, and that the lattice of closed ideals for certain other Lorentz and Garling sequence spaces has infinite cardinality.
Ideal structure of $\ell^p$ uniform Roe algebras
本文证明对于一致局部有限粗空间，不同p值的ℓ^p一致Roe代数的几何理想格同构于粗空间理想格，并通过极限算子建立与粗群胚约化L^p算子代数的规范等距同构，进而研究性质A与理想分类的关系。
Grothendieck ideals of $\ell_\infty$
研究包含$c_0$的$\ell_\infty$理想的格罗滕迪克性质相关问题，通过有限可加测度等给出刻画，证明存在解析理想使$c_{0,\mathcal I}$是格罗滕迪克空间，同时表明多数博雷尔理想不具有该性质，且格罗滕迪克性质在相关序中不向下封闭。
On the complementation of spaces of $\mathcal I$-null sequences
本文研究了$c_{0,\mathcal{I}}$空间在$\ell_\infty$中的补性，证明其与理想是否为$\omega$-极大理想相关，并刻画了商空间为有限维的条件。
We construct various examples of non-trivial closed ideals of the compact-by-approximable algebra $\mathfrak{A}_X =:\mathcal K(X)/\mathcal A(X)$ on Banach spaces $X$ failing the approximation property. The examples include the following: (i) if $X$ has cotype $2$, $Y$ has type $2$, $\mathfrak{A}_X \neq \{0\}$ and $\mathfrak{A}_Y \neq \{0\}$, then $\mathfrak{A}_{X \oplus Y}$ has at least $2$ closed ideals, (ii) there are closed subspaces $X \subset \ell^p$ for $4 < p < \infty$ and $X \subset c_0$ such that $\mathfrak{A}_X$ contains a non-trivial closed ideal, (iii) there is a Banach space $Z$ s…
We use the notion of $\A$-compact sets, which are determined by a Banach operator ideal $\A$, to show that most classic results of certain approximation properties and several Banach operator ideals can be systematically studied under this framework. We say that a Banach space enjoys the $\A$-approximation property if the identity map is uniformly approximable on $\A$-compact sets by finite rank operators. The Grothendieck's classic approximation property is the $\K$-approximation property for $\K$ the ideal of compact operators and the $p$-approximation property is obtained as the $\mathcal N…
Let $G$ be a discrete group. We give a decomposition theorem for the Hochschild cohomology of $\ell^1(G)$ with coefficients in certain $G$-modules. Using this we show that if $G$ is commutative-transitive, the canonical inclusion of bounded cohomology of $G$ into simplicial cohomology of $\ell^1(G)$ is an isomorphism.
Among the sets of sequences studied, difference sets of sequences are probably the most common type of sets. This paper considers some $\ell_{p}$ type fractional difference sequence spaces via Euler gamma function. Although we characterize compactness conditions on those spaces using the main tools of Hausdorff measure of noncompactness, we can only obtain sufficient conditions when the final space is $\ell _{\infty }$. However, we use some recent results to exactly characterize the classes of compact matrix operators when the final space is the set of bounded sequences.
The notion of metric compactification was introduced by Gromov and later rediscovered by Rieffel; and has been mainly studied on proper geodesic metric spaces. We present here a generalization of the metric compactification that can be applied to infinite-dimensional Banach spaces. Thereafter we give a complete description of the metric compactification of infinite-dimensional $\ell_{p}$ spaces for all $1\leq p < \infty$. We also give a full characterization of the metric compactification of infinite-dimensional Hilbert spaces.
We give sufficient conditions on an asymptotic $\ell_p$ (for $1 < p < \infty$) Banach space which ensure the space admits an operator which is not a compact perturbation of a multiple of the identity. These conditions imply the existence of strictly singular non-compact operators on the HI spaces constructed by G. Androulakis and the author and by I. Deliyanni and A. Manoussakis. Additionally we show that under these same conditions on the space $X$, $\ell_\infty$ embeds isomorphically into the space of bounded linear operators on $X$.
In this paper we study two types of collections of operators on a Banach space on the subject of forming operator ideals. One of the types allows us to construct an uncountable chain of closed ideals in each of the operator algebras $\mathcal{L}(\ell_1\oplus\ell_q)$, $1<q<\infty$, and $\mathcal{L}(\ell_1\oplus c_0)$. This finishes answering a longstanding question of Pietsch.
The aim of the paper is to introduce the spaces $\ell_{\infty}^λ(\widehat{F})$ and $\ell_{p}^λ(\widehat{F})$ derived by the composition of the two infinite matrices $Λ=(λ_{nk})$ and $\widehat{F}=\left( f_{nk} \right),$ which are the $BK$-spaces of non-absolute type and also derive some inclusion relations. Further, we determine the $α$-, $β$-, $γ$-duals of those spaces and also construct the basis for $\ell_{p}^λ(\widehat{F}).$ Additionally, we characterize some matrix classes on the spaces $\ell_{\infty}^λ(\widehat{F})$ and $\ell_{p}^λ(\widehat{F}).$ We also investigate some geometric propert…
We study the space of $p$-compact operators $\mathcal K_p$, using the theory of tensor norms and operator ideals. We prove that $\mathcal K_p$ is associated to $/d_p$, the left injective associate of the Chevet-Saphar tensor norm $d_p$ (which is equal to $g_{p'}'$). This allows us to relate the theory of $p$-summing operators with that of $p$-compact operators. With the results known for the former class and appropriate hypothesis on $E$ and $F$ we prove that $\mathcal K_p(E;F)$ is equal to $\mathcal K_q(E;F)$ for a wide range of values of $p$ and $q$, and show that our results are sharp. We a…
We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in $L(\ell_p\oplus\ell_q)$ is exactly $2^{\mathfrak c}$ for all $1<p<q<\infty$, which in turn gives an alternate proof of the recent result of Johnson and Schechtman that $L(L_p)$ also has $2^{\mathfrak c}$ closed ideals fo…
The closure of ideals of $\boldsymbol{\ell^1(Σ)}$ in its enveloping $\boldsymbol{\mathrm{C}^\ast}$-algebra
本文研究紧豪斯多夫空间上同胚生成的交叉积型Banach代数ℓ¹(Σ)与其包络C*-代数C*(Σ)的双边理想关系，证明ℓ¹(Σ)的真双边理想在C*(Σ)中的闭包仍为真双边理想。
A theorem of Giesy and James states that $c_0$ is finitely representable in James' quasi-reflexive Banach space $J_2$. We extend this theorem to the $p$th quasi-reflexive James space $J_p$ for each $p \in (1,\infty)$. As an application, we obtain a new closed ideal of operators on $J_p$, namely the closure of the set of operators that factor through the complemented subspace $(\ell_\infty^1 \oplus \ell_\infty^2 \oplus...\oplus \ell_\infty^n \oplus...)_{\ell_p}$ of $J_p$.
Complemented ideals of $\ell_\infty$
本文研究了$\ell_\infty$中补理想的问题，通过分析Stone空间的可近似性，确定了满足条件的理想结构。
Let $\mathcal{I}\subseteq\mathcal{P}(ω)$ be a meager ideal. Then there are no continuous projections from $\ell_\infty$ onto the set of bounded sequences which are $\mathcal{I}$-convergent to $0$. In particular, it follows that the set of bounded sequences statistically convergent to $0$ is not isomorphic to $\ell_\infty$.
We call a bounded linear operator acting between Banach spaces weakly compactly generated ($\mathsf{WCG}$ for short) if its range is contained in a weakly compactly generated subspace of its codomain. This notion simultaneously generalises being weakly compact and having separable range. In a comprehensive study of the class of $\mathsf{WCG}$ operators, we prove that it forms a closed surjective operator ideal and investigate its relations to other classical operator ideals. By considering the $p$th long James space $\mathcal{J}_p(ω_1)$, we show how properties of the ideal of $\mathsf{WCG}$ op…
The purpose of this paper is to provide a detailed description of the spaces that can be specified as $L^2$ domains for the operators of a first order elliptic complex on a compact manifold with conical singularities. This entails an analysis of the nature of the minimal domain and of a complementary space in the maximal domain of each of the operators. The key technical result is the nondegeneracy of a certain pairing of cohomology classes associated with the indicial complex. It is further proved that the set of choices of domains leading to Hilbert complexes in the sense of Brüning and Lesc…
$K$-theory of ghostly ideals for $\ell^p$-coarsely embeddable spaces
本文研究了具有有界几何的度量空间粗嵌入 $\ell^p$-空间时，几何理想到鬼影理想映射在 $K$-理论中的同构性质，并推导出相对粗 Baum-Connes 猜想和有限秩投影的算子范数局部化性质。
Let $E(0,1)$ be a symmetric space on $(0,1)$ and $C_F$ be a symmetric ideal of compact operators on the Hilbert space $\ell_2$ associated with a symmetric sequence space $F$. We give several criteria for $E(0,1)$ and $ F$ so that $E(0,1)$ does not embed into the ideal $C_F$, extending the result for the case when $E(0,1)=L_p(0,1)$ and $F=\ell_p $, $1\le p<\infty$, due to Arazy and Lindenstrauss.
The paper contains a description of the maximal ideal spaces (spectra) $\cM_A$ of bi-invariant function algebras $A$ on a compact group $G$. There are natural compatible structures in $\cM_A$: it is a compact topological semigroup with involution, polar decomposition, and analytic structure. The paper contains a description of $\cM_A$ and related results on function algebras; for example, a bi-invariant function algebra on a connected compact Lie group is antisymmetric if and only if the Haar measure of its maximal torus is multiplicative on it. Some results are extended to the case of compact…
A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if $C_0(G)$ is an ideal in $C_0(G)^{**}$. We show that these assertions are special cases of results on locally compact quantum groups in the sense of J. Kustermans and S. Vaes. In particular, a von Neumann algebraic quantum group $(M,Γ)$ is compact if and only if $M_*$ is an ideal in $M^*$, and a (reduced) $C^*$-algebraic quantum group $(A,Γ)$ is discrete if a…
Fibers and Gleason parts for the maximal ideal space of $\mathcal A_u(B_{\ell_p})$
本文研究了 $\ell_p$ 单位球上全纯且一致连续函数代数谱的纤维与 Gleason 部分，证明了空间几何是关键要素，并完善了 $p\ge 2$ 及 $p=1$ 时纤维的具体结构与分布性质。
We develop a notion of a non-commutative hull for a left ideal of the $L^1$-algebra of a compact quantum group $\mathbb{G}$. A notion of non-commutative spectral synthesis for compact quantum groups is proposed as well. It is shown that a certain Ditkin's property at infinity (which includes those $\mathbb{G}$ where the dual quantum group $\widehat{\mathbb{G}}$ has the approximation property) is equivalent to every hull having synthesis. We use this work to extend recent work of White that characterizes the weak$^*$ closed ideals of a measure algebra of a compact group to those of the measure …
We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the algebra if the associated quotient is abelian. We also prove that injective completely bounded representations of the algebra are similar to complete isometries. The main motivating example for these investigations is the recent construction of Choi, Farah and Ozawa of an amenable operator algebra that is not similar to a $C^*$-algebra, and we show how it fits i…
For self-adjoint operators $A, B$, a bounded operator $J$, and a function $f:\mathbb R\to\mathbb C$ we obtain bounds in quasi-normed ideals of compact operators for the difference $f(A)J-Jf(B)$ in terms of the operator $AJ-JB$. The focus is on functions $f$ that are smooth everywhere except for finitely many points. A typical example is the function $f(t) = |t|^γ$ with $γ\in (0, 1)$. The obtained results are applied to derive a two-term quasi-classical asymptotic formula for the trace $tr f(S)$ with $S$ being a Wiener-Hopf operator with a discontinuous symbol.
On quotients of ideals of weighted holomorphic mappings
本文研究加权全纯映射理想的左商过程，证明在若干算子理想下不产生新理想，但在其他情形（如格罗滕迪克和罗森塔尔加权全纯映射）可生成新的加权全纯理想。
For a $C^*$-algebra $A$ of compact operators and a compact manifold $M,$ we prove that the Hodge theory holds for $A$-elliptic complexes of pseudodifferential operators acting on smooth sections of finitely generated projective $A$-Hilbert bundles over $M.$ For these $C^*$-algebras, we get also a topological isomorphism between the cohomology groups of an $A$-elliptic complex and the space of harmonic elements. Consequently, the cohomology groups appear to be Banach spaces. We prove as well, that if the Hodge theory holds for a complex in the category of Hilbert $A$-modules and continuous adjo…
We extend the estimates proved by Donnelly and Fefferman and by Lebeau and Robbiano for sums of eigenfunctions of the Laplacian (on a compact manifold) to estimates for sums of eigenfunctions of any positive and elliptic pseudo-differential operator of positive order on a compact Lie group. Our criteria are imposed in terms of the positivity of the corresponding matrix-valued symbol of the operator. As an application of these inequalities in the control theory, we obtain the null-controllability for diffusion models for elliptic pseudo-differential operators on compact Lie groups.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。