[논문 리뷰] The birational geometry of moduli space of sheaves on the projective plane

Aaron Bertram, Cristian Martínez외 1명|arXiv (Cornell University)|2013. 01. 10.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 9

한 줄 요약

이 논문은 프로젝티브 평면 위의 Gieseker 안정층의 모듈리 공간의 비라시오널 기하학에서의 벽 교차와 Bridgeland 안정성 다양체의 미니-벽 교차 사이의 정확한 대응을 확립한다. Bridgeland 모듈리 공간의 표준 행렬식 선다발이 GIT로부터 유도된 앰플 라인다발과 일치함을 보여, (s,t)-평면에서의 벽 교차와 모듈리 공간의 비라시오널 변환 사이에 체계적인 연결 고리를 제공하며, 특히 Mori 꿈 꾸는 공간에서의 MMP를 통해 설명된다.

ABSTRACT

We describe a close relation between wall crossings in the birational geometry of moduli space of Gieseker stable sheaves $M_H(v)$ on $\bb{P}^2$ and mini-wall crossings in the stability manifold $Stab(D^b(\bb{P}^2))$.

연구 동기 및 목표

• P² 상의 Gieseker 안정층의 모듈리 공간의 비라시오널 기하학을 이해하기 위해.
• Bridgeland 안정성 다양체의 벽 교차와 모듈리 공간의 비라시오널 변환 사이의 대응을 확립하기 위해.
• v가 원시적이고 M_H(v)가 비어 있지 않으며 기약일 때, M_H(v)가 대칭적이고 앰플한 반대편 기하학을 가진 Mori 꿈 꾸는 공간임을 보여주기 위해.
• Bridgeland 모듈리 공간의 표준 행렬식 선다발 λ_{s,t}가 GIT로부터 유도된 앰플 선다발임을 보여주어 안정성 조건과 기하학적 불변량 이론 사이의 연결 고리를 확립하기 위해.

제안 방법

• P² 상의 Gieseker 안정층의 모듈리 공간 M_H(v)의 구조를 반대편 기하학의 첫 번째 캐리어를 사용하여 분석한다.
• 반대편 기하학 -K_{M_H(v)}를 J. Li의 구성에서 유도된 행렬식 선다발과 비교하여, 둘의 첫 번째 캐리어가 동일함을 보인다.
• M_H(v)가 Mori 꿈 꾸는 공간이므로, 그 허구적 콧수를 Mori 카메라로 분해하며, 각 카메라는 비라시오널 수축과 대응함을 이용한다.
• t가 감소함에 따라 NS¹(M_H(v))_ℝ 내의 경로를 구성하기 위해, Bridgeland 모듈리 공간에서의 표준 행렬식 선다발 λ_{s,t}를 M_H(v)로 당긴다.
• 기본 성분 M_P^{s,t}(v)를 도입하여 기약성과 층 유형의 일반 점을 보장한다.
• Bayer와 Macri의 K3 경우에 대한 행렬식 선다발 결과를 적용하여, λ_{s,t}가 GIT 구성 덕분에 앰플함을 보인다.

실험 결과

연구 질문

• RQ1 Bridgeland 안정성 다양체의 (s,t)-평면에서의 벽 교차는 P² 상의 모듈리 공간 M_H(v)의 비라시오널 변환과 어떻게 관련되어 있는가?
• RQ2 표준 행렬식 선다발 λ_{s,t}는 Bridgeland 안정성과 GIT 구성 사이에서 어떤 역할을 하는가?
• RQ3 왜 P² 상의 모듈리 공간 M_H(v)는 대칭적이고 앰플한 반대편 기하학을 가진다?
• RQ4 NS¹(M_H(v))_ℝ 내에서 λ_{s,t}가 그려내는 경로는 M_H(v)에서의 방향성 있는 MMP와 어떻게 대응하는가?
• RQ5 특히 벽 교차에서 Bridgeland 모듈리 공간의 예외적 지역과 분할의 기하학적 구조는 어떠한가?

주요 결과

• v가 원시적이고 M_H(v)가 비어 있지 않으며 기약일 때, 모듈리 공간 M_H(v)는 매끄럽고 -K_{M_H(v)}는 크고 앰플하므로, M_H(v)는 Mori 꿈 꾸는 공간이 된다.
• -K_{M_H(v)}의 첫 번째 캐리어는 J. Li의 구성에서 유도된 행렬식 선다발의 첫 번째 캐리어와 일치하며, 이는 Donaldson-Uhlenbeck 컴actsification로의 표준 수축을 암시한다.
• Bridgeland 모듈리 공간 M_{s,t}(v)의 표준 행렬식 선다발 λ_{s,t}는 GIT로부터 유도된 앰플 선다발과 일치하며, 이는 앰플성을 보장한다.
• s를 고정하고 t를 감소시킬 때, λ_{s,t}의 M_H(v)로의 당김은 NS¹(M_H(v))_ℝ 내의 경로를 그리며, 이는 모듈리 공간에서의 방향성 있는 MMP를 암시한다.
• Bridgeland 모듈리 공간의 주요 성분 M_P^{s,t}(v)는 일반 점들이 층을 매개함을 보장하여 일관된 비라시오널 기하학 기술을 가능하게 한다.
• Bridgeland 모듈리 공간의 분할은 프로젝티브 범주를 통해 기술되며, 주요 지역인 Sec X는 최종 벽에서 (P²)*로 수축되며, 벽 교차의 기하학을 드러낸다.