On a counterexample to a conjecture by Blackadar

Blackadar conjectured that if we have a split short-exact sequence 0 -> I -> A -> A/I -> 0 where I is semiprojective and A/I is isomorphic to the complex numbers, then A must be semiprojective. Eilers and Katsura have found a counterexample to this conjecture. Presumably Blackadar asked that the extension be split to make it more likely that semiprojectivity of I would imply semiprojectivity of A. But oddly enough, in all the counterexamples of Eilers and Katsura the quotient map from A to A/I is split. We will show how to modify their examples to find a non-semiprojective C*-algebra B with a semiprojective ideal J such that B/J is the complex numbers and the quotient map does not split.Comment: 6 page

Non-Linear Sigma Model on the Fuzzy Supersphere

In this note we develop fuzzy versions of the supersymmetric non-linear sigma model on the supersphere S^(2,2). In hep-th/0212133 Bott projectors have been used to obtain the fuzzy CP^1 model. Our approach utilizes the use of supersymmetric extensions of these projectors. Here we obtain these (super) -projectors and quantize them in a fashion similar to the one given in hep-th/0212133. We discuss the interpretation of the resulting model as a finite dimensional matrix model.Comment: 11 pages, LaTeX, corrected typo

Local Index Formula on the Equatorial Podles Sphere

We discuss spectral properties of the equatorial Podles sphere. As a preparation we also study the `degenerate' (i.e. $q=0$) case (related to the quantum disk). We consider two different spectral triples: one related to the Fock representation of the Toeplitz algebra and the isopectral one. After the identification of the smooth pre-$C^*$-algebra we compute the dimension spectrum and residues. We check the nontriviality of the (noncommutative) Chern character of the associated Fredholm modules by computing the pairing with the fundamental projector of the $C^*$-algebra (the nontrivial generator of the $K_0$-group) as well as the pairing with the $q$-analogue of the Bott projector. Finally, we show that the local index formula is trivially satisfied.Comment: 18 pages, no figures; minor correction

Further results on the cross norm criterion for separability

In the present paper the cross norm criterion for separability of density matrices is studied. In the first part of the paper we determine the value of the greatest cross norm for Werner states, for isotropic states and for Bell diagonal states. In the second part we show that the greatest cross norm criterion induces a novel computable separability criterion for bipartite systems. This new criterion is a necessary but in general not a sufficient criterion for separability. It is shown, however, that for all pure states, for Bell diagonal states, for Werner states in dimension d=2 and for isotropic states in arbitrary dimensions the new criterion is necessary and sufficient. Moreover, it is shown that for Werner states in higher dimensions (d greater than 2), the new criterion is only necessary.Comment: REVTeX, 19 page

Projection decomposition in multiplier algebras

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.Comment: To appear in Mathematische Annale

Frobenius structures over Hilbert C*-modules

We study the monoidal dagger category of Hilbert C*-modules over a commutative C*-algebra from the perspective of categorical quantum mechanics. The dual objects are the finitely presented projective Hilbert C*-modules. Special dagger Frobenius structures correspond to bundles of uniformly finite-dimensional C*-algebras. A monoid is dagger Frobenius over the base if and only if it is dagger Frobenius over its centre and the centre is dagger Frobenius over the base. We characterise the commutative dagger Frobenius structures as finite coverings, and give nontrivial examples of both commutative and central dagger Frobenius structures. Subobjects of the tensor unit correspond to clopen subsets of the Gelfand spectrum of the C*-algebra, and we discuss dagger kernels.Comment: 35 page