A Schur-Horn theorem in II$_1$ factors Martin ArgeramiPedro Massey 46L9946L55majorizationdiagonals of operatorsSchur-Horn Given a II$_1$ factor $\mathcal{M}$ and a diffuse abelian von Neumann subalgebra $\mathcal{A} \subset \mathcal{M}$, we prove a version of the Schur-Horn theorem, namely \[ \overline{E_{\mathcal{A}}(\mathcal{U}_{\mathcal{M}}(b))}^{\sigma\mbox{-}\mathrm{sot}} = \{a \in \mathcal{A}^{\mathrm{sa}}: a \prec b \}, \quad b \in \mathcal{M}^{\mathrm{sa}}, \] where $\prec$ denotes spectral majorization, $E_{\mathcal{A}}$ the unique trace-preserving conditional expectation onto $\mathcal{A}$, and $\mathcal{U}_{\mathcal{M}}(b)$ the unitary orbit of $b$ in $\mathcal{M}$. This result is inspired by a recent problem posed by Arveson and Kadison. Indiana University Mathematics Journal 2007 text pdf 10.1512/iumj.2007.56.3113 10.1512/iumj.2007.56.3113 en Indiana Univ. Math. J. 56 (2007) 2051 - 2060 state-of-the-art mathematics http://iumj.org/access/