[논문 리뷰] Regularity of CR-mappings into Levi-degenerate hypersurfaces

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

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

한 줄 요약

이 논문은 $ℂ^n$ 내의 엄밀히 준볼록 초표면에서 $ℂ^{n+1}$ 내의 레비-비퇴화 초표면으로의 CR-사상에 대한 정칙성 결과를 확립하며, 목표의 최소한의 비퇴화 조건 하에서 이러한 사상이 조밀한 열린 부분집합에서 실해석적이거나 매끄럽다는 것을 증명한다. 주요 기여는 레비-비퇴화 목표로의 고차원 CR-사상에 대한 매끄럽고 실해석적인 반사 원리의 수립으로, 기존의 레비-비퇴화 케이스 결과를 확장한다.

ABSTRACT

We provide regularity results for CR-maps between real hypersurfaces in complex spaces of different dimension with a Levi-degenerate target. We address both the real-analytic and the smooth case. Our results allow immediate applications to the study of proper holomorphic maps between Bounded Symmetric Domains.

연구 동기 및 목표

• 목표 초표면이 레비-비퇴화일 경우, 서로 다른 차원의 실초표면 사이의 CR-사상에 대해 샤우슈의 반사원리를 일반화하는 것.
• 이전 결과가 제한되어 있던, 레비-비퇴화 목표로의 CR-사상에 대한 실해석적 및 매끄러운 정칙성 문제를 다루는 것.
• 목표 초표면에 대한 최소한의 가정(예: 해석적 비퇴화 또는 유한 비퇴화) 하에서 CR-사상의 일반적 해석성과 매끄러움을 확립하는 것.
• 자연스럽게 균일 2-비퇴화 초표면으로 둘러싸인 유계 대칭 도메인 간의 올바른 해석적 사상 연구를 위한 기초 도구를 제공하는 것.

제안 방법

• 사상의 임계계열 연장과 관련된 미분계열을 분석하기 위해 CR-사상의 $k$-비퇴화 개념을 핵심 도구로 사용한다.
• 목표 초표면의 정의식에 CR 벡터장들을 적용하여 유도된 방정식계에 은둔함수정리(implicit function theorem)를 적용한다.
• 성분들을 $\bar{F}$, $L\bar{F}$, $F_{n+1}$ 로 표현할 수 있도록 CR-사상을 정규화함으로써, 은둔함수 이론을 통한 해석적 연장 구축을 가능하게 한다.
• 특성형식의 리 도함수의 영함수성을 분석하여 비퇴화 조건을 탐지하며, 지도가 $\ell$-비퇴화가 아닐 점들을 결정하는 행렬식 아이디얼을 정의한다.
• 목표의 해석적 비퇴화 또는 유한 비퇴화 개념을 활용하여 임계계열 연장의 성장 양상을 통제하고 정칙성을 보장한다.
• 미르 [Mi1]의 기법을 변형하여 레비-비퇴화 환경에 적용함으로써, 확장된 지도의 리 도함수의 영함수성 여부에 따라 경우를 나누어 분석한다.

실험 결과

연구 질문

• RQ1 엄밀히 준볼록 초표면에서 레비-비퇴화 초표면으로의 $C^2$ CR-사상이 소스의 이웃에서 해석적으로 연장될 수 있는 조건은 무엇인가?
• RQ2 적절한 비퇴화 조건 하에서, 레비-비퇴화 목표로의 CR-사상의 매끄러운 정칙성은 $C^2$ 에서 $C^\infty$ 로 향상될 수 있는가?
• RQ3 레비-비퇴화 초표면으로의 CR-사상에 대해, 레비-비퇴화 케이스에서 알려진 결과와 유사한 반사원리가 존재하는가?
• RQ4 해석적 비퇴화와 유한 비퇴화가, 고차원 레비-비퇴화 목표로의 CR-사상의 정칙성 확보에 어떤 역할을 하는가?
• RQ5 목표가 균일 2-비퇴화일 경우, 소스 다양체 전체에 걸쳐 정규성은 균일하게 확립될 수 있는가?

주요 결과

• 실해석적 엄밀히 준볼록 초표면 $M \subset \mathbb{C}^n$ 에서 실해석적 레비-비퇴화 초표면 $M' \subset \mathbb{C}^{n+1}$ 으로의 $C^2$ CR-사상 $F: M \to M'$ 는 $M'$ 가 해석적 비퇴화일 경우 $M$ 의 조밀한 열린 부분집합에서 실해석적이다.
• 매끄러운 엄밀히 준볼록 초표면 $M \subset \mathbb{C}^n$ 에서 매끄러운 레비-비퇴화 초표면 $M' \subset \mathbb{C}^{n+1}$ 으로의 $C^2$ CR-사상 $F: M \to M'$ 는 $M'$ 가 유한 비퇴화일 경우 $M$ 의 조밀한 열린 부분집합에서 매끄럽다.
• 목표 $M'$ 가 균일 2-비퇴화일 경우, 임의의 CR-사상 $F: M \to M'$ 는 실해석적(해당 카테고리일 경우) 또는 매끄러운(해당 카테고리일 경우) 카테고리에서 $M$ 전역에서 실해석적(또는 매끄럽다).
• 증명은 CR 벡터장들로부터 유도된 방정식계에 은둔함수정리를 적용하여 지도 성분의 해석적 연장 $\Psi$ 를 구성하는 데 기반한다.
• 확장된 지도의 리 도함수의 영함수성 여부에 기반한 케이스 구분은, 지도가 조밀한 열린 집합에서 실해석적이거나, 지도가 전 구역에서 실해석적이지 않다면 모순이 발생함을 보장한다.
• 확장된 지도가 목표로의 동형사상이 되는 케이스 2B의 부재는 $M'$ 의 해석적 비퇴화성에 의해 제거되며, 이는 일반적으로 해석성이 성립함을 보장한다.