an:01425131
Zbl 0966.14031
Silverman, Joseph H.
The space of rational maps on \(\mathbf P^1\)
EN
Duke Math. J. 94, No. 1, 41-77 (1998).
00064785
1998
j
14L24 37K20 14L30 14E05
space of rational maps; action of special linear group; discrete dynamical system; geometric invariant theory
Introduction: The set of morphisms \(\varphi:\mathbb{P}^1 \to\mathbb{P}^1\) of degree \(d\) is parametrized by an affine open subset \(\text{Rat}_d\) of \(\mathbb{P}^{2d+1}\). In this paper, we consider the action of \(\text{SL}_2\) on \(\text{Rat}_d\) induced by the conjugation action of \(\text{SL}_2\) on rational maps; that is, \(f\in\text{SL}_2\) acts on \(\varphi\) via \(\varphi^f= f^{-1}\circ \varphi\circ f\). The quotient space \(M_d=\text{Rat}_d/ \text{SL}_2\) arises very naturally in the study of discrete dynamical systems on \(\mathbb{P}^1\). We prove that \(M_d\) exists as an affine integral scheme over \(\mathbb{Z}\), that \(M_2\) is isomorphic to \(\mathbb{A}^2_\mathbb{Z}\) and that the natural completion of \(M_2\) obtained using geometric invariant theory is isomorphic to \(\mathbb{P}^2_\mathbb{Z}\). These results, which generalize results of Milnor over \(\mathbb{C}\), should be useful for studying the arithmetic properties of dynamical systems.
Reviewer (Berlin)