Generic fiber rings of mixed power series/polynomial rings (Q2491846): Difference between revisions

Let \(x=(x_1,\ldots,x_n)\), \(y=(y_1,\ldots,y_m)\) be sets of independent variables over a field \(k\). Set \(A=k[x]_{(x)}\), \(B=k[[x]][y]_{(x,y)}\), \(C=k[y]_{(y)}[[x]]\), \({\hat A}=k[[x]]\), \({\hat B }={\hat C}=k[[x,y]]\) and denote by \(Q(D)\) the fraction field of a domain \(D\). Then (i) all maximal ideals of \(Q(A)\otimes_A{\hat A}\) have height \(n-1\) (this extends a result of Matsumura), (ii) all maximal ideals of \(Q(B)\otimes_B{\hat B}\) and \(Q(C)\otimes_C{\hat C}\) have height \(n+m-2\), (iii) if \(n>1\) then all maximal ideals of \(Q({\hat A})\otimes_{{\hat A}}{\hat C}\) have height \(n+m-2\) or \(m\), (iv) if \(n=1\) then all maximal ideals of \(Q({\hat A})\otimes_{{\hat A}}{\hat C}\) have height \(m\).