조이스 불변량과 K3 표면의 모크 세타 함수

본 논문은 K3 표면 X와 그 유도된 삼각범주 D(X) 위의 안정조건을 중심으로 조이스가 제안한 불변량 체계를 정밀히 전개한다. 먼저 Bridgeland가 정의한 안정조건 σ=(Z,P)의 기본 구조를 복습하고, 중앙 전하 Z가 Mukai 벡터와 어떻게 연결되는지를 설명한다. 조이스 불변량 Jα(σ)는 모티브 불변량 I를 이용해 모듈리 스택 Mα(σ)의 동형류를 측정하는데, I는 Artin 스택의 동형류에 대해 곱셈적 성질과 분할 법칙을 만족하는 링 Λ 위의 원소이다. 정리 1.1에서는 수치적으로 충실한(stable) 안정조건 σ와 σ′에 대해 I(Mα(σ))=I(Mα(σ′))임을 증명한다. 여기서 ‘수치적으로 충실’이란 Okada가 정의한 개념으로, 임의의 실수 위상 r에 대해 해당 위상에 속하는 반정준 객체들의 Mukai 벡터가 원시 벡터 v의 정수배로 표현될 수 있음을 의미한다. 이러한 충실한 안정조건은 Stab∗(X) 안에서 조밀하게 존재한다는 점이 핵심이다. 다음으로 구면 클래스(α·α=2)를 중심으로 Corollary 1.2를 도출한다. 구면 클래스에 대해 M_{nα}(σ)는