[논문 리뷰] Invariants of moduli spaces of stable sheaves on ruled surfaces

Sergey Mozgovoy|arXiv (Cornell University)|2013. 02. 17.

Advanced Algebra and Geometry참고 문헌 15인용 수 22

한 줄 요약

이 논문은 동차 표면 위의 임의의 계수를 가진 안정층의 모듈리 공간의 베텋티 수를 모티브 측도와 벽을 넘는 기법을 사용하여 계산한다. 이는 계수 1일 때의 Göttsche 공식과 계수 2일 때의 Yoshioka 공식을 일반화하며, 기저 곡선의 모티브 제타 함수와 벡터 번들의 스택을 포함하는 생성 함수를 유도하여 Hirzebruch 표면에서 Manschot의 추측을 확인한다.

ABSTRACT

We compute Betti numbers of the moduli spaces of arbitrary rank stable sheaves on ruled surfaces. Our result generalizes the formula of Goettsche for rank one sheaves and the formula of Yoshioka for rank two sheaves. It also confirms the conjecture of Manschot for arbitrary rank sheaves on the Hirzebruch surfaces.

연구 동기 및 목표

• 동차 표면 위의 임의의 계수를 가진 안정층의 모듈리 공간의 베텋티 수를 계산한다.
• 계수 1인 층에 대한 Göttsche의 공식과 계수 2인 층에 대한 Yoshioka의 공식을 일반화한다.
• Hirzebruch 표면에서 f-준안정층의 불변량에 대한 Manschot의 추측을 확인한다.
• 기저 곡선의 모티브 제타 함수와 모티브 측도를 사용하여 불변량의 생성 함수를 수립한다.
• 벽을 넘는 기법과 붕괴 공식을 통해 임의의 극화에 대한 불변량 계산을 가능하게 한다.

제안 방법

• 기울기 f-준안정층의 모듈리 스택 위에서 Poincaré 다항식 또는 점 수 측도인 모티브 측도 μ를 사용한다.
• 동차 표면 위의 다양한 극화에 대해 불변량을 연결하기 위해 벽을 넘는 공식을 적용한다.
• P²와 Hirzebruch 표면 Σ₁ 사이의 불변량을 연결하기 위해 붕괴 공식을 활용한다.
• 기저 곡선 C의 모티브 제타 함수 Z_C(t)와 차수 0의 벡터 번들의 스택 Bun_{C,r}을 포함하는 생성 함수를 유도한다.
• 판별식과 체르누의 클래스의 구조를 이용하여 불변량을 정수 가중치의 합으로 표현하며, 이는 이차 형식을 따른다.
• 일반적인 섹션의 준안정성과 f-준안정성의 동치성을 이용한다. 이는 동일한 차수의 선다발의 직합으로 이루어진다.

실험 결과

연구 질문

• RQ1 동차 표면 위의 임의의 계수를 가진 안정층의 모듈리 공간의 베텋티 수에 대한 생성 함수는 무엇인가?
• RQ2 다른 극화에 대해 안정층의 모듈리 공간 불변량은 벽을 넘는 과정에서 어떻게 변하는가?
• RQ3 Hirzebruch 표면에서 f-준안정층의 불변량에 대한 Manschot의 추측은 임의의 계수에 대해 확인될 수 있는가?
• RQ4 기저 곡선의 모티브 제타 함수는 이러한 불변량을 계산하는 데 어떤 역할을 하는가?
• RQ5 붕괴 공식은 어떻게 P²와 Σ₁의 불변량을 Hirzebruch 표면을 통해 연결하는 데 사용되는가?

주요 결과

• f-준안정층의 모듈리 공간에 대한 생성 함수는 Z̃_f(r,c₁) = μ(Bun_{C,r}) × ∏_{k≥1} ∏_{i=-r}^{r-1} Z_C(q^{rk+i} t^k) 로 주어지며, 이는 Manschot의 추측을 확인한다.
• 국소 자유 층의 경우 생성 함수는 Z̃_f°(r,c₁) = μ(Bun_{C,r}) × ∏_{k≥1} ∏_{i=1}^{r-1} Z_C(q^{rk+i} t^k) / Z_C(q^{rk-i} t^k) 로 주어진다.
• 스택 Bun_{C,r}의 모티브 측도는 μ(Bun_{C,r}) = μ(Jac C)/(q−1) × ∏_{i=1}^{r−1} Z_C(q^i) 로 주어진다.
• r이 f·c₁을 나누지 않으면, 모든 c₂ ∈ ℤ 에 대해 모듈리 공간 M_f(r,c₁,c₂) 는 공집합이다.
• 이 공식은 계수 1일 때의 Göttsche 결과와 계수 2일 때의 Yoshioka 공식을 일반화한다.
• 벽을 넘는 기법과 붕괴 공식을 통해 임의의 극화에 대한 불변량 계산이 가능하며, P²와 Σ₁에 대한 적용 사례로 이를 입증하였다.