MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $Q=[0,\infty)\times [0,\infty)\subset \mathbb C$ and $f: Q\times Q\to Q\times Q$ be a diffeomorphism. such that $f$ is holomorphic in the interior of $Q\times Q$. Can we extend this map analytically across the boundary.

Motivation: We have following proposition:

Let $U$ and $V$ are open subsets of $\mathbb R^n_k=[0,\infty)^k\times \mathbb R^{n-k}$ and $f:U\to V$ be diffeomorphism, then

(a). $x\notin \partial U \Leftrightarrow f(x)\notin \partial V$

(b). $f|Int(U)$, and $f|\partial U$ are diffeomorphism.

This proposition gives: If $f:Q\to Q$ is diffeomorphism and holomorphic in the interior. Then either

1- $f$ maps Y-axis to Y-axis and X-axis to X-axis origin goes to origin. OR

2-$f$ maps X-axis to Y-axis and Y-axis to X-axis origin goes to origin.

And using Schwarz reflection principle we have extension in both case. So for $f: Q\to Q$ we have extension across the boundary. I have doubt for $f:Q\times Q\to Q\times Q$.

share|cite|improve this question
up vote 2 down vote accepted

Not only $f$ admits an analytic continuation across boundary, in fact, $f$ is the restriction of a linear transformation. Indeed, the interior of $Q\times Q$ is the 2-dimensional polydisk (more precisely, it is biholomorphic to the standard polydisk by a product map). Biholomorhic automorphisms of polydisks are compositions of permutations of components and products of conformal automorphisms of factors (first proven by Poincare and could be found in any textbook on several CVs). Therefore, by composing $f$ with permutation of coordinates if necessary, $f$ is the product map $(f_1, f_2)$, where $f_k: Q\to Q, k=1,2$. Since you are assuming that $f$ is smooth on the boundary, each $f_k$ fixes points $0, \infty$ on the boundary of $Q$. Hence, each $f_k$ is a dilation and, thus, $f$ is linear.

share|cite|improve this answer
thanks for the answer. – zapkm May 23 '12 at 16:03
This argument is valid for map(diffeomorphism and in interior holomorphic) $f: Q\times H\to Q\times H$ where $H$ is upper half plane... Nothing special about $Q$.. am i right? – zapkm May 23 '12 at 16:12
@Pradip: Yes, in the case of $Q\times H$ the conclusion will be that the map $f$ is affine (same proof). – Misha May 23 '12 at 17:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.