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
1
vote
0 answers

Let $h(z) = g(f(z))$. If $f$ and $h$ are non-constant holomorphic function on domains in $\mathbb C^n$, then is $g$ holomorphic?

Let $h(z) = g(f(z))$. If $f$ and $h$ are non-constant holomorphic function on domains in $\mathbb C^n,\, n>1$, then is $g$ holomorphic? I have seen various discussion here, however most proofs relies on one variable techniques! It would be really…
belsam
  • 41
1
vote
1 answer

an exercise on plurisubharmonic functions

I came across the following exercise on plurisubharmonic functions (Krantz, function theory of several complex variables, §111): Let $\Omega \subseteq \mathbb{C}^n$ be a domain, $f: \Omega \to \mathbb{R}$ continuous. Suppose that for each compact…
unicornki
  • 1,210
1
vote
0 answers

Need help to understand notation

Can somebody explain the use of ange brackets in the book I'm reading now? On pages 1–2 of Krantz's Function theory of several complex variables (2nd ed., 1992), I see the following: if $dz_j=dx_j+i\,dy_j$ is a differential and…
1
vote
1 answer

Are there examples for $E$ so that $D$ is a domain of holomorphy?

Let $E$ be a compact set in $\mathbb{C^n}$. Let $D=\mathbb{C^n}-E$. a. Find an example for an $E$ so that $D$ is not a domain of holomorphy. b. Are there examples for $E$ so that $D$ is a domain of holomorphy? So, if $E$ is a compact set so that…
Extremal
  • 5,785
1
vote
1 answer

Holomorphic map with a fixed point has Jacobian with all eigen values in the unit disk

Suppose $U\subset \mathbb{C}^n$ is a bounded domain and $f$ is a holomorphic map from $U$ to itself such that $f(a)=a$ for some $a\in U$. Prove that all eigen values $\lambda$ of $Df(a)$ lie in the unit disk. I honestly have no idea how to start.…
Extremal
  • 5,785
1
vote
1 answer

Every Holomorphic function on a Hartog's figure can be extended holomorphically to the while of $P^n$

Let $f$ be a holomorphic function on the Euclidean Hartog's figure that is $$H=\{(z,w)\in P^2 : 1 \gt|z| \gt q_1 \text{or} |w| \lt q_2 \}$$ where $0 \lt q_i \lt 1$. I need to show that it has a holomorphic extension to whole of $P^2$ where $P^2$ is…
tattwamasi amrutam
  • 12,802
  • 5
  • 38
  • 73
1
vote
1 answer

Question about analytic polyhedra

Let $\Pi\subset\subset U\subset\mathbb{C}^n$ be an analytic polyhedron $$\Pi=\{z\in U:|f_j(z)|<1,1\le j\le m\}$$ where $f_1,\ldots,f_m\in H(U)$, the following equality holds? $$\overline{\Pi}=\{z\in U:|f_j(z)|\le1,1\le j\le m\}$$ Any hint would be…
felipeuni
  • 5,080
1
vote
0 answers

Connectedness of $\hat{K}_U$.

Let $U\subset\mathbb{C}^n$ be a domain and $K\subset U$ compact. If $K$ is connected then $\hat{K}_U$ is also connected? $\hat{K}_U= \{z \in U: |f(z)| \leq \sup_K |f|, \forall f\in \mathcal{O}(U)\}$: holomorphically convex hull of $K$. Any hint…
felipeuni
  • 5,080
1
vote
0 answers

$U:$ domain of holomorphy, $d_{\infty}(K,\partial U)=d_{\infty}(\hat{K}_U,\partial U)$.

Let $U\subset\mathbb{C}^n$ be a domain of holomorphy, then we know that $$d_{\infty}(K,\partial U)=d_{\infty}(\hat{K}_U,\partial U)$$ for each compact subset $K\subset U$, also that $$d_{2}(K,\partial U)=d_{2}(\hat{K}_U,\partial U)$$ for each…
felipeuni
  • 5,080
1
vote
0 answers

holomorphic range of a zero variety

Let D be the unit disk, and $d\ge 2$. $F=(f_1,...f_d)$ is a holomorphic map over the closure of $D^d$ to $C^d$. What information can we get about the image of $\{0\}$x $D^{d-1}$ under $F$? Hope some characterization about it. Is it locally…
Hansong
  • 31
1
vote
1 answer

Domain of holomorphy characterization

Let $U\subset\mathbb{C}^n$ be a domain of holomorphy. The following proposition is true? There is a holomorphic function $f\in H(U)$ such that for all $a\in\partial U$, $\lim_{z\to a}f(z)=\infty$ $(z\in U)$. Any hint would be appreciated.
felipeuni
  • 5,080
1
vote
1 answer

Pluriharmonic is harmonic

I just started learning several complex variables and I'm a little bit confused. I just read that every pluriharmonic function is harmonic and I can't find any proof of that. Please help.
Alem
  • 419
0
votes
0 answers

Definition of local parametrisation of complex submanifold

I am currently reading Range's Holomorphic functions and integral representations in several complex variables and would like some clarification on the following definition. Let $M$ be a complex submanifold of $\mathbb{C}^n$ and let $p \in M$. Then…
0
votes
1 answer

Show that this domain is Levi pseudoconvex and find all strictly Levi pseudoconvex points on boundary.

I'm troubling with an Exercise that comes from the book $\mathit{Holomorphic~Functions~in~Several~Complex~Variables~}$by R.Michael Range. Exercise 2.6 Define$~r(z)$ for$~z\in \mathbb{C}^2~$by$$r(z)=Re(z_2)+|z_1|^8+\frac{15}{7}|z_1|^2Re(z_1^6)$$ and…
0
votes
0 answers

Converse of Hurwitz theorem in several complex variables

Let $\phi_{n}: \overline{\Omega} \to \mathbb{C}^{n}$ be e sequence of holomorphic map converges to a $\mathcal{C}^{2}$ smooth differmorphism $f: \overline{\Omega} \to f(\overline{\Omega})$, with $f \in Hol(\Omega) $ uniformly on…