Condition R and holomorphic mappings of domains with generic corners (Q485993): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
We say that a domain \(D\subset\mathbb C^n\) satisfies \textit{Condition R} if the orthogonal Hilbert space projection \(P:L^2(D)\longrightarrow L^2(D)\cap\mathcal O(D)\) is such that \(P(L^2(D)\cap\mathcal C^\infty(\overline D))\subset\mathcal C^\infty(\overline D)\). We say that a bounded domain \(\varOmega\subset\mathbb C^n\) is \textit{a domain with generic corners} if \(\varOmega=\bigcup_{j=1}^N\varOmega_j\), where \(\varOmega_1,\dots,\varOmega_N\) are smooth domains, the intersection \(\partial\varOmega_j\) and \(\partial\varOmega_k\) is transversal for all \(j\neq k\), and for each set \(S\subset\{1,\dots,N\}\), if \(B_S:=\bigcap_{j\in S}\partial\varOmega_j\neq\emptyset\), then \(B_S\) is a CR-manifold of dimension \(n-\# S\). Assume that \(D\subset\mathbb C^n\) is a pseudoconvex domain with generic corners which satisfies Condition R. The following two theorems are the main results of the paper. {\parindent=6mm \begin{itemize}\item[(1)] For any biholomorphic mapping \(f:D\longrightarrow G\) the following conditions are equivalent: \end{itemize}}{\parindent=12mm \begin{itemize}\item[(i)] \(f\) extends to a \(\mathcal C^\infty\)-diffeomorphism \(\overline D\longrightarrow\overline G\); \item[(ii)] \(G\) is a domain with generic corners and satisfies Condition R. \end{itemize}}{\parindent=6mm \begin{itemize}\item[(2)] Let \(G\subset\mathbb C^n\) is a bounded domain of the form \(G=G_1\times\dots\times G_k\), where \(G_1,\dots, G_k\) are smooth. Then every proper holomorphic mapping \(f:D\longrightarrow G\) extends continuously to \(\overline D\) in such a way that the extension is \(\mathcal C^\infty\)-smooth on \(\partial D^{\text{reg}}:=\{z\in\partial D:\) there exists at most one \(j\in\{1,\dots,N\}\) with \(z\in\partial\varOmega_j\}\). \end{itemize}} | |||
Property / review text: We say that a domain \(D\subset\mathbb C^n\) satisfies \textit{Condition R} if the orthogonal Hilbert space projection \(P:L^2(D)\longrightarrow L^2(D)\cap\mathcal O(D)\) is such that \(P(L^2(D)\cap\mathcal C^\infty(\overline D))\subset\mathcal C^\infty(\overline D)\). We say that a bounded domain \(\varOmega\subset\mathbb C^n\) is \textit{a domain with generic corners} if \(\varOmega=\bigcup_{j=1}^N\varOmega_j\), where \(\varOmega_1,\dots,\varOmega_N\) are smooth domains, the intersection \(\partial\varOmega_j\) and \(\partial\varOmega_k\) is transversal for all \(j\neq k\), and for each set \(S\subset\{1,\dots,N\}\), if \(B_S:=\bigcap_{j\in S}\partial\varOmega_j\neq\emptyset\), then \(B_S\) is a CR-manifold of dimension \(n-\# S\). Assume that \(D\subset\mathbb C^n\) is a pseudoconvex domain with generic corners which satisfies Condition R. The following two theorems are the main results of the paper. {\parindent=6mm \begin{itemize}\item[(1)] For any biholomorphic mapping \(f:D\longrightarrow G\) the following conditions are equivalent: \end{itemize}}{\parindent=12mm \begin{itemize}\item[(i)] \(f\) extends to a \(\mathcal C^\infty\)-diffeomorphism \(\overline D\longrightarrow\overline G\); \item[(ii)] \(G\) is a domain with generic corners and satisfies Condition R. \end{itemize}}{\parindent=6mm \begin{itemize}\item[(2)] Let \(G\subset\mathbb C^n\) is a bounded domain of the form \(G=G_1\times\dots\times G_k\), where \(G_1,\dots, G_k\) are smooth. Then every proper holomorphic mapping \(f:D\longrightarrow G\) extends continuously to \(\overline D\) in such a way that the extension is \(\mathcal C^\infty\)-smooth on \(\partial D^{\text{reg}}:=\{z\in\partial D:\) there exists at most one \(j\in\{1,\dots,N\}\) with \(z\in\partial\varOmega_j\}\). \end{itemize}} / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marek Jarnicki / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32H40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6386417 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pseudoconvex domain with generic corners | |||
Property / zbMATH Keywords: pseudoconvex domain with generic corners / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
biholomorphic mappings | |||
Property / zbMATH Keywords: biholomorphic mappings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
proper holomorphic mappings | |||
Property / zbMATH Keywords: proper holomorphic mappings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
extension to the boundary | |||
Property / zbMATH Keywords: extension to the boundary / rank | |||
Normal rank |
Revision as of 21:31, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Condition R and holomorphic mappings of domains with generic corners |
scientific article |
Statements
Condition R and holomorphic mappings of domains with generic corners (English)
0 references
14 January 2015
0 references
We say that a domain \(D\subset\mathbb C^n\) satisfies \textit{Condition R} if the orthogonal Hilbert space projection \(P:L^2(D)\longrightarrow L^2(D)\cap\mathcal O(D)\) is such that \(P(L^2(D)\cap\mathcal C^\infty(\overline D))\subset\mathcal C^\infty(\overline D)\). We say that a bounded domain \(\varOmega\subset\mathbb C^n\) is \textit{a domain with generic corners} if \(\varOmega=\bigcup_{j=1}^N\varOmega_j\), where \(\varOmega_1,\dots,\varOmega_N\) are smooth domains, the intersection \(\partial\varOmega_j\) and \(\partial\varOmega_k\) is transversal for all \(j\neq k\), and for each set \(S\subset\{1,\dots,N\}\), if \(B_S:=\bigcap_{j\in S}\partial\varOmega_j\neq\emptyset\), then \(B_S\) is a CR-manifold of dimension \(n-\# S\). Assume that \(D\subset\mathbb C^n\) is a pseudoconvex domain with generic corners which satisfies Condition R. The following two theorems are the main results of the paper. {\parindent=6mm \begin{itemize}\item[(1)] For any biholomorphic mapping \(f:D\longrightarrow G\) the following conditions are equivalent: \end{itemize}}{\parindent=12mm \begin{itemize}\item[(i)] \(f\) extends to a \(\mathcal C^\infty\)-diffeomorphism \(\overline D\longrightarrow\overline G\); \item[(ii)] \(G\) is a domain with generic corners and satisfies Condition R. \end{itemize}}{\parindent=6mm \begin{itemize}\item[(2)] Let \(G\subset\mathbb C^n\) is a bounded domain of the form \(G=G_1\times\dots\times G_k\), where \(G_1,\dots, G_k\) are smooth. Then every proper holomorphic mapping \(f:D\longrightarrow G\) extends continuously to \(\overline D\) in such a way that the extension is \(\mathcal C^\infty\)-smooth on \(\partial D^{\text{reg}}:=\{z\in\partial D:\) there exists at most one \(j\in\{1,\dots,N\}\) with \(z\in\partial\varOmega_j\}\). \end{itemize}}
0 references
pseudoconvex domain with generic corners
0 references
biholomorphic mappings
0 references
proper holomorphic mappings
0 references
extension to the boundary
0 references