3
$\begingroup$

Let $K$ be the field $\mathbb{Q}(\sqrt[3]{2})$.

I want to construct an explicit morphism from $K$ to the fraction field of

$$\mathbb{Q}[X,Y,Z]/(X^3 + 2Y^3 + 4Z^3 - 6XYZ)$$

but this doesn't seem to be that easy. Can someone help me?

Of course I just have to send $\sqrt[3]{2}$ to some explicit polynomial/rational function in $X$, $Y$ and $Z$...?

EDIT. Should I start thinking that it is impossible?

  • 3
    Do you recognize that polynomial?2011-09-30
  • 0
    It factors over $\mathbb{Q}(\sqrt[3]{2})$...2011-10-01
  • 0
    By "recognise" Qiaochu means: have you seen it somewhere before, maybe somehow in connection with $K$?2011-10-01
  • 0
    It is some kind of norm for the extension $K/\mathbb{Q}$. However I don't see how this makes things easier!2011-10-01

1 Answers 1

1

Let $L = \mathbb{Q}(Y, Z)$, and $f(X) = X^3 - 6XYZ + 2Y^3 + 4Z^3$. You're asking if $L[X] / f(X) \cong L(\sqrt[3]{2})$, or equivalently if $f(X)$ has a root in $L(\sqrt[3]{2})$. At first glance it seems a little unlikely, but maybe it can work out. The rational root theorem (which I think still applies here) says it would have to be a factor of $2Y^3 + 4Z^3$, which we can factor as being the sum of two cubes. Can you take it from here?

  • 0
    Yes, I can see that taking $X = -\sqrt[3]{2}Y - \sqrt[3]{4}Z$ gives a root for $f(X)$. But it's still not clear to me how you'd construct your morphism. Writing $K = Q[T]/(T^3 - 2)$, which polynomial would be the image of (the class of) $T$?2011-10-01
  • 0
    Or which rational function?2011-10-01
  • 0
    Now that we know the fields are equal, I'm tempted to "brute force" out an answer -- rather than do anything clever, just set up a linear algebra problem and solve it. We know that $(1, X, X^2)$ and $(1, \sqrt[3]{2}, \sqrt[3]{2}^2)$ are bases for the same three-dimensional $L$-vector space, and you've written down two linear equations that relate them ($1=1$ is the other). You can find a third by algebra -- compute $X^2$. Then you'd have three independent equations in the three "unknowns" $(1, \sqrt[3]{2}, \sqrt[3]{2}^2)$.2011-10-01
  • 0
    Plugging your answer into wolframalpha was discouraging: http://www.wolframalpha.com/input/?i=polynomialmod%28+%28-1%2F%28+y%5E4+%28x%5E2+y+z+%2B+x+y%5E3+%2B+2+x+z%5E3+-+4+y%5E2+z%5E2%29+%29+%29%5E3+%2C+x%5E3+%2B+2+y%5E3+%2B+4+z%5E3+-+6+x+y+z2011-10-01
  • 1
    But it can do the linear algebra for you, after replacing $\sqrt[3]{2}$ with $u$ and $\sqrt[3]{4}$ with $v$: http://www.wolframalpha.com/input/?i=solve+x+%3D+-u+y+-+v+z++and++x%5E2+%3D+v+y%5E2+%2B4+y+z+%2B+2+u+z%5E2+for+u+and+v (you want the second solution, since that's the one that doesn't assert any equality involving $y$ and $z$)2011-10-01
  • 0
    Yes, I realized that I made a mistake in the calculations, that's why I deleted the comment later. But ok, I got it now, thanks a lot for your help!2011-10-01