Skip to main content
added 1279 characters in body
Source Link
Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241

$\hbox{Rat}_d$, the space of rational functions of degree $d$, is a $2d+1$ dimensional affine algebraic variety, so it embeds into $\mathbb A^N$ for some suffficiently large $N$. Since you're presumably interested in working over $\mathbb C$ (or maybe $\mathbb R)$, you can embed $\hbox{Rat}_d(\mathbb C)$ into $\mathbb C^N$ and then just use the usual topology on $\mathbb C^N$.

To be more precise, if you view a degree $d$ rational function $f(z)=F(z)/G(z)$ as the $2d+2$-tuple of the coefficients of $F$ and $G$, it is defined as a point in $\mathbb P^{2d+2}$, and $\hbox{Rat}_d$ is the complement of the resultant locus $\mathcal R:\hbox{Res}(F,G)=0$. The complement of a hypersurface such as $\mathcal R$ is an affine variety. There's a brief description of how this embedding works in (see especially Proposition 4.27)

The Arithmetic of Dynamical Systems, Springer, Section 4.3 "The Space $\hbox{Rat}_d$ of Rational Functions"

Addendum in answer to comment that "I need a single space independent of $d$"

Ah, that's much more problematic. Now you're into the whole yoga of degenerations of rational maps of degree $d$ on the boundary of their natural moduli space. For those who work in dynamical systems, it is more natural to look at the quotient space $\mathcal M_d := \hbox{Rat}_d/\hbox{PGL}_2$, where the action is via conjugation, $f^\phi=\phi^{-1}\circ f\circ\phi$. These spaces were studied by Milnor (Experimental Math 2(1), 37-83, 1993), who proves that $\mathcal M_d(\mathbb C)$ is an orbifold and that it has a reasonable compactification. In particular, for $d=2$ he proves that $\mathcal M_2(\mathbb C)\cong\mathbb C^2$, and its natural compactification is $\overline{\mathcal M_2}(\mathbb C)\cong\mathbb P^2(\mathbb C)$. So then you can take any natural metric on projective space. I took this up from the perspective of algebraic geometry (geometric invariant theory) in Duke Math J. 94(1), 41-77, 1998. Of course, this may not be what you need, but it provides one approach. The point is that if you want a nice compactification of a moduli space, you usually need to restrict what sort of degenerations are allowed. In GIT language, the magic word is semi-stability.

$\hbox{Rat}_d$, the space of rational functions of degree $d$, is a $2d+1$ dimensional affine algebraic variety, so it embeds into $\mathbb A^N$ for some suffficiently large $N$. Since you're presumably interested in working over $\mathbb C$ (or maybe $\mathbb R)$, you can embed $\hbox{Rat}_d(\mathbb C)$ into $\mathbb C^N$ and then just use the usual topology on $\mathbb C^N$.

To be more precise, if you view a degree $d$ rational function $f(z)=F(z)/G(z)$ as the $2d+2$-tuple of the coefficients of $F$ and $G$, it is defined as a point in $\mathbb P^{2d+2}$, and $\hbox{Rat}_d$ is the complement of the resultant locus $\mathcal R:\hbox{Res}(F,G)=0$. The complement of a hypersurface such as $\mathcal R$ is an affine variety. There's a brief description of how this embedding works in (see especially Proposition 4.27)

The Arithmetic of Dynamical Systems, Springer, Section 4.3 "The Space $\hbox{Rat}_d$ of Rational Functions"

$\hbox{Rat}_d$, the space of rational functions of degree $d$, is a $2d+1$ dimensional affine algebraic variety, so it embeds into $\mathbb A^N$ for some suffficiently large $N$. Since you're presumably interested in working over $\mathbb C$ (or maybe $\mathbb R)$, you can embed $\hbox{Rat}_d(\mathbb C)$ into $\mathbb C^N$ and then just use the usual topology on $\mathbb C^N$.

To be more precise, if you view a degree $d$ rational function $f(z)=F(z)/G(z)$ as the $2d+2$-tuple of the coefficients of $F$ and $G$, it is defined as a point in $\mathbb P^{2d+2}$, and $\hbox{Rat}_d$ is the complement of the resultant locus $\mathcal R:\hbox{Res}(F,G)=0$. The complement of a hypersurface such as $\mathcal R$ is an affine variety. There's a brief description of how this embedding works in (see especially Proposition 4.27)

The Arithmetic of Dynamical Systems, Springer, Section 4.3 "The Space $\hbox{Rat}_d$ of Rational Functions"

Addendum in answer to comment that "I need a single space independent of $d$"

Ah, that's much more problematic. Now you're into the whole yoga of degenerations of rational maps of degree $d$ on the boundary of their natural moduli space. For those who work in dynamical systems, it is more natural to look at the quotient space $\mathcal M_d := \hbox{Rat}_d/\hbox{PGL}_2$, where the action is via conjugation, $f^\phi=\phi^{-1}\circ f\circ\phi$. These spaces were studied by Milnor (Experimental Math 2(1), 37-83, 1993), who proves that $\mathcal M_d(\mathbb C)$ is an orbifold and that it has a reasonable compactification. In particular, for $d=2$ he proves that $\mathcal M_2(\mathbb C)\cong\mathbb C^2$, and its natural compactification is $\overline{\mathcal M_2}(\mathbb C)\cong\mathbb P^2(\mathbb C)$. So then you can take any natural metric on projective space. I took this up from the perspective of algebraic geometry (geometric invariant theory) in Duke Math J. 94(1), 41-77, 1998. Of course, this may not be what you need, but it provides one approach. The point is that if you want a nice compactification of a moduli space, you usually need to restrict what sort of degenerations are allowed. In GIT language, the magic word is semi-stability.

Source Link
Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241

$\hbox{Rat}_d$, the space of rational functions of degree $d$, is a $2d+1$ dimensional affine algebraic variety, so it embeds into $\mathbb A^N$ for some suffficiently large $N$. Since you're presumably interested in working over $\mathbb C$ (or maybe $\mathbb R)$, you can embed $\hbox{Rat}_d(\mathbb C)$ into $\mathbb C^N$ and then just use the usual topology on $\mathbb C^N$.

To be more precise, if you view a degree $d$ rational function $f(z)=F(z)/G(z)$ as the $2d+2$-tuple of the coefficients of $F$ and $G$, it is defined as a point in $\mathbb P^{2d+2}$, and $\hbox{Rat}_d$ is the complement of the resultant locus $\mathcal R:\hbox{Res}(F,G)=0$. The complement of a hypersurface such as $\mathcal R$ is an affine variety. There's a brief description of how this embedding works in (see especially Proposition 4.27)

The Arithmetic of Dynamical Systems, Springer, Section 4.3 "The Space $\hbox{Rat}_d$ of Rational Functions"