특정 그래프 C 대수의 외부 자기동형 연구

초록

**
저자들은 모든 가산 아벨 군 A에 대해 행‑유한 방향 그래프 Γ(A)를 구성하고, 그 그래프 C*‑대수 C*(Γ(A))의 K₀군이 A와 동형이며 A의 모든 자동사상이 C*(Γ(A))의 자동사상으로 상승(lift)된다는 사실을 보인다. 이를 통해 Aut(A)가 C*(Γ(A))의 K‑외부 자동군(Kout) 안에 자연스럽게 포함됨을 확인한다.

**

상세 분석

**
이 논문은 그래프 C*‑대수의 K‑이론과 자동군 사이의 깊은 연관성을 탐구한다. 먼저 C*‑대수 C의 내부 자동군(Inn(C))과 근사 내부 자동군이 K₀군에 대해 항상 자명함을 상기하고, 따라서 K‑외부 자동군 Kout(C)=Aut(C)/Inn(C) 를 연구하는 것이 의미가 있음을 강조한다. 기존에는 AF‑대수에 대해 Aut⁺(K₀(C))와 Kout(C)가 동형이라는 결과가 알려져 있으나, 일반적인 C*‑대수에서는 K₀의 모든 자동사가 실제 자동사상으로 상승되지 않는다. 대표적인 반례로 Mₙ(ℂ)의 경우 K₀가 ℤ이지만 모든 자동사상이 내부이므로 비자명한 자동사는 존재하지 않는다.

저자들은 이러한 제한을 극복하기 위해 그래프 C*‑대수의 구조적 장점을 활용한다. 행‑유한 방향 그래프 G에 대해 K₀(C*(G))는 인접 행렬에 의해 정의되는 선형 사상 B:ℤ^{Vₑ}→ℤ^{V}의 코커널으로 표현된다. 여기서 Vₑ는 외부 입구가 없는 정점 집합이다. 그래프 자동사상 φ는 B와 교환되므로 K₀에 자동사상 φ̂를 유도한다. 중요한 점은 φ̂가 정확히 φ에 대응하는 ‘상승(lift)’이라는 사실이다.

핵심 구성은 가산 아벨 군 A의 표준 프레젠테이션을 그래프 형태로 옮기는 것이다. A의 원소 a마다 정점 vₐ를 두고, 관계 a+b=c에 대해 보조 정점 u_{ab}, u_c 등을 추가하여 K₀에서 vₐ+v_b=v_c 라는 관계가 강제되도록 설계한다. 필요에 따라 무한히 많은 보조 정점 uⁿ_{ab}을 도입해 u_{ab}=0을 만들고, a=b인 경우에도 별도의 중간 정점 wₐ, w_b를 두어 중복 간선 문제를 회피한다. 이렇게 만든 그래프 Γ(A)는 행‑유한이며, K₀(C*(Γ(A)))는 생성원 vₐ와 관계식이 정확히 A와 일치하도록 구성된다.

그 다음, 군 동형 φ:A→B에 대해 정점 매핑 vₐ↦v_{φ(a)}를 정의하고, 보조 정점들의 대응도 자연스럽게 지정함으로써 그래프 동형 Γ(φ):Γ(A)→Γ(B)를 얻는다. 특히 φ∈Aut(A)이면 Γ(φ)∈Aut(Γ(A))이며, 앞서 증명한 Lemma 2.6에 따라 K₀( e_{Γ(φ)} )=φ가 된다. 따라서 A의 모든 자동사는 C*(Γ(A))의 자동사상으로 상승한다는 결론을 얻는다.

마지막으로, 상승된 자동사상이 내부 자동군에 속하지 않음을 확인함으로써 Aut(A)→Kout(C*(Γ(A)))가 단사임을 보인다. 이는 Aut(A)가 K‑외부 자동군 안에 자연스럽게 포함된다는 강력한 구조적 정보를 제공한다. 논문은 또한 이 그래프들이 다중 루프를 포함하고 있어 AF‑대수가 아니며, 따라서 K‑외부 자동군이 단순히 양의 K₀‑동형군에 제한되지 않음을 언급한다. 향후 양자 대칭과 외부 자동군의 관계를 탐구하는 연구의 토대로 활용될 가능성을 제시한다.

**