양 밀스 대수의 호흐시드 및 사이클릭 동류학

초록

본 논문은 콘스와 두부아-비올레트가 정의한 양-밀스 대수의 호흐시드와 사이클릭 동류학을 계산한다. 저자는 리 대수인 양-밀스 대수의 자연스러운 필터링을 이용한 스펙트럴 시퀀스를 구축하고, 자유 리 아이디얼을 통해 얻어지는 구조적 특성을 활용한다. 결과적으로 각 차수별 호흐시드와 사이클릭 동류학 군을 명시적으로 제시한다.

상세 분석

양-밀스 대수는 비가환 기하학과 양자장 이론에서 중요한 역할을 하는 비정칙적인 연산 구조를 가지고 있다. 이 대수는 리 대수 𝔤𝔶𝔪(n)와 그 보조 대수 𝔞𝔫을 텐서곱 형태로 결합한 U(𝔤𝔶𝔪)로 표현되며, 𝔞𝔫은 자유 리 아이디얼로서 𝔤𝔶𝔪의 중심을 이루는 중요한 부분이다. 논문은 먼저 이 자유 리 아이디얼이 제공하는 자연스러운 필터링 FᵖU(𝔤𝔶𝔪)=U(𝔤𝔶𝔪)·𝔞𝔫ᵖ을 정의하고, 이 필터링에 대한 연관 그라디언트 대수 Gr_FU(𝔤𝔶𝔪)≅S(𝔞𝔫)⊗U(𝔤𝔶𝔪/𝔞𝔫)임을 증명한다. 여기서 S(𝔞𝔫)은 𝔞𝔫의 대칭 대수이며, 이는 호흐시드 계산에 있어 Koszul 복합체와 유사한 구조를 제공한다.

다음 단계에서는 이 연관 그라디언트를 이용해 Hochschild–Serre 스펙트럴 시퀀스를 구성한다. E₂ 페이지는 E₂^{p,q}=HH_p(S(𝔞𝔫))⊗HH_q(U(𝔤𝔶𝔪/𝔞𝔫)) 형태이며, S(𝔞𝔫)의 호흐시드는 다항식 대수의 경우 잘 알려진 결과(HH_i(S(V))≅∧^i V⊗S(V))를 직접 적용한다. 반면, U(𝔤𝔶𝔪/𝔞𝔫)은 자유 리 대수의 보편적인 유니버설 엔벨로핑 대수이므로, 그 호흐시드는 Chevalley–Eilenberg 복합체와 동형인 것으로 확인된다. 특히, 𝔤𝔶𝔪/𝔞𝔫이 자유 리 대수이므로 HH_(U(𝔤𝔶𝔪/𝔞𝔫))는 외곱 대수 ∧^ (𝔤𝔶𝔪/𝔞𝔫)와 동형이며, 차수별로 명확히 계산된다.

스펙트럴 시퀀스의 차수와 차동을 면밀히 추적한 결과, 모든 차동이 0임을 보인다. 이는 필터링이 ‘정규’(regular)이며, 연관 그라디언트가 호모톱시적으로 원래 대수와 동등함을 의미한다. 따라서 E₂=E_∞이며, 최종적으로 HH_n(U(𝔤𝔶𝔪))≅⊕_{p+q=n}∧^p(𝔞𝔫)⊗S(𝔞𝔫)⊗∧^q(𝔤𝔶𝔪/𝔞𝔫) 로 전개된다. 이 식은 차수별 차원과 구조를 명확히 제시한다.

사이클릭 동류학은 Connes의 장정리와 B, S 연산자를 이용해 Hochschild 동류학으로부터 전이한다. 논문은 B와 S가 위의 텐서 구조에 대해 어떻게 작용하는지를 계산하고, 결과적으로 HC_{2k}(U(𝔤𝔶𝔪))≅S(𝔞𝔫)⊗∧^{even}(𝔤𝔶𝔪) , HC_{2k+1}(U(𝔤𝔶𝔪))≅S(𝔞𝔫)⊗∧^{odd}(𝔤𝔶𝔪) 와 같은 주기적 구조를 얻는다. 여기서 ∧^{even/odd}(𝔤𝔶𝔪)은 𝔤𝔶𝔪의 외곱 대수의 짝/홀 차원을 의미한다.

마지막으로 저자는 이러한 결과가 양-밀스 대수의 비가환 기하학적 해석에 중요한 역할을 할 수 있음을 강조한다. 특히, 사이클릭 동류학이 비가환 공간의 ‘de Rham’ 형태를 제공하고, Hochschild 동류학이 비가환 미분 형태와 연결된다는 점에서 물리적 의미를 부여한다.