[논문 리뷰] On the motives of moduli of chains and Higgs bundles

Oscar Garcı́a-Prada, Jochen Heinloth외 1명|arXiv (Cornell University)|2011. 04. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 2

한 줄 요약

이 논문은 그로텐디크 다항식의 차원 완비화를 이용하여 히그(bundle) 및 체인의 모듈리 공간의 모티브를 계산하며, 하더러–나라시마한 분할과 모티브적 재귀를 활용한다. 순서와 차수의 최대공약수가 1인 경우, 임의의 n- torsion이 스위치된 SLn-히그(bundle)의 중간 차원 코homology 위에 자명하게 작용함을 증명하고, 홀수 차수의 랭크 4 히그(bundle)의 모티브에 대해 명시적인 공식을 제시하여, 종수 ≤21인 경우 하우젤과 로드리게스-빌레가스의 추측을 확인한다.

ABSTRACT

We take another approach to Hitchin's strategy of computing the cohomology of moduli spaces of Higgs bundles by localization with respect to the circle-action. Our computation is done in the dimensional completion of the Grothendieck ring of varieties and starts by describing the classes of moduli stacks of chains rather than their coarse moduli spaces. As an application we show that the n-torsion of the Jacobian acts trivially on the middle dimensional cohomology of the moduli space of twisted SL_n-Higgs-bundles of degree coprime to n and we give an explicit formula for the motive of the moduli space of Higgs bundles of rank 4 and odd degree. This provides new evidence for a conjecture of Hausel and Rodr\'iguez-Villegas. Along the way we find explicit recursion formulas for the motives of several types of moduli spaces of stable chains.

연구 동기 및 목표

• 그로텐디크 다항식의 차원 완비화인 bK0(Var)에서 히그(bundle) 및 체인의 모듈리 공간의 모티브를 계산한다.
• 모티브적 방법을 통해 다양한 코homology 이론 간에 코homological 불변량을 통일적으로 계산할 수 있는 프레임워크를 제공한다.
• 랭크 (2,2) 체인의 경우 모티브적 분할에서의 수렴 문제를 해결하기 위해 잘라내기 절차를 도입한다.
• 명시적인 모티브 계산을 통해 하우젤과 로드리게스-빌레가스의 랭크 4 히그(bundle)의 홀수 차수에 대한 Poincaré 다항식 추측을 검증한다.
• α-안정 체인의 모티브에 대한 재귀 공식을 수립하여 히그(bundle) 모듈리의 모티브를 재귀적으로 계산할 수 있도록 한다.

제안 방법

• 그로텐디크 다항식의 차원 완비화인 bK0(Var)를 사용하여 다양한 코homology 이론 간에 통일적으로 모티브를 계산한다.
• 두 단계 전략을 적용한다: 먼저 모든 체인의 스택의 모티브를 계산하고, 그 다음 하더러–나라시마한 분할을 이용해 더 낮은 랭크의 안정 체인 모듈리 위에 올리는 분할로 분해한다.
• 벡터 번들의 확장과 수정에 대한 모티브 도구를 활용하여 분할의 구성 요소를 명시적으로 기술한다.
• 베르렌드와 딜론의 결과를 활용하여 체인 스택의 모티브를 벡터 번들의 모듈리 스택으로 표현한다.
• 랭크 (2,2) 체인의 모티브를 계산할 때 bK0(Var)에서 수렴하지 않는 급수 문제를 해결하기 위해 잘라내기 절차를 도입한다.
• Maple에 재귀 공식을 구현하여 종수 21까지의 홀수 차수의 랭크 4 히그(bundle)에 대한 Poincaré 다항식을 검증한다.

실험 결과

연구 질문

• RQ1 순서와 차수가 서로소일 때, 스위치된 SLn-히그(bundle)의 중간 차원 코homology 위에 n- torsion이 자명하게 작용하는가?
• RQ2 랭크 4와 홀수 차수의 안정 히그(bundle) 모듈리 공간에 대해 명시적인 모티브 공식을 유도할 수 있는가?
• RQ3 α-안정 체인의 모티브적 재귀 공식은 어떻게 구성하고, 이를 히그(bundle) 모듈리에 어떻게 적용할 수 있는가?
• RQ4 랭크 (2,2) 체인의 경우 잘라내기 방법을 통해 모티브적 분할의 수렴 문제를 해결할 수 있는가?
• RQ5 계산된 랭크 4 히그(bundle)의 모티브가 하우젤과 로드리게스-빌레가스의 추측한 Poincaré 다항식을 확인하는가?

주요 결과

• 순서와 차수가 서로소일 때, 스위치된 SLn-히그(bundle)의 모듈리 공간의 중간 차원 코homology 위에 n- torsion이 자명하게 작용한다.
• 랭크 4와 홀수 차수의 안정 히그(bundle) 모듈리 공간의 모티브에 대해 명시적인 공식을 유도하였으며, 이는 낮은 랭크의 체인 모듈리와 곡선의 모티브 클래스로 표현된다.
• 이 공식은 Maple 구현을 통해 종수 ≤21에서 하우젤과 로드리게스-빌레가스의 추측한 Poincaré 다항식을 확인한다.
• 잘라내기 절차는 bK0(Var)에서의 수렴 문제를 성공적으로 해결하여, 이전 방법으로는 달성하지 못했던 랭크 (2,2) 체인의 모티브 계산을 가능하게 하였다.
• 다양한 유형의 α-안정 체인, 즉 (3,1), (2,2), (1,2,1), (2,1,1) 랭크 유형에 대해 모티브의 재귀 공식이 수립되었다.
• 모티브 계산을 통해 히그(bundle)의 호지 다항식과 Poincaré 다항식을 직접 추출할 수 있었으며, 이는 랭크 4 히그(bundle)의 호지 구조가 순수함을 확인한다.