[논문 리뷰] Structure of the moduli of stable sheaves on elliptic fibrations

Daniel Hernández Ruipérez, José M. Muñoz Porras|arXiv (Cornell University)|1998. 09. 04.

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

한 줄 요약

이 논문은 타원 표면 위의 무토션층의 모듈리 공간의 부분스키마를 기술하며, 상대 차수 0인 안정층에 대해 그 것이 상대 플라톤-무카이 변환을 통해 기저에 대해 평탄한 곡선의 상대 컴act화된 심슨 제로비안과 동형임을 보여준다. 주요 결과는 이러한 부분스키마가 연결 성분들의 합집합을 이룬다는 것이다. 이는 프리드먼, 모건, 위튼의 이전 연구를 일반화한 것이다.

ABSTRACT

We characterize the subscheme of the moduli space of torsion-free sheaves on an elliptic surface which are stable of relative degree zeero (with respect to a polarization of type aH+bf, H being the section and f the elliptic fibre) which is isomorphic, via the relative Fourier-Mukai transform, with the relative compactified Simpson Jacobian of the family of those curves D in the surface which are flat over the base of the elliptic fibration. The main result is that this subscheme is a union of connected components. This generalizes and completes earlier constructions due to Friedman, Morgan and Witten. We also study the relative moduli scheme of sheaves whose restriction to each fibre is torsion-free and semistable of rank n and degree zero for higher dimensional elliptic fibrations. The relative Fourier-Mukai transform induces an isomorphic between this relative moduli space and the relative n-th symmetric product of the fibration.

연구 동기 및 목표

• 타원 표면 위의 무토션층의 모듈리 공간에서 상대 차수 0인 안정층의 부분스키마를 기술하는 것.
• 이 부분스키마와 기저에 대해 평탄한 곡선의 상대 컴act화된 심슨 제로비안 사이의 동형을 확립하는 것.
• 프리드먼, 모건, 위튼이 이전에 타원 구조의 층의 모듈리에 대해 수행한 구성들을 일반화하고 완성하는 것.
• 차원이 높은 타원 구조에 대해 분석을 확장하여, 각 섹션에서 랭크 n, 차수 0인 무토션, 준안정 제약 조건을 갖는 층에 초점을 맞추는 것.
• 상대 플라톤-무카이 변환을 통해 이러한 층의 상대 모듈리 공간이 구조의 상대 n차 대칭곱과 동형임을 보이는 것.

제안 방법

• 모듈리 공간의 층과 제로비안, 대칭곱 사이의 관계를 유도하기 위해 상대 플라톤-무카이 변환을 이중성 도구로 사용하는 것.
• H가 단면이고 f가 섹션인 형식 aH + bf의 극화에 대해 상대 차수 0인 층을 분석하는 것.
• 기저에 대해 평탄한 곡선의 상대 컴act화된 심슨 제로비안 이론을 적용하여, 섹션 위의 무토션, 준안정 층의 모듈리 기술하는 것.
• 타원 구조의 구조와 표면 내 곡선 D의 평탄성 조건을 활용하여 기저와의 호환성을 보장하는 것.
• 각 섹션에서 고정된 랭크 n과 차수 0을 갖는 층을 고려하여 고차원 타원 구조로 구성의 확장을 수행하는 것.
• 플라톤-무카이 변환을 통해 이러한 층의 상대 모듈리 공간과 상대 n차 대칭곱 사이의 동형을 확립하는 것.

실험 결과

연구 질문

• RQ1 타원 표면 위의 무토션층의 모듈리 공간에서 상대 차수 0인 안정층의 부분스키마의 구조는 어떻게 되는가?
• RQ2 상대 플라톤-무카이 변환은 이 부분스키마를 기저에 대해 평탄한 곡선의 상대 컴act화된 심슨 제로비안과 어떻게 연결하는가?
• RQ3 이 부분스키마는 모듈리 공간 내에서 연결 성분들의 합집합인가?
• RQ4 랭크 n과 차수 0인 준안정 층의 상대 모듈리 공간과 상대 n차 대칭곱 사이의 동형은 고차원 타원 구조에서 확립될 수 있는가?
• RQ5 이러한 결과는 프리드먼, 모건, 위튼의 이전 연구를 어떻게 일반화하거나 완성하는가?

주요 결과

• 상대 차수 0인 안정 층의 부분스키마는 상대 플라톤-무카이 변환을 통해 기저에 대해 평탄한 곡선의 상대 컴act화된 심슨 제로비안과 동형이다.
• 이 부분스키마가 무토션층의 모듈리 공간 내에서 연결 성분들의 합집합임을 보여주었다.
• 상대 플라톤-무카이 변환은 각 섹션에서 랭크 n, 차수 0인 무토션, 준안정 제약 조건을 갖는 층의 상대 모듈리 공간과 구조의 상대 n차 대칭곱 사이의 동형을 유도한다.
• 결과는 프리드먼, 모건, 위튼이 타원 구조의 층의 모듈리에 대해 수행한 이전 구성들을 일반화하고 완성한다.
• 동형은 고차원 타원 구조의 맥락에서도 성립하며, 이중성은 더 넓은 범주의 다양체로 확장된다.
• 안정성, 평탄성, 플라톤-무카이 이중성의 상호작용을 통해 모듈리 공간의 구조가 완전히 기술된다.