Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

기술적 요약: 1 차원 리 대수를 갖는 무한소 가환 단위원군 스킴

문제 제기
본 논문은 특성 $p > 0$ 인 대수적으로 닫힌 체 $k$ 위에서 정의된 무한소 가환 단위원군 스킴을 명시적으로 기술하는 데 따른 어려움을 다룹니다. 이러한 스킴들은 존재하는 것으로 알려져 있습니다 (예: $p$-rank 가 0 인 아벨 다양체의 $p$-torsion). 그러나 Hopf 대수 관점에서 그 명시적 구조는 특히 차수가 증가함에 따라 종종 불투명합니다. 본 논문이 다루는 구체적인 문제는 1 차원 리 대수를 갖는 $p^n$ 차수의 무한소 가환 단위원 $k$-군 스킴의 분류입니다. 이 분류는 그러한 스킴의 존재에 관한 Fakhruddin 의 부분적 질문과 곡선에 대한 이러한 스킴들의 유리적 작용에 관한 Brion 의 질문에 자극을 받아 이루어졌습니다.

방법론
저자는 Witt 벡터 환 $W(k)$ 위의 Dieudonné 모듈 이론을 활용하여 기하학적 문제를 Frobenius $F$ 와 Verschiebung $V$ 로 생성된 비가환 환 $E$ 위의 모듈과 관련된 대수적 문제로 변환합니다.

1. Dieudonné 모듈로의 축소: 무한소 가환 단위원군 스킴과 유한 길이의 왼쪽 $E$-모듈 (여기서 $F$ 와 $V$ 는 멱영) 사이의 반등가 범주성을 이용하여, 문제를 길이 $n$ 인 특정 $E$-모듈의 분류 문제로 축소합니다.
2. 귀납적 분류: 증명은 $n$ 에 대한 귀납법을 통해 진행됩니다. $p^n$ 차수의 군 스킴 $G$ 에 대해, 저자는 $(n-1)$-차 Frobenius 사상에 의해 유도된 짧은 완전열을 분석합니다:
   $$0 \to \ker(F_G^{n-1}) \to G \to \alpha_p \to 0$$
   귀납 가정에 따라 핵은 분류되어 있습니다. 그 후 Dieudonné 모듈 $M(G)$ 을 $\alpha_p$ 에 해당하는 모듈의 확장으로 분석합니다.
3. 대수적 단순화: 중요한 단계는 Dieudonné 모듈의 정의 관계에 있는 특정 매개변수들이 정규화될 수 있음을 증명하는 것입니다. 구체적으로, Proposition 4.3 은 대수적으로 닫힌 체의 경우 $W(k)$ 의 계수를 포함하는 항들이 동형사상을 통해 소거될 수 있음을 보여줌으로써, 분류를 이산적인 매개변수 집합으로 축소합니다.
4. 명시적 구성: 논문은 분류된 스킴들에 대한 Hopf 대수를 명시적으로 구성하며, 이들이 Witt 벡터 군 스킴 $W_n$ 위의 $V - F^i$ 꼴의 사상의 핵으로 나타난다는 것을 보여줍니다.

주요 기여 및 결과

• 분류 정리 (Theorem 1.1): 본 논문은 특성 $p > 0$ 인 대수적으로 닫힌 체 $k$ 위에서, 1 차원 리 대수를 갖는 $p^n$ 차수의 무한소 가환 단위원 $k$-군 스킴의 동형류가 정확히 $n$ 개임을 증명합니다.
  이러한 스킴들은 다음과 같이 명시적으로 기술됩니다:
  $$W_n^n[V - F^i] := \ker(V - F^i : W_n^n \to W_n^n)$$
  여기서 $i = 1, \dots, n$ 입니다. 여기서 $W_n^n$ 은 길이가 $\le n$ 인 Witt 벡터의 군 스킴을 나타내며, $F$ 와 $V$ 는 Frobenius 와 Verschiebung 사상입니다.

• Cartier 쌍대성 (Corollary 4.5): 논문은 Cartier 쌍대체가 1 차원 리 대수를 갖는 스킴들에 대한 병렬적인 분류를 제공합니다. 이들은 $i = 1, \dots, n$ 에 대해 $W_n^n[F - V^i]$ 로 주어집니다.

• 초특이 타원 곡선의 부분군 스킴 (Proposition 5.1): 이 분류는 초특이 타원 곡선 $E$ 에 적용됩니다. 논문은 다음을 확립합니다:

  • $p^n$-torsion 부분군 $E[p^n]$ 은 $W_{2n}^{2n}[V - F]$ 와 동형입니다.
  • $m$-차 Frobenius 핵 $E[F^m]$ 은 $W_m^m[F - V]$ 와 동형입니다.
  • 결과적으로, 초특이 타원 곡선의 무한소 부분군 스킴들은 분류된 목록의 자기 쌍대 스킴들 (구체적으로 쌍대 분류에서 $i=1$ 인 경우) 과 정확히 일치합니다.

• 곡선 위의 유리적 작용 (Proposition 5.3): Brion 의 질문에 답하여, 논문은 이 $n$ 개의 스킴 중 어떤 것이 매끄러운 연결 1 차원 대수군에 포함될 수 있는지를 결정합니다.

  • 포함 가능한 경우는 두 가지뿐입니다: $G \cong \alpha_{p^n}$ (가법군 $\mathbb{G}_a$ 의 부분군) 과 $G \cong W_n^n[F - V]$ (초특이 타원 곡선의 부분군).
  • 나머지 $n-2$ 개의 스킴들 ($1 < i < n$) 은 어떤 매끄러운 연결 1 차원 대수군의 부분군 스킴도 아닙니다. 그러나 논문에서 인용된 이전 연구에 따르면, 이러한 스킴들은 여전히 임의의 곡선 위에 유리적이고 일반적으로 자유로운 작용을 허용합니다.

• 비가환 반례 (Example 5.4): 논문은 가환성에 관한 질문에 답하며 마무리합니다. 1 차원 리 대수를 갖는 비가환 무한소 단위원군 스킴의 명시적 예를 제시함으로써, 이러한 차원 제약이 있더라도 가환성이 보장되지 않음을 보여줍니다.

의의
본 논문은 이전에는 추상적인 Dieudonné 모듈 이론을 통해서만 이해되었던 군 스킴의 특정 클래스에 대한 완전하고 명시적인 열거를 제공합니다. Witt 벡터와 Hopf 대수 관점에서 명시적 기술을 제공함으로써, 이 스킴들의 다양체 위에서의 작용 구성을 용이하게 합니다. 또한, 이러한 스킴들이 매끄러운 곡선에 포함되는 것과 관련된 구체적인 질문들을 해결하고, 초특이 타원 곡선 위의 torsion 과 Frobenius 핵의 구조를 명확히 합니다. 이 결과들은 매끄러운 곡선의 부분군이라는 의미에서 "기하학적"인 군 스킴과 본질적으로 순수하게 무한소적이지만 여전히 곡선 위에 작용할 수 있는 군 스킴들을 구분하는 데 기여합니다.