What is the Krull dimension of the ring of holomorphic functions on a complex manifold?

It follows from the proof in Sasane's paper that Krull dimension of a (connected) complex manifold $M$ is infinite iff $M$ admits a nonconstant holomorphic function $F: M\to {\mathbb C}$. Namely, using Sard's theorem find a sequence of points $a_k \in F(M)$ which are regular values of $F$ and so that $(a_k)$ converges to a point in $({\mathbb C}\cup \infty) \setminus F(M)$. Then, pick regular points $b_k\in V_k:=F^{-1}(a_k)$ of $F$ and define multiplicity of zero for a holomorphic function $h: M\to {\mathbb C}$ with respect to the germ of $V_k$ at $b_k$. (I.e., multiplicity of $h$ is determined by the largest $m$ so that $h=(F-a_k)^m g$ on the level of germs at $b_k$.) Now, the same proof as in Sasane's paper goes through, where you will be using functions $f_n\circ F$ instead of Sasane's functions $f_n$. The point is that Sasane's argument is essentially local at zeroes of the functions $f_n$. Actually, what Sasane proves is a lemma about a commutative ring $R$ with a sequence of valuations $m_k$ for which there exists a sequence of elements $f_i\in R$ so that $m_k(f_i)$ grows slower than $m_k(f_{i+1})$ for every $i$ as $k\to \infty$ (more precisely, in his case, the growth rate of $m_k(f_i)$ is $k^{i+1}$). Under this assumption, Krull dimension of $R$ is infinite.

Edit: I finally wrote a detailed proof here.

Edit. I wrote a proof that the Krull dimension of $H(M)$ (when it is positive) has cardinality at least continuum. The new proof uses surreal numbers instead of ultralimits. For the sake of completeness I am keeping the older proof as well.


My previous (non/)answer is now out of date because of Misha's revisions. I have written up an independent exposition of the "greater Kapovich theorem" that if a connected $\mathbb{C}$-manifold $M$ has a nonconstant holomorphic function then the cardinal Krull dimension of $\operatorname{Hol}(M)$ is at least $\mathfrak{c} = 2^{\aleph_0}$.

I have also shown -- by a straightforward reduction to the one-dimensional case -- that if $M$ is a Stein manifold then its cardinal Krull dimension is at least that of $\operatorname{Hol}(\mathbb{C})$ and thus -- by a result of Henriksen -- at least $2^{\aleph_1}$. Whether this stronger bound should occur under the much weaker hypothesis that there is a nonconstant holomorphic function I have no idea.

Added: The note has been published here.


Are you also looking for holomorphic manifolds with $\dim \mathcal O=\infty$?

In that case, in the paper by Sasane On the Krull Dimension of Rings of Transfer Functions [Acta Applicandae Mathematicae Volume 103, Number 2 (2008), 161-168] it is shown that the Krull dimension of $\mathcal{O}(\Omega)$ is infinite for any nonempty open subset $\Omega$ of $\mathbb{C}$ (see Corollary 2.3).

In particular the ring of entire functions $\mathcal{O}(\mathbb{C})$ has infinite Krull dimension.