[논문 리뷰] Remarks on motives of moduli spaces of rank 2 vector bundles on curves

Kyoung-Seog Lee|arXiv (Cornell University)|2018. 06. 28.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 12

한 줄 요약

이 논문은 고도수 $ g \geq 2 $인 곡선 $ C $ 위의 랭크 2 안정 벡터(bundle)의 모듈리 공간 $ M_L $ 에 대해, 차수 1인 고정된 딜레르킨트를 가진 경우의 모티브적 분해를 수립한다. 델 바노의 모티브 계산에 기반하여, 저자는 $ h(M_L) $ 가 대칭 거듭제곱 $ C^{(k)} $ 의 모티브와 레프슈츠 회전을 텐서곱한 것들의 직합으로 분해됨을 증명하며, 이는 나라시마한의 유도 범주에 대한 추측적 분해에 강력한 증거나를 제공한다.

ABSTRACT

Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.

연구 동기 및 목표

• 유도 범주와 모티브 기하학의 맥락에서 델 바노의 $ M_L $ 모티브 계산을 해석하고 정교화하는 것.
• Narasimhan의 $ D(M_L) $ 에 대한 추측적 분해와 호환되는 $ M_L $ 의 모티브적 분해를 확립하는 것.
• 유도 범주에서 대칭 거듭제곱 $ C $ 의 구조를 포함하는 추측적 모티브 실현에 대한 증거를 제공하는 것.
• 모티브 분해, 호지 이론, 푸카야 범주를 통한 호모로지적 미러 대칭 간의 연결 고리를 탐색하는 것.

제안 방법

• 델 바노의 결과를 활용하여 $ M_L $ 의 모티브를 $ h^1(C) $ 의 외적 거듭제곱과 레프슈츠 회전의 합으로 표현한다.
• 대칭 거듭제곱 $ C^{(k)} $ 의 모티브 분해 공식을 적용한다: $ h(C^{(k)}) = \bigoplus_{a+b+c=k} 1^{\otimes a} \otimes \lambda^b h^1(C) \otimes \mathbb{L}^{\otimes c} $.
• 원래 표현과 제안된 표현에서 $ \lambda^i h^1(C) $ 의 계수를 비교하기 위해 형식적 거듭제곱 급수 항등식을 사용한다.
• 핵심 대수적 항등식을 활용: $ \sum_{j=0}^{m-1}\sum_{c=0}^j (x^{j+c} + x^{3m-2j+c}) + \sum_{c=0}^m x^{m+c} = \frac{1-x^{m+1}}{1-x} \cdot \frac{1-x^{2m+2}}{1-x^2} $ 를 통해 모티브의 동형을 검증한다.
• 모티브 동형을 허드 홀드 다이아몬드 분해로 번역하고, 호모로지적 미러 대칭을 통한 푸카야 범주에 대한 함의를 제안한다.

실험 결과

연구 질문

• RQ1 델 바노의 $ M_L $ 에 대한 모티브 계산은 유도 범주의 구조를 반영하는 정교화된 분해를 허용하는가?
• RQ2 모티브 $ M_L $ 은 대칭 거듭제곱 $ C^{(k)} $ 의 모티브와 레프슈츠 회전의 텐서곱들의 직합으로 표현될 수 있는가?
• RQ3 이 모티브 분해는 나라시마한의 $ D(M_L) $ 에 대한 추측적 분해와 호환되는가?
• RQ4 이러한 모티브적 구조는 $ M_L $ 의 호지 이론과 호모로지적 미러 대칭에 어떤 함의를 갖는가?

주요 결과

• 모티브 $ h(M_L) $ 는 임의의 모티브의 반단순 범주에서 다음 동형을 가진다: $ \bigoplus_{k=0}^{g-2} h(C^{(k)}) \otimes (\mathbb{L}^{\otimes k} \oplus \mathbb{L}^{\otimes 3g-3-2k}) \oplus h(C^{(g-1)}) \otimes \mathbb{L}^{\otimes g-1} $.
• 이 분해는 델 바노의 공식과 제안된 표현에서 $ \lambda^i h^1(C) $ 의 계수를 비교함으로써, 형식적 거듭제곱 급수 항등식에 기반하여 증명된다.
• 모티브 분해는 $ M_L $ 의 허드 홀드 다이아몬드에 해당하는 분해를 암시하며, 이는 기저가 되는 기하학적 구조를 반영한다.
• 결과는 나라시마한의 $ D(M_L) $ 에 대한 분해 추측을 지지하며, 구성 요소 $ D(C^{(k)}) $ 가 $ k = g-2 $ 까지 쌍으로 나타나고, $ D(C^{(g-1)}) $ 가 단일 개로 존재한다.
• 이 모티브적 구조는 $ M_L $ 의 카루비-완성된 푸카야 범주에 대한 추측적 수직 분해와 호환되며, 미러 대칭적 해석을 제안한다.