3
$\begingroup$

This is a problem about the holomorphic fibration on a complex manifold.

Does there exist a holomorphic fibration of genus two over $\mathbb{CP}^{1}$ with 7 nodal singularities?

If you are aware of such a construction, could you please outline the construction or provide a reference for it?

Thanks

$\endgroup$
5
  • 3
    $\begingroup$ Just checking--do you want 7 nodal fibers? Or actually seven nodes on the surface? $\endgroup$ Sep 10, 2015 at 0:58
  • $\begingroup$ Yes, I want 7 nodal fibers. $\endgroup$
    – guest
    Sep 10, 2015 at 1:10
  • $\begingroup$ I figured I'd explain where the $7$ is presumably coming from. As Yusuf says, $X$ should be a double cover of a $\mathbb{P}^1$ bundle over $\mathbb{P}^1$. The simplest case is $\mathbb{P}^1 \times \mathbb{P}^1$. And $X$ should be ramified over some $R$ of degree $(6,n)$ in $\mathbb{P}^1 \times \mathbb{P}^1$. We must have $n$ even in order for the double cover to exist, so the simplest choice is $(6,2)$. Then, if $R$ is smooth, it is genus $5$. So Riemann-Hurwitz shows that $R \to \mathbb{P}^1$ is ramified at $22$ points of $R$. (continued) $\endgroup$ Sep 11, 2015 at 19:00
  • 1
    $\begingroup$ At most three of those points of $R$ can map to any given point in $\mathbb{P}^1$. So we get ramification over at least $22/3 > 7$ points if we follow this route. The question is about whether we can find a way, by less obvious choices of the parameters, to get down to $7$. $\endgroup$ Sep 11, 2015 at 19:01
  • $\begingroup$ I'm sorry, I just redid the RH computation, and now I get $20$. So we have to work harder, to exclude the ramification profile $(2,2,2)^6$, $(2,2,1,1)$. This sounds like a question for Mike Zieve ... However, as I explain below, it is easy to find solutions by letting $R$ acquire nodes. $\endgroup$ Sep 12, 2015 at 12:45

3 Answers 3

4
$\begingroup$

Let $S$ be the product $C\times \mathbb{P}^1$, with $C$ a genus two curve. Take points $p_1,\dots,p_7\in S$ in seven distinct fibers. Now blow-up $S$ in the points $p_1,\dots,p_7$. Then the induced fibration has 7 singular fibers, and each fiber is of the form $C\cup E$ where $E$ is a smooth rational curve intersecting $C$ in one point.

$\endgroup$
2
$\begingroup$

$\def\PP{\mathbb{P}}$Here is a solution without $-1$ curves. Indeed, my family is semi-stable or, if you want the total space to be smooth, then some fibers are $-2$ curves.

My family lives inside $\PP^1 \times \PP^1 \times \PP^1$ with coordinates $(x,y,t)$; the map to $\PP^1$ is projection onto the $t$ coordinate. Start with two $(1,1)$ curves $p(x,t)$ and $q(x,t)$ in the $(x,t)$ variables which meet transversely. For a concrete example, I'll use $xt=2$ and $(3-x)(3-t)=2$ meeting at $(1,2)$ and $(2,1)$. Now, inductively, find $t_1$, $x_1$, $t_2$, $x_2$, ..., $t_4$, $x_4$, $t_5$ such that $p(x_i, t_i)=0$ and $q(x_i, t_{i+1})=0$. As a concrete example, we can take $$11/10, 20/11, 17/13, 26/17, 41/25, 50/41, 137/73, 146/137, 521/265$$

Our equation is $$y^2 = p(x,t) q(x,t) \prod_{i=1}^4 (x-x_i).$$ This will be nodal when $t$ is the projection of one of the two intersection points of $p(x,t)=q(x,t)=0$, (in the example, $1$ or $2$) or when $t$ is one of the five $t_i$ (in the example, $11/10$, $17/13$, $41/25$, $137/73$, $521/265$). The five nodal curves of the latter type have two nodes, so their normalization is genus zero; the two nodal curevs of the first type have one node so their normalization is genus one.

The total space of this family has $A_1$ singularities at the intersections of the factors of $p(x,t) q(x,t) \prod_{i=1}^4 (x-x_i)$. If you blow them up, they'll turn into $-2$ curves.

There are lots of variations of this construction. You could, instead, use a $(2,2)$ curve $r(x,t)$ with a single node, and arrange the four lines $(x-x_i)$ to meet $r(x,t)$ at only four distinct $t$-coordinates. An easy way to do this is to take $r(x,t)$ to use only even power of $x$, and choose $x_2=-x_1$, $x_4=-x_3$. You will then get nodes at these four $t$-coordinates, at the projection of the node of $r(x,t)$, and at the two ramification points of $r(x,t) \to \mathbb{P}^1$.

I thought that you could get down to six points by choosing $t_1$ such that $t_1=t_5$ in the first construction, but the only solutions are the degenerate cases $t_1=t_2=t_3=t_4=t_5 = (\mbox{1 or 2 in the example})$. I don't have a strong opinion as to whether six is possible (without $-1$ curves).

Indeed, I wouldn't be surprised if there were a solution where we take a double cover of a smooth $(2,6)$ curve $R$ in $\PP^1 \times \PP^1$, chosen such that the degree $6$ projection $R \to \PP^1 \times \PP^1$ has ramification profile $((2,2,2)^6, \ (2,2,1,1))$. I don't know how you'd build such a thing, though. If a cover of $\PP^1$ exists with this ramification profile, then we can prove it by writing down the monodromy in the group $S_6$. But I don't know how to force the resulting curve to be hyperelliptic, so that it will have a second, degree $2$ map, to $\PP^1$. Thinking about parameter counting, being hyperelliptic is a condition of codimension $g-2$, so $3$ for a genus $5$ curve. I have $4$ parameters available in choosing my $7$ branch points down in $\PP^1$. So it seems possible. If we pull this off, there will be no $-2$ curves.

$\endgroup$
0
$\begingroup$

Here is a partial result. Let $X$ be a smooth projective surface admitting a genus-2 fibration $\pi : X \to \mathbb{P}^1$ whose singular fibers are all irreducible and nodal. Then $\pi_{\ast}\omega_{X|\mathbb{P}^1}$ is a rank-2 vector bundle on $\mathbb{P}^1$, and we have a morphism $f : X \to \mathbb{P}(\pi_{\ast}\omega_{X|\mathbb{P}^1})$ of $\mathbb{P}^1-$varieties which is a branched double covering. The fact that the singular fibers of $\pi$ are all nodal implies that the branch curve $B \subset \mathbb{P}(\pi_{\ast}\omega_{X|\mathbb{P}^1})$ of $f$ is smooth. Applying Riemann-Hurwitz to each component of $B$, we see that if $\pi$ has an odd number of singular fibers which are all irreducible and nodal, then at least one of them has 2 or more nodes.

$\endgroup$
2
  • $\begingroup$ There is a minor issue with your argument: If $X$ is a smooth projective surface admitting a genus 2 fibration, with a singular fiber with more than 2 irreducible components then $X$ is only birational (as $\mathbb{P}^1$-variety) to a double cover of a ruled surface. Even if you read the OP as X admits a fibration in genus two curves and there are precisely 7 singular fibers, each of them has one node (and therefore at most two irreducible components) your argument does not always work. $\endgroup$ Sep 11, 2015 at 7:31
  • $\begingroup$ Thanks for the correction! I will edit my answer accordingly. $\endgroup$ Sep 11, 2015 at 14:32

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.