0
$\begingroup$

enter image description here

so far I understand about the statement: let $p_i,i=1\dots,n$ has non trivial stabilizers i.e $S_{p_1}=\{g:g.p=p, g\in G\}\neq\{e\}$, is non trivial subgroup of $G$ for $p_1$ and so forth upto $p_n$ we will get $S_{p_n}$,so we need to show $\{p_1,\dots,p_n\}$ is discrete.

could any one make me understand the 2nd line of the proof? and in 3rd line $g$ is continous, how come a point $g\in G$ is continuous?

1 Answers 1

2

Second line: $G$ is finite, so there must be at least one $g\in G$ that fixes infinitely many of the $p_i$; otherwise there could only be finitely many $p_i$. These $p_i$ fixed by that $g$ form a subsequence all of whose terms are fixed by the same nontrivial element $g$.

Third line: This is a slight abuse of notation; $g$ here is not the element of $G$ but the map induced by it, which is continuous since $G$ acts holomorphically.

  • 0
    the kernel of the action of $G$ on $X$,$K=\{g\in G|g.p=p\forall p\in X\}$2012-07-27