Skip to main content
13 events
when toggle format what by license comment
Jan 7, 2021 at 13:45 vote accept Dinisaur
Jan 6, 2021 at 0:21 comment added LSpice (I have deleted my proofreading comments because they are pushing substantive comments below the fold.)
Jan 5, 2021 at 20:54 comment added YCor Sorry, I should have said $Isom^0$ rather than $Isom^+$. These are the isometries in the identity component, and also those that preserve the orientation on $H^2$.
Jan 5, 2021 at 20:29 comment added Dinisaur @YCor could you explain this better? as far as I know all isometries of $\widetilde{\operatorname{SL}_2}$ are orientation preserving, the identity component of which comes from $\operatorname{Isom}^+(\mathbb{H}^2)$ and the other component from $\operatorname{Isom}^-(\mathbb{H}^2)$ as a central product with $\mathbb{R}$.
Jan 5, 2021 at 20:21 comment added YCor One can easily describe $\mathrm{Isom}^+(\widetilde{\mathrm{SL}_2})$ as central product of $\widetilde{\mathrm{SL}_2}$ and $\mathbf{R}$, and there's a analogous hardly more complicated description for the whole isometry group. Is this what you're looking for?
Jan 5, 2021 at 20:19 comment added YCor @LSpice Even if reasonably common, I think Sl, Gl are wrong analogues of Sp (which is correct since p is not an initial).
Jan 5, 2021 at 19:42 comment added Dinisaur @LSpice Thanks for all the fixing! $\Gamma$ is indeed the indentity componend of $\operatorname{Isom}(\widetilde{SL_2})$
Jan 5, 2021 at 19:07 answer added Tom Goodwillie timeline score: 5
Jan 5, 2021 at 18:26 comment added YCor @LSpice It's SL, rather than Sl. PSl is a bit absurd, since these are 3 initials (Projective Special Linear)
Jan 5, 2021 at 16:59 history edited LSpice CC BY-SA 4.0
Proofreading; names of references
Jan 5, 2021 at 16:55 history edited YCor CC BY-SA 4.0
formatting
Jan 5, 2021 at 16:43 review First posts
Jan 5, 2021 at 17:03
Jan 5, 2021 at 16:39 history asked Dinisaur CC BY-SA 4.0