[논문 리뷰] Flattening of CR singular points and analyticity of local hull of holomorphy

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

Holomorphic and Operator Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 복소수 공간 $\mathbb{C}^{n+1}$ 내의 실해석적 CR 특이 다양체가 비퇴화된 CR 특이점 근처에서 해석적으로 평탄화될 수 있는 조건을 규명한다. 지역 해석적 완전화의 해석성이 성립함과 동시에 비제외 조건을 만족하는 비숍 불변량이 성립함을 증명한다. 주요 결과는 마지막 비숍 불변량 $\lambda_n \neq 1/2$일 경우, 평탄화 사상의 형식적 급수 전개가 식별적으로 0이 되며, 이는 수렴성과 해석성의 존재를 의미한다.

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 특이점 근처에서 코디멘션 2인 실해석적 다양체에 대한 해석적 평탄화 문제를 해결하는 것.
• 지역 해석적 완전화가 실해석적임을 보장하는 조건을 규명하고, 이를 비숍 불변량의 비제외성과 연결하는 것.
• 형식적 평탄화가 $\lambda_n \neq 1/2$일 경우 수렴함을 증명하여 해석적 완전화의 해석성을 보장하는 것.

제안 방법

• 원점 근처에서 CR 특이 다양체를 평탄화하는 동치변환의 형식적 급수 전개를 사용한다.
• 정의식의 타일러 전개를 $z_j, \bar{z}_j, w, \bar{w}$ 에 대해 단순화하기 위해 정규화 조건을 적용한다.
• 이미지가 $\mathbb{C}^n \times \mathbb{R}$ 에 포함된 조건을 이용해 평탄화 사상의 계수에 대한 재귀적 방정식계를 유도한다.
• 특히 변수의 총 차수 3 및 4 항에 대해 동차성과 대칭성을 분석함으로써 계수 방정식의 구조를 분석한다.
• 복소수 켤라위와 실수 조건을 활용하여 독립 계수의 수를 줄이고, 미지수 $H_{[tshr]}$ 에 대한 선형방정식계를 도출한다.
• 행렬식 계산과 $\xi = e^{i\theta}$, $\theta \neq 0$ 를 포함한 대수적 항등식을 사용하여, 비제외 조건 $\lambda_n \neq 1/2$ 하에서 모든 계수가 0이 되어야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 복소수 공간 $\mathbb{C}^{n+1}$ 내 실해석적 CR 특이 다양체가 비퇴화된 CR 특이점 근처에서 언제 해석적으로 평탄화될 수 있는가?
• RQ2 이러한 다양체의 지역 해석적 완전화가 언제 실해석적일 수 있는가?
• RQ3 비숍 불변량은 형식적 평탄화 사상의 수렴성에 어떻게 영향을 미치는가?
• RQ4 비숍 불변량 $\lambda_n$ 의 비제외성은 완전화의 해석성 확보에 어떤 역할을 하는가?
• RQ5 형식적 평탄화 과정이 $\lambda_n \neq 1/2$ 일 경우 수렴함을 보일 수 있는가?

주요 결과

• $\lambda_n \neq 1/2$ 이면 평탄화 사상의 모든 계수 $H_{[tshr]}$ 가 식별적으로 0이 되며, 이는 사상이 수렴함을 의미하고 따라서 다양체가 해석적으로 평탄화 가능하다는 것을 의미한다.
• $\lambda_n \neq 1/2$ 조건은 $\lambda\nu^2 - \nu + \lambda = 0$ 이 단위근을 갖지 않음을 보장하며, 이는 공진을 피하고 수렴성을 확보하는 데 필수적이다.
• $\theta \neq 0$ 조건 하에서 항등식 $2H_{[2010]} - 2\xi H_{[1020]} = 0$ 과 실수 조건을 이용해 $H_{[2010]}$ 이 0임을 유도한다.
• $\theta \neq 0$ 일 때 $-2\theta^2 H_{[2001]} = 0$ 이 성립하므로 $H_{[2001]}$ 이 0임을 유추할 수 있다.
• 정규화 및 실수 조건에 의해 $s,h \leq 1$ 인 모든 고차항 계수 $H_{[tshr]}$ 가 0이 되며, 이에 따라 $H \equiv 0$ 이다.
• $H \equiv 0$ 이라는 결론은 평탄화 사상의 형식적 급수 전개가 종료됨을 의미하며, 이는 지역 해석적 완전화의 수렴성과 해석성을 증명한다.