Projective space is smooth.

Lemma 33.34.1. Let $k$ be a field and $n \geq 0$. Then $\mathbf{P}^ n_ k$ is a smooth projective variety of dimension $n$ over $k$.

Proof. Omitted. $\square$

Comment #3016 by Brian Lawrence on

Suggested slogan: Projective space over a field is a smooth projective variety.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).