arXiv subjects

Victor Kaftal

Publications and source records attributed to Victor Kaftal.

At least 19 recordsLinked to original sources

arXiv2018

Purely infinite corona algebras

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).

math.OA↗

arXiv2018

Admissible sequences for positive operators

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.

math.OA↗

arXiv2017

The minimal ideal in multiplier algebras

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)$.

math.OA↗

arXiv2016

Kadison's Pythagorean Theorem and essential codimension

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).

math.OA↗

arXiv2016

The Unconditional Constants for Hilbert Space Frame Expansions

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.

math.FA↗

arXiv2015

Sums of equivalent sequences of positive operators in von Neumann factors

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.

math.OA↗

arXiv2015

Strict comparison of positive elements in multiplier algebras

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.

math.OA↗

arXiv2013

Strict comparison of projections and positive combinations of projections in certain multiplier algebras

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.

math.OA↗

arXiv2012

Commutators and linear spans of projections in certain finite C*-algebras

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.

math.OA↗

arXiv2010

Finite sums of projections in von Neumann algebras

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.

math.OA↗

arXiv2009

An infinite dimensional Schur-Horn theorem and majorization theory with applications to operator ideals

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.

math.OA↗

arXiv2008

Strong sums of projections in von Neumann factors

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.

math.OA↗

arXiv2007

Operator valued frames on C*-modules

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.

math.OA↗

arXiv2007

Traces on operator ideals and arithmetic means

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.

math.FA↗

arXiv2007

A survey on the interplay between arithmetic mean ideals, traces, lattices of operator ideals, and an infinite Schur-Horn majorization theorem

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.

math.FA↗

arXiv2007

Operator valued frames

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.

math.FA↗

arXiv2007

Soft ideals and arithmetic mean ideals

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.

math.FA↗

arXiv2007

Second order arithmetic means in operator ideals

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.

math.FA↗