[논문 리뷰] The chi-y genera of relative Hilbert schemes for linear systems on Abelian and K3 surfaces

Lothar Göttsche, Vivek Shende|arXiv (Cornell University)|2013. 07. 16.

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

한 줄 요약

이 논문은 아벨 및 K3 표면의 곡선 선형 계열 위 상대 Hilbert 스킴의 $\chi_{-y}$ 성질에 대해 준-야코비 형식의 명시적 공식을 유도한다. 보편 타우토로지적 적분과 모듈라 성질을 사용하여 카와이, Maulik-Pandharipande-Thomas의 결과를 일반화하고 Göttsche-Shende의 추측을 확장하며, 이러한 성질에 대한 생성 함수가 준-야코비 형식과 모듈라 함수로 표현 가능하다는 것을 증명한다. 특히 $\chi_{-y}$-성질과 $\Delta(y,q)$와 같은 모듈라 형식을 포함한 명시적 닫힌 형태로 표현 가능하다.

ABSTRACT

For an ample line bundle on an Abelian or K3 surface, minimal with respect to the polarization, the relative Hilbert scheme of points on the complete linear system is known to be smooth. We give an explicit expression in quasi-Jacobi forms for the chi-y genus of the restriction of the Hilbert scheme to a general linear subsystem. This generalizes a result of Yoshioka and Kawai for the complete linear system on the K3 surface, a result of Maulik, Pandharipande, and Thomas on the Euler characteristics of linear subsystems on the K3 surface, and a conjecture of the authors.

연구 동기 및 목표

• 아벨 및 K3 표면의 곡선 선형 계열 위 상대 Hilbert 스킴의 $\chi_{-y}$ 성질에 대한 보편 공식을 유도하는 것.
• 기존의 오일러 특성 및 정밀 곡선 수에 대한 결과를 $\chi_{-y}$ 성질 설정으로 일반화하는 것.
• Göttsche와 Shende가 제기한 아벨 및 K3 표면 위 상대 Hilbert 스킴에 대한 $\chi_{-y}$ 성질 생성 함수에 대한 추측을 증명하는 것.
• 이러한 성질에 대한 생성 함수가 준-야코비 형식과 모듈라 함수(예: $\Delta(y,q)$ 및 보편 배럴의 $\chi_{-y}$-성질)로 표현 가능하다는 것을 확립하는 것.

제안 방법

• 저자들은 아벨 및 K3 표면 위 상대 Hilbert 스킴의 $\chi_{-y}$ 성질에 대해 생성 함수 $\mathbb{I}$, $\mathbb{I}$, $\mathbb{I}$, $\mathbb{I}$를 정의하며, $t$와 $q$ 변수를 사용해 $n$과 $g$를 표현한다.
• 정규화된 성질 $\overline{\chi}_{-y}(M) = y^{-\dim M/2} \chi_{-y}(M)$를 정의하고, 캐런 루트를 통한 벡터 배럴에 대해 $X_{-y}(E)$를 정의한다.
• 핵심 기법은 생성 함수 $\mathbb{A}$와 $\mathbb{K}$를 모듈라 형식과 준-야코비 형식으로 표현하는 것으로, 특히 함수 $X_{-y}(x)$와 모듈라 디스criminant $\widetilde{\Delta}(y,q)$를 사용한다.
• 라그랑주 역행렬 공식을 적용하여 거듭제곱 급수 $\varepsilon(z_2)$를 역행렬화하고, $\mathbb{A}$와 $\mathbb{K}$를 $\widetilde{DG}_2(y,q)$와 $\widetilde{\Delta}(y,q)$로 명시적으로 표현한다.
• 기존의 타우토로지적 적분과 보편성 결과를 활용하여, $\chi_{-y}$ 성질이 표면과 선다발의 캐런 클래스에만 의존한다는 것을 보여준다.
• 기존 사례로의 축소를 통해 공식을 검증한다: $y=1$일 경우 오일러 특성이 복원되고, $y=-1$일 경우 실 곡선 수가 복원된다.

실험 결과

연구 질문

• RQ1 아벨 및 K3 표면의 곡선 선형 계열 위 상대 Hilbert 스킴의 $\chi_{-y}$ 성질은 보편적이고 닫힌 형태로 표현될 수 있는가?
• RQ2 $\chi_{-y}$ 성질에 포함된 정밀 곡선 수는 모듈라 형식과 준-야코비 형식과 어떻게 관련이 있는가?
• RQ3 아벨 및 K3 표면 위 $\chi_{-y}$ 성질 생성 함수에 대한 추측 공식은 참인가? 그리고 타우토로지적 적분으로부터 유도될 수 있는가?
• RQ4 생성 함수 $\mathbb{A}$와 $\mathbb{K}$의 정확한 모듈라 구조는 무엇이며, $\widetilde{DG}_2(y,q)$와 $\widetilde{\Delta}(y,q)$와 어떻게 관련이 있는가?

주요 결과

• 아벨 표면에 대한 생성 함수 $\mathbb{A}$는 $t = y^{1/2}$에서 특수화될 때 $\frac{\widetilde{DG}_2(y,q)^k (D\widetilde{DG}_2(y,q))^{1-\chi(\mathcal{O}_S)/2}}{\widetilde{\Delta}(y,q)^{\chi(\mathcal{O}_S)/2}}$로 주어지며, $k$는 선형 계열의 차수와 관련된다.
• K3 표면에 대한 생성 함수 $\mathbb{K}$는 $x\mathbb{K} = \widetilde{\Delta}(y,q)$를 만족하며, $\widetilde{\Delta}(y,q)$는 무게 12의 모듈라 형식이다.
• $\mathbb{X} = \frac{\mathbb{H}}{X_{-y}(\mathbb{H})}$는 $\frac{y^{1/2}(1 - e^{(y^{1/2}-y^{-1/2})\mathbb{H}})}{1 - y e^{(y^{1/2}-y^{-1/2})\mathbb{H}}}$로 표현 가능하며, 이는 보편 성질 $X_{-y}$와 연결된다.
• $\mathbb{A}$의 공식은 $\mathbb{A} = (y^{1/2} - y^{-1/2})^{-1} \left( A(y_1,q) + A(y_2,q) - A(y,q) \right)$를 통해 유도되며, 여기서 $A(y,q) = \sum_{nd>0} \text{sgn}(d) n^2 (y^d - 1) q^{nd}$이다.
• $\mathbb{H} = D^{-1}\mathbb{A}$는 $\mathbb{A}$를 $q$에 대해 적분하여 얻어지며, $t = y^{1/2}$에서의 특수화는 $\widetilde{DG}_2(y,q)$를 준다.
• $\mathbb{K}$의 공식 증명은 역급수 $z_2(\varepsilon)$에 라그랑주 역행렬 공식을 적용하는 데 기반하며, 이는 $-S(y,x)$와 같음을 보여주어 생성 함수의 모듈라 구조를 확인한다.