[논문 리뷰] Equivalence of Cauchy-Riemann manifolds and multisummability theory

Ilya Kossovskiy, Bernhard Lamel외 1명|arXiv (Cornell University)|2016. 12. 15.

Holomorphic and Operator Theory참고 문헌 39인용 수 4

한 줄 요약

이 논문은 다이나믹스 시스템의 다중합계 이론을 적용하여 복소평면 C² 내 실해석적이고 레비-비평탄(nonflat) 초표면들 사이의 형식적 등가성과 매끄러운 CR-등가성의 동치성을 확립한다. 이는 이러한 초표면들 사이의 모든 형식적 바이홀로모르피즘 사상이 수렴함을 증명함으로써, N. 미르(2016)가 제기한 오랜 동안 미해결이었던 추측을 해결한다. 즉, C² 내 실대수적이고 레비-비평탄 초표면들 사이의 모든 형식적 등가성은 대수적이고 수렴적임을 보여준다.

ABSTRACT

We prove that if two real-analytic hypersurfaces in $\mathbb C^2$ are equivalent formally, then they are also $C^\infty$ CR-equivalent at the respective point. As a corollary, we prove that all formal equivalences between real-algebraic Levi-nonflat hypersurfaces in $\mathbb C^2$ are algebraic (in particular are convergent). The result is obtained by using the recent {\em CR - DS technique}, connecting degenerate CR-manifolds and Dynamical Systems, and employing subsequently the {\em multisummability theory} of divergent power series used in the Dynamical Systems theory.

연구 동기 및 목표

• C² 내 실대수적이고 레비-비평탄 초표면들 사이의 형식적 바이홀로모르피즘 사상이 수렴함을 증명함으로써 N. 미르(2016)의 추측을 해결하는 것.
• C² 내 실해석적 초표면들에 대해 형식적 CR-등가성과 C∞ 매끄러운 CR-등가성 간의 동치성을 확립하는 것.
• 다이나믹스 시스템의 다중합계 기법을 활용해 형식적 바이홀로모르피즘의 기하적 실현을 제공하는 것.
• 매개변수 공간에서의 붓업(Blow-up) 방법을 사용하여 k-비비평탄성(non-k-nondegenerate)이고 비최소(nonminimal) 초표면들에 대해 k-비비평탄성 이론과 순순서(pure order)를 확장하는 것.
• 이러한 초표면들 사이의 형식적 사상이 수렴성과 합계 가능성을 보장하는 ODE 시스템을 만족함을 증명하는 것.

제안 방법

• CR-사상으로부터 유도되는 형식적 멱급수에 다중합계 이론을 적용하는 것.
• 비최소 초표면의 기하학을 모델링하기 위해 세그레 다양체(Sequre varieties)와 그 매개변수화된 가중치를 사용하는 것.
• 변환된 ODE 분석에 적합한 형태로 시스템을 변형하기 위해 세그레 다양체의 매개변수 공간에서 붓업 변환을 도입하는 것.
• 변환된 세그레 가중치에서 일반적인 k-비비평탄 케이스와 유사한 상황의 상미분방정식(OED) 시스템을 유도하는 것.
• 특정 임펄스 차수 제약 조건을 가진 CR-사상 (F, G)의 인수분해 성질을 활용하여 일반 케이스를 k-비비평탄 설정으로 축소하는 것.
• 바이홀로모르피즘 좌표 변경에 대해 순순서가 불변임을 이용하여 정규화된 정의식을 확보하고 ODE 시스템의 비비평탄성을 보장하는 것.

실험 결과

연구 질문

• RQ1 C² 내 실해석적이고 레비-비평탄 초표면들 사이의 모든 형식적 CR-등가성은 수렴하는가?
• RQ2 C² 내 실대수적이고 레비-비평탄 초표면들 사이의 형식적 바이홀로모르피즘 사상은 매끄러운 CR- diffeomorphism의 테일러 급수로 실현될 수 있는가?
• RQ3 다이나믹스 시스템의 다중합계 이론은 k-비비평탄성이고 비최소인 경우의 형식적 CR-사상에 대해 기하적 실현을 제공하는가?
• RQ4 비최소 초표면의 순순서가 관련 ODE 시스템의 구조에 어떻게 영향을 미치는가?
• RQ5 비최소 초표면의 세그레 가중치는 붓업을 통해 ODE 시스템으로 변환될 수 있으며, 그 해가 합계 가능하도록 만들 수 있는가?

주요 결과

• C² 내 실해석적이고 레비-비평탄 초표면들 사이의 모든 형식적 CR-등가성은 C∞ 매끄러운 CR-diffeomorphism에 의해 실현되며, 이는 N. 미르(2016)의 추측을 증명한다.
• C² 내 실대수적이고 레비-비평탄 초표면들 사이의 모든 형식적 등가성은 주요 정리의 결과로 대수적이고 수렴적임을 보여준다.
• 기원점에서 비최소 초표면의 순순서 p는 형식적 사상 (F, G)에서 Gz의 소멸 차수를 결정하며, 구체적으로 Gz = O(wp+1)이다.
• 세그레 다양체의 매개변수 공간에서 적절한 붓업을 수행한 후, 변환된 가중치는 k-비비평탄 케이스와 동일한 구조의 ODE 시스템을 만족하며, 여기서 m은 p+1로 대체된다.
• 형식적 사상 (F, G)는 Fz(0,0) ≠ 0 및 Gw(0,0) ≠ 0를 만족하는 인수분해 (F, G) = (F, G)를 가지며, Gz = O(wp+1)이므로 k-비비평탄 케이스로의 축소가 가능하다.
• 세그레 가중치에서 유도된 ODE 시스템은 형식적 급수의 다중합계 가능성을 보장하며, 결과적으로 수렴성을 보장하므로 매끄러운 실현을 완성한다.