4
$\begingroup$

Let $X$ be a nonsingular projective algebraic variety over $\mathbb{C}$. Let $L$ be a base point free line bundle. Bertini's theorem asserts that general divisors in the complete linear system $|L|$ are nonsingular.

An example is $X=\mathbb{P}^n$, and $L=\mathcal{O}(m)$, for $m\ge 2$. The singular divisors of $|L|$ always forms a hypersurface (codimension =1).

My question is:

Can singular divisors form an algebraic set of arbitrary codimension in $|L|$ for $(X, L)$?

Thanks.

$\endgroup$

2 Answers 2

5
$\begingroup$

The answer is yes. Here is an example generalising the one of Serge and giving arbitrary codimension.

Consider line bundle $L=O(1)\boxtimes O(1)$ on $\mathbb CP^1\times \mathbb CP^n$. A section of such a bundle has shape $$\sum_{i=0,j=0}^{i=1,j=n}a_{ij}x_iy_j=0,$$ i.e. $|L|=\mathbb C^{2n+2}$. A section is singular iff the matrix $a_{ij}$ has rank $1$. This happen in codimension $n$. If the rank of $a_{ij}$ is two the section is smooth and is a $\mathbb CP^{n-1}$ bundle over $\mathbb P^1$.

$\endgroup$
2
  • 1
    $\begingroup$ I think \boxtimes is the symbol you want for $O(1)\boxtimes O(1)=pr_1^*O(1)\otimes pr_2^*O(1)$. $\endgroup$
    – J.C. Ottem
    Feb 2, 2013 at 11:40
  • $\begingroup$ James, thank you! Of course this is what I meant :) $\endgroup$ Feb 2, 2013 at 11:59
4
$\begingroup$

I am not sure about "arbitrary", but there exist quite a few examples where the singular divisors do not form a hypersurface. It suffices to consider a smooth variety $X\subset\mathbb P^n$ embedded by a complete linear system and such that the dual variety $X^*\subset (\mathbb P^N)^*$ is not a hypersurface. The simplest example is the Segre variety $\mathbb P^1\times \mathbb P^2\subset\mathbb P^5$ (or any $X=\mathbb P_C(E)$, where $E$ is a vector bundle of rank $>2$ over a cueve $C$, embedded by $\mathcal O_{X|C}(1)$); there are other examples, too.

$\endgroup$
1
  • 1
    $\begingroup$ @Thunder: You'll find many more examples in the book "Projective duality and homogeneous spaces". $\endgroup$ Feb 2, 2013 at 11:29

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.