그래프를 군으로 거의 완전하게 삽입하는 새로운 함수

본 논문은 그래프 범주 Graphs 와 군 범주 Groups  사이에 “거의 전단(Almost Full) embedding”을 제공하는 함수를 체계적으로 구축한다. 서론에서는 Matumoto의 결과를 언급하며, 모든 군이 어떤 그래프의 자동군으로 실현될 수 있음을 상기한다. 이를 범주론적 수준으로 끌어올려, 저자는 그래프 Γ 를 입력으로 받아 군 F(Γ) 를 출력하는 함수를 정의한다. 1. **기본 정의와 전제** - 그래프와 m‑graph, u‑graph의 개념을 정리하고, 그래프‑군(Graph of groups)의 구조를 소개한다. - Bass–Serre 이론의 기본 정리와 트리 위의 군 작용을 활용한다. 2. **핵심 구성 (섹션 4)** - 그림 4.1에 제시된 8개의 군(M, N, P₀,…, P₄)과 그 포함 관계를 선택한다. 각 군은 조건 C1–C8을 만족하도록 설계되었으며, 특히 M은 중심이 없고 모든 자기동형이 내부 자동사이며, P_i들은 대칭·교대군을 이용해 복잡한 포함 구조를 만든다. - 주어진 m‑graph Γ에 대해, 각 정점을 P₀,ᵥ 로, 각 간선을 일련의 새로운 정점·간선(N₀, N₁,…, N₄)으로 교체하는 과정을 통해 u‑graph A(Γ) 를 만든다. - A(Γ)를 기반으로 그래프‑군 G(Γ)를 정의하고, 각 정점·간선을 위의 군들에 대응시킨다. 포함 관계는 “c” 라벨로 표시된 경우에만 특별히 제한한다. 3. **군 F(Γ) 의 정의** - G(Γ)의 콜리밋(colimit) F(Γ) = colim G(Γ) 을 취한다. 이는 연결된 다이어그램에 대해 콜리밋이 보존되는 성질을 이용해, F가 연결된 다이어그램에 대해 연속성을 가진다. - F(Γ)를 보다 명확히 이해하기 위해, G(Γ)를 세 개의 부분 그래프 G₁, G₂, G₀ 로 분해하고, 각각의 콜리밋 F₁, F₂, F₀ 을 만든 뒤, F(Γ) = colim(F₁←F₀→F₂) 라는 삼각형 구조를 이용한다. 4. **Bass–Serre 이론을 통한 구조 분석** - 레마 5.3에 따라, F(Γ) 는 트리 X 위에서 자연스럽게 작용한다. 이 트리의 정점·간선 안정자는 각각 G(Γ)의 정점·간선 군과 일치한다. - 레마 5.5와 5.6을 통해, F(Γ) 의 유한 부분군은 반드시 어떤 정점군의 공액에 포함되며, 두 정점을 동시에 안정시키는 부분군은 그 사이의 최단 경로를 안정시킨다. 이는 정규화와 반사성 논의에 핵심적인 역할을 한다. 5. **거의 전단성 증명 (섹션 5)** - 임의의 비자명한 군 동형 φ : F(Γ)→F(Δ) 는 내부 자동사와 그래프 사상 f 에 의해 유도된 형태 c ∘ F(f) 로唯一하게 분해된다. 이는 “Hom‑집합을 내부 공액으로 나눈 몫 Rep(F(Γ),F(Δ))”와 “Graphs(Γ,Δ)∪{∗}” 사이의 전단 전사성을 보장한다. - 자명한 사상 ∗ 을 추가하면 완전한 전사성을 얻으며, 따라서 F는 “faithful and almost full”한 함수를 제공한다. 6. **응용 (섹션 8‑10)** - **호몰로지 범주**: F와 Eilenberg–Mac Lane 공간 K(F(Γ),1) 을 조합하면, 그래프를 비점화 호몰로지 범주에 삽입할 수 있다. 이때 사상들은 널‑동형(null‑homotopic)까지 무시하면 완전하게 보존된다. - **정규화(Orthogonal Localization)**: 그래프 범주에서 알려진 Vopěnka 원리와 약한 Vopěnka 원리의 독립성 결과를, F를 통해 군 범주와 호몰로지 범주에도 그대로 옮긴다. 구체적으로, 모든 정규화 클래스가 반사적인지 여부는 약한 Vopěnka 원리와 동치이며, 모든 정규화 클래스가 작은 정규화 클래스인지 여부는 Vopěnka 원리와 동치이다. 이는 집합론적 가정에 의존하는 결과를 범주론적 맥락에서도 동일하게 적용할 수 있음을 보여준다. 7. **결론** - 저자는 복잡한 군 구조와 Bass–Serre 이론을 활용해 그래프와 군 사이에 거의 전단적인 사상 F 를 구축함으로써, 두 범주 사이의 구조적 전이를 가능하게 했다. - 이 결과는 정규화 이론, 호몰로지 이론, 그리고 큰 카디날리티 가정에 대한 독립성 연구에 새로운 도구를 제공한다.