Co-Hopfianity is not a profinite property

이 논문은 유한 생성 잔류 유한군 $G$와 $H$가 동형인 프로피니트 완비를 가지지만 $G$는 코-호프이안 (co-Hopfian) 성질을 만족하는 반면 $H$는 그렇지 않음을 보여, 코-호프이안성이 프로피니트 성질이 아님을 증명합니다.

핵심

🎩 마법 같은 상자: "완전한 복사본"과 "실제 모양"

이 논문의 핵심은 **"어떤 물체의 작은 조각들 (유한한 부분들) 을 모두 모아본다고 해서, 그 물체 전체의 고유한 성질을 100% 알 수 있는가?"**라는 질문에서 시작합니다.

1. 배경: 유한한 조각들로 만든 거울 (프로피니트 완비)

수학자들은 복잡한 도형이나 구조 (이 논문에서는 '군'이라는 대수적 구조) 를 분석할 때, 그것을 아주 작은 조각 (유한한 몫군) 으로 잘게 쪼개어 봅니다. 이 모든 조각들을 모아 만든 '완전한 거울'을 **프로피니트 완비 (Profinite Completion)**라고 부릅니다.

• 상상해 보세요: 거대한 성을 상상해 보세요. 이 성을 아주 작은 벽돌 (유한한 부분) 로 해체해서 그 벽돌들의 종류와 모양을 모두 기록해 두었습니다. 이 기록만으로는 성의 전체적인 디자인을 완벽하게 알 수 있을까요?
• 논문의 발견: 이 논문은 **"아니요, 알 수 없습니다"**라고 말합니다. 두 개의 성이 가진 '벽돌의 종류와 모양 (유한한 부분)'이 완전히 똑같다고 해도, 그 두 성의 전체적인 구조나 성질은 서로 다를 수 있다는 것을 증명했습니다.

2. 주인공: '자기 자신'을 잘라먹는 성 (코-호프피안성)

이 논문에서 증명하려는 성질은 **'코-호프피안성 (Co-Hopfianity)'**입니다. 이를 쉽게 비유해 보면 다음과 같습니다.

• 코-호프피안 (Co-Hopfian) 성: "이 성은 자기 자신과 똑같은 모양의 작은 방을 내부에 하나도 만들 수 없는 성입니다." 즉, 성 전체를 잘라내어 그 성과 똑같은 모양의 작은 성을 만들 수 없다면, 그 성은 '코-호프피안'입니다. (유한한 성처럼, 잘라내면 모양이 달라집니다.)
• 코-호프피안이 아닌 성: "이 성은 자기 자신과 똑같은 모양의 작은 방을 내부에 숨겨둘 수 있는 성입니다." 마치 프랙탈 (Fractal) 처럼, 성 전체를 잘라내도 그 안에는 여전히 전체와 똑같은 모양의 작은 성이 들어있습니다.

3. 논문의 대박 발견: "똑같은 벽돌, 다른 성질"

저자들은 다음과 같은 두 개의 성 (G 와 H) 을 만들었습니다.

1. 성 G (코-호프피안): 이 성은 자기 자신과 똑같은 작은 성을 만들 수 없습니다. (단단하고 변하지 않는 성)
2. 성 H (코-호프피안이 아님): 이 성은 자기 자신과 똑같은 작은 성을 내부에 숨겨두고 있습니다. (프랙탈처럼 무한히 반복되는 성)

그런데 놀라운 점은 무엇일까요?
이 두 성 G 와 H 를 아주 작은 벽돌로 해체해서 기록해 보니, 두 성의 벽돌 기록 (프로피니트 완비) 이 100% 똑같았습니다.

• 결론: "벽돌의 종류만 보고는, 이 성이 '자기 자신을 잘라먹을 수 있는지 (코-호프피안인지)'를 알 수 없다!"는 것입니다.
• 의미: 수학자들은 "유한한 부분만 보면 전체의 성질을 다 알 수 있다"고 믿던 많은 성질들이 사실은 그렇지 않다는 것을 이미 알고 있었습니다. 하지만 이 논문은 **'코-호프피안성'**이라는 매우 미묘하고 중요한 성질도 예외가 아니라고 증명한 것입니다.

4. 어떻게 이런 마법을 부렸을까요? (비유적 설명)

저자들은 다음과 같은 기발한 방법을 사용했습니다.

1. 완벽한 위장술 (Bridson 의 군 U): 먼저, "벽돌을 아무리 많이 모아도 아무것도 남지 않는 (프로피니트 완비가 1 인) 마법 같은 군 U"를 준비했습니다. 이 군은 유한한 조각으로 보면 '아무것도 아님'처럼 보이지만, 실제로는 매우 복잡한 구조를 가지고 있습니다.
2. 거울 만들기 (Rips 구성): 이 마법 군 U 를 이용해, G 라는 성을 지었습니다. G 는 매우 튼튼해서 (코-호프피안) 자기 자신을 잘라낼 수 없습니다.
3. 미끼 놓기 (H 의 생성): 이제 G 안에 있는 어떤 부분 (A) 을 골라, 그 부분과 연결된 새로운 성 H 를 만들었습니다.
   • 이 H 는 G 의 거울상과 똑같은 벽돌을 가지고 있습니다 (왜냐하면 U 가 마법처럼 '아무것도 아님'으로 보이기 때문입니다).
   • 하지만 H 는 G 와는 다르게, **자기 자신을 잘라내어 더 작은 H 를 만들어낼 수 있는 '비밀 통로'**가 있습니다.
   • 이 비밀 통로는 G 의 구조를 살짝 비틀어서 (켤레 작용, Conjugation) 만들어졌습니다.

💡 요약: 이 논문이 우리에게 주는 메시지

이 논문은 **"세상을 아주 작은 조각 (유한한 정보) 만으로 분석하면, 그 대상의 고유한 본질 (무한한 구조) 을 놓칠 수 있다"**는 것을 수학적으로 증명했습니다.

• 비유: 두 개의 책이 있다고 칩시다. 한 권은 '자기 자신을 복사할 수 없는' 책이고, 다른 한 권은 '자기 자신을 복사할 수 있는' 책입니다. 만약 이 두 책의 모든 글자 (유한한 정보) 를 추출해서 비교해 보니 100% 똑같다면, 우리는 이 두 책이 서로 다른 성질을 가졌다는 사실을 그 글자만으로는 절대 알 수 없습니다.
• 결론: "코-호프피안성"이라는 성질은, 유한한 정보 (프로피니트 완비) 로는 구별할 수 없는, 매우 깊은 무한한 구조의 성질이라는 것입니다.

이 연구는 수학자들이 복잡한 대수적 구조를 이해할 때, 단순히 '유한한 부분'에만 의존해서는 안 된다는 중요한 경고를 주는 결과입니다.

기술 요약

논문 개요

제목: CO-HOPFIANITY IS NOT A PROFINITE PROPERTY
저자: Hyungryul Baik, Wonyong Jang
주제: 군론 (Group Theory), 기하학적 군론 (Geometric Group Theory), 프로피니트 완비성 (Profinite Completion)

1. 연구 문제 (Problem)

기하학적 군론의 중심 주제 중 하나는 유한 생성 잔여 유한군 (finitely generated residually finite groups) 을 그들의 **프로피니트 완비성 (profinite completion)**에 의해 분류하는 것입니다. 프로피니트 완비성 $\hat{G}$는 군 $G$의 모든 유한 몫군 (finite quotients) 을 인코딩하므로, $\hat{G}$가 $G$의 대수적 또는 기하학적 성질을 얼마나 결정하는지 여부는 중요한 질문입니다.

• 프로피니트 성질 (Profinite Property): 두 유한 생성 잔여 유한군 $G_1, G_2$가 $\hat{G}_1 \cong \hat{G}_2$일 때, $G_1$이 성질 $P$를 가지면 $G_2$도 반드시 $P$를 갖는 경우, $P$를 프로피니트 성질이라고 합니다.
• 기존 연구: 아벨성, 멱영성, 다항식적 성질 등은 프로피니트 성질임이 알려져 있지만, 아멘성, Kazhdan 의 성질 (T), 순환 분리성 (conjugacy separability) 등 많은 기하학적 성질은 프로피니트 성질이 아닙니다.
• 본 논문의 초점: **공 - 홉피안성 (co-Hopfian property)**이 프로피니트 성질인지 여부를 규명하는 것입니다.
  • 공 - 홉피안군 (co-Hopfian group): 자신과 동형인 진부분군 (proper subgroup) 을 포함하지 않는 군. 즉, 모든 단사 준동형사상 $\phi: G \to G$가 전사 (surjective) 인 경우.
  • 배경: 유한 생성 잔여 유한군은 홉피안 (Hopfian) 성질을 가지지만, 공 - 홉피안 성질은 훨씬 더 미묘하며 일반적으로 성립하지 않습니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 구성을 통해 반례를 제시합니다.

1. Wise 의 잔여 유한 Rips 구성 (Residually Finite Rips Construction):

   • 임의의 유한 제시군 $Q$에 대해, 쌍곡군 (hyperbolic group) $G$와 유한 생성 핵 $K$가 있는 짧은 완전열 $1 \to K \to G \to Q \to 1$을 구성합니다.
   • 이 구성은 $G$가 쌍곡적이고, 비틀림이 없으며 (torsion-free), 잔여 유한 (residually finite) 하도록 보장합니다.

2. Bridson 의 보편적 아사이클 군 (Universal Acyclic Group):

   • Bridson 이 구성한 유한 제시 아사이클 군 $U$를 사용합니다.
   • $U$의 성질:
     • 아사이클 (acyclic): 모든 $i \ge 1$에 대해 $H_i(U, \mathbb{Z}) = 0$.
     • 프로피니트 완비성이 자명함: $\hat{U} = 1$.
     • 보편성: 모든 유한 제시군이 $U$에 매장됨.

3. 군 $G$와 $H$의 구성:

   • 군 $G$: 위 Rips 구성을 $Q=U$에 적용하여 얻은 쌍곡군.
   • 군 $H$: $G$에서 $U$의 특정 부분군 $A$의 원상 (preimage) 으로 정의됨 ($H = \pi^{-1}(A)$).
   • 핵심 전략: $U$ 내부에 $A \cong U$이면서 $t^{-1}At \subsetneq A$인 부분군 $A$와 원소 $t$를 찾습니다. 이를 통해 $H$가 자기 자신과 동형인 진부분군을 갖도록 만듭니다.

4. 프로피니트 완비성의 동형 증명:

   • Bridson-Grunewald 의 기준 (Lemma 2.5) 을 사용하여, $U$와 $A$의 프로피니트 완비성이 자명하고 2 차 코호몰로지가 0 이므로, $\hat{G} \cong \hat{K} \cong \hat{H}$임을 보입니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 (Theorem 3.1)

유한 생성 잔여 유한군 $G$와 $H$가 존재하여 다음을 만족합니다:

1. 프로피니트 완비성 동형: $\hat{G} \cong \hat{H}$.
2. $G$는 공 - 홉피안 (co-Hopfian): $G$는 자신과 동형인 진부분군을 포함하지 않음.
3. $H$는 공 - 홉피안이 아님: $H$는 자신과 동형인 진부분군을 포함함.

결론: 공 - 홉피안성은 프로피니트 성질이 아니다.

구체적 증명 과정

• $G$의 공 - 홉피안성: Sela 의 정리에 따라, 비틀림이 없는 1-끝 (one-ended) 쌍곡군은 공 - 홉피안입니다. 저자들은 $G$가 비틀림이 없는 쌍곡군이며, $K$가 유한 생성 정규 부분군이고 $G/K \cong U$가 무한하므로 $G$가 1-끝임을 증명하여 $G$가 공 - 홉피안임을 보였습니다.
• $H$의 비공 - 홉피안성:
  • $U$ 내부에 $A \cong U$이고 $t^{-1}At \subsetneq A$인 구조를 찾았습니다 (Lemma 3.3). 이는 $U$가 보편성을 가지므로 $U \ast F_2$를 $U$에 매장시킴으로써 구성됩니다.
  • $H = \pi^{-1}(A)$로 정의하고, $t$의 원상 $g \in G$에 의한 켤레 (conjugation) $c_g$를 고려합니다.
  • $c_g(H) = \pi^{-1}(t^{-1}At)$가 되며, 이는 $H$의 진부분군입니다. 따라서 $H \cong c_g(H) \subsetneq H$가 되어 $H$는 공 - 홉피안이 아닙니다.
• 프로피니트 완비성 동형:
  • $1 \to K \to G \to U \to 1$과$1 \to K \to H \to A \to 1$에서,$U$와$A$($\cong U$) 는 아사이클이므로$\hat{U} = \hat{A} = 1$이고$H_2(U, \mathbb{Z}) = H_2(A, \mathbb{Z}) = 0$입니다.
  • 이에 따라 $\hat{K} \to \hat{G}$와 $\hat{K} \to \hat{H}$가 모두 동형사상이 되어 $\hat{G} \cong \hat{H}$가 성립합니다.

부수적 결과 (Proposition 2.9)

• 토랄 상대 쌍곡성 (Toral relative hyperbolicity) 또한 프로피니트 성질이 아님을 증명했습니다.
  • $G$는 비틀림이 없는 쌍곡군이므로 토랄 상대 쌍곡군입니다.
  • 반면 $K$는 유한 제시되지 않으므로 (Rips 구성의 성질), 쌍곡군이 될 수 없으며 따라서 토랄 상대 쌍곡군도 아닙니다.
  • $\hat{G} \cong \hat{K}$이므로 이 성질도 프로피니트 성질이 아닙니다.

4. 의의 및 중요성 (Significance)

1. 프로피니트 rigidity 의 한계 규명: 프로피니트 완비성이 군의 많은 기하학적 성질을 결정한다는 "rigidity" 현상이 존재하지만, 공 - 홉피안성과 같은 중요한 대수적 성질은 이 범주에 속하지 않음을 보였습니다. 이는 프로피니트 완비성으로 군을 완전히 분류할 수 없다는 또 다른 강력한 반례입니다.
2. 구성법의 정교함: Rips 구성의 핵 (kernel) $K$의 복잡한 구조를 직접 분석하지 않고도, $H$를 $G$의 부분군으로 정의하고 켤레 작용을 통해 비공 - 홉피안성을 유도하는 간결하고 강력한 방법을 제시했습니다.
3. 이론적 확장: 이 결과는 아벨성, 멱영성 등 일부 성질이 프로피니트 성질인 반면, 공 - 홉피안성, 아멘성, 성질 (T) 등은 그렇지 않다는 이분법을 명확히 합니다. 또한, 토랄 상대 쌍곡성 같은 최신 기하학적 개념이 프로피니트 성질이 아님을 처음 증명했다는 점에서 의미가 큽니다.

요약하자면, 이 논문은 프로피니트 완비성이 동형인 두 군이 서로 다른 공 - 홉피안 성질을 가질 수 있음을 구체적으로 구성하여 증명함으로써, 공 - 홉피안성이 프로피니트 성질이 아님을 확립했습니다.