1: \begin{abstract}

2: 

3: 

4: 

5: Using computations in the bidual of $\mathbb{B}(L^2M)$ we develop a new technique at the von Neumann algebra level to upgrade relative proper proximality to full proper proximality.   %Let $M$ be a finite von Neumann algebra that is properly proximal relative to a family of mixing von Neumann subalgebras $\{M_i\}_{i=1}^{n}$. Using bidual  techniques  we show that such an $M$ splits as a direct sum of a properly proximal piece, and $n$ pieces that are respectively co-amenable relative to $M_i$ in $M$.      

6:   %Let $\Gamma$ be an infinite group that is biexact relative to a finite family of subgroups $\{\Lambda_i\}_{i\in I}$ such that each $\Lambda_i$ is almost malnorml in $\Gamma$. We obtain a structure result for von Neumann subalgebras $A\subset L\Gamma$.

7: %: $A$ is either amenable relative to $L\Lambda_i$ for some $i$ inside $L\Gamma$, or $A$ is properly proximal.

8:  % We show that there are central projections $p_1,p_2=$ in $A$ such that $\sum p_i=1$ and $Ap_i$ is amenable relative to $M_i$ inside $M$ for each $i$ and $A(p_1\bigvee p_2)^\perp$ is properly proximal. 

9:  This is used to structurally classify subalgebras of $L\Gamma$ where $\Gamma$ is an infinite group that is biexact relative to a finite family of subgroups $\{\Lambda_i\}_{i\in I}$ such that each $\Lambda_i$ is almost malnormal in $\Gamma$. This generalizes the result of \cite{DKEP21} which classifies subalgebras of von Neumann algebras of biexact groups.     By developing a combination  with techniques from Popa's deformation-rigidity theory  we obtain a new structural absorption theorem for free products and a generalized Kurosh type theorem in the setting of properly proximal von Neumann algebras.  %This result generalizes existing absorption results addressing amenability and property (Gamma), to include inner amenability. %The key idea behind the proofs of our results is the study of boundary pieces  arising from mixing subalgebras. 

10: \end{abstract}

11: