[논문 리뷰] Non-abelian Hodge theory for algebraic curves in characteristic p

Tsao-Hsien Chen, Xinwen Zhu|arXiv (Cornell University)|2013. 06. 03.

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

한 줄 요약

이 논문은 양의 특성 p에서 대수적 곡선에 대해 비아벨리안 허지 대응을 수립하며, 평탄한 G-_bundle(드람 국소계)의 모듈리 공간이 곡선 C의 프로베누스 전환 C′ 상의 G-히긴스 군비의 모듈리 공간과 동형임을 보여준다. 이 대응은 p-곡률과 수평성 조건을 포함하는 방정식계를 통해 실현되며, 카르티에 강하와 프로베누스 당김을 이용해 심슨의 대응을 양의 특성으로 일반화한다.

ABSTRACT

Let G be a reductive group over an algebraically closed field of positive characteristic. Let C be a smooth projective curve over k. We give a description of the moduli space of flat G-bundles in terms of the moduli space of G-Higgs bundles over the Frobenius twist C' of C. This description can be regarded as the non-abelian Hodge theory for curves in positive characteristic.

연구 동기 및 목표

• 특성 p에서의 대수적 곡선에 대해 심슨의 비아벨리안 허지 대응을 일반화한다.
• 곡선 C 상의 드람 G-국소계와 그의 프로베누스 전환 C′ 상의 G-히긴스 군비 사이의 대응을 구축한다.
• 양의 특성에서 완전한 비아벨리안 허지 이론이 부족한 문제를 해결하기 위해 히친 방정식의 특성 p 버전을 도입한다.
• 프로베누스 사상과 게르베의 기하학을 이용해 p-곡률과 카르티에 강하를 통해 이 대응을 수립한다.
• 특성 p 히친 유사 방정식의 해가 안정적인 히긴스 군비와 기약 국소계 사이의 전단사 대응을 이끌어내며, 모듈리 공간의 구조와 호환됨을 보인다.

제안 방법

• p-곡률 Ψ(∇)과 수정된 접속 ∇−θ에 대한 Ψ(∇)의 수평성 조건을 포함하는 특성 p 버전의 히친 방정식을 제안한다.
• 프로베누스 당김 벡터 수선 위의 표준 접속 ∇^can을 사용해 방정식계의 두 번째 식을 정의한다.
• 카르티에 강하를 적용해 p-곡률가 0인 평탄한 접속 ∇가 C′ 상의 벡터 수선으로부터 당겨진 것으로 나타남을 보인다.
• 수평성 조건이 Ψ(∇)가 C′ 상의 히긴스 장 φ′의 당김임을 의미함을 보여, C′ 상의 G-히긴스 군비를 구성한다.
• 크리스탈린 미분 연산자의 아즈마야 성질을 이용해 GL_n에 대해 국소적으로 에탈 기하학적으로 해가 존재함을 증명하고, 재구성된 군으로 확장한다.
• p-곡률 사상 h_p를 통해 pseudo-Bun_{G'}-torsor를 구성하고, 이가 히긴스 장과 관련된 G′-게르베의 분할 스택과 동치임을 식별한다.

실험 결과

연구 질문

• RQ1 특성 p에서 완전한 비아벨리안 허지 대응을 심슨의 대응과 유사하게 수립할 수 있는가?
• RQ2 특성 p에서 히친 방정식을 어떻게 재구성하여 평탄한 접속과 히긴스 군비를 연결할 수 있는가?
• RQ3 프로베누스 전환 C′는 C 상의 드람 국소계와 C′ 상의 히긴스 군비 사이의 대응을 어떻게 실현하는가?
• RQ4 p-곡률 사상은 특성 p에서 접속과 히긴스 장의 기하학과 어떻게 상호작용하는가?
• RQ5 게르베와 토르서를 이용한 모듈리 이론적 구성으로 특성 p에서 이 대응을 실현할 수 있는가?

주요 결과

• 특성 p에서의 매끄럽고 프로젝티브 곡선 C 상의 평탄한 G-_bundle의 모듈리 공간은 C의 프로베누스 전환 C′ 상의 G-히긴스 군비의 모듈리 공간과 자연스럽게 동형이다.
• GL_n에 대해, 크리스탈린 미분 연산자의 아즈마야 성질을 통해 국소적으로 에탈 기하학적으로 특성 p 히친 유사 방정식 (Ψ(∇−θ)=0 및 ((∇−θ)⊗∇^can)(Ψ(∇))=0)의 해가 존재한다.
• p-곡률 사상 h_p: LocSys_G → Γ(C′, Lie G′ ⊗ Ω_{C′})는 점 수준에서 매끄럽고 전사이며, 그 미분은 −dh_p와 같다.
• 모듈리 국소계의 정의에서 자명한 접속에서의 접선 공간은 드람 복합체의 하이퍼코homology와 동형이며, 사상 c: T_x → H^0(C′, Lie G′ ⊗ Ω_{C′})는 −dh_p와 일치한다.
• p-곡률 사상에서 유도된 pseudo-Bun_{G'}-토르서는 히긴스 장과 관련된 G′-게르베의 분할 스택과 동치이며, 이는 대응의 기하학적 해석을 제공한다.
• 이 대응은 카르티에 동형사상과 호환되며, 프로베누스 당김과 강하를 이용해 고전적 심슨 대응을 특성 p로 일반화한다.