[論文レビュー] Addendum to Theorem 10.4 in "Boundaries of Analytic Varieties"

F. Reese Harvey, H. Blaine Lawson|arXiv (Cornell University)|Feb 23, 2000

Point processes and geometric inequalities参考文献 5被引用数 12

ひとこと要約

この論文は、ハーヴェイとローワンの『解析的多様体の境界』における定理10.4の誤った記述を是正し、同定理が『孤立した』特異点ではなく『内在的』特異点を扱うものであることを明確にしている。$ℝ^n$ 内の厳密に擬強凸境界に対して、$C^k$ 境界正則性と有限個の内在的特異点を持つ、正規スタイン多様体から $ℝ^n$ への正則埋め込みが存在することを示しており、ルー＝ヨウおよびヨウの先行研究における矛盾を解消する。

ABSTRACT

The main result of [HL] (Annals of Math. 102 (1975), 223--290) gives a characterization of the boundaries of complex subvarieties in C^n. An application of this result concerning pseudoconvexity, namely Theorem 10.4 in [HL], is amplified.

研究の動機と目的

• 『[HL]』の定理10.4における誤った記述を是正すること。ここでは『孤立した』特異点が誤って使われており、正しくは『内在的』特異点であるべきである。
• 定理10.4における境界正則性が、例9.1（[HL]）に示される境界における交差特異点を含む既知の例と整合することを明確にすること。
• 『[LY]』に未証明の定理が存在するが、これは『[HL]』から自明に導かれるものであり、『[Y]』における自己交差を伴う埋め込みの可能性を無視した見落としを是正すること。
• 正則埋め込みと正規化を用いた、定理10.4の修正・同値な再定式化を提示し、解析的多様体の境界のグローバルな特徴づけと整合性を保つこと。
• ヨウおよびレムパートの後続研究における定理10.4の適用可能性を検証し、修正版が有効であることを示すこと。

提案手法

• 内在的特異点を境界点における局所的既約成分の特異点として定義し、定理10.4において『孤立した』を『内在的』に置き換えることにより、定理を修正する。
• $X$ が有限個の特異点を持つ正規スタイン多様体であり、$ℝ^n$ への正則写像 $ρ: \overline{X} \to \mathbb{C}^n$ が $X$ 上で正則で、境界まで $C^k$ であるようなコンパクトな正規スタイン多様体 $\overline{X} = X \cup \partial X$ を構成する。
• 正規化 $\rho_0: \widetilde{V} \to V$ を用い、局所的領域 $W \amalg \widetilde{V_1} \amalg \cdots \amalg \widetilde{V_m}$ を貼り合わせて $X$ を構成し、$\rho$ が有限集合の外では浸漬（immersion）であることを保証する。
• 境界 $\partial X$ の厳密擬強凸性から導かれるスタイン性 [G] を用い、$X$ がスタイン多様体であることから正則関数の存在が保証され、[L] の議論が正当化されることを示す。
• 特異点が局所的既約成分の特異点である場合、$V$ が超曲面であれば、$\rho$ は局所的に正則埋め込みであることを示す。これは、孤立した超曲面特異点が正則であるという事実に基づく。
• 『[LY]』の例が線形座標変換の下で『[HL]』の例9.1と同一であることを示し、境界正則性に対する反例ではないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 『[HL]』における定理10.4の元の記述がなぜ『孤立した』特異点と誤って記載されたのか。この誤記は、定理の解釈にどのように影響を及えるのか。
• RQ2 自己交差や交差特異点を示す『[LY]』の例は、定理10.4の境界正則性結果とどのように調和させられるのか。
• RQ3 境界正則な解析的多様体の文脈において、なぜ『内在的特異点』という用語が『孤立特異点』よりも適切なのか。
• RQ4 修正版の定理10.4が、『[Y]』および『[L]』における応用の有効性をどのように保証するのか。特に、証明における定理10.4の使用が、修正版によっても有効であることを示すこと。
• RQ5 正規化とスタイン多様体 $X$ の構成が、特異点の解消と $C^k$ 境界正則性の確保に果たす役割は何か。

主な発見

• 定理10.4の元の記述では『孤立した』特異点が誤って使われていた。正しくは、境界点における局所的既約成分の特異点として定義される『内在的』特異点である。
• 『[LY]』の例は線形座標変換の下で『[HL]』の例9.1と同一であり、したがって定理10.4の境界正則性に反するものではない。
• 修正された定理10.4により、境界正則多様体 $V$ は有限個の内在的特異点を持つことができ、$ρ\overline{V}$ の特異点集合はコンパクトで、次元0である。
• 定理10.4' で構成された写像 $\rho: \overline{X} \to \mathbb{C}^n$ は、有限集合の外では正則浸漬であり、$\rho$ は $\partial X$ を $M$ に微分同相写像し、$\rho(\overline{X}) = \overline{V}$ を満たす。
• 『[L]』の議論が定理10.4に依存しているが、修正版により $V - W$ が $M$ の近傍を避けることが保証され、境界付近の特異点の存在が排除される。
• 『[LY]』に未証明の定理が存在するが、これは『[HL]』から自明に導かれる。厳密擬強凸境界の存在は、$d[Z] = [N]$ を満たす部分多様体 $Z$ の存在を示唆し、一意性から $V - W = Z$ が導かれる。