Actions of $(\mathbb{Z}/4)^4$ on rationally connected threefolds

기술 요약: $(\mathbb{Z}/4)^4$의 유리 연결 3차원 다양체에 대한 작용

문제 정의
본 논문은 복소수 $\mathbb{C}$ 위에서 유한 아벨 부분군이 유리 연결 3차원 다양체(rationally connected threefolds)에 충실하게(faithfully) 작용하는 경우의 분류를 다룬다. 구체적으로는 군 $G = (\mathbb{Z}/4)^4$를 조사한다. 크레모나 군 $\text{Cr}_3(\mathbb{C})$(유리적 $\mathbb{P}^3$의 유리 자가동형군)의 유한 부분군들이 완전히 분류되지는 않았으나, 유리 연결 다양체에 대한 작용을 연구하는 것은 해당 다양체가 유리(rational)하지 않을 경우 이러한 작용이 반드시 $\text{Cr}_3(\mathbb{C})$에 매립(embed)되지 않을 수 있다는 사실에 의해 동기 부여된다. 선행 연구들은 비가환 단순군(예: $\text{PSL}_2(\mathbb{F}_{11})$)과 비가환 군(예: $S_7$)이 유리 연결 3차원 다양체 위에 작용하지만 $\text{Cr}_3(\mathbb{C})$에는 매립되지 않는 사례들을 확인한 바 있다. 본 논문은 아벨 군 $(\mathbb{Z}/4)^4$가 이러한 성질을 공유하는지 여부를 결정하고, $(\mathbb{Z}/m)^r$ 형태의 군이 $\text{Cr}_3(\mathbb{C})$에 매립되는 것과 유리 연결인 $X$의 $\text{Bir}(X)$에 매립되는 것 사이의 날카로운 경계(sharp bounds)를 설정하고자 한다.

방법론
저자들은 등변 최소 모델 프로그램(equivariant Minimal Model Program, MMP)과 $G\mathbb{Q}$-팩토리얼(factorial) 다양체의 이론을 사용한다. 전략은 다음과 같은 몇 단계로 진행된다:

1. 파노 3차원 다양체로의 축소: 등변 MMP를 사용하여, 충실한 $G$-작용을 가진 임의의 유리 연결 3차원 다양체 $X$는 $G$-유리 동치(G-birational)인 터미널 $G\mathbb{Q}$-파노 3차원 다양체 $X'$로 변환된다. 저자들은 $X'$가 양의 차원 기저(base) 위에서의 모리 섬버 공간(Mori fiber space)인 경우를 배제하는데, 만약 그렇다면 $G$는 "곱 형태(product type)"여야 하지만 $(\mathbb{Z}/4)^4$는 그렇지 않기 때문이다.
2. 반정준 계(Anticanonical system) 분석: 저자들은 $X$의 고렌슈타인(Gorenstein) 사례와 비고렌슈타인 사례를 구분한다.
   • 고렌슈타인 사례: $|-K_X| \neq \emptyset$인 경우, $G$-불변 반정준 디바이저(anticanonical divisor) $S$의 존재가 확립된다. $S$는 매끄러운 K3 곡면임이 밝혀진다. $S$ 상에서의 $G$의 작용은 순환군 $C$와 $S$ 위에 충실하게 작용하는 $H$에 의한 수열 $1 \to C \to G \to H \to 1$을 유도한다. K3 곡면의 불변 격자(invariant lattices)와 표현론(특히 $\text{PGL}_4(\mathbb{C})$의 부분군 및 $\text{Aut}(Q)$에 대한 제한 사항)을 분석함으로써, 저자들은 $\mathbb{P}^3$, 4차 이중 솔리드(quartic double solids), 그리고 2차 곡면의 이중 피복(double covers of quadrics)과 같은 후보들을 제거한다. 이를 통해 $X$는 $\mathbb{P}^4$ 내의 매끄러운 4차 초곡면 또는 종수(genus) 9인 프라임 파노 3차원 다양체로 좁혀진다. 격자 논증을 통해 종수 9인 경우를 추가로 제거하면, 매끄러운 4차 초곡면만이 남는다.
   • 비고렌슈타인 사례: $|-K_X| = \emptyset$인 경우, 저자들은 리드(Reid)의 오비폴드 리만-로흐 공식과 리드의 바스켓 특이점(Reid basket of singularities)을 활용한다. $(\mathbb{Z}/4)^4$의 구조로부터 도출된 궤도 길이(orbit lengths)의 가분성 조건과 해상(resolution) 상의 등변 오일러 표수 합동식을 결려하여 모순을 도출함으로써, 어떤 비고렌슈타인 터미널 $G\mathbb{Q}$-파노 3차원 다양체도 그러한 작용을 허용하지 않음을 증명한다.
3. 방정식 식별: 생존한 사례(매끄러운 4차 초곡면)에 대해, 저자들은 선형 계 $|-K_X|$와 $H^0(X, -K_X)$ 상의 유도된 표현을 분석한다. 저자들은 충실한 $(\mathbb{Z}/4)^4$ 작용을 허용하는 유일한 매끄러운 4차 초곡면이 표준 대각 작용(standard diagonal action)을 가진 페르마 4차 초곡면 $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$임을 입증한다.
4. $(\mathbb{Z}/m)^r$으로의 확장: 저자들은 주성분(primary components)을 분석하고 코라(Kollár)와 좡(Zhuang)의 결과에 기반한 $p$-부분군의 생성자 수에 대한 경계를 사용하여 일반적인 $(\mathbb{Z}/m)^r$ 그룹으로 결과를 확장한다. 특정 논증을 통해 $(\mathbb{Z}/6)^4$를 배제하는데, 이는 그것이 불가능한 바스켓 다중도(basket multiplicities)를 가진 비고렌슈타인 파노 3차원 다양면을 요구하기 때문이다.

주요 기여 및 결과

• 주요 정리 (정리 1.3): $X$가 $G = (\mathbb{Z}/4)^4$의 충실한 작용을 갖는 유리 연결 3차원 다양체라면, $X$는 페르마 4차 초곡면 $X_4$와 $G$-유리 동치이다. 만약 $X$가 터미널 $G\mathbb{Q}$-파노 3차원 다양체라면, 이 유리 동치 사상은 동형 사상(isomorphism)이다.
• 비매립성 (따름정리 1.4): 군 $(\mathbb{Z}/4)^4$는 크레모나 군 $\text{Cr}_3(\mathbb{C})$에 매립되지 않는다. 이는 페르마 4차 초곡면이 비유리적(non-rational)이며(이스코프스키크와 마닌의 알려진 결과), $\text{Cr}_3(\mathbb{C})$로의 임의의 매립은 $\mathbb{P}^3$로의 유리 동치를 함의하기 때문이다.
• 최대 자가동형 군: 본 논문은 페르마 4차 초곡면의 자가동형 군이 $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$임을 확인하며, 이는 매끄러운 4차 초곡면의 가능한 최대 차수이다. 결과적으로 $\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$이다.
• $(\mathbb{Z}/m)^r$의 분류 (정리 1.7): 본 논문은 $(\mathbb{Z}/m)^r$이 $\text{Cr}_3(\mathbb{C})$에 매립되는 쌍 $(m, r)$과 유리 연결인 $X$의 $\text{Bir}(X)$에 매립되는 쌍에 대한 완전한 분류를 제공한다:
  • $\text{Cr}_3(\mathbb{C})$ 내에서:
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • $\text{Bir}(X)$ (유리 연결) 내에서:
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• $(\mathbb{Z}/4)^4$의 유일성: $(\mathbb{Z}/m)^r$ 형태의 군들 중에서, $(\mathbb{Z}/4)^4$는 어떤 유리 연결 3차원 다양체 위에 충실하게 작용하지만 $\text{Cr}_3(\mathbb{C})$에는 매립되지 않는 유일한 예이다.

의의
본 논문은 $(\mathbb{Z}/m)^r$ 그룹이 크레모나 군 $\text{Cr}_3(\mathbb{C})$에 매립되는지, 그리고 유리 연결 3차원 다양체의 유리 자가동형군에 매립되는지에 대한 쌍 $(m, r)$의 완전한 분류를 제공한다고 주장한다. $(\mathbb{Z}/4)^4$를 어떤 유리 연결 3차원 다양체 위에 충실하게 작용하면서도 $\text{Cr}_3(\mathbb{C})$에는 매립되지 않는 $(\mathbb{Z}/m)^r$ 형태의 유일한 아벨 군으로 확립함으로써, 본 연구는 3차원에서 유한 아벨 부분군에 대한 이해의 공백을 메운다. 이는 단순군 및 비가환 군에 대한 이전의 분류를 보완하며, 선행 문헌에서 제안된 유한 아벨 군 작용의 삼분법(곱 형태, K3 형태, 그리고 예외적인 파노 사례)을 공고히 한다. 이 결과는 페르마 4차 초곡면의 유리적 초강직성(birational superrigidity)과 파노 3차원의 기하학에 가해지는 군 구조의 특정한 제약에 의존한다.