Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I read the following fact which wasn't explained further and wonder how you exactly get it. Maybe you can give me some hint.

Start with a smooth projective variety $X$ over a $k$. Then the author said that you can choose a smooth ample hypersurface $H$ on $X$.

My question is: how do you construct that $H$, and: can it be chosen as effective?


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

This is more or less the content of Bertini theorem. By assumption, $X$ is projective, so that you can look at the linear system $|\mathcal O_X(n)|$ for $n$ big enough: it will contain (by Bertini's thm) some smooth (thus irreducible) divisor, which is what you are looking for.

In fact, your hypersurface is simply the intersection of $X$ and some hypersurface of $\mathbb P^n$ where $X\subset \mathbb P^n$.

share|cite|improve this answer

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.