[논문 리뷰] Surfaces on Oeljeklaus-Toma Manifolds

Sima Verbitsky|arXiv (Cornell University)|2013. 06. 11.

Geometry and complex manifolds참고 문헌 15인용 수 7

한 줄 요약

이 논문은 숫자체에서 생성된 복소 비카일러 다양체인 Oeljeklaus-Toma 다양체가 2차원 컴팩트 복소 표면을 포함할 수 있는 것은 Inoue 표면 뿐임을 증명한다. Oeljeklaus-Toma 구성의 기하학과 헬름홀로픽 곡선, (1,1)-형식의 성질을 이용해, 이러한 표면은 반드시 실수 한 개와 허수 두 개의 포함을 갖는 부분체로부터 유도되어야 하며, 곡선이 존재하지 않는다는 점으로 인해 이러한 다양체 내부에는 다른 표면이 존재할 수 없다.

ABSTRACT

Oeljeklaus-Toma manifolds are complex non-Kähler manifolds constructed by Oeljeklaus and Toma from certain number fields. These manifolds generalize Inoue surfaces of type $S_m$. In this work it is shown that Oeljeklaus-Toma manifolds could not contain any compact complex submanifolds of dimension 2 (surfaces) except Inoue surfaces.

연구 동기 및 목표

• Oeljeklaus-Toma 다양체에 포함될 수 있는 컴팩트 복소 표면의 유형을 규명하는 것.
• 이 비카일러 복소 다양체 내에서 차원 2의 복소부분다양체의 존재 여부를 조사하는 것.
• 숫자체의 포함과 단위군이 이러한 부분다양체의 구성에 미치는 역할를 명확히 하는 것.
• Oeljeklaus-Toma 다양체가 Inoue 표면을 포함하는 정확한 조건을 설정하는 것.
• Oeljeklaus-Toma 다양체 내에 Inoue 표면 이외의 표면이 존재할 수 있는지 여부를 해결하는 것.

제안 방법

• 단위의 로그 포함을 이용해 Oeljeklaus-Toma 다양체 위에 정확한 준양성 (1,1)-형식 ω를 구성하는 것.
• 형식 ω의 분석을 통해 다양체 내의 임의의 곡선이 0인 ω-체적을 가져야 하며, 이는 헬름홀로픽 곡선이 존재하지 않음을 의미하는 것.
• 디리클레의 단위정리에 의거해 실수 m차원 공간 내 단위군의 이미지가 격자로 구성됨을 증명하는 것.
• 실수 한 개와 허수 두 개의 포함을 갖는 부분체 K₁을 통해 Inoue 표면 구성법을 Oeljeklaus-Toma 프레임워크에 통합하는 것.
• 전체 체 K에 대해 U₁(K₁에 대한 것)과 Ũ(K에 대한 것)의 생성자를 조합하여 적합한 군 U를 구성하는 것.
• 단위군과 정수환의 포함 및 군 작용의 호환성에 기반해 Inoue 표면 S = H×C / U₁⋉O_{K₁}을 Oeljeklaus-Toma 다양체 X = H^s×C^t / U⋉O_K 내에 헬름홀로픽 포함시키는 것.

실험 결과

연구 질문

• RQ1 Oeljeklaus-Toma 다양체는 Inoue 표면 이외에 2차원 컴팩트 복소 표면을 포함할 수 있는가?
• RQ2 숫자체의 실수 및 허수 포함이 이러한 표면의 존재 여부에 미치는 역할는 무엇인가?
• RQ3 왜 Oeljeklaus-Toma 다양체는 헬름홀로픽 곡선을 포함하지 못하며, 이는 표면 포함에 어떤 제약를 가하는가?
• RQ4 Oeljeklaus-Toma 다양체가 Inoue 표면을 포함하기 위한 체 K에 대한 수론적 조건은 무엇인가?
• RQ5 Oeljeklaus-Toma 다양체에 Inoue 표면이 존재하는 것과 실수 한 개, 허수 두 개의 포함을 갖는 부분체가 존재하는 것이 동치인가?

주요 결과

• 정확한 준양성 (1,1)-형식 ω에 의한 분석에 따라, 임의의 곡선이 ω-체적이 0이 되므로 Oeljeklaus-Toma 다양체는 헬름홀로픽 곡선을 포함하지 않음이 입증됨.
• 곡선의 부재는 타원 곡선의 피브레이션, 표면의 블로우업, 호프 표면 등 곡선을 포함하는 표면이 Oeljeklaus-Toma 다양체에 포함될 수 없음을 의미함.
• Oeljeklaus-Toma 다양체 내에서 존재할 수 있는 유일한 2차원 컴팩트 복소 표면은 Inoue 표면이며, 이는 스스로가 2차원 Oeljeklaus-Toma 다양체임.
• 숫자체 K로부터 생성된 Oeljeklaus-Toma 다양체가 Inoue 표면을 포함하는 것은 K가 정확히 한 개의 실수 포함과 두 개의 허수 포함을 갖는 부분체 K₁를 포함할 때에만 가능함.
• 이러한 포함 구조는 K₁에서 K로의 단위군과 정수환의 포함 및 군 작용의 호환성에 기반해 실현되며, Inoue 표면의 구조를 K로의 상향 확장함.