[논문 리뷰] Surface Foliations with Compact complex leaves are holomorphic

J. Winkelmann|ArXiv.org|2004. 09. 03.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 4

한 줄 요약

이 논문은 컴act한 복소 표면에서 임의의 실foliation이 임의의 컴팩트한 복소 곡선을 가지면 반드시 헬로모르픽이어야 한다고 증명한다. 카이러 형식 위에서 사이클 공간 이론과 체적 추론을 사용하여, 임의의 잎사귀는 헬로모르픽 가속에서의 기약 헬로모르픽 곡선과 일치해야 하며, 이는 foliation이 반드시 헬로모르픽이 되도록 강제한다. 이 결과는 고차원 또는 비컴팩트 설정에서는 성립하지 않는다.

ABSTRACT

Let X be a compact complex surface with a real foliation. If all leaves are compact complex curves, the foliation must be holomorphic.

연구 동기 및 목표

• 컴팩트한 복소 표면에서 잎사귀가 컴팩트한 복소 곡선인 실foliation이 반드시 헬로모르픽이어야 하는지 여부를 규명하는 것.
• 실foliation이 복소다양체에서 헬로모르픽構조에 의해 유도될 수 있는 조건을 조사하는 것.
• 이러한 foliation의 헬로모르픽성에 있어서 컴팩트성의 필요성을 확립하는 것.
• 이 결과가 고차원 또는 비컴팩트 케이스에서는 왜 실패하는지 보여주는 것.

제안 방법

• 표면 위의 컴팩트한 복소 곡선을 매개변수화하기 위해 사이클 공간(또는 초우 스킴) 구축을 사용하며, 컴팩트한 복소다양체에 대해 바르레트 이론을 활용한다.
• 엽서가 uncountably many 개가 포함된 사이클 공간의 성분 $ C_0 $ 를 식별하여, 유니버설 패밀리의 상이 전체 표면을 덮는다는 것을 보장한다.
• 교차 이론을 적용하여, 임의의 잎사귀 $ L $ 는 고정된 곡선 $ Z_q $ 와 수치적으로 동치여야 하며, 모든 $ s \in C_0 $ 에 대해 $ L \cdot Z_s = 0 $ 이어야 한다는 것을 보여준다.
• 카이러 형식 $ \omega $ 에 대해 $ \int_{Z_s} \omega $ 의 국소적 일정성을 사용하여, 모든 잎사귀가 동일한 체적을 가져야 한다고 보여주며, 이는 재조합된 섬유의 존재를 배제한다.
• 모든 $ Z_s $ 가 재조합된 경우, 그 성분들은 더 작은 체적을 가지며, 잎사귀가 될 수 없으며, 이는 덮개 성질과 모순된다.
• 결론적으로 모든 $ Z_s $ 는 기약적이며, $ \mathcal{F} $ 의 잎사귀들은 $ Z_s $ 와 일대일 대응되며, 이는 헬로모르픽성을 암시한다.

실험 결과

연구 질문

• RQ1 컴팩트한 복소 표면에서 잎사귀가 컴팩트한 복소 곡선인 실foliation이 헬로모르픽이 되는 조건은 무엇인가?
• RQ2 컴팩트한 복소 곡선의 사이클 공간 매개변수화가 기저 foliation의 헬로모르픽성을 유도하는 데 사용될 수 있는가?
• RQ3 왜 이 결과는 고차원 복소다양체에서는 실패하는가?
• RQ4 컴팩트성이 실foliation이 잎사귀가 컴팩트한 복소 곡선일 경우 헬로모르픽이 되도록 보장하는 데 어떤 역할을 하는가?
• RQ5 비컴팩트한 복소 표면에서 기약 복소 곡선을 잎사귀로 가지는 비헬로모르픽 실foliation이 존재할 수 있는가?

주요 결과

• 컴팩트한 복소 표면에서, 모든 잎사귀가 컴팩트한 복소 곡선인 임의의 실foliation은 반드시 헬로모르픽이어야 한다.
• 잎사귀를 매개변수화하는 사이클 공간 성분 $ C_0 $ 는 기약적이며, 그 사영 사상이 표면 전체를 덮는다.
• 모든 잎사귀는 동일한 카이러 체적을 가지며, 이 일정성은 패밀리 $ Z_s $ 에서 재조합된 섬유의 존재를 막는다.
• 재조합된 섬유의 부재와 덮개 성질은 각 잎사귀가 패밀리 $ \{Z_s\}_{s \in C_0} $ 에 속한 기약 헬로모르픽 곡선임을 암시한다.
• 잎사귀와 $ Z_s $ 곡선 사이의 일대일 대응은 foliation이 헬로모르픽임을 암시한다.
• 3차원 이상에서는 결과가 성립하지 않으며, 이는 반자기쌍대 4다양체 위의 트위스터 공간 구성에 의해 보여진다.