[论文解读] Flattening of CR singular points and analyticity of local hull of holomorphy

Jimmy Xiangji Huang, Wanke Yin|arXiv (Cornell University)|Oct 18, 2012

Holomorphic and Operator Theory参考文献 18被引用 5

一句话总结

本文確立了在非退化CR奇点附近，$ \mathbb{C}^{n+1} $ 中的实解析CR奇点子流形可进行全纯平坦化的條件，證明了當且僅當Bishop不變量滿足某些非例外條件時，局部全純包為實解析。關鍵結果表明，當最後一個Bishop不變量 $ \lambda_n \neq 1/2 $ 時，平坦化映射的形式冪級數必須恆為零，從而暗示全純包的收斂性與解析性。

ABSTRACT

A primary goal in this paper is to study the question that asks when a real analytic submanifold $M$ in ${\mathbb{C}}^{n+1}$ bounds a real analytic (up to $M$) Levi-flat hypersurface $\hat{M}$ near $p\in M$ such that $\hat{M}$ is foliated by a family of complex hypersurfaces moving along the normal direction of $M$ at $p$, and gives the invariant local hull of holomorphy of $M$ near $p$. This question is equivalent to the holomorphic flattening problem for $M$ near $p$. We will give an affirmative answer to above question when $p$ is a real complex tangent point with at least one elliptic direction (positively curved direction). We also obtain a formal flattening theorem under the assumption of one non-parabolic direction.

研究动机与目标

• 確定$ \mathbb{C}^{n+1} $ 中實解析CR奇點子流形在何種條件下可於非退化CR奇點附近包覆一個由複超曲面纏繞的Levi平坦超曲面。
• 解決codimension-two實解析子流形在非退化CR奇點附近的全純平坦化問題。
• 確立局部全純包為實解析的條件，並將其與Bishop不變量的非例外性聯繫起來。
• 證明當 $ \lambda_n \neq 1/2 $ 時，形式平坦化意味著收斂，從而確保全純包的解析性。

提出的方法

• 使用將CR奇點子流形在原點附近平坦化的雙全純變換的形式冪級數展開。
• 應用規範化條件，簡化 $M$ 的定義方程在 $z_j, \bar{z}_j, w, \bar{w}$ 變量下的泰勒展開。
• 利用圖像 $M$ 位於 $\mathbb{C}^n \times \mathbb{R}$ 的條件，推導平坦化映射係數的遞推方程組。
• 透過齊次性與對稱性分析係數方程的結構，特別關注變量中總次數為3與4的項。
• 運用複共軛與實性條件，減少獨立係數數量，進而得到未知數 $H_{[tshr]}$ 的線性方程組。
• 利用行列式計算與涉及 $\xi = e^{i\theta}$ 及 $\theta \neq 0$ 的代數恆等式，證明在非例外條件 $\lambda_n \neq 1/2$ 下，所有係數必為零。

实验结果

研究问题

• RQ1 在何種條件下，$ \mathbb{C}^{n+1} $ 中的實解析CR奇點子流形可在非退化CR奇點附近實現全純平坦化？
• RQ2 此類子流形的局部全純包在何種情況下為實解析？
• RQ3 Bishop不變量如何影響形式平坦化映射的收斂性？
• RQ4 Bishop不變量 $\lambda_n$ 的非例外性在確保全純包解析性方面扮演何種角色？
• RQ5 當 $\lambda_n \neq 1/2$ 時，能否證明形式平坦化過程收斂？

主要发现

• 若 $\lambda_n \neq 1/2$，則平坦化映射的所有係數 $H_{[tshr]}$ 恆為零，暗示映射收斂，因此子流形可全純平坦化。
• 條件 $\lambda_n \neq 1/2$ 確保二次方程 $\lambda\nu^2 - \nu + \lambda = 0$ 無單位根，此為避免共振並確保收斂的關鍵。
• 在 $\theta \neq 0$ 條件下，由恆等式 $2H_{[2010]} - 2\xi H_{[1020]} = 0$ 及實性條件，可推得 $H_{[2010]}$ 恆為零。
• 在 $\theta \neq 0$ 時，由 $-2\theta^2 H_{[2001]} = 0$ 可推得 $H_{[2001]}$ 恆為零，即 $\lambda_n \neq 1/2$。
• 所有高階係數 $H_{[tshr]}$（其中 $s,h \leq 1$）因規範化與實性約束而恆為零，進而導致 $H \equiv 0$。
• 結論 $H \equiv 0$ 表明平坦化映射的形式冪級數終止，從而證明局部全純包的收斂性與解析性。