# Operator Algebras (math.OA)

• We give a Stinespring representation of the Schur block product, say (*), on pairs of square matrices with entries in a C*-algebra as a completely bounded bilinear operator of the form: A:=(a_ij), B:= (b_ij): A (*) B := (a_ijb_ij) = V* pi(A) F pi(B) V, such that V is an isometry, pi is a *-representation and F is a self-adjoint unitary. This implies an inequality due to Livshits and an apparently new one on diagonals of matrices. ||A (*) B|| ≤||A||_r ||B||_c operator, row and column norm; - diag(A*A) ≤A* (*) A ≤diag(A*A).
• We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^*$-algebras. An explicit construction of an inverse system of groupoids is used to approximate a $\sigma$-compact groupoid $G$ by second countable groupoids; if $G$ is equipped with a Haar system and 2-cocycle then so are the approximation groupoids, and the maps in the inverse system are Haar system preserving. As an application of this construction, we show how to easily extend the Maximal Equivalence Theorem of Jean Renault to $\sigma$-compact groupoids.

Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Marco Piani Mar 07 2014 14:46 UTC

The author writes "My ideas towards the proof of these results in this paper originates from the observations made by Carlen in [13]". Actually, the first main result is a direct corollary of theorem 2.3 of [13], in the sense of directly applying theorem 2.3 of [13], which regards monotonicity of re

...(continued)