[논문 리뷰] On the deformation of a Barsotti-Tate group over a curve

Jie Xia|arXiv (Cornell University)|2013. 03. 12.

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

한 줄 요약

이 논문은 특성 $p$를 갖는 대수적으로 닫힌 체 $k$ 위의 고도 2인 Barsotti-Tate 군 $G$를 가진 고도 $≥q 2$인 평탄하고 완비인 곡선 $C$의 쌍 $(C, G)$에 대해 올림 조건을 수립한다. $C$가 $G$의 일반적 변형이라면, 저자들은 $W(k)$ 위로의 쌍의 유일한 올림이 존재함을 증명하며, 이를 통해 Mumford 유형의 쇼이마 곡선을 특성 0으로의 올림에 응용한다.

ABSTRACT

In this paper, we study deformations of pairs (C,G) where G is a height 2 BT(or BT_n) group over a complete curve on algebraically closed field k of characteristic p. We prove that, if the curve C is a versal deformation of G, then there exists a unique lifting of the pair to the Witt ring W. We apply this result in the case of Shimura curves to obtain a lifting criterion.

연구 동기 및 목표

• 고도 2인 $BT$ 군 $G$를 가진 곡선 $C$에 대해, 쌍 $(C, G)$가 $W(k)$ 위로의 유일한 올림을 갖는 조건을 수립하는 것.
• 양의 특성에서 특성 0으로의 Mumford 유형 쇼이마 곡선의 올림을 위한 기준을 제공하는 것.
• 편미분 이론을 애초의 기반에서 완비 곡선으로 확장하여, 전반적 설정에서 발생하는 장애를 다루는 것.
• 곡선 $C$가 $G$의 변형 공간으로서의 일반성과 코다이라-스펜서 사상 조건 사이의 연관성을 연결하는 것.
• 올림 결과를 이용해 형식적 가군의 아벨 다양체 가중치를 대수적 구조로 변환하고, 특성 0에서 쇼이마 곡선임을 증명하는 것.

제안 방법

• 편미분 이론의 코homological 방법을 사용하여 $(C, G)$를 $W_2$로의 올림에 대한 장애 클래스를 계산한다.
• 곡선 $C$의 일阶 변형을 사용하여 $W_2$에서 장애 클래스를 제거함으로써 국소적 올림을 보장한다.
• 반복적 변형 기법을 적용하여 쌍을 모든 $n$에 대해 $W_n$으로 올림하고, $\mathrm{Spf}(W)$ 위의 형식적 스킴을 구성한다.
• 그로텐디크의 대수화 정리를 적용하여 형식적 스킴을 $W$ 위의 스킴으로 대수화한다.
• 최대 히그 장 조건과 코다이라-스펜서 동형을 활용하여, 올린 가중치가 쇼이마 곡선임을 보장한다.
• 심플렉틱 형식 제약 조건을 통한 극도의 극도화 올림 유일성에 기반하여, 올린 가중치가 극도화된 상태를 유지함을 보장한다.

실험 결과

연구 질문

• RQ1 고도 $≥q 2$인 완비 곡선 $C$와 고도 2인 $BT$ 군 $G$를 가진 쌍 $(C, G)$가 $W(k)$ 위로의 유일한 올림을 갖는 조건은 무엇인가?
• RQ2 코다이라-스펜서 사상 조건은 $C$가 $G$의 변형 공간으로서의 일반성과 어떻게 관련되는가?
• RQ3 최대 히그 장과 특수한 $p$-나누어지는 군의 구조를 가진 아벨 다양체의 가중치가 $W(k)$ 위의 쇼이마 곡선으로 대수화될 수 있는가?
• RQ4 극도화 올림의 유일성은 $W$ 위의 형식적 가중치의 대수화 과정에서 어떤 역할을 하는가?
• RQ5 고도 2인 $BT$ 군의 변형 이론은 애초의 기반을 초월하여 곡선 위로 어떻게 확장될 수 있으며, 어떤 장애가 발생하는가?

주요 결과

• 만약 $C$가 $G$의 일반적 변형이라면, $C$를 $W(k)$ 위의 곡선 $C'$로, $G$를 $G'$로의 유일한 올림이 존재한다.
• 올림 $G'$는 유일한 동형사상까지 유일하므로, 변형 과정에서 강력한 강성( rigidity )을 보인다.
• 코다이라-스펜서 사상 $T_C \to t_G \otimes t_{G^*}$가 동형사상임은 $C$가 $G$의 일반적 변형임과 동치이다.
• $C$가 일반적이라면 $(C, G)$를 $W_2$로의 올림에 대한 장애가 사라지며, 이는 모든 $W_n$으로의 반복적 올림을 가능하게 한다.
• 올림을 통해 얻어진 $W$ 위의 아벨 다양체의 형식적 가중치는 대수화 가능하며, 일반 성분은 Mumford 유형의 쇼이마 곡선이다.
• 극도화 올림이 이론적 맥락에서 유일하므로, 올린 가중치는 극도화된 상태를 유지하며, 따라서 대수화 가능하다.