Abstract:In this paper, we prove that a spirallike circularlike domain is Kobayashi hyperbolic if and only if its core is empty. In particular, we show that such a domain is Kobayashi hyperbolic if and only if it is (biholomorphic to) a bounded domain. We also propose a problem in this area.
What problem does this paper attempt to address?
This paper aims to explore the sufficient and necessary conditions for certain specific types of domains (i.e., spiral - circular domains) to be Kobayashi hyperbolic. Specifically, the author proves that such a domain is Kobayashi hyperbolic if and only if its core is empty. In addition, they also show that such a domain is Kobayashi hyperbolic if and only if it is biholomorphically isomorphic to a bounded domain. The paper also raises a related question, that is, whether these properties still hold for circular and strictly spiral domains with globally asymptotically stable vector fields.
### Core problems solved in the paper:
1. **Determine the conditions for spiral - circular domains to be Kobayashi hyperbolic**: The main contribution of the paper is to prove that a spiral - circular domain \( D\subset\mathbb{C}^d\) is Kobayashi hyperbolic if and only if its core \(c(D)\) is empty.
2. **Explore the relationship between the core of the domain and its hyperbolicity**: By studying the core \(c(D)\) of the domain, the author reveals the profound connection between the geometric properties of the domain and its hyperbolicity.
3. **Propose questions for further research**: The author raises some unsolved questions in the paper, for example, whether there are similar conclusions for circular and strictly spiral domains with globally asymptotically stable vector fields.
### Main results:
- **Theorem 1.4**: Let \(D\subset\mathbb{C}^d\) be a domain that contains the origin and is spiral - circular with respect to a complete, globally asymptotically stable vector field \(V\in XO(\mathbb{C}^d)\), then the following conditions are equivalent:
- \(D\) is bounded.
- \(D\) is biholomorphically isomorphic to a bounded domain.
- \(D\) is Kobayashi hyperbolic.
- The core \(c(D)\) of \(D\) is empty.
- \(D\) is Carathéodory hyperbolic.
- **Corollary 1.5**: Let \(A\) be a Hurwitz matrix, \(D\) be a domain that contains the origin, and assume that \(e^{tA}z\in D\) and \(e^{isA}z\in D\) for all \(z\in D\), \(t\geq0\) and \(s\in(-\frac{\pi}{2},\frac{\pi}{2})\), then the following conditions are equivalent:
- \(D\) is bounded.
- \(D\) is biholomorphically isomorphic to a bounded domain.
- \(D\) is Kobayashi hyperbolic.
- The core \(c(D)\) of \(D\) is empty.
- \(D\) is Carathéodory hyperbolic.
### Technical results:
- **Result 2.1**: The core \(c(M)\) of a complex manifold \(M\) is empty if and only if there exists a bounded smooth strictly plurisubharmonic function on \(M\).
- **Result 2.2**: If there exists a bounded continuous strictly plurisubharmonic function on a complex manifold \(M\), then \(M\) is Kobayashi hyperbolic.
- **Result 2.3**: Let \(V\in XO(\mathbb{C}^n)\) be a complete, globally asymptotically stable vector field, and \(\Omega\) be a spiral domain with respect to \(V\) that contains the origin. Then for each compact set \(K\subset\mathbb{C}^n\), there exists a real number \(M_K > 0\) such that \(X(t,z)\in\Omega\) for all \(t > M_K\) and \(z\in K\).
Through these technical results, the author proves the main theorems and provides a basis for further research.