1
$\begingroup$

So I have two varieties;
$V=V(y-x^2)$ and $W=V(y^2-x^3)$

$\phi: V \mapsto W$; $(x,y) \mapsto (y,xy)$
define
$\phi^*: C[W] \mapsto C[V]$; $[f] \mapsto [f o \phi]$

This is the morphism i'm looking at;
$\gamma: V \mapsto W$ by $(x,y) \mapsto (x^2,xy)$

Can anyone tell me what $\gamma(x,y)$ is? Also, how do you compute $\gamma^*:C[W] \mapsto C[V] $? Apparently it is the same as $\phi^*$

  • 0
    You must be losing something in translation, because as written, clearly $\gamma = \phi$.2012-05-16
  • 0
    thank you, latex language is hard to type correctly !2012-05-16
  • 2
    What is the relation between the functions $y$ and $x^2$ on $V$? (Hint: As written, you still have $\gamma = \phi$ and so therefore $\gamma^* = \phi*$, even though the way you write down the two ring homomorphisms may be different.)2012-05-16
  • 0
    It is important to distinguish between $x$ and $y$ as elements of the polynomial ring $\mathbb{C}[x,y]$ and the elements $\overline{x}$ and $\overline{y}$ as elements of $\mathbb{C}[V] \cong \mathbb{C}[x,y]/(y - x^2)$. Here $\overline{x}$ refers to $x \pmod{(y - x^2)}$ and similarly for $\overline{y}$. Note that it is not true that $y = x^2$ in $\mathbb{C}[x,y]$, but it *is* true that $\overline{y} = \overline{x}^2$ in $\mathbb{C}[V]$. (cont.)2012-05-16
  • 0
    Geometrically, this says that the functions $y$ and $x^2$ are different functions on the entire affine plane, but they restrict to the same function on the parabola $V$ given by the equation $y = x^2$.2012-05-16

0 Answers 0