arXiv subjects

Charles A. Akemann

Publications and source records attributed to Charles A. Akemann.

12 recordsLinked to original sources

arXiv2015

Detecting Fourier subspaces

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.

math.FA↗

arXiv2014

Hereditary C*-Subalgebra Lattices

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.

math.OA↗

arXiv2013

Which multiplier algebras are $W^*$-algebras?

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.

math.OA↗

arXiv2012

Weak Paveability and the Kadison-Singer Problem

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.

math.OA↗

arXiv2009

Conditional expectations onto maximal abelian *-subalgebras

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.

math.OA↗

arXiv2007

A Note On The Kadison-Singer Problem

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.

math.OA↗

arXiv2002

The Spectral Scale and the Numerical Range

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.

math.OA↗

arXiv2001

The Spectral Scale and the k-Numerical Range

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.

math.RA↗

arXiv2001

Automatic convexity

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.

math.FA↗

arXiv2000

A geometric spectral theory for n-tuples of self-adjoint operators in a finite von Neumann algebra: II

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.

math.OA↗

arXiv2000

Locally Minimal Projections

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.

math.OA↗

arXiv2000

Regularity of projections revisited

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.

math.OA↗