4
$\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

3
$\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$

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.