Math 2.0

Several complex variables and analytic spaces Definition

Holomorphically convex domain

Builds on Holomorphically convex hullCompact setOpen set

Definition

Let D⊆ℂnD \subseteq \C^n be an open set. Then DD is holomorphically convex if for every compact set K⊆DK \subseteq D the holomorphically convex hull K^D\hat K_D is compact.

Remarks

Since K^D\hat K_D is closed in DD, the condition says that K^D\hat K_D has no limit points on the boundary of DD.

Example: a convex open set DD. For compact K⊆DK \subseteq D, the hull K^D\hat K_D lies in the convex hull ch⁡(K)\operatorname{ch}(K), which is compact and contained in DD. A subset of DD that is closed in DD and contained in the compact set ch⁡(K)⊆D\operatorname{ch}(K) \subseteq D is compact.

Non-example: D={z∈ℂ2:0<∣z∣<1}D = \set{z \in \C^2 : 0 < \abs{z} < 1} and K={∣z∣=1/2}K = \set{\abs{z} = 1/2}. By Hartogs's extension theorem every holomorphic ff on DD extends to the ball, and by the maximum principle ∣f(z)∣≤max⁡K∣f∣\abs{f(z)} \le \max_K \abs{f} for 0<∣z∣≤1/20 < \abs{z} \le 1/2. So K^D\hat K_D contains {0<∣z∣≤1/2}\set{0 < \abs{z} \le 1/2}, which is not compact.

By the Cartan–Thullen theorem, a domain in ℂn\C^n is holomorphically convex if and only if it is a domain of holomorphy.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact set concept
  2. Holomorphically convex hull concept
  3. Open set concept
  4. Holomorphically convex domain definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Function_of_several_complex_variables
About this page
TagZRGTKMHKX2
URIm2://ZRGTKMHKX2
Kinddefinition
WritingW0 stub
MSC32E05, 32T05
DefinesHolomorphically convex domain
UsesHolomorphically convex hull, Compact set, Open set

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.