Skip to main content
acknowledged an answer in a particular case and made clear I am interested in the general case
Source Link
Jérôme Poineau
  • 4.1k
  • 1
  • 23
  • 35

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $S$ and $T$ be two disjoint infinite subsets of $X(k)$. Does there exist a morphism $f:X \to \mathbb{P}^1$ and two infinite subsets $A$ and $B$ of $\mathbb{P}^1(k)$ such that the preimages of $A$ and $B$ by $f$ lie inside $S$ and $T$ respectively?

Edit: As pointed out by Dragon, this may fail when $k$ is countable, but I would like to know the answer in the general case.

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $S$ and $T$ be two disjoint infinite subsets of $X(k)$. Does there exist a morphism $f:X \to \mathbb{P}^1$ and two infinite subsets $A$ and $B$ of $\mathbb{P}^1(k)$ such that the preimages of $A$ and $B$ by $f$ lie inside $S$ and $T$ respectively?

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $S$ and $T$ be two disjoint infinite subsets of $X(k)$. Does there exist a morphism $f:X \to \mathbb{P}^1$ and two infinite subsets $A$ and $B$ of $\mathbb{P}^1(k)$ such that the preimages of $A$ and $B$ by $f$ lie inside $S$ and $T$ respectively?

Edit: As pointed out by Dragon, this may fail when $k$ is countable, but I would like to know the answer in the general case.

Source Link
Jérôme Poineau
  • 4.1k
  • 1
  • 23
  • 35

Partitions of algebraic curves and maps to $\mathbb{P}^1$

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $S$ and $T$ be two disjoint infinite subsets of $X(k)$. Does there exist a morphism $f:X \to \mathbb{P}^1$ and two infinite subsets $A$ and $B$ of $\mathbb{P}^1(k)$ such that the preimages of $A$ and $B$ by $f$ lie inside $S$ and $T$ respectively?