Equivalent definitions of normality for complex algebraic varieties

Question

In Kollár's article The structure of algebraic threefolds: an introduction to Mori's program he gives the following definition of a normal variety:

Definition 5.4. Let $V \subset \mathbb{C}^n$ be an algebraic variety and $v \in V$. We say $V$ is normal at $v$ if every rational function bounded in some neighborhood of $v$ is regular at $v$.

This is in contrast to the definition of normal which I have seen everywhere else: the point $v \in V$ is normal if the local ring $\mathcal{O}_{V,v}$ is integrally closed. Of course the first question that came to mind is whether these two concepts are equivalent. I intuitively see that if for the rational function $g/h$ we have that $|(g/h)(w)| \to \infty$ as $w \to v$, then said function cannot satisfy a monic polynomial relation with regular coefficients (although I am not 100% sure how to prove this). However the converse seems very misterious to me. Is this the way to prove they are equivalent or am I following the wrong path? Are they equivalent at all?

Answer 1

I don't know enough about the algebraic side to answer your question as stated, but the corresponding statement in the analytic setting is that the ring of weakly holomorphic functions on an irreducible variety is the integral closure of the strongly holomorphic function in the ring of meromorphic functions, which is proven in for example Demailly, Complex analytic and differential geometry, Theorem II.7.3.

The fact that the integral closure is contained in the weakly holomorphic functions follows from an elementary property of roots of monic polynomials. The proof of the other inclusion uses the local parametrization theorem (which corresponds to the Noether normalization in the algebraic setting) and the Riemann extension theorem which says that that any function which is holomorphic on $U \setminus A$ and locally bounded near $A$, where $U \subseteq \mathbb{C}^n$ is open, and $A$ is an analytic subset of positive codimension.