[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the free complexification embedding

[[math]] \widetilde{O_N^+}\subset U_N^+ [[/math]]

is an isomorphism at the level of the associated diagonal tori.