Searcharxiv⌕ Search

arXiv subjects

Michael Brannan

Publications and source records attributed to Michael Brannan.

34 records · Page 2Linked to original sources

Topological generation and matrix models for quantum reflection groups

We establish several new topological generation results for the quantum permutation groups $S^+_N$ and the quantum reflection groups $H^{s+}_N$. We use these results to show that these quantum groups admit sufficiently many "matrix models". In particular, all of these quantum groups have residually finite discrete duals (and are, in particular, hyperlinear), and certain "flat" matrix models for $S_N^+$ are inner faithful.

math.OA↗

Orthogonal free quantum group factors are strongly 1-bounded

We prove that the orthogonal free quantum group factors $\mathcal{L}(\mathbb{F}O_N)$ are strongly $1$-bounded in the sense of Jung. In particular, they are not isomorphic to free group factors. This result is obtained by establishing a spectral regularity result for the edge reversing operator on the quantum Cayley tree associated to $\mathbb{F}O_N$, and combining this result with a recent free entropy dimension rank theorem of Jung and Shlyakhtenko.

math.OA↗

On the similarity problem for locally compact quantum groups

A well-known theorem of Day and Dixmier states that any uniformly bounded representation of an amenable locally compact group $G$ on a Hilbert space is similar to a unitary representation. Within the category of locally compact quantum groups, the conjectural analogue of the Day-Dixmier theorem is that every completely bounded Hilbert space representation of the convolution algebra of an amenable locally compact quantum group should be similar to a $\ast$-representation. We prove that this conjecture is false for a large class of non-Kac type compact quantum groups, including all $q$-deformations of compact simply connected semisimple Lie groups. On the other hand, within the Kac framework, we prove that the Day-Dixmier theorem does indeed hold for several new classes of examples, including amenable discrete quantum groups of Kac-type.

math.OA↗

Quantum groups, property (T), and weak mixing

For second countable discrete quantum groups, and more generally second countable locally compact quantum groups with trivial scaling group, we show that property (T) is equivalent to every weakly mixing unitary representation not having almost invariant vectors. This is a generalization of a theorem of Bekka and Valette from the group setting and was previously established in the case of low dual by Daws, Skalsi, and Viselter. Our approach uses spectral techniques and is completely different from those of Bekka--Valette and Daws--Skalski--Viselter. By a separate argument we furthermore extend the result to second countable nonunimodular locally compact quantum groups, which are shown in particular not to have property (T), generalizing a theorem of Fima from the discrete setting. We also obtain quantum group versions of characterizations of property (T) of Kerr and Pichot in terms of the Baire category theory of weak mixing representations and of Connes and Weiss in term of the prevalence of strongly ergodic actions.

math.OA↗

Highly entangled, non-random subspaces of tensor products from quantum groups

In this paper we describe a class of highly entangled subspaces of a tensor product of finite dimensional Hilbert spaces arising from the representation theory of free orthogonal quantum groups. We determine their largest singular values and obtain lower bounds for the minimum output entropy of the corresponding quantum channels. An application to the construction of $d$-positive maps on matrix algebras is also presented.

math-ph↗

Dual bases in Temperley-Lieb algebras, quantum groups, and a question of Jones

We derive a Laurent series expansion for the structure coefficients appearing in the dual basis corresponding to the Kauffman diagram basis of the Temperley-Lieb algebra $\text{TL}_k(d)$, converging for all complex loop parameters $d$ with $|d| > 2\cos\big(\fracπ{k+1}\big)$. In particular, this yields a new formula for the structure coefficients of the Jones-Wenzl projection in $\text{TL}_k(d)$. The coefficients appearing in each Laurent expansion are shown to have a natural combinatorial interpretation in terms of a certain graph structure we place on non-crossing pairings, and these coefficients turn out to have the remarkable property that they either always positive integers or always negative integers. As an application, we answer affirmatively a question of Vaughan Jones, asking whether every Temperley-Lieb diagram appears with non-zero coefficient in the expansion of each dual basis element in $\text{TL}_k(d)$ (when $d \in \mathbb R \backslash [-2\cos\big(\fracπ{k+1}\big),2\cos\big(\fracπ{k+1}\big)]$). Specializing to Jones-Wenzl projections, this result gives a new proof of a result of Ocneanu, stating that every Temperley-Lieb diagram appears with non-zero coefficient in a Jones-Wenzl projection. Our methods establish a connection with the Weingarten calculus on free quantum groups, and yield as a byproduct improved asymptotics for the free orthogonal Weingarten function.

math.QA↗

Approximation properties for locally compact quantum groups

This is a survey of some aspects of the subject of approximation properties for locally compact quantum groups, based on lectures given at the {\it Topological Quantum Groups} Graduate School, 28 June - 11 July, 2015 in Bedłewo, Poland. We begin with a study of the dual notions of amenability and co-amenability, and then consider weakenings of these properties in the form of the Haagerup property and weak amenability. For discrete quantum groups, the interaction between these properties and various operator algebra approximation properties are investigated. We also study the connection between central approximation properties for discrete quantum groups and monoidal equivalence for their compact duals. We finish by discussing the central weak amenability and central Haagerup property for free quantum groups.

math.OA↗

Leinert sets and complemented ideals in Fourier algebras

Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in $A(\mathbb{F}_{N})$, the free group on $N \ge 2$ generators, that is complemented in $A(\mathbb{F}_{N})$ but it is not completely complemented. Then by establishing an appropriate extension result for restriction algebras arising from Leinert sets, we show that any almost connected group $G$ for which every complemented ideal in $A(G)$ is also completely complemented must be amenable.

math.FA↗

Quantum groups and generalized circular elements

We show that with respect to the Haar state, the joint distributions of the generators of Van Daele and Wang's free orthogonal quantum groups are modeled by free families of generalized circular elements and semicircular elements in the large (quantum) dimension limit. We also show that this class of quantum groups acts naturally as distributional symmetries of almost-periodic free Araki-Woods factors.

math.OA↗

The Connes embedding property for quantum group von Neumann algebras

For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding property for $L^\infty(\mathbb G)$). We establish a connection between the Connes embedding property for $L^\infty(\mathbb G)$ and the structure of certain quantum subgroups of $\mathbb G$, and use this to prove that the II$_1$-factors $L^\infty(O_N^+)$ and $L^\infty(U_N^+)$ associated to the free orthogonal and free unitary quantum groups have the Connes embedding property for all $N \ge 4$. As an application, we deduce that the free entropy dimension of the standard generators of $L^\infty(O_N^+)$ equals $1$ for all $N \ge 4$. We also mention an application of our work to the problem of classifying the quantum subgroups of $O_N^+$.

math.OA↗

$L_p$-Representations of Discrete Quantum Groups

Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When $\mathbb G$ is unimodular and discrete, we study in detail the C$^\ast$-completions of $L_1(\mathbb G)$ associated with the non-commutative $L_p$-spaces $L_p(\mathbb G)$. As an application of this theory, we characterize (for each $p \in [1,\infty)$) the positive definite functions on unimodular orthogonal and unitary free quantum groups $\mathbb G$ that extend to states on the $L_p$-C$^\ast$-algebra of $\mathbb G$. Using this result, we construct uncountably many new examples of exotic quantum group norms for compact quantum groups.

math.OA↗

Strong asymptotic freeness for free orthogonal quantum groups

We prove that the normalized standard generators of the free orthogonal quantum group $O_N^+$ converge strongly to a free semicircular system as $N \to \infty$. Analogous results are obtained for the free unitary quantum groups, and some applications are given.

math.OA↗

Reduced operator algebras of trace-preserving quantum automorphism groups

Let $B$ be a finite dimensional C$^\ast$-algebra equipped with its canonical trace induced by the regular representation of $B$ on itself. In this paper, we study various properties of the trace-preserving quantum automorphism group $\G$ of $B$. We prove that the discrete dual quantum group $\hG$ has the property of rapid decay, the reduced von Neumann algebra $L^\infty(\G)$ has the Haagerup property and is solid, and that $L^\infty(\G)$ is (in most cases) a prime type II$_1$-factor. As applications of these and other results, we deduce the metric approximation property, exactness, simplicity and uniqueness of trace for the reduced $C^\ast$-algebra $C_r(\G)$, and the existence of a multiplier-bounded approximate identity for the convolution algebra $L^1(\G)$.

math.OA↗

Completely bounded representations of convolution algebras of locally compact quantum groups

Given a locally compact quantum group $\mathbb G$, we study the structure of completely bounded homomorphisms $π:L^1(\mathbb G)\rightarrow\mathcal B(H)$, and the question of when they are similar to $\ast$-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra $A(G)$), we are led to consider the associated map $π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H)$ given by $π^*(ω) = π(ω^\sharp)^*$. We show that the corepresentation $V_π$ of $L^\infty(\mathbb G)$ associated to $π$ is invertible if and only if both $π$ and $π^*$ are completely bounded. Moreover, we show that the co-efficient operators of such representations give rise to completely bounded multipliers of the dual convolution algebra $L^1(\hat \mathbb G)$. An application of these results is that any (co)isometric corepresentation is automatically unitary. An averaging argument then shows that when $\mathbb G$ is amenable, $π$ is similar to a *-homomorphism if and only if $π^*$ is completely bounded. For compact Kac algebras, and for certain cases of $A(G)$, we show that any completely bounded homomorphism $π$ is similar to a *-homomorphism, without further assumption on $π^*$. Using free product techniques, we construct new examples of compact quantum groups $\mathbb G$ such that $L^1(\mathbb G)$ admits bounded, but not completely bounded, representations.

math.OA↗

Approximation properties for free orthogonal and free unitary quantum groups

We show that the reduced von Neumann algebras of the free orthogonal and free unitary quantum groups have the Haagerup approximation property. Using this result and a Haagerup-type inequality for these quantum groups due to Vergnioux (J. Operator Theory 57, 303-324 (2007)), we also show that the reduced C$^\ast$-algebras of the free orthogonal and free unitary quantum groups have the metric approximation property.

math.OA↗

Quantum Symmetries and Strong Haagerup Inequalities

In this paper, we consider families of operators $\{x_r\}_{r \in Λ}$ in a tracial C$^\ast$-probability space $(\mathcal A, ϕ)$, whose joint $\ast$-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups $\{H_n^+\}_{n \in \N}$. We prove a strong form of Haagerup's inequality for the non-self-adjoint operator algebra $\mathcal B$ generated by $\{x_r\}_{r \in Λ}$, which generalizes the strong Haagerup inequalities for $\ast$-free R-diagonal families obtained by Kemp-Speicher \cite{KeSp}. As an application of our result, we show that $\mathcal B$ always has the metric approximation property (MAP). We also apply our techniques to study the reduced C$^\ast$-algebra of the free unitary quantum group $U_n^+$. We show that the non-self-adjoint subalgebra $\mathcal B_n$ generated by the matrix elements of the fundamental corepresentation of $U_n^+$ has the MAP. Additionally, we prove a strong Haagerup inequality for $\mathcal B_n$, which improves on the estimates given by Vergnioux's property RD \cite{Ve}.

math.OA↗