Krull dimension of a power series ring over a valuation domain (Q1628494)

The authors are interested in studying the Krull dimension of power series rings over valuation domains. The paper includes a nice bibliography of previous work investigating similar questions related to the Krull dimension of various polynomial rings over Noetherian rings, Prüfer rings, valuation domains and some work involving questions about the Krull dimension of power series rings over Noetherian, generalized Dedekind domains or discrete valuation domains. In general, the Krull dimension of power series rings can be unwieldy as examples exist where \(2 \dim R +1 < \dim R[[X]] < \infty\) and furthermore, \(\dim R[[X]]\) can be infinite even if \(\dim R\) is finite. This paper focuses on the situation when \(V\) is a one dimensional, nondiscrete, valuation domain, it is shown that the Krull dimension of \(V[[X]]_{V^*} \geq 2^{\aleph_{1}}\) where \(V^*=V\setminus \{0\}\), hence \(V[[X]] \geq 2^{\aleph_{1}}\). This is very similar the situation surrounding the ring of entire functions, \(\epsilon\), where the Krull dimension of \(\epsilon \geq 2^{\aleph_{1}}\). It is shown that this lower bound is possible to achieve since if \(V\) is countable, \(V[[X]]_{V^*} = 2^{\aleph_{1}}\), provided the continuum hypothesis holds. The authors construct a chain of prime ideals in \(V[[X]]\) with length \(\geq 2^{\aleph_{1}}\) such that each prime in the chain has height \(\geq 2^{\aleph_{1}}\) and contracts to \(\{0\}\) in \(V\). Finally, the authors prove that if \(W\) is a finite-dimensional valuation domain, then either the Krull dimension of \(W[[X]]\) is either finite at least \(\geq 2^{\aleph_{1}}\).