[논문 리뷰] Compact tori associated to hyperkaehler manifolds of Kummer type

Kieran G. O’Grady|arXiv (Cornell University)|2018. 05. 30.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 5

한 줄 요약

이 논문은 Kummer 유형의 초타원형 다양체와 그 중간 아벨 곡선 사이의 기하학적 및 호드 이론적 연결을 확립하며, 4차원 중간 아벨 곡선 $J^3(X)$ 가 더 작고 접근하기 쉬운 형태로 쿠가-사타케 구조를 실현함을 보여준다. 이는 $J^3(X)$ 가 프로젝티브일 경우 웨일 유형의 아벨 4차곡선임을 증명하고, 베오유브-보고몰로프-후지키 형식으로부터 유래된 표준형을 지닌다고 보여주며, $X$ 의 코homology 로부터 $J^3(X)$ 의 호드 구조를 명시적으로 구성하는 방법을 제공함으로써, 웨일 유형의 아벨 4차곡선을 통한 Kummer 유형 초타원형 다양체의 가닥을 구성하는 새로운 길을 열어준다.

ABSTRACT

Let X be a hyperkaehler manifold of Kummer type. We study the 4 dimensional intermediate Jacobian J^3(X) constructed out of the 3rd cohomology of X, motivated by the desire to understand the Kuga-Satake torus associated to X. We prove that there is an embedding of Hodge structures of H^2(X) into H^2(J^3(X)). It follows that if X is projective with polarization L, the projective Kuga-Satake torus of (X,L) is isogenous to the fourth power of J^3(X). By studying the cohomology ring of X, we find that there is a natural smooth quadric Q(X) in the projectivization of H^3(X), with a natural choice of one of the two irreducible components of the variety parametrizing maximal linear subspaces of Q(X). Let Q^{+}(X) be the chosen irreducible component; then it is a smooth quadric in the projectivization of S^{+}(X), one of the two spinor representations of Spin H^3(X), where H^3(X) is equipped with the quadratic form whose zero locus is Q(X). Gauss-Manin parallel transport identifies the set of projectivizations of H^{2,1}(Y), for Y a deformation of X, with an open subset of a linear section of Q^{+}(X). This amounts to an effective description of the intermediate Jacobian J^3(X) in terms of the H.S. on H^2(X). A simple consequence is a new proof of a result of Mongardi giving (necessary) conditions for the action of monodromy on H^2(X). Lastly, we show that if X is projective, then J^3(X) is an abelian fourfold of Weil type.

연구 동기 및 목표

• 초타원형 다양체의 Kummer 유형, 즉 차원 $2n$, $n \geq 2$ 인 일반화된 쿠머 다양체의 변형에 대해 쿠가-사타케 토러스를 이해하기 위해.
• 중간 아벨 곡선 $J^3(X)$, 즉 4차원 컴acts 복소 토러스가 더 작고 기하학적으로 접근 가능한 형태로 쿠가-사타케 호드 구조를 실현하는 데 중심적인 역할을 한다는 것을 보여주기 위해.
• 프로젝티브일 경우 $J^3(X)$ 가 웨일 유형의 아벨 4차곡선임을 확립하고, 그 표준형이 베오유브-보고몰로프-후지키 형식으로부터 유래된다는 것을 보여주기 위해.
• 중간 아벨 곡선 $J^3(X)$ 의 무게 1 호드 구조를 $H^2(X)$ 의 무게 2 호드 구조로부터 명시적이고 정수론적인 호드 이론적 공식으로 구성하는 방법을 제공하기 위해.

제안 방법

• 컵 곱을 사용하여 $\overline{q}_X^{n-2}$ 를 통해 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ 를 정의한다. 여기서 $\overline{q}_X = 2(n+1)q^\vee_X$ 는 정수 계열이다.
• 이때 $\phi$ 가 전사임을 증명함으로써, 그 쌍대 사상이 정수 호드 구조의 포함관계 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$ 를 유도함으로써, $X$ 의 코homology 와 $J^3(X)$ 의 호드 구조 사이의 직접적인 호드 이론적 연결을 제공한다.
• $\phi$ 가 전사가 아닐 경우의 계열들로 이루어진 집합 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ 가 매끄러운 2차 초곡면임을 보인다.
• $\mathbb{P}(H^{2,1}(X))$ 는 $\mathbf{Q}(X)$ 의 최대 선형 부분공간이며, 이를 포함하는 기약 성분 $\mathbf{Q}^+(X)$ 를 정의한다.
• $[\sigma(X)]$ 가 $X$ 의 주기 점이고 $\vartheta = \vartheta(\overline{q}_X^{n-2})$ 일 때, $\varphi: J_{[\sigma(X)]}(\vartheta) \xrightarrow{\sim} J^3(X)$ 의 동형사상을 구성함으로써, $J^3(X)$ 를 웨일 유형 아벨 4차곡선의 모듈리 이론적 구성과 연결한다.
• $\mathrm{KS}(X,L)$ 와 $J^3(X)^4$ 사이의 동형사상에 의해 $J^3(X)$ 가 웨일 유형임을 보이고, $\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$ 를 만족하는 어떤 $c \in \mathbb{Q}_+$ 가 존재함을 증명함으로써 표준형 관계를 확립한다.

실험 결과

연구 질문

• RQ1 초타원형 다양체의 Kummer 유형에 대해 쿠가-사타케 구조가 중간 아벨 곡선을 통해 기하학적으로 실현될 수 있는가?
• RQ2 Kummer 유형 초타원형 다양체의 중간 아벨 곡선 $J^3(X)$ 는 웨일 유형의 아벨 4차곡선이며, 베오유브-보고몰로프-후지키 형식과 관련된 표준형을 지닐 수 있는가?
• RQ3 중간 아벨 곡선 $J^3(X)$ 의 호드 구조는 자연스러운 사상 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ 를 통해 $X$ 의 코homology 로 명시적으로 재구성될 수 있는가?
• RQ4 중간 아벨 곡선 $J^3(X)$ 는 쿠가-사타케 토러스 $\mathrm{KS}(X,L)$ 의 더 작은, 더 기하학적으로 접근 가능한 대체물이며, $J^3(X)^4$ 와 동형사상이 존재하는가?
• RQ5 웨일 유형의 아벨 4차곡선의 국소 완전 가닥으로부터 Kummer 유형의 극화된 초타원형 다양체의 가닥을 구성할 수 있는가?

주요 결과

• $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ 는 전사이며, 그 쌍대 사상은 정수 호드 구조의 포함관계 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$ 를 유도함으로써, $X$ 와 $J^3(X)$ 사이의 직접적인 호드 이론적 연결을 제공한다.
• $\phi$ 가 전사가 아닐 경우의 계열들로 이루어진 집합 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ 는 차원 3의 매끄러운 2차 초곡면이다.
• $H^{2,1}(X)$ 의 사영화는 $\mathbf{Q}(X)$ 의 최대 선형 부분공간에 포함되며, $\mathbf{Q}^+(X)$ 는 이를 포함하는 기약 성분이다.
• 프로젝티브인 Kummer 유형의 초타원형 다양체 $X$ 에 대해 $J^3(X)$ 는 웨일 유형의 아벨 4차곡선이며, $(X,L)$ 이 고정된 이산 불변량을 갖는 완전 가닥을 따라 변할 때, 해당하는 $J^3(X)$ 는 동일한 불변량을 갖는 완전한 극화된 웨일 유형 아벨 4차곡선의 가닥을 덮는다.
• $\mathrm{KS}(X,L)$ 는 $J^3(X)^4$ 와 동형사상이므로, $J^3(X)$ 가 쿠가-사타케 구조의 더 작은, 더 기하학적으로 다루기 쉬운 실현임을 보여준다.
• $n=2$ 일 경우, 표준형 $\Theta_L$ 는 $\Theta_{[\sigma]}(\vartheta)$ 와 선형 동치이며, $n>2$ 일 경우 $\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$ 를 만족하는 어떤 $c \in \mathbb{Q}_+$ 가 존재함을 보여, 표준형의 호환성을 확인한다.