On Krull dimension of tensor products of algebras arising from AF-domains (Q2573492)

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\). A \(k\)-algebra domain \(A\) is an AF-domain if \(\text{ht} (p)+\text{ t.d.} \left (\frac {A}{p} \right) =\text{ t.d.} (A)\) for all prime ideals \(p\) of \(A\) [cf. \textit{A. R. Wadsworth}, J. Lond. Math. Soc. 19, 391--401 (1979; Zbl 0398.13008)]. This paper deals with the Krull dimension of \( \dim (A \otimes_kB )\) when \(A[n]\) is an AF-domain for some positive integer \(n\). The main result in the first section is the following (Theorem 1.1): if \(A\) is a one-dimensional \(k\)-algebra such that \(A[n]\) is an AF-domain for some positive integer \(n\) and \(B\) is any \(k\)-algebra, then \[ \begin{multlined} \dim (A \otimes_kB )=\max \left \{ \text{ht} (q_1 [\text{t.d.} (A) ] )+ \text{ ht} \left ( \frac {q}{q_1} \left [ \text{t.d.} \left (\frac{A}{p} \right) \right] \right)+ \text{ ht} \left ( p \left [ \text{t.d.} \left (\frac {B}{q_1} \right) \right] \right) \right. \\ \left.+ \min \left (\text{t.d.} \left (\frac{A}{p}\right),\; \text{t.d.} \left (\frac{B}{q} \right)\right)\;: \;p\in\text{ Spec } (A)\text{ and }\;q_1\subseteq q\in \text{ Spec } (B) \right\}.\end{multlined} \] In the second section the following theorem gives a formula for the dimension of tensor products of \(k\)-algebras arising from particular pullbacks (Theorem 2.2). Let \(T\) be a valuation domain that is a \(k\)-algebra. Let \(k\subseteq K\) be a subfield of \(T\); let \(I\) be an ideal of \(T\) such that \(\text{ht} (I)=1\) and for the minimal prime ideal \(P_0\) of \(I\), \(T_{P_0}\) is an AF-domain. Let \(A=K+I\) and \(B\) be any noetherian or Prüfer domain that is a \(k\)-algebra. Then \[ \begin{multlined}\dim (A \otimes_kB )=\text{ ht} (I[\text{t.d.} (B)]+D(\text{t.d.} (K),0,B)\\= 1+\min \left (\text{t.d.}(B), \text{t.d.} \left (\frac{T}{I}:K\right)\right)+D\left (\text{t.d.}(K),0,B\right),\end{multlined} \] where the following notations are used: \(D(s,d,A)= \max \{\Delta (s,d,p): p\in \text{ Spec }(A)\}\) and \(\Delta(s,d,p)=\text{ ht} p[n]+\min\left \{s,d+\text{ t.d.}\left (\frac{A}{p}\right)\right\}.\)