Source author record

Tomasz Kania

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.OA math.GN math.CA math.KT math.MG math.RA math.CT math.NA math.OC math.PR math.SP Numerical Analysis

Catalog footprint

Research overview

34works

13topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Amenability constants for unconditional sums of Banach algebras

We study Johnson amenability for unconditional direct sums of Banach algebras. Given a family $(A_i)_{i\in I}$ of Banach algebras and a Banach sequence lattice $E$ on~ $I$ , the $E$ -sum $\bigl(\bigoplus_{i\in I} A_i\bigr)_{\!E}$ carries a natural Banach algebra structure via coordinatewise multiplication. Under the hypothesis that $C_E := \sup\{\|χ_F\|_E : F \subseteq I \text{ finite}\} < \infty$ , we prove that this $E$ -sum is amenable if and only if the amenability constants of the summands are uniformly bounded, and we establish the two-sided estimate $\sup_{i\in I}\operatorname{AM}(A_i) \;\le\; \operatorname{AM}\Bigl(\bigl(\textstyle\bigoplus_{i\in I} A_i\bigr)_{\!E}\Bigr) \;\le\; C_E^2 \sup_{i\in I}\operatorname{AM}(A_i).$ We show that the factor $C_E^2$ is sharp by exhibiting finite-dimensional examples where equality holds. We further prove that finiteness of $C_E$ is necessary whenever infinitely many summands are non-zero and the sum admits a bounded approximate identity. Finally, we investigate weak amenability of $E$ -sums. We prove that weak amenability passes to summands, that $E$ -sums of commutative weakly amenable algebras are weakly amenable, and contrasting sharply with the Johnson amenability picture that for $1 < p < \infty$ , the $\ell_p$ -sum of infinitely many copies of a non-commutative weakly amenable algebra fails to be weakly amenable. In the $c_0$ -type regime ( $C_E < \infty$ ), we establish a two-sided estimate for weak amenability constants analogous to that for Johnson amenability.

preprint2022arXiv

$(1+)$ -complemented, $(1+)$ -isomorphic copies of $L_{1}$ in dual Banach spaces

The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński's classical work on dual Banach spaces containing $L_{1}$ ( $=L_{1}[0,1]$ ) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$ . We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent: $\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$ , $\bullet$ for all $\varepsilon>0$ , $X^{*}$ contains a $(1+\varepsilon)$ -complemented, $(1+\varepsilon)$ -isomorphic copy of $L_{1}$ , $\bullet$ for all $\varepsilon>0$ , $X^{*}$ contains a $(1+\varepsilon)$ -complemented, $(1+\varepsilon)$ -isomorphic copy of $C[0,1]^{*}$ . Moreover, if $X$ is separable, one may add the following assertion: $\bullet$ for all $\varepsilon>0$ , there exists a $(1+\varepsilon)$ -quotient map $T\colon X\rightarrow C(Δ)$ so that $T^{*}[C(Δ)^{*}]$ is $(1+\varepsilon)$ -complemented in $X^{*}$ , where $Δ$ is the Cantor set.

preprint2022arXiv

A forgotten theorem of Pełczyński: $(λ+)$ -injective spaces need not be $λ$ -injective -- the case $λ\in (1,2]$

Isbell and Semadeni [Trans. Amer. Math. Soc. 107 (1963)] proved that every infinite-dimensional $1$ -injective Banach space contains a hyperplane that is $(2+\varepsilon)$ -injective for every $\varepsilon > 0$ , yet is is \emph{not} $2$ -injective and remarked in a footnote that Pełczyński had proved for every $λ> 1$ the existence of a $(λ+ \varepsilon)$ -injective space ( $\varepsilon > 0$ ) that is not $λ$ -injective. Unfortunately, no trace of the proof of Pełczyński's result has been preserved. In the present paper, we establish the said theorem for $λ\in (1,2]$ by constructing an appropriate renorming of $\ell_\infty$ . This contrasts (at least for real scalars) with the case $λ= 1$ for which Lindenstrauss [Mem. Amer. Math. Soc. 48 (1964)] proved the contrary statement.

preprint2022arXiv

Continuity of coordinate functionals of filter bases in Banach spaces

We prove that the coordinate functionals associated with filter bases in Banach spaces are continuous as long as the underlying filter is analytic. This removes the large-cardinal hypothesis from the result established by the two last-named authors ([Bull. Lond. Math. Soc. 53 (2021)]) at the expense of reducing the generality from projective to analytic. In particular, we obtain a ZFC solution to Kadets' problem of continuity of coordinate functionals associated with bases with respect to the filter of statistical convergence. Even though the automatic continuity of coordinate functionals beyond the projective class remains a mystery, we prove that a basis with respect to an arbitrary filter that has continuous coordinate functionals is also a basis with respect to a filter that is analytic.

preprint2022arXiv

Factorisation in stopping-time Banach spaces: identifying unique maximal ideals

Stopping-time Banach spaces is a collective term for the class of spaces of eventually null integrable processes that are defined in terms of the behaviour of the stopping times with respect to some fixed filtration. From the point of view of Banach space theory, these spaces in many regards resemble the classical spaces such as $L^1$ or $C(Δ)$ , but unlike these, they do have unconditional bases. In the present paper we study the canonical bases in the stopping-time spaces in relation to factorising the identity operator thereon. Since we work exclusively with the dyadic-tree filtration, this set-up enables us to work with tree-indexed bases rather than directly with stochastic processes. \emph{En route} to the factorisation results, we develop general criteria that allow one to deduce the uniqueness of the maximal ideal in the algebra of operators on a Banach space. These criteria are applicable to many classical Banach spaces such as (mixed-norm) $L^p$ -spaces, BMO, $\mathrm{SL^\infty}$ and others.

preprint2022arXiv

The existence of UFO implies projectively universal morphisms

Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$ , then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$ , i.e., a morphism $u$ such that for any $B\in \mathcal{C}$ and $τ\in {\rm Mor}(B)$ there exists an epimorphism $π\in {\rm Mor}(\mathsf F, B)$ such that $πτ= u π$ . This builds upon and extends various ideas by Darji and Matheron (Proc. Am. Math. Soc. 145 (2017)) who proved such a result for the category of separable Banach spaces with contractive operators as well as certain classes of dynamical systems on compact metric spaces. Specialising from our abstract setting, we conclude that the result applies to various categories of Banach spaces/lattices/algebras, C*-algebras, etc.

preprint2021arXiv

Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$ , and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$ . This improves upon previous results due to Bustos Domecq =and the second-named author, where certain idempotent semigroups of cardinality equal to the cardinality of $X^{**}$ were considered, and answers a question of J.M.F. Castillo (private communication). En route to the proof of the main result, we endow the family of all finite-dimensional subspaces of an infinite-dimensional vector space with a structure of a free commutative monoid with the property that the product of two subspaces contains the respective subspaces, which is possibly of interest in itself.

preprint2021arXiv

Quantifying properties ( $K$ ) and ( $μ^{s}$ )

A Banach space $X$ has \textit{property $(K)$ }, whenever every weak* null sequence in the dual space admits a convex block subsequence $(f_{n})_{n=1}^\infty$ so that $\langle f_{n},x_{n}\rangle\to 0$ as $n\to \infty$ for every weakly null sequence $(x_{n})_{n=1}^\infty$ in $X$ ; $X$ has \textit{property $(μ^{s})$ } if every weak $^{*}$ null sequence in $X^{*}$ admits a subsequence so that all of its subsequences are Cesàro convergent to $0$ with respect to the Mackey topology. Both property $(μ^{s})$ and reflexivity (or even the Grothendieck property) imply property $(K)$ . In the present paper we propose natural ways for quantifying the aforementioned properties in the spirit of recent results concerning other familiar properties of Banach spaces.

preprint2020arXiv

Approximate modularity: Kalton's constant is not smaller than 3

Kalton and Roberts [Trans. Amer. Math. Soc., 278 (1983), 803--816] proved that there exists a universal constant $K\leqslant 44.5$ such that for every set algebra $\mathcal{F}$ and every 1-additive function $f\colon \mathcal{F}\to \mathbb R$ there exists a finitely-additive signed measure $μ$ defined on $\mathcal{F}$ such that $|f(A)-μ(A)|\leqslant K$ for any $A\in \mathcal{F}$ . The only known lower bound for the optimal value of $K$ was found by Pawlik [Colloq. Math., 54 (1987), 163--164], who proved that this constant is not smaller than $1.5$ ; we improve this bound to $3$ already on a non-negative 1-additive function.

preprint2020arXiv

Closed ideals of operators on the Tsirelson and Schreier spaces

Let $\mathscr{B}(X)$ denote the Banach algebra of bounded operators on $X$ , where~ $X$ is either Tsirelson's Banach space or the Schreier space of order $n$ for some $n\in\mathbb N$ . We show that the lattice of closed ideals of~ $\mathscr{B}(X)$ has a very rich structure; in particular $\mathscr{B}(X)$ contains at least continuum many maximal ideals. Our approach is to study the closed ideals generated by the basis projections. Indeed, the unit vector basis is an unconditional basis for each of the above spaces, so there is a basis projection $P_N\in\mathscr{B}(X)$ corresponding to each non-empty subset $N$ of $\mathbb N$ . A closed ideal of $\mathscr{B}(X)$ is spatial if it is generated by $P_N$ for some $N$ . We can now state our main conclusions as follows: i) the family of spatial ideals lying strictly between the ideal of compact operators and $\mathscr{B}(X)$ is non-empty and has no minimal or maximal elements; ii) for each pair $\mathscr{I}\subsetneqq\mathscr{J}$ of spatial ideals, there is a family $\{Γ_L\colon L\in Δ\}$ , where the index set $Δ$ has the cardinality of the continuum, such that $Γ_L$ is an uncountable chain of spatial ideals, $\bigcupΓ_L$ is a closed ideal that is not spatial, and $\mathscr{I}\subsetneqq\mathscr{L}\subsetneqq\mathscr{J}\qquad\text{and}\qquad \overline{\mathscr{L}+\mathscr{M}} = \mathscr{J}$ whenever $L,M\inΔ$ are distinct and $\mathscr{L}\inΓ_L$ , $\mathscr{M}\inΓ_M$ .

preprint2020arXiv

Inverse problems for symmetric doubly stochastic matrices whose Suleĭmanova spectra are bounded below by 1/2

A new sufficient condition for a list of real numbers to be the spectrum of a symmetric doubly stochastic matrix is presented; this is a contribution to the classical spectral inverse problem for symmetric doubly stochastic matrices that is still open in its full generality. It is proved that whenever $λ_2, \ldots, λ_n$ are non-positive real numbers with $1 + λ_2 + \ldots + λ_n \geqslant 1/2$ , then there exists a symmetric, doubly stochastic matrix whose spectrum is precisely $(1, λ_2, \ldots, λ_n)$ . We point out that this criterion is incomparable to the classical sufficient conditions due to Perfect-Mirsky, Soules, and their modern refinements due to Nader et al. We also provide some examples and applications of our results.

preprint2020arXiv

Separated sets and Auerbach systems in Banach spaces

The paper elucidates the relationship between the density of a Banach space and possible sizes of well-separated subsets of its unit sphere. For example, it is proved that for a large enough space $X$ , the unit sphere $S_X$ always contains an uncountable $(1+)$ -separated subset. In order to achieve this, new results concerning the existence of large Auerbach systems are established that happen to be sharp for the class of WLD spaces. In fact, we offer the first consistent example of a non-separable WLD Banach space that contains no uncountable Auerbach system, as witnessed by a renorming of $c_0(ω_1)$ . Moreover, the following optimal results for the classes of, respectively, reflexive and super-reflexive spaces are established: the unit sphere of an infinite-dimensional reflexive space contains a symmetrically $(1+\varepsilon)$ -separated subset of any regular cardinality not exceeding the density of $X$ ; should the space $X$ be super-reflexive, the unit sphere of $X$ contains such a subset of cardinality equal to the density of $X$ . The said problem is studied for other classes of spaces too, including the RNP spaces or strictly convex ones.

preprint2020arXiv

Symmetrically separated sequences in the unit sphere of a Banach space

We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$ , thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$ . Under additional structural properties of $X$ , such as non-trivial cotype, we obtain quantitative estimates for the said $\varepsilon$ . Certain renorming results are also presented.

preprint2020arXiv

The isomorphic Kottman constant of a Banach space

We show that the Kottman constant $K(\cdot)$ , together with its symmetric and finite variations, is continuous with respect to the Kadets metric, and they are log-convex, hence continuous, with respect to the interpolation parameter in a complex interpolation schema. Moreover, we show that $K(X)\cdot K(X^*)\geqslant 2$ for every infinite-dimensional Banach space $X$ . We also consider the isomorphic Kottman constant (defined as the infimum of the Kottman constants taken over all renormings of the space) and solve the main problem left open in [CaGoPa17], namely that the isomorphic Kottman constant of a twisted-sum space is the maximum of the constants of the respective summands. Consequently, the Kalton--Peck space may be renormed to have Kottman's constant arbitrarily close to $\sqrt{2}$ . For other classical parameters, such as the Whitley and the James constants, we prove the continuity with respect to the Kadets metric.

preprint2016arXiv

A singular, admissible extension which splits algebraically, but not strongly, of the algebra of bounded operators on a Banach space

Let $E$ be the Banach space constructed by Read (J. London Math. Soc. 1989) such that the Banach algebra $\mathscr{B}(E)$ of bounded operators on $E$ admits a discontinuous derivation. We show that $\mathscr{B}(E)$ has a singular, admissible extension which splits algebraically, but does not split strongly. This answers a natural question going back to the work of Bade, Dales, and Lykova (Mem. Amer. Math. Soc. 1999), and complements recent results of Laustsen and Skillicorn (C. R. Math. Acad. Sci. Paris, to appear).

preprint2016arXiv

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

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 obtain an alternative to Daws' approach description of the lattice of all closed ideals of $\mathscr{B}(X)$ , where $X = c_0(λ)$ or $X=\ell_p(λ)$ for some $p\in [1,\infty)$ , and we classify the closed ideals of $\mathscr{B}(\ell_\infty^c(λ))$ that contains the ideal of weakly compact operators.

preprint2016arXiv

Steinhaus' lattice-point problem for Banach spaces

Steinhaus proved that given a~positive integer $n$ , one may find a circle surrounding exactly $n$ points of the integer lattice. This statement has been recently extended to Hilbert spaces by Zwoleński, who replaced the integer lattice by any infinite set that intersects every ball in at most finitely many points. We investigate Banach spaces satisfying this property, which we call (S), and characterise them by means of a new geometric property of the unit sphere which allows us to show, e.g., that all strictly convex norms have (S), nonetheless, there are plenty of non-strictly convex norms satisfying (S). We also study the corresponding renorming problem.

preprint2016arXiv

Uncountable sets of unit vectors that are separated by more than 1

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$ . We prove that such a set exists if $X$ is quasi-reflexive and non-separable; if $X$ is additionally super-reflexive then one can have $\|x-y\|\geqslant 1+\varepsilon$ for some $\varepsilon>0$ that depends only on $X$ . If $K$ is a non-metrisable compact, Hausdorff space, then the unit sphere of $X=C(K)$ also contains such a subset; if moreover $K$ is perfectly normal, then one can find such a set with cardinality equal to the density of $X$ ; this solves a problem left open by S. K. Mercourakis and G. Vassiliadis.

preprint2016arXiv

Vector-valued invariant means revisited once again

Banach spaces that are complemented in the second dual are characterised precisely as those spaces $X$ which enjoy the property that for every amenable semigroup $S$ there exists an $X$ -valued analogue of an invariant mean defined on the Banach space of all bounded $X$ -valued functions on $S$ . This was first observed by Bustos Domecq (J. Math. Anal. Appl., 2002), however the original proof was slightly flawed as remarked by Lipecki. The primary aim of this note is to present a corrected version of the proof. We also demonstrate that universally separably injective spaces always admit invariant means with respect to countable amenable semigroups, thus such semigroups are not rich enough to capture complementation in the second dual as spaces falling into this class need not be complemented in the second dual.

preprint2015arXiv

Chains of functions in $C(K)$ -spaces

The Bishop property ($\symbishop$), introduced recently by K.P. Hart, T. Kochanek and the first-named author, was motivated by Pełczy{ń}ski's classical work on weakly compact operators on $C(K)$ -spaces. This property asserts that certain chains of functions in said spaces, with respect to a particular partial ordering, must be countable. There are two versions of ($\symbishop$): one applies to linear operators on $C(K)$ -spaces and the other to the compact Hausdorff spaces themselves. We answer two questions that arose after ($\symbishop$) was first introduced. We show that if $\mathscr{D}$ is a class of compact spaces that is preserved when taking closed subspaces and Hausdorff quotients, and which contains no non-metrizable linearly ordered space, then every member of $\mathscr{D}$ has ($\symbishop$). Examples of such classes include all $K$ for which $C(K)$ is Lindelöf in the topology of pointwise convergence (for instance, all Corson compact spaces) and the class of Gruenhage compact spaces. We also show that the set of operators on a $C(K)$ -space satisfying ($\symbishop$) does not form a right ideal in $\mathscr{B}(C(K))$ . Some results regarding local connectedness are also presented.

preprint2015arXiv

Ideal structure of the algebra of bounded operators acting on a Banach space

We construct a Banach space $Z$ such that the lattice of closed two-sided ideals of the Banach algebra $\mathscr{B}(Z)$ of bounded operators on $Z$ is as follows: $$ \{0\}\subset \mathscr{K}(Z)\subset\mathscr{E}(Z) \raisebox{-.5ex}% {\ensuremath{\overset{\begin{turn}{30}$\subset$\end{turn}}% {\begin{turn}{-30}$\subset$\end{turn}}}}\!\!% \begin{array}{c}\mathscr{M}_1\\[1mm]\mathscr{M}_2\end{array}\!\!\!% \raisebox{-1.25ex}% {\ensuremath{\overset{\raisebox{1.25ex}{\ensuremath{\begin{turn}{-30}$\subset$\end{turn}}}}% {\raisebox{-.25ex}{\ensuremath{\begin{turn}{30}$\subset$\end{turn}}}}}}\,\mathscr{B}(Z) $$ We then determine which kinds of approximate identities (bounded/left/right), if any, each of the four non-trivial closed ideals of $\mathscr{B}(Z)$ contain, and we show that the maximal ideal $\mathscr{M}_1$ is generated as a left ideal by two operators, but not by a single operator, thus answering a question left open in our collaboration with Dales, Kochanek and Koszmider (\emph{Studia Math.} 2013). In contrast, the other maximal ideal $\mathscr{M}_2$ is not finitely generated as a left ideal. The Banach space $Z$ is the direct sum of Argyros and Haydon's Banach space $X_{\text{AH}}$ which has very few operators and a certain subspace $Y$ of $X_{\text{AH}}$ . The key property of~ $Y$ is that every bounded operator from $Y$ into $X_{\text{AH}}$ is the sum of a scalar multiple of the inclusion mapping and a compact operator.

preprint2015arXiv

On C*-algebras which cannot be decomposed into tensor products with both factors infinite-dimensional

We prove that C*-algebras which, as Banach spaces, are Grothendieck cannot be decomposed into a tensor product of two infinite-dimensional C*-algebras. By a result of Pfitzner, this class contains all von Neumann algebras and their norm-quotients. We thus complement a recent result of Ghasemi who established a similar conclusion for the class of SAW*-algebras.

preprint2015arXiv

The trace as an average over the unit sphere of a normed space with a 1-symmetric basis

We generalise the formula expressing the matrix trace of a given square matrix as the integral of the numerical values of $A$ over the Euclidean sphere to the unit spheres of finite-dimensional normed spaces that have a 1-symmetric basis. Our result is new even in the case of $\ell_p$ -norms in $\mathbb{R}^N$ for $p\neq 2$ .

preprint2014arXiv

A short proof of the fact that the matrix trace is the expectation of the numerical values

Using the fact that the normalised matrix trace is the unique linear functional $f$ on the algebra of $n\times n$ matrices which satisfies $f(I)=1$ and $f(AB)=f(BA)$ for all $n\times n$ matrices $A$ and $B$ , we derive a well-known formula expressing the normalised trace of a complex matrix $A$ as the expectation of the numerical values of $A$ ; that is the function $\langle Ax,x\rangle$ , where $x$ ranges the unit sphere of $\mathbb{C}^n$ .

preprint2014arXiv

A weak*-topological dichotomy with applications in operator theory

Denote by $[0,ω_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,ω_1)$ be the Banach space of scalar-valued, continuous functions which are defined on $[0,ω_1)$ and vanish eventually. We show that a weakly $^*$ compact subset of the dual space of $C_0[0,ω_1)$ is either uniformly Eberlein compact, or it contains a homeomorphic copy of the ordinal interval $[0,ω_1]$ . Using this result, we deduce that a Banach space which is a quotient of $C_0[0,ω_1)$ can either be embedded in a Hilbert-generated Banach space, or it is isomorphic to the direct sum of $C_0[0,ω_1)$ and a subspace of a Hilbert-generated Banach space. Moreover, we obtain a list of eight equivalent conditions describing the Loy-Willis ideal, which is the unique maximal ideal of the Banach algebra of bounded, linear operators on $C_0[0,ω_1)$ . As a consequence, we find that this ideal has a bounded left approximate identity, thus resolving a problem left open by Loy and Willis, and we give new proofs, in some cases of stronger versions, of several known results about the Banach space $C_0[0,ω_1)$ and the operators acting on it.

preprint2014arXiv

Banach spaces whose algebra of bounded operators has the integers as their $K_0$ -group

Let $X$ and $Y$ be Banach spaces such that the ideal of operators which factor through $Y$ has codimension one in the Banach algebra $\mathscr{B}(X)$ of all bounded operators on $X$ , and suppose that $Y$ contains a complemented subspace which is isomorphic to $Y\oplus Y$ and that $X$ is isomorphic to $X\oplus Z$ for every complemented subspace $Z$ of $Y$ . Then the $K_0$ -group of $\mathscr{B}(X)$ is isomorphic to the additive group $\mathbb{Z}$ of integers. A number of Banach spaces which satisfy the above conditions are identified. Notably, it follows that $K_0(\mathscr{B}(C([0,ω_1])))\cong\mathbb{Z}$ , where $C([0,ω_1])$ denotes the Banach space of scalar-valued, continuous functions defined on the compact Hausdorff space of ordinals not exceeding the first uncountable ordinal $ω_1$ , endowed with the order topology.

preprint2014arXiv

Finite generation in $C^\ast$ -algebras and Hilbert $C^\ast$ -modules

We characterize $C^*$ -algebras and $C^*$ -modules such that every maximal right ideal (resp. right submodule) is algebraically finitely generated. In particular, $C^*$ -algebras satisfy the Dales--Żelazko conjecture.

preprint2014arXiv

Operators on two Banach spaces of continuous functions on locally compact spaces of ordinals

Denote by $[0,ω_1)$ the set of countable ordinals, equipped with the order topology, let $L_0$ be the disjoint union of the compact ordinal intervals $[0,α]$ for $α$ countable, and consider the Banach spaces $C_0[0,ω_1)$ and $C_0(L_0)$ consisting of all scalar-valued, continuous functions which are defined on the locally compact Hausdorff spaces $[0,ω_1)$ and $L_0$ , respectively, and which vanish eventually. Our main result states that a bounded operator $T$ between any pair of these two Banach spaces fixes a copy of $C_0(L_0)$ if and only if the identity operator on $C_0(L_0)$ factors through $T$ , if and only if the Szlenk index of $T$ is uncountable. This implies that the set $\mathscr{S}_{C_0(L_0)}(C_0(L_0))$ of $C_0(L_0)$ -strictly singular operators on $C_0(L_0)$ is the unique maximal ideal of the Banach algebra $\mathscr{B}(C_0(L_0))$ of all bounded operators on $C_0(L_0)$ , and that $\mathscr{S}_{C_0(L_0)}(C_0[0,ω_1))$ is the second-largest proper ideal of $\mathscr{B}(C_0[0,ω_1))$ . Moreover, it follows that the Banach space $C_0(L_0)$ is primary and complementably homogeneous.

preprint2014arXiv

Uniqueness of the maximal ideal of operators on the $\ell_p$ -sum of $\ell_\infty^n\ (n\in\mathbb{N})$ for $1<p<\infty$

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

preprint2013arXiv

A chain condition for operators from C(K)-spaces

We introduce a chain condition (bishop), defined for operators acting on C(K)-spaces, which is intermediate between weak compactness and having weakly compactly generated range. It is motivated by Pełczyński's characterisation of weakly compact operators on C(K)-spaces. We prove that if K is extremally disconnected and X is a Banach space then an operator T : C(K) -> X is weakly compact if and only if it satisfies (bishop) if and only if the representing vector measure of T satisfies an analogous chain condition. As a tool for proving the above-mentioned result, we derive a topological counterpart of Rosenthal's lemma. We exhibit several compact Hausdorff spaces K for which the identity operator on C(K) satisfies (bishop), for example both locally connected compact spaces having countable cellularity and ladder system spaces have this property. Using a Ramsey-type theorem, due to Dushnik and Miller, we prove that the collection of operators on a C(K)-space satisfying (bishop) forms a closed left ideal of B(C(K)).

preprint2013arXiv

A reflexive Banach space whose algebra of operators is not a Grothendieck space

By a result of Johnson, the Banach space $F=(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_\infty}$ contains a complemented copy of $\ell_1$ . We identify $F$ with a complemented subspace of the space of (bounded, linear) operators on the reflexive space $(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_p}$ ( $p\in (1,\infty))$ , thus giving a negative answer to the problem posed in the monograph of Diestel and Uhl which asks whether the space of operators on a reflexive Banach space is Grothendieck.

preprint2013arXiv

Maximal left ideals of the Banach algebra of bounded operators on a Banach space

We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$ : (Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E): Tx = 0\} (*) for some non-zero $x\in E$ ? Since the two-sided ideal $\mathscr{F}(E)$ of finite-rank operators is not contained in any of the maximal left ideals given by (*), a positive answer to the second question would imply a positive answer to the first. Our main results are: (i) Question (Q1) has a positive answer for most (possibly all) infinite-dimensional Banach spaces; (ii) Question (Q2) has a positive answer if and only if no finitely-generated, maximal left ideal of $\mathscr{B}(E)$ contains $\mathscr{F}(E)$ ; (iii) the answer to Question (Q2) is positive for many, but not all, Banach spaces.

preprint2013arXiv

The ideal of weakly compactly generated operators acting on a Banach space

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}$ operators (such as being the unique maximal ideal) may be used to derive results outside ideal theory. For instance, we identify the $K_0$ -group of $\mathscr{B}(\mathcal{J}_p(ω_1))$ as the additive group of integers.

preprint2011arXiv

Uniqueness of the maximal ideal of the Banach algebra of bounded operators on $C([0,ω_1])$

Let $ω_1$ be the first uncountable ordinal. By a result of Rudin, bounded operators on the Banach space $C([0,ω_1])$ have a natural representation as $[0,ω_1]\times 0,ω_1]$ -matrices. Loy and Willis observed that the set of operators whose final column is continuous when viewed as a scalar-valued function on $[0,ω_1]$ defines a maximal ideal of codimension one in the Banach algebra $\mathscr{B}(C([0,ω_1]))$ of bounded operators on $C([0,ω_1])$ . We give a coordinate-free characterization of this ideal and deduce from it that $\mathscr{B}(C([0,ω_1]))$ contains no other maximal ideals. We then obtain a list of equivalent conditions describing the strictly smaller ideal of operators with separable range, and finally we investigate the structure of the lattice of all closed ideals of $\mathscr{B}(C([0,ω_1]))$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tomasz Kania

Research overview

Is this your work?

34 publications

Amenability constants for unconditional sums of Banach algebras

$(1+)$ -complemented, $(1+)$ -isomorphic copies of $L_{1}$ in dual Banach spaces

A forgotten theorem of Pełczyński: $(λ+)$ -injective spaces need not be $λ$ -injective -- the case $λ\in (1,2]$

Continuity of coordinate functionals of filter bases in Banach spaces

Factorisation in stopping-time Banach spaces: identifying unique maximal ideals

The existence of UFO implies projectively universal morphisms

Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

Quantifying properties ( $K$ ) and ( $μ^{s}$ )

Approximate modularity: Kalton's constant is not smaller than 3

Closed ideals of operators on the Tsirelson and Schreier spaces

Inverse problems for symmetric doubly stochastic matrices whose Suleĭmanova spectra are bounded below by 1/2

Separated sets and Auerbach systems in Banach spaces

Symmetrically separated sequences in the unit sphere of a Banach space

The isomorphic Kottman constant of a Banach space

A singular, admissible extension which splits algebraically, but not strongly, of the algebra of bounded operators on a Banach space

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

Steinhaus' lattice-point problem for Banach spaces

Uncountable sets of unit vectors that are separated by more than 1

Vector-valued invariant means revisited once again

Chains of functions in $C(K)$ -spaces

Ideal structure of the algebra of bounded operators acting on a Banach space

On C*-algebras which cannot be decomposed into tensor products with both factors infinite-dimensional

The trace as an average over the unit sphere of a normed space with a 1-symmetric basis

A short proof of the fact that the matrix trace is the expectation of the numerical values

A weak*-topological dichotomy with applications in operator theory

Banach spaces whose algebra of bounded operators has the integers as their $K_0$ -group

Finite generation in $C^\ast$ -algebras and Hilbert $C^\ast$ -modules

Operators on two Banach spaces of continuous functions on locally compact spaces of ordinals

Uniqueness of the maximal ideal of operators on the $\ell_p$ -sum of $\ell_\infty^n\ (n\in\mathbb{N})$ for $1<p<\infty$

A chain condition for operators from C(K)-spaces

A reflexive Banach space whose algebra of operators is not a Grothendieck space

Maximal left ideals of the Banach algebra of bounded operators on a Banach space

The ideal of weakly compactly generated operators acting on a Banach space

Uniqueness of the maximal ideal of the Banach algebra of bounded operators on $C([0,ω_1])$

See the researcher in context

Building this map preview

Tomasz Kania

Research overview

Is this your work?

34 publications

Amenability constants for unconditional sums of Banach algebras

(1+)(1+)(1+)-complemented, (1+)(1+)(1+)-isomorphic copies of L1L_{1}L1​ in dual Banach spaces

A forgotten theorem of Pełczyński: (λ+)(λ+)(λ+)-injective spaces need not be λλλ-injective -- the case λ∈(1,2]λ\in (1,2]λ∈(1,2]

Continuity of coordinate functionals of filter bases in Banach spaces

Factorisation in stopping-time Banach spaces: identifying unique maximal ideals

The existence of UFO implies projectively universal morphisms

Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

Quantifying properties (KKK) and (μsμ^{s}μs)

Approximate modularity: Kalton's constant is not smaller than 3

Closed ideals of operators on the Tsirelson and Schreier spaces

Inverse problems for symmetric doubly stochastic matrices whose Suleĭmanova spectra are bounded below by 1/2

Separated sets and Auerbach systems in Banach spaces

Symmetrically separated sequences in the unit sphere of a Banach space

The isomorphic Kottman constant of a Banach space

A singular, admissible extension which splits algebraically, but not strongly, of the algebra of bounded operators on a Banach space

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

Steinhaus' lattice-point problem for Banach spaces

Uncountable sets of unit vectors that are separated by more than 1

Vector-valued invariant means revisited once again

Chains of functions in C(K)C(K)C(K)-spaces

Ideal structure of the algebra of bounded operators acting on a Banach space

On C*-algebras which cannot be decomposed into tensor products with both factors infinite-dimensional

The trace as an average over the unit sphere of a normed space with a 1-symmetric basis

A short proof of the fact that the matrix trace is the expectation of the numerical values

A weak*-topological dichotomy with applications in operator theory

Banach spaces whose algebra of bounded operators has the integers as their K0K_0K0​-group

Finite generation in C∗C^\astC∗-algebras and Hilbert C∗C^\astC∗-modules

Operators on two Banach spaces of continuous functions on locally compact spaces of ordinals

Uniqueness of the maximal ideal of operators on the ℓp\ell_pℓp​-sum of ℓ∞n (n∈N)\ell_\infty^n\ (n\in\mathbb{N})ℓ∞n​ (n∈N) for 1<p<∞1<p<\infty1<p<∞

A chain condition for operators from C(K)-spaces

A reflexive Banach space whose algebra of operators is not a Grothendieck space

Maximal left ideals of the Banach algebra of bounded operators on a Banach space

The ideal of weakly compactly generated operators acting on a Banach space

Uniqueness of the maximal ideal of the Banach algebra of bounded operators on C([0,ω1])C([0,ω_1])C([0,ω1​])

See the researcher in context

Building this map preview

$(1+)$ -complemented, $(1+)$ -isomorphic copies of $L_{1}$ in dual Banach spaces

A forgotten theorem of Pełczyński: $(λ+)$ -injective spaces need not be $λ$ -injective -- the case $λ\in (1,2]$

Quantifying properties ( $K$ ) and ( $μ^{s}$ )

Chains of functions in $C(K)$ -spaces

Banach spaces whose algebra of bounded operators has the integers as their $K_0$ -group

Finite generation in $C^\ast$ -algebras and Hilbert $C^\ast$ -modules

Uniqueness of the maximal ideal of operators on the $\ell_p$ -sum of $\ell_\infty^n\ (n\in\mathbb{N})$ for $1<p<\infty$

Uniqueness of the maximal ideal of the Banach algebra of bounded operators on $C([0,ω_1])$