[논문 리뷰] Degeneration of SL(n)-bundles on a reducible curve

Xiaotao Sun|ArXiv.org|2001. 12. 07.

Algebraic Geometry and Number Theory인용 수 11

한 줄 요약

이 논문은 두 개의 매끄러운 성분이 하나의 노드에서 만날 때의 분열된 곡선 위의 $SL(n)$-_bundle에 대한 모듈리 해석을 수립한다. 구멍이 있는 곡선에서 행렬식 조건을 만족하는 반순서적이고 토르션 없는 층을 분류하는 모듈리 함자 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$를 정의함으로써, 컴actified 모듈리 공간의 특수 섹션은 유니버설 코레프레젠테이션을 갖는 축약되고, 준정규적인 다양체임을 증명한다. 이는 팔링스가 $Sp(n)$과 $O(n)$에 대해서는 진전을 이뤘지만 여전히 열려 있던 $SL(n)$-bundles의 경우에 대해 해결한다.

ABSTRACT

We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.

연구 동기 및 목표

• 두 개의 매끄러운 성분이 노드에서 만날 때의 분열 곡선 위의 반순서적 $SL(n)$-bundles의 모듈리 공간에 대한 모듈리 이론적 컴팩티피케이션을 제공한다.
• 이전에 팔링스에 의해 해결되지 않은 $SL(n)$-bundles의 분열 프로그램에서의 열린 케이스를 해결한다. $Sp(n)$과 $O(n)$에 대한 진전에도 불구하고 이는 여전히 미해결 상태였다.
• 모듈리 공간의 분열 섹션을 주어진다. 이는 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$의 보편 코레프레젠테이션을 제공하는 모듈리 함자 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$를 정의하는 것이다.
• 분열된 모듈리 공간이 $\mathcal{X}_0 \setminus \{x_0\}$에서 행렬식 조건을 만족하는 반순서 층의 $s$-등가류에 대응하는 축약되고, 준정규적인 다양체임을 보여준다.

제안 방법

• 고정된 계수 $n$, 오일러 지표 $\chi$를 가지며 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$를 만족하는 $\mathcal{O}_S$-평탄한 반순서 층을 분류하는 모듈리 함자 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$를 정의한다.
• GIT와 몫 구성 방법을 사용하여 $\mathcal{X}_0$ 위의 반순서적 토르션 없는 층의 모듈리 공간의 닫힌 부분스킴으로서 모듈리 공간 $S\mathcal{U}_{\mathcal{X}_0}$를 구성한다.
• 지역 변형 함자 분석과 행렬식 사상의 형식적 미분 가능성에 기반하여 $S\mathcal{U}_{\mathcal{X}_0}$가 축약되고 준정규적임을 증명한다.
• $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 조건을 사용하여 분열 영역을 특성화하고, 곡선이 분열함에 따라 $SL(n)$-bundles의 극한 점을 정확히 포괄함을 보여준다.
• [F2]와 [NS]의 결과를 적용하여, 모듈리 공간의 점에서의 국소 환은 행렬 관계 $\mathbb{X}\mathbb{Y} = t$, $\mathbb{Y}\mathbb{X} = t$로 정의된 특이점의 완비화와 동형임을 보이며, 이는 정규 케이스에서의 미분 가능성임을 암시한다.
• 기저 $B$ 위의 가닥에서의 전문화와 닫힘 추론을 통해 반순서적 $SL(n)$-bundles의 모듈리 공간의 분열이 $S\mathcal{U}_{\mathcal{X}_0}$로 정확히 주어진다는 것을 확립한다.

실험 결과

연구 질문

• RQ1 노드를 가진 분열 곡선에서 $SL(n)$-bundles의 모듈리 공간을 컴팩티피케이션하는 데 적합한 기하적 대상은 무엇인가?
• RQ2 어떻게 층 이론적 조건을 통해 $SL(n)$-bundles의 모듈리 공간의 분열 섹션을 특성화할 수 있는가?
• RQ3 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 조건이 분열 과정에서 $SL(n)$-bundles의 극한 점을 유일하게 특성화하는가?
• RQ4 이러한 층의 모듈리 공간은 축약되고 준정규적인가? 그리고 분열을 유니버설 코레프레젠테이션으로 갖는가?
• RQ5 분열점 근처의 모듈리 공간의 국소 구조는 행렬 특이점 모델을 통해 기술할 수 있는가?

주요 결과

• $S\mathcal{U}_{\mathcal{X}_0}$는 모듈리 함자 $S\mathcal{U}_{\mathcal{X}_0}^{\natural}$를 유니버설 코레프레젠테이션으로 갖는다. 이는 분열 곡선 위의 반순서적 $SL(n)$-bundles의 모듈리 공간에 대한 컴팩티피케이션을 제공한다.
• $S\mathcal{U}_{\mathcal{X}_0}$의 닫힌 점들은 정확히 $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$를 만족하는 반순서 층의 $s$-등가류에 해당하며, 이는 분열 섹션의 올바른 기하학적 해석을 확인한다.
• 스킴 $S\mathcal{U}_{\mathcal{X}_0}$는 축약되고 준정규적이며, 이는 모듈리 공간이 임베디드 성분이나 비축약적 구조를 갖지 않음을 보장한다.
• $S\mathcal{U}_{\mathcal{X}_0}$의 임의의 점에서의 국소 환은 $\mathbb{X}\mathbb{Y} = t$, $\mathbb{Y}\mathbb{X} = t$로 정의된 특이점의 완비화와 동형이며, 이는 곡선이 정규일 경우 모듈리 공간이 정규임을 암시한다.
• 반순서적 $SL(n)$-bundles의 모듈리 공간의 분열은 기저 $B$ 위의 가닥에서의 전문화와 닫힘 추론을 통해 정확히 $S\mathcal{U}_{\mathcal{X}_0}$로 주어진다.
• $\det(E|_{X^0}) \cong \mathcal{L}|_{X^0}$ 조건은 반순서 층이 분열 섹션에 속하기 위해 필수적이며 동시에 충분함을 보여주며, 이는 모듈리 프로그램의 핵심 기술적 문제를 해결한다.