[논문 리뷰] The Picard-Fuchs equation of a family of Calabi-Yau threefolds without maximal unipotent monodromy

Alice Garbagnati, Bert van Geemen|ArXiv.org|2009. 03. 25.

Advanced Algebra and Geometry참고 문헌 3인용 수 3

한 줄 요약

이 논문은 쇼이마 다양체를 통해 구성된 일차원 매개변수를 가진 칼라비-유오 세입형의 한 가중치를 연구하며, 최대 불가능한 유니포텐셜 단일화가 없기 때문에 그들의 피카르-푸아수 방정식이 두 개의 독립적인 2차 초함수 미분방정식으로 분해됨을 보여준다. 주요 기여는 이러한 방정식의 명시적 유도와, 최대 불가능한 유니포텐셜 단일화의 부재가 유한한 유리 곡선 수를 세는 표준 미러 대칭 조리법을 복잡하게 만든다는 관찰이다.

ABSTRACT

Recently J.C. Rohde constructed families of Calabi-Yau threefolds parametrised by Shimura varieties. The points corresponding to threefolds with CM are dense in the Shimura variety and, moreover, the families do not have boundary points with maximal unipotent monodromy. Both aspects are of interest for Mirror Symmetry. In this paper we discuss one of Rohde's examples in detail and we explicitly give the Picard-Fuchs equation for this one dimensional family.

연구 동기 및 목표

• 쇼이마 다양체에 의해 매개변수화된 일차원 칼라비-유오 세입형의 가중치를 분석하며, 최대 불가능한 유니포텐셜 단일화의 부재에 초점을 맞춘다.
• 이 가중치에 대한 피카르-푸아수 미분방정식을 유도하며, 이가 2차 초함수 방정식 두 개로 감소됨을 보여준다.
• 최대 불가능한 유니포텐셜 단일화의 부재가 미러 대칭에 끼치는 영향, 특히 그 해를 그로모프-위튼 불변량과 연결하는 데에 대해 연구한다.
• 성질이 2인 곡선과 타원 곡선의 피브레이션을 통해 세입형의 코homology의 허지-이론적 구조를 명확히 한다.
• 이 가중치에서 복소 곱셈(CM)의 발생 조건을 조사하며, CM을 가진 타원 곡선과 유리 conformal field theories와의 관계를 밝힌다.

제안 방법

• 정수 3차 대칭이 헬로모르픽 2형식 위에 켤레 세제곱근 단위로 작용하는 K3 곡면과 복소 곱셈을 가진 동치 타원 곡선을 사용한 구성.
• K3 곡면과 타원 곡선의 곱을 대각 대칭으로 나누어, h^{2,1} = 1인 비형식 칼라비-유오 세입형을 얻는다.
• 세입형의 H^3 코homology는 성질이 2인 곡선 C_λ의 H^1 코homology의 텐서곱과 불변량 구성에 의해 부분공간으로 표현된다.
• 성질이 2인 곡선 C_λ의 H^1 코homology를 지배하는 알려진 초함수 미분방정식에서 피카르-푸아수 방정식을 도출한다.
• C_λ 위의 대칭 (x,y) ↦ (x,ξy)는 단일화 표현의 분해를 유도하며, 이는 4차 피카르-푸아수 방정식이 두 개의 2차 방정식으로 분리됨을 의미한다.
• 순환 피복 C_λ → P^1의 분포 데이터로부터 유도된 매개변수를 가진 초함수 미분 연산자를 사용하여 해공간을 분석한다.

실험 결과

연구 질문

• RQ1 이 칼라비-유오 세입형의 가중치에서 최대 불가능한 유니포텐셜 단일화의 부재가 피카르-푸아수 방정식의 구조에 어떤 영향을 미치는가?
• RQ2 최대 불가능한 유니포텐셜 단일화가 부재할 경우, 피카르-푸아수 방정식에서 그로모프-위튼 불변량을 추출하는 표준 미러 대칭 조리법을 어떻게 수정할 수 있는가?
• RQ3 이 일차원 칼라비-유오 세입형의 가중치에 대한 피카르-푸아수 미분방정식의 정확한 형태는 무엇인가?
• RQ4 이 구성에서 세입형의 H^3 코homology는 성질이 2인 곡선의 H^1 코homology와 어떻게 관련이 있는가?
• RQ5 이 가중치의 칼라비-유오 세입형이 복소 곱셈을 가질 조건은 무엇이며, 이는 관련 타원 곡선의 내적 대수와 어떻게 관련되는가?

주요 결과

• 성질이 2인 곡선 위의 Z/3Z 대칭의 존재로 인해, 이 칼라비-유오 세입형의 가중치에 대한 피카르-푸아수 방정식이 두 개의 독립적인 2차 초함수 미분방정식으로 분해됨을 보였다.
• 단일화 표현은 Sp(4,C) 내의 2×2 블록 대각형으로 표현되며, 이는 매개변수 공간의 어떤 점에서도 최대 불가능한 유니포텐셜 단일화가 존재하지 않음을 의미한다.
• 피카르-푸아수 방정식의 해공간은 두 개의 초함수 함수로 생성되며, 각각은 순환 피복의 분포 지수에서 유도된 매개변수를 가진 2차 미분방정식을 만족한다.
• 칼라비-유오 세입형의 H^3 코homology는 G-불변 부분공간 H^1(C_λ, Q) ⊗ H^1(E, Q)와 동형이며, 여기서 G는 대칭으로 생성된 군이다.
• 이 가중치의 칼라비-유오 세입형이 복소 곱셈을 가질 조건은 관련 성질이 2인 곡선의 아벨-다이아몬드가 두 개의 CM 타원 곡선의 곱과 동치임과 동치이다.
• 최대 불가능한 유니포텐셜 단일화의 부재는 이 가중치가 h^{1,1}=1과 h^{2,1}=73인 표준적인 칼라비-유오 세입형의 가중치와 미러가 아닐 수 있음을 시사하지만, 이는 아직 열린 가능성이다.