Internal sequential commutation and single generation

From MaRDI portal





Let \(M\) be a type \(\mathrm{II}_1\)-factor with tracial state \(\tau\). A unitary \(u\in M\) is called a \emph{Haar unitary} if \(\tau(u^n) =0\) for all \(n\geq 1\). Let \(\mathcal{U}\) be a free ultrafilter on \(\mathbb{N}\) and \(M^\mathcal{U}\) be the ultrapower of \(M\) over \(\mathcal{U}\). Regard \(M\subseteq M^\mathcal{U}\) in the canonical way. Let \(u,v\in M\) be two Haar unitaries. One denotes \(u\sim^\mathcal{U} v\) when there exist Haar unitaries \(w_0, \dots, w_k\in M^\mathcal{U}\) for some \(k\in \mathbb{N}\) such that \(w_0 = u\), \(w_k =v\) and \(w_i\) commutes with \(w_{i+1}\) for \(i\in \{0,\dots, k-1\}\).\N\NThe main result of this paper is as follows: If \(M\) is generated by a sequence \(\{u_n\}_{n\in \mathbb{N}}\) of Haar unitaries such that \(u_n \sim^\mathcal{U} u_{n+1}\) for every \(n\in \mathbb{N}\), then \(M\) is singly generated.\N\NIn particular, if \(M\) is generated by a sequence \(\{u_n\}_{n\in \mathbb{N}}\) of Haar unitaries such that \(u_n\) commutes with \(u_{n+1}\) for every \(n\in \mathbb{N}\), then \(M\) is singly generated.











This page was built for publication: Internal sequential commutation and single generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6919427)