460
$\begingroup$

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}$ such that $f\colon\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

$\endgroup$
  • 52
    $\begingroup$ Is it known (or obvious) that there is an injective f? $\endgroup$ – Tom Leinster Apr 11 '10 at 17:56
  • 158
    $\begingroup$ Quote from arxiv.org/abs/0902.3961, Bjorn Poonen, Feb. 2009: "Harvey Friedman asked whether there exists a polynomial $f(x,y)\in Q[x,y]$ such that the induced map $Q × Q\to Q$ is injective. Heuristics suggest that most sufficiently complicated polynomials should do the trick. Don Zagier has speculated that a polynomial as simple as $x^7+3y^7$ might already be an example. But it seems very difficult to prove that any polynomial works. Our theorem gives a positive answer conditional on a small part of a well-known conjecture." $\endgroup$ – Jonas Meyer Apr 11 '10 at 19:47
  • 15
    $\begingroup$ Shouldn't Jonas repost his comment as an answer? $\endgroup$ – David Corwin Jul 27 '10 at 22:19
  • 6
    $\begingroup$ If there exists such an $f$, then there does so in any number $n$ of variables, by a simple induction. So does there exist, for some $n \geq 2$, a polynomial $p(x_1,...,x_n)$ in $n$ variables over $\mathbb{Q}$ such that $p : \mathbb{Q}^n \rightarrow \mathbb{Q}$ is bijective ? Replace bijective everywhere by injective if you like. I don't know if this is any easier to answer, but sometimes you can say a lot more about Diophantine equations in many variables. $\endgroup$ – Peter Hegarty Sep 22 '11 at 13:52
  • 29
    $\begingroup$ Now 16 answers, all deleted. $\endgroup$ – Gerry Myerson Oct 7 '14 at 5:09
60
$\begingroup$

Jonas Meyer's comment:

Quote from arxiv.org/abs/0902.3961, Bjorn Poonen, Feb. 2009: "Harvey Friedman asked whether there exists a polynomial $f(x,y)\in Q[x,y]$ such that the induced map $Q × Q\to Q$ is injective. Heuristics suggest that most sufficiently complicated polynomials should do the trick. Don Zagier has speculated that a polynomial as simple as $x^7+3y^7$ might already be an example. But it seems very difficult to prove that any polynomial works. Our theorem gives a positive answer conditional on a small part of a well-known conjecture." – Jonas Meyer


Added June 2019 Poonen's paper is published as:

Bjorn Poonen, Multivariable polynomial injections on rational numbers, Acta Arith. 145 (2010), no. 2, pp 123-127, doi:10.4064/aa145-2-2, arXiv:0902.3961.

$\endgroup$
  • 3
    $\begingroup$ This was posted (by Jonas Meyer) as a comment on 11 April 2010, and got 125 upvotes (so far!) as a comment. Why post it now as an answer? $\endgroup$ – Gerry Myerson Jan 13 '16 at 5:04
  • 33
    $\begingroup$ @GerryMyerson Probably on suggestion from David Corwin, and/or on the Stack Exchange principle that important relevant information shouldn't be relegated to comments. I guess Boaz signals, by making it CW, that this isn't for reputation gain, but as a public service. $\endgroup$ – Todd Trimble Jan 13 '16 at 5:16
  • 28
    $\begingroup$ @GerryMyerson is right. The issue is that the problem is presented as unsolved, drawing unnecessary attention and time, just to find in the comments that it is as answered as it could be. I believe, MO is not expected to provide answers like complete solutions of P=NP. Rather, answers that are within knowledge, or easy reach, of experts. I can stop doing this service if this is against the policies, but then an alternative solution to the issue I raise here better be found. $\endgroup$ – Boaz Tsaban Jan 13 '16 at 12:31
17
$\begingroup$

This is a link to a new, crowdsourced attempt to resolve this question (at least conditional on the assumption of some strong number-theoretic conjectures) being led by Terry Tao.

$\endgroup$
  • 9
    $\begingroup$ While what is outlined there is a good strategy of attack, Terry does not suggest it is a rigorous proof, and posts it in the hopes that specialists will fill in the holes and reduce the problem to a consequence of one or more conjectures in algebraic geometry. Gerhard "That Means It's Conditionally False" Paseman, 2019.06.08. $\endgroup$ – Gerhard Paseman Jun 8 at 16:30
  • $\begingroup$ @Community wiki am confused why My réputation score dosn't change however i have 11 up vote in that answer $\endgroup$ – zeraoulia rafik Jun 10 at 21:52
  • 2
    $\begingroup$ Community wiki posts do not change one's reputation. Gerhard "Doesn't Really Understand Your Confusion" Paseman, 2019.06.10. $\endgroup$ – Gerhard Paseman Jun 10 at 22:30
  • 1
    $\begingroup$ @GerhardPaseman Could u pleas explain me the reason ? $\endgroup$ – zeraoulia rafik Jun 10 at 22:32
  • 7
    $\begingroup$ No. Look up the stackexchange documents on community wiki. Gerhard "Is Busy With Other Things" Paseman, 2019.06.10. $\endgroup$ – Gerhard Paseman Jun 10 at 22:54

protected by Andrés E. Caicedo Dec 5 '13 at 14:23

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.