[논문 리뷰] Relatively stable bundles over elliptic fibrations

C. Bartocci, U. Bruzzo외 2명|arXiv (Cornell University)|2001. 09. 18.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 상대 푸리에-무카이 변환을 사용하여 임의의 기저 스킴 위의 타원적 분할에 대한 아티야의 타원 곡선 위의 반가역 벡터(bundle) 이론을 일반화한다. 이 변환이 상대적 (반)안정성을 유지함을 증명하며, 모듈리 함수 사이의 이중성과 함께 상대적 기하 Langlands 대응의 기하적 실현을 제공한다. 이는 모듈리 공간과 상대적 잭비안의 동형사상으로 이루어진다.

ABSTRACT

We consider a relative Fourier-Mukai transform defined on elliptic fibrations over an arbitrary normal base scheme. This is used to construct relative Atiyah sheaves and generalize Atiyah's and Tu's results about semistable sheaves over elliptic curves to the case of elliptic fibrations. Moreover we show that this transform preserves relative (semi)stability of sheaves of positive relative degree.

연구 동기 및 목표

• 타원 곡선 위의 반가역 벡터(bundle) 이론의 고전적 이론을 임의의 기저 스킴 위의 타원적 분할의 상대적 설정으로 확장하기.
• 상대적 푸리에-무카이 변환을 사용하여 타원적 분할의 맥락에서 상대적 아티야 층을 정의하기.
• 상대적 푸리에-무카이 변환이 상대적 (반)안정성을 유지함을 증명하기, 특히 상대적 차수 0 이상인 층에 대해.
• 질량 n, 차수 -1인 상대적으로 안정된 층의 모듈리 공간과 상대적 잭비안 사이의 동형사상을 구성하기.
• 두 모듈리 함수 간의 이중성을 실현하기: 하나는 상대적 아티야 층을 통한 층의 확장들을 매개화하고, 다른 하나는 분할선 위에 지지된 토퍼스 서브층을 가진 층들을 매개화함.

제안 방법

• 저자들은 아벨 스킴에 대한 무카이의 구성으로 일반화된 타원적 분할 $ p: X \to B $ 위에서 정의된 상대적 푸리에-무카이 변환을 사용한다.
• 정확한 수열 $ 0 \to \mathcal{O}_C \to \mathcal{A}_n \to \mathcal{A}_{n-1} \to 0 $ 을 통해 상대적 아티야 층 $ \mathcal{A}_i $ 를 귀납적으로 정의하며, 이는 $ X $ 위의 상대적 설정으로 확장된다.
• 상대적 차수 0 이상인 층에 대해 변환을 적용하고, 압축된 상대적 잭비안 $ \widehat{X} $ 의 성질을 통해 상대적 (반)안정성과의 호환성을 증명한다.
• 상대적 푸리에-무카이 변환을 다리로 삼아, 함수들 $ \mathbf{F}^i_X(n,d) $ 와 $ \mathbf{H}^i_{\widehat{X}}(d,-n) $ 사이의 동형사상을 구성함으로써 이중성을 확립한다.
• 사상 $ (\varpi^{-1} \circ \iota, \mathbf{S}^0) $ 를 통해 $ \widehat{X} \times_B \mathcal{M}(n,d) $ 와 $ X \times_B \mathcal{M}(d,-n) $ 사이의 동형사상을 실현한다. 여기서 $ \iota $ 는 $ \widehat{X} $ 위의 쌍대화 인보리션이다.
• 구성은 기저 $ p $ 의 단일성 $ e $ 가 유도하는 상대적 편광 $ \Theta $ 와, 점들을 난류 아이디얼 층으로 보낸다. $ \varpi: X \to \widehat{X} $ 의 동형사상에 기반한다.

실험 결과

연구 질문

• RQ1 타원 곡선 위의 아티야의 반가역 벡터(bundle) 이론은 어떻게 임의의 기저 스킴 위의 타원적 분할의 상대적 설정으로 일반화될 수 있는가?
• RQ2 상대적 푸리에-무카이 변환이 타원적 분할에서 상대적 차수 0 이상인 층에 대해 상대적 (반)안정성을 유지하는가?
• RQ3 질량 $ n $ 과 차수 $ -1 $ 인 상대적으로 안정된 층의 모듈리 공간은 토퍼스 서브층이 없는 질량 1 층의 상대적 잭비안과 자연스럽게 동형이 될 수 있는가?
• RQ4 상대적 아티야 층을 통한 층의 확장들을 매개화하는 함수와, 분할선 위에 지지된 토퍼스 서브층을 가진 층들을 매개화하는 함수 사이의 정확한 이중성은 무엇인가?
• RQ5 상대적 푸리에-무카이 변환은 상대적 타원적 설정에서 기하 Langlands 대응과 어떻게 관련이 있는가?

주요 결과

• 상대적 푸리에-무카이 변환은 임의의 기저 스킴 위의 타원적 분할에서 상대적 차수 0 이상인 층에 대해 상대적 (반)안정성을 유지한다.
• 토퍼스 서브층이 없는 질량 1 층의 상대적 잭비안 $ \widehat{J}_n $ 은 질량 $ n $ 과 차수 $ -1 $ 인 상대적으로 안정된 층의 모듈리 공간 $ \mathcal{M}(n,-1) $ 과 자연스럽게 동형이다.
• 상대적 아티야 층 $ \mathcal{A}_i $ 는 귀납적 정확한 수열 $ 0 \to \mathcal{O}_C \to \mathcal{A}_n \to \mathcal{A}_{n-1} \to 0 $ 을 통해 정의되며, 이는 $ X $ 위의 상대적 설정으로 확장된다.
• 상대적 푸리에-무카이 변환을 통해 함수들 $ \mathbf{F}^i_X(n,d) $ 와 $ \mathbf{H}^i_{\widehat{X}}(d,-n) $ 는 동형이 되며, 이는 확장 클래스와 분할선 위의 토퍼스 층 사이의 이중성을 확립한다.
• 사상 $ \widehat{X} \times_B \mathcal{M}(n,d) \cong X \times_B \mathcal{M}(d,-n) $ 는 사상 $ (\varpi^{-1} \circ \iota, \mathbf{S}^0) $ 를 통해 실현되며, 여기서 $ \iota $ 는 쌍대화 인보리션이고 $ \mathbf{S}^0 $ 은 모듈리 공간 위의 이중성을 유도한다.
• 결과는 라우몬의 기하 Langlands 대응을 상대적 타원적 경우로 일반화하며, 드리프린트의 프레임워크에서 연산자 $ S $ 와 $ T_p $ 의 이중성을 실현한다.