[논문 리뷰] Equiramified deformations of covers in positive characteristic

Rachel Pries|ArXiv.org|2004. 03. 02.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 6

한 줄 요약

이 논문은 양의 특성에서의 악성으로 뻣어진 곡선의 쌍대 덮개의 등반위상 변형을 연구하며, 분지 다양체와 끓임 필터링이 일정한 변형의 모듈리 공간에 초점을 맞춘다. 이는 각각의 끓임 필터링에 대응하는 형식적 군 스킴의 곱의 부분스킴으로서 명시적인 모듈리 공간을 구성하며, 이 공간의 크룰 차원에 대해 끓임 필터링에 따라 엄밀한 상한과 하한을 제공한다; 갈루아 군이 아벨 $p$-군인 경우, 클래스 체계 이론을 통해 상한이 달성되며, 이로 인해 차원에 대한 정확한 공식을 도출할 수 있다.

ABSTRACT

Suppose $ϕ$ is a wildly ramified cover of germs of curves defined over an algebraically closed field of characteristic p. We study unobstructed deformations of $ϕ$ in equal characteristic, which are equiramified in that the branch locus is constant and the ramification filtration is fixed. We show that the moduli space $M_ϕ$ parametrizing equiramified deformations of $ϕ$ is a subscheme of an explicitly constructed scheme. This allows us to give an explicit upper and lower bound for the Krull dimension $d_ϕ$ of $M_ϕ$. These bounds depend only on the ramification filtration of $ϕ$. When $ϕ$ is an abelian p-group cover, we use class field theory to show that the upper bound for $d_ϕ$ is realized.

연구 동기 및 목표

• 양의 특성에서의 악성으로 뻣어진 곡선의 갈루아 덮개의 변형 이론을 이해하는 것. 고전적 특성 0 결과가 무한한 비분지 덮개와 도수와 같은 더 세밀한 끓임 불변량(예: 도수)으로 인해 실패하기 때문이다.
• 동일 특성 조건 하에서 분지 다양체와 끓임 필터링을 유지하는 등반위상 변형(즉, 분지 다양체와 끓임 필터링이 동일한 변형)이 차단되지 않는 경우를 분석하는 것.
• 이러한 등반위상 변형을 매개하는 명시적 모듈리 공간 ${\cal M}_{\phi}$를 구성하고, 이 공간의 크룰 차원을 덮개의 끓임 필터링에 따라 결정하는 것.
• 모듈리 공간 ${\cal M}_{\phi}$의 크룰 차원 $d_{\phi}$에 대해 날카로운 상한과 하한을 확립하고, 상한이 언제 달성되는지 알아내는 것.
• 일반적인 $p$-군 덮개, 특히 아벨 $p$-군에 대해 일반화된 결과를 도출하기 위해 일반적인 곡선과 $A\rtimes\mu_m$-덮개의 결과를 확장하는 것.

제안 방법

• 덮개 $\phi$의 끓임 필터링의 각 성분에 대응하는 스킴의 곱의 부분스킴으로서 모듈리 공간 ${\cal M}_{\phi}$를 구성하는 것.
• 형식적 패치잉과 국소/전역 변형 이론을 사용하여 문제를 관계 군 $I$를 가진 곡선의 꼬리 부분의 변형으로 축소하는 것.
• 부분덮개 위의 갈루아 작용을 활용하여 고정된 몫을 지배하는 $I$-갈루아 덮개의 가닥을 분석하고, 이 가닥이 $A\rtimes\mu_m$-덮개의 군에 대한 토르서로 이루어져 있음을 보이는 것.
• 아벨 $p$-군 덮개의 경우, 클래스 체계 이론을 적용하여 $d_{\phi}$의 상한을 실현하고, ${\cal M}_{\phi}$가 $\mathbb{F}_p^*$-작용에 대한 $\hat{\mathbb{G}}_a$-스킴의 곱과 동형임을 보이는 것.
• 아르틴-슈라이어 방정식을 사용하여 변형의 명시적 가닥을 기술하고, 예를 들어 $v^2 - v = u + a_1u$, $w^2 + w = v + a_2u$, $y^2 - y = w^3 + a_3u$ 와 같은 식을 통해 등변가 가닥을 구성하고, 섬유의 연결성을 분석하는 것.
• 정규화와 표준형 변환을 적용하여 섬유의 종수와 연결성을 결정하고, 아르틴-슈라이어 방정식의 주요 항의 차수 분석을 통해 수행하는 것.

실험 결과

연구 질문

• RQ1 양의 특성에서 악성으로 뻣어진 덮개 $\phi$의 등반위상 변형을 매개하는 모듈리 공간 ${\cal M}_{\phi}$의 구조는 어떻게 되는가?
• RQ2 덮개 $\phi$의 끓임 필터링에 따라 ${\cal M}_{\phi}$의 크룰 차원 $d_{\phi}$는 어떻게 경계를 정할 수 있는가?
• RQ3 상한이 언제 달성되며, 갈루아 군의 군론적 조건은 무엇인가?
• RQ4 특히 아벨 $p$-군 덮개의 경우, ${\cal M}_{\phi}$의 전체 차원을 실현하는 명시적 변형 가닥을 구성할 수 있는가?
• RQ5 분지 불변량, 예를 들어 하향 점프와 도수 등이 변형 공간과 총 덮개의 종수에 어떻게 영향을 미치는가?

주요 결과

• 등반위상 변형의 모듈리 공간 ${\cal M}_{\phi}$는 각각 덮개 $\phi$의 끓임 점에 대응하는 명시적으로 구성된 스킴의 곱의 부분스킴이다.
• 모듈리 공간 ${\cal M}_{\phi}$의 크룰 차원 $d_{\phi}$는 덮개 $\phi$의 끓임 필터링에만 의존하는 명시적인 상한과 하한을 만족한다.
• 아벨 $p$-군 덮개의 경우, $d_{\phi}$의 상한이 실현되며, ${\cal M}_{\phi}$는 $\mathbb{F}_p^*$-작용에 대한 $\hat{\mathbb{G}}_a$-스킴의 곱과 동형이다.
• 클래스 체계 이론과 고차 끓임 필터링의 끊김 점을 사용하여 아벨 $p$-군의 경우 $d_{\phi}$에 대한 정확한 공식을 유도한다.
• $D_8$-갈루아 덮개가 $\mathbb{P}^1$ 위에 있으며 관계 군이 $D_8$인 경우, 두 차원의 등반위상 변형 가닥을 구성하여 $d_{\hat{\Phi}} = 2$임을 보였다.
• 차원 경계는 날카롭다: $D_8$-덮개의 경우 $1 \leq d_{\hat{\Phi}} \leq 3$이며, 실제 차원은 2이다. 일반적으로 상한이 달성되지 않음을 퀼레르니안 군의 예로 보여주었다.