[논문 리뷰] The complement of the closed unit ball in $\mathbb C^3$ is not subelliptic

Rafael B. Andrist, Erlend Fornæss Wold|arXiv (Cornell University)|2013. 03. 07.

Mathematics and Applications참고 문헌 1인용 수 4

한 줄 요약

이 논문은 ℂ³(또는 그 이상의 차원)에서 단위 닫힌 볼의 여집합이 부분타원적이지 않음을 증명한다. 이를 위해 차원 ≥3에서 정칙 벡터 다발에 대한 하르또스 유형의 확장 정리가 증명된다. 핵심 결과는 이 다양체 위의 스프레이들이 경계를 넘어서 정칙적으로 확장될 수 없다는 것이며, 이는 부분타원성에 요구되는 유한한 지배 가족 조건과 모순된다. 따라서 오카 이론의 계층에서 진정한 포함 관계가 성립함을 보여준다.

ABSTRACT

In this short note we show that $\mathbb C^n\setminus\bar{\mathbb B^n}$ is not subelliptic for $n \geq 3$. This is done by proving a Hartogs type extension theorem for holomorphic vector bundles bundles.

연구 동기 및 목표

• ℂⁿ에서 닫힌 단위 볼의 여집합이 n≥3일 때 부분타원적이었는지 여부를 규명하는 것.
• 비-스타인 다양체에 대해 복소기하학에서 부분타원성 조건의 타당성을 조사하는 것.
• 오카 이론적 클래스 간 포함 관계인 타원적 ⊆ 부분타원적 ⊆ 오카 ⊆ 강한 지배적 ⊆ 지배적의 계층을 명확히 하는 것.
• 부분타원적 ⊆ 오카의 포함 관계가 진정한 포함임을 보이며, 강한 지배적이지만 부분타원적이지 않은 다양체를 구성하는 것.
• 차원 ≥3에서 정칙 벡터 다발에 대한 하르또스 유형의 확장 결과를 기술적 기초로 설정하는 것.

제안 방법

• 시우의 코herent 분석층에 대한 결과로부터 유도된, 차원 n≥3에서 정칙 벡터 다발에 대한 하르또스 유형의 확장 정리를 활용한다.
• ℂⁿ에서 닫힌 단위 볼의 여집합 위의 정칙 스프레이에 이 확장 결과를 적용한다.
• 유한한 스프레이 가족을 구성하고, 단위 볼 경계 위의 점들에서 그 미분 이미지를 분석한다.
• 스프레이 가족이 지배적이지 않은 점들의 집합이 해석적 집합임을 보이며, 부분타원성이 성립한다면 모순이 발생함을 밝힌다.
• ℂⁿ⧵ cl(ℬⁿ)으로 향하는 스프레이는 볼 내부로 매핑될 수 없지만, 확장은 그러한 이미지를 강제로 유도함으로써 목표 조건을 위반함을 이용한다.
• 코herent 층의 확장과 제2.2조를 통한 동형 사상의 확장을 활용하여, 다발의 국소적 평탄성과 전역적 확장을 증명하기 위해 층 이론 기법을 사용한다.

실험 결과

연구 질문

• RQ1 ℂ³에서 닫힌 단위 볼의 여집합은 부분타원적이었는가?
• RQ2 n≥3일 때 ℂⁿ⧵ cl(ℬⁿ)에 대해 오카 원리가 성립하는가?
• RQ3 n≥3일 때 ℂⁿ⧵ cl(ℬⁿ) 위의 유한한 스프레이 가족이 모든 점에서 지배적이었는가?
• RQ4 강한 지배적이지만 부분타원적이지 않은 다양체가 존재하는가?
• RQ5 차원 ≥3에서 정칙 벡터 다발에 대한 하르또스 확장 성질이 성립하는가?

주요 결과

• ℂ³에서 닫힌 단위 볼의 여집합은 부분타원적이지 않다. 경계의 장벽으로 인해 어떤 유한한 스프레이 가족도 모든 점에서 지배적이지 않기 때문이다.
• 차원 n≥3에서 정칙 벡터 다발에 대한 하르또스 유형의 확장 정리가 성립하며, 이는 단위 볼의 경계를 넘어서도 확장 가능함을 의미한다.
• 스프레이의 경계로의 확장은 모순을 유도한다. 스프레이가 확장된다면 반드시 단위 볼 내부로 매핑되어야 하는데, 이는 목표 공간 조건을 위반한다.
• 유한한 스프레이 가족이 지배적이지 않은 점들의 집합은 해석적 집합이며, 이러한 점들이 경계 위에 존재함으로써 부분타원성이 불가능해진다.
• 이 결과는 부분타원적 ⊆ 오카의 포함 관계가 진정한 포함임을 시사한다. 이는 다양체가 강한 지배적이지만 부분타원적이지 않기 때문이다.
• n=2의 경우는 여전히 열려 있으며, 하르또스 확장 결과가 차원 2에서는 성립하지 않기 때문에 ℂ²⧵ cl(ℬ²)의 부분타원성 여부는 해결되지 않았다.