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
0
votes
0 answers

Analytic Continuation in Several Complex Variables

I was trying to use the following theoerem to prove analytic continuation. Here it is: Let $f: \Omega \to \mathbb{C}^m$ be holomorphic where $\Omega \subseteq \mathbb{C}^n$ is open. If $\Omega$ is connected and there exists $\boldsymbol{z^\ast} \in…
0
votes
1 answer

image of pseudoconvex domain is not pseudoconvex?

Explicitly, how can we find functions and domains satisfy the following: (i) Both $U$ and $V$ are domains of $\mathbb{C}^n$. (ii) $U$ is pseudoconvex. (iii) there exists a surjective holomorphic map between $U$ and $V$. (iv) $V$ is not pseudoconvex.
qinxs
  • 316
0
votes
1 answer

Biggest (centered) polydisc of holomorphy

I have trouble defining the biggest centered polydisc of holomorphy (where I can apply cauchy's inequality) of a multivariate complex holomorphic function. As an example, suppose a function of 2 variables with 3 poles: $$f(z_1,z_2) =…
lrnv
  • 276
0
votes
1 answer

Intersection of a domain of holomorphy with a linear subspace

Let $\Omega\subset\mathbb{C}^n$ be a domain of holomorphy, $m
Yuxiao Xie
  • 8,536
0
votes
1 answer

roots of a several variable for the equation $y-3x^2-y^3=0$

How can I get the roots of the next equation? $$y-3x^2-y^3=0$$ I just dont get the same answer than my teacher: $$x = \frac {- \sqrt2}{3(3^{1/4})}, y = \frac{-2}{\sqrt3}$$
Moira
  • 1
0
votes
0 answers

Uniqueness of factorization into irreducible factors of a several complex variables function.

I have the following situation: Let $L_1,L_2,L_3$ and $L_4$ be linear forms in $\mathbb{C}^k$ such that $\frac{L_1L_2}{L_3}=L_4$. Can we conclude from here that $L_3$ is a multiple of $L_1$ or of $L_2$? This is equivalent to ask if the factorization…
Diego
  • 1
0
votes
1 answer

Value of a holomorphic function of several variables at the center of a polydisk is the average value over the entire polydisk

I am reading Gunning's Vol. I on holomorphic functions of several variables and am confused by his proof of the maximum modulus principle (Theorem A.4), which assumes the following fact. Let $V$ be the volume measure on $\mathbb{R}^{2n}$ and hence…
0
votes
0 answers

Why it suffices to prove that $h(a)=g(a)$ for some $a\in \mathbb{C}^n$ such that $h(a)=1$?

$h:\mathbb{C}^n\rightarrow [0,\infty)$ is a homogeneous plurisubharmonic function. Assume $g:\mathbb{C^n}\rightarrow [0,\infty)$ is another homogeneous function. If we have to prove that $h(z)=g(z)$ for all $z\in \mathbb{C}^n$, why it suffices to…
Extremal
  • 5,785
0
votes
1 answer

Domain of holomorphy: finding a holomorphic function.

Let $U\subset\mathbb{C}^n$ be a domain of holomorphy. The following proposition is true? For each $a\in\partial U$, there is a holomorphic function $f\in H(U)$, such that $\displaystyle\sup_{j\ge 1} |f(z_j)|=\infty$ $($for all sequence $ …
felipeuni
  • 5,080
0
votes
1 answer

Finding an entire function $f$

Let $U\subset\mathbb{C}^n$ be a bounded domain. Give an example of an entire function $f:\mathbb{C}^n\longrightarrow\mathbb{C}$ such that: $$f[U]\subset D(0,1)$$ $$f[ext(U)]\subset ext[{D(0,1)}]$$ $D(0,1)=\{z\in\mathbb{C}:|z|<1\}$…
felipeuni
  • 5,080
0
votes
1 answer

Analytic continuation in several variables

Suppose we have a function $f : U \to \mathbb{R}$, where $U = (0,1)^n \subset \mathbb{R}^n$ is the open box, and that $f(x_1,x_2,\cdots,x_n)$ is separately real analytic in each $x_i$. Does there exist an extension of $f$ to a an open connected…
Jas Ter
  • 1,539
0
votes
1 answer

How can I prove the hypersurface $M$ is neither convex nor concave?

The question is so simple: how can I prove that $M$ (as defined below) is neither convex nor concave (in the real sense)? The point here is to define a new notion of convexity, the complex convexity, in contrast with the real one; so this example…
Joe
-1
votes
1 answer

Princples of analytic continuation in several complex variables

I was studying several complex variables and am little bit confused about analytic continuation here. My questions are as follows: (i) why we need connected set here? I understand a connected set cannot be a union of two open sets. So if $D$ is a…
-1
votes
1 answer

A question regarding pluriharmonic functions

A real-valued function $u$ that is defined on a domain $D$ of $\mathbb{C}^n$ is pluriharmonic if $u$ is of class $C^2$ and for all $a\in D$ and $b\in\mathbb{C}^n$ the function $\lambda\mapsto u(a+\lambda b)$ is harmonic on the…
M. Rahmat
  • 1,369
-1
votes
1 answer

Boundary of the image of a holomorphic map in several complex variables

Suppose we have a bounded open set $U \subset \mathbb{C}^n$ and a surjective holomorhpic map $f: U \rightarrow V$, where $V$ is open in $\mathbb{C}^n$ and not necessarily bounded. Also suppose we have a sequence $z_n \in U$ such that $z_n…
1 2 3
4