[논문 리뷰] Cubics, Integrable Systems, and Calabi-Yau Threefolds

Ron Donagi, Eyal Markman|ArXiv.org|1994. 08. 09.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 70

한 줄 요약

이 논문은 캘리비-양 3차원 다양체의 가족에 대해 기저가 게이지화된 캘리비-양의 모듈리 공간이고, 섬유가 딜리뉴 코hom로지 군(중간 아벨-자코비다)인 해밀토니안 체계(ACIHS)를 해석적으로 완전히 적분 가능한 것으로 구성한다. 핵심 결과는 양자 쿠빅(유카와 쿠빅)이 해밀토니안 체계의 전체 공간 위의 심플렉틱 형식과 동치이며, 정상 함수(곡선의 아벨-자코비 상사)가 라그랑주 부분다양체라는 것이다. 이는 호드 이론을 통해 미러 대칭과 적분 가능한 시스템을 연결한다.

ABSTRACT

In this work we construct an analytically completely integrable Hamiltonian system which is canonically associated to any family of Calabi-Yau threefolds. The base of this system is a moduli space of gauged Calabi-Yaus in the family, and the fibers are Deligne cohomology groups (or intermediate Jacobians) of the threefolds. This system has several interesting properties: the multivalued sections obtained as Abel-Jacobi images, or ``normal functions'', of a family of curves on the generic variety of the family, are always Lagrangian; the natural affine coordinates on the base, which are used in the mirror correspondence, arise as action variables for the integrable system; and the Yukawa cubic, expressing the infinitesimal variation of Hodge structure in the family, is essentially equivalent to the symplectic structure on the total space.

연구 동기 및 목표

• 캘리비-양 3차원 다양체의 가족에 대해 기저가 되는 해석적으로 완전히 적분 가능한 해밀토니안 체계(ACIHS)를 수립하기.
• 아벨 다양체의 가족(예: 캘리비-양 3차원 다양체의 중간 아벨-자코비다)이 심플렉틱 구조를 지닐 조건을 특정하기, 특히 섬유가 라그랑주 부분다양체가 되도록 하는 조건을 찾기.
• 유카와 쿠빅이 해밀토니안 체계의 전체 공간의 심플렉틱 구조를 어떻게 코딩하는지 탐구하기.
• 정상 함수의 무한소 불변량(곡선의 아벨-자코비 맵에서 유도된 것)이 미러 대칭에서 곡선 수를 재구성하는 데 충분한 정보를 포함하는지 조사하기.
• 미러 추측을 형식적 부분(라그랑주 다중분할을 가진 적분 가능한 시스템 위의 미러 변환)과 기하학적 토렐리 유형의 부분으로 분해하는 것을 제안하기.

제안 방법

• 캘리비-양 3차원 다양체의 가족의 전체 공간에 대해, 섬유(중간 아벨-자코비다)가 라그랑주 부분다양체가 되도록 심플렉틱 형식 σ를 정의하기.
• 이러한 심플렉틱 구조의 존재가 주어진 '쿠빅 조건'과 동치임을 증명하기: 주어진 주기 매핑의 미분은 기저의 접다발 위의 쿠빅 장과의 계약으로 주어진다.
• 캘리비-양 3차원 다양체의 경우, 이 쿠빅 장이 정확히 유카와 쿠빅임을 보이며, 이는 호드 구조의 무한소 변화를 코딩한다.
• 심플렉틱 기하학의 행동 변수를 사용하여 미러 대칭에서 사용되는 자연스러운 아핀 좌표를 복원하기.
• 정상 함수 ν의 무한소 불변량 δν를 유카와 쿠빅의 자코비 다항식의 두 번째 등급 부분으로 특성화하기, 특히 쿠빅에 관련된 코즐 복합체의 두 번째 등급 부분에 속한다.
• 곡선 수 계산을 위한 가중치 함수 wν가 실제로 곡선에 의존하지 않고 δν에만 의존할 것임을 제안하며, wν = ∑ Nν,g λ^{g−1} 형태의 공식을 추측하기, 이때 ∑ wν = ∑ Nk,g q^k λ^{g−1} 이 성립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아벨 다양체의 가족이, 그 섬유가 라그랑주 부분다양체가 되도록 하는 심플렉틱 구조를 가질 수 있는가?
• RQ2 무한소 호드 구조 변화를 코딩하는 유카와 쿠빅은 적분 가능한 시스템의 전체 공간 위의 심플렉틱 형식과 어떻게 관련되어 있는가?
• RQ3 미러 대칭의 A-모델 및 B-모델의 분할 함수는 적분 가능한 시스템과 그 라그랑주 다중분할로부터 직접 재구성될 수 있는가?
• RQ4 정상 함수 ν의 무한소 불변량 δν가 일반적인 캘리비-양 3차원 다양체에서 곡선 수(가중치 함수 wν를 통해)를 결정하는 데에 충분한가?
• RQ5 캘리비-양 3차원 다양체의 기하학은 그에 관련된 적분 가능한 시스템과 라그랑주 다중분할의 데이터로부터 어느 정도 복원될 수 있는가?

주요 결과

• 적분 가능한 시스템의 전체 공간 위의 심플렉틱 구조는 유카와 쿠빅과 동치이며, 이는 캘리비-양 가족에서 호드 이론과 심플렉틱 기하학 사이의 깊은 연결 고리를 확립한다.
• 일반적인 캘리비-양 3차원 다양체 위의 곡선에서 유도된 정상 함수는 항상 구성된 심플렉틱 형식에 대해 라그랑주 부분다양체이다.
• 적분 가능한 시스템의 행동 변수는 미러 대응에서 사용되는 모듈리 공간 위의 자연스러운 아핀 좌표와 정확히 일치한다.
• 정상 함수 ν의 무한소 불변량 δν는 유카와 쿠빅의 자코비 다항식의 두 번째 등급 부분에 속하며, 특히 R^2 = Sym^2(H^{2,1})^* / (부분 미분들로 생성된 자코비 아이디얼)에 속한다.
• 곡선 기여에 대한 가중치 함수 wν는 δν에만 의존할 것이라고 추측되며, 이는 곡선 수가 정상 함수의 호드 이론적 자료에 암묵적으로 포함될 수 있음을 시사한다.
• δν로부터 곡선 수를 재구성하는 문제는 변분 토렐리 문제와 유사하며, 부분적인 결과는 존재하지만 전체 재구성 문제는 여전히 열려 있다.