Skip to main content
MathOverflow

Return to Question

deleted 56 characters in body
Source Link
David Zureick-Brown
David Zureick-Brown
  • 10.5k
  • 3
  • 39
  • 96

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C are necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).

Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C are necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).

Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.

Let C be a geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C are necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral, but gives a counterexample for K = Q and K' = Q(i).

Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.

typo, added a short remark
Source Link
David Zureick-Brown
David Zureick-Brown
  • 10.5k
  • 3
  • 39
  • 96

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C isare necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).

Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C is necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C are necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).

Also, I can prove that this is true when C has prime gonality. It would be odd, though, for this to be a necessary hypothesis.

Source Link
David Zureick-Brown
David Zureick-Brown
  • 10.5k
  • 3
  • 39
  • 96

Existence of points on varieties which avoid a given number field.

Let C be a geometrically connected and geometrically integral curve over a number field K and let K' be a number field containing K. Does there exist a number field L containing K such that

  • $L \cap K' = K$, and
  • $C(L) \neq \emptyset$?

Note that the hypotheses on C is necessary -- the curve x^2 + y^2 = 0, with the origin removed, is not geometrically integral and geometrically connected, but gives a counterexample for K = Q and K' = Q(i).