-
Detecting Fourier subspaces
Authors:
Charles A. Akemann,
Nik Weaver
Abstract:
Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Ka…
▽ More
Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison-Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is standard subspace which is essentially indistinguishable from its orthogonal complement.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Hereditary C*-Subalgebra Lattices
Authors:
Charles A. Akemann,
Tristan Bice
Abstract:
We investigate the connections between order and algebra in the hereditary C*-subalgebra lattice $\mathcal{H}(A)$ and *-annihilator ortholattice $\mathscr{P}(A)^\perp$. In particular, we characterize $\vee$-distributive elements of $\mathcal{H}(A)$ as ideals, answering a 25 year old question, allowing the quantale structure of $\mathcal{H}(A)$ to be completely determined from its lattice structure…
▽ More
We investigate the connections between order and algebra in the hereditary C*-subalgebra lattice $\mathcal{H}(A)$ and *-annihilator ortholattice $\mathscr{P}(A)^\perp$. In particular, we characterize $\vee$-distributive elements of $\mathcal{H}(A)$ as ideals, answering a 25 year old question, allowing the quantale structure of $\mathcal{H}(A)$ to be completely determined from its lattice structure. We also show that $\mathscr{P}(A)^\perp$ is separative, allowing for C*-algebra type decompositions which are completely consistent with the original von Neumann algebra type decompositions.
△ Less
Submitted 30 September, 2014;
originally announced October 2014.
-
Which multiplier algebras are $W^*$-algebras?
Authors:
Charles A. Akemann,
Massoud Amini,
Mohammad B. Asadi
Abstract:
We consider the question of when the multiplier algebra $M(\mathcal{A})$ of a $C^*$-algebra $\mathcal{A}$ is a $ W^*$-algebra, and show that it holds for a stable $C^*$-algebra exactly when it is a $C^*$-algebra of compact operators. This implies that if for every Hilbert $C^*$-module $E$ over a $C^*$-algebra $\mathcal{A}$, the algebra $B(E)$ of adjointable operators on $E$ is a $ W^*$-algebra, th…
▽ More
We consider the question of when the multiplier algebra $M(\mathcal{A})$ of a $C^*$-algebra $\mathcal{A}$ is a $ W^*$-algebra, and show that it holds for a stable $C^*$-algebra exactly when it is a $C^*$-algebra of compact operators. This implies that if for every Hilbert $C^*$-module $E$ over a $C^*$-algebra $\mathcal{A}$, the algebra $B(E)$ of adjointable operators on $E$ is a $ W^*$-algebra, then $\mathcal{A}$ is a $C^*$-algebra of compact operators.
Also we show that a unital $C^*$-algebra $\mathcal{A}$ which is Morita equivalent to a $ W^*$-algebra must be a $ W^*$-algebra.
△ Less
Submitted 28 April, 2013;
originally announced April 2013.
-
Weak Paveability and the Kadison-Singer Problem
Authors:
Charles A. Akemann,
Joel Anderson,
Betul Tanbay
Abstract:
The Kadison-Singer Problem (K-S) has expanded since 1959 to a very large number of equivalent problems in various fields. In the present paper we will introduce the notion of weak paveability for positive elements of a von Neumann algebra M. This new formulation implies the traditional version of paveability iff K-S is affirmed. We show that the set of weakly paveable positive elements of $M^+$ is…
▽ More
The Kadison-Singer Problem (K-S) has expanded since 1959 to a very large number of equivalent problems in various fields. In the present paper we will introduce the notion of weak paveability for positive elements of a von Neumann algebra M. This new formulation implies the traditional version of paveability iff K-S is affirmed. We show that the set of weakly paveable positive elements of $M^+$ is open and norm dense in $M^+$. Finally, we show that to affirm K-S it suffices to show that projections with compact diagonal are weakly paveable. Therefore weakly paveable matrices will either contain a counterexample, or else weak paveability must be an easier route to affirming K-S.
△ Less
Submitted 13 March, 2012;
originally announced March 2012.
-
Conditional expectations onto maximal abelian *-subalgebras
Authors:
Charles A. Akemann,
David Sherman
Abstract:
We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal.
We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal.
△ Less
Submitted 11 June, 2009; v1 submitted 10 June, 2009;
originally announced June 2009.
-
A Note On The Kadison-Singer Problem
Authors:
Charles A. Akemann,
Betul Tanbay,
Ali Ulger
Abstract:
Let H be a separable Hilbert space with a fixed orthonormal basis (e_n), n>=1, and B(H) be the full von Neumann algebra of the bounded linear operators T: H -> H. Identifying l^\infty = C(βN) with the diagonal operators, we consider C(βN) as a subalgebra of B(H). For each t in βN, let [δ_t] be the set of the states of B(H) that extend the Dirac measure δ_t. Our main result shows that, for each t…
▽ More
Let H be a separable Hilbert space with a fixed orthonormal basis (e_n), n>=1, and B(H) be the full von Neumann algebra of the bounded linear operators T: H -> H. Identifying l^\infty = C(βN) with the diagonal operators, we consider C(βN) as a subalgebra of B(H). For each t in βN, let [δ_t] be the set of the states of B(H) that extend the Dirac measure δ_t. Our main result shows that, for each t in βN, this set either lies in a finite dimensional subspace of B(H)* or else it must contain a homeomorphic copy of βN.
△ Less
Submitted 17 August, 2007;
originally announced August 2007.
-
The Spectral Scale and the Numerical Range
Authors:
Charles A. Akemann,
Joel Anderson
Abstract:
Suppose that c is an operator on a Hilbert Space H such that the von Neumann algebra N generated by c is finite. Suppose that tau is a faithful normal tracial state on N. Let B denote the spectal scale of c with respect to tau. We show that the boundary of the numerical range of c is exactly the set of radial complex slopes on B at the origin. Further, we show that points on this boundary that l…
▽ More
Suppose that c is an operator on a Hilbert Space H such that the von Neumann algebra N generated by c is finite. Suppose that tau is a faithful normal tracial state on N. Let B denote the spectal scale of c with respect to tau. We show that the boundary of the numerical range of c is exactly the set of radial complex slopes on B at the origin. Further, we show that points on this boundary that lie in the numerical range are visible as line segments in the boundary of B. Also, line segments on the boundary which lie in the numerical range show up as faces of dimension two in the boundary of B. Finally, when c is normal, we prove that the point spectrum of c is exactly the set of complex slopes of 1-dimensional faces of B.
△ Less
Submitted 15 May, 2002;
originally announced May 2002.
-
The Spectral Scale and the k-Numerical Range
Authors:
Charles A. Akemann,
Joel Anderson
Abstract:
Suppose that c is a linear operator acting on an n-dimensional complex Hilbert Space H, and let tau denote the normalized trace on B(H). Set b_1 = (c+c*)/2 and b_2 = (c-c*)/2i, and write B for the the spectral scale of {b_1, b_2} with respect to tau. We show that B contains full information about (W_k)(c), the k-numerical range of c for each k =1,...,n. We then use our previous work on spectral…
▽ More
Suppose that c is a linear operator acting on an n-dimensional complex Hilbert Space H, and let tau denote the normalized trace on B(H). Set b_1 = (c+c*)/2 and b_2 = (c-c*)/2i, and write B for the the spectral scale of {b_1, b_2} with respect to tau. We show that B contains full information about (W_k)(c), the k-numerical range of c for each k =1,...,n. We then use our previous work on spectral scales to prove several new facts about (W_k)(c). For example, we show in Theorem 3.4 that the point lambda is a singular point on the boundary of (W_k)(c) if and only if lambda is an isolated extreme point of (W_k)(c). In this case lambda = (n/k)tau(cz), where z is a central projection in in the algebra generated by b_1, b_2 and the identity. We show in Theorem 3.5, that c is normal if and only if (W_k)(c) is a polygon for each k. Finally, it is shown in Theorem 5.4 that the boundary of (W_k)(c) is the finite union of line segments and curved real analytic arcs.
△ Less
Submitted 30 June, 2001;
originally announced July 2001.
-
Automatic convexity
Authors:
Charles A. Akemann,
Nik Weaver
Abstract:
In many cases the convexity of the image of a linear map with range is $R^n$ is automatic because of the facial structure of the domain of the map. We develop a four step procedure for proving this kind of ``automatic convexity''. To make this procedure more efficient, we prove two new theorems that identify the facial structure of the intersection of a convex set with a subspace in terms of the…
▽ More
In many cases the convexity of the image of a linear map with range is $R^n$ is automatic because of the facial structure of the domain of the map. We develop a four step procedure for proving this kind of ``automatic convexity''. To make this procedure more efficient, we prove two new theorems that identify the facial structure of the intersection of a convex set with a subspace in terms of the facial structure of the original set.
Let $K$ be a convex set in a real linear space $X$ and let $H$ be a subspace of X that meets $K$. In Part I we show that the faces of $K\cap H$ have the form $F\cap H$ for a face $F$ of $K$. Then we extend our intersection theorem to the case where $X$ is a locally convex linear topological space, $K$ and $H$ are closed, and $H$ has finite codimension in $X$. In Part II we use our procedure to ``explain'' the convexity of the numerical range (and some of its generalizations) of a complex matrix. In Part III we use the topological version of our intersection theorem to prove a version of Lyapunov's theorem with finitely many linear constraints. We also extend Samet's continuous lifting theorem to the same constrained siuation.
△ Less
Submitted 17 May, 2001;
originally announced May 2001.
-
A geometric spectral theory for n-tuples of self-adjoint operators in a finite von Neumann algebra: II
Authors:
Charles A. Akemann,
Joel Anderson
Abstract:
Given an n-tuple {b_1, ..., b_n} of self-adjoint operators in a finite von Neumann algebra M and a faithful, normal tracial state tau on M, we define a map Psi from M to R^{n+1} by Psi(a) = (tau(a), tau(b_1a), ..., tau(b_na)). The image of the positive part of the unit ball under Psi is called the spectral scale of {b_1, .., b_n} relative to tau and is denoted by B. In a previous paper with Nik…
▽ More
Given an n-tuple {b_1, ..., b_n} of self-adjoint operators in a finite von Neumann algebra M and a faithful, normal tracial state tau on M, we define a map Psi from M to R^{n+1} by Psi(a) = (tau(a), tau(b_1a), ..., tau(b_na)). The image of the positive part of the unit ball under Psi is called the spectral scale of {b_1, .., b_n} relative to tau and is denoted by B. In a previous paper with Nik Weaver we showed that the geometry of B reflects spectral data for real linear combinations of the operators {b_1, .., b_n}. For example, we showed that an exposed face in B is determined by a certain pair of spectral projections of a real linear combination of {b_1, .., b_n}. In the present paper we extend this study to faces that are not exposed. We completely describe the structure of arbitrary faces of B in terms of {b_1, .., b_n} and tau. We also study faces of convex, compact sets that are exposed by more than one hyperplane of support. Although many of the conclusions of this study involve too much notation to fit nicely in an abstract, there are two results that give their flavor very well. Let N be the algebra generated by {b_1, ..., b_n} and the identity. Theorem 6.1: If the set of extreme points of B is countable, then N is abelian. Corollary 5.6: B has a finite number of extreme points if and only if N is abelian and finite dimensional.
△ Less
Submitted 28 October, 2000; v1 submitted 27 October, 2000;
originally announced October 2000.
-
Locally Minimal Projections
Authors:
Charles A. Akemann,
Joel Anderson
Abstract:
Given an n-tuple {a_1, ..., a_n} of self-adjoint operators on an infinite dimensional Hilbert space H and a positive integer k, there exists a projection p of rank k such that, for each for j = 1, ..., n, pa_jp is a scalar multiple of p. Assuming that {a_1, ...,a_n, 1} is a linearly independent set in the Calkin algebra, then p can be chosen of infinite rank.
Given an n-tuple {a_1, ..., a_n} of self-adjoint operators on an infinite dimensional Hilbert space H and a positive integer k, there exists a projection p of rank k such that, for each for j = 1, ..., n, pa_jp is a scalar multiple of p. Assuming that {a_1, ...,a_n, 1} is a linearly independent set in the Calkin algebra, then p can be chosen of infinite rank.
△ Less
Submitted 31 July, 2000;
originally announced August 2000.
-
Regularity of projections revisited
Authors:
Charles A. Akemann,
Soren Eilers
Abstract:
The concept of regularity in the meta-topological setting of projections in the double dual of a C*-algebra addresses the interrelations of a projection p with its closure, for instance in the form that such projections act identically, in norm, on elements of the C*-algebra. This concept has been given new actuality with the recent plan of Peligrad and Zsido to find a meaningful notion of Murra…
▽ More
The concept of regularity in the meta-topological setting of projections in the double dual of a C*-algebra addresses the interrelations of a projection p with its closure, for instance in the form that such projections act identically, in norm, on elements of the C*-algebra. This concept has been given new actuality with the recent plan of Peligrad and Zsido to find a meaningful notion of Murray-von Neumann type equivalence among open projections.
Although automatic in the commutative case, it has been known since the late sixties that regularity fails for many projections. The original investigations, however, did not answer a question such as: "Are all open and dense projections regular in A, when A is simple?"
We report here that this and related questions have negative answers. In the other direction, we supply positive results on regularity of large open projections.
△ Less
Submitted 19 June, 2000;
originally announced June 2000.
-
Locally nonconical convexity
Authors:
C. A. Akemann,
G. C. Shell,
N. Weaver
Abstract:
There is a hierarchy of structure conditions for convex sets. In this paper we study a recently defined [3, 8, 9] condition called locally nonconical convexity (abbreviated LNC). Is is easy to show that every strictly convex set is LNC, as are half-spaces and finite intersections of sets of either of these types, but many more sets are LNC. For instance, every zonoid (the range of a nonatomic ve…
▽ More
There is a hierarchy of structure conditions for convex sets. In this paper we study a recently defined [3, 8, 9] condition called locally nonconical convexity (abbreviated LNC). Is is easy to show that every strictly convex set is LNC, as are half-spaces and finite intersections of sets of either of these types, but many more sets are LNC. For instance, every zonoid (the range of a nonatomic vector-valued measure) is LNC (Corollary 34). However, there are no infinite-dimensional compact LNC sets (Theorem 23).
The LNC concept originated in a search for continuous sections, and the present paper shows how it leads naturally (and constructively) to continuous sections in a variety of situations. Let Q be a compact, convex set in R^n, and let T be a linear map from R^n into R^m. We show (Theorem 1) that Q is LNC if and only if the restriction of any such T to Q is an open map of Q onto T(Q). This implies that if Q is LNC, then any such T has continuous sections (i.e. there are continuous right inverses of T) that map from T(Q) to Q, and in fact it is possible to define continuous sections constructively in various natural ways (Theorem 3, Corollary 4, and Theorem 5). If Q is strictly convex and T is not 1-1, we can construct continuous sections which take values in the boundary of Q (Theorem 6).
When we give up compactness it is natural to consider a closed, convex, LNC subset Q of a Hilbert space X which may be infinite-dimensional. In this case we must assume that T is left Fredholm, i.e. a bounded linear map with closed range and finite-dimensional kernel. We can then prove results analogous to those mentioned in the last paragraph (Theorems 16-20). We also prove that T(Q) is LNC (Theorem 25).
△ Less
Submitted 19 May, 2000;
originally announced May 2000.