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

Weierstrass Preparation Theorem and meromorphic function

Suppose $f:D \to \mathbb{C}$ is holomorphic in a domain $D \subset \mathbb{C}^n$, all of its partials extend continuously to $\bar{D}$ and $f$ is meromorphic in a neighborhood of $\bar{D}$. Suppose $0 \in \partial D$. In a small neighborhood of 0,…
Clyde
  • 903
2
votes
0 answers

$(P,H)$ Euclidean Hartogs figure

Let $(P,H)$ be a Euclidean Hartogs figure in $\mathbb{C}^n$ and $f:H\to \mathbb{C}^n$ a holomorphic injective map, then we know that $f$ extend holomorphically to polidisc $P$ (i.e. there is a holomorphic map $F:P\to\mathbb{C}^n$ such that $F\equiv…
felipeuni
  • 5,080
2
votes
0 answers

change of complex variables

Suppose that $z_1 , z_2,\cdots ,z_k,\cdots ,z_d$ are complex variable numbers. Locally, and suppose $f_1, f_2 \cdots, f_k $ are $k$ holomorphic functions on $z_1, z_2 \cdots,z_d$. At $(0,0,...0)\in \mathbb{C}^d$, the Jacobian of $(f_1,\cdots,…
Hansong
  • 31
1
vote
1 answer

Consequence of Cauchy Integral Formula for Several Complex Variables in Gunning's book

I am reading Gunning's book Introduction to Holomorphic Functions of Several Variables, Vol. I, and I am stuck in the proof of Maximum modulus theorem: if $f$ is holomorphic in a connected open subset $D \subset \mathbb{C}^{n}$ and if there is a…
rla
  • 2,345
1
vote
0 answers

Rational function on polydisc

Who has idea to prove this: Let $\mathbb{U}^n$ be a polydisc, $f\in \mathcal{O}(\mathbb{U}^n)\cap C(\bar{\mathbb{U}}^n)$, if $|f|=const$ on the skeleton of $\mathbb{U}^n$, then $f$ must be a rational function.
Slm2004
  • 461
1
vote
0 answers

Does the Open Mapping Theorem hold for invertible holomorphic function of several variables?

Suppose there is a holomorphic function $\mathbf{f}:U\rightarrow V$ with several complex variables, where $U$ and $V$ are both open sets in $\mathbb{C}^n$. If the Jacobian matrix of $\mathbf{f}$ on $x_0$, $\mathbf{Df}(x_0)$ is invertible, then we…
zyynankai
  • 437
1
vote
0 answers

What is the Bergman kernel for upper half-space?

I am looking for the Bergman kernel of the upper half-space $D={z|\Im{z} > 0, z \in \mathbb{C}^n}$. I know how to derive the kernel for upper half-plane using Riemann mapping theorem, but similar theorem does not exist in several complex variable…
1
vote
0 answers

Is a bounded symmetric domain a Runge domain?

A domain in $\mathbb{C}^N$ is a bounded symmetric domain if there exists a norm $\|\cdot\|$ on $\mathbb{C}^N$ such that $U=\{z\in \mathbb{C}^N : \|z\|<1\}$ and if the automorphism group of $U$ denoted by Aut$(U)$ acts transitively on $U$. A domain…
user122916
  • 1,177
1
vote
0 answers

some questions about L^2 - estimates and the existence of d bar operator

I have some questions while reading "An introduction to Complex Analysis in Several variables, Las Hörmander(3rd Edition). The part what I do not understand is following here. Let $\varphi$ be a function in $\mathbb{C}^2$ and $L^2_{(p,q)}(\Omega,…
1
vote
1 answer

Levi-pseudoconvex domain that is not convex

Find an example of a bounded domain (open, connected set) $U$ with smooth boundary $\partial U$ that is not convex but is Levi-pseudoconvex and hence show that your claim is true. My attempt: I thought I should pick a domain of holomorphy in…
1
vote
0 answers

Rational Singularities in dimenson 2 or highter and square integrability

I was wondering if there are any results available on square integrability of quotients of polynomials $P(z_1,z_2,\ldots,z_n)$ and $Q(z_1,z_2,\ldots,z_n)$ like $$\int_{\mathbb{T}^n} \left|\frac{P(z_1,z_2,\ldots,z_2)}{Q(z_1,\ldots,z_n)}\right|^2dz_1…
1
vote
2 answers

Continuous functions on the torus.

If $\varphi:\mathbb T^{2}\rightarrow\mathbb C$ is a continuous function of two variables on the torus, then the range of $\varphi$ is always a closed curve?
1
vote
0 answers

Understanding Hartogs' Extension Theorem on Poles in Several Complex Variables

I'm not studying several complex variables, but I may need to use some elementary results from the subject—particularly those regarding singularities. I know Hartogs' Extensions Theorem boils down to: "isolated singularities of holomorphic functions…
MCS
  • 2,209
1
vote
0 answers

On Several Complex variables

On R. Michael range, Holomorphic Functions and Integral Representations in several Complex Variables there is a problem saying that: Let $D\subset \mathbb{C}^n$ be connected and suppose $f:D\times D\rightarrow \mathbb{C}$ is holomorphic in the $2n$…
JYM
  • 119
1
vote
0 answers

Analytic variety

Let $\Omega$ be a convex domain in $\mathbb{C^{n}}$ , $\Delta$ be unit disk in $\mathbb{C}$ and f: $\Delta \rightarrow b\Omega $ be a non-constant holomorphic map.Then the convex hull of f($\Delta$) is an affine analytic variety contained in…