-
Commutators greater than a perturbation of the identity
Authors:
Roman Drnovšek,
Marko Kandić
Abstract:
Let $a$ and $b$ be elements of an ordered normed algebra $\mathcal A$ with unit $e$. Suppose that the element $a$ is positive and that for some $\varepsilon>0$ there exists an element $x\in \mathcal A$ with $\|x\|\leq \varepsilon$ such that $$ ab-ba \geq e+x . $$
If the norm on $\mathcal A$ is monotone, then we show $$ \|a\|\cdot \|b\|\geq \tfrac{1}{2} \ln \tfrac{1}{\varepsilon} , $$ which can b…
▽ More
Let $a$ and $b$ be elements of an ordered normed algebra $\mathcal A$ with unit $e$. Suppose that the element $a$ is positive and that for some $\varepsilon>0$ there exists an element $x\in \mathcal A$ with $\|x\|\leq \varepsilon$ such that $$ ab-ba \geq e+x . $$
If the norm on $\mathcal A$ is monotone, then we show $$ \|a\|\cdot \|b\|\geq \tfrac{1}{2} \ln \tfrac{1}{\varepsilon} , $$ which can be viewed as an order analog of Popa's quantitative result for commutators of operators on Hilbert spaces.
We also give a relevant example of positive operators $A$ and $B$ on the Hilbert lattice $\ell^2$ such that their commutator $A B - B A$ is greater than an arbitrarily small perturbation of the identity operator.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
On the diagonal of Riesz operators on Banach lattices
Authors:
Roman Drnovšek,
Marko Kandić
Abstract:
This paper extends the well-known Ringrose theory for compact operators to polynomially Riesz operators on Banach spaces. The particular case of an ideal-triangularizable Riesz operator on an order continuous Banach lattice yields that the spectrum of such operator lies on its diagonal, which motivates the systematic study of an abstract diagonal of a regular operator on an order complete vector l…
▽ More
This paper extends the well-known Ringrose theory for compact operators to polynomially Riesz operators on Banach spaces. The particular case of an ideal-triangularizable Riesz operator on an order continuous Banach lattice yields that the spectrum of such operator lies on its diagonal, which motivates the systematic study of an abstract diagonal of a regular operator on an order complete vector lattice $E$. We prove that the class $\mathscr D$ of regular operators for which the diagonal coincides with the atomic diagonal is always a band in $\mathcal L_r(E)$, which contains the band of abstract integral operators. If $E$ is also a Banach lattice, then $\mathscr D$ contains positive Riesz operators.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Hyperinvariant subspaces for sets of polynomially compact operators
Authors:
Janko Bračič,
Marko Kandić
Abstract:
We prove the existence of a non-trivial hyperinvariant subspace for several sets of polynomially compact operators. The main results of the paper are:
(i) a non-trivial norm closed algebra $\mathcal A\subseteq \mathcal B(\mathscr X)$ which consists of polynomially compact quasinilpotent operators has a non-trivial hyperinvariant subspace;
(ii) if there exists a non-zero compact operator in the…
▽ More
We prove the existence of a non-trivial hyperinvariant subspace for several sets of polynomially compact operators. The main results of the paper are:
(i) a non-trivial norm closed algebra $\mathcal A\subseteq \mathcal B(\mathscr X)$ which consists of polynomially compact quasinilpotent operators has a non-trivial hyperinvariant subspace;
(ii) if there exists a non-zero compact operator in the norm closure of the algebra generated by an operator band $\mathcal S$, then $\mathcal S$ has a non-trivial hyperinvariant subspace.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
Collineations preserving the lattice of invariant subspaces of a linear transformation
Authors:
Janko Bračič,
Marko Kandić
Abstract:
Given a linear transformation $A$ on a finite-dimensional complex vector space $\eV$, in this paper we study the group $\Col(A)$ consisting of those invertible linear transformations $S$ on $\eV$ for which the map** $Φ_S$ defined as $Φ_S\colon \eM\mapsto S\eM$ is an automorphism of the lattice $\Lat(A)$ of all invariant subspaces of $A$. By using the primary decomposition of $A$, we first reduce…
▽ More
Given a linear transformation $A$ on a finite-dimensional complex vector space $\eV$, in this paper we study the group $\Col(A)$ consisting of those invertible linear transformations $S$ on $\eV$ for which the map** $Φ_S$ defined as $Φ_S\colon \eM\mapsto S\eM$ is an automorphism of the lattice $\Lat(A)$ of all invariant subspaces of $A$. By using the primary decomposition of $A$, we first reduce the problem of characterizing $\Col(A)$ to the problem of characterizing the group $\Col(N)$ of a given nilpotent linear transformation $N$. While $\Col(N)$ always contains all invertible linear transformations of the commutant $(N)'$ of $N$, it is always contained in the reflexive cover $\Alg\Lat(N)'$ of $(N)'$. We prove that $\Col(N)$ is a proper subgroup of $(\Alg\Lat(N)')^{-1}$ if and only if at least two Jordan blocks in the Jordan decomposition of $N$ are of dimension $2$ or more. We also determine the group $\Col(\bdJ_2\oplus \bdJ_2)$.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
On separability of unbounded norm topology
Authors:
Marko Kandić,
Aleš Vavpetič
Abstract:
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed lattice. We apply our results to prove that an order continuous Banach function space $X$ over a semi-finite measure space is separable if and only if it has a…
▽ More
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed lattice. We apply our results to prove that an order continuous Banach function space $X$ over a semi-finite measure space is separable if and only if it has a $σ$-finite carrier and is separable with respect to the topology of local convergence in measure. We also address the question when a normed lattice is a normal space with respect to the un-topology.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Prime ideals and Noetherian properties in vector lattices
Authors:
Marko Kandić,
Mark Roelands
Abstract:
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the prime ideals are order dense, secondly, that there are only finitely many prime ideals, thirdly, that every prime ideal is principal, and lastly, that every ascend…
▽ More
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the prime ideals are order dense, secondly, that there are only finitely many prime ideals, thirdly, that every prime ideal is principal, and lastly, that every ascending chain of prime ideals is stationary (a property that we refer to as prime Noetherian). We also completely characterize the prime ideals in vector lattices of piecewise polynomials, which turns out to be an interesting class of vector lattices for studying principal prime ideals and ascending chains of prime ideals.
△ Less
Submitted 22 April, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Relatively Uniformly Continuous Semigroups on Vector Lattices
Authors:
Marko Kandić,
Michael Kaplin
Abstract:
In this paper we study continuous semigroups of positive operators on general vector lattices equipped with the relative uniform topology $τ_{ru}$. We introduce the notions of strong continuity with respect to $τ_{ru}$ and relative uniform continuity for semigroups. These notions allow us to study semigroups on non-locally convex spaces such as $L^p(\mathbb{R})$ for $0<p<1$ and non-complete spaces…
▽ More
In this paper we study continuous semigroups of positive operators on general vector lattices equipped with the relative uniform topology $τ_{ru}$. We introduce the notions of strong continuity with respect to $τ_{ru}$ and relative uniform continuity for semigroups. These notions allow us to study semigroups on non-locally convex spaces such as $L^p(\mathbb{R})$ for $0<p<1$ and non-complete spaces such as $Lip(\mathbb{R})$, $UC(\mathbb{R})$, and $C_c(\mathbb{R})$. We show that the (left) translation semigroup on the real line, the heat semigroup and some Koopman semigroups are relatively uniformly continuous on a variety of spaces.
△ Less
Submitted 16 December, 2018; v1 submitted 6 July, 2018;
originally announced July 2018.
-
Metrizability of minimal and unbounded topologies
Authors:
Marko Kandić,
Mitchell A. Taylor
Abstract:
In 1987, I. Labuda proved a general representation theorem that, as a special case, shows that the topology of local convergence in measure is the minimal topology on Orlicz spaces and $L_{\infty}$. Minimal topologies connect with the recent, and actively studied, subject of "unbounded convergences". In fact, a Hausdorff locally solid topology $τ$ on a vector lattice $X$ is minimal iff it is Lebes…
▽ More
In 1987, I. Labuda proved a general representation theorem that, as a special case, shows that the topology of local convergence in measure is the minimal topology on Orlicz spaces and $L_{\infty}$. Minimal topologies connect with the recent, and actively studied, subject of "unbounded convergences". In fact, a Hausdorff locally solid topology $τ$ on a vector lattice $X$ is minimal iff it is Lebesgue and the $τ$ and unbounded $τ$-topologies agree. In this paper, we study metrizability, submetrizability, and local boundedness of the unbounded topology, $uτ$, associated to $τ$ on $X$. Regarding metrizability, we prove that if $τ$ is a locally solid metrizable topology then $uτ$ is metrizable iff there is a countable set $A$ with $\overline{I(A)}^τ=X$. We prove that a minimal topology is metrizable iff $X$ has the countable sup property and a countable order basis. In line with the idea that uo-convergence generalizes convergence almost everywhere, we prove relations between minimal topologies and uo-convergence that generalize classical relations between convergence almost everywhere and convergence in measure.
△ Less
Submitted 15 September, 2017;
originally announced September 2017.
-
Positive operators as commutators of positive operators
Authors:
Roman Drnovšek,
Marko Kandić
Abstract:
It is known that a positive commutator $C=A B - B A$ between positive operators on a Banach lattice is quasinilpotent whenever at least one of $A$ and $B$ is compact. In this paper we study the question under which conditions a positive operator can be written as a commutator between positive operators. As a special case of our main result we obtain that positive compact operators on order continu…
▽ More
It is known that a positive commutator $C=A B - B A$ between positive operators on a Banach lattice is quasinilpotent whenever at least one of $A$ and $B$ is compact. In this paper we study the question under which conditions a positive operator can be written as a commutator between positive operators. As a special case of our main result we obtain that positive compact operators on order continuous Banach lattices which admit order Pelczyński decomposition are commutators between positive operators. Our main result is also applied in the setting of a separable infinite-dimensional Banach lattice $L^p(μ)$ $(1<p<\infty)$.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
The countable sup property for lattices of continuous functions
Authors:
Marko Kandić,
Aleš Vavpetič
Abstract:
In this paper we find sufficient and necessary conditions under which vector lattice $C(X)$ and its sublattices $C_b(X)$, $C_0(X)$ and $C_c(X)$ have the countable sup property. It turns out that the countable sup property is tightly connected to the countable chain condition of the underlying topological space $X$. We also consider the countable sup property of $C(X\times Y)$. Even when both…
▽ More
In this paper we find sufficient and necessary conditions under which vector lattice $C(X)$ and its sublattices $C_b(X)$, $C_0(X)$ and $C_c(X)$ have the countable sup property. It turns out that the countable sup property is tightly connected to the countable chain condition of the underlying topological space $X$. We also consider the countable sup property of $C(X\times Y)$. Even when both $C(X)$ and $C(Y)$ have the countable sup property it is possible that $C(X\times Y)$ fails to have it. For this construction one needs to assume the continuum hypothesis. In general, we present a positive result in this direction and also address the question when $C(\prod_{λ\inΛ} X_λ)$ has the countable sup property. Our results can be understood as vector lattice theoretical versions of results regarding products of spaces satisfying the countable chain condition. We also present new results for general vector lattices that are of an independent interest.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
Unbounded norm topology beyond normed lattices
Authors:
M. Kandić,
H. Li,
V. G. Troitsky
Abstract:
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_α)$ un-converges to $y$ in $Y$ with respect to $X$ if $\Bigl\lVert\lvert y_α-y\rvert \wedge x\Bigr\rVert\to 0$ for every $x\in X_+$. We extend several known results about un-convergence and un-topology…
▽ More
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_α)$ un-converges to $y$ in $Y$ with respect to $X$ if $\Bigl\lVert\lvert y_α-y\rvert \wedge x\Bigr\rVert\to 0$ for every $x\in X_+$. We extend several known results about un-convergence and un-topology to this new setting. We consider the special case when $Y$ is the universal completion of $X$. If $Y=L_0(μ)$, the space of all $μ$-measurable functions, and $X$ is an order continuous Banach function space in $Y$, then the un-convergence on $Y$ agrees with the convergence in measure. If $X$ is atomic and order complete and $Y=\mathbb R^A$ then the un-convergence on $Y$ agrees with the coordinate-wise convergence.
△ Less
Submitted 23 October, 2017; v1 submitted 30 March, 2017;
originally announced March 2017.
-
Topological aspects of order in $C(X)$
Authors:
Marko Kandić,
Aleš Vavpetič
Abstract:
In this paper we consider the relationship between order and topology in the vector lattice $C_b(X)$ of all bounded continuous functions on a Hausdorff space $X$. We prove that the restriction of $f\in C_b(X)$ to a closed set $A$ induces an order continuous operator iff $A=\overline{\mathrm{Int} A}.$ This result enables us to easily characterize bands and projection bands in $C_0(X)$ and $C_b(X)$…
▽ More
In this paper we consider the relationship between order and topology in the vector lattice $C_b(X)$ of all bounded continuous functions on a Hausdorff space $X$. We prove that the restriction of $f\in C_b(X)$ to a closed set $A$ induces an order continuous operator iff $A=\overline{\mathrm{Int} A}.$ This result enables us to easily characterize bands and projection bands in $C_0(X)$ and $C_b(X)$ through the one-point compactification and the Stone-Čech compactification of $X$, respectively. With these characterizations we describe order complete $C_0(X)$ and $C_b(X)$-spaces in terms of extremally disconnected spaces. Our results serve us to solve an open question on lifting un-convergence in the case of $C_0(X)$ and $C_b(X)$.
△ Less
Submitted 16 December, 2016;
originally announced December 2016.
-
Unbounded Norm Topology in Banach Lattices
Authors:
M. Kandić,
M. A. A. Marabeh,
V. G. Troitsky
Abstract:
A net $(x_α)$ in a Banach lattice $X$ is said to un-converge to a vector $x$ if $\bigl\lVert\lvert x_α-x\rvert\wedge u\bigr\rVert\to 0$ for every $u\in X_+$. In this paper, we investigate un-topology, i.e., the topology that corresponds to un-convergence. We show that un-topology agrees with the norm topology iff $X$ has a strong unit. Un-topology is metrizable iff $X$ has a quasi-interior point.…
▽ More
A net $(x_α)$ in a Banach lattice $X$ is said to un-converge to a vector $x$ if $\bigl\lVert\lvert x_α-x\rvert\wedge u\bigr\rVert\to 0$ for every $u\in X_+$. In this paper, we investigate un-topology, i.e., the topology that corresponds to un-convergence. We show that un-topology agrees with the norm topology iff $X$ has a strong unit. Un-topology is metrizable iff $X$ has a quasi-interior point. Suppose that $X$ is order continuous, then un-topology is locally convex iff $X$ is atomic. An order continuous Banach lattice $X$ is a KB-space iff its closed unit ball $B_X$ is un-complete. For a Banach lattice $X$, $B_X$ is un-compact iff $X$ is an atomic KB-space. We also study un-compact operators and the relationship between un-convergence and weak*-convergence.
△ Less
Submitted 21 January, 2017; v1 submitted 19 August, 2016;
originally announced August 2016.
-
Triangularizability of Families of Polynomially Compact Operators
Authors:
Roman Drnovšek,
Marko Kandić
Abstract:
A recent paper of Shemesh shows triangularizability of a pair $\{A, B\}$ of complex matrices satisfying the condition $A [A,B]=[A,B] B=0$, or equivalently, the matrices $A$ and $B$ commute with their product $A B$. In this paper we extend this result to polynomially compact operators on Banach spaces. The case when the underlying space is Hilbert and one of operators is normal is also studied. Fur…
▽ More
A recent paper of Shemesh shows triangularizability of a pair $\{A, B\}$ of complex matrices satisfying the condition $A [A,B]=[A,B] B=0$, or equivalently, the matrices $A$ and $B$ commute with their product $A B$. In this paper we extend this result to polynomially compact operators on Banach spaces. The case when the underlying space is Hilbert and one of operators is normal is also studied. Furthermore, we consider families of polynomially compact operators whose iterated commutators of some fixed length are zero. We also obtain a structure result in the special case of a finite family of algebraic operators.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
On the dimension of the algebra generated by two positive semi-commuting matrices
Authors:
Marko Kandić,
Klemen Šivic
Abstract:
Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the dimension of the unital algebra generated by the matrices is at most $\frac{n(n+1)}{2}$ and that this bound can be attained. We also consider the corresponding q…
▽ More
Gerstenhaber's theorem states that the dimension of the unital algebra generated by two commuting $n\times n$ matrices is at most $n$. We study the analog of this question for positive matrices with a positive commutator. We show that the dimension of the unital algebra generated by the matrices is at most $\frac{n(n+1)}{2}$ and that this bound can be attained. We also consider the corresponding question if one of the matrices is a permutation or a companion matrix or both of them are idempotents. In these cases, the upper bound for the dimension can be reduced significantly. In particular, the unital algebra generated by two semi-commuting positive idempotent matrices is at most $9$-dimensional. This upper bound can be attained.
△ Less
Submitted 22 June, 2016; v1 submitted 4 March, 2016;
originally announced March 2016.
-
On the positive commutator in the radical
Authors:
Marko Kandić,
Klemen Šivic
Abstract:
In this paper we prove that a positive commutator between a positive compact operator $A$ and a positive operator $B$ is in the radical of the Banach algebra generated by $A$ and $B$. Furthermore, on every at least three-dimensional Banach lattice we construct finite rank operators $A$ and $B$ satisfying $AB\geq BA\geq 0$ such that the commutator $AB-BA$ is not contained in the radical of the Bana…
▽ More
In this paper we prove that a positive commutator between a positive compact operator $A$ and a positive operator $B$ is in the radical of the Banach algebra generated by $A$ and $B$. Furthermore, on every at least three-dimensional Banach lattice we construct finite rank operators $A$ and $B$ satisfying $AB\geq BA\geq 0$ such that the commutator $AB-BA$ is not contained in the radical of the Banach algebra generated by $A$ and $B$. These two results now completely answer to two open questions published in [4]. We also obtain relevant results in the case of the Volterra and the Donoghue operator.
△ Less
Submitted 20 May, 2014;
originally announced May 2014.
-
From local to global ideal-triangularizability
Authors:
Roman Drnovšek,
Marko Kandić
Abstract:
Let L be a Banach lattice with order continuous norm, and let S be a multiplicative semigroup of ideal-triangularizable positive compact operators on L such that, for every pair A, B in S, the atomic diagonal of the commutator AB-BA is equal to zero. We prove that the semigroup S is ideal-triangularizable.
Let L be a Banach lattice with order continuous norm, and let S be a multiplicative semigroup of ideal-triangularizable positive compact operators on L such that, for every pair A, B in S, the atomic diagonal of the commutator AB-BA is equal to zero. We prove that the semigroup S is ideal-triangularizable.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.