 Maslov map

The Maslov map is well defined because every matrix in $O(n)$ has determinant $\pm 1$. The loopmaps to $e^{2\pi it}$ and therefore has Maslov index one.