[논문 리뷰] Semistable Higgs bundles and representations of algebraic fundamental groups: Positive characteristic case

Guitang Lan, Mao Sheng외 1명|arXiv (Cornell University)|2012. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 11

한 줄 요약

이 논문은 양의 특성에서 매끄럽고 사영인 스킴의 닫힌 섬유 위에서 계수 2의 단순 안정 Higgs 복합체이자 자명한 체른 클래스를 가진 Higgs 복합체와 그 일반 섬유의 대수적 기본군의 두 차원 크리스탈 표현 사이의 대응을 수립한다. 중간 구조로 준주기적이고 강력히 Higgs 안정인 Higgs 복합체를 도입하여, 준주기적 Higgs 복합체가 진정한 표현을 유도하고, 자명한 체른 클래스를 가진 강력히 Higgs 안정인 복합체가 준주기적 복합체와 동치임을 증명함으로써, 모든 안정 Higgs 복합체가 강력히 Higgs 안정일 것이라는 추측을 뒷받침한다.

ABSTRACT

Let $k$ be an algebraic closure of finite fields with odd characteristic $p$ and a smooth projective scheme $\mathbf{X}/W(k)$. Let $\mathbf{X}^0$ be its generic fiber and $X$ the closed fiber. For $\mathbf{X}^0$ a curve Faltings conjectured that semistable Higgs bundles of slope zero over $\mathbf{X}^0_{\mathbb{C}_p}$ correspond to genuine representations of the algebraic fundamental group of $\mathbf{X}^0_{\mathbb{C}_p}$ in his $p$-adic Simpson correspondence. This paper intends to study the conjecture in the characteristic $p$ setting. Among other results, we show that isomorphism classes of rank two semistable Higgs bundles with trivial chern classes over $X$ are associated to isomorphism classes of two dimensional genuine representations of $\mathbf{X}^0$ and the image of the association contains all irreducible crystalline representations. We introduce intermediate notions strongly semistable Higgs bundles and quasi-periodic Higgs bundles between semistable Higgs bundles and representations of algebraic fundamental groups. We show that quasi-periodic Higgs bundles give rise to genuine representations and strongly Higgs semistable are equivalent to quasi-periodic. We conjecture that a Higgs semistable bundle is indeed strongly Higgs semistable.

연구 동기 및 목표

• p-진 시몬프슨 대응을 양의 특성 설정으로 확장하기 위해.
• 양의 특성에서 안정 Higgs 복합체와 대수적 기본군의 표현 사이의 대응을 수립하기 위해.
• 중간 개념인 강력히 Higgs 안정인 Higgs 복합체와 준주기적 Higgs 복합체를 도입하고, Higgs 복합체와 표현 사이를 연결하는 연구를 수행하기 위해.
• 계수 2의 안정 Higgs 복합체가 자명한 체른 클래스를 가진다는 조건에서, $\pi_1(\mathbf{X}^0)$의 크리스탈 표현과 대응됨을 증명하기 위해.
• 모든 안정 Higgs 복합체가 강력히 Higgs 안정일 것이라는 추측을 제기하며, 계수 2의 경우에 알려진 결과를 일반화하기 위해.

제안 방법

• 양의 특성에서 강력한 단순 벡터 다발의 일반화로서 강력히 Higgs 안정인 Higgs 복합체의 개념을 도입하기 위해.
• 주기적 Higgs 부분다발의 일반화로서, 반복적인 프로베니우스 당김의 행동을 포착하는 준주기적 Higgs 복합체를 정의하기 위해.
• 유형 $(e,f)$의 준주기적 Higgs-de Rham 수열과 $\mathrm{GL}_2(\mathbb{F}_{p^f})$로의 크리스탈 표현 사이의 함자를 구성하여, $e=0$인 경우의 동치성을 보여주기 위해.
• 역 카르티에 변환과 $\mathcal{MF}^\nabla$-분류의 이론을 사용하여 Higgs 복합체와 $p$-진 표현 사이의 관계를 설정하기 위해.
• Higgs 복합체가 준주기적임과 동시에 자명한 체른 클래스를 가진 강력히 Higgs 안정인 복합체임이 서로 동치임을 증명하기 위해.
• 이론을 적용하여, 닫힌 섬유 위에서 계수 2의 안정 Higgs 복합체가 자명한 체른 클래스를 가진 경우, 항상 $\pi_1(\mathbf{X}^0)$의 크리스탈 표현으로부터 유도됨을 보여주기 위해.

실험 결과

연구 질문

• RQ1 p-진 시몬프슨 대응과 유사한 대응이 양의 특성에서 성립하는가?
• RQ2 모든 안정 Higgs 복합체가 양의 특성에서 강력히 Higgs 안정적인가?
• RQ3 준주기적 Higgs 복합체를 사용하여 대수적 기본군의 진정한 표현을 구성할 수 있는가?
• RQ4 강력히 Higgs 안정인 복합체와 준주기적 Higgs 복합체 사이의 관계는 무엇인가?
• RQ5 크리스탈 표현이 닫힌 섬유로의 특성화 사상으로 인해 인수화되는 조건은 무엇인가?

주요 결과

• irreducible한 크리스탈 $\mathbb{F}_{p^f}$-표현의 동형류와 주기적 Higgs-안정 복합체의 동형류 사이에 일대일 대응이 존재한다. 이 복합체의 주기는 $f$이다.
• 준주기적 Higgs 복합체는 자명한 체른 클래스를 가진 강력히 Higgs 안정인 복합체이며, 반대로 자명한 체른 클래스를 가진 강력히 Higgs 안정인 Higgs 복합체는 준주기적이다.
• 계수 2의 Higgs 복합체에서는 안정성이 강력히 Higgs 안정성을 함의하며, 이는 모든 안정 Higgs 복합체가 강력히 Higgs 안정일 것이라는 일반적 추측을 뒷받침한다.
• 계수 2의 자명한 체른 클래스를 가진 안정 Higgs 복합체와 $\mathrm{GL}_2(k)$로의 $\pi_1(\mathbf{X}^0)$의 크리스탈 표현 사이의 대응은 불가분한 크리스탈 표현의 집합으로부터 전사적이다.
• 필터링된 $\mathcal{MF}^\nabla$-객체의 계수별 부분다발에서 차수 0인 Higgs 부분다발은 자명한 체른 클래스를 가진 강력히 Higgs 안정인 복합체이다.
• 크리스탈 표현 $\tau$가 특성화 사상 $\pi_1(\mathbf{X}^0) \to \pi_1(X)$를 통해 인수화되는 것은 그 필터링이 자명할 때이고, 그 때에만 성립한다.