Condition R and holomorphic mappings of domains with generic corners (Q485993): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1209.0325 / rank | |||
Normal rank |
Revision as of 15:25, 18 April 2024
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