Holomorphic function

A holomorphic function is a complex-valued function of one or more complex variables that is complex-differentiable at every point of its domain. Unlike real differentiability, which is a local condition with few global consequences, complex differentiability is extraordinarily restrictive: a function that is holomorphic on a domain is automatically infinitely differentiable, admits convergent power series expansions, and is determined entirely by its values on any open subset. This rigidity makes holomorphic functions the fundamental building blocks of complex geometry and complex analysis.

The study of holomorphic functions extends from the classical theory of one complex variable — dominated by the Cauchy integral theorem, Liouville's theorem, and the Riemann mapping theorem — to the multidimensional theory, where phenomena such as Hartogs' theorem and the failure of the Riemann mapping theorem reveal that complex analysis in higher dimensions is a genuinely different subject. In several complex variables, the appropriate domains of study are not arbitrary open sets but pseudoconvex domains and Stein manifolds, whose global geometry is deeply intertwined with the behavior of holomorphic functions upon them.

The condition of holomorphicity is not merely an analytic convenience. It is the local rule whose global consequences generate the entire edifice of complex geometry. Without holomorphic functions, there are no complex manifolds, no Kähler structures, and no Calabi-Yau spaces. The holomorphic condition is where it all begins.