[논문 리뷰] Extension of 2-forms and symplectic varieties

Yoshinori Namikawa|arXiv (Cornell University)|2000. 10. 12.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 심플렉틱 다양체에 대한 기본 정리를 확립하며, 평탄한 가 Families 에서 심플렉틱 2-form 이 연장됨을 보장하는 안정성 정리와, 특정 조건 하에서 주기 함수가 국소적으로 동형임을 보여주는 국소 토렐리 정리를 증명한다. 이러한 결과들은 특이점의 코드노민이 적어도 4 이상인 경우, 특이점을 가진 심플렉틱 공간으로의 변형 이론 및 호지 이론의 일반화를 가능하게 한다.

ABSTRACT

This paper deals with symplectic varieties which do not have symplectic resolutions. Some moduli spaces of semi-stable torsion-free sheaves on a K3 surface, and symplectic V-manifolds are such varieties. We shall prove local Torelli theorem for symplectic varieties. Some results on symplectic singularities are also included.

연구 동기 및 목표

• 심플렉틱 다양체의 평탄한 변형 하에서 심플렉틱 구조의 안정성을 확립하기 위해.
• 최종 특이점을 가진 특이 심플렉틱 다양체로 국소 토렐리 정리를 일반화하기 위해.
• 심플렉틱 다양체의 해소에서 코homology와 헬로모르픽 2-form의 행동을 명확히 하기 위해.
• 심플렉틱 다양체의 주기 함수가 국소 동형이 되는 조건을 제공하기 위해.
• 통제된 특이점을 가진 비가환 심플렉틱 다양체로 호지 이론적 및 변형 이론적 결과를 확장하기 위해.

제안 방법

• 심플렉틱 다양체의 쿠라니시 가족을 사용하여 그 국소 변형을 연구하며, 특이점의 코드노민이 ≥4임을 가정한다.
• 안정성 정리를 적용하여 심플렉틱 2-form 이 평탄한 가로질러 연장됨을 보이며, 각 근처가 여전히 심플렉틱임을 보장한다.
• 해소 ν: ~Z → Z 에 대한 헬로모르픽 2-form ω 와 그의 올림을 사용하여 H^2(U, ℂ) 상에 이차형식 q 를 구성한다.
• 각 변형 매개변수 s 를 확장된 2-form ω_s 의 코homology 클래스로 매핑하는 주기 함수 p: S → ℙ(H) 를 정의한다.
• 코homology 분석을 위해 호지 분해와 혼합 호지 이론을 사용하여 H^2(U_s, ℂ) 이 H^2(Z, ℂ) 과 동형임을 보여준다.
• 2-form 이 잘 정의되도록 보장하기 위해 ∫~Z (ωω̄)^l = 1 조건을 사용하여 정규화한다.

실험 결과

연구 질문

• RQ1 심플렉틱 다양체의 매끄러운 국소에서의 심플렉틱 2-form 이 평탄한 가로질러 모든 근처로 연장될 수 있는가?
• RQ2 심플렉틱 다양체의 주기 함수가 국소 동형이 되는 조건은 무엇인가?
• RQ3 심플렉틱 다양체의 변형에서 매끄러운 국소의 코homology 는 총 공간의 코homology 와 어떻게 관련이 있는가?
• RQ4 특이점의 코드노민은 심플렉틱 다양체의 변형 이론에서 어떤 역할을 하는가?
• RQ5 국소 토렐리 정리는 비다항식 심플렉틱 다양체에 최종 특이점을 가진 경우로 확장될 수 있는가?

주요 결과

• 프로젝티브 심플렉틱 다양체 Z 의 매끄러운 국소 U 에서의 심플렉틱 2-form ω 는 중심 근처의 충분히 작은 이웃에서 평탄한 가로질러 모든 근처 Z_t 로 연장된다.
• 제약 맵 H^2(Z, ℂ) → H^2(U, ℂ) 는 동형이며, 이는 특이 다양체의 코homology 가 그 매끄러운 국소의 코homology 를 포괄함을 의미한다.
• H^2(U, ℂ) 상의 이차형식 q 는 해소 ν: ~Z → Z 의 선택에 영향을 받지 않으며, 코homology 클래스의 올림에 대해 ω 와 그 켤레를 통합하여 정의된다.
• 주기 함수 p: S → ℙ(H) 는 국소 동형이며, 여기서 H = H^2(U, ℂ) 이고, 그 이미지는 ℒ = {x ∈ ℙ(H) | q(x) = 0, q(x + x̄) > 0} 를 포함한다.
• 기저 S 상에서 국소 시스템 R^2π_*(π^{-1}𝒪_S) 는 자명화되며, 각 s ∈ S 에 대해 그 근처는 H^2(U_s, ℂ) 와 동형이다.
• 비다항식 경우에서 국소 토렐리 정리의 타당성을 보장하기 위해, 해소 ~Z 에서의 코homology 클래스의 이미지가 R^2ν_*ℚ 에로의 푸시포워드 층에 대한 조건 (*) 가 필요하다.