Showing 1–20 of 20 results for author: Kochanek, T

Automatic continuity of operator semigroups in the Calkin algebra

Authors: Tomasz Kochanek

Abstract: We study operator semigroups in the Calkin algebra $\mathcal{Q}(\mathcal{H})$, represented as a subalgebra of the algebra of bounded linear operators on a Hilbert space via one of `canonical' Calkin's representations. Using the BDF theory, we associate with any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathcal{Q}(\mathcal{H})$ an extension $Γ\in\mathrm{Ext}(Δ)$, where $Δ$ is the inverse limit… ▽ More We study operator semigroups in the Calkin algebra $\mathcal{Q}(\mathcal{H})$, represented as a subalgebra of the algebra of bounded linear operators on a Hilbert space via one of `canonical' Calkin's representations. Using the BDF theory, we associate with any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathcal{Q}(\mathcal{H})$ an extension $Γ\in\mathrm{Ext}(Δ)$, where $Δ$ is the inverse limit of certain compact metric spaces defined purely in terms of the spectrum $σ(A)$ of the generator of $(q(t))_{t\geq 0}$. Then we show that, in natural circumstances, if $(q(t))_{t\geq 0}$ is continuous in the strong operator topology, then it is actually uniformly continuous, although there are $C_0$-semigroups in $\mathcal{Q}(\mathcal{H})$ that are not uniformly continuous. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2203.05635

Envelo** balls of Szlenk derivations

Authors: Tomasz Kochanek, Marek Miarka

Abstract: For Banach spaces with a shrinking FDD, we provide estimates for the radii of the envelo** balls of the $\varepsilon$-Szlenk derivations of the dual unit ball. For Banach spaces with a shrinking FDD, we provide estimates for the radii of the envelo** balls of the $\varepsilon$-Szlenk derivations of the dual unit ball. △ Less

Submitted 14 June, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

A note on ideal C$^\ast$-completions and amenability

Authors: Tomasz Kochanek

Abstract: For a discrete group $G$, we consider certain ideals $\mathcal{I}\subset c_0(G)$ of sequences with prescribed rate of convergence to zero. We show that the equality between the full group C$^\ast$-algebra of $G$ and the C$^\ast$-completion $\mathrm{C}_{\mathcal{I}}^\ast(G)$ in the sense of Brown and Guentner implies that $G$ is amenable. For a discrete group $G$, we consider certain ideals $\mathcal{I}\subset c_0(G)$ of sequences with prescribed rate of convergence to zero. We show that the equality between the full group C$^\ast$-algebra of $G$ and the C$^\ast$-completion $\mathrm{C}_{\mathcal{I}}^\ast(G)$ in the sense of Brown and Guentner implies that $G$ is amenable. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Almost multiplicative maps with respect to almost associative operations on Banach algebras

Authors: Tomasz Kochanek

Abstract: We prove an Ulam type stability result for a non-associative version of the multiplicativity equation, that is, $T(xy)=Ψ(T(x),T(y))$, where $T$ is a unital bounded operator acting from an amenable Banach algebra to a dual Banach algebra. We prove an Ulam type stability result for a non-associative version of the multiplicativity equation, that is, $T(xy)=Ψ(T(x),T(y))$, where $T$ is a unital bounded operator acting from an amenable Banach algebra to a dual Banach algebra. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: 11 pages

MSC Class: 39B82; 47B48; 46M18; 43A07

Compact perturbations of operator semigroups

Authors: Tomasz Kochanek

Abstract: We study lifting problems for operator semigroups in the Calkin algebra $\mathscr{Q}(\mathcal{H})$, our approach being mainly based on the Brown--Douglas--Fillmore theory. With any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathscr{Q}(\mathcal{H})$ we associate an extension $Γ\in\mathrm{Ext}(Δ)$, where $Δ$ is the inverse limit of certain compact metric spaces defined purely in terms of the spe… ▽ More We study lifting problems for operator semigroups in the Calkin algebra $\mathscr{Q}(\mathcal{H})$, our approach being mainly based on the Brown--Douglas--Fillmore theory. With any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathscr{Q}(\mathcal{H})$ we associate an extension $Γ\in\mathrm{Ext}(Δ)$, where $Δ$ is the inverse limit of certain compact metric spaces defined purely in terms of the spectrum $σ(A)$ of the generator of $(q(t))_{t\geq 0}$. By using Milnor's exact sequence, we show that if each $q(t)$ has a normal lift, then the question whether $Γ$ is trivial reduces to the question whether the corresponding first derived functor vanishes. With the aid of the CRISP property and Kasparov's Technical Theorem, we provide geometric conditions on $σ(A)$ which guarantee splitting of $Γ$. If $Δ$ is a perfect compact metric space, we obtain in this way a $C_0$-semigroup $(Q(t))_{t\geq 0}$ which lifts $(q(t))_{t\geq 0}$ on dyadic rationals. △ Less

Submitted 13 March, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 40 pages, 2 figures; Section 6 extended

MSC Class: 46L05; 46L80; 47D06

Approximately order zero maps between C*-algebras

Authors: Tomasz Kochanek

Abstract: We investigate linear operators between C$^\ast$-algebras which approximately preserve involution and orthogonality, the latter meaning that for some $\varepsilon>0$ we have $\|φ(x)φ(y)\|\leq\varepsilon\|x\|\|y\|$ for all positive $x,y$ with $xy=0$. We establish some structural properties of such maps concerning approximate Jordan-like equations and almost commutation relations. In some situations… ▽ More We investigate linear operators between C$^\ast$-algebras which approximately preserve involution and orthogonality, the latter meaning that for some $\varepsilon>0$ we have $\|φ(x)φ(y)\|\leq\varepsilon\|x\|\|y\|$ for all positive $x,y$ with $xy=0$. We establish some structural properties of such maps concerning approximate Jordan-like equations and almost commutation relations. In some situations (e.g. when the codomain is finite-dimensional), we show that $φ$ can be approximated by an approximate Jordan $^\ast$-homomorphism, with both errors depending only on $\|φ\|$ and $\varepsilon$. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 43 pp

MSC Class: 46L05; 46L85

Operator ideals and three-space properties of asymptotic ideal seminorms

Authors: Ryan M. Causey, Szymon Draga, Tomasz Kochanek

Abstract: We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subco… ▽ More We introduce asymptotic analogues of the Rademacher and martingale type and cotype of Banach spaces and operators acting on them. Some classical local theory results related, for example, to the `automatic-type' phenomenon, the type-cotype duality, or the Maurey-Pisier theorem, are extended to the asymptotic setting. We also investigate operator ideals corresponding to the asymptotic subtype/subcotype. As an application of this theory, we provide a sharp version of a result of Brooker and Lancien by showing that any twisted sum of Banach spaces with Szlenk power types $p$ and $q$ has Szlenk power type $\max\{p,q\}$. △ Less

Submitted 18 November, 2018; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: To appear in Trans. Amer. Math. Soc., 45 pp

MSC Class: 46B06; 46B20; 46B28 (Primary); 46B09 (Secondary)

Approximate homomorphisms on lattices

Authors: Roman Badora, Tomasz Kochanek, Barbara Przebieracz

Abstract: We prove two results concerning an Ulam-type stability problem for homomorphisms between lattices. One of them involves estimates by quite general error functions; the other deals with approximate (join) homomorphisms in terms of certain systems of lattice neighborhoods. As a corollary, we obtain a stability result for approximately monotone functions. We prove two results concerning an Ulam-type stability problem for homomorphisms between lattices. One of them involves estimates by quite general error functions; the other deals with approximate (join) homomorphisms in terms of certain systems of lattice neighborhoods. As a corollary, we obtain a stability result for approximately monotone functions. △ Less

Submitted 10 December, 2017; originally announced December 2017.

MSC Class: 06B23; 06D99; 39B82

Lipschitz-free spaces over compact subsets of superreflexive spaces are weakly sequentially complete

Authors: Tomasz Kochanek, Eva Pernecká

Abstract: Let $M$ be a compact subset of a superreflexive Banach space. We prove that the Lipschitz-free space $\mathcal{F}(M)$, the predual of the Banach space of Lipschitz functions on $M$, has the Pełczyński's property ($V^\ast$). As a consequence, the Lipschitz-free space $\mathcal{F}(M)$ is weakly sequentially complete. Let $M$ be a compact subset of a superreflexive Banach space. We prove that the Lipschitz-free space $\mathcal{F}(M)$, the predual of the Banach space of Lipschitz functions on $M$, has the Pełczyński's property ($V^\ast$). As a consequence, the Lipschitz-free space $\mathcal{F}(M)$ is weakly sequentially complete. △ Less

Submitted 3 July, 2017; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 19 pages. Section 4 providing examples added. Connections between the main result and properties (V*) and (X) discussed in the Introduction

MSC Class: 46B03; 46B20; 54E35

The Szlenk power type and tensor products of Banach spaces

Authors: Szymon Draga, Tomasz Kochanek

Abstract: We prove a formula for the Szlenk power type of the injective tensor product of Banach spaces with Szlenk index at most $ω$. We also show that the Szlenk power type as well as summability of the Szlenk index are separably determined, and we extend some of our recent results concerning direct sums. We prove a formula for the Szlenk power type of the injective tensor product of Banach spaces with Szlenk index at most $ω$. We also show that the Szlenk power type as well as summability of the Szlenk index are separably determined, and we extend some of our recent results concerning direct sums. △ Less

Submitted 12 April, 2016; originally announced April 2016.

MSC Class: 46B20; 46B28

Direct sums and summability of the Szlenk index

Authors: Szymon Draga, Tomasz Kochanek

Abstract: We prove that the $c_0$-sum of separable Banach spaces with uniformly summable Szlenk index has summable Szlenk index, whereas this result is no longer valid for more general direct sums. We also give a formula for the Szlenk power type of the $\mathfrak{E}$-direct sum of separable spaces provided that $\mathfrak{E}$ has a shrinking unconditional basis whose dual basis yields an asymptotic… ▽ More We prove that the $c_0$-sum of separable Banach spaces with uniformly summable Szlenk index has summable Szlenk index, whereas this result is no longer valid for more general direct sums. We also give a formula for the Szlenk power type of the $\mathfrak{E}$-direct sum of separable spaces provided that $\mathfrak{E}$ has a shrinking unconditional basis whose dual basis yields an asymptotic $\ell_p$ structure in $\mathfrak{E}^\ast$. As a corollary, we show that the Tsirelson direct sum of infinitely many copies of $c_0$ has power type $1$ but non-summable Szlenk index. △ Less

Submitted 24 November, 2015; originally announced November 2015.

Comments: 26 pp

MSC Class: 46B03; 46B20

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

Authors: Tomasz Kania, Tomasz Kochanek

Abstract: 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 onl… ▽ More 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. △ Less

Submitted 5 March, 2016; v1 submitted 27 March, 2015; originally announced March 2015.

Comments: to appear in Studia Math

MSC Class: Primary 46B20; 46B04; Secondary 46E15; 46B26

Journal ref: Studia Mathematica 232 (2016), 19-44

Steinhaus' lattice-point problem for Banach spaces

Authors: Tomasz Kania, Tomasz Kochanek

Abstract: 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 charac… ▽ More 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. △ Less

Submitted 15 September, 2016; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: Accepted for publication in Journal of Mathematical Analysis and Applications

MSC Class: Primary 46B04; 46B20

Journal ref: Journal of Mathematical Analysis and Applications 446 (2017), 1219-1229

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

Authors: Klaas Pieter Hart, Tomasz Kania, Tomasz Kochanek

Abstract: 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 onl… ▽ More 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)). △ Less

Submitted 15 February, 2013; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: New version, incorporating referee's comments. To appear in Quarterly Journal of Mathematics

MSC Class: 46B50; 46E15; 37F20 (Primary) 54D30; 54F05; 46B26 (Secondary)

Journal ref: The Quarterly Journal of Mathematics 65 (2014), 703-715

Characterisation of $L_p$-norms via Hölder's inequality

Authors: Tomasz Kochanek, Michał Lewicki

Abstract: We characterise $L_p$-norms on the space of integrable step functions, defined on a probabilistic space, via Hölder's type inequality with an optimality condition. We characterise $L_p$-norms on the space of integrable step functions, defined on a probabilistic space, via Hölder's type inequality with an optimality condition. △ Less

Submitted 20 September, 2012; originally announced September 2012.

MSC Class: 26D15; 39B05; 46B04

Almost orthogonally additive functions

Authors: Tomasz Kochanek, Wirginia Wyrobek-Kochanek

Abstract: If a function $f$, acting on a Euclidean space $\mathbb{R}^n$, is "almost" orthogonally additive in the sense that $f(x+y)=f(x)+f(y)$ for all $(x,y)\in\bot\setminus Z$, where $Z$ is a "negligible" subset of the $(2n-1)$-dimensional manifold $\bot\subset\mathbb{R}^{2n}$, then $f$ coincides almost everywhere with some orthogonally additive map**. If a function $f$, acting on a Euclidean space $\mathbb{R}^n$, is "almost" orthogonally additive in the sense that $f(x+y)=f(x)+f(y)$ for all $(x,y)\in\bot\setminus Z$, where $Z$ is a "negligible" subset of the $(2n-1)$-dimensional manifold $\bot\subset\mathbb{R}^{2n}$, then $f$ coincides almost everywhere with some orthogonally additive map**. △ Less

Submitted 20 September, 2012; originally announced September 2012.

MSC Class: 39B55; 58A05

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

Authors: H. G. Dales, Tomasz Kania, Tomasz Kochanek, Piotr Koszmider, Niels Jakob Laustsen

Abstract: 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):… ▽ More 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. △ Less

Submitted 11 September, 2013; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: to appear in Studia Mathematica

MSC Class: Primary 47L10; 46H10; Secondary 47L20

Journal ref: Studia Mathematica 218, Issue 3, (2013), 245-286

Stability of vector measures and twisted sums of Banach spaces

Authors: Tomasz Kochanek

Abstract: A Banach space $X$ is said to have the $\mathsf{SVM}$ (stability of vector measures) property if there exists a constant $v<\infty$ such that for any algebra of sets $\mathcal F$, and any function $ν\colon\mathcal F\to X$ satisfying $$\|ν(A\cup B)-ν(A)-ν(B)\|\leq 1\quad{for disjoint}A,B\in\mathcal F,$$there is a vector measure $μ\colon\mathcal F\to X$ with $\|ν(A)-μ(A)\|\leq v$ for all… ▽ More A Banach space $X$ is said to have the $\mathsf{SVM}$ (stability of vector measures) property if there exists a constant $v<\infty$ such that for any algebra of sets $\mathcal F$, and any function $ν\colon\mathcal F\to X$ satisfying $$\|ν(A\cup B)-ν(A)-ν(B)\|\leq 1\quad{for disjoint}A,B\in\mathcal F,$$there is a vector measure $μ\colon\mathcal F\to X$ with $\|ν(A)-μ(A)\|\leq v$ for all $A\in\mathcal F$. If this condition is valid when restricted to set algebras $\mathcal F$ of cardinality less than some fixed cardinal number $κ$, then we say that $X$ has the $κ$-$\mathsf{SVM}$ property. The least cardinal $κ$ for which $X$ does not have the $κ$-$\mathsf{SVM}$ property (if it exists) is called the $\mathsf{SVM}$ character of $X$. We apply the machinery of twisted sums and quasi-linear maps to characterise these properties and to determine $\mathsf{SVM}$ characters for many classical Banach spaces. We also discuss connections between the $κ$-$\mathsf{SVM}$ property, $κ$-injectivity and the `three-space' problem. △ Less

Submitted 25 February, 2013; v1 submitted 23 August, 2012; originally announced August 2012.

MSC Class: Primary 28B05; 46G10; 46B25; Secondary 46B03

$\mathcal F$-bases with brackets and with individual brackets in Banach spaces

Authors: Tomasz Kochanek

Abstract: We provide a partial answer to the question of Vladimir Kadets whether given an $\mathcal F$-basis of a Banach space $X$, with respect to some filter $\mathcal F\subset \mathcal P(\mathbb N)$, the coordinate functionals are continuous. The answer is positive if the character of $\mathcal F$ is less than $\mathfrak{p}$. In this case every $\mathcal F$-basis with individual brackets is an $M$-basis… ▽ More We provide a partial answer to the question of Vladimir Kadets whether given an $\mathcal F$-basis of a Banach space $X$, with respect to some filter $\mathcal F\subset \mathcal P(\mathbb N)$, the coordinate functionals are continuous. The answer is positive if the character of $\mathcal F$ is less than $\mathfrak{p}$. In this case every $\mathcal F$-basis with individual brackets is an $M$-basis with brackets determined by a set from $\mathcal F$. △ Less

Submitted 13 November, 2012; v1 submitted 12 July, 2012; originally announced July 2012.

MSC Class: 46B15

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

Authors: Tomasz Kania, Tomasz Kochanek

Abstract: 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 o… ▽ More 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. △ Less

Submitted 6 December, 2013; v1 submitted 23 June, 2012; originally announced June 2012.

MSC Class: 47L10; 47L20 (Primary) 46H10; 46B26 (Secondary)

Journal ref: Journal of Operator Theory Volume 71, Issue 2 (Spring 2014), 455-477