위상군의 대칭 연속 코호몰로지 이론

이 논문은 Staic이 제안한 대칭 군 코호몰로지 개념을 위상군과 Lie 군에 적용하여 연속·매끄러운 버전을 구축한다. 먼저, 전통적인 군 코호몰로지 체인 복합체 \(C^{n}(G,A)=\{f:G^{n}\to A\}\) 에서 연속(또는 매끄러운) 함수만을 취한 \(C^{n}_{c}(G,A)\) (또는 \(C^{n}_{\infty}(G,A)\)) 를 정의한다. Staic이 정의한 대칭군 \(\Sigma_{n+1}\) 의 작용을 그대로 옮겨, 전치 \(\tau_{i}\) 들에 대한 구체적인 변환식을 (2)와 (3)에서 제시한다. 이 작용은 경계 연산자 \(\partial^{n}\) 와 교환함을 확인함으로써, 대칭 불변 체인 복합체 \(\{C^{n}_{c}(G,A)^{\Sigma_{n+1}},\partial^{n}\}\) (또는 매끄러운 경우 \(\{C^{n}_{\infty}(G,A)^{\Sigma_{n+1}},\partial^{n}\}\)) 를 얻는다. 이 복합체의 호몰로지를 각각 \(HS^{n}_{c}(G,A)\), \(HS^{n}_{\infty}(G,A)\) 라고 명명한다. 논문은 저차원에서의 성질을 상세히 조사한다. 0차는 불변 원소들의 집합으로, \(HS^{0}_{c}(G,A)=A^{G}=H^{0}_{c}(G,A)\) 가 된다. 1차 대칭 코호몰로지는 ‘대칭 연속 교차 준동형’들의 군이며, 이는 \(\lambda(g)=-g\lambda(g^{-1})\) 와 \(\lambda(gh)=g\lambda(h)+\lambda(g)\) 두 조건을 동시에 만족한다. 2차에서는 핵심 사상 \(h^{*}:HS^{2}_{c}(G,A)\to H^{2}_{c}(G,A)\) 가 단사임을 증명한다. 이는 대칭 2-코사이클이 경계인 경우, 그 경계가 대칭 1-코체인에 의해 생성된다는 사실을 이용한다. 가장 중요한 결과는 Theorem 3.3 으로, 연속 섹션을 갖는 위상군 확장과 \(HS^{2}_{c}(G,A)\) 사이에 일대일 대응이 있음을 보인다. 여기서 ‘대칭 섹션’이란 \(s(g^{-1})=s(g)^{-1}\) 를 만족하는 연속 섹션이다. 확장 \(0\to A\stackrel{i}{\to}E\stackrel{\pi}{\to}G\to1\) 에 대해 대칭 섹션 \(s\) 를 선택하면, \(\sigma(g,h)=i^{-1}(s(g)s(h)s(gh)^{-1})\) 로 정의되는 2-코사이클이 얻어지고, 섹션을 바꾸면 차이는 대칭 1-코체인에 의한 경계가 되므로 같은 코호몰로지 클래스를 만든다. 반대로 주어진 대칭 2-코사이클으로부터 표준적인 ‘가공된’ 확장과 대칭 섹션을 재구성할 수 있음을 보인다. 이 과정은 전통적인 2차 군 코호몰로지가 확장들을 분류한다는 사실을 대칭성 조건과 연속성 조건이 동시에 만족되는 경우로 한정한다는 점에서 의미가 크다. 다음 장에서는 프로피니트 군 \(G\) 와 이산 \(G\)-모듈 \(A\) 에 대해 대칭 연속 코호몰로지를 연구한다. 프로피니트 군을 역극한 \(\varprojlim G_{i}\) 로 표현하고, 연속 함수가 결국 어느 유한 단계 \(G_{i}\) 로부터 유도된 것임을 이용해 \(HS^{n}_{c}(G,A)\cong\varinjlim HS^{n}(G_{i},A)\) 를 증명한다. 이는 유한 군들의 대칭 코호몰로지를 계산함으로써 프로피니트 군의 대칭 연속 코호몰로지를 구할 수 있음을 의미한다. 마지막으로, Lie 군에 대한 매끄러운 대칭 코호몰로지를 정의한다. 매끄러운 체인 복합체 \(C^{n}_{\infty}(G,A)\) 에 동일한 \(\Sigma_{n+1}\) 작용을 적용해 \(HS^{n}_{\infty}(G,A)\) 를 얻으며, 2차 경우에 매끄러운 섹션을 갖는 Lie 군 확장이 정확히 \(HS^{2}_{\infty}(G,A)\) 와 대응함을 보인다 (Theorem 7.2). 매끄러운 경우에도 대칭성 조건이 섹션의 역원과 일치함을 요구한다는 점에서 연속 경우와 구조가 동일하다. 전체적으로 논문은 대칭성이라는 추가적인 대수적 제약을 위상·매끄러운 맥락에 성공적으로 도입함으로써, 기존의 연속·매끄러운 군 코호몰로지 이론을 풍부하게 확장한다. 특히 2차 대칭 연속(또는 매끄러운) 코호몰로지가 ‘대칭 섹션을 갖는’ 확장들을 정확히 분류한다는 결과는, 대칭 코호몰로지가 실제 위상·미분기하학적 구조와 깊이 연결될 수 있음을 보여준다.