自己交点数が-1←は？

X⊂A^2×P^1を

X := { ((x, y), [t : s]): xt - ys = 0 }
E := { ((0, 0, [t : s])∈X: [t, s]∈P^1 }

とすると、

E^2 = -1