[논문 리뷰] Some invariance properties of cyclic cohomology with coefficients

Ilya Shapiro|arXiv (Cornell University)|2016. 11. 04.

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

한 줄 요약

이 논문은 단순한 모나드 카테고리에서의 순환 코hom로지의 유도된 정의를 도입하여, 모리타 및 2-모리타 불변성과 같은 불변성 성질을 향상시킨다. 핵심 기여는 정리 4.31로, 2-함자적 프레임워크를 통해 다양한 단순한 모나드 카테고리 간의 순환 코호모로지에 대한 일반화된 샤피로의 보조정리(Shapiro-type lemma)를 수립함으로써, 비-단순(non-semisimple) 설정에서 이전 정의의 한계를 해결한다.

ABSTRACT

In this paper, we further explore the conceptual approach to cyclic cohomology with coefficients. In particular we give a derived version of the definition with better invariance properties. We show that the new definition agrees with the old under certain conditions and we prove, for the new definition, both its Morita invariance and its $2$-Morita invariance, under suitable interpretations of these terms. More generally, we prove a version of Shapiro's lemma for cyclic cohomology with coefficients.

연구 동기 및 목표

• 모나드 카테고리에서 계수를 가진 순환 코호모로지의 유도된, 호모로지적으로 강건한 정의를 개발하여 불변성 성질을 향상시키는 것.
• 적절한 카테고리적 해석 하에서 새로운 정의에 대해 모리타 불변성과 2-모리타 불변성을 확립하는 것.
• 2-함자 간의 모듈러 2-카테고리 사이에서, 모나드 카테고리에서 계수를 가진 순환 코호모로지에 대해 일반화된 샤피로의 보조정리를 제시하는 것.
• 특히 비-단순 히프 대수 설정에서, 반모듈러와 대칭 2-반대트레이스의 역할을 명확히 하는 것.
• 카테고리적 및 고차 카테고리적 구조를 통해 이전의 히프-순환 코호모로지 접근법(유형 A 및 B 이론 포함)을 통합하고 확장하는 것.

제안 방법

• 논문은 [HKS]와는 다른 새로운 접근을 통해 아벨 단순한 모나드 카테고리에서의 전순환 대상(precohomological objects)을 구성함으로써, 유도된 호모로지 성질을 가능하게 한다.
• 2-모리타 동치 하에서 불변성을 유지하는, 순환 코호모로지의 유도된 버전을 도입하며, 순환 대상(cohomological objects) 대신 전순환 대상(precohomological objects)을 사용한다.
• 이 방법은 카테고리 이론적 개념인 2-반트레이스를 기반으로 하며, $Χ_{\mathcal{C}}(\mathcal{C}^{op})$의 Hom-객체 위에서 양의 유도를 통해 자동형사상이 유도된다.
• 주된 설정은 단순한 모나드 카테고리 $\mathcal{C}$ 내의 왼쪽 $A$-모듈러의 카테고리이며, 이는 이론의 구성에서 이중성과 모듈러 카테고리의 구조가 중심적인 역할을 한다.
• 이 프레임워크는 이중폐쇄 카테고리(dually closed categories)를 포함하며, $\mathcal{Z}'_{\mathcal{C}}(\mathcal{C}^{op})$는 대칭 2-반트레이스의 카테고리를 정의함으로써 SAYD 반모듈러의 일반화를 이루고 있다.
• 핵심 기법은 단순한 모나드 함자 $F: \mathcal{C} \to \mathcal{D}$에 대해 $^*F$를 통해 카테고리 간의 구조를 전달하는 오른쪽 수반 함자(right adjoint functors)의 사용이다.

실험 결과

연구 질문

• RQ1 모리타 및 2-모리타 동치 하에서 더 나은 불변성을 확보하기 위해, 계수를 가진 순환 코호모로지를 어떻게 재정의할 수 있는가?
• RQ2 새로운 유도된 순환 코호모로지 정의가 고전적 정의와 어떤 의미에서 일치하며, 어디서 차이를 보이는가?
• RQ3 2-함자적 성격을 통해, 모나드 카테고리에서 계수를 가진 순환 코호모로지에 대해 일반화된 샤피로의 보조정리를 어떻게 제시할 수 있는가?
• RQ4 히프-순환 코호모로지의 맥락에서 반모듈러와 대칭 2-반트레이스의 카테고리적 역할은 무엇인가?
• RQ5 일반적인 모나드 카테고리에서 자연스러운 $S^2$-유사 자동동치가 존재하지 않을 경우, SAYD 모듈러와 반모듈러의 정의에 어떤 영향을 미치는가?

주요 결과

• 프로포지션 4.7에 의해, 프로젝티브 단위를 가진 모나드 카테고리에서는 유도된 순환 코호모로지 정의가 고전적 정의와 일치함을 보였다.
• 프로포지션 4.10에 의해, $\mathcal{C}$ 내의 유니터리 결합 대수에 대해 새로운 정의가 모리타 불변성을 보임을 증명하였다.
• 논문은 일반화된 의미에서 2-모리타 불변성을 증명하였다: 두 모나드 카테고리 $\mathcal{C}$와 $\mathcal{D}$가 그들의 모듈러 2-카테고리 간의 2-함자로 연결되어 있다면, 적절한 조건 하에서 순환 코호모로지는 유지된다.
• 정리 4.31는 순환 코호모로지에 대해 일반화된 수반 관계 결과를 수립하였으며, $\mathcal{C}$와 $\mathcal{D}$가 2-모리타 동치가 아니어도, 적합한 이중모듈러 $\mathcal{N}$를 통해 유효하다.
• $\mathcal{C} = {}_H\mathcal{M}$인 경우, 새로운 정의는 계수를 가진 히프-순환 코호모로지를 복원하며, 비-단순 히프 대수에서는 이전 정의와 다름을 보였다(비고 4.23 참조).
• $\mathcal{Z}'_{\mathcal{C}}(\mathcal{C}^{op})$는 대칭 2-반트레이스의 카테고리로 식별되었으며, 자연스러운 $S^2$-자기동치가 존재하지 않는 맥락에서 SAYD 반모듈러의 개념을 일반화한다.