5
$\begingroup$

Suppose you have a K3 surface $S$ containing a smooth rational curve $C$ and suppose you have an elliptic fibration $S \rightarrow \mathbb P^1$ that restricts to a morphism $C \rightarrow \mathbb P^1$ of degree 2. Construct the surface $S_1$ through base change: $$\begin{array}{ccc} S_1 & \rightarrow & S \\ \downarrow & & \downarrow \\ C & \rightarrow & \mathbb P^1 \end{array}$$

(1) What can you say about $S_1$ and, in particular, what can you say about the euler number of $S_1$? In the examples I have it is always 36 or 48.

(2) If the degree of the morphism $C \rightarrow \mathbb P^1$ is $d$, can I say that the euler number of $S_1$ is less or equal than $24d$?

$\endgroup$
0

1 Answer 1

4
$\begingroup$

Assuming that the branched locus of the map $C\to \mathbb{P}^1$ contains only points $b\in \mathbb{P}^1$ corresponding to smooth fibers of the map $S\to \mathbb{P}^1$, the surface $S_1$ will be a non-singular elliptic surface fibered over $ C\cong \mathbb{P}^1$ and will have Euler characteristic exactly $24d$ (another way to say this condition is that the map $C\to \mathbb{P}^1$ is transverse to the map $S\to \mathbb{P}^1$). If the branched locus includes points corresponding to singular fibers, the surface $S_1$ will be singular. The easiest method to compute the Euler characteristic of $S_1$ (in both the singular and the non-singular cases) is motivically: Euler characteristic is additive under stratifications and multiplicative for smooth fiber bundles. So you stratify $S_1$ by the topological type of the fibers of $S_1\to C$. The open strata has euler characteristic zero since the fibers are elliptic curves and so the euler characteristic of $S_1$ is the sum of the Euler characteristics of the singular fibers. In the case where the map $C\to \mathbb{P}^1$ is transverse to $S\to \mathbb{P}^1$, the singular fibers of $S_1\to C$ are just $d$ copies of the singular fibers of $S$ and hence $e(S_1)=d\cdot e(S)$. In the singular case, some of the singular fibers may have multiplicity and hence there may be fewer than $d$ copies of a singular fiber of $S$. Thus in the singular case, $e(S_1)<24d$.

By the way, the condition that $C$ is contained in $S$ is a bit of a red herring here. The surface $S_1$ only depends on the maps $C\to \mathbb{P}^1$ and $S \to \mathbb{P}^1$, and not at all the embedding $C \subset S$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .