Positivity and completeness of invariant metrics (Q282813): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\Omega\) be an open set in \(\mathbb C^n\). For a boundary point \(p\in\partial\Omega\) a global holomorphic peak function for \(\Omega\) at \(p\) is defined to be a holomorphic function \(f\) on \(\Omega\) such that (i) \(\lim_{\Omega\ni z\to p}f(z)=1\), (ii) for every \(r>0\) there exists \(s>0\) such that \(|f(z)|<1-s\) for every \(z\in\Omega\setminus B(p,r)\). Here \(B(p,r)\) denotes the Euclidean ball in \(\mathbb C^n\) with center at \(p\) and radius \(r\). If a holomorphic function \(f\) is defined on an open neighborhood of the closure \(\overline{\Omega}\) in such a way that it is also a global holomorphic peak function for \(\Omega\) at \(p\), then \(f\) is called a global holomorphic support function of \(\Omega\) at \(p\). By a local holomorphic support function of \(\Omega\) at \(p\in\partial\Omega\) the authors mean a holomorphic function \(g\) defined in an open neighborhood \(V\) of \(p\) in \(\mathbb C^n\) such that \(g\) is a global holomorphic support function of \(V\cap\Omega\) at \(p\). The main technical theorem of the paper shows how to obtain a global holomorphic peak function from a local holomorphic support function. As an application, the authors establish the Carathéodory hyperbolicity (and thus positivity of the Kobayashi and the Berman metrics) of the Kohn-Nirenberg domains \[ \Omega_{\mathrm{HKN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\} \] and \[ \Omega_{\mathrm{KN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\}, \] the Fornæss domains \[ \Omega_{\mathrm{HF}}=\big\{(z,w)\in\mathbb C^2:\Re w+|z|^6+t|z|^2\Re z^4<0\big\} \] and \[ \Omega_{\mathrm{F}}=\big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^6+t|z|^2\Re z^4<0\big\}, \] where \(t\) is some constant with \(1<t<9/5\), and the \(WB\)-domains (weighted-bumped) \[ \Omega=\big\{z\in\mathbb C^n:\Re z_n+P(z')<0\big\}, \] where \(P\) is a real-valued, weighted-homogeneous polynomial in \(\mathbb C^{n-1}\) of weight \((m_1,\dots,m_{n-1})\), and \(\Omega\) is strongly pseudoconvex at every boundary point outside the set \(\partial\Omega\cap(\{0'\}\times i\mathbb R)\). Finally, the authors prove that the WB-domains are complete with respect to the Carathéodory metric, the Kobayashi metric, and the Bergman metric. | |||
Property / review text: Let \(\Omega\) be an open set in \(\mathbb C^n\). For a boundary point \(p\in\partial\Omega\) a global holomorphic peak function for \(\Omega\) at \(p\) is defined to be a holomorphic function \(f\) on \(\Omega\) such that (i) \(\lim_{\Omega\ni z\to p}f(z)=1\), (ii) for every \(r>0\) there exists \(s>0\) such that \(|f(z)|<1-s\) for every \(z\in\Omega\setminus B(p,r)\). Here \(B(p,r)\) denotes the Euclidean ball in \(\mathbb C^n\) with center at \(p\) and radius \(r\). If a holomorphic function \(f\) is defined on an open neighborhood of the closure \(\overline{\Omega}\) in such a way that it is also a global holomorphic peak function for \(\Omega\) at \(p\), then \(f\) is called a global holomorphic support function of \(\Omega\) at \(p\). By a local holomorphic support function of \(\Omega\) at \(p\in\partial\Omega\) the authors mean a holomorphic function \(g\) defined in an open neighborhood \(V\) of \(p\) in \(\mathbb C^n\) such that \(g\) is a global holomorphic support function of \(V\cap\Omega\) at \(p\). The main technical theorem of the paper shows how to obtain a global holomorphic peak function from a local holomorphic support function. As an application, the authors establish the Carathéodory hyperbolicity (and thus positivity of the Kobayashi and the Berman metrics) of the Kohn-Nirenberg domains \[ \Omega_{\mathrm{HKN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\} \] and \[ \Omega_{\mathrm{KN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\}, \] the Fornæss domains \[ \Omega_{\mathrm{HF}}=\big\{(z,w)\in\mathbb C^2:\Re w+|z|^6+t|z|^2\Re z^4<0\big\} \] and \[ \Omega_{\mathrm{F}}=\big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^6+t|z|^2\Re z^4<0\big\}, \] where \(t\) is some constant with \(1<t<9/5\), and the \(WB\)-domains (weighted-bumped) \[ \Omega=\big\{z\in\mathbb C^n:\Re z_n+P(z')<0\big\}, \] where \(P\) is a real-valued, weighted-homogeneous polynomial in \(\mathbb C^{n-1}\) of weight \((m_1,\dots,m_{n-1})\), and \(\Omega\) is strongly pseudoconvex at every boundary point outside the set \(\partial\Omega\cap(\{0'\}\times i\mathbb R)\). Finally, the authors prove that the WB-domains are complete with respect to the Carathéodory metric, the Kobayashi metric, and the Bergman metric. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Paweł Zapałowski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32A40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32F45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32T40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6579895 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
holomorphic peak functions | |||
Property / zbMATH Keywords: holomorphic peak functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
invariant metrics | |||
Property / zbMATH Keywords: invariant metrics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
unbounded domains | |||
Property / zbMATH Keywords: unbounded domains / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2036655828 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1411.2753 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A construction of peak functions on weakly pseudoconvex domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4759884 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Behavior of the Bergman kernel at infinity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Peak points on weakly pseudoconvex domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Construction of Peak Functions on Some Finite Type Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of complex domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On completeness of the Bergman metric and its subordinate metric / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On completeness of the Bergman metric and its subordinate metric. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inequality Between the Bergman Metric and Caratheodory Differential Metric / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On defining functions and cores for unbounded domains. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant metrics and peak functions on pseudoconvex domains of homogeneous finite diagonal type. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The growth of the bergman kernel on pseudoconvex domains of homogeneous finite diagonal type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995750 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A pseudo-convex domain not admitting a holomorphic support function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3254504 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4694613 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bergman completeness of unbounded hartogs Domains / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:01, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Positivity and completeness of invariant metrics |
scientific article |
Statements
Positivity and completeness of invariant metrics (English)
0 references
12 May 2016
0 references
Let \(\Omega\) be an open set in \(\mathbb C^n\). For a boundary point \(p\in\partial\Omega\) a global holomorphic peak function for \(\Omega\) at \(p\) is defined to be a holomorphic function \(f\) on \(\Omega\) such that (i) \(\lim_{\Omega\ni z\to p}f(z)=1\), (ii) for every \(r>0\) there exists \(s>0\) such that \(|f(z)|<1-s\) for every \(z\in\Omega\setminus B(p,r)\). Here \(B(p,r)\) denotes the Euclidean ball in \(\mathbb C^n\) with center at \(p\) and radius \(r\). If a holomorphic function \(f\) is defined on an open neighborhood of the closure \(\overline{\Omega}\) in such a way that it is also a global holomorphic peak function for \(\Omega\) at \(p\), then \(f\) is called a global holomorphic support function of \(\Omega\) at \(p\). By a local holomorphic support function of \(\Omega\) at \(p\in\partial\Omega\) the authors mean a holomorphic function \(g\) defined in an open neighborhood \(V\) of \(p\) in \(\mathbb C^n\) such that \(g\) is a global holomorphic support function of \(V\cap\Omega\) at \(p\). The main technical theorem of the paper shows how to obtain a global holomorphic peak function from a local holomorphic support function. As an application, the authors establish the Carathéodory hyperbolicity (and thus positivity of the Kobayashi and the Berman metrics) of the Kohn-Nirenberg domains \[ \Omega_{\mathrm{HKN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\} \] and \[ \Omega_{\mathrm{KN}}=\Big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^8+\frac{15}{7}|z|^2\Re z^6<0\Big\}, \] the Fornæss domains \[ \Omega_{\mathrm{HF}}=\big\{(z,w)\in\mathbb C^2:\Re w+|z|^6+t|z|^2\Re z^4<0\big\} \] and \[ \Omega_{\mathrm{F}}=\big\{(z,w)\in\mathbb C^2:\Re w+|zw|^2+|z|^6+t|z|^2\Re z^4<0\big\}, \] where \(t\) is some constant with \(1<t<9/5\), and the \(WB\)-domains (weighted-bumped) \[ \Omega=\big\{z\in\mathbb C^n:\Re z_n+P(z')<0\big\}, \] where \(P\) is a real-valued, weighted-homogeneous polynomial in \(\mathbb C^{n-1}\) of weight \((m_1,\dots,m_{n-1})\), and \(\Omega\) is strongly pseudoconvex at every boundary point outside the set \(\partial\Omega\cap(\{0'\}\times i\mathbb R)\). Finally, the authors prove that the WB-domains are complete with respect to the Carathéodory metric, the Kobayashi metric, and the Bergman metric.
0 references
holomorphic peak functions
0 references
invariant metrics
0 references
unbounded domains
0 references
0 references
0 references