We continue the study of the rich family of norm-closed, automorphism invariant ideals of a continuous nest algebra. First we present a unified framework which captures all stable ideals as the kernels of limits of diagonal compressions. We then characterize when two such limits give rise to the same ideal, and we obtain detailed information of the structure of sums and intersections of ideals.
We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the Continuum Hypothesis). This provides for the first time concerete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras we show how primitive ideals can be categorized by their behaviour on the diagonal, and provide concrete examples of all types.
We give a necessary and sufficient criterion for an operator in a nest algebra to belong to a proper two-sided ideal of that algebra. Using this result, we describe the strong radical of a nest algebra, and give a general description of the maximal two-sided ideals.
The main theorem provides a characterisation of the finite rank operators lying in a norm closed Lie ideal of a continuous nest algebra. These operators are charaterised as those finite rank operators in the nest algebra satisfying a condition determined by a left order continuous homomorphism on the nest. A crucial fact used in the proof of this theorem is the decomposability of the finite rank operators. One shows that a finite rank operator in a norm closed Lie ideal of a continuous nest algebra can be written as a finite sum of rank one operators lying in the ideal.
In this paper we give a criterion for an ideal of a TAF algebra to be meet irreducible. We show that an ideal $J$ of $A$ is meet irreducile if and only if the C$^*$-envelope of the quotient $A/J$ is primitive. In that case, A/J admits a nest representation which extends to a *-representation of the C$^*$-envelope for $A/J.$ We also characterize the meet irreducible ideals as the kernels of nest representations; this settles the question of whether the n-primitive and meet irreducible ideals coincide.
Let N be a nest on a Hilbert space H and AlgN the corresponding nest algebra. We obtain a characterization of the compact and weakly compact multiplication operators defined on nest algebras. This characterization leads to a description of the closed ideal generated by the compact elements of AlgN . We also show that there is no non-zero weakly compact multiplication operator on AlgN / (AlgN $\cap$ K(H)).
In this paper we study the nest representations of a strongly maximal TAF algebra, whose ranges contain non-zero compact operators. We introduce a particular class of such representations, the essential nest representations, and we show that their kernels coincide with the completely meet irreducible ideals. From this we deduce that there exist enough contractive nest representations, with non-zero compact operators in their range, to separate the points. Using nest representation theory, we also give a coordinate-free description of the fundamental groupoid for strongly maximal TAF algebras. …
Let $\mathcal A$ be a Banach algebra for which the group of invertible elements is connected. A subspace $\mathcal L \subseteq \mathcal A$ is a Lie ideal in $\mathcal A$ if, and only if, it is invariant under inner automorphisms. This applies, in particular, to any canonical subalgebra of an AF \ensuremath{\text{C}^{*}}-algebra. The same theorem is also proven for strongly closed subspaces of a totally atomic nest algebra whose atoms are ordered as a subset of the integers and for CSL subalgebras of such nest algebras. We also give a detailed description of the structure of a Lie ideal in any …
A set of meet-irreducible ideals is described for a class of maximal triangular almost finite algebras. This set forms a topological space under the hull-kernel closure, and there is a one-to-one correspondence between closed sets in this space and ideals in the AF algebra. Some connections with nest representations and nest-primitive ideals are also described.
A nest representation of a strongly maximal TAF algebra $A$ is a representation $π$ for which $\operatorname{Lat} π(A) is totally ordered. We prove that if the spectrum of $A$ is totally ordered, or if $\operatorname{Lat} π(A)$ contains an atom, then $\operatorname{ker} π$ is a meet irreducible ideal.
We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or infinity, and rtsr(T(N)) = 2 occurs only when N is of ordinal type less than omega^2 and the dimensions of the atoms grows sufficiently quickly. We introduce general results on `partial matrix algebras' ov…
We provide a negative solution to a question of M. Rieffel who asked if the right and left topological stable ranks of a Banach algebra must always agree. Our example is found amongst a class of nest algebras. We show that for many other nest algebras, both the left and right topological stable ranks are infinite. We extend this latter result to Popescu's non-commutative disc algebras and to free semigroup algebras as well.
We develop a theory of boundary functions for ideals in trivially analytic subalgebras of simple AF C*-algebras with an injective 0-cocycle, a class which includes all full nest algebras. Boundary functions are maps from the spectrum of the diagonal of the analytic subalgebra to itself. The relation between boundary functions and ideal sets is explored and a description is given of meet and join irreducible boundary functions.
Let N_1 (resp.N_2) be a nest A (resp. B) be the corresponding nest algebra, A_0 (resp. B_0) be the subalgebra of compact operators. We prove that the nests N_1, N_2 are isomorphic if and only if the algebras A, B are weakly-* Morita equivalent if and only if the algebras A_0, B_0 are strongly Morita equivalent. We characterize the nest isomorphisms which implement stable isomorphism between the corresponding nest algebras.
Suppose that $X$ is a (real or complex) Banach space, $dimX \geq 2$, and $\mathcal{N}$ is a nest on $X$, with each $N$ in $\mathcal{N}$ is complemented in $X$ whenever $N_{-}=N$. A ternary derivation of $Alg\mathcal{N}$ is a triple of linear maps $(γ, δ, τ)$ of $Alg\mathcal{N}$ such that $γ(AB)=δ(A)B +Aτ(B)$ for all $A,B \in Alg\mathcal{N}$. We show that for linear maps $δ$, $τ$ on $Alg\mathcal{N}$ there exists a unique linear map $γ$ from $Alg\mathcal{N}$ into $Alg\mathcal{N}$ defined by $γ(A)=RA+AT$ for some $R$, $T$ in $Alg\mathcal{N}$ such that $(γ, δ, τ)$ is a ternary derivation of $Alg\m…
I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or equivalently, their primitive ideal spaces are homeomorphic. Many intermediate results do not depend on pure infiniteness of any sort.
We show that the family of nest algebras with $r$ non-zero nest projections is stable, in the sense that an approximate containment of one such algebra within another is close to an exact containment. We use this result to give a local characterisation of limits formed from this family. We then consider quite general regular limit algebras and characterise these algebras using a local condition which reflects the assumed regularity of the system.
This part of a multi-paper project studies the lattice properties of the arithmetic mean ideals of B(H) introduced by Dykema, Figiel, Weiss, and Wodzicki. We prove: the lattices of all principal ideals, of arithmetic mean or arithmetic mean at infinity stable principal ideals or of principal ideals with a generator that satisfies the Delta_1/2 condition, are all both upper and lower dense in the lattice of general ideals. That is, between any ideal and an ideal (nested above or below respectively) in one of these sublattices, lies another ideal in that sublattice. Among the applications: a pri…
This article - a part of a multipaper project investigating arithmetic mean ideals - investigates the codimension of commutator spaces [I, B(H)] of operator ideals on a separable Hilbert space, i.e., ``How many traces can an ideal support?" We conjecture that the codimension can be only zero, one, or infinity. Using the arithmetic mean (am) operations on ideals introduced by Dykema, Figiel, Weiss, and Wodzicki, and the analogous am operations at infinity that we develop in this article, the conjecture is proven for all ideals not contained in the largest am-infinity stable ideal and not contai…
A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and Rørdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the nonseparable context even for the most natural case of an uncountable inductive limit of an increasing chain of separable stable and AF ideals: we construct a GCR, AF (in fact, scattered) subalgebra $A$ of $B(\ell_2)$, which is the inductive limit of length $ω_1$ of its separable stable ideals $I_α$ ($α<ω_1$) satisfying $I_{α+1}/I_α\cong K(\ell_2)$ for each $α<ω_…