[논문 리뷰] Vanishing Hachtroudi curvature and local equivalence to the Heisenberg sphere

Joël Merker|ArXiv.org|2009. 10. 15.

Nonlinear Waves and Solitons참고 문헌 19인용 수 3

한 줄 요약

이 논문은 복소수 $\mathbb{C}^{n+1}$ ($n+1 \geqslant 3$) 내의 실해석적 초곡면에 대해 Hachtroudi의 곡률 소멸 조건을 초곡면의 Segre 다양체에 적용하여, 허브스페이스러움을 효과적으로 미분기하학적으로 특성화한다. 이로써 해당 초곡면이 허브스페이스러움으로 국소적으로 복소해석적 동형사상 가능할 조건은 관련된 두 번째 차수의 PDE 체계의 Hachtroudi 곡률이 소멸함과 동치임을 증명하며, 정의 함수에 대한 명시적인 네 차수 PDE 조건을 완전히 도출한다.

ABSTRACT

To any completely integrable second-order system of real or complex partial differential equations in n > 1 independent variables and in one dependent variable, Mohsen Hachtroudi associated in 1937 a normal projective (Cartan) connection, and he computed its curvature. By means of a natural transfer of jet polynomials to the associated submanifold of solutions, what the vanishing of the Hachtroudi curvature gives can be precisely translated in order to characterize when both families of Segre varieties and of conjugate Segre varieties associated to a Levi nondegenerate real analytic hypersurface M in C^{n+1} can be straightened to be affine complex (conjugate) hyperplanes. In continuation to a previous paper devoted to the quite distinct C^2-case, this then characterizes in an effective way those hypersurfaces of C^{n+1} in higher complex dimension n+1 > 2 that are locally biholomorphic to a piece of the (2n+1)-dimensional Heisenberg sphere, without any special assumption on their defining equations.

연구 동기 및 목표

• 복소수 $\mathbb{C}^{n+1}$ ($n+1 \geqslant 3$) 내 실해석적 초곡면이 허브스페이스러움으로 국소적으로 복소해석적 동형사상 가능할 조건을 효과적으로 미분기하학적으로 특성화하는 것.
• 두 번째 차수 PDE 체계에 대한 Hachtroudi의 1937년 곡률 기반 등가 이론을 고차원 CR 기하학 환경으로 확장하는 것.
• 이전 연구가 강체 또는 튜브 초곡면에 국한되어 있던 바, 일반적인 (비강체) 경우에 대해 $n+1 \geqslant 3$ 에서 허브스페이스러움을 특성화하는 열린 문제를 해결하는 것.
• Segre 다양체와 켤레 Segre 다양체가 아핀 복소선으로 직선화될 수 있는 기하적 조건을 Hachtroudi 곡률의 소멸 조건으로 번역하는 것.
• Chern의 후속 연구에서 생략된, Hachtroudi의 원래 과잉된 곡률 조건을 복원하고 적용함으로써 문헌을 보완하고 보완하며, 완전하고 알고리즘 기반의 기준을 제시하는 것.

제안 방법

• 두 번째 차수 PDE 체계에 대해 완전히 적분 가능한 경우에 대해 Hachtroudi가 1937년에 제안한 정규 프로젝티브 카르탕 접속을 활용한다. ($n \geqslant 2$ 개의 독립 변수를 가짐).
• 초곡면의 복소 정의 방정식에서 유도된 PDE 체계에 대해 Hachtroudi의 명시적 곡률 소멸 조건(계수 $F_{k_1,k_2}$ 에 대한 PDE 시스템)을 적용한다.
• Segre 다양체와 켤레 Segre 다양체가 아핀 복소선으로 직선화되는 기하적 조건을 제트 다항식 전달을 통해 미분 조건으로 변환한다.
• 행렬식 항등식(보조정리)을 활용하여 변환된 함수 $G$ 의 두 번째 도함수의 계산을 단순화하고, $\partial^2 G / \partial y_{x^{\ell_1}} \partial y_{x^{\ell_2}}$ 에 대한 닫힌 형태의 표현식을 도출한다.
• 정의 함수 $\Theta$ 에 대한 명시적인 네 차수 PDE를 유도하기 위해 분모 $\Delta^3$ 을 정리한다. 여기서 $\Delta$ 는 복소 헤시안의 야코비안 행렬식이다.
• 변수 교체를 통해 $w_{z_{k_1}^\prime z_{k_2}^\prime}^\prime = 0$ 체계에 결과를 적용함으로써, Hachtroudi 곡률이 소멸하는 것과 허브스페이스러움으로의 국소 복소해석적 동형사상 가능성 간의 동치성을 보여준다.

실험 결과

연구 질문

• RQ1 복소수 $\mathbb{C}^{n+1}$ ($n+1 \geqslant 3$) 내 실해석적 초곡면이 허브스페이스러움으로 국소적으로 복소해석적 동형사상 가능할 조건은 어떤 미분 조건을 만족해야 하는가?
• RQ2 Hachtroudi의 1937년 곡률 소멸 조건은 고차원 CR 기하학 환경에서 허브스페이스러움을 효과적으로 특성화하는 데 어떻게 적용될 수 있는가?
• RQ3 레비 비퇴도성 초곡면의 정의 함수 $\Theta$ 에 대해, 그 Segre 다양체와 켤레 Segre 다양체가 아핀 복소선으로 직선화될 수 있는 정확한 PDE 조건은 무엇인가?
• RQ4 왜 Chern의 후속 연구에서 생략된 Hachtroudi의 원래 곡률 기반 접근 방식이 비강체 경우에서 허브스페이스러움의 완전한 특성화에 필수적인가?
• RQ5 Hachtroudi 곡률의 소멸 조건을 활용하여, 튜브 또는 강체 조건을 가정하지 않고도 허브스페이스러움 모델로의 국소 등가성에 대한 효과적이고 알고리즘 기반의 기준을 도출할 수 있는가?

주요 결과

• 논문은 복소수 $\mathbb{C}^{n+1}$ ($n+1 \geqslant 3$) 내 실해석적 초곡면이 허브스페이스러움으로 국소적으로 복소해석적 동형사상 가능할 조건은 관련된 두 번째 차수 PDE 체계의 Hachtroudi 곡률이 소멸함과 동치임을 증명한다.
• Hachtroudi 곡률의 소멸 조건이 Segre 다양체와 켤레 Segre 다양체가 아핀 복소선(또는 켤레 선)으로 직선화될 수 있는 기하적 조건과 동치임을 보였다.
• 정의 함수 $\Theta$ 에 대한 명시적인 네 차수 PDE 조건을 도출하였으며, 이는 곡률 조건에서 분모 $\Delta^3$ 을 정리함으로써 얻어진다. 이 조건은 허브스페이스러움을 특성화한다.
• 핵심 결과는 $\partial^2 G / \partial y_{x^{\ell_1}} \partial y_{x^{\ell_2}}$ 에 대한 닫힌 형태의 공식으로 표현되며, 이를 대입하고 간단화하면 최종적으로 $\Theta$ 와 그 도함수들로 표현된 PDE를 도출할 수 있다.
• 논문은 이전에 간과되었던 Hachtroudi의 원래 곡률 계산을 복원하고 적용함으로써, 고차원에서의 허브스페이스러움 특성화를 보완하고 완성하였다. 이는 Chern의 후속 논문에서 생략된 바를 메우는 것이다.
• 결과적으로 이 연구는 $\mathbb{C}^{n+1}$ ($n+1 \geqslant 3$) 내에서 허브스페이스러움을 특성화하는 완전하고 효과적이며 알고리즘 기반의 기준을 제공하며, 이전에 Isaev가 강체 또는 튜브 초곡면에 대해 다룬 연구에서 남아 있던 공백을 해소한다.