[논문 리뷰] Effective model of a finite group action

Matthieu Romagny|arXiv (Cornell University)|2006. 01. 26.

Geometric and Algebraic Topology참고 문헌 3인용 수 4

한 줄 요약

이 논문은 이산 평가환수 위의 스킴에 대한 유한군 작용에 대해 효과적인 모델을 제안하며, 양의 특성에서 군 작용의 붕괴 문제를 해결한다. 원래의 군 스킴 $G$를 지배하는 유한 평탄 군 스킴 ${\cal G}$를 구성함으로써, $p$가 $|G|$를 나누는 경우에도 작용이 여전히 효과적으로 유지되도록 보장한다. 이는 타원곡선의 갈로아 쌍대와 레이노의 군 스킴에 응용된다.

ABSTRACT

Let $R$ be a discrete valuation ring with fraction field $K$. Let $X$ be a flat $R$-scheme of finite type and $G$ a finite flat group scheme acting on $X$ so that $G\_K$ is faithful on the generic fibre $X\_K$. We prove that there is an effective model of $G$ i.e. a finite flat group scheme dominated by $G$, isomorphic to it on the generic fibre, and extending the action of $G\_K$ on $X\_K$ to an action on all of $X$ that is faithful also on the special fibre. It is unique with these properties. We give examples and applications to degenerations of coverings of curves.

연구 동기 및 목표

• 특수 섬유에서 $p$가 $|G|$를 나누는 경우 군 작용 붕괴 문제를 다루며, 특히 느뵈르 모델과 곡선의 갈로아 쌍대의 맥락에서 고려한다.
• 원래의 군 스킴 $G$를 지배하면서 스킴 $X$의 특수 섬유 위에 충실하게 작용하는 $R$ 위의 유한 평탄 군 스킴 ${\cal G}$를 구성한다.
• 모든 성질이 보장되는 국소적 효과적인 대체 모델을 제공하여, $X$가 온전하지 않은 조건에서도 글로벌로 붙일 수 있도록 보장한다.
• 레이노의 군 스킴에 대한 결과를 복원하고 확장하여, 그것이 $Y$의 기약 성분에서 상수임을 보이고, 비틀림 없이 노드로까지 확장됨을 보인다.

제안 방법

• 특수 섬유에 제한된 작용 사상 $G \times X \to X$의 스키마적 상을 정의함으로써 효과적인 모델 ${\cal G}$를 구성하며, 충실성을 보장한다.
• 스키마적 폐쇄와 $R$-스킴에 대한 지배 개념을 사용하여, $R$-사상 $G \to {\cal G}$를 통한 $G$의 몫으로 ${\cal G}$를 구성한다.
• 특히 $p$- torsion 군인 $\alpha_p$와 $\mu_p$에 대해, 유한 평탄 군 스킴 이론과 그 호프 대수를 적용하여 ${\cal G}$를 명시적으로 기술한다.
• 절단된 유클리드 벡터를 활용하여, 이소지니 $\phi_{\lambda,\nu} = F_\lambda - I_{\lambda,\lambda^{p-1}}^\nu$를 통해 효과적인 군 작용을 모델링한다.
• 터소르 방정식에서의 변수 변경을 통해 명시적 모델을 구성하여, ${\cal G}$가 이러한 이소지니의 핵으로서 실현됨을 보인다.
• ${\cal G}$가 특수 섬유 위에서 충실하게 작용하고, 비틀림 없이 특수 섬유의 노드로까지 확장됨을 증명한다. 이는 $X$가 온전하지 않은 경우에도 성립한다.

실험 결과

연구 질문

• RQ1 특수 섬유 위에서 $p$가 $|G|$를 나누는 경우에도, 스킴 $X$에 $G$-작용이 있는 $R$-유한 평탄 군 스킴 ${\cal G}$를 구성할 수 있는가?
• RQ2 생성된 효과적인 모델 ${\cal G}$가 레이노의 군 스킴을 복원하거나 확장하는가? 특히 $Y = X/G$의 매끄러운 부분에서의 성질을 고려한다.
• RQ3 효과적인 모델 ${\cal G}$는 글로벌로 붙일 수 있으며, 특수 섬유의 기약 성분에서 일정한가?
• RQ4 특수 섬유의 특이점(노드)까지 ${\cal G}$의 작용을 비틀림 없이 확장할 수 있는가?
• RQ5 ${\cal G}$의 특수 섬유 위 작용이 여전히 터소르인 경우는 언제이며, 실패하는 경우는 언제인가?

주요 결과

• 유한 평탄 $R$-군 스킴 $G$가 유한형의 평탄 $R$-스킴 $X$ 위에 작용하고 특수 섬유가 기약일 때, 함수 환의 약한 위상 조건 하에 효과적인 모델 ${\cal G}$는 항상 존재한다.
• 효과적인 모델 ${\cal G}$는 $R$ 위의 유한 평탄 군 스킴이며, $G$를 지배하고 특수 섬유 $X_k$ 위에 충실한 작용을 유도한다. 이는 $G_k$가 비자명한 핵을 가질 경우에도 성립한다.
• $X_K$가 $p$- torsion 작용을 갖는 아벨 다양체일 경우, 효과적인 모델은 정확히 $A[p]$인 $p$- torsion 부분군 스킴이다.
• 레이노의 군 스킴의 경우, 구성 과정을 통해 그것이 $Y_k$의 기약 성분에서 상수임을 보이고, 비틀림 없이 노드로까지 확장됨을 보였다.
• 효과적인 모델 ${\cal G}$는 적절한 $\lambda, \nu$에 대해 $\ker(\phi_{\lambda,\nu})$와 동형이며, $p > 2$일 때 호프 대수 $R[\mathcal{K}_{\lambda,\nu}] = R[u_1,u_2]/(u_1^p - \nu u_1, u_2^p - \nu^p \lambda^{p-1} u_2)$를 가진다.
• 예제 2.2.2에서 특수 섬유 위에서 ${\cal G}$의 작용은 차수 $p$의 안정자군을 가지며, 이는 작용이 충실하지만 자유가 아님을 보이고, $X \to Y$는 ${\cal G}$-터소르가 아님을 보여준다.