[논문 리뷰] Algebraic cycles on a generalized Kummer variety

Ze Xu|arXiv (Cornell University)|2015. 06. 13.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 16

한 줄 요약

이 논문은 복소 아벨 표면에 관련된 일반화된 쿠머 다양체의 초우모티프를 계산하며, 이 모티프가 아벨 표면의 모티프에 의해 생성되는 강력한 텐서 부분범주에 속해 있음을 보여준다. 핵심 결과는 일반화된 쿠머 다양체의 모티프가 아벨 다양체의 몫들의 테이트 회전의 직합으로 표현되는 정규화된 동형사상이며, 이는 이러한 다양체의 곱에 대해 호지 추측이 성립하고, 모든 수치적으로 영인 1차 사이클이 스매시-노르말리티를 만족함을 의미한다.

ABSTRACT

We compute explicitly the Chow motive of any generalized Kummer variety associated to any abelian surface. In fact, it lies in the rigid tensor subcategory of the category of Chow motives generated by the Chow motive of the underlying abelian surface. One application of this calculation is to show that the Hodge conjecture holds for arbitrary products of generalized Kummer varieties. As another application, all numerically trivial 1-cycles on arbitrary products of generalized Kummer varieties are smash-nipotent.

연구 동기 및 목표

• 복소 아벨 표면에 관련된 일반화된 쿠머 다양체의 초우모티프를 계산하는 것.
• 일반화된 쿠머 다양체의 임의의 곱에 대해 호지 추측이 성립함을 보이는 것.
• 일반화된 쿠머 다양체의 곱에서 모든 수치적으로 영인 1차 사이클이 스매시-노르말리티임을 증명하는 것.

제안 방법

• 모르피즘 $\alpha = \sigma \circ \pi$ 를 통한 일반화된 쿠머 다양체 $K^{[n]}$ 의 자연스러운 분할을 구성하여, 분할이 분할 $\lambda \in P(n)$ 과 타원점 $\tau \in A[e(\lambda)]$ 에 의해 인덱싱됨을 보인다.
• 정규화 모르피즘 $K_{\tau}^{(\lambda)} \to \overline{K}_{\lambda,\tau}^{(n)}$ 를 정의하며, 여기서 $K_{\tau}^{(\lambda)}$ 는 아벨 다양체의 몫들의 타원점 이동이다.
• 분해 정리와 대응의 위상적 실현을 이용하여 대각선 $\Delta_{K^{[n]}}$ 의 직교 아이디포텐트로의 명시적 분해를 구성한다.
• 초우모티프에 대한 정규화된 동형사상 수립: $h(K^{[n]}) \cong \bigoplus_{\lambda \in P(n)} \bigoplus_{\tau \in A[e(\lambda)]} h(K_{\tau}^{(\lambda)}) \otimes \mathbb{L}^{n - \ell(\lambda)}$, 여기서 $\mathbb{L}$ 은 레프셰츠 모티프이다.
• 이를 $A \times K^{[n]}$ 에 대해 정교화하여, $h(A \times K^{[n]}) \cong \bigoplus_{\lambda, \tau} h(A^{(\lambda)}) \otimes \mathbb{L}^{n - \ell_{\lambda}}$ 를 얻으며, 이는 [GS93]의 결과를 정교화한다.
• 모티프 분해와 아벨 다양체 위의 1차 사이클에 대한 기존 결과를 적용하여, 일반화된 쿠머 다양체의 곱에서 수치적으로 영인 1차 사이클의 스매시-노르말리티를 유도한다.

실험 결과

연구 질문

• RQ1 일반화된 쿠머 다양체의 초우모티프가 기저 아벨 표면의 모티프에 의해 생성되는 강력한 텐서 부분범주에 속하는가?
• RQ2 일반화된 쿠머 다양체의 임의의 곱에 대해 호지 추측이 성립하는가?
• RQ3 일반화된 쿠머 다양체의 곱에서 모든 수치적으로 영인 1차 사이클이 스매시-노르말리티인가?

주요 결과

• 일반화된 쿠머 다양체 $K^{[n]}$ 의 초우모티프는 아벨 다양체의 몫들의 테이트 회전의 직합으로 동형임을 보여준다: $h(K^{[n]}) \cong \bigoplus_{\lambda \in P(n)} \bigoplus_{\tau \in A[e(\lambda)]} h(K_{\tau}^{(\lambda)}) \otimes \mathbb{L}^{n - \ell(\lambda)}$.
• $A \times K^{[n]}$ 의 모티프는 정교화된 분해를 갖는다: $h(A \times K^{[n]}) \cong \bigoplus_{\lambda, \tau} h(A^{(\lambda)}) \otimes \mathbb{L}^{n - \ell_{\lambda}}$, 이는 [GS93]의 호지이론적 공식을 정교화한다.
• 일반화된 쿠머 다양체의 곱 $K_1^{[n_1]} \times \cdots \times K_r^{[n_r]}$ 에 대해 호지 추측이 성립한다. 이는 그들의 모티프가 아벨 표면의 모티프로부터 구성되며, 아벨 표면의 곱에 대해 호지 추측이 성립하기 때문이다.
• 일반화된 쿠머 다양체의 곱에서 모든 수치적으로 영인 1차 사이클은 스매시-노르말리티임을 보였다. 이는 아벨 다양체의 몫 위의 1차 사이클로 감소시키고, [Seb13]의 결과를 적용함으로써 유도되었다.
• 모티프 분해는 이러한 곱에서 1차 사이클의 초우군이 아벨 다양체의 곱의 초우군의 직합임을 시사하며, 여기서 수치적으로 영인 사이클은 대수적으로 영이다.
• 결과적으로, 이는 일반화된 쿠머 다양체의 곱에 대해 보에보츠키의 스매시-노르말리티 추측이 참임을 확인한다.