1
$\begingroup$

So let $D\subseteq \mathbb{C}^n$ be a bounded connected open set with a transitive action of its group of biholomorphisms (which we denote by $Hol(D)$). Note that I'm not assuming that $D$ is symmetric. We thus have that $D$ is "homeomorphic" to $Hol(D)/K$ where $K=Stab(d_0)$ for some $d_0\in D$.

In the special case where $Hol(D)$ is a real Lie group and that $K$ is a maximal compact of $Hol(D)$ then by a theorem of Elie Cartan we have that $Hol(D)/K$ is homeomoprphic to $\mathbb{R}^m$ and thus contractible.

Under my assumptions:

(1) Is $Hol(D)$ always a Lie group?

(2) Is $K$ always a maximal compact?

(3) In general is $D$ always contractible (or simply connected)?

Improve this question
$\endgroup$
4
  • 3
    $\begingroup$ Dear Hugo -- re "is Hol(D) always a Lie group": no, take $D=\mathbb{C}^2$; it has automorphisms of the form $(x,y)\mapsto (x,y+f(x))$ where $f$ is any holomorphic function $\mathbb{C}\to\mathbb{C}$. $\endgroup$
    – algori
    Commented Sep 8, 2011 at 22:40
  • 3
    $\begingroup$ Maybe I am missing something: isn't $D=\mathbb{C}^\times$ an example where $D$ is not contractible? $\endgroup$
    – M P
    Commented Sep 8, 2011 at 22:40
  • $\begingroup$ Yes you are right $\mathbb{C}^{\times}$ is a counter-example, so I'll redit my question $\endgroup$
    – Hugo Chapdelaine
    Commented Sep 8, 2011 at 23:09
  • $\begingroup$ I forgot put that $D$ was bounded $\endgroup$
    – Hugo Chapdelaine
    Commented Sep 8, 2011 at 23:21

2 Answers 2

Reset to default
2
$\begingroup$

Re question 3: a bounded homogeneous domain is biholomorphic to a Siegel domain, which is contractible. See e.g. Siegel domain and references therein (those references probably answer question 2 as well). Another useful link is Homogeneous bounded domain.

upd: Another Google search gave the following references:

"Homogeneous Bounded Domains and Siegel Domains" by Soji Kaneyuki, Springer LNM 241.

"Theory of complex homogeneous bounded domains" by Yichao Xu, Mathematics and its applications 569.

Improve this answer
$\endgroup$
1
  • 2
    $\begingroup$ I fixed the links. $\endgroup$
    – George Lowther
    Commented Dec 2, 2011 at 1:28
2
$\begingroup$

It is a theorem of H. Cartan that $Hol(D)$ for any bounded such $D\subset \mathbb C^n$ is a finite dimensional real Lie group. See for example chapter 9 of "Several complex variables" by R. Narasimhan.

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .