Related papers: The undecidability of having the QWEP

We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with…

We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a…

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

In a recent paper of the first author and Kashyap, a new class of modules over dual operator algebras is introduced. These generalize the W*-modules (that is, Hilbert C*-modules over a von Neumann algebra which satisfy an analogue of the…

Let $Q$ be the Markov quiver, and let $W$ be an infinitely mutable potential for $Q$. We calculate some low degree refined BPS invariants for the resulting Jacobi algebra, and use them to show that the critical cohomological Hall algebra…

Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that…

Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf…

It is proved that: (1) The Fourier algebra A(G) of a simple Lie group G of real rank at least 2 with finite center does not have a multiplier bounded approximate unit. (2) The reduced C*-algebra of any lattice in a non-compact simple Lie…

We prove that it is not possible to classify separable von Neumann factors of types $\II_1$, $\II_\infty$ or $\III_\lambda$, $0\leq \lambda\leq1$, up to isomorphism by a Borel measurable assignment of "countable structures" as invariants.…

We extend the usual theory of universal C*-algebras from generators and relations in order to allow some relations to be described using the strong operator topology. In particular, we can allow some infinite sum relations. We prove a…

Let $\Gamma$ be a discrete group. A $C^*$-algebra $A$ is an exotic $C^*$-algebra (associated to $\Gamma$) if there exist proper surjective $C^*$-quotients $C^*(\Gamma)\to A\to C^*_r(\Gamma)$. In this paper, we show that a large class of…

We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1…

For every uncountable cardinal $\kappa$ there are $2^\kappa$ nonisomorphic simple AF algebras of density character $\kappa$ and $2^\kappa$ nonisomorphic hyperfinite II$_1$ factors of density character $\kappa$. These estimates are maximal…

Let l be an odd prime and K/k a Galois extension of totally real number fields with Galois group G such that K/k_\infty and k/Q are finite. We reduce the conjectured triviality of the reduced Whitehead group SK_1(QG) of the algebra…

Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local…

We give a new, somewhat simpler, presentation of the author's recent construction of a non-nuclear $C^*$-algebra which has both the local lifting property (LLP) and the weak expectation property (WEP).

We prove that there is no faithful finite-dimensional representation by skew-hermitian matrices of a ``basic algebra of observables'' B on a noncompact symplectic manifold M. Consequently there exists no finite-dimensional quantization of…

The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the language of ordered fields and K is the class of…

We distinguish finitarily between algorithmic verifiability, and algorithmic computability, to show that Goedel's 'formally' unprovable, but 'numeral-wise' provable, arithmetical proposition [(Ax)R(x)] can be finitarily evidenced as:…

Let g be a simple Lie algebra and q transcendental. We consider the category C_P of finite-dimensional representations of the quantum loop algebra Uq(Lg) in which the poles of all l-weights belong to specified finite sets P. Given the data…