# Operator Algebras (math.OA)

• We use product systems of $C^*$-correspondences to introduce twisted $C^*$-algebras of topological higher-rank graphs. We define the notion of a continuous $\mathbb{T}$-valued $2$-cocycle on a topological higher-rank graph, and present examples of such cocycles on large classes of topological higher-rank graphs. To every proper, source-free topological higher-rank graph $\Lambda$, and continuous $\mathbb{T}$-valued $2$-cocycle $c$ on $\Lambda$, we associate a product system $X$ of $C_0(\Lambda^0)$-correspondences built from finite paths in $\Lambda$. We define the twisted Cuntz--Krieger algebra $C^*(\Lambda,c)$ to be the Cuntz--Pimsner algebra $\mathcal{O}(X)$, and we define the twisted Toeplitz algebra $\mathcal{T} C^*(\Lambda,c)$ to be the Nica--Toeplitz algebra $\mathcal{NT}(X)$. We also associate to $\Lambda$ and $c$ a product system $Y$ of $C_0(\Lambda^\infty)$-correspondences built from infinite paths. We prove that there is an embedding of $\mathcal{T} C^*(\Lambda,c)$ into $\mathcal{NT}(Y)$, and an isomorphism between $C^*(\Lambda,c)$ and $\mathcal{O}(Y)$.
• We study flows on C*-algebras with the Rokhlin property. We show that every Kirchberg algebra carries a unique Rokhlin flow up to cocycle conjugacy, which confirms a long-standing conjecture of Kishimoto. We moreover present a classification theory for Rokhlin flows on C*-algebras satisfying certain technical properties, which hold for many C*-algebras covered by the Elliott program. As a consequence, we obtain the following further classification theorems for Rokhlin flows. Firstly, we extend the statement of Kishimoto's conjecture to the non-simple case: Up to cocycle conjugacy, a Rokhlin flow on a separable, nuclear, strongly purely infinite C*-algebra is uniquely determined by its induced action on the prime ideal space. Secondly, we give a complete classification of Rokhlin flows on simple classifiable $KK$-contractible C*-algebras: Two Rokhlin flows on such a C*-algebra are cocycle conjugate if and only if their induced actions on the cone of lower-semicontinuous traces are affinely conjugate.
• In this paper, we prove fourth moment theorems for the multidimensional free Poisson limits on free Wigner chaos or on the free Poisson algebra. We find that a sequence of infinitely dimensional vectors of free stochastic multiple integrals of deterministic functions with respect to a free Brownian motion or a free Poisson random measure converges to an infinitely dimensional free Poisson distributions if the third and fourth joint moments of any two component sequences of the vector sequence converge to the corresponding moments of the infinitely dimensional free poisson distribution.
• Jun 29 2017 math.OA math.LO arXiv:1706.09048v1
We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II$_1$ factor is an enforceable II$_1$ factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian \cstar-algebras and use this to show that it is the prime model of its theory.
• In this paper we present the construction of explicit quasi-isomorphisms that compute the cyclic homology and periodic cyclic homology of crossed-product algebras associated with (discrete) group actions. In the first part we deal with algebraic crossed-products associated with group actions on unital algebras over any ring $k\supset \mathbb{Q}$. In the second part, we extend the results to actions on locally convex algebras. We then deal with crossed-products associated with group actions on manifolds and smooth varieties. For the finite order components, the results are expressed in terms of what we call "mixed equivariant cohomology". This "mixed" theory mediates between group homology and de Rham cohomology. It is naturally related to equivariant cohomology, and so we obtain explicit constructions of cyclic cycles out of equivariant characteristic classes. For the infinite order components, we simplify and correct the misidentification of Crainic. An important new homological tool is the notion of "triangular $S$-module". This is a natural generalization of the cylindrical complexes of Getzler-Jones. It combines the mixed complexes of Burghelea-Kassel and parachain complexes of Getzler-Jones with the $S$-modules of Kassel-Jones. There are spectral sequences naturally associated with triangular $S$-modules. In particular, this allows us to recover spectral sequences Feigin-Tsygan and Getzler-Jones and leads us to a new spectral sequence.

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)