On pairs of commuting derivations of the polynomial ring in one or two variables

It is well known that each pair of commuting linear operators on a finite dimensional vector space over an algebraically closed field has a common eigenvector. We prove an analogous statement for derivations of k[x] and k[x,y] over any field k of zero characteristic. In particular, if D₁ and D₂ are commuting derivations of k[x,y] and they are linearly independent over k, then either (i) they have a common polynomial eigenfunction; i.e., a nonconstant polynomial f∈k[x,y] such that D₁(f)=λf and D₂(f)=μf for some λ,μ∈k[x,y], or (ii) they are Jacobian derivations

     

Simultaneous solutions of Sylvester equations and idempotent matrices separating the joint spectrum

We investigate simultaneous solutions of the matrix Sylvester equations A_iX-XB_i=C_i,i=1,2,…,k, where {A₁,…,A_k} and {B₁,…,B_k} are k-tuples of commuting matrices of order m×m and p×p, respectively. We show that the matrix Sylvester equations have a unique solution X for every compatible k-tuple of m×p matrices {C₁,…,C_k} if and only if the joint spectra σ(A₁,…,A_k) and σ(B₁,…,B_k) are disjoint. We discuss the connection between the simultaneous solutions of Sylvester equations and related questions about idempotent matrices separating disjoint subsets of the joint spectrum, spectral mapping for the differences of commuting k-tuples, and a characterization of the joint spectrum via simultaneous solutions of systems of linear equations.     

On the essential approximate point spectrum of operators

If belongs to the essential approximate point spectrum of a Banach space operatorTB(X) and is a sequence of positive numbers with lim ^j a _j =0, then there existsxX such that for every polynomialp. This result is the best possible — if for some constantc>0 thenT has already a non-trivial invariant subspace, which is not true in general.     

Spherical Isometries are Reflexive

Let H be a separable complex Hilbert space. A commuting tuple of bounded linear operators on H is called a spherical isometry if the relation holds. In this note it is shown that each spherical isometry is reflexive.     

Reflexivity for Subnormal Systems With Dominating Spectrum in Product Domains

The question whether every subnormal tuple on a complex Hilbert space is reflexive is one of the major open problems in multivariable invariant subspace theory. Positive answers have been given for subnormal tuples with rich spectrum in the unit polydisc or the unit ball. The ball case has been extended by Didas [6] to strictly pseudoconvex domains. In the present note we extend the polydisc case by showing that every subnormal tuple with pure components and rich Taylor spectrum in a bounded polydomain is reflexive.     

On the divisorial spectrum of a Noetherian domain

For a Noetherian domain, the sets of divisorial primes, t-primes, and associated primes of principal ideals coincide. We study the divisorial primes of a Noetherian domain as a partially ordered set. In particular, we show that it is possible to have arbitrarily long chains and any finite amount of noncatenarity.     

Invariant subspaces and localizable spectrum

LetT L(X) be a continuous linear operator on a complex Banach spaceX. We show thatT possesses non-trivial closed invariant subspaces if its localizable spectrum _loc(T) is thick in the sense of the Scott Brown theory. Since for quotients of decomposable operators the spectrum and the localizable spectrum coincide, it follows that each quasiaffine transformation of a Banach-space operator with Bishop's property () and thick spectrum has a non-trivial invariant subspace. In particular it follows that invariant-subspace results previously known for restrictions and quotients of decomposable operators are preserved under quasisimilarity.     

The courant-fischer theorem and the spectrum of selfadjoint block band Toeplitz operators

We show that ifT(F) is a selfadjoint block Toeplitz operator generated by a trigonometric matrix polynomialF, then the spectrum ofT(F) as well as the limiting set (F) of the eigenvalues of the truncationsT _n (F) is the union of a finite collection of segments (the spectral range ofF) and at most a finite set of points for which we give an upper bound.     

Additive local spectrum compressors

Let L(X) be the algebra of all bounded linear operators on an infinite dimensional complex Banach space X. We characterize additive continuous maps from L(X) onto itself which compress the local spectrum and the convexified local spectrum at a nonzero fixed vector. Additive continuous maps from L(X) onto itself that preserve the local spectral radius at a nonzero fixed vector are also characterized.     

Absolute Equivalence and Dirac Operators of Commuting Tuples of Operators

In this paper we define an equivalence relation of operators on Hilbert spaces which we call absolute equivalence. Two operators are called absolutely equivalent if both the absolute value of the operators and their adjoints are unitarily equivalent. We then use the properties of this equivalence relation to study the Koszul complex of a commuting tuple of operators through the Dirac operator of the tuple.     

On the Existence of Solutions to the Operator Riccati Equation and the tan Θ Theorem

Let A and C be self-adjoint operators such that the spectrum of A lies in a gap of the spectrum of C and let d > 0 be the distance between the spectra of A and C. Under these assumptions we prove that the best possible value of the constant c in the condition guaranteeing the existence of a (bounded) solution to the operator Riccati equation XA–CX+XBX = B* is equal to We also prove an extension of the Davis-Kahan tan theorem and provide a sharp estimate for the norm of the solution to the Riccati equation. If C is bounded, we prove, in addition, that the solution X is a strict contraction if B satisfies the condition and that this condition is optimal.     

The spectral picture and the closure of the similarity orbit of strongly irreducible operators

An operator on a complex, separable, infinite dimensional Hilbert space is strongly irreducible if it does not commute with any nontrivial idempotent. This article answers the following questions of D. A. Herrero: (i) Given an operatorT with connected spectrum, can we find a strongly irreducible operatorL such that they have same spectral picture? (ii) When we use a sequence of irreducible operators to approximateT, can the approximation be the “most economic”? i.e., does there exist a strongly irreducible operatorL such thatT ∈S(L) ^? (the closure of the similarity orbit ofL)? It is shown that the answer for the two questions is yes.     

Multilinear Forms of Hilbert Type and Some Other Distinguished Forms

We give some new examples of bounded multilinear forms on the Hilbert spaces ℓ₂ and L₂ (0, ∞). We characterize those which are compact or Hilbert-Schmidt. In particular, we study m-linear forms (m ≥ 3) on ℓ₂ which can be regarded as the multilinear analogue of the famous Hilbert matrix. We also determine the norm of the permanent on where      

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

On invariant subspaces of Volterra-type operators

The lattice of all the closed, invariant subspaces of the Volterra integration operator onL ²[0, 1] is equal to {B(a):a[0, 1]}, whereB(a)={fL ²[0, 1]:f=0 a.e. on [0,a]}. In order to extend this result to Banach function spaces we study the Volterra-type operatorV that was introduced in [7] for the case ofL ^p -spaces. Our main result characterizesL-closed subspaces of a Banach function spaceL that are invariant underV, whereL denotes the associate space ofL. In particular, if the norm ofL is order continuous and ifV is injective, then all the closed, invariant subspaces ofV are determined.This work was supported by the Research Ministry of Slovenia.     

Wandering Subspace Theorems

We consider the approximation relation (0.1) below as well as some stronger statements phrased in terms of summability of the series (0.4). The principal new result is an estimate of Fourier multiplier type for this series. The results obtained also include strengthened forms of previous results by S. Richter [7], A. Aleman, S. Richter and C. Sundberg [1], and S. M. Shimorin [8].     

Common invariant subspaces for collections of operators

Let be a collection of bounded operators on a Banach spaceX of dimension at least two. We say that is finitely quasinilpotent at a vectorx ₀X whenever for any finite subset of the joint spectral radius of atx ₀ is equal 0. If such collection contains a non-zero compact operator, then and its commutant have a common non-trivial invariant, subspace. If in addition, is a collection of positive operators on a Banach lattice, then has a common non-trivial closed ideal. This result and a recent remarkable theorem of Turovskii imply the following extension of the famous result of de Pagter to semigroups. Let be a multiplicative semigroup of quasinilpotent compact positive operators on a Banach lattice of dimension at least two. Then has a common non-trivial invariant closed ideal.This work was supported by the Research Ministry of Slovenia.