[논문 리뷰] Motivic decompositions of moduli spaces of vector bundles on curves

Tomás L. Gómez, Kyoung-Seog Lee|arXiv (Cornell University)|2020. 07. 12.

Algebraic Geometry and Number Theory인용 수 2

한 줄 요약

이 논문은 종수 g ≥ 2인 매끄럽고 사영적인 곡선 C 위에서 랭크 r = 2, 3이고 고정된 딜레르민트 L(차수 d = 1)를 가진 안정 벡터 복합체의 모듈리 공간 M(r, L)에 대한 새로운 모티브적 분해를 제공한다. 하더-나라시마 필터링과 그로텐디크 다항식의 모티브적 제타 함수, 바이오보츠키 모티브를 이용하여, 모듈리 공간의 모티브적 포incare 다항식 공식을 유도하며, 이는 대칭곱 C의 곱과 관련된 명시적 공식을 포함한다. 이는 r = 2에 대해 나라시마한의 추측의 모티브적 형태를 확인하고, r = 3로 확장한다.

ABSTRACT

Let $r \geq 2, d$ be two integers which are coprime to each other. Let $C$ be a smooth projective curve of genus $g \geq 2$ and $M(r,L)$ be the moduli space of rank $r$ stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree $d$ on $C.$ In this paper, we study motivic decomposition of $M(r,L)$ for $r=2, 3$ cases. We give a new proof of a version of the main result of arXiv:1806.11101. We also found a new motivic decomposition of $M(3,L).$

연구 동기 및 목표

• 종수 g ≥ 2인 곡선 C 위에서 고정된 딜레르민트 L(차수 d = 1)를 가진 랭크 r의 안정 벡터 복합체의 모듈리 공간 M(r, L)에 대한 새로운 모티브적 분해를 제공한다.
• M(2, L)의 모티브적 포incare 다항식 공식을 하더-나라시마 필터링과 모티브적 제타 함수를 기반으로 한 통일적이고 단순화된 방법으로 재구성하여, 나라시마한의 추측의 모티브적 형태를 확인한다.
• 랭크 3의 경우로의 모티브적 분해를 확장하여, C의 대칭곱과 아벨-자기군을 이용한 χ(M(3, L))의 새로운 공식을 제시한다.
• 이러한 모티브적 분해가 그로텐디크의 다양체 다항식에서 뿐 아니라 바이오보츠키의 혼합 모티브의 범주에서도 성립함을 증명한다.

제안 방법

• 하더-나라시마 필터링을 사용하여 다양체의 그로텐디크 다항식에서 모듈리 스택 Bunr,d를 안정 부분과 비안정 부분으로 분해한다.
• 선다발의 확장에 대한 매개변수화를 통해 비안정 부분의 모티브적 계열을 계산하며, Ext 및 Hom 공간의 차원을 결정하기 위해 리만-로흐 정리를 적용한다.
• 완비화된 다양체의 카우프만 다항식의 그로텐디크 다항식에서 모티브적 제타 함수 항등식 Z(C, t) = (1 + t)^h1(C) / ((1 - t)(1 - Lt))를 적용한다.
• 문헌 [1, 10, 11, 13, 15]에서 얻은 모티브적 분해를 이용하여 대칭곱 Ck의 모티브를 아벨-자기군과 선다발의 곱으로 표현한다.
• Bunr,d의 총 계열에서 비안정 부분을 빼내어 모티브적 포incare 다항식을 유도한다.
• 결과로 얻은 표현식을 그로텐디크 다항식과 K0(dDMgm)에서의 추측된 형태와 비교하여 분해가 타당한지 검증한다.

실험 결과

연구 질문

• RQ1 하더-나라시마 필터링과 모티브적 제타 함수를 기반으로 한 통일적이고 단순화된 방법을 통해 M(2, L)의 모티브적 포incare 다항식을 재구성할 수 있는가?
• RQ2 M(3, L)에 대해 유도된 카테고리의 반직교 분해와 유사한 모티브적 분해가 존재하는가?
• RQ3 랭크 r = 2, 3인 M(r, L)의 모티브적 분해에서 대칭곱 Ck와 아벨-자기군 J(C)의 모티브적 계열은 어떻게 상호작용하는가?
• RQ4 이러한 모티브적 분해가 다항식의 그로텐디크 다항식과 바이오보츠키 모티브의 범주로 얼마나 잘 올라가는가?
• RQ5 이러한 모티브적 분해는 유도된 카테고리의 분해와 추측된 후카카타고리 분해와 호환되는가?

주요 결과

• r = 2, d = 1일 때, M(2, L)의 모티브적 포incare 다항식은 ∑_{k=0}^{g-2} χ(Ck)(L^k + L^{3g-3-2k}) + χ(C^{g-1})L^{g-1}로 주어지며, 이는 나라시마한의 추측의 모티브적 형태를 확인한다.
• r = 3, d = 1일 때, 모티브적 포incare 다항식은 ∑_{k1+k2<2(g-1)} χ(C^{k1} × C^{k2})(L^{k1+2k2} + L^{8g-8-2k1-3k2}) + ∑_{k1+k2=2(g-1), k1<g-1} χ(C^{k1} × C^{k2})(L^{k1+2k2} + L^{8g-8-2k1-3k2}) + χ(C^{g-1} × C^{g-1})L^{3(g-1)}이다.
• cK0(Var)에서의 모티브적 계열 [M(r, L)]은 대칭곱 C의 곱과 L의 거듭제곱의 합으로 분해되며, 계수는 그로텐디크 다항식에 속한다.
• 동일한 모티브적 분해는 K0(dDMgm), 즉 바이오보츠키의 혼합 모티브 범주에서의 그로텐디크 군에서도 성립한다.
• Bun2,L의 비안정 부분은 [J(C)]L^g / ((L-1)(L^2-1))로 계산되며, 이는 총 계열에서 빼내어 [M(2, L)]을 복원한다.
• 나라시마한의 유도된 카테고리 추측은 모티브적 분해에 의해 지지되며, 이는 모티브적 분해와 반직교 분해 간의 호환성을 시사한다.