Chains of prime ideals in tensor products of algebras (Q872172)

Let \(k\) be a field and \(A\) a \(k\)-algebra (all \(k\)-algebras are assumed to have finite transcendence degree over \(k\)). If \(n\geq 1\), \(A[n]\) denotes the \(k\)-algebra of polynomials in \(n\) indeterminates with coefficients in \(A\). \textit{P. Jaffard} [``Théorie de la dimension dans les anneaux de polynômes'', Mém. Sci. Math. 146 (1960; Zbl 0096.02502); in: Algébre Théorie Nombres, Sem. P. Dubreil, M.-L. Dubreil-Jacotin et C. Pisot 13 (1959/60), No. 12 (1961; Zbl 0111.04103)] proved the special chain theorem: if \(A\) is a ring and \(P\) is a prime ideal of the polynomial ring \(A[n]\), then \(\text{height} (P)= \text{height} (p[n])+\text{height} \left (\frac{P}{p[n]}\right)\). This paper deals with the length of particular chains of prime ideals in the tensor product of two \(k\)-algebras \(A\) and \(B\). If \(P\) is a prime ideal of \(A \otimes_kB \) and \(p_0\), \(q_0\) are prime ideals of \(A\) and \(B\), respectively, with \(p_0\subset P\cap A\) and \(q_0\subset P\cap B\), in Section 2 the author studies the length of the chains of prime ideals of \(A \otimes_kB \) of the form \(P_0\subset P_1 \subset \cdots \subset P_s=P\) such that \(P_i\cap A=p_0\) and \(P_i\cap B=q_0\), for \(i=0,1,\cdots,s-1\) and he proves the main theorem of this section (Theorem 2.1). Moreover, \textit{A. R. Wadsworth} [J. Lond. Math. Soc. 19, 391--401 (1979; Zbl 0398.13008)] proved that, if a \(k\)-algebra \(A\) is a domain, then \[ \dim (A)+\text{tradeg} (A)\leqslant \dim (A \otimes_kA)\leqslant\dim_v(A)+\text{tradeg} (A). \] As an application of the Theorem 2.1, the author improves the Wadsworth result with the Theorem 3.1: if a \(k\)-algebra \(A\) is a one-dimensional domain, then \[ \begin{multlined}\dim (A \otimes_kA)\leqslant \text{tradeg} (A)+\max \left \{\text{height} \left (p\left [\text{tradeg} \left (\frac {A}{p}\right )\right] \right ) : p\in \text{Spec} (A) \right \}\\ \leqslant \text{tradeg} (A)+\dim_v(A).\end{multlined} \] Using this theorem, the author computes \(\dim (A \otimes_kA)\) for a new family of (not necessarily Jaffard) domains \(A\).