[논문 리뷰] On the strange duality conjecture for abelian surfaces II

Barbara Bolognese, Alina Marian외 2명|arXiv (Cornell University)|2014. 02. 26.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 4

한 줄 요약

이 논문은 아벨 표면에 대한 르 푸티에의 이상 이중성 추측의 새로운 판을 수립하며, 고정된 결정식과 푸리에-무카이 변환의 결정식을 고정한 측면에서의 분할선 공간들 사이의 이somorphism을 증명한다. 랭크 1에서 헤이젠베르크 군 표현 이론과 프로덕트 아벨 표면에서의 푸리에-무카이 기법을 사용하여, 넓은 범위의 무카이 벡터에 대해 일반적으로 이중성을 증명하며, 테타 함수의 변화를 코딩하는 버린데 스킴이 분할선 공간 위에서 국소적으로 자유로움을 보인다.

ABSTRACT

In the prequel to this paper, two versions of Le Potier's strange duality conjecture for sheaves over abelian surfaces were studied. A third version is considered here. In the current setup, the isomorphism involves moduli spaces of sheaves with fixed determinant and fixed determinant of the Fourier-Mukai transform on one side, and moduli spaces where both determinants vary, on the other side. We first establish the isomorphism in rank one using the representation theory of Heisenberg groups. For product abelian surfaces, the isomorphism is then shown to hold for sheaves with fiber degree 1 via Fourier-Mukai techniques. By degeneration to product geometries, the duality is obtained generically for a large number of numerical types. Finally, it is shown in great generality that the Verlinde sheaves encoding the variation of the spaces of theta functions are locally free over moduli.

연구 동기 및 목표

• 아벨 표면에 대해 르 푸티에의 이상 이중성 추측의 세 번째 판을 제안하고 증명하며, 한 쪽에서는 결정식과 푸리에-무카이 변환의 결정식을 모두 고정하고, 다른 쪽에서는 둘 다 변동 가능하도록 하는 분할선 공간을 포함한다.
• 헤이젠베르크 군의 표현 이론을 사용하여 랭크 1의 경우 이상 이중성 이somorphism을 수립한다.
• 프로덕트 아벨 표면에서 피버 데그리 1인 경우를 통해 푸리에-무카이 기법을 사용하여 이중성을 확장한다.
• 프로덕트 기하학으로의 분해를 통해 넓은 범위의 수치적 유형에 대해 결과를 일반화한다.
• 테타 함수의 변화를 코딩하는 버린데 스킴이 분할선 공간 위에서 국소적으로 자유로움을 보임을 보인다.

제안 방법

• 헤이젠베르크 군의 표현 이론을 사용하여 랭크 1의 경우 이상 이중성 이somorphism을 증명한다.
• 푸리에-무카이 변환을 적용하여 고정된 결정식과 고정된 변환의 결정식을 가진 분할선 공간들을 연결한다.
• 알바누즈 사상 $\mathsf{a}: \mathsf{M}_v \to X \times \widehat{X}$의 구성, 그의 섬유들이 고정된 결정식을 가진 부분공간 $\mathsf{K}_v$를 정의한다.
• 일반 가족을 통한 결정식 선(bundle) $\Theta_F = \det \mathbf{R} p_!(\mathcal{E} \otimes q^*F)^{-1}$ 의 $\mathsf{M}_v$ 위에서의 활용.
• 프로덕트 기하학으로의 분해 기법을 사용하여 프로덕트 아벨 표면에서의 이중성 결과를 일반 아벨 표면으로 일반적으로 확장한다.
• 테타 함수 공간의 변화를 코딩하는 버린데 스킴 $\mathcal{V}(v,w)$가 분할선 공간 위에서 국소적으로 자유로움을 증명한다.

실험 결과

연구 질문

• RQ1 이상 이중성이 한 쪽에서 결정식과 푸리에-무카이 변환의 결정식을 모두 고정하고 다른 쪽에서는 둘 다 변동 가능할 때 비대칭 설정에서 성립하는가?
• RQ2 헤이젠베르크 군 표현 이론을 사용하여 랭크 1에서 이상 이중성 이somorphism을 수립할 수 있는가?
• RQ3 분해 기법을 통해 프로덕트 아벨 표면에서 일반 아벨 표면으로 이중성이 확장되는가?
• RQ4 테타 함수의 변화를 코딩하는 버린데 스킴이 분할선 공간 위에서 국소적으로 자유로운가?
• RQ5 이 새로운 이중성 설정에서 분할선 공간의 차원 사이의 정확한 수치적 관계는 무엇인가?

주요 결과

• 헤이젠베르크 군 표현 이론을 통해 랭크 1의 경우 이상 이중성 이somorphism이 성립하며, 이는 넓은 범위의 무카이 벡터에 대해 이중성을 수립한다.
• 피버 데그리 1인 프로덕트 아벨 표면에서는 푸리에-무카이 기법과 알바누즈 사상의 구조를 통해 이중성 이somorphism이 증명된다.
• 프로덕트 기하학으로의 분해를 통해 다양한 수치적 유형의 무카이 벡터에 대해 이중성이 일반적으로 성립함을 보였다.
• 이중성 사상 하에서 공간 $H^0(\mathsf{K}_v, \Theta_w)$와 $H^0(\mathsf{M}_w, \Theta_v)$가 이somorphic임을 보이며, 차원은 조합론적 공식 $\frac{d_v^2}{d_v + d_w} \binom{d_v + d_w}{d_v}$ 와 일치한다.
• 테타 함수 공간의 변화를 코딩하는 버린데 스킴 $\mathcal{V}(v,w)$가 분할선 공간 위에서 국소적으로 자유로움이 증명된다.
• $\Theta_F$에 관련된 사상 $\alpha$의 핵이 부분다양체 $\mathsf{G}_w$와 일치함을 보이며, 알바누즈 사상에 의해 이중성 조건이 확인된다.