[논문 리뷰] The Fourier transform for certain hyperKaehler fourfolds

Mingmin Shen, Charles Vial|arXiv (Cornell University)|2013. 09. 23.

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

한 줄 요약

이 논문은 K3 표면의 길이 2 부분 스킴의 Hilbert 스킴과 매우 일반적인 입체 4차 곡면의 선의 Fano 다양체와 동치인 변형을 가진 초카일러 4차원에서, 베유브-보고몰로프 클래스를 표현하는 고차원 2차 대수적 사이클을 사용하여 카우프링의 푸리에 분해를 수립한다. 이 분해는 곱셈적이고 모티빅이며, 아벨 다양체에 대해 정의된 베유브의 푸리에 변환 프레임워크를 이러한 초카일러 다양체로 확장한다.

ABSTRACT

Using a codimension-$1$ algebraic cycle obtained from the Poincaré line bundle, Beauville defined the Fourier transform on the Chow groups of an abelian variety $A$ and showed that the Fourier transform induces a decomposition of the Chow ring $CH^*(A)$. By using a codimension-$2$ algebraic cycle representing the Beauville--Bogomolov class, we give evidence for the existence of a similar decomposition for the Chow ring of hyperKähler varieties deformation equivalent to the Hilbert scheme of length-$2$ subschemes on a K3 surface. We indeed establish the existence of such a decomposition for the Hilbert scheme of length-$2$ subschemes on a K3 surface and for the variety of lines on a very general cubic fourfold.

연구 동기 및 목표

• 원래 아벨 다양체에서 정의된 베유브의 푸리에 변환 프레임워크를 K3 표면의 길이 2 부분 스킴의 Hilbert 스킴과 동치인 변형을 가진 초카일러 4차원으로 확장하는 것.
• 초카일러 4차원의 $\mathrm{K3}^{[n]}$-형태에서 카우프링에 대해 블로흐-베일린스킨 타입의 필터링이 존재할 가능성을 제시하는 것.
• S^{[2]}과 매우 일반적인 입체 4차 곡면의 선의 다양체에 대해 곱셈적 카우프링-쿠른트 분해의 존재를 수립하는 것.
• 초카일러 다양체의 맥락에서 푸리에 분해의 비틀림 불변성과 모티빅 성격을 조사하는 것.
• 푸리에 분해가 교차곱과 심플렉틱 자기동형사상의 작용과의 호환성 등 아벨 다양체에서의 성질과 유사한 성질을 만족하는지 확인하는 것.

제안 방법

• 베유브-보고몰로프 클래스를 표현하는 고차원 2차 대수적 사이클을 사용하여 초카일러 4차원의 카우프링 군에 대한 푸리에 변환을 정의한다.
• 아벨 다양체에서의 베유브의 분해와 유사하게, $s$에 따라 인덱싱된 부분군 $\mathrm{CH}^{i}(X)_{s}$로 카우프링 군 $\mathrm{CH}^{*}(X)$의 분해를 구성한다.
• 인스턴스 대응관계 $I \subset X^{[2]} \times X^{[2]}$의 구조를 이용하여, 분해가 곱셈적임을 증명한다: $\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$.
• 안정층의 모듈리 공간과 인스턴스 대응관계를 통해 $S^{[2]}$에 대한 수정된 카우프링-쿠른트 분해의 존재를 확립한다.
• Fano 다양체 $F$ 위의 유리적 자기사상 $\varphi: F \dashrightarrow F$를 사용하여 푸리에 분해를 분석하고, 그 곱셈성을 증명한다.
• 특정 카우프링 군 부분군들(예: $T^2$, $\mathrm{Griff}^2$)의 비틀림 불변성과 유리 사상의 투영 공식을 활용하여, 분해가 비틀림 기하학과 호환됨을 검증한다.

실험 결과

연구 질문

• RQ1 K3^{[2]}-형태의 초카일러 4차원에서 아벨 다양체에서의 것과 유사한 푸리에 분해가 존재하는가?
• RQ2 S^{[2]}에서의 푸리에 분해가 곱셈적이고 모티빅임을 입증할 수 있는가?
• RQ3 매우 일반적인 입체 4차 곡면의 선의 Fano 다양체에서의 푸리에 분해는 곱셈적이고 비틀림 불변적인가?
• RQ4 초카일러 4차원에서의 푸리에 분해가 블로흐-베일린스킨 필터링의 성질을 어느 정도 만족하는가?
• RQ5 심플렉틱 자기동형사상은 푸리에 분해에 어떻게 작용하는가? 그리고 분해는 그 작용을 존중하는가?

주요 결과

• S^{[2]}, 즉 K3 표면의 길이 2 부분 스킴의 Hilbert 스킴에서 푸리에 분해가 존재하며, 이는 곱셈적이다.
• S^{[2]}에서의 분해는 베유브-보고몰로프 클래스를 표현하는 고차원 2차 대수적 사이클에 의해 유도되며, 아벨 다양체에서의 베유브의 구성으로 일반화된다.
• 매우 일반적인 입체 4차 곡면의 선의 Fano 다양체 $F$에서의 푸리에 분해는 곱셈적이며, 유리적 자기사상 $\varphi: F \dashrightarrow F$와 호환된다.
• 분해는 아벨 다양체에서와 유사하게 핵심 성질 $\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$를 만족한다.
• 푸리에 분해는 모티빅이며, 대각선에 대한 카우프링-쿠른트 분해에서 유래되며, $T^2$, $\mathrm{Griff}^2$, 기타 부분군의 작용을 통해 비틀림 사상과 호환된다.
• 이 분해의 존재는 초카일러 4차원의 $\mathrm{K3}^{[n]}$-형태에서 카우프링에 대해 블로흐-베일린스킨 필터링이 존재할 것이라는 기대를 뒷받침한다.