Subgroups with all finite lifts isomorphic are conjugate

기술적 요약: 모든 유한 리프트가 동형인 부분군들은 켤레이다

문제 제기
본 논문은 군론에서 부분군의 동형성과 군 확장 하에서의 행동 사이의 관계에 관한 근본적인 질문에 다룹니다. 구체적으로, 군 $G$의 모든 유한 확장에서 동형인 전상 (pre-images, lifts) 을 갖는다는 성질이 부분군들이 $G$ 내에서 켤레임을 의미하는지 여부를 조사합니다.

이 조사는 $\mathbb{Z}$-코셋 동치성 연구에 동기를 부여받았습니다. 두 부분군 $G_1, G_2 \leq G$가 치환 가군 $\mathbb{Z}[G/G_1]$과 $\mathbb{Z}[G/G_2]$가 동형일 때 $\mathbb{Z}$-코셋 동치라고 합니다. 켤레 부분군은 자명하게 $\mathbb{Z}$-코셋 동치이지만, 그 역은 일반적으로 성립하지 않습니다. Dipendra Prasad 가 제기한 구체적인 질문 (질문 1.3) 은 다음과 같습니다: $G$가 유한군이고 $G_1, G_2 \leq G$가 $\mathbb{Z}$-코셋 동치라면, $G_1$과 $G_2$는 반드시 동형인가?

이 작업 이전에, 비켤레인 $\mathbb{Z}$-코셋 동치 쌍의 예는 매우 드물게 알려져 있었습니다 (특히 L. Scott 가 발견한 $PSL(2, 29)$의 한 쌍). 이러한 부분군들이 비동형인 쌍의 존재는 열린 문제였습니다.

방법론
저자들은 비켤레 부분군들을 구별하는 유한 군 확장을 생성하기 위해 구성적 접근법을 사용합니다. 핵심 전략은 다음과 같은 논리적 단계에 의존합니다:

1. 프로유한 강성 (Profinite Rigidity) 으로 축소: 저자들은 먼저 두 부분군이 비동형인 프로유한 완비를 갖는다면, 그들의 전상이 비동형인 유한 몫이 존재함을 입증합니다 (명제 3.1, 코롤러리 1.6).
2. Cornulier 의 구성: 주정리의 증명은 Y. Cornulier 의 결과 (정리 1.2) 에 기반합니다. 이 정리는 임의의 유한군 $G$에 대해 $G \cong \text{Out}(N)$이 되는 유한군 $N$이 존재한다고 말합니다.
3. 구성 정교화: 저자들은 Cornulier 의 구성에 대한 Sambale 의 설명을 분석하고 정교화합니다 (정리 4.1). 그들은 다음과 같은 결정적인 성질을 가진 특정 유한군 $N$을 구성합니다 (정리 4.2):
   • $G \cong \text{Out}(N)$.
   • 중심 $Z(N)$은 자명하다.
   • $\text{Aut}(N)$의 $N$과 동형인 유일한 부분군은 내적 자기동형군 $\text{Inn}(N)$이다.
   • $N$은 초가해군 (supersolvable) 이다.
4. 확장군: 군 $N$을 사용하여 $\tilde{G} = \text{Aut}(N)$을 정의합니다. 핵이 $N$인 자연스러운 전사 준동형 $\phi: \tilde{G} \to G$가 존재합니다.
5. 모순 논증: 저자들은 전상 $\phi^{-1}(G_1)$과 $\phi^{-1}(G_2)$가 동형이라고 가정하면, $G_1$과 $G_2$가 켤레가 되는 더 큰 군에 $\tilde{G}$를 포함시키는 HNN 확장을 구성할 수 있음을 증명합니다. $N$의 특정 강성 성질 (특히 $N$이 $\tilde{G}$에서 그 동형 유형을 갖는 유일한 부분군이라는 점) 을 활용하여, 이러한 확장 내의 켤레성이 원래 군 $G$에서 $G_1$과 $G_2$가 켤레임을 강제함을 보여줍니다.

주요 결과

• 정리 1.1 (주요 결과): $G$를 유한군이라 합시다. 임의의 두 비켤레 부분군 $G_1, G_2 \leq G$에 대해 전상 $\phi^{-1}(G_1)$과 $\phi^{-1}(G_2)$가 동형이 아님이 되는 유한군 $\tilde{G}$와 전사 준동형 $\phi: \tilde{G} \to G$가 존재합니다. 또한, $\phi$의 핵은 초가해군으로 선택할 수 있으며, $G$가 가해군이면 $\tilde{G}$도 가해군입니다.
• 정리 1.4 (Prasad 의 질문에 대한 답변): 본 논문은 질문 1.3 에 대해 부정적인 답변을 제시합니다. 알려진 비켤레 $\mathbb{Z}$-코셋 동치 쌍 ($G = PSL(2, 29)$에서$G_1, G_2 \cong A_5$) 에 정리 1.1 을 적용함으로써, 저자들은$\mathbb{Z}$-코셋 동치이지만 **동형이 아닌** 전상을 포함하는 유한군$\tilde{G}$를 구성합니다.
• 정리 1.7: 저자들은 사면체의 반사군의 지수 2 부분군인 군 $\Gamma$와 관련된 구체적인 응용을 보여줍니다. 그들은 $\Gamma$가 $PSL(2, 29)$로 사상하는 유한 몫$Q$를 가지며, 이때 비켤레인$A_5$ 부분군의 전상이 비동형임을 보입니다. 이는 Magma 를 사용하여 전상들이 서로 다른 지수 5 부분군의 개수를 갖는 것을 확인함으로써 검증되었습니다.

의의 및 연결성
본 논문은 수학의 여러 분야에서 다음과 같은 의의를 주장합니다:

1. 열린 문제의 해결: $\mathbb{Z}$-코셋 동치성이 부분군의 동형성을 의미하지 않음을, 심지어 부분군이 비켤레일 때조차도 명확히 보여줌으로써 Prasad 의 질문에 결정적인 답변을 제시합니다.
2. 프로유한 강성: 결과는 프로유한 강성 주제와 연결됩니다. 본 논문은 특정 군 (예: 매핑 클래스 군이나 비산술 격자) 의 유한 지수 부분군이 프로유한 완비에 의해 동형까지 결정된다면, 이러한 군들의 비켤레 부분군은 유한 몫에 의해 구별될 수 있음을 시사합니다.
3. 아나벨 기하학: 이 작업은 Neukirch–Uchida 정리와 관련이 있습니다. 저자들은 해당 정리가 절대 갈루아 군의 비켤레 부분군이 비동형임을 함축하지만, 그들의 결과는 군이 프로유한이 아닌 유한군인 유한군 유사체를 제공한다고 지적합니다.
4. 수론 및 기하학에의 응용: 비동형인 $\mathbb{Z}$-코셋 동치 쌍의 존재는 다음과 같은 함의를 가집니다:
   • 동형인 곱셈군을 갖는 비동형 수체 구성.
   • (극화 없이) 동형인 야코비안을 갖는 비동형 리만 곡면 생성.
   • 이러한 쌍으로부터 구성된 공간의 코호몰로지 연구.

주장의 겸손함
저자들은 결과의 범위에 대해 겸손한 어조를 유지합니다. 그들은 비켤레 부분군을 유한 리프트를 통해 구별하는 방법을 제공하지만, 구성된 특정 유한군 $\tilde{G}$는 종종 크고 반드시 최소가 아니라고 명시적으로 밝힙니다. 또한, 그들의 구성이 모든 유한군에 대해 작동하지만, $\mathbb{Z}$-코셋 동치성에 대한 구체적인 응용은 이미 알려진 최소한 하나의 초기 비켤레 쌍의 존재에 의존한다고 지적합니다. 본 논문은 그러한 모든 쌍을 분류하는 것을 주장하는 것이 아니라, 그들을 분리하는 확장의 존재를 확립합니다.