Codex @codex  0

Take the three-dimensional affine quadric coneThe polynomial $xy-zw$ is an irreducible polynomial: as a polynomial in $x$ over $k[y,z,w]$, it is primitive because $y$ and $zw$ are coprime elements of a unique factorization domain, and it is a linear irreducible polynomial over $k(y,z,w)$. Gauss lemma for polynomials then applies. Thus $X$ is an irreducible variety that is an affine variety, of algebraic dimension $3$ by the principal hypersurface dimension lemma in affine space ${\mathbb{A}}^4$.

The coordinate rings of $Y$ and $Z$ are respectively $k[y,w]$ and $k[x,z]$. Both are affine planes, hence irreducible closed subsets of algebraic dimension $2$. Their intersection is precisely the origin. ThereforeThe origin is the singular point of an algebraic variety of this three-dimensional affine quadric cone. The example shows why a smoothness of an algebraic variety hypothesis matters in intersection dimension estimates.

Put $A=k[X]$. There is an explicit isomorphism from the principal open subset $U_f$ to the affine algebraic setIts inverse is projection, and both maps are regular maps. The coordinate ring isby the universal property of localization. Since regular functions on an affine variety are its coordinate ring, this proves the natural $k$-algebra isomorphism

Now $W=D(x)\cup D(y)$. A regular function on $W$ determines one element of the function field $k(x,y)$, and its restrictions belong to $k[x,y{]}_x$ and $k[x,y{]}_y$. Conversely, elements of their intersection glue because they agree on $D(xy)$. ThusIf a reduced fraction has denominator dividing a power of $x$ and also a power of $y$, unique factorization makes its denominator a unit. Therefore puncturing the plane does not change its ring of global regular functions:If $W$ were an affine variety, its inclusion $j:W\hookrightarrow {\mathbb{A}}^2$ would correspond to the identity isomorphism $k[x,y]\to k[W]$. The equivalence between affine varieties and their coordinate rings would make $j$ an isomorphism, contradicting the missing origin. Hence $W$ is not affine. This illustrates regular functions on the punctured affine plane: the coordinate ring alone does not recover a nonaffine variety.

Use the usual convention that a variety is an irreducible variety. For a quasi-projective algebraic set $T$, its algebraic dimension is the supremum of the lengths $r$ of strict chainsof nonempty irreducible closed subsets of $T$. It is the maximum of the algebraic dimensions of its irreducible components. On an affine algebraic set, the correspondence between irreducible closed subsets and prime ideals reverses inclusion, so this is the Krull dimension of the coordinate ring. On a quasi-projective algebraic set, it is the supremum of the Krull dimensions of the coordinate rings of its affine open subsets. At a closed point $x$, the Krull dimension of the local ring measures chains through $x$.

Here is a closed-point dimension lemma for affine domains that avoids transcendence degree. Put $A=k[X]$. By Noether normalization, there is a integral extensionThe number of variables is $d$ because integral extensions preserve Krull dimension and $\dim B=d$. For any maximal ideal $\mathfrak{m}$ of $A$, its contraction $\mathfrak{n}$ to $B$ is a maximal ideal. Since $k$ is an algebraically closed field, $\mathfrak{n}=(z_1-c_1,\dots ,z_d-c_d)$ has height of a prime ideal $d$. The going-down theorem applies because $B$ is an integrally closed domain and $A$ is a integral domain. It lifts a length-$d$ chain below $\mathfrak{n}$ to one below $\mathfrak{m}$. HenceThe opposite inequality follows from $\dim A=d$.

For the nonempty open subset $U$, choose a nonempty principal open subset $D(g)\subset U$ and a closed point $x\in D(g)$. Every prime ideal below ${\mathfrak{m}}_x$ avoids $g$, so the preceding chain survives in the localization $A_g$. Consequently $\dim D(g)\ge d$. Conversely, any chain of irreducible closed subsets in $U$ gives a chain of the same length after taking closures in $X$: intersecting those closures with $U$ recovers the original subsets. Therefore

For the principal hypersurface dimension lemma, let $P$ be a minimal prime ideal over $(f)$. Since $f\ne 0$ in the integral domain $A$, $P\ne (0)$. The Krull principal ideal theorem gives $\mathrm{ht}P=1$. Choose a closed point $x$ on $V(P)$ lying on none of the other finitely many irreducible components of $V(f)$. Such a point exists because those other components cut out proper closed subsets of the irreducible variety $V(P)$, and closed points are dense. Set $R=A_{{\mathfrak{m}}_x}$. Then $\dim R=d$ andWrite $s=\dim R/fR$. Choose a system of parameters ${\bar{y}}_1,\dots ,{\bar{y}}_s$ in $R/fR$ and lift it to $R$. The ideal $(f,y_1,\dots ,y_s)$ has radical equal to the maximal ideal of $R$. The Krull height theorem yields $d\le s+1$. On the other hand, any chain of prime ideals containing $f$ can be extended strictly at the bottom by the zero prime ideal of the integral domain $R$, giving $s\le d-1$. Thus $s=d-1$. Since $R/PR$ is a localization of $A/P$, $\dim A/P\ge d-1$. Extending a chain in $A/P$ by $(0)⊊P$ also gives $\dim A/P\le d-1$. Hence every component has the required dimension:This argument uses Noether normalization, going-down theorem, and the Krull height theorem, never the dimension from the function field theorem. Irreducibility is essential: if the word variety were instead allowed to mean an arbitrary reducible affine algebraic set, neither assertion would hold without extra hypotheses. For example, a disjoint union of an affine plane and an affine line has an open component of smaller algebraic dimension; a function equal to $1$ on the plane and a coordinate on the line has a nonempty zero set of algebraic dimension $0$.

Use the dense standard affine charts. Their product iswhich is also a dense affine chart of ${\mathbb{P}}^{n+m}$. The identification of these charts gives a birational isomorphism between the two projective varieties.

To distinguish them, calculate their divisor class groups explicitly. Let $H\subset {\mathbb{P}}^r$ be a coordinate hyperplane. Its complement is ${\mathbb{A}}^r$, whose coordinate ring is a unique factorization domain. Any Weil divisor on ${\mathbb{P}}^r$ restricts on this chart to a principal Weil divisor; subtract that principal Weil divisor on ${\mathbb{P}}^r$, leaving a Weil divisor supported on $H$. Thus $[H]$ generates $\mathrm{Cl}({\mathbb{P}}^r)$. If $aH=\mathrm{div}(q)$, then $q$ has zero Weil divisor on ${\mathbb{A}}^r$. A reduced fraction in a unique factorization domain with zero orders at every prime Weil divisor must be a unit, so $q\in k^{\ast }$. It follows that $a=0$. We have proved

In the product, let $H_1$ and $H_2$ be coordinate hyperplanes in the factors and putThe complement of $D_1\cup D_2$ is ${\mathbb{A}}^{n+m}$, again with a unique factorization domain as its coordinate ring. The same restriction-and-subtraction argument says that $[D_1],[D_2]$ generate the divisor class group. Ifthen on that affine chart $q$ has neither zeros nor poles along any prime Weil divisor. Unique factorization makes $q$ a unit of $k[s_1,\dots ,s_n,t_1,\dots ,t_m]$, hence a constant. It follows that $a=b=0$. ThereforeBoth spaces are smooth varieties, so their divisor class groups also equal their Picard groups. An isomorphism preserves the divisor class group; ${\mathbb{Z}}^2$ and $\mathbb{Z}$ are not isomorphic. Thus the spaces are birational but not isomorphic. The assumptions $n,m>0$ ensure that both boundary prime Weil divisors actually occur.

A blowup of an algebraic variety supplies a reduced special fibre with all three requested defects. Let $B={\mathbb{A}}^3$ have coordinates $(x,y,z)$, let $p=(0,1,0)$, and let $\pi :X={\mathrm{Bl}}_{p}B\to B$. Take $Y={\mathbb{A}}^1$ and the regular mapFor an explicit construction, $X$ is the closed subvariety of ${\mathbb{A}}^3\times {\mathbb{P}}^2$, with projective coordinates $[u:v:w]$, defined byThese equations say that $(x,y-1,z)$ is proportional to $(u,v,w)$. The three standard projective charts are affine spaces ${\mathbb{A}}^3$, so $X$ is a smooth variety which is an irreducible variety embedded in a quasi-projective algebraic set. Its algebraic exceptional divisor is $E={\pi }^{-1}(p)\cong {\mathbb{P}}^2$.

If $t\ne 0$, the surface $xy=t$ misses $p$, and the blowup of an algebraic variety is an isomorphism over it. HenceIt is a smooth variety, an affine variety, an irreducible variety, and has algebraic dimension $2$.

For $t=0$, the fibre of a morphism has three irreducible components: the strict transform of an algebraic subvariety $\widetilde{V(x)}$, the unchanged plane $V(y)$, and the algebraic exceptional divisor $E\cong {\mathbb{P}}^2$. The centre $p$ lies on $V(x)$ but not on $V(y)$; this is why all three components have multiplicity one. To verify reducedness and the crossing directly near $E$, use the chart $v\ne 0$, puttingHere $x=ab$, $y=1+b$, $z=bc$, and $f=ab(1+b)$. Near $b=0$, the factor $1+b$ is a unit, so the fibre of a morphism is $ab=0$, a reduced union of two crossing planes. The $u$-chart gives $f=x(1+xv)$, whose second factor is a unit along $E$; the $w$-chart gives $f=zu(1+zv)$ and the same reduced crossing. Away from $E$, reducedness follows from $xy=0$ in $B$. Thus the scheme-theoretic fibre of a morphism is itself reduced.

It has singular points of an algebraic variety already along $V(x,y)$, which misses $p$: locally its equation is $xy=0$, with Zariski tangent space of dimension of a vector space $3$ but local dimension of an algebraic variety $2$. Finally, $E$ is a closed subvariety of $X_0$. A closed subvariety of an affine variety is an affine variety, whereas ${\mathbb{P}}^2$ is not: all its global regular functions are constant, which cannot be the coordinate ring of a positive-dimensional affine variety. Consequently $X_0$ is singular, reducible, and nonaffine, as required. Choosing the centre off the intersection of the original planes avoids introducing a nonreduced special fibre of a morphism.

Write $x,y$ for the two coordinates. The PDF gives $\mu =e^{\pi i/3}$, a primitive sixth root of unity. The matrices satisfyThese relations reduce every word to ${\sigma }^j$ or $\tau {\sigma }^j$, $0\le j<6$. The six first matrices are diagonal and distinct, and the six second matrices are antidiagonal and distinct. Thus $G$ has exactly twelve elements; it is a binary dihedral group.

First calculate the polynomial invariant ring of $⟨\sigma ⟩$. A monomial $x^a{y}^b$ is invariant exactly when $a-b$ is divisible by $6$. Removing the smaller exponent shows that it is a product of powers ofThe sole relation is $AB=C^6$. Indeed, reduction by this relation leaves monomials $C^j{A}^a$ and $C^j{B}^b$ with $b>0$, whose images in $\mathbb{C}[x,y]$ have distinct exponent pairs. HenceOn these generators, $\tau$ interchanges $A,B$ and sends $C$ to $-C$. Put $S=A+B$ and $T=A-B$. Since $2$ is invertible, the preceding ring isEvery element has a unique form $P(S,C)+TQ(S,C)$. The induced involution fixes $S$ and negates both $C$ and $T$. Its invariants are therefore exactly the expressionsSetWe obtain the relationThe unique normal form above also proves that there are no further relations: $P_0(U,V)+W{Q}_0(U,V)=0$ forces both polynomials to vanish. Thus the polynomial invariant ring is

For completeness, the algebraic quotient by a finite group is the affine variety with this coordinate ring. Each element $h$ of $\mathbb{C}[x,y]$ satisfies the monic orbit polynomial ${\prod }_{g\in G}(Z-gh)$ with invariant coefficients, so the quotient map is a finite morphism. Invariants separate distinct finite orbits: interpolate a polynomial taking value $0$ on one orbit and $1$ on the other, and average it over $G$. Thus its fibres are precisely the orbits. The defining polynomial and resulting algebraic quotient by a finite group areUsing the converted TeX's fourth root would instead give a different group and a different binary dihedral invariant hypersurface; the sixth root from the original PDF is essential.

Work on affine open subsets. Their coordinate rings are Noetherian rings and integrally closed domains. At a prime ideal of height of a prime ideal one, the local ring is a one-dimensional Noetherian local ring which is an integrally closed domain, hence a discrete valuation ring and therefore a regular local ring. At the generic point the local ring is a field, hence a regular local ring. For a brief justification of the one-dimensional local ring fact, take $0\ne a\in \mathfrak{m}$ in a one-dimensional Noetherian local ring $R$ which is an integrally closed domain. Some ${\mathfrak{m}}^n\subset (a)$; choose the least such $n$, and choose $b\in {\mathfrak{m}}^{n-1}\setminus (a)$. Then $q=b/a\notin R$, but $q\mathfrak{m}\subset R$. If $q\mathfrak{m}\subset \mathfrak{m}$, the determinant trick applied to the finitely generated faithful module $\mathfrak{m}$ would make $q$ integral over $R$, a contradiction. Hence the ideal $q\mathfrak{m}$ contains a unit and equals $R$. Thus $\mathfrak{m}=q^{-1}R$ is principal. A one-dimensional Noetherian local ring with principal maximal ideal is a discrete valuation ring. Therefore a normal variety is regular in codimension one.

The ground field is an algebraically closed field, hence a perfect field, so having a regular local ring is equivalent to being a smooth point of a variety here. Moreover, the smooth locus of a variety is open, making the singular locus closed. If an irreducible component of the singular locus had algebraic codimension zero or one, its generic point would have a regular local ring by the preceding argument, a contradiction. Consequently every such component has algebraic codimension at least two.

One can read the numerical bound directly from chains of prime ideals, without identifying algebraic dimension with transcendence degree. For a prime ideal $P$ of height of a prime ideal at least two in an affine chart, append a chain $(0)⊊P_1⊊P$ below any chain in the quotient by $P$. Its length increases by two. Thus $\dim A/P\le \dim A-2$. Since a nonempty affine open subset of the irreducible variety $X$ has algebraic dimension $d$,For $d=0$ or $1$, this means the singular locus is empty; take $\dim \varnothing =-\infty$.

The coordinate ring is $\mathbb{C}[W]=\mathrm{Sym}(W^{\ast })$. The induced action is contragredient on functions:It is a group action by degree-preserving algebra automorphisms, extending the dual action on linear polynomial functions. Its polynomial invariant ring isFor a monic polynomial $f(t)={\prod }_{i=1}^d(t-r_i)$, its polynomial discriminant is $\mathrm{disc}(f)={\prod }_{i<j}(r_i-r_j{)}^2$. This is symmetric in the roots, hence polynomial in the coefficients, and is zero exactly when a root is repeated.

For the alternating group action, let $e_1,\dots ,e_n$ be the elementary symmetric polynomials and put $\Delta ={\prod }_{i<j}(X_i-X_j)$. If $p$ is $A_n$-invariant and $\tau$ is any transposition, decomposeNormality and index two of $A_n$ show that $p_{+}$ is symmetric and $p_{-}$ transforms by the sign character of $S_n$. Any alternating polynomial vanishes when $X_i=X_j$, so every $X_i-X_j$ divides it. These pairwise nonassociate prime factors have product $\Delta$, so $p_{-}=\Delta q$ with $q$ symmetric. The Fundamental theorem of symmetric polynomials yieldsThe sum is direct, since a polynomial that is both symmetric and alternating is zero in characteristic zero. Also ${\Delta }^2=D(e_1,\dots ,e_n)$, where $D$ is the discriminant polynomial ofThus, more precisely than the requested quotient assertion,Surjectivity follows from the direct-sum expression. Divide any putative kernel element by the monic quadratic in $Z$; its remainder is $a(T)+Zb(T)$. The direct sum forces $a(e)=b(e)=0$, and algebraic independence of the $e_i$ gives $a=b=0$. Hence the displayed relation is the entire kernel. The argument also covers $n=2$, where $A_2$ is trivial.

Now let $G$ be finite with no nontrivial linear characters, and write $R=\mathbb{C}[W]$, $S=R^G$. The polynomial ring $R$ is a unique factorization domain. Factor a nonzero invariant $f$ in $R$; invariance permutes the associate classes of its irreducible factors and makes their exponents constant on each orbit. For an orbit $\mathcal{O}$, choose representatives and form its orbit product of polynomial factorsFor every $g$, $g\cdot q_{\mathcal{O}}=\theta (g)q_{\mathcal{O}}$ for a nonzero scalar $\theta (g)$. Applying two group elements proves that $\theta :G\to {\mathbb{C}}^{\times }$ is a homomorphism. The hypothesis forces $\theta =1$, so $q_{\mathcal{O}}\in S$.

This orbit product is prime in $S$. If it divides $ab$ with $a,b\in S$, one factor $p\in \mathcal{O}$ divides $a$ or $b$ in $R$. Invariance of that chosen polynomial makes every factor in the orbit divide it. Their product therefore divides it in $R$, and the quotient is invariant because numerator and denominator are invariant and cancellation is valid in the integral domain $R$. Thus $q_{\mathcal{O}}$ divides $a$ or $b$ in $S$. Every nonzero $f\in S$ is a scalar times a product of these prime orbit products, and the only units of $S$ are nonzero constants, as they are units in $R$. Therefore $\mathbb{C}[W{]}^G$ is a unique factorization domain. This gives a direct proof, without assuming a divisor-class-group theorem.

For a failure in characteristic zero, let the cyclic group of order two act on ${\mathbb{C}}^2$ by $-I$. Its coordinate invariants areEvery invariant monomial has even total degree: its exponents are either both even, or both odd, giving the indicated generators. Reducing powers of $b$ to at most one shows that $ac-b^2$ is the only relation, since $a^i{c}^j$ and $b{a}^i{c}^j$ map to distinct monomials. The three quadratic invariants are irreducible in $S$: each nonconstant invariant has degree at least two, so a product of two nonunits has degree at least four. They are pairwise nonassociate, butgives two different irreducible factorizations. Hence this invariant ring is not a unique factorization domain. The nontrivial sign character is precisely the kind of character excluded in the preceding theorem.