[논문 리뷰] A smooth regularity theorem for nondegenerate CR-mappings

Bernhard Lamel|ArXiv.org|2000. 12. 03.

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

한 줄 요약

이 논문은 복소 공간 내에서 매끄럽고 비퇴화된 CR-사상에 대한 매끄러운 정규성 정리(regularity theorem)를 수립한다: 만약 이러한 다성분만의 매끄러운 타원형 부분다양체 사이의 $C^{k_0}$-CR 사상이 $k_0$-비퇴화적이며 원천 다성분만이 최소(minimal)일 경우, 그 사상은 점 주변에서 매끄럽다. 이 결과는 웨지(wedge)로의 해석적 연장과 거의 해석적 벡터장, 그리고 은폐 함수 정리(implicit function theorems)를 이용하여 경계에서 내부로의 매끄러움을 전파시키는 데 기반한다.

ABSTRACT

We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is k-nondegenerate is smooth. As an application, every CR diffeomorphism of k-nondegenerate minimal submanifolds in C^N of class C^k is smooth.

연구 동기 및 목표

• 복소공간 $\mathbb{C}^N$ 와 $\mathbb{C}^{N'}$ 내의 매끄럽고 타원형 부분다양체 사이의 CR-사상에 대한 $C^∞$-정규성 정리 수립.
• 최소 부분다양체에서의 $k_0$-비퇴화된 $C^{k_0}$-CR-사상이 매끄럽다는 것을 보이며, 이는 이전의 해석적 연장 결과를 확장한다.
• 논문 [9]의 주요 결과에 대한 매끄러운 판본을 제공하며, 웨지 연장과 거의 해석적 벡터장을 활용한다.
• 기존의 초표면 케이스(예: 리베이 비퇴화 케이스)에서의 정규성 결과를 고차원의 비율과 최소 부분다양체로 일반화한다.

제안 방법

• 정의 함수의 복소 기울기들의 스칼라 곱을 반복된 CR-벡터장에 의해 생성하는 공간을 통해 $k_0$-비퇴화성을 정의한다.
• 투만프의 정리를 이용해 최소 다성분에서의 연속적인 CR-함수를 다성분 $M$을 경계로 하는 웨지 내의 해석적 함수로 연장한다.
• CR-벡터장과 그 계수들을 복소 도메인으로 확장하는 거의 해석적 확장을 구성한다.
• 은폐 함수 정리를 적용하여 사상 성분을 사상의 임펄스 데이터와 그 복소수 켤레를 통해 구한다.
• 확장된 사상이 가중 $L^2$-유형 추정식을 만족함을 보이며, 이는 $\mathfrak{A}$-함수 이론에 의해 매끄러움을 암시한다.
• 반사된 도메인 $\Omega_{-}$에서 사상이 $\mathfrak{A}_{\infty}(\Omega_{-})$에 속하며, $\mathfrak{A}_{\infty}(\Omega_{+})$와 결합하여 매끄러움을 도출한다.

실험 결과

연구 질문

• RQ1 타원형 부분다양체 사이의 $C^{k_0}$-CR-사상이 어떤 조건에서 매끄럽게 연장될 수 있는가?
• RQ2 $k_0$-비퇴화성과 최소성 조건이 고차원 비율에서도 CR-사상의 매끄러움을 보장할 수 있는가?
• RQ3 CR-사상의 웨지 연장과 경계 사상의 정규성 간의 관계는 무엇인가?
• RQ4 비퇴화 조건이 경계에서 내부로의 매끄러움을 전파하는 데 어떤 역할을 하는가?
• RQ5 $k_0$-비퇴화된 CR-위상사상이 최소 부분다양체에서 항상 매끄럽게 보장되는가?

주요 결과

• 모든 $C^{k_0}$-CR-사상 $H: M \to M'$ 가 점 $p_0$ 에서 $k_0$-비퇴화적이며, 다성분 $M$을 경계로 하는 웨지로 연속적으로 연장 가능하면, 그 점 주변에서 매끄럽다.
• 만약 $M$ 이 점 $p_0$ 에서 최소이면, 모든 $C^{k_0}$-CR-사상 $H: M \to M'$ 가 점 $p_0$ 에서 $k_0$-비퇴화적이면, 그 점 주변에서 매끄럽다.
• 이 결과는 초표면 케이스에서의 $1$-비퇴화 사상의 매끄러움을 일반화하며, 리베이 비퇴화 케이스를 포함한다.
• 이 증명은 사상의 임펄스를 포함한 방정식계에 대한 해 $\phi_j$ 를 구성함에 기반하며, 이는 사상을 반사된 도메인으로 확장하고 매끄러움을 보여준다.
• 사상 성분 $h_j$ 는 $\mathfrak{A}_{\infty}(\Omega_{+})$ 와 $\mathfrak{A}_{\infty}(\Omega_{-})$ 에 속하며, 공동 정규성 정리에 의해 매끄러움이 도출된다.
• 핵심 기술적 단계는 은폐 함수 $\phi_j$ 의 도함수들이 $O(|t|^\infty)$ 임을 보이는 것으로, 이는 사상의 모든 도함수가 유계이고 매끄럽다는 것을 강제한다.