[논문 리뷰] Hilbert schemes as moduli of Higgs bundles and local systems

Michael Groechenig|arXiv (Cornell University)|2012. 06. 24.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 4

한 줄 요약

이 논문은 타원곡선의 코타angent bundle 위에서 유한군의 작용에 대한 등변 Hilbert scheme를 통해, 5개의 무한한 가닥의 두 차원 모듈리 공간인 파라보릭 히친(bundle) 및 로컬 시스템을 구성한다. 이는 Boalch의 추측을 확인하고 Gorsky–Nekrasov–Rubtsov의 작업을 확장하며, Hilbert scheme의 m개 점이 다시 모듈리 공간이 되는 것을 증명한다. 결과는 McKay 대응과 Fourier-Mukai 변환을 통해 확립되며, 이러한 모듈리 공간들에 대한 유도 자등형 변환(autoduality)이 증명된다.

ABSTRACT

We construct five families of two-dimensional moduli spaces of parabolic Higgs bundles (respectively local systems) by taking the equivariant Hilbert scheme of a certain finite group acting on the cotangent bundle of an elliptic curve. We show that the Hilbert scheme of m points of these surfaces is again a moduli space of parabolic Higgs bundles (respectively local systems), confirming a conjecture of Boalch in these cases and extending a result of Gorsky--Nekrasov--Rubtsov. Using the McKay correspondence we establish the autoduality conjecture for the derived categories of the moduli spaces of Higgs bundles under consideration.

연구 동기 및 목표

• 등변 Hilbert scheme를 사용하여 타원곡선의 코타angent bundle 위에서 유한군의 대칭 작용을 통한 두 차원 파라보릭 히친(bundle) 및 로컬 시스템의 모듈리 공간의 명시적 가닥을 구성한다.
• 이러한 모듈리 공간의 m개 점에 대한 Hilbert scheme가 다시 히친(bundle)의 모듈리 공간이 되는 것, 즉 Boalch의 추측을 검증한다.
• McKay 대응을 통해 이러한 모듈리 공간의 유도 카테고리에 대한 자등형 변환(autoduality)을 확립한다.
• 히친(bundle) 모듈리 공간의 기하학적 프레임워크를 오비곡선 및 양의 특성의 설정으로 확장한다.
• 파라보릭 및 오비형 상황에서 히친(bundle)과 로컬 시스템 간의 대응을 기하학적으로 실현한다.

제안 방법

• 유한군 Γ가 타원곡선의 대칭을 통해 작용하는 코타angent bundle 위에서 Γ-Hilbert scheme로 모듈리 공간을 구성한다.
• BNR 대응을 통해 히친(bundle)을 스펙트럴 곡선 위의 스펙트럴 자료와 연결하고, 균일 해소 기법을 적용하여 몰입 공간의 특이점을 해결한다.
• Fourier-Mukai 변환을 적용하여 모듈리 공간의 유도 카테고리와 그 쌍대 간의 유도 동치를 확립한다.
• McKay 대응을 통해 유한군의 표현 이론과 균일 해소의 기하학을 연결한다.
• 에테일 국소 동치 기법을 활용하여 양의 특성에서 오비곡선 위의 로컬 시스템과 히친(bundle)의 모듈리 공간을 비교한다.
• Galois 코hom로지와 Tsen의 정리를 적용하여 게르베가 오비곡선에서 중성화됨을 보이고, 필요한 동치를 구성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 두 차원 파라보릭 히친(bundle) 모듈리 공간의 m개 점에 대한 Hilbert scheme는 다시 이러한 종류의 모듈리 공간으로서 실현될 수 있는가?
• RQ2 파라보릭 히친(bundle) 모듈리 공간의 유도 카테고리가 McKay 대응에 따라 자등형 변환을 갖는가?
• RQ3 T*E/Γ의 몰입 공간의 기하학적 성질과 특이점은 파라보릭 히친(bundle)의 모듈리와 어떻게 관련되는가?
• RQ4 히친(bundle)과 로컬 시스템 간의 에테일 국소 동치는 오비곡선 및 양의 특성으로 얼마나 넓게 확장될 수 있는가?
• RQ5 Hilbert scheme를 사용하여 스펙트럴 대응과 히친 분해를 파라보릭 및 오비형 설정으로 일반화할 수 있는가?

주요 결과

• 안정한 파라보릭 히친(bundle)의 모듈리 공간에 대한 m개 점의 Hilbert scheme는 다시 파라보릭 히친(bundle)의 모듈리 공간이 되며, Boalch의 추측이 이러한 경우에 확인된다.
• affine 다이킨 다이어그램 Â0, D̃4, Ê6, Ê7, Ê8에 대응하는 다섯 가닥의 모듈리 공간에 대해, T*E의 Γ-Hilbert scheme는 안정한 파라보릭 히친(bundle)의 모듈리 공간과 동형이다.
• 모듈리 공간들은 GIT 몰입 공간 T*E/Γ의 균일 해소이며, Γ-Hilbert scheme 구성법을 통해 실현된다.
• McKay 대응을 통해 이러한 모듈리 공간들에 대한 유도 자등형 변환이 확립되었으며, 그 유도 카테고리의 자등형 추측이 증명된다.
• 오비곡선 위에서 로컬 시스템의 모듈리 스택과 히친(bundle)의 모듈리 스택 사이에 에테일 국소 동치가 확립되었으며, 파라보릭 및 양의 특성 설정으로 결과가 확장된다.
• Gm-게르베가 매끄럽고 완전한 오비곡선에서 중성화됨을 보이는 데 성공하였으며, Galois 코호몰로지와 Tsen의 정리를 통해 이를 증명함으로써 필요한 동치를 구성할 수 있었다.