arXiv Science⌕ Search

arXiv · 2610.09923

On Pełczyński's problem concerning the uniqueness of symmetric structure

Abstract

Let $E$ and $F$ be separable symmetric Banach sequence spaces, and let $C_E$ and $C_F$ be the corresponding ideals of compact operators on a separable Hilbert space. We prove that if $C_F$ is isomorphic to a complemented subspace of $S_E$, then $F=\ell_2$. As a consequence, if $C_E$ is isomorphic to $C_F$, then $E=F$ with equivalent norms. This answers Pełczyński's 1979 question concerning the uniqueness of symmetric structure. We also strengthen Arazy's result by showing that if $E$ has finite cotype and $C_F$ embeds isomorphically into $S_E$, then $F=\ell_2$. For reflexive $F\ne\ell_2$ with non-trivial Boyd indices, the embedding theorems of Lindenstrauss and Szankowski yield a separable reflexive symmetric sequence space $E$ with trivial cotype such that $C_F$ embeds isomorphically into $S_E$. This gives negative answers to several questions raised by Arazy in 1981.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tianbao Guo, Jinghao Huang. 2026-10-07. On Pełczyński's problem concerning the uniqueness of symmetric structure. https://arxiv.org/abs/2610.09923

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Löwner equations and de Branges--Rovnyak spaces

We study one-parameter families of de Branges--Rovnyak spaces associated with Löwner equations. The purpose of this paper is to give a new approach to a problem discussed by Sarason, Fricain--Hartmann--Ross, Fricain--Mashreghi, and Łanucha--Nowak. Our approach is based on a little-known technique, ``\textit{Löwner expansions}'', developed by the de Branges school. We recast ``\textit{Löwner expansions}'' in the theory of direct integrals and integral operators. Further, our framework also provides a natural setting for applying the theory of the chordal Löwner equation to the theory of de Branges--Rovnyak spaces. As an application, we prove Fourier-type expansion theorems induced by the Löwner equations.

math.FA↗

On Continuous Wavelet Transform of Complex Radon Measures on $\mathbb{R}^{d}$

This paper investigates a necessary and sufficient condition for a measurable function on $\mathbb{R}^{\times} \times \mathbb{R}^{d}$ to be the continuous wavelet transform of a complex Radon measure on $\mathbb{R}^{d}$ under suitable regularity conditions on the wavelets. We investigate various integrability properties of the wavelet transform of complex Radon measures. We define a new norm on the collection of such functions and show that it is isometrically isomorphic to the Banach algebra of complex Radon measures under convolution. We show a wavelet inversion formula for measures, in a restricted sense. Under additional hypothesis, we provide a reconstruction formula for the measure of closed rectangles in $\mathbb{R}^d$ using wavelet transforms. We have included supporting examples to substantiate these assumptions.

math.FA↗

Compressions of Linear Relations in Krein Spaces

Given an orthogonal decomposition \(\widetilde{\mathfrak{H}} = \mathfrak{H}[\dotplus]\widehat{\mathfrak{H}}\) of a Krein space, we study compressions \({\mathrm{C}_{\mathfrak H}}(R)\) of linear relations \(R\) in \(\widetilde{\mathfrak{H}}\) to \(\mathfrak{H}\). We formulate a sufficient condition that ensures that compression commutes with taking adjoints, that is, the adjoint identity \({\mathrm{C}_{\mathfrak H}}(R^{\widetilde{*}}) = {\mathrm{C}_{\mathfrak H}}(R)^{*}\) holds. We derive preservation and reflection results for the compression of maximal dissipative, maximal symmetric, and self-adjoint linear relations. For nonnegative linear relations, the adjoint identity also implies that compression commutes with taking the Friedrichs extension. For \(\mathfrak{H}\ne\{0\}\), we characterize finite dimensionality of the exit space \(\widehat{\mathfrak{H}}\) by universal compression properties. Finally, we give a criterion for the adjoint identity to hold in terms of bounded linear functionals on \(R\).

math.FA↗