[논문 리뷰] Finite jet determination of holomorphic mappings at the boundary

Peter Ebenfelt|ArXiv.org|2000. 01. 21.

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

한 줄 요약

이 논문은 ℂ^N 내의 매끄러운 실수 초표면 간의 유클리드형 매핑에 대해 경계에서 유 finitely jet 결정을 확립한다. 이는 소스 초표면이 점에서 k₀-비퇴화일 경우, 이러한 매핑이 그 점에서의 2k₀-jet에 의해 완전히 결정됨을 증명한다. 이 결과는 체른–모저의 유한 임펄스 결정을 실수 해석적이지 않은 설정으로 확장하며, 무한소 CR 자동형사상의 공간이 유한 차원이 되는 데 충분한 조건을 제공한다.

ABSTRACT

Let M,M' be smooth real hypersurfaces in N-dimensional space and assume that M is k-nondegenerate at a point p in M. We prove that holomorphic mappings that extend smoothly to M, sending a neighborhood of p in M diffeomorphically into M' are completely determined by their 2k-jet at p. As an application of this result, we also give sufficient conditions on a smooth real hypersurface which guarantee that the space of infinitesimal CR automorphisms is finite dimensional.

연구 동기 및 목표

• ℂ^N 내의 실수 해석적이지 않은 매끄러운 실수 초표면으로 유한 임펄스 결정 결과를 확장하기.
• 매끄러운 초표면을 다른 초표면으로 미분동형으로 보내는 유클리드형 매핑이 경계에서 유한 임펄스에 의해 결정됨을 확립하기.
• 무한소 CR 자동형사상의 공간이 유한 차원이 되는 데 충분한 조건을 제공하기.
• 체른–모저의 임펄스 결정 결과를 레비 비퇴화 및 실수 해석적 설정을 초월해 일반화하기.

제안 방법

• 초표면의 CR 구조 기하학에서 유도된 미분방정식계에 기반한 증명.
• CR 벡터장이 정의 함수의 기울기 위에 반복적으로 작용하는 스트레스를 통해 정의된 k₀-비퇴화 개념의 사용.
• 모든 매핑의 임펄스가 k₀-비퇴화 조건 하에서 2k₀-임펄스에 의해 결정됨을 보여주는 [BER4]의 결과를 활용.
• 카르탕 접속을 피하고, 직접적으로 임펄스 연장과 매끄러운 범주 내의 CR 기하학을 사용.
• 초표면 간 매핑의 임펄스 연장에 대한 반사 공식과 구조 방정식 수립.
• 접선 코시–리만 연산자와 쌍대 코프레임을 사용한 국소 좌표계에서의 분석.

실험 결과

연구 질문

• RQ1 실수 해석적이지 않은 초표면 간의 유클리드형 매핑이 경계에서 유한 임펄스에 의해 결정될 수 있는가?
• RQ2 이러한 매핑을 결정하는 데 필요한 최소한의 임펄스 차수는 무엇이며, 이는 초표면의 비퇴화 유형에 따라 어떻게 달라지는가?
• RQ3 매끄러운 초표면의 무한소 CR 자동형사상 공간이 유한 차원이 되는 조건은 무엇인가?
• RQ4 체른–모저의 임펄스 결정 정리가 매끄럽고 레비 비퇴화가 아닌 초표면으로 일반화될 수 있는가?
• RQ5 비유한 비퇴화 초표면에서 접선 코시–리만 복합체의 해법 가능성과 CR 유클리드형 벡터장의 존재 사이에 어떤 연관성이 있는가?

주요 결과

• 매끄러운 실수 초표면 M에 매끄럽게 연장되는 유클리드형 매핑는 M에서 k₀-비퇴화인 점 p₀ ∈ M에서의 2k₀-jet에 의해 완전히 결정된다.
• 결과는 매끄러운 (C^∞) 초표면과 매끄러운 매핑에 대해 적용되며, 이는 이전 결과에서 요구하던 실수 해석성 조건을 초월한다.
• 어느 점에서 유한 비퇴화인 매끄러운 초표면의 무한소 CR 자동형사상 공간은 유한 차원이다.
• 증명은 CR 기하학에서 유도된 미분방정식계를 통해 모든 고차수 임펄스가 2k₀-임펄스에 의해 결정됨을 보여준다.
• 무한 차원 자동형사상 군의 필요 조건은 비자명한 CR 유클리드형 벡터장의 존재이며, 이는 초표면이 유한 비퇴화가 아닐 경우 발생할 수 있다.
• 접선 ∂̄_b 복합체의 (0,1) 수준에서의 해법 가능성은 특정 기하 조건 하에서 비유한 비퇴화 초표면에서 CR 유클리드형 벡터장의 존재를 암시한다.