2
$\begingroup$

Hi all

Quick question that I think is true but haven't been able to prove.

Suppose there is a subring $R \subset k[x_1, \ldots, x_r]$ containing field $k$ and generated by homogenous polynomials $p_1, \ldots, p_t$. Now assume the radical of the homogenous ideal of $k[x_1, \ldots, x_k]$ generated by the $p_i$ is the maximal ideal $(x_1, \ldots, x_r)$. Then the transcendence degree of $R$ over $k$ is $r$.

Improve this question
$\endgroup$
4
  • 3
    $\begingroup$ Let $X$ be affine $r$-space over $k$ and let $Y$ be affine $t$-space over $k$, and let $f:X \rightarrow Y$ be the $k$-map defined by $x \mapsto (p_1(x),\dots,p_t(x))$. The hypothesis is that $f^{-1}(0) = 0$ at the level of geometric points, so by openness on the source for the locus of points isolated in their fibers (semi-continuity of fiber dimension on the source) there is a dense open $U$ in $X$ so that $f|_U$ is quasi-finite. Its schematic image is Spec($R$), so $U \rightarrow {\rm{Spec}}(R)$ is quasi-finite and dominant. Thus, trdeg$_k$(Frac($R$)) is ${\rm{dim}}(R) = {\rm{dim}}(U) = r$. $\endgroup$
    – user27056
    Commented Oct 19, 2012 at 2:50
  • 1
    $\begingroup$ Doesn't your hypothesis imply at once that the fraction field of the normalization of your ring is $k(x_1,\dots,x_r)$? $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Oct 19, 2012 at 6:10
  • $\begingroup$ @Mariano: What's your argument? I think you're mixing up "ideal generated" in a bigger ring with "algebra generated" over $k$. The assertion that you claim follows "at once" seems to be false. Try $p_i = x_i^2$ with $1 \le i \le t = r$. $\endgroup$
    – user27056
    Commented Oct 19, 2012 at 14:08
  • $\begingroup$ @xbnv: You can find arguments there: mathoverflow.net/questions/110250/…. So, Mariano's comment gives an alternative (affirmative) answer to the question. $\endgroup$
    – Jeff
    Commented Oct 22, 2012 at 21:45

1 Answer 1

Reset to default
1
$\begingroup$

Set $R=k[p_1,\dots,p_t]$, $S=k[x_1,\dots,x_r]$ and $\mathfrak{m}=(x_1,\dots,x_r)$ (the maximal irrelevant ideal of $S$). We know that the ideal $(p_1,\dots,p_t)S$ is $\mathfrak{m}$-primary. A graded version of the dimension inequality formula for local rings gives $\dim S\le \dim R+\dim S/(p_1,\dots,p_t)S$ and thus we obtain that $r\le \dim R$. On the other hand, by using Noether normalization we get that $\dim R\le r$.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Maybe it's worthy to mention that any subring of $k[x_1,\dots,x_r]$ which contains $k$ has the Krull dimension at most $r$. $\endgroup$
    – user26857
    Commented Oct 19, 2012 at 21:36
  • $\begingroup$ @navigetor23: Why is that true for $k$-subalgebras that aren't finitely generated (as arise in Nagata's counterexamples to Hilbert's $N$th problem for suitable $N$)? $\endgroup$
    – user27056
    Commented Oct 20, 2012 at 6:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .