[논문 리뷰] Moduli spaces of hyperkaehler manifolds and mirror symmetry

Daniel Huybrechts|ArXiv.org|2002. 10. 15.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 15

한 줄 요약

이 논문은 히persymplectic 다양체, 특히 K3 표면에 대한 미러 대칭의 기하적 프레임워크를 수립한다. 복소 및 켈러 구조의 모듈리 공간을 주기 도메인과 이산군 작용을 통해 분석함으로써, 미러 대칭이 무카이 격자 위에서 이산군 작용에 의해 발생하며, 이는 래티스에 의해 극한된 K3 표면과 타원곡선에 의한 K3 표면을 포함한 다양한 미러 대칭을 통합함을 보여준다. 이는 하이퍼카일러러 회전과 큰 복소 구조 한계를 통해 이루어진다.

ABSTRACT

These are notes of my lectures given at the school on intersection theory and moduli at the ICTP, Trieste. We construct moduli spaces of K3 surfaces and higherdimensional hyperkaehler manifolds, including moduli spaces of (2,2)-conformal field theories associated to hyperkaehler manifolds, and describe their period domains. Recent results on these manifolds are discussed from the moduli space point of view. The second goal is to present a detailed account of mirror symmetry for K3 surfaces. Arguments due to Aspinwall and Morrison allow one to explain various versions of mirror symmetry (e.g. for lattice polarized or elliptic K3 surfaces) by the same general principle.

연구 동기 및 목표

• 주기 도메인과 기하학적 불변량을 통해 히퍼카일러러 다양체, 특히 K3 표면의 모듈리 공간의 구조를 명확히 하기.
• B-필드와 무카이 격자 구조를 통해 conformal field theory (CFT) 모듈리 공간을 수학적으로 해석하기.
• 다양한 형태의 K3 표면에 대한 미러 대칭(예: 래티스에 의해 극한된, 타원곡선에 의한 분할)을 단일한 군론적 프레임워크 아래 통합하기.
• 큰 복소 구조 한계에서 미러 맵이 이산군 작용과 하이퍼카일러러 회전에 의해 어떻게 유도되는지 설명하기.
• 특정 코homology 클래스에 속하는 켈러 형식을 가진 K3 표면의 미러가 수축하는 섬유를 가진 특수 라그랑주 분할을 갖는다는 것을 보여주기.

제안 방법

• 표준화된 하이퍼카일러러 다양체의 모듈리 공간에서 무카이 격자 내 주기 도메인으로의 주기 매핑을 사용한다.
• 홀로모르픽 심플렉틱 형식을 통한 코homological 자료와 복소 구조를 연결하기 위해 글로벌 토렐리 정리를 적용한다.
• 특히 반사와 하이퍼카일러러 회전으로 생성된 군의 작용을 포함한 무카이 격자 위의 이산군 작용을 분석한다.
• 주기 도메인 위에서 군 작용을 통해 미러 맵을 구성하며, 이로써 미러 쌍이 이러한 작용에 대한 궤도로 식별된다.
• 주어진 켈러 형식과 호환되는 복소 구조를 회전시켜 미러 복소 구조를 실현하기 위해 하이퍼카일러러 회전을 사용한다.
• 큰 복소 구조 한계 기법을 적용하여, 미러에서 특수 라그랑주 분할의 부피가 0으로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 이산군 작용 하에서 히퍼카일러러 다양체, 특히 K3 표면의 모듈리 공간은 어떻게 분해되는가?
• RQ2 주기 도메인을 통한 코homological 메커니즘으로서 K3 표면에 대한 미러 대칭의 정확한 기하학적 메커니즘은 무엇인가?
• RQ3 미러 맵은 하이퍼카일러러 회전과 특수 라그랑주 분할의 기하학과 어떻게 관련되는가?
• RQ4 무카이 격자 위의 이산군 작용은 K3 표면에 대한 다양한 유형의 미러 대칭을 어떻게 통합하는가?
• RQ5 큰 복소 구조 한계에 접근함에 따라, 미러에서 특수 라그랑주 분할의 부피는 어떻게 변화하는가?

주요 결과

• K3 표면 위의 히퍼카일러러 메트릭 모듈리 공간은 칼라비-유아만 다양체와 달리 복소 및 켈러 모듈리로 분해되지 않는다. 이는 호환 가능한 복소 구조의 S²-가닥이 존재하기 때문이다.
• K3 표면에 대한 미러 대칭은 메트릭의 모듈리 공간 간의 이sovorphism으로 실현되며, 이는 무카이 격자 위의 이산군 작용을 통해 복소 구조와 켈러 구조를 교환한다.
• 주어진 코homology 클래스에 속하는 켈러 형식을 가진 K3 표면의 미러는 부피가 0으로 수렴하는 섬유 클래스 $v$를 가진 특수 라그랑주 분할을 갖는다.
• 미러에서 $\langle \text{Re}(\sigma), v \rangle \to 0$ 인 코homological 조건은 큰 복소 구조 한계에서 SLAG 섬유 $v$의 부피가 0이 되는 것을 의미한다.
• 하이퍼카일러러 회전은 주어진 켈러 형식에 대해 미러 복소 구조를 실현할 수 있지만, 이 구성은 큰 복소 구조 한계와 교환되지 않으며, 이는 하이퍼카일러러 회전과 미러 대칭 사이의 관계가 국한되어 있음을 시사한다.
• 타원곡선 분할과 켈러 형식 $\omega_J = (\alpha/2 + 1)f + \sigma_0$을 가진 K3 표면의 미러는 $X^\vee = (M, -K)$로 실현되며, 이 경우 미러 분할의 섬유가 수축하려면 켈러 형식을 적절히 스케일링해야 하며, 복소 구조를 고정한 채로는 그렇지 않다.