I wrote a blog post on how to work out the injectivity radii of the unitary groups. If you like getting results in differential geometry and group theory with (mostly) just linear algebra, this one's for you! https://sethaxen.com/blog/2023/02/the-injectivity-radii-of-the-unitary-groups/

#DiffGeo #GroupTheory #LinearAlgebra