Analytic polyhedron

From HandWiki
Short description: Subset of complex n-space bounded by analytic functions

In mathematics, especially several complex variables, an analytic polyhedron is a subset of the complex space Cn of the form

[math]\displaystyle{ P = \{ z \in D : |f_j(z)| \lt 1, \;\; 1 \le j \le N \} }[/math]

where D is a bounded connected open subset of Cn, [math]\displaystyle{ f_j }[/math] are holomorphic on D and P is assumed to be relatively compact in D.[1] If [math]\displaystyle{ f_j }[/math] above are polynomials, then the set is called a polynomial polyhedron. Every analytic polyhedron is a domain of holomorphy and it is thus pseudo-convex.

The boundary of an analytic polyhedron is contained in the union of the set of hypersurfaces

[math]\displaystyle{ \sigma_j = \{ z \in D : |f_j(z)| = 1 \}, \; 1 \le j \le N. }[/math]

An analytic polyhedron is a Weil polyhedron, or Weil domain if the intersection of any k of the above hypersurfaces has dimension no greater than 2n-k.[2]

See also

Notes

  1. See (Åhag Czyż) and (Khenkin 1990).
  2. (Khenkin 1990).

References