Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathfrak m$ be a maximal ideal of $A=k[x_1,\dots,x_n]$, where $k$ is a field, not necessarily algebraically closed. Define $\mathfrak m_i = \mathfrak m \cap k[x_i], \, \forall i=1,\dots,n$.

1) How can i see that $\mathfrak m_i$ is a maximal ideal of $k[x_i], \, \forall i=1,\dots,n$?

2) Is it possible that there is another maximal ideal $\mathfrak m'$ of $A$ such that $\mathfrak m_i = \mathfrak m'_i, \, \forall i=1,\dots,n,$ and $\mathfrak m \neq \mathfrak m'$? Under what conditions this is not the case?

Any relative references in Atiyah-MacDonald? (I have the book but can not find anything relevant).

Thanks.

share|improve this question

2 Answers 2

up vote 4 down vote accepted

1) Let $A_i = k[x_i]$. There exists a canonical injection $A_i/\mathfrak m_i \rightarrow A/\mathfrak m$. Since $A/\mathfrak m$ is finite algebraic over $k$, so is $A_i/\mathfrak m_i$. Hence $\mathfrak m_i$ is maximal.

2) Let $\operatorname{Specm}(A)$ be the set of maximal ideals of $A$. Let $\bar k$ be an algebraic closure of $k$. Let $\operatorname{Homalg}_k(A, \bar k)$ be the set of $k$-homomorphisms. Let $f\in\operatorname{Homalg}_k(A,\bar k)$. Then $\ker(f) \in \operatorname{Specm}(A)$. Conversely let $\mathfrak m \in \operatorname{Specm}(A)$. It is easy to see that there exists $f \in \operatorname{Homalg}_k(A, \bar k)$ such that $\mathfrak m = \ker(f)$.

Let $f, g \in \operatorname{Homalg}_k(A, \bar k)$. We write $f \equiv g$ if there exists $\sigma \in \operatorname{Aut}(\bar k/k)$ such that $\sigma f = g$. This is an equivalence relation on $\operatorname{Homalg}_k(A, \bar k)$. Let $f, g \in \operatorname{Homalg}_k(A, \bar k)$. Let $\mathfrak m = \ker(f), \mathfrak m' = \ker(g)$. Then $\mathfrak m = \mathfrak m'$ if and only if $f \equiv g$. Hence $\operatorname{Specm}(A)$ is identified with the set of equivalence classes on $\operatorname{Homalg}_k(A, \bar k)$.

Similar results hold for $A_i$.

Paraphrasing above results we get the following criteria:
Let $f, g \in \operatorname{Homalg}_k(A, \bar k)$. Let $\mathfrak m = \ker(f), \mathfrak m' = \ker(g)$. Let $\alpha_i = f(x_i), \beta_i = g(x_i)$ for all $i$. Then $\mathfrak m = \mathfrak m'$ if and only if there exists $\sigma \in \operatorname{Aut}(\bar k/k)$ such that $\sigma(\alpha_i) =\beta_i$ for all $i$. For each $i$, $\mathfrak m_i = \mathfrak m'_i$ if and only if there exists $\tau_i \in \operatorname{Aut}(\bar k/k)$ such that $\tau_i(\alpha_i) =\beta_i$.

Let $\mathfrak m_i \in \operatorname{Specm}(A_i)$ for $i = 1, \dots, n$. There exists a monic polynomial $f_i(x_i) \in A_i$ such that $\mathfrak m_i = (f_i)$ for each $i$. Let $P_i$ be the set of roots of $f_i(x_i)$ in $\bar k$. Let $P = \prod_i P_i$. Let $G = \operatorname{Aut}(\bar k/k)$. $G$ acts on $P$ in an obvious way. Let $P/G$ be the set of $G$-orbits. Let $M$ be the set of maximal ideals of $A$ lying over $\mathfrak m_i$ for all $i$. Let $\alpha = (\alpha_1,\dots,\alpha_n) \in P$. There exists a unique $f \in \operatorname{Homalg}_k(A, \bar k)$ such that $f(x_i) = \alpha_i$ for all $i$. We denote by $\psi(\alpha) = \ker(f)$. Clearly $\ker(f) \in M$. Hence we get a map $\psi\colon P \rightarrow M$. By the above result, $\psi$ induces a bijection $\bar \psi\colon P/G \rightarrow M$. Hence $|P/G| = 1$ if and only if there exists only one maximal ideal of $A$ lying over $\mathfrak m_i$ for all $i$.

Now we construct an example such that $\mathfrak m \neq \mathfrak m'$ and $\mathfrak m_i = \mathfrak m'_i$ for all $i$. Let $\alpha, \beta \in \bar k$ be separable over $k$. Suppose $k(\beta) \supset k(\alpha)$, $[k(\beta) : k(\alpha)] > 1$ and $[k(\alpha) : k] > 1$. Let $p(x)$ be the minimal polynomial of $\beta$ over $k$. Let $q(x)$ be the minimal polynomial of $\beta$ over $k(\alpha)$. Clearly $\deg p(x) > \deg q(x)$. Since $p(x)$ is divisible by $q(x)$, there exists a root $\beta'$ of $p(x)$ such that $\beta'$ is not a root of $q(x)$.

Let $A = k[x_1, x_2]$. Let $f\colon A \rightarrow \bar k$ be the map defined by $f(x_1) = \alpha$, $f(x_2) = \beta$. Let $g\colon A \rightarrow \bar k$ be the map defined by $g(x_1) = \alpha$, $g(x_2) = \beta'$. Let $\mathfrak m = \ker(f), \mathfrak m' = \ker(g)$. Suppose $\mathfrak m = \mathfrak m'$. There exists an automorphism $\sigma$ of $\bar k/k$ such that $\sigma(\alpha) = \alpha$, $\sigma(\beta) = \beta'$. Hence $\beta'$ is a root of $q(x)$. This is a contradiction. Hence $\mathfrak m \neq \mathfrak m'$. Clearly $\mathfrak m_1 = \mathfrak m'_1$ and $\mathfrak m_2 = \mathfrak m'_2$.

share|improve this answer
    
Dear Makoto: this is a fantastic answer and I'm sorry I can upvote it only once . I hope many users will upvote it too and that Manos will accept it. Anyway, your insight and your counter-example are really brilliant: congratulations!. –  Georges Elencwajg Oct 12 '12 at 6:54
    
@MakotoKato: Dear MakotoKato, i have been studying your proof and have resolved all little details, but i am still not seeing your argument about the canonical bijection between the orbits and the maximal ideals lying over $m_i$. Could you please elaborate? –  Manos Oct 12 '12 at 19:18
    
@Manos I added an explanation about it. Please feel free to ask me if you still have a question. –  Makoto Kato Oct 12 '12 at 20:07
    
@MakotoKato: I see your argument now. Beautiful piece of algebra :) Thanks!! –  Manos Oct 12 '12 at 22:28
    
@MakotoKato: I am trying to work out further your development. Suppose that $Aut(\bar{k}/k)$ acts transitively on $P$. Then what i am getting is that each $P_i$ contains only one element. Do you agree with that? –  Manos Oct 13 '12 at 17:44

To give a reference regarding the first point: one says a commutative ring $R$ is a Hilbert ring if for every maximal ideal $\mathfrak n\subseteq R[X]$, it follows that $\mathfrak m:=R\cap \mathfrak n$ is maximal in $R$. It is a theorem that

$(1)$ If $R$ is Hilbert and $f:R\to S$ is an $R$-algebra of finite type, then $S$ is Hilbert.

$(2)$ If $\mathfrak n$ is maximal in $S$, then $\mathfrak m=\mathfrak n^c:= f^{-1}(\mathfrak n)$ is maximal in $R$, and

$(3)$ $[R/\mathfrak m:S/\mathfrak n]$ is finite.

It is trivial to see a field $k$ is Hilbert, so that any polynomial ring $k[X_1,\ldots,X_n]$ is also Hilbert, so your first point follows.

One also has the following theorem:

A ring $R$ is Hilbert if and only if whenever $K$ is a field that is of finite type as an $R$-algebra, then $K$ is of finite type as an $R$-module. This says essentially that Hilbert rings are those which satisfy Zariski's lemma. (Note this gives another proof of Zariski's lemma, since fields are trivially Hilbert rings!)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.