Apr 22'25

Exercise

[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.

Work out the Tannakian duality for the closed subgroups

[[math]] G\subset U_N^+ [[/math]]

whose fundamental corepresentation is self-adjoint, up to equivalence,

[[math]] u\sim\bar{u} [[/math]]

first as a consequence of the results that we have, and then independently.