Points of $\mathrm{Sp}^*(2n)$ with the same sign of $\det(\mathrm{Id}-A)$ lie in one path component

Initializing...

Points of $\mathrm{Sp}^*(2n)$ with the same sign of $\det(\mathrm{Id}-A)$ lie in one path component · Prove2Me