[논문 리뷰] Motivic classes of generalized Kummer schemes via relative power structures

Andrew Morrison, Junliang Shen|arXiv (Cornell University)|2015. 05. 12.

Nonlinear Waves and Solitons참고 문헌 15인용 수 3

한 줄 요약

이 논문은 아벨 모노이드 위의 다양체의 그로텐디크 링 위에서 상대적 힘의 구조를 개발하여 일반화된 쿠머 스킴의 모티빅 클래스를 계산한다. 힐베르트 스킴에 대한 체아의 공식을 일반화하고, 굴브란드센의 오일러 특성에 대한 추측을 증명하며, 표면 및 3차원에서 쿠머 스킴의 가상 모티브에 대한 명시적 공식을 제공한다. 특히 3차원의 경우 $y\leftrightarrow y^{-1}$ 대칭을 가지는 $\chi_y$ 종수에 대한 새로운 공식을 도출한다.

ABSTRACT

We develop a power structure over the Grothendieck ring of varieties relative to an abelian monoid, which allows us to compute the motivic class of the generalized Kummer scheme. We obtain a generalized version of Cheah's formula for the Hilbert scheme of points, which specializes to Gulbrandsen's conjecture for Euler characteristics. Moreover, in the surface case we prove a conjecture of Göttsche for geometrically ruled surfaces, and we obtain an explicit formula for the virtual motive of the generalized Kummer scheme in dimension three.

연구 동기 및 목표

• 아벨 모노이드 위의 다양체의 그로텐디크 링 위에서 상대적 힘의 구조를 개발하여 일반화된 쿠머 스킴을 연구한다.
• 점의 힐베르트 스킴에 대한 체아의 공식을 모티빅 설정으로 일반화한다.
• 일반화된 쿠머 스킴의 오일러 특성에 대한 굴브란드센의 추측을 증명한다.
• 3차원에서 일반화된 쿠머 스킴의 가상 모티브를 계산한다.
• 결과를 곡선, 표면, 3차원에서 토션 층 스택의 모티빅 클래스로 확장한다.

제안 방법

• 아벨 다양체 $A$에 대해 $K_0(\text{Var}/A)$의 상대적 힘의 구조를 도입한다.
• 피브레이션 $X\to A$ 위의 $n$개 점의 힐베르트 스킴과 그 힐베르트-차우 맵을 이용하여 0 위의 섬유로 일반화된 쿠머 스킴을 정의한다.
• 레마 2.8을 적용하여 $A$ 위의 힐베르트 스킴의 모티빅 클래스를 당김하여 $K_n(X)$의 모티빅 클래스를 도출한다.
• 특히 3차원에서 국소적으로 완전교차 계량 스킴의 가상 모티브를 $K_0(\text{HS})[\mathbb{L}^{-1/2}]$에서 활용한다.
• 모티빅 클래스의 토션 층 스택을 코딩하기 위해 생성함수 $\mathcal{T}_X(t)$ 및 $\mathcal{H}_g^{\text{vir}}(t)$를 사용한다.
• 대칭적 힘의 구조와 양자군 부분군의 불변량을 활용하여 $0^*$-당김과 $g(\alpha)$-가중 항을 통해 쿠머 섬유를 추출한다.

실험 결과

연구 질문

• RQ1 아벨 모노이드 위의 다양체의 그로텐디크 링 위에서 상대적 힘의 구조를 개발하여 일반화된 쿠머 스킴의 모티빅 클래스를 계산할 수 있는가?
• RQ2 일반화된 쿠머 스킴의 모티빅 클래스는 힐베르트 스킴에 대한 체아의 공식과 유사한 공식을 가질 수 있는가?
• RQ3 모티빅 방법을 통해 $K_n(X)$의 오일러 특성에 대한 굴브란드센의 추측을 증명할 수 있는가?
• RQ4 3차원에서 일반화된 쿠머 스킴의 가상 모티브에 대한 명시적 공식은 무엇인가?
• RQ5 일반화된 쿠머 스킴의 호지–델리뉴 다항식과 $\chi_y$ 종수는 $y \leftrightarrow y^{-1}$ 대칭을 어떻게 반영하는가?

주요 결과

• 논문은 점의 힐베르트 스킴에 대한 체아의 공식을 아벨 다양체 위의 상대적 설정으로 일반화한 새로운 형태로 증명한다.
• 3차원에서 일반화된 쿠머 스킴의 가상 모티브에 대한 새로운 공식을 수립하여 이전 결과를 비정칙 케이스로 확장한다.
• 표면의 경우 공식은 게오츠체의 추측을 복원하고, $g=2$에 대해 게오츠체–조르겔의 결과를 확인하며, $g=1$에 대해 게오츠체의 추측을 증명한다.
• 3차원의 경우 $X = K3 \times E$일 때, $[K_n(X)]_{\text{vir}}$의 $\chi_y$ 종수가 $y \leftrightarrow y^{-1}$ 대칭을 만족함을 보였다: $\chi_{-y}([K_n(X)]_{\text{vir}}) = (y^{-n/2} + \cdots + y^{n/2}) \sum_{d\cdot m=n} d^2(y^{-m/2} + 22 + y^{m/2})$.
• 3차원에서 $X$에 대해 $K_n(X)$의 가상 모티브는 $[\mathcal{T}_n(X)\to A]_{\text{vir}} = \sum_{\sum m r_i^m = n} \prod_{m\geq 1} m_*\left( \prod_{i=1}^{l_m} \mathbb{L}^{-r_i^m} \frac{[\text{Sym}^{r_i^m}(X)\to A]}{\mathbb{L}^{s_i(r_{\bullet}^m)} - 1} \right)$ 로 주어진다.