[논문 리뷰] BPS invariants of semi-stable sheaves on rational surfaces

Jan Manschot|arXiv (Cornell University)|2011. 09. 22.

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

한 줄 요약

이 논문은 랭크 ≤3인 유비쿼터리 표면, 특히 히르체브루흐 표면 $\Sigma_\ell$와 $\mathbb{P}^2$ 위의 반안정층에 대한 BPS 불변량—정련된 초대칭 지수—를 체계적으로 계산하기 위한 방법을 개발한다. 표준 불변량이 0이 되거나 $\gcd(c_1\cdot H, r) = 1$ 조건이 성립하지 않을 경우를 다루기 위해 확장된 하드러-나라시마 필터링과 일반화된 붕괴 공식을 도입하여 명시적인 곱공식 생성함수를 도출하고, $\gcd(r,c_1)=1$ 조건 하에서 기존 결과와의 일치를 확인한다.

ABSTRACT

BPS invariants are computed, capturing topological invariants of moduli spaces of semi-stable sheaves on rational surfaces. For a suitable stability condition, it is proposed that the generating function of BPS invariants of a Hirzebruch surface takes the form of a product formula. BPS invariants for other stability conditions and other rational surfaces are obtained using Harder-Narasimhan filtrations and the blow-up formula. Explicit expressions are given for rank <4 sheaves on a Hirzebruch surface or the projective plane. The applied techniques can be applied iteratively to compute invariants for higher rank.

연구 동기 및 목표

• 히르체브루흐 표면 $\Sigma_\ell$와 $\mathbb{P}^2$ 위의 랭크 ≤3 반안정층에 대한 BPS 불변량을 계산하는 것—특히 안정성 조건으로 인해 표준 불변량이 0이 되는 경우를 다루기 위해.
• 원래의 붕괴 공식이 제한하는 $\gcd(c_1\cdot H, r) = 1$ 조건을 초월하여 BPS 불변량의 생성함수 적용 범위를 넓히는 것.
• 확장된 하드러-나라시마 필터링을 이용한 재귀적 방법을 개발하여 경계면의 안정성 경계를 넘어서 불변량을 계산하는 것.
• 모듈라이 공간의 가상 푸앵카레 다항식과 베티 수에 대한 명시적 표현을 제공하고, $\gcd(r,c_1)=1$ 조건 하에서 알려진 결과와의 일치를 검증하는 것.

제안 방법

• 비엄격한 안정성 순서 $p_J(E_i,n) \succeq p_J(E_{i+1},n)$를 갖는 확장된 HN 필터링을 도입하여, 경계를 넘는 계산을 체계적으로 수행할 수 있도록 한다.
• Eq. (4.2)를 $\Sigma_\ell$ 위의 층에 대해 반안정성 조건이 만족되는 섬유 $f$에 대해 가상 푸앵카레 함수의 생성함수로 제안하며, Eq. (4.9)를 통해 가상 호지 함수로 일반화한다.
• 확장된 HN 필터링에 해당하는 생성함수의 뺄셈을 통해 경계를 넘는 기법을 적용한다 (Eq. (5.8)); 이는 곡선 위의 벡터층에서 사용된 기법과 유사하다.
• 일반화된 붕괴 공식을 사용하여 $\tilde{\mathbb{P}}^2$ 위의 불변량을 $\mathbb{P}^2$ 위의 불변량과 연결하며, $\gcd(c_1\cdot H, r)=1$ 제약 조건을 초월한다.
• $\mu$-안정 불변량을 Eq. (5.8)의 불변량을 통해 기하학적 안정 불변량으로 변환하여, 고랭크에 대한 BPS 불변량의 재귀적 계산을 가능하게 한다.
• 모듈러 형식과 제타 함수(예: $h_{r,0}(z,\tau)$)를 사용하여 생성함수를 표현하고, $\frac{1}{3}h_{1,0}(3z,3\tau)$를 빼고 나서 최종적으로 베티 수를 추출한다.

실험 결과

연구 질문

• RQ1 표준 붕괴 공식이 $\gcd(c_1\cdot H, r) \neq 1$ 인 경우 실패할 때, 랭크 ≤3 반안정층에 대한 BPS 불변량은 어떻게 계산할 수 있는가?
• RQ2 확장된 하드러-나라시마 필터링은 경계면의 안정성 경계를 넘어서 BPS 불변량을 계산하는 데 어떤 역할을 하는가?
• RQ3 $\Sigma_\ell$ 위의 BPS 불변량 생성함수와 $\mathbb{P}^2$ 위의 생성함수 사이에는 붕괴 공식을 통해 어떤 관계가 있는가?
• RQ4 $\gcd(r,c_1) > 1$ 인 경우, 모듈라이 공간의 계산된 베티 수는 토릭 국소화로 얻은 오일러 수와 얼마나 일치하는가?
• RQ5 이 방법은 랭크 3을 초월하는 고랭크 층에 대한 BPS 불변량 계산으로 일반화될 수 있는가?

주요 결과

• 적절한 투영 구조를 갖는 $\Sigma_\ell$ 위의 BPS 불변량 생성함수는 랭크 $r \geq 1$에 대해 곱공식 (Eq. (4.2))로 주어지며, $c_1 \cdot f \not\equiv 0 \mod r$ 인 경우에도 유효하다.
• $r=3$, $c_1=0$, $3 \leq c_2 \leq 6$ 인 경우, $\mathbb{P}^2$ 위의 모듈라이 공간의 베티 수 $b_n$은 명시적으로 계산되어 표 1에 나열되어 있으며, $c_2 = 3,4,5,6$에 대해 각각 $\chi = 18, 216, 1512, 8109$이다.
• 모든 $c_2 \geq 3$에 대해 첫 번째 비영인 베티 수 $b_0 = 1$이며, $c_2=3$일 때 $b_2 = 1$이며, $c_2$가 증가함에 따라 증가한다. 이는 기대되는 복소수 차원 $\dim_{\mathbb{C}}\mathcal{M} = 2c_2 - 3$과 일치한다.
• 표준 결과가 $\gcd(r,c_1)=1$ 조건 하에서 정확히 재현되며, Refs. [26, 28, 32, 22]의 $\mu$-안정 지역과의 일치를 확인한다.
• $\gcd(r,c_1) > 1$ 인 경우, 계산된 BPS 불변량은 $\mu$-안정 지역의 오일러 수와 다름을 보이며, 반안정 경우에서 BPS 불변량과 오일러 특성수 사이에 비트리비얼한 차이가 있음을 시사한다.
• 확장된 HN 필터링과 경계를 넘는 기법을 기반으로 한 재귀적 절차는 고랭크에 대한 BPS 불변량의 반복적 계산을 가능하게 하며, 랭크 3 결과를 일반화한다.