Two polynomials generating $\mathbb{C}(x,y^2)$

97 Views Asked by At

Let $\beta$ be the following involution (=automorphism of order two) on $\mathbb{C}[x,y]$: $\beta: (x,y) \mapsto (x,-y)$. Denote the set of symmetric elements w.r.t. $\beta$ by $S_{\beta}$, and the set of skew-symmetric elements w.r.t. $\beta$ by $K_{\beta}$.

It is not difficult to see that if $s \in S_{\beta}$, then $s= a_{2n}y^{2n}+a_{2n-2}y^{2n-2}+\cdots+a_2y^2+a_0$, where $a_{2n},a_{2n-2},\ldots,a_2,a_0 \in \mathbb{C}[x]$, while if $k \in K_{\beta}$, then $a_{2n+1}y^{2n+1}+a_{2n-1}y^{2n-1}+\cdots+a_3y^3+a_1y$, where $a_{2n+1},a_{2n-1},\ldots,a_3,a_1 \in \mathbb{C}[x]$.

Let $s_1,s_2 \in S_{\beta}=\mathbb{C}[x,y^2]$ satisfy: (1) Each of $s_1,s_2$ is of (total) degree $\geq 1$. (2) $s_1,s_2$ are algebraically independent over $\mathbb{C}$. (3) $\mathbb{C}(s_1,s_2)=\mathbb{C}(x,y^2)$.

For example: $s_1=x, s_2=xy^2$.

Is it possible to find a general form of such a pair $s_1,s_2$?

Remarks: (i) If I am not wrong, if we replace condition $(3)$ to $\mathbb{C}[s_1,s_2]=\mathbb{C}[x,y^2]$, then the answer is as follows: Define $h: (x,y) \mapsto (x,y^2)$. Then a general form for such a pair $s_1,s_2$ is $s_1=(hg)(x), s_2=(hg)(y)$ where $g$ is an arbitrary automorphism of $\mathbb{C}[x,y]$.

(ii) Denote the group of automorphisms of $\mathbb{C}(x,y)$, the Cremona group, by $C$. If my argument in $(1)$ is correct, then perhaps an analog argument will solve my question as follows: Define $h: (x,y) \mapsto (x,y^2)$ ($h$ is extended to the field of fractions). Then a general form for $s_1,s_2$ is $s_1=(hg)(x), s_2=(hg)(y)$ where $g$ is an appropriate automorphism of $\mathbb{C}(x,y)$.

(iii) If my argument in $(2)$ is correct, then I would like to know how to describe $g \in C$; I think that an answer can be found in one of the references in this question, but I am not sure if I fully understand it.

(iv) Notice that not all elements of $C$ will be relevant to my question, since $s_1,s_2$ are assumed to be polynomials; for example, $C \ni g: (x,y) \mapsto (\frac 1x ,y)$ would yield $s_1=\frac 1x \notin \mathbb{C}[x,y]$ and $s_2=y^2$. (Or perhaps we should allow other options for $h$, for example, $h: (x,y) \mapsto (x, \frac{1}{y^2})$ and then we can take arbitrary $g \in C$).

Thank you very much!