Classification of finite subgroups of $\textrm{GL}_2(\mathbb{C})$

1.6k Views Asked by At

I was reading $\textit{A Report on Artin's Holomorphy Conjecture}$ by Dipendra Prasad and C. S. Yogananda. (http://www.math.tifr.res.in/~dprasad/artin.pdf)

On p. 9, they state that the finite subgroups of $\textrm{GL}_2(\mathbb{C})$ can be classified according to their images in $\textrm{PGL}_2(\mathbb{C})$, being one of the following:

1) Cyclic,

2) Dihedral,

3) Tetrahedral,

4) Octahedral,

5) Icosahedral.

They attribute the classification of the finite subgroups of $\textrm{GL}_2(\mathbb{C})$ to Felix Klein, but they do not provide a reference. After extensive research, I have been unable to find a resource that treats the matter.

This is of course what the progress made on the proof of Artin's conjecture in the case of two-dimensional representations hinges upon.

If anyone could provide a reference, or briefly explain why the above list is an exhaustive classification of the finite subgroups of $\textrm{GL}_2(\mathbb{C})$, I would be most grateful.

$\textbf{Addendum}:$ I have still not solved the above and therefore add a bounty. I add that on p. 25 of $\textit{Base Change for}\ \textrm{GL}(2)$ by R.P. Langlands, he mentions in passing that $\textrm{PGL}(2,\mathbb{C}) \cong \textrm{SO}(3,\mathbb{C})$, which is significant. But it still remains to show that the finite subgroups of $\textrm{SO}(3,\mathbb{C})$ fall into one of the five classes listed above, which is not obvious to me. The list is of course reminiscent of the five known platonic solids: The tetrahedron, the cube, the octahedron, the dodecahedron, and the icosahedron. But if there is a relationship, I fail to see it.

2

There are 2 best solutions below

1
On

The following paper https://www.researchgate.net/publication/254410139_Algebraic_subgroups_of_GL_2C

provides all algebraic subgroups of $\mathrm{GL}_2(\mathbb{C})$ in Section 2, but you certainly can extract the list of all finite subgroups. You should read first the considerations at the very beginning of Section 2 and then go to Theorem 4.

0
On

One can start with the classification of the finite subgroups of $SL_2(\Bbb C)$ and the unit quaternions $SU(2)$ inside $SL_2(\Bbb C)$ (any finite subgroup $G$ of $SL_2(\Bbb C)$ can be made to preserve an Hermitian inner product on $\Bbb C^2$ by averaging, hence is also a finite subgroup of $SU(2)$). This case is well documented. For several references see this MO-question, e.g., by Milnor, Slodowy and Dimca. In fact Dolgachev gives a nice and detailed proof here in section $1.1$.

The next step is extending this to $GL_2(\Bbb C)$. But again, this is well-documented at this MO-question, even for other fields $K$, e.g., for $GL_2(K)$.