Artin-Schreier Root Stacks and lifts of group actions

기술 요약: 아르틴-슈라이어 루트 스택(Artin-Schreier Root Stacks)과 군 작용의 리프트(Lifts of Group Actions)

문제 정의
표수 0에서는 매끄러운 오비폴드 곡선(smooth orbifold curves)이 그 코스 모듈리 공간(coarse moduli spaces) 위의 루트 스택으로서 잘 이해되어 있으며, 이는 코스 곡선과 순환 안정자 군(cyclic stabilizer groups)에 의해 유일하게 결정된다. 그러나 표수가 $p > 0$인 양의 표수 환경에서는 안정자 군이 순환적이거나 비가환적일 수 있기 때문에 이러한 분류가 실패한다. Kobin이 도입한 아르틴-슈라이어 루트 스택은 (표수 0의 경우와 평행하게) $p$ 차수의 야생 분기(wild ramification)를 갖는 스태키 곡선(stacky curves)을 분류하기 위한 틀을 제공하지만, 이 스택들 위에서의 군 작용(group actions)의 거동은 여전히 미해결 과제로 남아 있다. 구체적으로, 연결된 아핀 대수 군 $G$가 표수 $p > 0$에서 매끄러운 사영 다양체 $X$ 위에 작용할 때, 이 작용이 연관된 아르티안-슈라이어 루트 스택으로 리프트(lift)되기 위한 조건이 무엇인지 명확하지 않다. 나아가, 이러한 리프트된 작용 하에서 가역 가능 층(invertible sheaves)에 대한 호환 가능한 선형화(compatible linearizations)의 존재 여부 또한 조사가 필요하다.

방법론
저자들은 이 리프트 문제를 해결하기 위해 대수적 스택과 정규화(normalization) 이론을 활용한다. 방법론은 다음과 같이 세 가지 주요 단계로 진행된다:

1. 스택의 구성: 논문은 범용 아르틴-슈라이어 피복 $\wp_m: [\mathbb{P}(1, m)/\mathbb{G}_a] \to [\mathbb{P}(1, m)/\mathbb{G}_a]$를 포함하는 풀백 다이어그램의 정규화로서 아르틴-슈라이어 루트 스택 $\wp^{-1}_m((L, s, f)/X)$의 정의를 사용한다. 이 스택은 라인 번들 $L$, 섹션 $s$ (다이버 $D$를 정의함), 그리고 섹션 $f \in H^0(X, L^{\otimes m})$에 의해 정의되며, 여기서 $m$은 $p$와 서로소이다.
2. 정규화를 통한 리프트: $X$에서 루트 스택으로 $G$-작용을 리프트하기 위해, 저자들은 먼저 정규화되지 않은 풀백 스택 $X_m$ 상의 작용을 구성한다. 이들은 $L$의 $G$-선형화(G-linearization)와 섹션 $s$ 및 $f$의 불변 성질을 활용하여, 스킴 $T$ 위의 파이버 그루포이드(fiber groupoid)의 대상(objects)과 화살(arrows)에 대한 작용을 정의한다.
3. 정규화 성질의 적용: $X_m$ 상에 작용이 확립되면, 저자들은 [AB](Proposition A.6)의 결과(로컬 노테리언 대수적 스택의 사상은 그 상의 점들에 대한 유도된 사상이 기약 성분 위에서 지배적(dominant)일 때, 그 정규화로의 유일한 사상을 유도한다는 내용)를 인용한다. $G$는 매끄럽고 연결되어 있으므로, $G \times X_m$의 정규화는 $G \times X_m^\nu$와 동형이며, 이를 통해 $G$-작용이 정규화된 아르틴-슈라이어 루트 스택 $X_m^\nu$로 내려올(descend) 수 있다.

주요 기여 및 결과

• 정리 3.10 (군 작용의 리프트): 주요 결과는 매끄러운 사영 다양체 $X$ 위의 $G$-작용을 아르틴-슈라이어 루트 스택 $X_m^\nu$로 리프트하기 위한 기준을 확립한다. 이 정리는 다음을 요구한다:

  • $G$는 비자명한 캐릭터가 없는(예: 연결된 반단순 군) 연결된 아핀 대수 군이다.
  • 유효 카티어 다이버 $D$ ($s$의 영점 집합으로 정의됨)는 $G$-불변이다.
  • 섹션 $f \in H^0(X, L^{\otimes m})$는 $s$와 공통 영점을 갖지 않으며, $mD$로의 제한은$L^{\otimes m}|_{mD}$상의 유도된$G$-선형화 하에서 불변 섹션이다.
    이러한 조건 하에서, $X$ 위의 $G$-작용은 $X_m^\nu$ 위의 $G$-작용으로 리프트될 수 있다.

• 정리 4.6 (타우톨로지컬 층의 선형화): 본 논문은 $\pi: X_m^\nu \to X$를 코스 모듈리 맵이라 할 때, $N^{\otimes p} \cong \pi^*L$을 만족하는 아르틴-슈라이어 루트 스택 $X_m^\nu$ 상의 타우톨로지컬 가역 가능 층 $N$의 존재를 증명한다. 결정적으로, 저자들은 리프트된 $G$-작용이 이 층 $N$ 상에서 $G$-선형화를 가짐을 입증한다.

의의 및 주장
본 논문은 양의 표수에서 야생 분기를 갖는 스태키 곡선을 이해하는 데 필수적인, 아르틴-슈라이어 루트 스택 상의 군 작용을 연구하기 위한 필수적인 프레임워크를 제공한다고 주장한다. 리프트 기준과 선형화된 타우톨로지컬 층의 존재를 확립함으로써, 이 연구는 이러한 스택들의 공변적(equivariant) 연구를 위한 길을 열어준다. 저자들은 표수 0의 경우 루트 스택 위의 벡터 번들이 코스 모듈리 공간 위의 파라볼릭 번들(parabolic bundles)과 연관되는 것과 유사하게, 이 결과들이 공변적 관점에서 아르틴-슈라이어 루트 스택 상의 층(sheaves)을 연구하는 것을 용이하게 할 수 있다고 시사한다. 이 작업은 야생 분기의 특수성과 아르틴-슈라이어 확장 구조에 의한 제약을 다루면서, 표수 0의 기법(특히 [CP] 참조)을 더 복잡한 양의 표수 환경으로 직접 확장한 것으로 제시된다.