Abstract:We investigate the C*-algebra inclusions $B \subset A \rtimes_{\rm r} \Gamma$ arising from inclusions $B \subset A$ of $\Gamma$-C*-algebras. The main result shows that, when $B \subset A$ is C*-irreducible in the sense of Rørdam, and is centrally $\Gamma$-free in the sense of the author, then after tensoring with the Cuntz algebra $\mathcal{O}_2$, all intermediate C*-algebras $B \subset C\subset A \rtimes_{\rm r} \Gamma$ enjoy a natural crossed product splitting \[\mathcal{O}_2\otimes C=(\mathcal{O}_2 \otimes D) \rtimes_{{\rm r}, \gamma, \mathfrak{w}} \Lambda\] for $D:= C \cap A$, some $\Lambda<\Gamma$, and a subsystem $(\gamma, \mathfrak{w})$ of a unitary perturbed cocycle action $\Lambda \curvearrowright \mathcal{O}_2\otimes A$. As an application, we give a new Galois's type theorem for the Bisch--Haagerup type inclusions \[A^K \subset A\rtimes_{\rm r} \Gamma\] for actions of compact-by-discrete groups $K \rtimes \Gamma$ on simple C*-algebras. Due to a K-theoretical obstruction, the operation $\mathcal{O}_2\otimes -$ is necessary to obtain the clean splitting. Also, in general 2-cocycles $\mathfrak{w}$ appearing in the splitting cannot be removed even further tensoring with any unital (cocycle) action. We show them by examples, which further show that $\mathcal{O}_2$ is a minimal possible choice. We also establish a von Neumann algebra analogue, where $\mathcal{O}_2$ is replaced by the type I factor $\mathbb{B}(\ell^2(\mathbb{N}))$.

Recursive subhomogeneity of orbit-breaking subalgebras of $\mathrm{C}^*$-algebras associated to minimal homeomorphisms twisted by line bundles

Mirror Symmetry for Special Nilpotent Orbit Closures

Cohomology of minimal Sullivan algebras of non-finite type and their realizations

Subconvex equidistribution of cusp forms: reduction to Eisenstein observables

C*-algebras associated with complex dynamical systems and backward orbit structure

Crossed product splitting of intermediate operator algebras via 2-cocycles

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems

Toeplitz Algebras, Subnormal Tuples and Rigidity on Reproducing C[z1,…,zd]-modules

Cuntz--Pimsner algebras of partial automorphisms twisted by vector bundles I: Fixed point algebra, simplicity and the tracial state space

Koszul duality and the Poincaré-Birkhoff-Witt theorem

Cohomological dimension of braided Hopf algebras

On the cohomology of certain subspaces of $\mathit{Sym}^n(¶^1)$ and Occam's razor for Hodge structures

Toeplitz algebras , subnormal tuples and rigidity on reproducing C 1⁄2 z 1 ; y ; zd-modules

Uniqueness property for $C^*$-algebras given by relations with circular symmetry

The cycline subalgebra of a Kumjian-Pask algebra

Intermediate Subalgebras of Cartan embeddings in rings and C*-algebras

Noncommutative homotopy algebras associated with open strings

Ideal structure of C*-algebras of commuting local homeomorphisms

On the homotopy invariance of the twisted Lie algebroid cohomology

Dimensions associated with surjective local homeomorphisms and subshifts with low complexity

Maximal UHF subalgebras of certain C*-algebras