An application of a Diederich-Ohsawa theorem in characterizing some Hartogs domains (Q888459)

The authors write \(D_p\) for the Hartogs domain of all \((z, \zeta) \in \mathbb{C}^n \times \mathbb{C}^m\) satisfying \(\| \zeta\| ^2 < p(z)\). They write \(D_{n,m}\) for the Fock-Bargmann-Hartogs domain of all \((z, \zeta) \in \mathbb{C}^n \times \mathbb{C}^m\) satisfying \(\| \zeta\| ^2 < e^{-\mu\| z\| ^2}\), \(\mu > 0\). The automorphism group Aut\((D_{n,m})\) is generated by the following mappings: \[ \phi_U : (z, \zeta) \mapsto (Uz, \zeta),\quad U \in U(n), \] \[ \phi_{U'} : (z, \zeta) \mapsto (z, U'\zeta),\quad U' \in U(m), \] \[ \phi_v : (z, \zeta) \mapsto (z-v, e^{\mu<z,v>-\frac{\mu}{2}\| v\| ^2}\zeta),\quad v \in \mathbb{C}^n. \] The authors prove in Theorem 3.4 that up to a constant multiple of \(p\), the Fock-Bargmann-Hartogs domain is the unique Hartogs domain \(D_p\) whose automorphism group Aut\((D_p)\) contains \(\{ \phi_v \}_{v \in \mathbb{C}^n}\). Let \(\mathcal{D}\) be an irreducible bounded symmetric domain in \(\mathbb{C}^n\) and \(N\) its generic norm. The authors write \(\Omega_N^{\mathcal{D}}\) for the Cartan-Hartogs domain of all \((z, \zeta) \in \mathcal{D} \times \mathbb{C}^m\) satisfying \(\| \zeta\| ^2 < N(z,z)^\mu\), \(\mu > 0\), and they write \(D_\mu\) for the Thullen domain of all \((z, \zeta) \in \mathcal{D} \times \mathbb{C}\) satisfying \(\| z|^2 + |\zeta|^{2/\mu} < 1\). The Cartan-Hartogs domains include the Thullen domains as a special case. The authors prove in Theorem 4.1 that the automorphism group of the Cartan-Hartogs domain is generated by the mappings \(\Phi\) of the form \[ \Phi(z, \zeta) = \big(\Phi_1(z, \zeta), \Phi_2(z, \zeta)\big),\quad\text{for }(z, \zeta) \in \Omega_N^{\mathcal{D}}, \] where \(\Phi_1(z, \zeta) = \phi(z) \in \text{Aut}(\mathcal{D})\) and \[ \Phi_2(z, \zeta) = U \cdot \frac{N(z_0, z_0)^{\frac{\mu}{2}}}{N(z, z_0)^\mu} \cdot \zeta, \quad z_0= \phi^{-1}(0),\quad U \in U(m). \] The authors prove in Theorem 4.3 that the Cartan-Hartogs domain is the unique Hartogs domain \(D_q\) whose automorphism group contains the mapping \(\Phi\). Let \(r\) be an admissible weight on \(\mathbb{D}\). The authors write \(D_r\) for the domain of all \((z, \zeta) \in \mathcal{D} \times \mathbb{C}\) satisfying \(|\zeta|^{2/\mu} < r(z)\). Define \(\phi_a\) by \[ \phi_a : D_r \rightarrow \mathbb{C}^2,\quad (z, \zeta) \mapsto \left( \frac{z-a}{1-\bar{a}z}, \frac{(1-|a|^2)^{\frac{\mu}{2}}}{(1-\bar{a}z)^\mu}\zeta \right), \] where \(a \in \mathbb{D}\). The authors prove in Corollary 1 that the Thullen domain is the unique Hartogs domain \(D_r\) whose automorphism group contains \(\{ \phi_a \}_{a \in \mathbb{D}}\).