[논문 리뷰] Lifting of curves with automorphisms

Andrew Obus|arXiv (Cornell University)|2017. 03. 03.

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

한 줄 요약

이 논문은 양의 특성에서 군 작용을 가진 대수적 곡선의 올림 문제를 조사하며, 이러한 곡선과 그 자동형사상이 특성 0으로 어떻게 올릴 수 있는지에 중점을 둔다. 갈루아 이론, 분기 이론, 변형 이론의 기법을 통합하여, 오르트 추측의 해결과 고차 분기 군 및 하세-아르 정리에 의한 장애물의 특성화를 포함한 주요 결과를 도출한다. 특히 야생 분기 상황에서의 결과를 중심으로 다룬다.

ABSTRACT

The lifting problem for curves with automorphisms asks whether we can lift a smooth projective characteristic p curve with a group G of automorphisms to characteristic zero. This was solved by Grothendieck when G acts with prime-to-p stabilizers, and there has been much progress over the last few decades in the wild case. We survey the techniques and obstructions for this lifting problem, aiming at a reader whose background is limited to scheme theory at the level of Hartshorne's book. Throughout, we include numerous examples and clarifying remarks. We also provide a list of open questions.

연구 동기 및 목표

• 특성 $ p $ 에서 유한군의 자동형사상 작용을 가진 매끄럽고 사영적인 곡선이 특성 0으로 올릴 수 있는 조건을 이해하는 것.
• 야생 분기(즉, 군의 순서가 $ p $ 로 나누어지는 경우)가 이러한 올림을 방해하거나 가능하게 하는 역할을 분석하는 것.
• 특히 $ p $ 가 자동형사상 군의 순서를 나누는 야생 경우에서, 올림 문제의 최신 연구 동향을 서베이하는 것.
• 분기 필터링과 하세-아르 정리를 통해 국소적 및 전역적 올림 장애물 간의 관계를 명확히 하는 것.
• 기본적인 스킴 이론적 배경을 가진 연구자들을 위해 종합적이고 접근 가능한 개요를 제공하며, 열린 문제를 포함한다.

제안 방법

• 소수 $ p $ 와 서로소인 안정자군을 가진 올림에 대한 그로텐디크의 기본 결과를 기초로 삼는다.
• 하나의 올림 장애물 분석을 위해 하향 및 상향 번호를 가진 고차 분기 군 이론을 적용한다.
• 리만-허리츠 공식과 $ \delta = \sum_{i=0}^\infty (|G_i| - 1) $ 라는 차수 공식을 사용하여 야생 분기 하에서 종수의 변화를 연결한다.
• 핵심 결과로 오르트 추측(그린-마티뇽 및 다른 이론가들에 의해 증명됨): 국소체 위의 $ \mathbb{Z}/p $-확장은 상향 점이 $ \geq 1 $ 이면 항상 특성 0으로 올릴 수 있다.
• 변형 이론 기법과 윌트 벡터 $ W(k) $ 의 사용을 통해 국소 데이터로부터 올림을 구성한다.
• 특히 $ p $-확장의 맥락에서, 하세-아르 정리를 통해 아벨 확장에서 가능한 상향 점의 제약을 부여한다.

실험 결과

연구 질문

• RQ1 특성 $ p $ 에서 유한군 작용을 가진 곡선이 특성 0으로 올릴 수 있는 조건은 무엇인가?
• RQ2 군 작용이 야생 분기를 가질 경우(즉, 군의 순서가 $ p $ 로 나누어지는 경우), 올림에 대한 장애물은 무엇인가?
• RQ3 갈루아 확장에서의 상향 및 하향 분기 필터링은 올림 문제와 어떻게 관련되는가?
• RQ4 모든 $ \mathbb{Z}/p $-확장이 국소체에서 특성 0으로 올릴 수 있는가? 상향 점은 어떤 역할을 하는가?
• RQ5 특성 $ p $ 에서 곡선의 종수와 분기 자료 사이의 관계는 무엇이며, 이는 올림에 어떻게 영향을 미치는가?

주요 결과

• 그로텐디크의 결과에 따르면, 자동형사상 군의 작용이 소수 $ p $ 와 서로소인 안정자군을 가질 경우 올림 문제가 완전히 해결된다.
• 오르트 추측이 확인되었다: 국소체 위의 모든 $ \mathbb{Z}/p $-확장은 상향 점이 1 이상이면 특성 0으로 올릴 수 있고, 그 역도 성립한다.
• 아벨 $ p $-확장의 경우 상향 점은 유리수이며, 하세-아르 정리를 통해 이들이 정수임을 보장한다.
• 야생 분기 하에서 곡선의 종수가 증가한다. 이는 $ \delta = \sum_{i=0}^\infty (|G_i| - 1) $ 라는 차수 공식에 의해 설명되며, $ G $ 가 비자명하고 $ p $-나누어지는 경우 이 값은 $ |G| - 1 $ 보다 엄밀히 크다.
• 특성 $ p $ 에서 $ \mathbb{A}^1 $ 의 무한히 많은 선형적으로 독립적인 $ \mathbb{Z}/p $-덮개가 존재함을 보여, 에테일 기본군이 유한 생성되지 않음을 시사한다.
• 논문은 비아벨 군 $ G $ 에 대해 올릴 수 있는 $ G $-덮개의 전체 분류와 같은 열린 문제 목록을 제공한다.