[논문 리뷰] Symmetric Homology of Algebras

Shaun V. Ault, Fiedorowicz, Zbigniew|ArXiv.org|2007. 08. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 교차 단순형 군의 프레임워크를 통해 순환 호몰로지의 유사체로 대칭군을 순환군 대신 사용함으로써 대수의 대칭 호몰로지를 도입한다. 대칭 바 구성과 k[ΔS] 위에서의 Tor 함자들을 통해 대칭 호몰로지를 정의하며, 기본적인 스펙트럴 시퀀스를 수립하고 자연스러운 사상으로 순환 호몰로지와 관련지어, 핵심 결과로 HS₀(A) = A/[A,A]와 낮은 차수에서의 체인 수준 기술을 제시한다.

ABSTRACT

In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed simplicial groups and the homological algebra of module-valued functors. The symmetric homology of group algebras is related to stable homotopy theory. Two spectral sequences for computing symmetric homology are constructed. The relation to cyclic homology is discussed and some conjectures and questions towards further work are discussed.

연구 동기 및 목표

• 순환 호몰로지의 유사체로, 순환군 대신 대칭군을 사용하는 대수에 대한 호몰로지 이론을 개발하기 위해.
• 특히 대칭 집합의 범주인 ΔS를 포함한 교차 단순형 군의 프레임워크를 통해 호몰로지적 틀을 수립하기 위해.
• k[ΔS] 위에서의 대칭 바 구성과 Tor를 통해 순환 호몰로지의 일반화로 대칭 호몰로지를 정의하기 위해.
• 대칭 호몰로지가 안정 호모토피 이론과 순환 호몰로지와 어떻게 관련되어 있으며, 계산을 위해 스펙트럴 시퀀스를 구축할 수 있는지에 대해 연구하기 위해.
• 낮은 차수에서 대칭 호몰로지의 명시적 체인 수준 기술을 제공하고, 추가적인 구조적 성질에 대한 추측을 내기 위해.

제안 방법

• 결합된 사상에 대한 순서 있는 원상이 있는 집합의 범주인 ΔS를, 연관 연산자로부터 피라슈빌리의 작동적 프레임워크를 통해 구성한다.
• ΔS → k-모듈의 대칭 바 구성 B^sym A를 정의하며, [n]에 대해 A^⊗(n+1)을 보내고, 사상은 섬유 위에서 순서 있는 곱으로 작용한다.
• 모듈 값 함수의 호몰로지 대수학을 적용하며, 대칭 호몰로지를 Tor^ΔS_*(k̲, B^sym A)로 계산한다. 여기서 k̲는 k로의 상수 함수이다.
• 대칭군 차수에 따른 필터링과 ΔS의 뼈대 필터링을 사용하여 대칭 호몰로지를 계산하기 위한 두 개의 스펙트럴 시퀀스를 구성한다.
• ΔS가 기저로 대칭군 Σ_{n+1}을 가지며, k[ΔS] 위에서 표준적인 호몰로지 대수학을 적용할 수 있음을 이용한다.
• 베레비차-지바예비치 연결성 정리를 사용하여 k[ΔS] 위에서 상수 함수 k̲의 유한한 프로젝티브 해를 구축하며, 차수에 대한 통제를 확보한다.

실험 결과

연구 질문

• RQ1 순환 호몰로지를, 순환군 대신 대칭군을 사용하는 호몰로지 틀에서 어떻게 일반화할 수 있는가?
• RQ2 대칭 대수에 대한 대칭 호몰로지의 구조는 어떻게 되며, 이는 대수의 대수적 구조와 어떻게 관련되어 있는가?
• RQ3 대칭 호몰로지를 계산하기 위해 스펙트럴 시퀀스를 구성할 수 있으며, 그 수렴 성질은 어떠한가?
• RQ4 대칭 호몰로지와 순환 호몰로지 사이의 관계는 무엇이며, 자연스러운 사상의 성격은 어떠한가?
• RQ5 낮은 차수에서 대칭 호몰로지의 명시적 체인 수준 기술은 무엇이며, 이는 대수의 대수적 대칭화를 어떻게 반영하는가?

주요 결과

• HS₀(A)는 A/[A,A]와 동형이며, 이는 대칭 호몰로지가 대수의 아벨리안화를 캡처한다는 것을 확인한다.
• 1차에서 대칭 호몰로지는 A⊗A⊗A와 (A⊗A⊗A⊗A)⊕A를 항으로 가지며, 곱과 순환 치환을 포함하는 명시적 미분을 갖는 부분 체인 복합체의 호몰로지이다.
• HC*(A) → HS*(A) 사상은 함수 b̲에서 상수 함수 k̲로의 자연스러운 변환에 의해 유도되며, 이는 순환 호몰로지가 대칭 호몰로지의 몫임을 반영한다.
• 대칭 바 구성은 ΔS 위에서의 covariant 함자로 확장되며, 이는 대칭 호몰로지를 Tor를 통해 정의할 수 있음을 가능하게 하며, 반대로 순환 바 구성은 반대변환 함자임을 뚜렷이 한다.
• 범주 ΔS는 연관 연산자의 연산자 범주로 실현되며, 이는 대칭 바 구성의 개념적 기초를 제공한다.
• k[ΔS] 위에서 상수 함수 k̲의 유한한 프로젝티브 해가 존재하며, 차수 i에서 m ≤ (3/2)(i+1)인 P_m를 프로젝티브로 사용할 수 있다. 이는 베레비차-지바예비치 연결성 정리에 기반한다.