[논문 리뷰] A normal form for a real 2-codimensional submanifold in $\mathbb{C}^{N+1}$ near a CR singularity

Valentin Burcea|arXiv (Cornell University)|2011. 10. 05.

Holomorphic and Operator Theory참고 문헌 17인용 수 6

한 줄 요약

이 논문은 $ℝ^{N+1}$ 근처의 CR 특이점에서 실수 2-코디멘셔널 부분다양체에 대한 공식적인 정규형을 수립하며, $ℝ^2$ 에서 Huang-Yin의 정규형을 고차원으로 일반화한다. 확장된 Moser 보조정리와 가중치 시스템을 사용한 Fischer 분해를 통해 형식적 Bi-홀로모르피즘 변환 하에서 정규형의 유일성을 증명하며, 비퇴화된 고차항 불변량을 가진 이러한 부분다양체의 국소 등가 문제를 해결한다.

ABSTRACT

We construct a formal normal form for a real 2-codimensional submanifold $M\subset\mathbb{C}^{N+1}$ near a CR singularity approximating the sphere. This result gives a higher dimensional extension of Huang-Yin's normal form in $\mathbb{C}^{2}$.

연구 동기 및 목표

• CR 특이점 근처의 2-코디멘셔널 실수 부분다양체에 대해 $ℝ^2$ 에서 Huang-Yin의 정규형을 $ℝ^{N+1}$ 의 고차원 복소공간으로 일반화하는 것.
• 이러한 부분다양체의 국소 등가 문제를 유일한 형식적 정규형을 구성함으로써 해결하는 것.
• 정의식에 등장하는 헬로모르픽 항의 비영인 최소 차수 $s$ 를 이용해 Moser의 불변량을 고차원으로 일반화하는 것.
• 이중 정규화 과정을 통해 자유 매개변수를 제거함으로써 정규형의 유일성을 확립하는 것.

제안 방법

• 이중화된 Bi-동차 항의 반복적 투영을 제거하기 위해 확장된 Moser 보조정리를 적용하여 정의식을 부분 정규형으로 줄이는 것.
• Fischer 분해를 사용하여 다항식을 조화 및 비조화 성분으로 분해함으로써 비필수 항을 시스템적으로 제거하는 것.
• Huang-Yin의 접근 방식을 모방한 가중치 체계를 도입하여, 일반화된 Moser 불변량 $s$ 와 $Δ(z)$ 의 차수에 따라 단항식에 가중치를 할당하는 것.
• 증가하는 차수까지 반복적인 정규화를 수행하며, 형식적 동형사상의 자유 매개변수 기여를 추적하는 것.
• 고차항의 구조를 제어하기 위해 추적 연산자 $\operatorname{tr} = \sum_{k=1}^N \partial^2 / \partial z_k \partial \overline{z}_k$ 를 사용하는 것.
• 특정 차수 항(예: $\varphi_{ts+1,0}$)에 대한 자유 매개변수의 기여가 항상 영이 되어야 하므로, 모든 자유 매개변수가 사라짐을 증명함으로써 유일성을 도출하는 것.

실험 결과

연구 질문

• RQ1 Huang-Yin의 $ℝ^2$ 에서의 정규형은 CR 특이점 근처의 2-코디멘셔널 부분다양체에 대해 $ℝ^{N+1}$ 의 고차원 복소공간으로 일반화될 수 있는가?
• RQ2 고차원에서 Moser의 불변량 $s$ 는 어떻게 일반화되며, 이는 정규형의 구조를 어떻게 제어하는가?
• RQ3 정규형 모델의 형식적 동형사상 군이 유지하는 무한차원 군 작용은 어떻게 축소되어 유일한 정규형을 얻을 수 있는가?
• RQ4 Fischer 분해는 고코디멘셔널 부분다양체의 정규화 과정에서 어떤 역할을 하는가?
• RQ5 정규형이 유일해지는 조건은 무엇이며, 이를 자유 매개변수의 가중치 분석을 통해 어떻게 증명할 수 있는가?

주요 결과

• 논문은 CR 특이점 근처의 $ℝ^{N+1}$ 내 실수 2-코디멘셔널 부분다양체에 대해 형식적 정규형을 구성하며, Huang-Yin의 결과를 $ℝ^2$ 에서 일반화한다.
• 일반화된 Moser 불변량 $s \geq 3$ 는 정의식에 등장하는 비영인 헬로모르픽 항 $\varphi_{k,0}(z)$ 의 최소 차수로 정의된다.
• 형식적 변환에서의 모든 자유 매개변수들이 사라지며, 이는 정규형이 정차 모델의 형식적 동형사상 군 작용 하에서 유일함을 증명한다.
• 정규형은 $w = \sum_{k=1}^N z_k\overline{z}_k + \Delta(z) + \overline{\Delta(z)} + \sum_{j \geq s} a_j z^j + \text{고차항}$ 으로 주어지며, $a_s = 1$ 이고 $j \equiv 0,1 \mod s$, $j > s$ 에서 $a_j = 0$ 이므로 정규화 조건이 확보된다.
• 증명은 차수 $\varphi'_{ts+1,0}(z) - \varphi_{ts+1,0}(z) = (1-s)^t \langle z,a \rangle \Delta^t(z)$ 의 차이가 자유 매개변수 $a = 0$ 이어야만 영이 되므로, 모든 비자명한 동형사상이 제거됨을 보여 이에 기반한다.
• 유일성은 가중치 분석과 고차항이 저차항에 영향을 주지 않는다는 사실을 이용한 차수에 대한 귀납법을 통해 확립된다.