2
$\begingroup$

This question is about intersection theory on the easiest (arithmetic) surface over $\mathbf{Z}$: $\mathbf{P}^1_{\mathbf{Z}}$.

Suppose we are given two distinct $\mathbf{Q}$-rational points $b_1$ and $b_2$ on the projective line $\mathbf{P}^1_{\mathbf{Q}}$. Let $P_1$ and $P_2$ be the natural sections of $P^1_{\mathbf{Z}}$ over $\mathbf{Z}$ corresponding to $b_1$ and $b_2$ given by the valuative criterion of properness. (The image of $P_1$ being just the closure of $b_1$ in $\mathbf{P}^1_{\mathbf{Z}}$.)

Can one determine if $P_1\cap P_2 = \emptyset$ just by looking at the generic fibre, i.e., at the points $b_1$ and $b_2$?

Example. The pairs $(b_1,b_2)$ given by $(0,1)$, $(0,\infty)$ or $(1,\infty)$ give sections such that $P_1\cap P_2=\emptyset$. (I can prove this by drawing a picture.)

What am I missing? I'm guessing it could happen that $P_1\cap P_2 =\emptyset$ after composing with an automorphism...

$\endgroup$
1
  • $\begingroup$ Your three points should be $(0:1), (1:0)$ and $(1:1)$. $\endgroup$
    – Qing Liu
    Jul 24, 2011 at 19:36

1 Answer 1

3
$\begingroup$

Fix a system of homogeneous coordinates: $${\bf P}^1_{\mathbb Z}=\mathrm{Proj\ } \mathbb Z[x,y].$$

Every rational point $b$ of ${\bf P}^1_{\mathbb Q}$ can be written in homogeneous coordinates as $(u : v)$ with coprime integers $u, v\in \mathbb Z$. The vector $(u, v)$ is unique up to signs. The closure $P$ of $b$ has integral homogeneous coordinates $(u:v)$ and the image of $P$ in ${\bf P}^1_{\mathbb F_p}$ has homogeneous coordinates $(\bar{u}: \bar{v})$ with obvious meaning of $\bar{u}$ and $\bar{v}$.

Now write $b_1=(u_1:v_1)$, $b_2=(u_2:v_2)$ as above. Then $P_1$ meets $P_2$ above a prime number $p$ if and only if $(\bar{u}_1:\bar{v}_1)=(\bar{u}_2:\bar{v}_2)$ in ${\bf P}^1$ over ${\mathbb F}_p$. Or equivalently if $u_1v_2-v_1u_2 \equiv 0 \mod p$. Therefore $P_1\cap P_2=\emptyset$ if and only if $u_1v_2-v_1u_2=\pm 1$.

<EDIT> In general the intersection number $(P_1,P_2)$ as defiend in this post is given by $$ (P_1, P_2)=\log |u_1v_2-v_1u_2|.$$ Actually the intersection number is computed locally at every $p$. At a $p$ prime to $v_1v_2$, the coordinates of $P_i$ is $(u_i/v_i : 1)$ (with $u_i/v_i\in\mathbb Z_p$), so $i_p(P_1, P_2)=v_p(u_1/v_1 - u_2/v_2)=v_p(u_1v_2-u_2v_1)$. If $p$ divides $v_1$ and $P_1, P_2$ intersect each other above $p$, then $p$ divides also $v_2$. Then we do the same computations with $v_i/u_i$ instead of $u_i/v_i$.

A more abstract characterization is, as you suggest, there exists an automorphism of ${\bf P}^1_{\mathbb Z}$ which maps $P_1$ to $(0:1)$ and $P_2$ to $(1:0)$. This is obviously sufficient. The above descriptions shows that if $P_1$ doesn't meet $P_2$, then the automorphism $(x:y)\mapsto (v_1x-u_1y : v_2x-u_2y)$ of ${\bf P}^1_{\mathbb Z}$ maps $b_1$ to $(0:1)$ and $b_2$ to $(1:0)$.

Note that one can't expect a characterization uniquely in terms of the generic fiber because the condition on $P_1, P_2$ depends on a choice of the model ${\bf P}^1_{\mathbb Z}$. For example, $\mathrm{Proj\ } \mathbb Z[2x,y]$ is isomorphic to ${\bf P}^1_{\mathbb Z}$, the points $(1:1), (0:1)$ (in the coordinates $x,y$) meets, in this new model, above $p=2$, but they don't meet in $\mathrm{Proj\ } \mathbb Z[x,y]$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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