[논문 리뷰] The local lifting problem for actions of finite groups on curves

Ted Chinburg, Robert M. Guralnick외 1명|ArXiv.org|2009. 03. 02.

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

한 줄 요약

이 논문은 양의 특성 p에서 곡선 위의 유한군 작용의 국소적 올림 문제를 조사하며, k[[t]]에서 특성 0으로의 군 작용 올림에 대한 차단 요소를 집중적으로 다룬다. KGB 차단 요소를 도입하고 분석하는데, 이는 모든 부분군 H에 대해 몫 곡선 X/H와 Y/H의 종수(genus)가 일치할 경우에만 0이 된다. G = Z/p × Z/p인 경우, KGB 차단 요소가 0이 되는 것은 p ≠ 3일 때에만 성립하며, 이는 일반화된 Oort 추측에 대한 핵심 반례를 제공한다.

ABSTRACT

Let $k$ be an algebraically closed field of characteristic $p > 0$. We study obstructions to lifting to characteristic 0 the faithful continuous action $ϕ$ of a finite group $G$ on $k[[t]]$. To each such $ϕ$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $ϕ$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic 0 in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H \subset G$. We determine for which $G$ the KGB obstruction of every $ϕ$ vanishes. We also consider analogous problems in which one requires only that an obstruction to lifting $ϕ$ due to Bertin vanishes for some $ϕ$, or for all sufficiently ramified $ϕ$. These results provide evidence for a strengthening of Oort's lifting conjecture.

연구 동기 및 목표

• 모든 국소적 작용 φ: G → Aut(k[[t]])가 특성 0으로 올림 가능한 유한군 G를 규명하는 것.
• KGB 차단 요소를 분석하며, 이는 모든 H ≤ G에 대해 genus(X/H) = genus(Y/H)라는 조건으로 정의되며, 이 조건이 언제 0이 되는지 규명하는 것.
• KGB 차단 요소와 Bertin 차단 요소를 비교하고, 국소적 올림의 맥락에서 이들의 관계를 명확히 하는 것.
• 모든 충분히 강한 분기 작용이 올림 가능한 군들을 식별함으로써 강화된 Oort 추측에 대한 증거를 제공하는 것.

제안 방법

• Katz-Gabber 정리를 사용하여 각 k[[t]] 위의 국소적 작용 φ에 대해 k 위의 매끄럽고 사영적인 곡선 Y를 부여한다.
• KGB 차단 요소를, 모든 H ≤ G에 대해 특성 0 위의 올림 X가 존재하여 genus(X/H) = genus(Y/H)가 되는 조건으로 정의한다.
• Hasse-Arf 정리를 적용하여 갈로아 군의 상부 번호 체계에서의 분기 필터링과 점프 수를 분석한다.
• 문제를 순환 부분군과 그 생성자 분석으로 환원하며, 특히 G = Z/p × Z/p의 경우를 중심으로 다룬다.
• 거듭제곱 급수 확장과 통일자(uniformizers)를 사용하여 φ(σ)(t) − t의 값을 계산하는 구체적 예를 구성한다.
• 순서 p 부분군의 생성자의 곱에 관한 군론적 조건을 사용하여 KGB 차단 요소가 0이 되는지 여부를 결정한다.

실험 결과

연구 질문

• RQ1 어떤 유한군 G에 대해, 모든 국소적 작용 φ: G → Aut(k[[t]])에 대해 KGB 차단 요소가 0이 되는가?
• RQ2 G = Z/p × Z/p일 때 p = 3이면 KGB 차단 요소가 0이 되는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ3 Bertin 차단 요소와 KGB 차단 요소는 어떻게 관련되어 있으며, 일반적으로 서로 동치인가?
• RQ4 어떤 조건에서 KGB 차단 요소가 충분히 강한 분기 작용에 대해 0이 되는가?
• RQ5 KGB 차단 요소는 0이지만 Bertin 차단 요소는 0이 아닌 유한군 G가 존재하는가?

주요 결과

• G = Z/p × Z/p일 때, KGB 차단 요소가 0이 되는 것은 p ≠ 3일 때에만 성립한다.
• p = 3이고 i₀ + 1 = p일 때, KGB 차단 요소는 0이 되지 않으며, 이는 일반화된 Oort 추측에 대한 반례를 제공한다.
• i₀ + 1 > p이면, 모든 G = Z/p × Z/p에 대해 KGB 차단 요소가 0이 되며, 이는 부분군마다 다수의 생성자가 존재하여 곱 항등식이 성립하기 때문이다.
• i₀ + 1 = p이고 G_{i₀+1} = {e}일 때, KGB 차단 요소가 0이 되는 것은 p ≠ 3일 때에만 가능하며, 이는 (Z/p)×에서의 방정식계의 해가 존재하지 않기 때문이다.
• KGB 차단 요소는 Bertin 차단 요소보다 엄밀히 강력하다: Bertin 차단 요소는 0이지만 KGB 차단 요소는 0이 아닌 작용이 존재한다.
• 논문은 특성 3에서 Bertin 차단 요소는 0이지만 KGB 차단 요소는 0이 아닌 구체적 예를 구성함으로써, 이 두 요소가 동치가 아님을 확인한다.