MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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)$?


share|cite|improve this question
up vote 5 down vote accepted

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$.

share|cite|improve this answer
I think \boxtimes is the symbol you want for $O(1)\boxtimes O(1)=pr_1^*O(1)\otimes pr_2^*O(1)$. – J.C. Ottem Feb 2 '13 at 11:40
James, thank you! Of course this is what I meant :) – Dmitri Feb 2 '13 at 11:59

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.

share|cite|improve this answer
@Thunder: You'll find many more examples in the book "Projective duality and homogeneous spaces". – Olivier Benoist Feb 2 '13 at 11:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.