[논문 리뷰] An inverse Cartier transform via exponential in positive characteristic

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

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

한 줄 요약

이 논문은 특성 $ p $ 가 홀수인 완전체 $ k $ 상의 매끄러운 대상에서 지수 $ n \leq p-1 $ 인 니르포텐트 히그스 번들의 경우, $ W_2(k) $ 상에서 프로베누스 상승을 통해 지수 함수 유사 구조를 이용하여 평탄한 번들을 구성한다. 주요 결과는 기하학적 경우에서 이 구성이 오구스–볼로고드스키의 역 카르티에 변환과 동치임을 보이며, 상대 프로베누스에 의해 유도된 동형사상에 의해 확인된다.

ABSTRACT

Let $k$ be a perfect field of odd characteristic $p$ and $X_0$ a smooth connected algebraic variety over $k$ which is assumed to be $W_2(k)$-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over $X_0$ of exponent $n\leq p-1$ via the exponential function. Presumably, the association is equivalent to the inverse Cartier transform of A. Ogus and V. Vologodsky for these Higgs bundles. However this point has not been verified in the note. Instead, we show the equivalence of the association with that of Sheng-Xin-Zuo in the geometric case. The construction relies on the cocycle property of the difference of different Frobenius liftings over $W_2(k)$, which plays the key role in the proof of $E_1$-degeration of the Hodge to de Rham spectral sequence of $X_0$ due to P. Deligne and L. Illusie.

연구 동기 및 목표

• 특성 $ p $ 가 홀수인 완전체 $ k $ 상의 매끄러운 대상 $ X_0 $ 위에서 지수 $ n \leq p-1 $ 인 니르포텐트 히그스 번들로부터 평탄한 번들을 구성하는 것.
• 미분기하학적 도구와 지수 함수를 이용한 역 카르티에 변환의 대체 구성 방법을 제공하는 것.
• 이 구성이 기하학적 경우에서 오구스–볼로고드스키의 역 카르티에 변환과 동치임을 확립하는 것.
• 변환 기저의 변화에 대해 연결이 적절하게 정의되고, 프로베누스 상승의 코ycle 성질에 기반하여 연결이 적분 가능하고 잘 정의됨을 검증하는 것.

제안 방법

• 대상 $ X_0 $ 를 $ W_2(k) $-스킴 $ X_1 $ 으로 상승시키고, 약한 열린 부분집합 $ U'_\alpha $ 상에서 국소 프로베누스 상승 $ F_\alpha $ 를 사용한다.
• 히그스 필드 $ \theta_\alpha $ 를 이용하여 $ H_\alpha = F_0^*E|_{U_\alpha} $ 의 풀백 번들 위에 연결 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $ 를 정의한다.
• 변환 법칙을 검증함으로써 연결이 국소 기저의 변화에 대해 잘 정의됨을 증명한다. 이는 $ dF_0^*M = 0 $ 과 $ \frac{dF_\alpha}{[p]} $ 의 구조에 기반한다.
• 히그스 필드의 니르포텐트성과 적분 가능성에 기반하여 $ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ 과 $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $ 를 증명함으로써 연결의 적분 가능성 증명한다.
• 상대 프로베누스 동형사상 $ \tilde{\Phi}_{\tilde{F}_\alpha} $ 를 이용해 국소 연결을 붙여 전체 평탄한 번들을 구성한다. 이는 상승의 선택에 관계없이 독립적이다.
• 지수 급수 $ \sum \frac{(h_{\alpha\beta}(F_0^*\theta))^i}{i!} $ 를 통한 전이 함수와 연결의 일치를 보여, 구성된 평탄한 번들과 오구스–볼로고드스키의 역 카르티에 변환 사이의 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 지수 $ n \leq p-1 $ 인 니르포텐트 히그스 번들을 지수 함수 유사 맵을 사용하여 양의 특성에서 평탄한 번들로 구성할 수 있는가?
• RQ2 이 구성은 기하학적 경우에서 오구스–볼로고드스키의 역 카르티에 변환과 동치인가?
• RQ3 $ W_2(k) $ 상에서 프로베누스 상승의 코ycle 성질이 구성된 연결의 잘 정의성과 적분 가능성 보장에 어떻게 기여하는가?
• RQ4 상대 프로베누스는 구성된 평탄한 번들과 역 카르티에 변환 사이의 동형사상을 유도하는 데 어떤 역할을 하는가?
• RQ5 히그스 필드의 니르포텐트성과 적분 가능성 조건 하에서 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $ 로 정의된 연결이 평탄한 구조를 유도하는가?

주요 결과

• 변환 기저의 변화에 대해 $ H_\alpha = F_0^*E|_{U_\alpha} $ 위의 연결 $ \nabla_\alpha $ 는 잘 정의되며, $ dF_0^*M = 0 $ 에 의해 변환 법칙이 성립하기 때문이다.
• 히그스 필드의 니르포텐트성과 적분 가능성에 기반하여 $ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ 과 $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $ 이므로 연결 $ \nabla_\alpha $ 는 적분 가능하다.
• 전체 평탄한 번들의 전이 함수는 $ g_{\alpha\beta} = 1 + \sum_{|\underline{j}|=1}^n F_0^*(\theta_\partial^{\underline{j}}) \cdot \frac{z^{\underline{j}}}{\underline{j}\,!} $ 로 주어지며, 프로베누스 상승의 차이의 지수 급수와 일치한다.
• 구성된 평탄한 번들 $ (H_{\text{exp}}, \nabla_{\text{exp}}) $ 는 상대 프로베누스 동형사상 $ \tilde{\Phi}_{F_\alpha} $ 를 통해 오직 역 카르티에 변환 $ (H_{(G,\theta)}, \nabla) $ 와 자연스럽게 동형이다.
• 연결의 동형사상은 $ \tilde{\Phi}_{F\alpha}(\nabla_{\text{exp}}(F_0^*e_\alpha)) = \nabla[\tilde{\Phi}_{F_\alpha}(F_0^*e_\alpha]) $ 를 만족하며, 연결 공식을 일치시켜 검증된다.
• 이 구성은 $ W_2(k) $ 상에서 프로베누스 상승의 차이의 코ycle 성질에 의해 결정되며, 이는 붙임 과정의 일관성과 히그스-데 라함 스펙트럴 시퀀스의 $ E_1 $-분해를 뒷받침한다.