[논문 리뷰] Logarithmic nonabelian Hodge theory in characteristic p

Daniel Schepler|ArXiv.org|2008. 02. 14.

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

한 줄 요약

이 논문은 로그 스킴에서 특성 $p$ 상황에서 $Ø$-모듈로와 근본적으로 연결된 $Ø_{X/S}$-모듈로 사이의 등치를 라우렌초의 인덱스화된 대수를 사용하여 수립한다. 주요 결과는 $p$-곡률과 허그스 장이 $p$ 미만의 차수로 근본적으로 연결되어 있을 경우, 드 라무 및 허그스 코homology 사이에 등형이 존재하며, 이는 비아벨리안 허그스 이론을 로그적, 양의 특성 상황으로 확장한다.

ABSTRACT

Given a morphism $X o S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent integrable connection and indexed $B_{X/S}$-modules with nilpotent $B_{X/S}$-linear Higgs field. If either satisfies a stricter nilpotence condition, we find an isomorphism between the de Rham cohomology of the connection and the Higgs cohomology of the Higgs field.

연구 동기 및 목표

• 로그 스킴에서 특성 $p$ 상황으로 비아벨리안 허그스 이론을 확장하기 위해.
• 로그 스킴에 대한 리만-힐베르트 대응에서 $p$-곡률과 잔여항의 장애를 해결하기 위해.
• 인덱스화된 대수를 사용하여 근본적으로 연결된 연결을 가진 모듈로와 근본적으로 연결된 허그스 장을 가진 모듈로 사이의 등치를 구성하기 위해.
• 모듈로의 $p$-곡률과 허그스 장이 $p$ 미만의 차수로 근본적으로 연결되어 있을 경우, 드 라무 및 허그스 코homology 사이에 등형이 존재함을 증명하기 위해.

제안 방법

• Lorenzon의 인덱스화된 대수 $\mathcal{A}_{X}^{\operatorname{gp}}$ 와 $\mathcal{B}_{X/S} = (\mathcal{A}_{X}^{\operatorname{gp}})^{d=0}$ 를 사용하여 대응을 정의한다.
• 등치를 구성하기 위해 $X'$ 를 $S$ 에 대해 $p^2$ 모듈로로 올림 $\mathcal{X}/\mathcal{S}$ 를 이용한다.
• $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ 를 통해 $p$-곡률 사상 $\psi: \mathscr{T}_{X/S} \to F_{X/S*}\mathscr{E}nd_{\mathscr{O}_X}(E)$ 를 정의한다.
• PD 미분 연산자와 조건 $\phi(\zeta_m^{[p]}) = 0$ ($m \in \mathscr{M}_X$) 를 이용하여 $\psi$ 가 $F$-선형인 것을 증명한다.
• 유도 등치를 통해 근본적 조건 하에서 드 라무 및 허그스 코homology 사이의 등형을 수립한다.
• 국소적으로 로그 좌표를 사용하여 $F_{X/S}^*\Omega^1_{X'/S}$ 와 $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ 사이의 등형을 검증한다.

실험 결과

연구 질문

• RQ1 비아벨리안 허그스 대응은 $p$-곡률이 0이 아닐 경우에도 특성 $p$ 상황에서 로그 스킴으로 확장될 수 있는가?
• RQ2 로그적 리만-힐베르트 대응에서 잔여항과 $p$-곡률의 장애는 어떻게 상호작용하는가?
• RQ3 기저 스킴에 어떤 구조가 있어야 양의 특성 상황에서 연결과 허그스 장 사이의 등치가 존재하는가?
• RQ4 모듈로의 $p$-곡률과 허그스 장이 $p$ 미만의 차수로 근본적으로 연결되어 있을 경우, 드 라무 및 허그스 코homology 사이에 유도 등치가 존재하는가?
• RQ5 $p$-곡률 사상은 PD 미분 연산자와 인덱스화된 대수를 사용하여 $F$-선형인 것으로 보일 수 있는가?

주요 결과

• 근본적으로 연결된 연결을 가진 $\mathscr{O}_X$-모듈로와 근본적으로 연결된 $\mathcal{B}_{X/S}$-선형 허그스 장을 가진 인덱스화된 $\mathcal{B}_{X/S}$-모듈로 사이의 등치를 구성하였다.
• $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ 인 $p$-곡률 사상 $\psi$ 는 PD 미분 연산자를 사용한 새로운 개념적 증명을 통해 $F$-선형임을 보였다.
• 로깅 좌표를 국소적으로 사용하여 $F_{X/S}^*\Omega^1_{X'/S}$ 와 $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ 사이의 등형을 확립하였다.
• $\psi: E \to E \otimes_{\mathscr{O}_X} F_{X/S}^*\Omega^1_{X'/S}$ 는 $\nabla_D^p - \nabla_{D^{(p)}}$ 와 동일하며, 이는 $p$-곡률이 $F$-선형인 것으로 증명한다.
• 모듈로의 $p$-곡률과 허그스 장이 $p$ 미만의 차수로 근본적으로 연결되어 있을 경우, 유도 범주에서 드 라무 및 허그스 코homology 사이에 등형이 존재한다.
• 이러한 등치와 코homology 등형은 $p^2$ 모듈로에서의 올림 $\mathcal{X}/\mathcal{S}$ 에 의존하며, 이는 등치와 코homology 등형에 있어 필수적이다.