## Domain of Holomorphy

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I found the following definition of domain of holomorphy in several places.

Def1: A connected open set $\Omega$ in the n-dimensional complex space ${\mathbb{C}}^n$ is called a domain of holomorphy if there do not exist non-empty open sets $U \subset \Omega$ and $V \subset {\mathbb{C}}^n$ where $V$ is connected, $V \not\subset \Omega$ and $U \subset \Omega \cap V$ such that for every holomorphic function $f$ on $\Omega$ there exists a holomorphic function $g$ on $V$ with $f = g$ on $U$.

From what I understand, intuitively speaking, $\Omega$ is a domain of holomorphy if we can find a function $g$ which is holomorphic on $\Omega$ such that it cannot be extended beyond the boundary of $\Omega$. Naively thinking, I would have written down the following definition for domain of holomorphy.

Def2: A connected open set $\Omega\subset \mathbb{C}^n$ is a domain of holomorphy if there is a $g$ which is homolorphic on $\Omega$ such for that any open $V\subset \mathbb{C}^n$ with $V\cap \partial\Omega\neq\phi$ there is no holomorphic function $F$ on $V$ with $F\vert_{V\cap\Omega}=g\vert_{V\cap\Omega}$.

Could someone please explain to me the need for the more complicated definition 1.

-

## 2 Answers

Further to Ben's answer, it might be useful to picture the situation in $\mathbb{C}$. (Of course in $\mathbb{C}$ every domain is a domain of holomorphy, but we can still exhibit the same phenomenon that causes us to need the more complicated definition.)

The principal branch of the logarithm $f := \operatorname{Log}$ is defined on the slit plane $\Omega :=\mathbb{C}\setminus (-\infty,0]$. The function $f$ does not extend holomorphically, or even continuously, to any point of $(-\infty,0]$.

However, let $x\in (\infty,0)$, set $\delta := -x$, and consider the disk $V := D(x,\delta)$ and the half-disk $$U := {z\in V: \operatorname{Im} z > 0}.$$

Then the restriction of $f$ to $U$ extends analytically to a holomorphic function $g$ on $V$, where $g(z)=f(z)$ if $z\in U$, $g(z) = \log(-z)+i\pi$ if $z$ belongs to the diameter $(2x,0)$ of $V$, and $g(z)=\operatorname{Log}(z) + 2\pi i$ otherwise.

The point is that the slit plane is not a "natural" maximal domain of definition for the function $\operatorname{Log}$. (If we were looking for such a domain, it would be a spiralling Riemann surface spread over the punctured plane ...) In other words, suppose you have a domain of holomorphy for some analytic function, but you only know the germ of this function at some point. Then you can reconstruct the domain uniquely as the maximal domain to which the germ can be analytically continued.

Of course the interesting thing is that there are domains that are not domains of holomorphy, when $n\geq 2$.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Quoting Steven Krantz, Function Theory of Several Complex Variables, p. 6: the definition of domain of holomorphy is complicated because we must allow for the possibility (when dealing with an arbitrary open set $U$ rather than a smooth domain $\Omega$) that $\partial U$ may intersect itself.

Picture a cigar, and then bend it to make a necklace, making the two ends just touch. The interior of that set is an open set whose boundary, so to speak, touches itself.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 50, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9329460859298706, "perplexity_flag": "head"}