[논문 리뷰] Embedding subsets of tori Properly into $\CC^2$

Erlend Fornæss Wold|ArXiv.org|2006. 02. 20.

Computational Geometry and Mesh Generation참고 문헌 13인용 수 6

한 줄 요약

이 논문은 토러스 $ \mathbb{T} $ 내의 영역 $ U $ 가 유한한 경계 성분을 가지며, 그 중 어느 것도 점이 아닌 경우, $ \mathbb{C}^2 $ 에로 적절한 헬름홀로픽 임베딩이 가능하다는 것을 증명한다. 증명은 보완 성분 근처에서 특이 시프트를 사용한 변형 기법과 연속적인 원형 부분집합의 가속도에 적용된 브라우어 고정점 정리의 조합을 통해 이루어지며, 이러한 영역들이 룬제이이고, 그 해석 함수 대수들이 이중 생성된다는 것을 보여준다.

ABSTRACT

Let $\TT$ be a torus. We prove that all subsets of $\TT$ with finitely many boundary components (none of them being points) embed properly into $\CC^2$.

연구 동기 및 목표

• 열린 리만 곡면이 유한한 경계 성분을 가지는 경우 $ \mathbb{C}^2 $ 에로 적절한 헬름홀로픽 임베딩이 존재함을 확립하는 것.
• 성질이 1인 곡면에 대해 모든 열린 리만 곡면이 $ \mathbb{C}^2 $ 에 임베딩 가능한가 하는 열린 문제를 해결하는 것.
• 이러한 영역에서의 해석 함수 대수가 2개의 생성자로 생성됨을 보여주는 것.
• 균일화와 연속적인 원형 부분집합의 가속도를 이용하여 평면 영역에서의 변형 기법을 토러스 기반 영역으로 확장하는 것.

제안 방법

• 영역 $ U $ 의 이미지에 수직인 국소적 특이 시프트 매핑을 $ \mathbb{C}^2 $ 에서 구성하고, 특이점은 $ \phi(U) $ 의 보완 성분 내부에 배치하여 $ \phi(U) $ 를 룬제이 곡면으로 변형하는 것.
• 토러스의 부분집합의 균일화를 통해 각 영역 $ U $ 를 복소 구조와 경계 자료(중심과 반지름)를 매개변수화하는 $ \mathbb{R}^N $ 의 한 점으로 식별하는 것.
• 공간 $ \mathbb{R}^N $ 의 볼에서 자신으로 가는 연속적 사상 $ \psi $ 를 정의하여, 각 원형 부분집합에 대해 $ \mathbb{C}^2 $ 에로 적절하게 임베딩된 변형된 영역을 연결하며, [9] 및 [19] 의 변형 결과를 활용하는 것.
• 사상 $ \psi $ 에 브라우어 고정점 정리를 적용하여 원래 영역 $ U $ 가 이미지에 포함됨을 보장함으로써, 그 적절한 임베딩 가능성의 보장을 하는 것.
• 섬세한 임베딩과 룬제이 영역 $ N \subset \mathbb{C}^2 $ 을 이용한 섬세한 구성 방법을 통해 $ U $ 의 이미지가 다항식 볼록성을 가짐을 보장하는 것.
• $ \mathbb{C}^2 $ 내에 존재하는 스타인이고 룬제이인 영역 $ N $ 이 존재함을 이용하여, 작은 변형이 다항식 볼록성을 유지하고 원하는 임베딩을 구성할 수 있음을 보장하는 것.

실험 결과

연구 질문

• RQ1 모든 영역 $ U \subset \mathbb{T} $ 가 유한한 경계 성분을 가지며, 그 중 어느 것도 점이 아닌 경우, $ \mathbb{C}^2 $ 에 적절하게 임베딩될 수 있는가?
• RQ2 토러스 내 영역 $ U \subset \mathbb{T} $ 에서의 해석 함수 대수 $ \mathcal{O}(U) $ 는 2개의 생성자로 생성되는가?
• RQ3 $ \mathbb{C}^2 $ 내의 룬제이 곡면에 대한 작은 변형을 사용하여 원래 영역 $ U $ 를 근사화할 수 있으며, 이는 $ U $ 의 적절한 임베딩 가능성과 관련된가?
• RQ4 균일화 매개변수(복소 구조 및 경계 자료)가 영역에 대해 연속적으로 의존할 경우, 이는 브라우어 고정점 정리를 적용하여 임베딩 가능성 보장을 위한 것으로 충분한가?
• RQ5 $ \mathcal{R} $ 이 닫힌 리만 곡면일 때, 영역 $ U \subset \mathcal{R} $ 의 이미지가 $ \mathbb{C}^2 $ 내에서 다항식 볼록성이 되는 조건은 무엇인가?

주요 결과

• 경계 성분이 유한하고, 그 중 어느 것도 점이 아닌 모든 영역 $ U \subset \mathbb{T} $ 는 $ \mathbb{C}^2 $ 에 적절한 헬름홀로픽 임베딩이 가능하다.
• 토러스 내 영역 $ U \subset \mathbb{T} $ 에서의 해석 함수 대수 $ \mathcal{O}(U) $ 는 2개의 생성자로 생성된다.
• 경계 성분의 내부가 비어 있지 않은 모든 영역 $ U \subset \mathbb{T} $ 에 대해 함수 대수 $ \mathcal{O}(U) $ 는 이중 생성된다.
• 임베딩 하에 $ U $ 의 이미지는 $ \mathbb{C}^2 $ 내에서 다항식 볼록성이 보장될 수 있으며, 이를 포함하는 룬제이 영역이 존재함을 보장한다.
• 증명에서 사용된 변형 기법은 영역 $ U $ 를 토러스의 원형 부분집합으로 변형하는 작은 변형을 연속적으로 $ \mathbb{C}^2 $ 에로 매핑할 수 있도록 하며, 원래 영역 $ U $ 는 연속 사상 $ \psi $ 의 이미지에 포함된다.
• $ \mathbb{R}^N $ 의 균일화된 영역 매개변수 공간에 브라우어 고정점 정리를 적용함으로써, 원래 영역 $ U $ 가 임베딩 구성의 이미지에 포함됨을 보장할 수 있다.