Spectrum and analytical indices of the C-algebra of Wiener-Hopf operators

We study multivariate generalisations of the classical Wiener-Hopf algebra, which is the C^∗-algebra generated by the Wiener-Hopf operators, given by convolutions restricted to convex cones. By the work of Muhly and Renault, this C^∗-algebra is known to be isomorphic to the reduced C^∗-algebra of a certain restricted action groupoid, given by the action of Euclidean space on a certain compactification. Using groupoid methods, we construct composition series for the Wiener-Hopf C^∗-algebra by a detailed study of this compactification. We compute the spectrum, and express homomorphisms in K-theory induced by the symbol maps which arise by the subquotients of the composition series in analytical terms. Namely, these symbols maps turn out to be given by an analytical family index of a continuous family of Fredholm operators. In a subsequent paper, we also obtain a topological expression of these indices.     

Separable states and positive maps

Using the natural duality between linear functionals on tensor products of C^∗-algebras with the trace class operators on a Hilbert space H and linear maps of the C^∗-algebra into B(H), we study the relationship between separability, entanglement and the Peres condition of states and positivity properties of the linear maps.     

La C*-algèbre d'une quasi-représentation

We show that the C^* -algebra of the regular representation of a discrete group G onto a subset Σ of G is the reduced C^* -algebra of an r-discrete groupoid whose space of units is totally disconnected and contains Σ as a dense subset. The C^*-algebra of quasicrystals, some Cuntz-Krieger and crossed product algebras, and Wiener-Hopf algebras are particular cases of this construction     

Existence of spectral well-behaved ∗-representations

There are several cases, where an m^∗-seminorm p is defined on a ∗-subalgebra of a given ∗-algebra A. This may lead to the construction of an unbounded ∗-representation of A. Such m^∗-seminorms are called unbounded. Given an unbounded m^∗-seminorm p of a ∗-algebra A, the concept of a p-spectral ∗-representation of A is introduced and studied in connection to well-behaved ∗-representations. More precisely, the existence of (p-) spectral well-behaved ∗-representations is investigated on ∗-algebras and locally convex ∗-algebras in terms of certain properties of Pták function, closely related to hermiticity and C^∗-spectrality of the ∗-subalgebras on which this function is defined. Various examples in diverse classes of locally convex algebras illuminate the elaborated results.     

Realizations of AF-algebras as graph algebras, Exel-Laca algebras, and ultragraph algebras

We give various necessary and sufficient conditions for an AF-algebra to be isomorphic to a graph C^∗-algebra, an Exel-Laca algebra, and an ultragraph C^∗-algebra. We also explore consequences of these results. In particular, we show that all stable AF-algebras are both graph C^∗-algebras and Exel-Laca algebras, and that all simple AF-algebras are either graph C^∗-algebras or Exel-Laca algebras. In addition, we obtain a characterization of AF-algebras that are isomorphic to the C^∗-algebra of a row-finite graph with no sinks.     

A Note on Reflexivity

We prove some new results on Hadwin's general version of reflexivity that reduce the study of E-reflexivity (or E-hyperreflexivity) of a linear subspace to a smaller linear subspace. By applying our abstract results, we present a simple proof of D. Hadwin's theorem, which states that every C^∗-algebra is approximately hyperreflexive. We also prove that the image of any C^∗-algebra under any bounded unital homomorphism into the operators on a Banach space is approximately reflexive. We introduce a new version of reflexivity, called approximate algebraic reflexivity, and study its properties.     

Linear maps preserving the minimum and reduced minimum moduli

We describe linear maps from a C^∗-algebra onto another one preserving different spectral quantities such as the minimum modulus, the surjectivity modulus, and the reduced minimum modulus.     

The algebra of harmonic functions for a matrix-valued transfer operator

We analyze matrix-valued transfer operators. We prove that the fixed points of transfer operators form a finite-dimensional C^∗-algebra. For matrix weights satisfying a low-pass condition we identify the minimal projections in this algebra as correlations of scaling functions, i.e., limits of cascade algorithms.     

Interactions

Given a C^∗-algebra B, a closed ^*-subalgebra A⊆B, and a partial isometry S in B which interacts with A in the sense that S^∗aS=H(a)S^∗S and SaS^∗=V(a)SS^∗, where V and H are positive linear operators on A, we derive a few properties which V and H are forced to satisfy. Removing B and S from the picture we define an interaction as being a pair of maps (V,H) satisfying the derived properties. Starting with an abstract interaction (V,H) over a C^∗-algebra A we construct a C^∗-algebra B containing A and a partial isometry S whose interaction with A follows the above rules. We then discuss the possibility of constructing a covariance algebra from an interaction. This turns out to require a generalization of the notion of correspondences (also known as Pimsner bimodules) which we call a generalized correspondence. Such an object should be seen as an usual correspondence, except that the inner-products need not lie in the coefficient algebra. The covariance algebra is then defined using a natural generalization of Pimsner's construction of the celebrated Cuntz-Pimsner algebras.     

Quantum convex support

Convex support, the mean values of a set of random variables, is central in information theory and statistics. Equally central in quantum information theory are mean values of a set of observables in a finite-dimensional C^∗-algebra A, which we call (quantum) convex support. The convex support can be viewed as a projection of the state space of A and it is a projection of a spectrahedron.Spectrahedra are increasingly investigated at least since the 1990s boom in semi-definite programming. We recall the geometry of the positive semi-definite cone and of the state space. We write a convex duality for general self-dual convex cones. This restricts to projections of state spaces and connects them to results on spectrahedra.Our main result is an analysis of the face lattice of convex support by mapping this lattice to a lattice of orthogonal projections, using natural isomorphisms. The result encodes the face lattice of the convex support into a set of projections in A and enables the integration of convex geometry with matrix calculus or algebraic techniques.     

On the Moore-Penrose inverse, EP Banach space operators, and EP Banach algebra elements

The main concern of this note is the Moore-Penrose inverse in the context of Banach spaces and algebras. Especially attention will be given to a particular class of elements with the aforementioned inverse, namely EP Banach space operators and Banach algebra elements, which will be studied and characterized extending well-known results obtained in the frame of Hilbert space operators and C^∗-algebra elements.     

Layer potentials C*-algebras of domains with conical points

To a domain with conical points Ω, we associate a natural C*-algebra that is motivated by the study of boundary value problems on Ω, especially using the method of layer potentials. In two dimensions, we allow Ω to be a domain with ramified cracks. We construct an explicit groupoid associated to ?Ω and use the theory of pseudodifferential operators on groupoids and its representations to obtain our layer potentials C*-algebra. We study its structure, compute the associated K-groups, and prove Fredholm conditions for the natural pseudodifferential operators affiliated to this C*-algebra.     

The resolvent algebra: A new approach to canonical quantum systems

The standard C^∗-algebraic version of the algebra of canonical commutation relations, the Weyl algebra, frequently causes difficulties in applications since it neither admits the formulation of physically interesting dynamical laws nor does it incorporate pertinent physical observables such as (bounded functions of) the Hamiltonian. Here a novel C^∗-algebra of the canonical commutation relations is presented which does not suffer from such problems. It is based on the resolvents of the canonical operators and their algebraic relations. The resulting C^∗-algebra, the resolvent algebra, is shown to have many desirable analytic properties and the regularity structure of its representations is surprisingly simple. Moreover, the resolvent algebra is a convenient framework for applications to interacting and to constrained quantum systems, as we demonstrate by several examples.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

The ideal property, the projection property, continuous fields and crossed products

Let A be the C^∗-algebra associated to an arbitrary continuous field of C^∗-algebras. We give a necessary and sufficient condition for A to have the ideal property and, if moreover A is separable, we give a necessary and sufficient condition for A to have the projection property. Some applications of these results are given. We also prove that “many” crossed products of commutative C^∗-algebras by discrete, amenable groups have the projection property, generalizing some of our previous results.     

2-Local automorphisms of operator algebras

A not necessarily continuous, linear or multiplicative function θ from an algebra A into itself is called a 2-local automorphism if θ agrees with an automorphism of A at each pair of points in A. In this paper, we study when a 2-local automorphism of a C^∗-algebra, or a standard operator algebra on a locally convex space, is an automorphism.     

On weakly central C-algebras

A unital C^∗-algebra A is weakly central if and only if for every x∈A there exists a sequence of elementary unital completely positive maps αn on A such that the sequence (αn(x)) converges to a central element.     

The range of united K-theory

We prove that the united K-theory functor is a surjective functor from the category of real simple separable purely infinite C^∗-algebras to the category of countable acyclic CRT-modules. As a consequence, we show that every complex Kirchberg algebra satisfying the universal coefficient theorem is the complexification of a real C^∗-algebra.     

Simplicity of algebras associated to étale groupoids

We prove that the full C ^?-algebra of a second-countable, Hausdorff, étale, amenable groupoid is simple if and only if the groupoid is both topologically principal and minimal. We also show that if G has totally disconnected unit space, then the complex ^?-algebra of its inverse semigroup of compact open bisections, as introduced by Steinberg, is simple if and only if G is both effective and minimal.