[논문 리뷰] Moduli of Admissible Pairs for Arbitrary Dimension, I: Resolution

Надежда Владимировна Тимофеева|arXiv (Cornell University)|2020. 12. 21.

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

한 줄 요약

이 논문은 비특이 복소수 프로젝티브 다양체 위의 국소 자유층으로의 표준 해석의 고차원 일반화를 제안하며, 특수하게 수정된 프로젝티브 스킴 위의 국소 자유층을 구성한다. 주요 기여는 반복적인 블로우업과 귀납적 토르션 제거를 통한 수정된 토르션 없는 해석 절차를 제안함으로써, 비국소 자유층을 포함하지 않는 벡터 번들의 모듈리 공간을 컴팩트화할 수 있도록 하는 것이다. 이는 임의의 차원에서 Kobayashi–Hitchin 대응을 유지한다.

ABSTRACT

A procedure resolving a torsion-free coherent sheaf on a nonsingular $N$-dimensional projective algebraic variety into a locally free sheaf on a projective scheme of certain class is proposed. This is a higher-dimensional analog of the resolution (called the standard resolution in previous works of the author) of coherent sheaves on a surface. The method is applicable to all existing flat families of torsion-free sheaves including those who does not contain locally free sheaves. Bibliography: 23 items Keywords: moduli space, algebraic coherent sheaves, admissible pairs, vector bundles, nonsingular algebraic variety, projective algebraic variety, moduli of vector bundles, compactification of moduli.

연구 동기 및 목표

• 표면 위의 코herent sheaf에 대한 표준 해석의 고차원 일반화를 개발하여 임의의 차원으로 확장한다.
• 비국소 자유층을 포함하지 않는 안정 벡터 번들의 모듈리 공간을 컴팩트화하는, 반정적 안정성 조건을 만족하는 쌍의 모듈리 스킴을 구성한다.
• 편의성 있는 스킴 위의 국소 자유층을 사용하여 고차원에서 Kobayashi–Hitchin 대응을 유지한다.
• 고전적인 비국소 자유층 기반 컴팩트화를 피하면서도, 대수기하학적 방법으로 벡터 번들의 모듈리 공간을 컴팩트화할 수 있는 프레임워크를 제공한다.

제안 방법

• 비특이 프로젝티브 다양체의 반복적 블로우업을 통한 해석 절차를 제안하며, 주 성분과 추가 성분을 가진 새로운 프로젝티브 스킴을 구성한다.
• 코herent sheaf의 역상에서 수정된 토르션 부분층을 정의하며, 고차원에서의 소수 이상의 코드림이 있는 소수 이상의 아이디얼과 성분 간의 절단 확장을 기반으로 한 귀납적 조건을 사용한다.
• 몫층 $\widetilde{E}_i = (\sigma_1 \circ \cdots \circ \sigma_i)^*E / \mathrm{tors}$ 를 구성하며, 여기서 $\mathrm{tors}$ 는 수정된 토르션으로, 결과로 얻어진 층이 수정된 토르션 없는 성질을 갖도록 보장한다.
• 예외적 초면 위에서의 층 행동을 분석하기 위해 평탄한 사상 $\delta_i: S_i^{\text{add}} \to D_i$ 를 사용하며, 평가 사상 $\mathrm{ev}_i^0$ 가 단사임을 보장한다.
• 블로우업의 순서 $\sigma_i = \sigma_i^0 \circ \delta_i$ 에 따라 점진적으로 구조를 적용하며, 각 단계에서 수정된 토르션 없는 성질을 유지한다.
• 직접 이미지 $\delta_{i*}\widetilde{E}_i$ 가 수정된 토르션 없는 성질을 갖는다는 것을 증명하여, 기저 변경에 대해도 해석이 잘 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 비특이 프로젝티브 다양체 위의 벡터 번들의 표준 해석을 표면에서의 해석으로부터 고차원으로 일반화할 수 있는가?
• RQ2 비국소 자유층을 도입하지 않고도 국소 자유 해석이 가능한, 고차원에서의 적절한 토르션의 정의는 무엇인가?
• RQ3 비국소 자유 층을 포함하지 않는, 편의성 있는 스킴 위의 국소 자유층을 사용하여 반정적 안정성 조건을 만족하는 벡터 번들의 컴팩트 모듈리 공간을 구성할 수 있는가?
• RQ4 수정된 토르션 없는 해석 절차가 고차원에서 Kobayashi–Hitchin 대응을 유지하는가?
• RQ5 반복적인 블로우업과 성분별 토르션 조건을 통해 해석의 구조를 어떻게 점진적으로 제어할 수 있는가?

주요 결과

• 수정된 토르션 부분층 $\mathrm{tors}$ 는 블로우업 스킴의 성분들에 대해 귀납적으로 정의되며, 절단 확장과 소수 이상의 소멸자와의 호환성을 보장한다.
• 각 해석 단계에서 $\widetilde{E}_i = (\sigma_1 \circ \cdots \circ \sigma_i)^*E / \mathrm{tors}$ 는 수정된 토르션 없는 성질을 갖는다.
• 평가 사상 $\mathrm{ev}_i^0: \delta_{i*}\widetilde{E}_i \to \sigma^{0*}_i\widetilde{E}_{i-1}/\mathrm{tors}$ 는 단사임을 보이며, 이는 기저 변경에 대한 해석의 단사성과 안정성을 보장한다.
• 직접 이미지 $\delta_{i*}\widetilde{E}_i$ 는 수정된 토르션 없는 성질을 갖는다. 이는 최종 몫층이 잘 정의되고 국소 자유층임을 보장한다.
• 이 구성은 프로젝티브 스킴 $\widetilde{S}$ 위의 국소 자유층 $\widetilde{E}$ 를 얻으며, 이는 차원 2에서의 표준 해석의 고차원 일반화이다.
• 해석 과정은 최종적으로 얻어진 페어 $((\widetilde{S}, \widetilde{L}), \widetilde{E})$ 의 모듈리 공간이 Gieseker–Maruyama 모듈리 스킴과 동형임을 보여주며, Kobayashi–Hitchin 대응을 유지한다.