Questions tagged [several-complex-variables]

For questions related to the study of functions of several variables, in particular the study of holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

The theory of several complex variables studies holomorphic (or analytic) functions defined over $\mathbb{C}^n$, where $n > 1$. Unlike the $n=1$ case, when $n > 1$ there is a strong lemma of Hartogs which states that all isolated singularities are removable and in particular there are domains that are not the domains of existence for holomorphic functions. In particular, there is a lot of interplay between the geometry of a domain $\Omega \subset \mathbb{C}^n$ and the function theory on $\Omega$.

Hartogs' lemma is just one of the many instances where analysis in several complex variables behaves very differently from complex analysis of a single variable. As an additional example, in one complex variable, Riemann's mapping theorem states that any simply connected domain (except the plane $\mathbb{C}$ itself) is biholomorphically equivalent to the unit disc. In several variables, there is nothing like Riemann's mapping theorem. The unit ball and the polydisc are for example not biholomorphically equivalent. In fact, an arbitrarily small perturbation of the unit ball is almost certainly not biholomorphic to the ball.

In real analysis, the theory in one and many dimensions generally behave similarly, except for when the algebraic structure of the real line as an ordered field comes into play, but as the examples above illustrate, the situation is very different in complex analysis. Therefore several complex variables is usually regarded as a distinct subject from complex analysis.

766 questions
6
votes
2 answers

Convergence domain: $\{(z,w):|z|^2+|w|^2 < 1\}$

I would like a HINT for this: Exhibit a two variable power series whose convergence domain is the unit ball $\{(z,w):|z|^2+|w|^2 < 1\}$. ($z$ and $w$ are complex numbers.) I think that it cannot be of the form $\sum P(z,w)^n$ where $P(z,w)$ is a…
Weltschmerz
  • 6,875
4
votes
1 answer

To prove that every bounded function holomorphic on $\mathbb{C}^2 \setminus K$ is constant

I have to prove that every bounded function holomorphic on $\mathbb{C}^2 \setminus K$ is constant, where $K$ is $(a)$ a ball $(b)$ a complex line $(c)$ an arbitrary analytic subset Now, I think the idea here is to show that the holomorphic…
4
votes
3 answers

A function holomorphic on all of $\mathbb{C}^n$ cannot have a nonempty bounded set as it set of zeroes

I took this question from the book 'Several Complex Variables with connections to algebraic geometry and lie groups' chapter 2. The statement to be proven is that for $n>1$, a function that holomorphic all on $\mathbb{C}^n$ cannot have an nonempty…
Soby
  • 1,482
4
votes
2 answers

Determine the Automorphism group of the unit bidisc.

I'm currently reading through Holomorphic Functions and Integral Representations in Several Complex Variables by R. Michael Range, and I'm stuck on Exercise E.2.4, which states Let $\Delta^2$ be the unit bidisc in $\mathbb{C}^2$. Show that every…
Blake
  • 2,610
4
votes
1 answer

Domain of Holomorphy

How to show that $D=\{ |z_1|<1\} \cup \{ |z_2|<1\} \subset \mathbb{C}^2$ is not a domain of holomorphy. What is the smallest domain of holomorphy $ S\supset D $ ? I think we cannot just add the distinguished boundary (the torus $|z_1|=1,…
Berkheimer
  • 2,086
  • 17
  • 31
3
votes
2 answers

Essential singularity of a holomorphic function of two variables

I have a holomorphic function $G(z_1,z_2)$ in 2 variables, such that $G(z_1 + 1, z_2) = G(z_1,z_2)$, hence for a fixed $z_2$, $G(z_1,z_2)$ has a Laurent expansion in $e^{2\pi i z_1}$. I'm trying to show that this function doesn't have an essential…
Long
  • 1,630
3
votes
1 answer

Composition of subharmonic with the graph of a function.

Let $f$ be a complex function on an open connected set in $\mathbb{C}$. Let $g:\mathbb{C}\rightarrow \mathbb{C}^2$ be such that $g(z)=(z,f(z))$. If for any plurisubharmonic function $u$ on $\mathbb{C}^2$, $u\circ g$ is subharmonic, then prove that…
Extremal
  • 5,785
3
votes
1 answer

Definition of higher complex integral over polydisc

I've come across the following generalization of Cauchy integral formula in higher dimensions. Let $h \in \mathcal{O}(U)$, with $U \subset_{\text{open}}$ Let $(p_1, p_2) \in U$. There exists a bidisk $D(p_1, r_1) \times D(p_2, r_2) \subset U$, and…
Hermès
  • 2,647
3
votes
1 answer

Extension of biholomorphic map to the boundary in higher dimension

Well I was thinking on this problem, any idea to progress will be gladly accepted, Let $f:\Omega\rightarrow V$ be a biholomorphic map where $\Omega$ and $V$ are bounded open set in $\mathbb{C}^n$ with $\mathbb{C}^w$ boundary, Does $f$ extend…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
2
votes
1 answer

Is the zero set of a holomorphic function nowhere dense?

Let $f:U\subset\mathbb{C}^n\to\mathbb{C}$ be non-trivial and holomorphic with $U$ open and connected. Is the zero set $Z(f)=\{z\in U\mid f(z)=0\}$ a nowhere dense set (i.e. is the interior of the closure of $Z(f)$ empty?)? My question comes from…
2
votes
1 answer

Determinant of the Jacobian of a holomorphic mapping of several complex variables

I am reading from Degree Theory by N. Lloyd, and in one section he writes about the degree of a holomorphic map of several complex variables. I am unsure about one of the steps in a proof he gives. The setup: $\mathbb{C}^n$ is the vector space of…
Gyu Eun Lee
  • 18,793
2
votes
1 answer

Maximum principle for several complex variables

Suppose that we have an analytic function on the polydisc {$ \{z \in \mathbb{C}^n: \left|z_i\right| < 1, \forall i=1,\dots,n \} $} and continuous on the boundary. Can a non-constant function take the maximum value outside of the distinguished…
2
votes
0 answers

catlin multitype of a particular domain

This is a remark in a paper by Jiye Yu, "multitypes of convex domains".\ For a smoothly bounded domain $\Omega\subseteq \mathbb{C}^2$, and suppose that it is defined by the defining function $r(z,w)=2 \Re w+2 \Re z^2+|z|^4$ in a neighborhood of…
Jean
  • 151
  • 7
2
votes
1 answer

Homeomorphism between the unit disc and unit ball not a holomorphic map

Let us denote the maximum norm on $\mathbb{C}^n$ as $\lVert \cdot \rVert_{\infty}$ and the normal Euclidean norm on $\mathbb{C}^n$ (arising from the inner product) as $\lVert \cdot \rVert_2$. It is a well-known result in several complex variables…
2
votes
1 answer

If function has a zero on an open set, then it has a zero on the boundary

Question: Let $D\subset \mathbb{C}^N$ for $N\geq 2$ be open, bounded and connected and let $f: \overline{D} \rightarrow \mathbb{C}$ be continuous such that $f$ is holomorphic on $D$. Show that if $f$ has a zero on $D$, then $f$ has a zero on…
1
2 3 4