[논문 리뷰] Motivic classes of moduli of Higgs bundles and moduli of bundles with connections

Roman Fedorov, Alexander Soibelman외 1명|arXiv (Cornell University)|2017. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 9

한 줄 요약

이 논문은 특성 0인 체 위의 매끄럽고 사영인 곡선에서의 계량적 분해가능한 히긴(bundle) 번들 및 접속을 가진 벡터 번들의 모듈리 스택의 계량적 클래스를 계산한다. 계량적 홀 알지브라 기법과 하이더의 이즈엔슈타인 급수에 대한 계량적 일반화를 통해, 계수 $ r $ 이고 차수 0인 접속을 가진 번들의 모듈리 스택의 계량적 클래스가 동일한 계수와 차수 0을 가진 계량적 분해가능한 히긴 번들의 것과 일치함을 입증한다.

ABSTRACT

Let X be a smooth projective curve over a field of characteristic zero. We calculate the motivic class of the moduli stack of semistable Higgs bundles on X. We also calculate the motivic class of the moduli stack of vector bundles with connections by showing that it is equal to the class of the stack of semistable Higgs bundles of the same rank and degree zero. We follow the strategy of Mozgovoy and Schiffmann for counting Higgs bundles over finite fields. The main new ingredient is a motivic version of a theorem of Harder about Eisenstein series claiming that all vector bundles have approximately the same motivic class of Borel reductions as the degree of Borel reduction tends to $-\infty$.

연구 동기 및 목표

• 특성 0인 체 위의 매끄럽고 사영인 곡선에서 계수 $ r $ 과 차수 $ d $ 를 가진 계량적 분해가능한 히긴 번들의 모듈리 스택의 계량적 클래스를 계산하는 것.
• 계수 $ r $ 과 차수 0을 가진 접속을 가진 번들의 모듈리 스택과 계수 $ r $ 과 차수 0을 가진 계량적 분해가능한 히긴 번들의 모듈리 스택 사이의 계량적 동치를 확립하는 것.
• 하이더의 이즈엔슈타인 급수에 대한 계량적 정리의 버전을 개발하여, 차수 $-∞$ 로 갈수록 바렐 감소의 계량적 클래스가 점점 동일한 극한에 수렴함을 보이는 것.
• 계량적 도널드슨-톰슨 불변량의 프레임워크를, 히긴 번들과 접속을 가진 번들처럼 동치가 2차원 호모로지 차원을 가진 카테고리로 확장하는 것.
• 계량적 홀 대수학의 맥락에서 계량적 제타 함수와 생성함수에 대한 명시적 공식을 도출하는 것.

제안 방법

• 계량적 홀 대수학의 프레임워크를 활용하여, 특히 HN-분해를 포함한 코herent sheaf 스택과 그 분해를 분석한다.
• 하이더의 이즈엔슈타인 급수에 대한 계량적 정리를 적용하여, 차수 $-∞$ 로 갈수록 바렐 감소의 계량적 클래스가 안정화됨을 증명한다.
• 계량적 홀 대수학에서 콘체비치-소이벨만의 곱 구조를 활용하여, 히긴 번들과 접속을 가진 번들 간의 관계를 설정한다.
• 무한합의 계량적 클래스를 처리하기 위해 완비된 계량적 링 $\overline{\mathrm{Mot}}(\mathbf{k})$ 를 사용하여 생성함수의 수렴을 가능하게 한다.
• HN-유형과 토르션 프리 부분으로의 스택 분할을 활용하며, 일반점들을 통한 섬세한 계량적 클래스 비교를 수행한다.
• 계량적 홀 대수학에서의 $\operatorname{Exp}$ 와 $\operatorname{Pow}$ 연산을 활용하여, 영함수 동형사상 스택의 생성함수를 유도한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 매끄럽고 사영인 곡선에서 계수 $ r $ 과 차수 $ d $ 를 가진 계량적 분해가능한 히긴 번들의 모듈리 스택의 계량적 클래스는 무엇인가?
• RQ2 계량적 맥락에서 히긴 번들의 모듈리 스택과 접속을 가진 번들의 모듈리 스택 간의 계량적 클래스는 어떻게 관련되어 있는가?
• RQ3 하이더의 이즈엔슈타인 급수에 대한 계량적 동치를 확립할 수 있는가? 특히 바렐 감소의 계량적 클래스가 점점 동일한 극한에 수렴하는가?
• RQ4 계량적 홀 대수학 기법을 통해 히긴 번들과 접속을 가진 번들의 계량적 제타 함수에 대한 명시적 공식을 유도할 수 있는가?
• RQ5 노말라이제이션된 HN-비음성 코herent sheaf와 영함수 동형사상의 계량적 클래스는 히긴 번들과 접속을 가진 번들과 어떻게 관련되어 있는가?

주요 결과

• 계수 $ r $ 과 차수 $ d $ 를 가진 계량적 분해가능한 히긴 번들의 모듈리 스택 $\mathcal{M}_{r,d}^{ss}$ 의 계량적 클래스는 계량적 홀 대수학 기법을 통해 명시적으로 계산되었다.
• 계수 $ r $ 과 차수 0을 가진 접속을 가진 번들의 모듈리 스택의 계량적 클래스는 계수 $ r $ 과 차수 0을 가진 계량적 분해가능한 히긴 번들의 모듈리 스택 $\mathcal{M}_{r,0}^{ss}$ 와 동일함이 입증되었다.
• 하이더의 정리에 대한 계량적 버전이 증명되었으며, 바렐 감소의 차수가 $-∞$ 로 갈수록 그 계량적 클래스는 동일한 극한으로 수렴함을 보였다.
• 노말라이제이션된 HN-비음성 코herent sheaf와 영함수 동형사상의 계량적 클래스 생성함수는 $\sum_{r,d\geq 0}["]\mathbb{L}^{(g-1)\langle\lambda,\lambda\rangle}J_{\lambda}^{mot}(z)H_{\lambda}^{mot}(z)w^{| \lambda|}\cdot\operatorname{Exp}\left(\frac{[X]}{\mathbb{L}-1}\cdot\frac{z}{1-z}\right)$ 로 주어진다.
• 계량적 분해가능한 히긴 번들의 스택에 대한 계량적 제타 함수는 기울기별 곱으로 표현되며, 각 요소는 계량적 홀 대수학에서의 $\operatorname{Exp}$ 와 $\operatorname{Pow}$ 연산을 포함한다.
• 증명은 일반점들을 통한 계량적 클래스의 섬세한 비교와 영함수 원뿔 및 동형사상 대수의 직접 합 분해 간의 동형사상에 기반한다.