-
Purely infinite corona algebras
Authors:
Victor Kaftal,
P. W. Ng,
Shuang Zhang
Abstract:
Let A be a simple, sigma-unital, non-unital C*-algebra, with metrizable tracial simplex T(A), which is projection-surjective and injective and has strict comparison of positive elements by traces. Then the following are equivalent: (i) A has quasicontinuous scale; (ii) The multiplier algebra M(A) has strict comparison of positive elements by traces; (iii) The coronal algebra M(A)/A is purely infin…
▽ More
Let A be a simple, sigma-unital, non-unital C*-algebra, with metrizable tracial simplex T(A), which is projection-surjective and injective and has strict comparison of positive elements by traces. Then the following are equivalent: (i) A has quasicontinuous scale; (ii) The multiplier algebra M(A) has strict comparison of positive elements by traces; (iii) The coronal algebra M(A)/A is purely infinite; (iii') The quotient M(A)/Imin is purely infinite; (iv) M(A) has finitely many ideals; (v) Imin=Ifin. If furthermore algebra of n by n matrices of A is projection-surjective and injective for every n, then the above conditions are equivalent to: (vi) the monoid V(M(A)) has finitely many order ideals. Quasicontinuity of the scale is a notion introduced by Kucerovsky and Perera that extends both the property of having finitely many extremal traces and of having continuous scale. Projection-surjectivity and injectivity permit to identify projections in M(A) that are not in A with lower semicontinuous affine functions on T(A). Imin is the smallest ideal of M(A) properly containing A, and Ifin is the ideal of of M(A) generated by the positive elements with evaluation functions finite over the extremal boundary of T(A).
△ Less
Submitted 7 April, 2018;
originally announced April 2018.
-
Admissible sequences for positive operators
Authors:
Victor Kaftal,
David Larson
Abstract:
A sequence of scalars is said to be admissible for a positive operator A on a Hilbert space if it is the diagonal of VAV* for some partial isometry V having as domain the closure of the range of A. When A is a projection, the celebrated Kadison's carpenter theorem provides a sufficient condition for a sequence to be admissible for A. We prove that the same condition is sufficient for the sequence…
▽ More
A sequence of scalars is said to be admissible for a positive operator A on a Hilbert space if it is the diagonal of VAV* for some partial isometry V having as domain the closure of the range of A. When A is a projection, the celebrated Kadison's carpenter theorem provides a sufficient condition for a sequence to be admissible for A. We prove that the same condition is sufficient for the sequence to be admissible for A when A is a sum of projections (converging in the SOT). This provides an independent proof of Kadison's carpenter theorem.
△ Less
Submitted 13 January, 2018;
originally announced January 2018.
-
The minimal ideal in multiplier algebras
Authors:
Victor Kaftal,
P. W. Ng,
Shuang Zhang
Abstract:
Let $\mathcal A$ be a simple, $σ$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal defined by Lin (Simple C*-algebras with continuous scales and simple corona algebras. 112, (1991) Proc. Amer.Math. Soc) in terms of approximate units of…
▽ More
Let $\mathcal A$ be a simple, $σ$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal defined by Lin (Simple C*-algebras with continuous scales and simple corona algebras. 112, (1991) Proc. Amer.Math. Soc) in terms of approximate units of $\mathcal A$ and $I_{min}/\mathcal A$ is purely infinite and simple. If $\mathcal A$ is separable, or if $\mathcal A$ has the (SP) property and its dimension semigroup $D(\mathcal A)$ of Murray-von Neumann equivalence classes of projections of $\mathcal A$ is order separable, or if $\mathcal A$ has strict comparison of positive elements by traces, then $\mathcal A\ne I_{min}$. If the tracial simplex $ \mathcal T(\mathcal A)$ is nonempty, let $ I_{con}$ be the closure of the linear span of the elements $A\in\mathcal M(\mathcal A)_+$ such that the evaluation map $\hat A(τ)=τ(A)$ is continuous. If $\mathcal A$ has strict comparison of positive element by traces then $I_{min}= I_{con}$. Furthermore, $I_{min}$ too has strict comparison of positive elements in the sense that if $A, B\in (I_{min})_+$, $B\not \in\mathcal A$ and $d_τ(A)< d_τ(B)$ for all $τ\in \mathcal T(\mathcal A)$ for which $d_τ(B)< \infty$, then $A\preceq B$. However if $\mathcal A$ does not have strict comparison of positive elements by traces then $I_{min}\ne I_{con}$ can occur: a counterexample is provided by Villadsen's AH algebras without slow dimension growth. If the dimension growth is flat, $ I_{con}$ is the largest proper ideal of $\mathcal M(\mathcal A)$.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Kadison's Pythagorean Theorem and essential codimension
Authors:
Victor Kaftal,
Jireh Loreaux
Abstract:
Kadison's Pythagorean theorem (2002) provides a characterization of the diagonals of projections with a subtle integrality condition. Arveson (2007), Kaftal, Ng, Zhang (2009), and Argerami (2015) all provide different proofs of that integrality condition. In this paper we interpret the integrality condition in terms of the essential codimension of a pair of projections introduced by Brown, Douglas…
▽ More
Kadison's Pythagorean theorem (2002) provides a characterization of the diagonals of projections with a subtle integrality condition. Arveson (2007), Kaftal, Ng, Zhang (2009), and Argerami (2015) all provide different proofs of that integrality condition. In this paper we interpret the integrality condition in terms of the essential codimension of a pair of projections introduced by Brown, Douglas and Fillmore (1973), or, equivalently of the index of a Fredholm pair of projections introduced by Avron, Seiler, and Simon (1994). The same techniques explain the integer occurring in the characterization of diagonals of selfadjoint operators with finite spectrum by Bownik and Jasper (2015).
△ Less
Submitted 21 September, 2016;
originally announced September 2016.
-
Sums of equivalent sequences of positive operators in von Neumann factors
Authors:
Catalin Dragan,
Victor Kaftal
Abstract:
Let A be a positive operator in an infinite sigma-finite von Neumann factor M and let B_j be a sequence of positive elements in M. We give sufficient conditions for decomposing A into a sum of elements C_j equivalent to B_j for all j ( C equivalent to B in M means that C=XX* and B=X*X for some X in M) and when C_j are unitarily equivalent to B_j for all j. This extends recent work of Bourin and Le…
▽ More
Let A be a positive operator in an infinite sigma-finite von Neumann factor M and let B_j be a sequence of positive elements in M. We give sufficient conditions for decomposing A into a sum of elements C_j equivalent to B_j for all j ( C equivalent to B in M means that C=XX* and B=X*X for some X in M) and when C_j are unitarily equivalent to B_j for all j. This extends recent work of Bourin and Lee for the case of B_j= B for all j and M=B(H) and answers affirmatively their conjecture. For the case when B_j= B for all j we provide necessary conditions, which in the type III case are also sufficient.
△ Less
Submitted 30 December, 2015; v1 submitted 13 April, 2015;
originally announced April 2015.
-
Strict comparison of positive elements in multiplier algebras
Authors:
Victor Kaftal,
Ping Ng,
Shuang Zhang
Abstract:
Main result: If a C*-algebra is simple, $σ$-unital, has finitely many extremal traces, and has strict comparison of positive elements by traces, then its multiplier also has strict comparison of positive elements by traces. The same results holds if "finitely many extremal traces" is replaced by "quasicontinuous scale".
A key ingredient in the proof is that every positive element in the multipli…
▽ More
Main result: If a C*-algebra is simple, $σ$-unital, has finitely many extremal traces, and has strict comparison of positive elements by traces, then its multiplier also has strict comparison of positive elements by traces. The same results holds if "finitely many extremal traces" is replaced by "quasicontinuous scale".
A key ingredient in the proof is that every positive element in the multiplier algebra of an arbitrary $σ$-unital C*-algebra can be approximated by a bi-diagonal series.
An application of strict comparison: If the algebra is a simple separable stable $σ$-unital with real rank zero, stable rank one, strict comparison of positive elements by traces, then whether a positive element is a linear combination of projections depends on the trace values of its range projection.
△ Less
Submitted 22 January, 2015;
originally announced January 2015.
-
The Unconditional Constants for Hilbert Space Frame Expansions
Authors:
Travis Bemrose,
Peter G. Casazza,
Victor Kaftal,
Richard G. Lynch
Abstract:
The most fundamental notion in frame theory is the frame expansion of a vector. Although it is well known that these expansions are unconditionally convergent series, no characterizations of the unconditional constant were known. This has made it impossible to get accurate quantitative estimates for problems which require using subsequences of a frame. We will prove some new results in frame theor…
▽ More
The most fundamental notion in frame theory is the frame expansion of a vector. Although it is well known that these expansions are unconditionally convergent series, no characterizations of the unconditional constant were known. This has made it impossible to get accurate quantitative estimates for problems which require using subsequences of a frame. We will prove some new results in frame theory by showing that the unconditional constants of the frame expansion of a vector in a Hilbert space are bounded by $\sqrt{\frac{B}{A}}$, where $A,B$ are the frame bounds of the frame. Tight frames thus have unconditional constant one, which we then generalize by showing that Bessel sequences have frame expansions with unconditional constant one if and only if the sequence is an orthogonal sum of tight frames. We give further results concerning frame expansions, in which we examine when $\sqrt{\frac BA}$ is actually attained or not. We end by discussing the connections of this work to {\it frame multipliers}. These results hold in both real and complex Hilbert spaces.
△ Less
Submitted 15 February, 2016; v1 submitted 26 May, 2014;
originally announced May 2014.
-
Strict comparison of projections and positive combinations of projections in certain multiplier algebras
Authors:
Victor Kaftal,
P. W. Ng,
Shuang Zhang
Abstract:
In this paper we investigate whether positive elements in the multiplier algebras of certain finite C*-algebras can be written as finite linear combinations of projections with positive coefficients (PCP). Our focus is on the category of underlying C*-algebras that are separable, simple, with real rank zero, stable rank one, finitely many extreme traces, and strict comparison of projections by the…
▽ More
In this paper we investigate whether positive elements in the multiplier algebras of certain finite C*-algebras can be written as finite linear combinations of projections with positive coefficients (PCP). Our focus is on the category of underlying C*-algebras that are separable, simple, with real rank zero, stable rank one, finitely many extreme traces, and strict comparison of projections by the traces. We prove that the strict comparison of projections holds also in the multiplier algebra of the stabilizer algebra. Based on this result and under the additional hypothesis that the multiplier algebra has real rank zero, we characterize which positive elements of the multiplier algebra are PCP.
△ Less
Submitted 30 April, 2013;
originally announced May 2013.
-
Commutators and linear spans of projections in certain finite C*-algebras
Authors:
Victor Kaftal,
Ping W. Ng,
Shuang Zhang
Abstract:
Assume that A is a unital separable simple C*-algebra with real rank zero, stable rank one, strict comparison of projections, and that its tracial simplex T(A) has a finite number of extremal points.
We prove that every self-adjoint element a in A in the kernel of all tracial states is the sum of two commutators in A and that every positive element of A is a linear combination of projections wit…
▽ More
Assume that A is a unital separable simple C*-algebra with real rank zero, stable rank one, strict comparison of projections, and that its tracial simplex T(A) has a finite number of extremal points.
We prove that every self-adjoint element a in A in the kernel of all tracial states is the sum of two commutators in A and that every positive element of A is a linear combination of projections with positive coefficients.
Assume that A is as above but σ-unital. Then an element (resp. a positive element) a of A is a linear combination (resp. a linear combination with positive coefficients) of projections if and only if for all τin T(A), the extension \barτto the enveloping von Neumann algebra has a finite value for the range projection of a.
Assume that A is unital and as above but T(A) has infinitely many extremal points. Then A is not the linear span of its projections. This result settles two open problems of Marcoux.
△ Less
Submitted 9 August, 2012;
originally announced August 2012.
-
Positive combinations of projections in von Neumann algebras and purely infinite simple C*-algebras
Authors:
V. Kaftal,
P. W. Ng,
S. Zhang
Abstract:
We give an overview of the question: which positive elements in an operator algebra can be written as a linear combination of projections with positive coefficients. A special case of independent interest is the question of which positive elements can be written as a sum of finitely many projections. We focus on von Neumann algebras, on purely infinite simple C*-algebras, and on their associated m…
▽ More
We give an overview of the question: which positive elements in an operator algebra can be written as a linear combination of projections with positive coefficients. A special case of independent interest is the question of which positive elements can be written as a sum of finitely many projections. We focus on von Neumann algebras, on purely infinite simple C*-algebras, and on their associated multiplier algebras.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Finite sums of projections in purely infinite simple C*-algebras with torsion K_0
Authors:
V. Kaftal,
P. N. Ng,
S. Zhang
Abstract:
Assume that A is a purely infinite simple C*-algebra whose K_0 is a torsion group, namely, contains no free element. Then a positive element a in A can be written as a finite sum of projections in A if and only if either a is a projection or the norm ||a||>1.
Assume that A is a purely infinite simple C*-algebra whose K_0 is a torsion group, namely, contains no free element. Then a positive element a in A can be written as a finite sum of projections in A if and only if either a is a projection or the norm ||a||>1.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Majorization and arithmetic mean ideals
Authors:
V. Kaftal,
G. Weiss
Abstract:
Following "An infinite dimensional Schur-Horn theorem and majorization theory", Journal of Functional Analysis 259 (2010) 3115-3162, this paper further studies majorization for infinite sequences. It extends to the infinite case classical results on "intermediate sequences" for finite sequence majorization. These and other infinite majorization properties are then linked to notions of infinite con…
▽ More
Following "An infinite dimensional Schur-Horn theorem and majorization theory", Journal of Functional Analysis 259 (2010) 3115-3162, this paper further studies majorization for infinite sequences. It extends to the infinite case classical results on "intermediate sequences" for finite sequence majorization. These and other infinite majorization properties are then linked to notions of infinite convexity and invariance properties under various classes of substochastic matrices to characterize arithmetic mean closed operator ideals and arithmetic mean at infinity closed operator ideals.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Projection decomposition in multiplier algebras
Authors:
V. Kaftal,
P. W. Ng,
S. Zhang
Abstract:
In this paper we present new structural information about the multiplier algebra Mult (A) of a sigma-unital purely infinite simple C*-algebra A, by characterizing the positive elements a in Mult(A) that are strict sums of projections belonging to A. If a is not in A and is not a projection, then the necessary and sufficient condition for a to be a strict sum of projections belonging to A is that t…
▽ More
In this paper we present new structural information about the multiplier algebra Mult (A) of a sigma-unital purely infinite simple C*-algebra A, by characterizing the positive elements a in Mult(A) that are strict sums of projections belonging to A. If a is not in A and is not a projection, then the necessary and sufficient condition for a to be a strict sum of projections belonging to A is that the norm ||a||>1 and that the essential norm ||a||_ess >=1.
Based on a generalization of the Perera-Rordam weak divisibility of separable simple C*-algebras of real rank zero to all sigma-unital simple C*-algebras of real rank zero, we show that every positive element of A with norm greater than 1 can be approximated by finite sums of projections. Based on block tri-diagonal approximations, we decompose any positive element a in Mult(A) with ||a||>1 and ||a||_ess >=1 into a strictly converging sum of positive elements in A with norm greater than 1.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Finite sums of projections in von Neumann algebras
Authors:
Herbert Halpern,
Victor Kaftal,
Ping Wong Ng,
Shuang Zhang
Abstract:
We first prove that in a sigma-finite von Neumann factor M, a positive element $a$ with properly infinite range projection R_a is a linear combination of projections with positive coefficients if and only if the essential norm ||a||_e with respect to the closed two-sided ideal J(M) generated by the finite projections of M does not vanish. Then we show that if ||a||_e>1, then a is a finite sum of p…
▽ More
We first prove that in a sigma-finite von Neumann factor M, a positive element $a$ with properly infinite range projection R_a is a linear combination of projections with positive coefficients if and only if the essential norm ||a||_e with respect to the closed two-sided ideal J(M) generated by the finite projections of M does not vanish. Then we show that if ||a||_e>1, then a is a finite sum of projections. Both these results are extended to general properly infinite von Neumann algebras in terms of central essential spectra.
Secondly, we provide a necessary condition for a positive operator a to be a finite sum of projections in terms of the principal ideals generated by the excess part a_+:=(a-I)χ_a(1,\infty) and the defect part a_-:= (I-a)χ_a(0, 1) of a; this result appears to be new also for B(H).
Thirdly, we prove that in a type II_1 factor a sufficient condition for a positive diagonalizable operators to be a finite sum of projections is that τ(a_+)- τ(a_-)>0.
△ Less
Submitted 27 July, 2010;
originally announced July 2010.
-
Strong sums of projections in von Neumann factors
Authors:
Victor Kaftal,
Ping Wong Ng,
Shuang Zhang
Abstract:
This paper presents necessary and sufficient conditions for a positive bounded operator on a separable Hilbert space to be the sum of a finite or infinite collection of projections (not necessarily mutually orthogonal), with the sum converging in the strong operator topology if the collection is infinite. A similar necessary condition is given when the operator and the projections are taken in a…
▽ More
This paper presents necessary and sufficient conditions for a positive bounded operator on a separable Hilbert space to be the sum of a finite or infinite collection of projections (not necessarily mutually orthogonal), with the sum converging in the strong operator topology if the collection is infinite. A similar necessary condition is given when the operator and the projections are taken in a type II von Neumann factor, and the condition is proven to be also sufficient if the operator is "diagonalizable". A simpler necessary and sufficient condition is given in the type III factor case.
△ Less
Submitted 17 November, 2008;
originally announced November 2008.
-
An infinite dimensional Schur-Horn theorem and majorization theory with applications to operator ideals
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences x and y that converge to 0, there exists a compact operator A with eigenvalue list y and diagonal sequence x if and only if y majorizes x (\sum_{j=1}^n x_j \le \sum_{j=1}^n y_j for all n) if and only if x = Qy for some orthostochastic matrix Q. The similar r…
▽ More
The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences x and y that converge to 0, there exists a compact operator A with eigenvalue list y and diagonal sequence x if and only if y majorizes x (\sum_{j=1}^n x_j \le \sum_{j=1}^n y_j for all n) if and only if x = Qy for some orthostochastic matrix Q. The similar result requiring equality of the infinite series in the case that the sequences x and y are summable is an extension of a recent theorem by Arveson and Kadison. Our proof depends on the construction and analysis of an infinite product of T-transform matrices. Further results on majorization for infinite sequences providing "intermediate" sequences generalize known results from the finite case. Majorization properties and invariance under various classes of stochastic matrices are then used to characterize arithmetic mean closed operator ideals.
△ Less
Submitted 21 May, 2009; v1 submitted 29 October, 2007;
originally announced October 2007.
-
Operator valued frames on C*-modules
Authors:
Victor Kaftal,
David Larson,
Shuang Zhang
Abstract:
Frames on Hilbert C*-modules have been defined for unital C*-algebras by Frank and Larson and operator valued frames on a Hilbert space have been studied in arXiv.0707.3272v1.[math.FA]. Goal of the present paper is to introduce operator valued frames on a Hilbert C*-module for a sigma-unital C*-algebra. Theorem 1.4 reformulates the definition given by Frank and Larson in terms of a series of ran…
▽ More
Frames on Hilbert C*-modules have been defined for unital C*-algebras by Frank and Larson and operator valued frames on a Hilbert space have been studied in arXiv.0707.3272v1.[math.FA]. Goal of the present paper is to introduce operator valued frames on a Hilbert C*-module for a sigma-unital C*-algebra. Theorem 1.4 reformulates the definition given by Frank and Larson in terms of a series of rank-one operators converging in the strict topology. Theorem 2.2. shows that the frame transform and the frame projection of an operator valued frame are limits in the strict topology of a series of elements in the multiplier algebra and hence belong to it. Theorem 3.3 shows that two operator valued frames are right similar if and only if they share the same frame projection. Theorem 3.4 establishes a one to one correspondence between Murray-von Neumann equivalence classes of projections in the multiplier algebra and right similarity equivalence classes of operator valued frames and provides a parametrization of all Parseval operator-valued frames on a given Hilbert C*-module. Left similarity is then defined and Proposition 3.9 establishes when two left unitarily equivalent frames are also right unitarily equivalent.
△ Less
Submitted 26 September, 2007; v1 submitted 22 July, 2007;
originally announced July 2007.
-
Operator valued frames
Authors:
Victor Kaftal,
David Larson,
Shuang Zhang
Abstract:
We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the multiplicity one case and extends to higher multiplicity (e.g., multiframes) their dilation approach. We prove several results for operator-valued frames concerning their parametriza…
▽ More
We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the multiplicity one case and extends to higher multiplicity (e.g., multiframes) their dilation approach. We prove several results for operator-valued frames concerning their parametrization, duality, disjointeness, complementarity, and composition and the relationship between the two types of similarity (left and right) of such frames. We then apply these notions to prove that the collection of multiframe generators for the action of a discrete group on a Hilbert space is norm pathwise-connected precisely when the von Neumann algebra generated by the right representation of the group has no minimal projections. The proof is obtained by parametrizing this collection by a class of partial isometries in a larger von Neumann algebra. In the multiplicity one case this class reduces to the unitary class which is path-connected in norm, but in the infinite multiplicity case this class is path connected only in the strong operator topology and the proof depends on properties of tensor product slice maps.
△ Less
Submitted 22 July, 2007;
originally announced July 2007.
-
A survey on the interplay between arithmetic mean ideals, traces, lattices of operator ideals, and an infinite Schur-Horn majorization theorem
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
The work of Dykema, Figiel, Weiss, and Wodzicki on the structure of commutators showed that arithmetic means play an important role in the study of operator ideals, and we explored their role in a multipaper project which we survey in this article. We start by presenting the notions of arithmetic mean ideals and arithmetic mean at infinity ideals. Then we explore their connections with commutato…
▽ More
The work of Dykema, Figiel, Weiss, and Wodzicki on the structure of commutators showed that arithmetic means play an important role in the study of operator ideals, and we explored their role in a multipaper project which we survey in this article. We start by presenting the notions of arithmetic mean ideals and arithmetic mean at infinity ideals. Then we explore their connections with commutator spaces, traces, elementary operators, lattice and sublattice structure of ideals, arithmetic mean ideal cancellation properties of first and second order, and softness properties - a term that we introduced but a notion ubiquitous in the literature on operator ideals. Arithmetic mean closure of ideals leads us to investigate majorization for infinite sequences and this in turn leads us to an infinite Schur-Horn majorization theorem which extends theorems by A. Neumann, by Arveson and Kadison, and by Antezana, Massey, Ruiz and Stojanoff. We also list ten open questions that we encountered in the development of this material.
△ Less
Submitted 22 July, 2007;
originally announced July 2007.
-
Soft ideals and arithmetic mean ideals
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
This article investigates the soft-interior and the soft-cover of operator ideals. These operations, and especially the first one, have been widely used before, but making their role explicit and analyzing their interplay with the arithmetic mean operations is essential for the study of the multiplicity of traces (see arXiv:0707.3169v1 [math.FA]). Many classical ideals are "soft", i.e., coincide…
▽ More
This article investigates the soft-interior and the soft-cover of operator ideals. These operations, and especially the first one, have been widely used before, but making their role explicit and analyzing their interplay with the arithmetic mean operations is essential for the study of the multiplicity of traces (see arXiv:0707.3169v1 [math.FA]). Many classical ideals are "soft", i.e., coincide with their soft interior or with their soft cover, and many ideal constructions yield soft ideals. Arithmetic mean (am) operations were proven to be intrinsic to the theory of operator ideals by the work of Dykema, Figiel, Weiss, and Wodzicki on the structure of commutators and arithmetic mean operations at infinity were studied in arXiv:0707.3169v1 [math.FA]. Here we focus on the commutation relations between these operations and soft operations. In the process we characterize the am-interior and the am-infinity interior of an ideal.
△ Less
Submitted 21 July, 2007;
originally announced July 2007.
-
Traces on operator ideals and arithmetic means
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
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, Weis…
▽ More
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 containing the smallest am-stable ideal. It is also proven for all soft-edged ideals (i.e., I= IK(H)) and all soft-complemented ideals (i.e., I= I/K(H)), which include many classical operator ideals. In the process, we prove that an ideal of trace class operators supports a unique trace (up to scalar multiples) if and only if it is am-infinity stable and that, for a principal ideal, am-infinity stability is equivalent to regularity at infinity of the sequence of s-numbers of the generator. Furthermore, we apply trace extension methods to two problems on elementary operators studied by V. Shulman and to Fuglede-Putnam type problems of the second author.
△ Less
Submitted 22 July, 2007;
originally announced July 2007.
-
B(H) lattices, density and arithmetic mean ideals
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
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…
▽ More
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 principal ideal I is am-stable (I = I_a) if and only if any of its first order arithmetic mean ideals are am-stable if and only if the ideal satisfies the first order equality cancellation property: J_a = I_a implies J = I. We show that this cancellation property can fail even for am-stable countably generated ideals. Similar results hold for arithmetic mean at infinity ideals. Inclusion cancellations do not hold in general even for principal ideals, but for every ideal I there is a largest ideal I^ for which J_a contains I_a implies that J contains I^. When I is principal, I^ too is principal. We show that I=I^ is a strictly stronger property than am-stability. For example, for I the p < 1 power of the principal ideal J generated by diag {1/n}, I^ is the q power of J where 1/p-1/q = 1.
△ Less
Submitted 20 July, 2007;
originally announced July 2007.
-
Second order arithmetic means in operator ideals
Authors:
Victor Kaftal,
Gary Weiss
Abstract:
Equality of the second order arithmetic means of two principal ideals does not imply equality of their first order arithmetic means (second order equality cancellation). We provide fairly broad sufficient conditions on one of the principal ideals for this implication to hold true. We present also sufficient conditions for second order inclusion cancellations. These conditions are formulated in t…
▽ More
Equality of the second order arithmetic means of two principal ideals does not imply equality of their first order arithmetic means (second order equality cancellation). We provide fairly broad sufficient conditions on one of the principal ideals for this implication to hold true. We present also sufficient conditions for second order inclusion cancellations. These conditions are formulated in terms of the growth properties of the ratio of regularity sequence associated to the sequence of s-number of a generator of the principal ideal. These results are then extended to general ideals.
△ Less
Submitted 19 July, 2007;
originally announced July 2007.
