Projective line is normal variety

Question

A projective variety $X$ is normal iff its local rings $O_{x,X}$ are integrally closed in $\text{Quot}(O_{x,X})$. I'm trying to show the normality of $\mathbb P^1$ by just using the above definition, that means by showing the integral closure condition directly. The problem is, i always end with the condition that $O_{x,X}$ has to be an ideal in $\text{Quot}(O_{x,X})$, which is obviously not the case. Does anyone has a hint for me how to show it without using $O_{x,X}$ being an DVR?

Answer 1

Since this is a local question, we only have to show that $\mathbb{A}^1$ is normal. After translating, we can assume that $x=0$. We need to check that $k[x]_{(x)}$ is integrally closed in the quotient ring of $k[x]_{(x)}$. Now, the quotient ring of $k[x]_{(x)}$ is easily seen to be $k(x)$. $k[x]_{(x)}$ consists of all quotients $f(x)/g(x)$ where $f$ and $g$ are polynomials such that $g(0)\neq0$.

Assume that $p(x)/q(x)\in k(x)$ such that $p$ and $q$ don't have common factors (that is, common roots), and such that it satisfies an equation $$\left(\frac{p(x)}{q(x)}\right)^n+\frac{f_{n-1}(x)}{g_{n-1}(x)}\left(\frac{p(x)}{q(x)}\right)^{n-1}+\cdots+\frac{f_1(x)}{g_1(x)}\frac{p(x)}{q(x)}+\frac{f_0(x)}{g_0(x)}=0,$$ where $f_i(x)/g_i(x)\in k[x]_{(x)}$. We wish to prove that $q(0)\neq0$. Multiplying everything by $q(x)^n$, we get that $$\left(p(x)\right)^n+\frac{q(x)f_{n-1}(x)}{g_{n-1}(x)}\left(p(x)\right)^{n-1}+\cdots+\frac{f_0(x)q(x)^n}{g_0(x)}=0.$$ If $q(0)=0$, then if we evaluate this whole expression in $0$, we get that $p(0)=0$, but this is a contradiction since $p$ and $q$ don't have common factors. Therefore $q(0)\neq0$ and so $p(x)/q(x)\in k[x]_{(x)}$.

Answer 2

As rfauffar’s argument ,the question is local,since a variety is normal if it is covered by open affine varieties which are normal,and $P^{1} $ can be covered by two $A^{1}$.Note that $A^{1}$ is affine, it is normal iff its affine coordinate ring $k[x] $ is integrally closed. Since any UFD is integrally closed and hence normal,so is $k[x]$.In general, $P^{n}$ is always normal.