[论文解读] 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

一句话总结

本文更正了 Harvey 和 Lawson 所著《Analytic Varieties 的边界》中定理 10.4 的一个错误陈述，澄清该定理实际针对的是具有有限个内蕴奇点的解析簇，而非孤立奇点。本文证明：在 $$\mathbb{C}^n$$ 中，对于严格强伪凸边界，存在一个从正规 Stein 空间到 $$\mathbb{C}^n$$ 的全纯浸入，其具有 $$C^k$$ 边界正则性且仅有有限个内蕴奇点，从而解决了 Luk-Yau 与 Yau 之前工作中存在的不一致之处。

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 中的边界正则性与已知例子一致，包括 [HL] 中的例 9.1，后者在边界处表现出交叉奇点。
• 证明 [LY] 中未被证明的定理可从 [HL] 直接推出，且更正 [Y] 中的疏漏——后者忽略了自交浸入的可能性。
• 通过全纯浸入与正规化，提供定理 10.4 的更正且等价的表述，确保其与解析簇边界的全局刻画一致。
• 验证定理 10.4 的更正版本在 Yau 与 Lempert 后续工作中的适用性，表明其论证在更正后依然成立。

提出的方法

• 基于内蕴奇点被定义为边界点处局部不可约分支的奇点这一定义，通过将定理 10.4 中的‘孤立’替换为‘内蕴’奇点，对定理 10.4 进行修正。
• 构造一个紧致正规 Stein 空间 $$\overline{X} = X \cup \partial X$$，其中 $$X$$ 具有有限个奇点，使得 $$\rho: \overline{X} \to \mathbb{C}^n$$ 在 $$X$$ 上全纯，且在边界处具有 $$C^k$$ 正则性。
• 使用正规化 $$\rho_0: \widetilde{V} \to V$$，并将局部块 $$W \amalg \widetilde{V_1} \amalg \cdots \amalg \widetilde{V_m}$$ 粘合形成 $$X$$，确保 $$\rho$$ 在有限集外为浸入。
• 利用 [G] 中的结论，基于 $$\partial X$$ 的严格强伪凸性，推导出 $$X$$ 的 Stein 性质，从而保证全纯函数的存在性，并验证 [L] 中的论证。
• 当 $$V$$ 为超曲面时，利用孤立超曲面奇点为正规的性质，证明 $$\rho$$ 是局部全纯嵌入。
• 通过线性变量替换，证明 [LY] 中的例子与 [HL] 中的例 9.1 等价，从而证明其早已为人所知，且不构成对边界正则性的反例。

实验结果

研究问题

• RQ1 为何 [HL] 中定理 10.4 的原始陈述错误地声称‘孤立’奇点？这一错误陈述如何影响其解释？
• RQ2 考虑到 [LY] 中的例子表现出自交与交叉奇点，如何将其与定理 10.4 的边界正则性结果相协调？
• RQ3 为何在边界正则解析簇的语境下，‘内蕴奇点’一词比‘孤立奇点’更为恰当？
• RQ4 更正后的定理 10.4 如何确保其在 [Y] 与 [L] 中的应用有效性，特别是其在证明中对定理 10.4 的使用？
• RQ5 正规化与 Stein 空间 $$X$$ 的构造在解决奇点与确保 $$C^k$$ 边界正则性方面起到何种作用？

主要发现

• 定理 10.4 的原始陈述错误地使用了‘孤立’奇点；正确术语应为‘内蕴’奇点，其定义为边界点处局部不可约分支的奇点。
• [LY] 中的例子与 [HL] 中的例 9.1 在线性变量替换下完全等价，因此不与定理 10.4 的边界正则性相矛盾。
• 更正后的定理 10.4 确保边界正则解析簇 $$V$$ 可具有有限个内蕴奇点，且 $$\overline{V}$$ 的奇点集为紧致且零维。
• 定理 10.4′ 中构造的映射 $$\rho: \overline{X} \to \mathbb{C}^n$$ 在有限集外为全纯浸入，且 $$\rho$$ 将 $$\partial X$$ 微分同胚映射到 $$M$$，同时满足 $$\rho(\overline{X}) = \overline{V}$$。
• 依赖于定理 10.4 的 [L] 中论证依然有效，因为更正后的版本确保 $$V - W$$ 不与 $$M$$ 的邻域相交，从而排除了边界附近的奇点。
• [LY] 中未被证明的定理可直接从 [HL] 推出，因为严格强伪凸边界的存在性意味着存在子簇 $$Z$$ 满足 $$d[Z] = [N]$$，由唯一性可推出 $$V - W = Z$$。