[논문 리뷰] Fourier-Mukai transforms for quotient varieties

Tom Bridgeland, Antony Maciocia|arXiv (Cornell University)|1998. 11. 17.

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

한 줄 요약

이 논문은 캐논컬 번들의 순서가 유한한 매끄럽고 사영적인 다양체 위의 푸리에-무카이(Fourier-Mukai, FM) 변환이 그 캐논컬 커버 위의 등변 FM 변환과 대응됨을 확립한다. 이러한 다양체 위의 FM 변환이 그 캐논컬 커버 위의 등변 변환으로 올라가며, 반대로 등변 변환이 커버 위에서 유도된다는 것을 증명한다. 주요 기여는 이 올림 과정을 통해 에니리쿠스 및 이배리프틱 표면에 대한 새로운 FM 변환을 구성한 데 있다.

ABSTRACT

We study Fourier-Mukai transforms for smooth projective varieties whose canonical bundles have finite order, and relate them to equivariant transforms on certain finite covering spaces. Our results lead to new equivalences of derived categories for Enriques and bielliptic surfaces.

연구 동기 및 목표

• 캐논컬 번들의 순서가 유한한 다양체 위의 FM 변환과 그 캐논컬 커버 위의 등변 FM 변환 사이의 대응을 확립한다.
• 이러한 다양체 위의 FM 변환이 등변 변환으로서 커버 위에서 유도됨을 보이며, 반대로 등변 변환이 커버 위에서 유도된다는 것을 보인다.
• 이러한 올림 메커니즘을 활용하여, 에니리쿠스 및 이배리프틱 표면에 대한 새로운 FM 변환의 예를 구성한다.
• 커버 위의 코herent sheaf 모듈리 공간 위의 G-작용이 몫 다양체 위의 변환으로 내림내림되는 조건을 수치적으로 기술하는 기준을 제시한다.

제안 방법

• 캐논컬 커버 구축: 캐논컬 번들의 순서가 n인 다양체 X에 대해, 캐논컬 번들이 자명한 유한 에탈 코버 p: X̃ → X와 자유로운 Zn-작용을 갖는다.
• 이러한 다양체 사이의 임의의 FM 변환 Φ: D(Y) → D(X)가 그 캐논컬 커버 위의 Zn-등변 FM 변환 Φ̃: D(Ỹ) → D(Ẋ)로 올라간다는 것을 보인다.
• 몫 사상에 沿해 당김과 밀림을 포함하는 함수자 다이어그램이 가환함을 증명한다.
• 코herent sheaf의 성질, 특히 도파민 텐서곱과 도파민 푸시포워드를 포함한 도파민 카테고리 체계를 사용한다.
• 오르로프의 표현 정리(Orlov's representability theorem)를 적용하여, 임의의 FM 동치를 D(Y × X) 안의 커널 객체로 표현한다.
• 모듈리 공간 위의 G-작용이 자유롭게 작용할 조건을 제시하는 기준(보조정리 5.1)을 수립한다. 이는 쌍의 오일러 지표 χ(pX*F, P̃y)의 최대공약수 값이 1이면 성립한다.

실험 결과

연구 질문

• RQ1 몫 다양체 X = X̃/G 위의 푸리에-무카이 변환이 캐논컬 커버 X̃ 위의 G-등변 변환으로 올라갈 수 있는 조건은 무엇인가?
• RQ2 캐논컬 번들이 자명한 다양체 위의 G-등변 FM 변환이 몫 다양체 위의 FM 변환으로 내림내림될 수 있는 조건은 무엇인가?
• RQ3 커버 위의 코herent sheaf 모듈리 공간 위의 G-작용이 자유롭게 작용할 조건은 무엇인가? 이는 몫 다양체 위의 변환으로의 내림내림을 가능하게 한다.
• RQ4 이러한 올림 과정을 통해 에니리쿠스 및 이배리프틱 표면에 대한 새로운 FM 변환을 어떻게 구성할 수 있는가?

주요 결과

• 캐논컬 번들의 순서가 유한한 n인 매끄럽고 사영적인 다양체 사이의 임의의 FM 변환 Φ: D(Y) → D(X)는 그 캐논컬 커버 위의 Zn-등변 FM 변환 Φ̃: D(Ỹ) → D(Ẋ)로 올라간다.
• 몫 사상에 따라 당김과 밀림을 포함하는 함수자 다이어그램은 가환하며, 이는 변환 간의 호환성을 보장한다.
• G-작용이 커버 위의 모듈리 공간에서 자유롭게 작용하는 것은, 모든 X 위의 벡터 번들의 F에 대해 χ(pX*F, P̃y)의 최대공약수가 1일 때이고, 그 조건이 유일하게 성립한다.
• 에니리쿠스 표면 X에 대해, K3 커버 위의 반사 변환은 몰입되어 D(X) → D(X)의 FM 자등변환 Φ로 유도되며, 이때 Φ(𝒪x)는 특정한 짧은 완전열에 들어간다.
• 기본군이 Zn인 이배리프틱 표면 X에 대해, 커버 위의 안정 sheaf 모듈리 공간에서 유도된 새로운 FM 변환 Φ: D(Y) → D(X)를 구성한다. 이때 Φ(𝒪y)는 계수 4n인 국소적으로 자유로운 sheaf이다.
• 에니리쿠스 및 이배리프틱 표면의 경우, 두 표면 간의 임의의 도파민 동치는 그들이 서로 동형임을 의미한다. 이는 이후 논문 [5] 에서 증명된다.