[논문 리뷰] Nef and Effective Cones on the Moduli Space of Torsion Sheaves on the Projective Plane

Matthew Woolf|arXiv (Cornell University)|2013. 05. 07.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 23

한 줄 요약

이 논문은 $
\mathbb{P}^2$ 상의 반안정 1차원 층에 대한 Simpson 모듈리 공간 $N(\mu,\chi)$ 가 $\mu \geq 3$ 일 때 Picard 수 2를 가지며, 모듈리 공간이 모리 드림 공간임을 확립하고, 그들의 네프 및 유효 콘을 완전히 계산한다. 이는 기하학적 성질과 캐논컬 맵의 예외적 역할과 같은 불변량을 사용하여, 두 모듈리 공간이 서로 동형임은 $\chi \equiv \pm \chi' \pmod{\mu}$ 인 것과 동치임을 보여준다.

ABSTRACT

In this paper, we study the divisor theory of the Simpson moduli space of semistable sheaves of dimension 1 on the projective plane. We prove that these spaces are all Mori dream spaces, and calculate their nef cones. We also study the effective cones of these spaces for most choices of numerical invariants. As a consequence, we work out precisely when two such spaces are isomorphic.

연구 동기 및 목표

• 반안정 1차원 층에 대한 Simpson 모듈리 공간 $N(\mu,\chi)$ 의 약수 이론—특히 네프 및 유효 콘—을 이해하는 것.
• 이들 모듈리 공간이 모리 드림 공간임을 증명하여, Picard 수 2임에도 불구하고 잘 조율된 비라션 기하학을 보장하는 것.
• 특히 $\mu \geq 3$ 일 때 두 모듈리 공간 $N(\mu,\chi)$ 와 $N(\mu',\chi')$ 가 언제 동형인지 정확히 규명하는 것.
• 유효 콘을 층의 코homological 불변량과 연결하고, 네프 콘을 대칭적 곡선의 곱으로 가는 사상과 같은 기하적 구조와 연결하는 것.

제안 방법

• 기하학적 기반의 스킴 이론에서의 Bridgeland 안정성 조건을 사용하여, 파생 범주 내에서의 불안정 대상과 벽을 넘는 행동을 분석하는 것.
• $N(\mu,\chi)$ 에서 $
  \mathbb{P}^2$ 상의 차수 $\mu$ 곡선 공간으로의 캐논컬 맵을 구성하고, $\mathcal{O}(1)$ 의 역상으로 특별한 약수 클래스를 정의하는 것.
• 네프 콘의 두 번째 모서리를, 곡선 상의 선다발을 통해 기술되는 피브어를 가지는 정규 사상 아래에서 앰플리터의 역상으로 식별하는 것.
• 고정된 벡터 다발 $E$ 에 대해 $h^0(E \otimes \mathcal{F})$ 가 감소하는 위치에서 유래하는 약수 클래스를 식별하여 유효 콘을 계산하는 것.
• Jordan-Hölder 분해와 S-등가류를 사용하여 반안정 층과 그 모듈리 공간을 분석하는 것.
• $N(\mu,\chi)$ 에서의 캐논컬 맵 $f: N(\mu,\chi) \to \mathbb{P}^{\binom{\mu+2}{2}-1}$ 의 예외적 역할을 분석하여, $|\epsilon|$ 에 따라 그 차원이 결정됨을 보여주는 것. 여기서 $\epsilon = \chi - \frac{1}{2}\mu(\mu-3) \mod \mu$.

실험 결과

연구 질문

• RQ1 1차원 층에 대한 모듈리 공간 $N(\mu,\chi)$ 의 네프 콘의 구조는 어떻게 되는가?
• RQ2 $N(\mu,\chi)$ 의 유효 콘은 층의 코homological 불변량, 예를 들어 $h^0(E \otimes \mathcal{F})$ 와 어떻게 관련되는가?
• RQ3 특히 $\mu \geq 3$ 일 때 두 모듈리 공간 $N(\mu,\chi)$ 와 $N(\mu',\chi')$ 가 언제 동형이 되는가?
• RQ4 캐논컬 맵 $f: N(\mu,\chi) \to \mathbb{P}^{\binom{\mu+2}{2}-1}$ 의 기하학적 성질은, 이 맵이 층의 지지를 보내는 방식으로 모듈리 공간의 비라션 유형을 어떻게 반영하는가?
• RQ5 매개변수 $\epsilon = \chi - \frac{1}{2}\mu(\mu-3) \mod \mu$ 는 예외적 역할의 차원을 통해 모듈리 공간을 어떻게 구분하는가?

주요 결과

• 모든 $\mu \geq 3$ 에 대해 모듈리 공간 $N(\mu,\chi)$ 는 모리 드림 공간이며, Picard 수 2임에도 불구하고 잘 조율된 비라션 기하학을 보장한다.
• $N(\mu,\chi)$ 의 네프 콘은 두 개의 모서리를 가지며, 하나는 $
  \mathbb{P}^2$ 상의 차수 $\mu$ 곡선 공간으로부터의 $\mathcal{O}(1)$ 의 역상에 의해 생성되고, 다른 하나는 곡선의 대칭적 곱으로 피브어를 가지는 정규 사상 아래에서 앰플리터의 역상에 의해 생성된다.
• 유효 콘은 캐논컬 클래스와, 고정된 벡터 다발 $E$ 에 대해 $h^0(E \otimes \mathcal{F})$ 가 감소하는 위치에서 유래하는 약수 클래스에 의해 생성되며, 이는 두 번째 모서리 위에 놓여 있다.
• 특히 $\mu \geq 3$ 일 때, $N(\mu,\chi) \cong N(\mu,\chi')$ 이다. 이는 $\chi \equiv \pm \chi' \pmod{\mu}$ 와 동치이며, 이는 $\epsilon = \chi - \frac{1}{2}\mu(\mu-3) \mod \mu$ 의 절대값에 의해 결정된다.
• 캐논컬 맵 $f: N(\mu,\chi) \to \mathbb{P}^{\binom{\mu+2}{2}-1}$ 의 예외적 역할의 차원은 $|\epsilon|$ 이며, 이는 $\chi \not\equiv \pm \chi' \pmod{\mu}$ 일 때 비동형인 모듈리 공간을 구분하는 데 기여한다.
• $\mu = 3$ 일 때, $N(3,1) \to \mathbb{P}^2$ 는 매끄러운 쿠빅 곡선 상의 선다발을 정의하는 점을 기억하는 사상이며, 이 사상은 비라션 사상이다.