[논문 리뷰] On isotropic divisors on irreducible symplectic manifolds

Daisuke Matsushita|arXiv (Cornell University)|2013. 10. 03.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 17

한 줄 요약

이 논문은 비특이 심플렉틱 다양체 위의 등방성 분할을 분석함으로써 그 변형 공간을 조사한다. 이는 (X, L) 쌍의 보편적 변형 공간에서 유리 라그랑주 분할의 집합이 비어 있거나 이동 가능한 집합과 정확히 일치함을 증명하며, 등방성 선다발을 통한 유리 라그랑주 분할에 대한 추측을 강력히 뒷받기한다.

ABSTRACT

Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation space of the pair (X, L). We prove that the rational Lagrangian locus is empty or coincide with the movable locus.

연구 동기 및 목표

• 비특이 심플렉틱 다양체 위의 등방성 분할의 기하학적 및 변형 이론적 성질을 조사한다.
• 쌍 (X, L)의 보편적 변형 공간에서 유리 라그랑주 분할 집합과 이동 가능한 집합 간의 관계를 명확히 한다.
• 비특이 카이러 콘에 있는 등방성 선다발이 유리 라그랑주 분할을 정의한다는 추측에 대한 증거를 제공한다.
• 베이유브레-보고몰로프 형식에 대해 L 이 등방적일 경우 (X, L)의 변형 공간의 구조를 확립한다.

제안 방법

• X가 비특이 심플렉틱 다양체이고 L이 등방성 선다발일 때 쌍 (X, L)의 보편적 변형 공간 Def(X, L)을 사용한다.
• 이동 가능한 집합을 보편 선다발의 첫 번째 코hen 클래스가 비특이 카이러 콘에 속할 때의 점들의 집합으로 정의한다.
• 유리 라그랑주 분할 집합을 보편 선다발이 유리 라그랑주 분할을 정의하는 점들의 집합으로 정의한다.
• 변형 이론과 베이유브레-보고몰로프 형식의 성질을 적용하여 유리 라그랑주 분할 집합과 이동 가능한 집합을 비교한다.
• q-자리스키 분해와 코homological semicontinuity를 사용하여 변형 공간 내 선다발의 행동을 분석한다.
• 힐베르트 스킴과 일반화된 쿠머 다양체가 변형 공간에 밀도를 이룬다는 결과를 활용하여 전반적인 결과를 도출한다.

실험 결과

연구 질문

• RQ1 비특이 심플렉틱 다양체 X 위의 등방성 선다발 L이 언제 유리 라그랑주 분할을 정의하는가?
• RQ2 쌍 (X, L)의 보편적 변형 공간에서 유리 라그랑주 분할 집합과 이동 가능한 집합은 어떻게 관련되어 있는가?
• RQ3 유리 라그랑주 분할 집합은 항상 이동 가능한 집합과 일치하는가, 아니면 공집일 수 있는가?
• RQ4 L 이 등방적이고 c₁(L) 가 비특이 카이러 콘에 속할 경우, Def(X, L) 의 변형 공간의 구조는 어떠한가?

주요 결과

• 유리 라그랑주 분할 집합은 공집이거나 보편적 변형 공간 Def(X, L) 내에서 정확히 이동 가능한 집합과 일치한다.
• 비어 있지 않을 경우, 실제 라그랑주 분할의 집합(V_reg)은 Def(X, L)의 조밀한 열린 부분집합이다.
• Def(X, L) 내에서 V_reg의 여집합은 가산 개의 초면들의 합집합에 포함되어 있어, 작고 특수한 집합임을 시사한다.
• 비이동 가능한 집합의 클로처는 Def(X, L)의 진부분닫힘집합이므로, 이동 가능한 집합은 조밀하다.
• 이 결과는 후브레히트스와 샤폰의 추측을 지지한다: 비특이 카이러 콘 내 등방성 선다발은 유리 라그랑주 분할을 정의한다.
• 증명은 K3^[n]-형과 일반화된 쿠머 다양체가 변형 공간에 조밀하게 분포해 있으며, 크고 비음이 선다발의 코homological 성질에 기반한다.