2
$\begingroup$

If $\mathbb{Q}[t_1,\ldots, t_n] = A[x_1,\ldots, x_{n-1}]$ has it been proven that $A\cong\mathbb{Q}[t]$?

$\endgroup$
5
  • $\begingroup$ This is an easy exercise. $\endgroup$
    – naf
    Commented Sep 15, 2020 at 10:48
  • $\begingroup$ I can only prove in case of algebraically closed field. Any hints to not closed field case? $\endgroup$
    – A.Skutin
    Commented Sep 15, 2020 at 11:10
  • $\begingroup$ @ulrich : what easy argument do you have in mind? $\endgroup$ Commented Sep 15, 2020 at 20:56
  • 1
    $\begingroup$ $\mathrm{Spec}(A)$ is obviously a curve which is unirational over $\mathbb{Q}$. It is also clear that the space of complex points of $\mathrm{Spec}(A)$ is contractible (in the analytic topology). There is only one curve over $\mathbb{Q}$ which has these two properties. $\endgroup$
    – naf
    Commented Sep 16, 2020 at 14:02
  • $\begingroup$ Is this argument valid for any other field which isn't algebraically closed but with zero characteristic? $\endgroup$
    – A.Skutin
    Commented Sep 16, 2020 at 15:25

0

You must log in to answer this question.

Browse other questions tagged .