[논문 리뷰] Moduli of Vector Bundles on Curves in Positive Characteristics

Kirti Joshi, Eugene Z. Xia|ArXiv.org|1999. 10. 04.

Material Science and Thermodynamics인용 수 4

한 줄 요약

이 논문은 특성 2인 체 위의 종수 2 곡선에서의 계수 2의 반안정 벡터(bundle)의 모듈리 공간을 연구한다. 특성 2에서, 이 중에서 페르마르-풀백(frobenius pullback)이 반안정이 되지 않는 벡터(bundle)는 정확히 하나뿐이며(순서 2인 선다발(line bundle)으로의 텐서곱을 제외하고), 이 점에서 페르마르 사상의 부정확성(indeterminacy)은 히그(bundle)를 도입하여 해결된다. 이는 양의 특성 기하학에서 핵심적인 예를 제공한다.

ABSTRACT

Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 (with determinant equal to a theta characteristic) whose Frobenius pull-back is not semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.

연구 동기 및 목표

• 특성 2인 종수 2 곡선 위의 계수 2 벡터(bundle)의 모듈리 공간에서 페르마르 사상의 행동을 이해하는 것.
• 반안정 벡터(bundle)의 페르마르-풀백이 반안정이 되지 않는 점에서 페르마르 사상의 부정확성(indeterminacy)을 분석하는 것.
• 이러한 부정확성을 모듈리 이론 프레임워크에 히그(bundle)를 도입하여 해결하는 것.
• 순서 2인 선다발로의 텐서곱 작용 하에 고정된 결정(determinant, 즉 θ-특성)을 가진 반안정 계수 2 벡터(bundle)를 분류하는 것.
• 페르마르-풀백이 반안정이 되지 않는 벡터(bundle)가 순서 2 선다발로의 텐서곱을 제외하고 정확히 하나뿐임을 증명하는 것.

제안 방법

• 특성 2인 대수적으로 닫힌 체 위의 종수 2 곡선에서 계수 2 반안정 벡터(bundle)의 모듈리 스킴에 대한 페르마르 사상의 작용을 분석하는 것.
• 반안정 벡터(bundle)의 페르마르-풀백이 반안정이 되지 않는 국소(locus)를 특정하는 것.
• 이러한 특이점에서 페르마르 사상의 부정확성을 해결하기 위해 히그(bundle) 이론을 사용하는 것.
• 특히 결정(determinant)을 θ-특성으로 고정하여 반안정성과 결정 조건을 적용하는 것.
• 변형 이론(deformation-theoretic) 및 모듈리 이론적 기법을 사용하여 순서 2 선다발로의 텐서곱을 제외한 이러한 벡터(bundle)를 분류하는 것.
• 모듈리 공간의 구조와 양의 특성에서의 페르마르 사상의 행동에 기반하는 것.

실험 결과

연구 질문

• RQ1 특성 2인 종수 2 곡선에서 계수 2 반안정 벡터(bundle)의 모듈리 공간의 구조는 어떻게 되는가?
• RQ2 어떤 반안정 벡터(bundle)들이 페르마르-풀백이 반안정이 되지 않는가?
• RQ3 반안정성을 유지하지 못하는 경우 페르마르 사상의 부정확성은 어떻게 해결할 수 있는가?
• RQ4 이러한 성질을 가진 벡터(bundle)가 순서 2 선다발로의 텐서곱을 제외하고 유일한가?
• RQ5 히그(bundle)를 사용하여 페르마르 사상에 의해 유도된 유리 사상(rational map)을 해결할 수 있는가?

주요 결과

• 결정(determinant)이 θ-특성인 반안정 계수 2 벡터(bundle) 중에서 페르마르-풀백이 반안정이 되지 않는 것은 정확히 하나의 동형류(이sovorphism class)를 가지며(순서 2 선다발로의 텐서곱을 제외하고),
• 페르마르 사상은 이 유일한 점에서만 부정확하다.
• 이 점에서 페르마르 사상의 부정확성은 모듈리 이론적 프레임워크에 히그(bundle)를 도입함으로써 해결된다.
• 이러한 벡터(bundle)의 분류는 순서 2 선다발로의 텐서곱을 제외하고 완전히 이루어졌다.
• 결과적으로, 페르마르 사상이 반안정성을 유지하지 못하는 실패와 그 해결 방법을 양의 특성 기하학에서 구체적인 예로 제공한다.
• 이 연구는 모듈리 공간의 기하학과 특성 2에서의 페르마르 사상의 행동 사이에 깊은 연결 고리를 드러낸다.