Algebraic varieties and UFD - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T07:10:31Z http://mathoverflow.net/feeds/question/82830 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/82830/algebraic-varieties-and-ufd Algebraic varieties and UFD Hsueh-Yung Lin 2011-12-06T23:19:44Z 2011-12-07T02:44:53Z <p>Given an affine algebraic variety $V$ such that $\Gamma(V,\mathcal{O}_V)$ is a UFD, its sheaf of ring can be determined easily since one can show that:</p> <p>$$\Gamma(D(f_1) \cup \cdots \cup D(f_n),\mathcal{O}_V) \simeq \Gamma(D(h),\mathcal{O}_V),$$ where $h=\mathrm{gcd}(f_1, \ldots, f_n)$.</p> <p>It is then natural to ask whether we can characterize the set of affine algebraic varieties $V$ such that $\Gamma(V,\mathcal{O}_V)$ is a UFD? Are there any geometric interpretations?</p> <p>Thanks you!</p> http://mathoverflow.net/questions/82830/algebraic-varieties-and-ufd/82832#82832 Answer by Will Sawin for Algebraic varieties and UFD Will Sawin 2011-12-06T23:30:22Z 2011-12-07T02:44:50Z <p>If and only if the Picard group is trivial. (Similar to in algebraic number theory).</p> <p>Proof: Suppose $R$ is a UFD. Then every codimension 1 prime ideal is principal. Since these generate the divisor group, every divisor is principal. Suppose $R$ is not a UFD. Take an irreducible element that is not prime. This element must be contained in a codimension 1 prime ideal that is not principal (I think?). This would be a non-principal divisor.</p> <p>There may be some assumptions I'm forgetting on the divisor group. </p> <p>If you think the Picard group is geometric enough, we are done. (In particular, there are topological obstructions to having trivial Picard group.)</p> <p>EDIT: Francois Brunault points out that these arguments are about the Weil divisor class group, not the Picard group. These concepts agree on nonsingular varieties but differ on singular ones. Sadly, the Weil group is less geometric than the Picard group.</p> http://mathoverflow.net/questions/82830/algebraic-varieties-and-ufd/82845#82845 Answer by Steven Landsburg for Algebraic varieties and UFD Steven Landsburg 2011-12-07T02:44:53Z 2011-12-07T02:44:53Z <p>A noetherian domain is a UFD if and only if it is normal and the divisor class group is zero. See, for example, exercise 1D <a href="http://math.stanford.edu/~vakil/0708-216/216class2829.pdf" rel="nofollow">here</a>.</p>