Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2018
    • (edited Apr 15th 2018)

    I am splitting off an entry classification of finite rotation groups from ADE classification in order to collect statements and references specific to the classification of finite subgroups of SO(3)SO(3) and SU(2)SU(2).

    Is there a canonical reference for the proof of the classification statement? I find lots of lecture notes that give the proof, but all of them without citing sources or original publications of proofs.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2018

    found a good textbook account: Rees 05

    but again there is no pointer in there to the origin of the statement.

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2018

    I wrote:

    Is there a canonical reference for the proof of the classification statement? I find lots of lecture notes that give the proof, but all of them without citing sources or original publications of proofs.

    In Burban’s lecture notes (pdf) it has this statement:

    The classification of finite isometry groups of 3\mathbb{R}^3 is a classical result of F. Klein (actually of Platon)

    but still no concrete pointer…

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2018

    according to Lamotke’s book, it seems that the result goes back to Klein 1884

    (have not checked yet, need to run now)

    diff, v3, current

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 15th 2018

    From here

    In his Vorlesungen über das Ikosaeder [Klein,1993], published in 1884, Felix Klein gives the classification of finite subgroups of SL(2,)SL(2,\mathbb{C}) up to conjugacy

    There’s an online translation here.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 15th 2018

    I added bibliographic detail about Klein’s work and the translation.

    diff, v4, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2018

    Thanks for this! Excellent. I have added that reference also to all the entries on the separate finite rotation groups, as well as to that of the corresponding platonic solids.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 16th 2018

    Surely the binary cyclic groups (ie the even-order cyclic groups) are also pre-images of the cyclic group of half the order?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2018

    Yes, but not every cyclic subgroup of SU(2)SU(2) is in the image of taking pre-images. The odd order cycile groups are clearly not.

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 17th 2018

    Tweaked description of which finite subgroups are preimages under the double cover projection.

    diff, v9, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2018

    Oh, now I see. Thanks!

    • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 17th 2018

    For what it’s worth I think the odd-order cyclic subgroups of SU(2)SU(2) are the image of the section /(2k+1)/(4k+2)/(2k+1)×/2\mathbb{Z}/(2k+1) \to \mathbb{Z}/(4k+2) \simeq \mathbb{Z}/(2k+1) \times \mathbb{Z}/2, so the odd-order cyclic subgroups of SU(2)SU(2) are index-2 subgroups of inverse images of finite subgroups of SO(3)SO(3), and the projection map SU(2)SO(3)SU(2) \to SO(3) restricts to an isomorphism on these odd-order cyclic subgroups.