[논문 리뷰] Line bundles associated with normal surface singularities

András Némethi|arXiv (Cornell University)|2003. 10. 06.

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

한 줄 요약

이 논문은 정상 표면 특이점의 기하학적 종수와 그 링크의 Seiberg-Witten 불변량 사이의 추측적 연관성을 해석적 분해상의 헬름홀로 라인 번들에 의해 수립한다. 자연스러운 라인 번들을 구성하여 피카르 정확수열을 분해하고, 오즈바르스-수바 호모로지 불변량을 사용할 때 유리 특이점에 대해 추측이 성립함을 증명한다.

ABSTRACT

Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$ associated with the ``canonical'' $spin^c$ structure of $M$. Since the Seiberg-Witten theory of the link $M$ provides a rational number for any $spin^c$ structure it was a natural challenge to search for a complete set of conjecturally valid identities, which involve all the Seiberg-Witten invariants (giving an analytic -- i.e. singularity theoretical -- interpretation of them). The formulation of this set of identities is one of the goals of the present article. In fact, we formulate conjecturally valid inequalities which became equalities in special rigid situations. In this way, the Seiberg-Witten invariants determine optimal topological upper bounds for the dimensions of the first sheaf-cohomology of line bundles living on the resolution. Moreover, for $\Q$-Gorenstein singularities and some ``natural'' line bundles equality holds. The first part of the article constructs these ``natural'' holomorphic line bundles. The line-bundle construction is compatible with abelian covers. This allows us to reformulate the conjecture in its second version which relates the echivariant geometric genus (associated with the universal abelian cover of the singular germ) with the Seiberg-Witten invariants of the link $M$. In the last section we verify the conjecture for rational singularities.

연구 동기 및 목표

• 정상 표면 특이점의 링크에 대한 Seiberg-Witten 불변량과 특이점의 해석적 불변량을 연결하는 완전한 추측적 항등식 집합을 구성하는 것.
• 정상 표면 특이점의 분해상에 자연스러운 헬름홀로 라인 번들을 구성하여 피카르 정확수열을 분해하는 것.
• 특이점의 아벨 쌍대를 사용하여 추측을 일반화하고, 등변 기하학적 종수와 링크 불변량을 사용하는 것.
• 오즈바르스-수바 호모로지와 Seiberg-Witten 이론을 사용하여 유리 특이점의 경우 추측을 검증하는 것.
• 호모로지 클래스의 두 가지 다른 상향 $ l'_{e}(h) $ 와 $ \bar{l}'_{ne}(h) $ 사이의 차이를 명확히 하고, 기하학적 종수 계산에 미치는 영향을 분석하는 것.

제안 방법

• 정상 표면 특이점 $ (X,0) $ 의 분해상 $ \tilde{X} $ 에 자연스러운 헬름홀로 라인 번들을 구성하며, 교차 형식 행렬의 역행렬 $ B^{-1} $ 을 사용하여 $ D_j $ 를 제일 열로 정의한다.
• 교차 형식을 통한 $ L' \cong \text{Hom}(L, \mathbb{Z}) $ 의 식별을 이용해 $ D_j $ 를 $ L_{\mathbb{Q}} $ 에 통합하여 $ (D_j, E_i) = \delta_{ji} $ 를 확보한다.
• 두 가지 양성 조건을 정의한다: $ L_{\mathbb{Q},e} $ 에서의 유효 사이클과 $ -NE_{\mathbb{Q}} $ 에서의 수치적으로 유효한 사이클이며, $ l'_{e}(h) $ 와 $ \bar{l}'_{ne}(h) $ 는 $ l' + L $ 내의 최소 대표자이다.
• 기본 특성 원소 $ K \in L' $ 를 $ (K, E_j) = -E_j^2 - 2 $ 를 만족하도록 정의하고, $ K + 2l' $ 을 사용하여 $ spin^c $ 구조의 대표자 $ k_r $ 를 정의한다.
• 논문 [13] 에서 얻은 항등식 $ -\text{sw}^{OSz}_{M,[k]} = \frac{k_r^2 + s}{8} $ 을 활용하여 Seiberg-Witten 불변량과 $ k_r $ 의 제곱을 연결한다.
• 유리 경우에 대해 $ h^1(\mathcal{O}_{\tilde{X}}(l')) = 0 $ 이고, 추측적 항등식의 양변이 모두 0이 됨을 보여 추측을 검증한다.

실험 결과

연구 질문

• RQ1 링크 $ M $ 의 모든 Seiberg-Witten 불변량을 특이점의 해석적 불변량과 연결하는 완전한 항등식 집합을 구성할 수 있는가?
• RQ2 호모로지 클래스 $ h $ 의 두 가지 다른 상향 $ l'_{e}(h) $ 와 $ \bar{l}'_{ne}(h) $ 는 아벨 쌍대의 기하학적 종수에 어떤 영향을 미치는가?
• RQ3 기하학적 종수와 Seiberg-Witten 불변량 사이의 추측적 항등식이 유리 특이점에서 성립하는가?
• RQ4 $ \mathbb{Q} $-고렌스타인 조건이 추측적 공식에서 등식을 보장하는 데 어떤 역할을 하는가?
• RQ5 유일한 아벨 쌍대의 등변 기하학적 종수는 링크의 Seiberg-Witten 불변량과 어떻게 관련되는가?

주요 결과

• 오즈바르스-수바 호모로지 불변량을 사용할 경우, 유리 특이점에서 기하학적 종수와 Seiberg-Witten 불변량 사이의 추측이 성립함을 보여, 항등식의 양변이 모두 0이 되는 것으로 확인된다.
• 유리 특이점에서 $ l' = l'_{ne}(h) $ 일 때 $ h^1(\mathcal{O}_{\tilde{X}}(l')) = 0 $ 이며, 이는 라인 번들이 고차 코hom로지가 없음을 의미한다.
• 항등식 $ p_g(X_a,0)_{\theta(h)} = \frac{(K + 2\bar{l}'_{ne}(h))^2 - (K + 2l'_{e}(h))^2}{8} $ 이 성립하며, 제곱 차이가 각 고유공간의 기하학적 종수를 반영한다.
• 일반적으로 $ l'_{e}(h) $ 와 $ \bar{l}'_{ne}(h) $ 는 같지 않으며, $ A_4 $ 특이점 예시에서 이를 확인할 수 있지만, 그 오일러 특성은 일치한다.
• 이중 그래프 $ -2, -3, -3, -3 $ 의 예에서 $ p_g(X_a,0)_{\chi} = 1 $ 이며, 이는 아벨 쌍대가 유리가 아니며 해상에서 단일의 종수 1 곡선이 존재함을 보여준다.
• 공액 특성 $ \bar{\chi} $ 에 대해 $ p_g(X_a,0)_{\bar{\chi}} = 0 $ 이며, 고유공간 분해가 비자명하고 공식과 일치함을 확인한다.