5
$\begingroup$

(A related question is this On the fundamental group of hypersurfaces).

Let $X$ be a simply connected projective complex manifold of dimension at least 3. Let $Y\subset X$ be a smooth hypersurface. What is $\pi_1(Y)$ then? If $Y$ is a hyperplane section, then $\pi_2(X,Y)=0$ by the Lefschetz theorem, hence $\pi_1(Y)=0$. The question is, can we say anything about the fundamental group of a hypersurface without assuming ampleness?

$\endgroup$

2 Answers 2

7
$\begingroup$

I think the answer is no. Take any smooth projective surface $S$ in $\mathbb{P}^N$, and choose a generic projection to $\mathbb{P}^3$. The image is a singular surface $S'$ (with a double curve, some triple points etc.). There exists a birational morphism $P\rightarrow \mathbb{P^3}$ such that the strict transform of $S'$ in $P$ is isomorphic to $S$. Then $P$ is simply-connected, while $S$ is arbitrary.

$\endgroup$
2
  • $\begingroup$ You are probably right. But I am not sure I understand why the strict transform is isomorphic to $S$, not only birationally equivalent. $\endgroup$ Commented Jul 2, 2014 at 6:52
  • $\begingroup$ Even if it is only birationally equivalent, its $\pi_1$ is isomorphic to that of $S$, hence is arbitrary. $\endgroup$
    – abx
    Commented Jul 2, 2014 at 8:51
4
$\begingroup$

I think that it is hard to say something is such a generality, as the following example shows.

Take $X= \mathbb{P}^1 \times \mathbb{P}^2$ and let $C \subset \mathbb{P}^2$ be a smooth curve of genus $g$. Set $Y = \mathbb{P}^1 \times C$.

Then $\pi_1(Y) = \pi_1(C)$. The latter group is trivial for $g=0$, it is isomorphic to $\mathbb{Z} \oplus \mathbb{Z}$ for $g=1$ and it is a infinite nonabelian group for $g \geq 2$.

$\endgroup$

You must log in to answer this question.

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