[논문 리뷰] Nonabelian Hodge Theory in Characteristic p

Arthur Ogus, Vadim Vologodsky|ArXiv.org|2005. 07. 22.

Analytic Number Theory Research인용 수 7

한 줄 요약

이 논문은 스킴을 p²에 대해 올림을 통해 p의 양의 특성에서 비아벨리안 훅스 이론을 수립한다. 이를 위해, F-trivialization 위의 D-모듈의 노름화된 접속을 가진 Higgs 모듈로 가는 함자인 카르티에 변환을 구성한다. p²에 대한 스킴의 올림과 프로베니우스 올림의 기하학을 이용하여, 델리뉴-일루시에의 분해 정리가 de Rham 코homology에 계수를 포함하는 경우로 일반화된 유도 동치를 수립한다. 이는 심슨의 리만-힐베르트 대응의 특성 p에 해당하는 일반화이다.

ABSTRACT

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.

연구 동기 및 목표

• 양의 특성에서 de Rham 코homology의 계수를 D-모듈로 일반화한 델리뉴-일루시에의 분해 정리를 확장한다.
• 복소다양체 위에서 심슨 이론에 대응하는 특성 p에서의 비아벨리안 훅스 대응을 수립한다.
• 프로베니우스 올림과 아자마야 대수의 기하학을 이용하여, 통합 연결과 허그스 번들의 함성적 대응을 수립한다.
• 카르티에 변환을 통해 리만-힐베르트 대응을 양의 특성으로 일반화한다.
• 특성 p에서 Higgs 모듈과 D-모듈의 관점에서 p-진 및 크리스탈린 코homology를 연구할 수 있는 프레임워크를 제공한다.

제안 방법

• X를 p²에 대해 올림하고, 그 위에서 D-모듈의 범주(MICp−1(X/S))에서 Higgs 모듈의 범주(HIGp−1(X′/S))로 가는 함자를 구성한다.
• X 위의 프로베니우스 올림의 토르서 L̃X를 사용하며, 이는 F∗TX′에 대한 토르서이자 자연스러운 접속을 지닌다.
• 접속 범주 위의 완비화된 PD 대칭 대수를 사용하여, DγX = DX ⊗S·TX′ ˆΓ·TX′ 를 정의한다.
• 카르티에 변환을 C̃X(E) = ι∗HomDγX(B̃X, E) 로 정의하며, 여기서 B̃X는 아자마야 대수 DγX에 대한 스플릿팅 모듈이다.
• DγX가 S·TX′ 위의 아자마야 대수이고, B̃X가 이를 스플릿팅함으로써 범주 간의 동치를 유도한다.
• 유도 범주의 프레임워크를 이용하여, 카르티에 변환을 유도 직접 및 역이미지로 확장하고, 유도된 카르티에 변환을 정의한다.

실험 결과

연구 질문

• RQ1 특성 p에서 심슨의 복소다양체 위 이론에 대응하는 비아벨리안 훅스 대응을 수립할 수 있는가?
• RQ2 카르티에 변환은 특성 p에서 고전적인 리만-힐베르트 대응과 어떻게 관련이 있는가?
• RQ3 p²에 대한 프로베니우스 올림은 D-모듈에 대한 훅스 이론적 대응을 수립하는 데 어떤 역할을 하는가?
• RQ4 유도된 카르티에 변환은 de Rham 직접 이미지와 가우스-민 연결과 어떻게 상호작용하는가?
• RQ5 카르티에 변환은 어떤 의미에서 계수를 포함하는 코homology로 델리뉴-일루시에의 분해 정리를 일반화하는가?

주요 결과

• 카르티에 변환 C̃X는 수준 ≤ p−1인 노름화된 D-모듈의 범주와 수준 ≤ p−1인 노름화된 Higgs 모듈의 범주 사이에서 유사역동치를 제공한다.
• 이 구성은 X를 p²에 대해 올림할 수 있고, 프로베니우스 올림의 토르서 L̃X가 존재하며, 이는 자연스러운 접속을 지닌다.
• DγX는 S·TX′ 위의 아자마야 대수이며, B̃X는 DγX에 대한 스플릿팅 모듈이므로 카르티에 변환이 범주 간의 동치가 될 수 있다.
• 유도된 카르티에 변환은 유도된 범주에서의 유도된 Hom을 통해 구성되며, de Rham 직접 이미지와 가우스-민 연결과 가환한다.
• 논문은 de Rham 코hom로와 Higgs 코hom로 사이의 동형사상을 증명한다: H•(X, E ⊗Ω•X) ≅ H•(X′, C̃X(E) ⊗Ω•X′).
• 저자들은 카르티에 변환을 통해 바라니코프와 콘체비치의 정리를 증명하여, 특성 p에서 노름화 조건이 성립할 경우 Hodge-to-de Rham 스펙트럴 시퀀스가 분해됨을 보였다.