Lifting commuting pairs of C1 algebras

Given a commuting pair $\text{A}$₁, $\text{A}$₂ of abelian $\text{C}{}^1$ subalgebras of the Calkin algebra, we look for a commuting pair $\text{B}$₁,$\text{B}$₂ of $\text{C}{}^1$ subalgebras of $\text{B(H)}$ which project onto $\text{A}$₁ and $\text{A}$₂. We do not insist that $\text{B}$_i, be abelian, so $\text{B}$_i, may contain nontrivial compact operators. If X is the joint spectrum σ($\text{A}$₁, $\text{A}$₂), it is shown that the existence of a pair $\text{B}$₁, $\text{B}$₂ depends only on the element τ in Ext(X) determined by $\text{A}$₁, $\text{A}$₂. The set L(X) of those τ in Ext(X) which “lift” in this sense is shown to be a subgroup of Ext(X) when Ext(X) is Hausdorff, and also when $\text{A}$_i are singly generated. In this latter case, L(X) can be explicitly calculated for large classes of joint spectra. These results are applied to lift certain pairs of commuting elements of the Calkin algebra to pairs of commuting operators.     

Automorphisms of C1-algebra bundles

Let B be a unital C¹-algebra and A = Γ(E) be the C¹-algebra of sections of a bundle over the separable compact space X with fibre B and structure group Inn B. If B is the quotient of an AW¹-algebra, then an exact sequence: 0 → Inn A → PInn A →^ηH²(X, G), where PInn A is the group of pointwise inner automorphisms of A and G=H^°(Z(B)^, $\text{Z}$) is obtained. The map η is onto whenever A = C(X, B) and B is the quotient of a purely infinite AW¹-algebra. An essential part of the analysis is the result that Ad: U(B) → Inn B is a fibre bundle if and only if the space of inner derivations of B is norm closed. These results extend and clarify previous joint work with I. Raeburn (Indiana Univ. Math. J.29 (1980), 799).     

Examples of proper k-ball contractive retractions in F-normed spaces

Assume X is an infinite dimensional F-normed space and let r be a positive number such that the closed ball Br(X) of radius r is properly contained in X. The main aim of this paper is to give examples of regular F-normed ideal spaces in which there is a 1-ball or a (1+ε)-ball contractive retraction of Br(X) onto its boundary with positive lower Hausdorff measure of noncompactness. The examples are based on the abstract results of the paper, obtained under suitable hypotheses on X.     

The notion of o-tightness and C-embedded subspaces of products

We consider the question: when is a dense subset of a space XC-embedded in X? We introduce the notion of o-tightness and prove that if each finite subproduct of a product X = Π_α?AX_α has a countable o-tightness and Y is a subset of X such that π_B(Y) = Π_α?BX_α for every countable B ? A, then Y is C-embedded in X. This result generalizes some of Noble and Ulmer's results on C-embedding.     

On countable bounded tightness for spaces Cp(X)

It is well known that the space C_p([0,1]) has countable tightness but it is not Fréchet-Urysohn. Let X be a Cech-complete topological space. We prove that the space C_p(X) of continuous real-valued functions on X endowed with the pointwise topology is Fréchet-Urysohn if and only if C_p(X) has countable bounded tightness, i.e., for every subset A of C_p(X) and every x in the closure of A in C_p(X) there exists a countable and bounding subset of A whose closure contains x. We study also the problem when the weak topology of a locally convex space has countable bounded tightness. Additional results in this direction are provided.     

Local selections and local dendrites

Let X be a Peano continuum, C(X) its space of subcontinua, and C(X, ε) the space of subcontinua of diameter less than ε. A selection on some subspace of C(X) is a continuous choice function; the selection σ is rigid if σ(A) ? B ? A implies σ(A) = σ(B). It is shown that X is a local dendrite (contains at most one simple closed curve) if and only if there exists ε > 0 such that C(X, ε) admits a selection (rigid selection). Further, C(X) admits a local selection at the subcontinuum A if and only if A has a neighborhood (relative to the space C(X)) which contains no cyclic local dendrite; moreover, that local selection may be chosen to be a constant.     

The Hilbert-Chow morphism and the incidence divisor: Zero-cycles and divisors

For a smooth projective variety X of dimension n, on the product of Chow varieties C_a(X)×C_n−a−1(X) parameterizing pairs (A,B) of an a-cycle A and an (n−a−1)-cycle B in X, Barry Mazur raised the problem of constructing a Cartier divisor supported on the locus of pairs with A∩B≠0?. We introduce a new approach to this problem, and new techniques supporting this approach.     

A Nagata-like theorem for certain function spaces

Let X be a space, and let A be a zero-dimensional topological ring. In this paper we will consider a few natural questions that arise when studying the space C _p (X, A), the ring of continuous functions from X to A, endowed with the topology of pointwise convergence. It will be shown that the zero-dimensionality of the codomain plays a vital role in this study. An upper and lower bound will be determined for the density of C _p (X, A) using the density of A and the weight of X. The character of C _p (X, A) will be computed, thus characterizing when C _p (X, A) is metrizable. Lastly, we will consider the topological dual space of C _p (X, A) and use it to prove a Nagata-like theorem.     

Rank-1 perturbations of cosine functions and semigroups

Let A be the generator of a cosine function on a Banach space X. In many cases, for example if X is a UMD-space, A+B generates a cosine function for each B∈L(D((ω−A)^1/2),X). If A is unbounded and , then we show that there exists a rank-1 operator B∈L(D(γ(ω−A)),X) such that A+B does not generate a cosine function. The proof depends on a modification of a Baire argument due to Desch and Schappacher. It also allows us to prove the following. If A+B generates a distribution semigroup for each operator B∈L(D(A),X) of rank-1, then A generates a holomorphic C₀-semigroup. If A+B generates a C₀-semigroup for each operator B∈L(D(γ(ω−A)),X) of rank-1 where 0<γ<1, then the semigroup T generated by A is differentiable and ‖T^′(t)‖=O(t−α) as t↓0 for any α>1/γ. This is an approximate converse of a perturbation theorem for this class of semigroups.     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

On derivable mappings

A linear mapping δ from an algebra A into an A-bimodule M is called derivable at c∈A if δ(a)b+aδ(b)=δ(c) for all a,b∈A with ab=c. For a norm-closed unital subalgebra A of operators on a Banach space X, we show that if C∈A has a right inverse in B(X) and the linear span of the range of rank-one operators in A is dense in X then the only derivable mappings at C from A into B(X) are derivations; in particular the result holds for all completely distributive subspace lattice algebras, J-subspace lattice algebras, and norm-closed unital standard algebras of B(X). As an application, every Jordan derivation from such an algebra into B(X) is a derivation. For a large class of reflexive algebras A on a Banach space X, we show that inner derivations from A into B(X) can be characterized by boundedness and derivability at any fixed C∈A, provided C has a right inverse in B(X). We also show that if A is a canonical subalgebra of an AF C^∗-algebra B and M is a unital Banach A-bimodule, then every bounded local derivation from A into M is a derivation; moreover, every bounded linear mapping from A into B that is derivable at the unit I is a derivation.     

A conjugated version of the countable dense homogeneity

We are interested in finding a homeomorphism h of a space X with h⁻¹○Φ○h(A)=B for a given bijection Φ of X and every pair of countable dense subsets A and B of X. For a separable Banach space X, such a homeomorphism h always exists provided the fixed-point set of Φ has the empty interior. Moreover, h can be chosen to be real-analytic. As a consequence, there exists a real analytic flow that sends A onto B after time t=1. Actually, for X=Rn, any bounded real-analytic vector field can be approximated by a real-analytic vector field whose induced flow sends A onto B after time t=1. Topological and Cp smooth counterparts of these results are also obtained.     

On a particular case of the inconsistent linear matrix equation AX+YB=C

We consider the linear matrix equation AX+YB=C where A,B, and C are given matrices of dimensions (r+1)×r, s×(s+1), and (r+1)×(s+1), respectively, and rank A = r, rank B = s. We give a connection between the least-squares solution and the solution which minimizes an arbitrary norm of the residual matrix C?AX? YB.     

On the bounds for the norms of r-circulant matrices with the Fibonacci and Lucas numbers

In this paper, we have found upper and lower bounds for the spectral norms of r-circulant matrices in the forms A = C_r(F₀, F₁, …, F_n−1), B = C_r(L₀, L₁, …, L_n−1), and we have obtained some bounds for the spectral norms of Kronecker and Hadamard products of A and B matrices.     

Essential point spectra of operator matrices trough local spectral theory

For A∈B(X), B∈B(Y) and C∈B(Y,X), let MC be the operator defined on X⊕Y by . In this paper, we study defect set (Σ(A)∪Σ(B))?Σ(MC), where Σ is the Browder spectrum, the essential approximate point spectrum and Browder essential approximate point spectrum. We then give application for Weyl's and Browder's theorems.     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.     

Continuity of spectrum and approximate point spectrum on operator matrices

Let X and Y be given Banach spaces. For A∈B(X), B∈B(Y) and C∈B(Y,X), let MC be the operator defined on X⊕Y by . In this paper we give conditions for continuity of τ at MC through continuity of τ at A and B, where τ can be equal to the spectrum or approximate point spectrum.     

Controllability,observability and the solution of AX - XB = C

A closed-form finite series representation of the unique solution X of the matrix equation AX ? XB=C is developed. Using this representation, the image, kernel, and rank of X are related to the controllable and unobservable subspaces of the (A, C) and (C, B) pairs respectively. Bounds on the rank of X are obtainedin terms of the dimensions of these subspaces. In the case that C has unitary rank, an exact calculation of rank X is made. The generic rank of X with A, B fixed and C generic is evaluated.     

Retraction spaces and the homotopy metric

Let X be a finite-dimensional compactum. Let $\text{R}$(X) and $\text{N}$(X) be the spaces of retractions and non-deformation retractions of X, respectively, with the compact-open (=sup-metric) topology. Let 2^X_h be the space of non-empty compact ANR subsets of X with topology induced by the homotopy metric. Let R^X_h be the subspace of 2^X_h consisting of the ANR's in X that are retracts of X.We show that $\text{N}$(S^m) is simply-connected for m > 1. We show that if X is an ANR and A₀?R^X_h, then lim_i→∞A_i=A₀ in 2^X_h if and only if for every retraction r₀ of X onto A₀ there are, for almost all i, retractions r_i of X onto A_i such that lim_i→∞r_i=r_o in $\text{R}$(X). We show that if X is an ANR, then the local connectedness of $\text{R}$(X) implies that of R^X_h. We prove that $\text{R}$(M) is locally connected if M is a closed surface. We give examples to show how some of our results weaken when X is not assumed to be an ANR.     

The maximal and minimal ranks of a quaternion matrix expression with applications

In this paper, we establish the formulas of the extermal ranks of the quaternion matrix expression f(X₁, X₂) = C₇ ? A₄X₁B₄ ? A₅X₂B₅ where X₁, X₂ are variant quaternion matrices subject to quaternion matrix equations A₁X₁ = C₁, A₂X₁ = C₂, A₃X₁ = C₃, X₂B₁ = C₄, X₂B₂ = C₅, X₂B₃ = C₆. As applications, we give a new necessary and sufficient condition for the existence of solutions to some systems of quaternion matrix equations. Some results can be viewed as special cases of the results of this paper.