Is a polynomial ring integral over this subring ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T21:00:36Z http://mathoverflow.net/feeds/question/110250 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110250/is-a-polynomial-ring-integral-over-this-subring Is a polynomial ring integral over this subring ? Jeff 2012-10-21T17:12:05Z 2012-11-22T01:49:05Z <p>This question is motivated by Mariano's comment on this question: </p> <p><a href="http://mathoverflow.net/questions/110060/transcendence-degree-of-subring-of-polynomial-ring" rel="nofollow">http://mathoverflow.net/questions/110060/transcendence-degree-of-subring-of-polynomial-ring</a></p> <p>Suppose $k$ is a field and the subring $R$ of the polynomial ring $k[x_1,...,x_r]$ is generated by homogeneous polynomials $p_1,...,p_t$ such that $\sqrt{(p_1,...,p_t)}=(x_1,...,x_r)$ in $k[x_1,...,x_r]$. </p> <p>Question: Is it true that $k[x_1,...,x_r]$ is an integral extension of $R$ ? </p> http://mathoverflow.net/questions/110250/is-a-polynomial-ring-integral-over-this-subring/110258#110258 Answer by Will Sawin for Is a polynomial ring integral over this subring ? Will Sawin 2012-10-21T19:19:15Z 2012-10-21T19:19:15Z <p>Consider the map from $\mathbb P^r$ with coordinates $(x_0:x_1:\dots:x_r)$ to a weighted $\mathbb P^t$ with coordinates $(y_0:y_1:....:y_r)$ with weights $w_0=1$ and $w_i$ is the degree of $p_i$ given by $y_0=x_0$, $y_i=p_i$. This map is well-defined, since if all $p_i$ vanish then all $x_i$ vanish. This map is proper, since it is projective.</p> <p>The inverse image of the hyperplane $w_0=0$ is the hyperplane $x_0=0$. If you restrict to the complement of this hyperplane, you get a map from the affine scheme $\operatorname{Spec} k[x_1,...,x_r]$ to $\operatorname{Spec} k[y_1,...,y_t]$. This map is still proper, and now affine, thus finite, so $k[x_1,...,x_r]$ is finite over the Noetherian ring $k[y_1,...,y_t]$ so it is integral over that ring.</p> http://mathoverflow.net/questions/110250/is-a-polynomial-ring-integral-over-this-subring/110264#110264 Answer by Konstantin Ardakov for Is a polynomial ring integral over this subring ? Konstantin Ardakov 2012-10-21T19:50:59Z 2012-10-21T19:50:59Z <p>Let $A = k[x_1,\ldots,x_r]$, let $\mathfrak{m}$ be the ideal $(x_1,\ldots,x_r)$ in $A$ and let $I$ be the ideal $(p_1,\ldots,p_t)$ in $R$. The assumption $\sqrt{AI} = \mathfrak{m}$ implies that $\mathfrak{m}^u \subseteq AI$ for some integer $u \geq 1$. Hence $A / AI$ is a finite dimensional vector space over the ground field $k$.</p> <p>Since the polynomials $p_i$ are homogeneous, $A / AI$ is actually a <em>graded</em> $k$-vector space. Choose homogeneous elements $v_1,\ldots, v_n \in A$ whose images span $A / AI$; then these images also generate $A / AI$ as a graded $R$-module, so we may write</p> <p>$A = AI + \sum_{i=1}^n Rv_i$.</p> <p>Let $Q = A / \sum_{i=1}^n Rv_i$. This is a positively graded $R$-module such that $QI = Q$, by construction. If $Q$ is non-zero, let $t \geq 0$ be least such that $Q_t \neq 0$; then for any $j \geq t$, $Q_jI$ consists of homogeneous elements of degree strictly greater than $t$ (since $\sqrt{AI} = \mathfrak{m}$ forces $\deg p_i \geq 1$ for all $i$). Then $QI \subseteq \oplus_{j > t} Q_j$, a contradiction. (This argument is called the <em>graded Nakayama Lemma</em>).</p> <p>So in fact $Q = 0$ and $A = \sum_{i=1}^n Rv_i$ is a finitely generated $R$-module. Therefore $A$ is an integral extension of $R$.</p> http://mathoverflow.net/questions/110250/is-a-polynomial-ring-integral-over-this-subring/110282#110282 Answer by Ralph for Is a polynomial ring integral over this subring ? Ralph 2012-10-22T00:02:42Z 2012-10-22T00:17:32Z <p>There is a nice lemma that relates ideals and subalgebras in graded rings that can be applied to the problem: </p> <blockquote> <p><strong>Lemma:</strong> Let $A=\bigoplus_{n \ge 0}A_n$ be a graded ring that is commutative (or graded commutative). Then for homogeneous elements $p_i \in A\; (i \in I)$ of positive degree are equivalent: </p> <ol> <li>$A/(p_i \mid i \in I)$ is a finitely generated $A_0$-module. </li> <li>$A$ is finite (and hence integral) over the subring $A_0[p_i \mid i \in I]$ </li> </ol> </blockquote> <p>Now the argument is similar to Konstantin's: There is $u>0$ such that $(x_1,...,x_r)^u \subseteq (p_1,...,p_t)$ [Atiyah-MacDonald, 7.16]. Hence there is an epimorphism $A/(x_1,...,x_r)^u \to A/(p_1,...,p_t)$ of $k$-algebras and since $A/(x_1,...,x_r)^u$ is finite-dimensional over $k$ the same holds for $A/(p_1,...,p_t)$. Thus $A$ is integral over $k[p_1,...,p_t]$ by the lemma. </p> <p>Because I have no reference for the lemma at hand, I will show $1. \Rightarrow 2.$ what was used above. Let $x_1,...,x_m \in A$ be homogeneous representatives of positive degree of $A_0$-generators of $A/(p_i \mid i \in I)$ and let $a \in A$ be homogeneous of degree $n$. Then there are homogeneous $a_i \in A$ and $\alpha_j \in A_0$ s.t. $a = \sum_i a_ip_i + \sum_j \alpha_jx_j$. Because $x_i,p_j$ are of positive degree, $\deg(a_i) &lt; n$ and by (a suitable) induction hypotheses we have $a_i \in \sum_{j=0}^mRx_j\;(x_0 := 1)$. Hence $a \in \sum_{j=0}^mRx_j$ and we conclude by induction $A= \sum_{j=0}^mRx_j$. </p> http://mathoverflow.net/questions/110250/is-a-polynomial-ring-integral-over-this-subring/114124#114124 Answer by YACP for Is a polynomial ring integral over this subring ? YACP 2012-11-22T01:41:29Z 2012-11-22T01:49:05Z <p>I will try a quick answer based on the following well known </p> <blockquote> <p><strong>Theorem.</strong> (Graded Noether Normalization) Let $K$ be a field and $S$ a graded $K$-algebra. Set $r=\dim S$. For homogeneous elements $p_1,\dots,p_d\in S$ TFAE:</p> <p>(a) $p_1,\dots,p_r$ is a homogeneous system of parameters;</p> <p>(b) $S$ is an integral extension of $K[p_1,\dots,p_r]$;</p> <p>(c) $S$ is a finite extension of $K[p_1,\dots,p_r]$.</p> </blockquote> <p>(See Bruns and Herzog, <em>Cohen-Macaulay Rings</em>, Theorem 1.5.17.) </p> <p>In our case $S=K[X_1,\dots,X_r]$ is a graded $K$-algebra of dimension $r$. Furthermore, $\sqrt{(p_1,\dots,p_r)S}=(X_1,\dots,X_r)$ means exactly that $p_1,\dots,p_r$ is a homogeneous system of parameters for $S$, and this is it.</p>