[논문 리뷰] Cyclic Cohomology and Hopf Symmetry

Alain Connes, Henri Moscovici|ArXiv.org|2000. 02. 15.

Algebraic structures and combinatorial models참고 문헌 17인용 수 8

한 줄 요약

이 논문은 호프 대수와 그 작용의 맥락에서 순환 코hom로지를 개발하며, 호프 대수의 순환 코호몰로지와 국소적으로 컴act한 양자군 이론을 연결하는 모듈러 특성 호모모르피즘을 수립한다. 이는 모듈러 쌍 in involution과 표준적인 $\tilde{\tau}$-불변 $\tilde{\rho}$-트레이스의 구성으로써 양자군의 대칭성과 해석적·대수적 구조 간 정확한 일치를 보여주며, 양자군 이중성의 핵심 특징을 통합하는 모듈러 스퀘어를 제공한다.

ABSTRACT

Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of applications of cyclic cohomology. It is the goal of the present paper to illustrate these recent developments, with special emphasis on the application to transverse index theory, and point towards future directions. In particular, we highlight the remarkable accord between our framework for cyclic cohomology of Hopf algebras on one hand and both the algebraic as well as the analytic theory of quantum groups on the other, manifest in the construction of the modular square.

연구 동기 및 목표

• 비가환 기하학에서 특성류의 프레임워크를 제공하기 위해 순환 코호몰로지를 호프 대수와 그 작용으로 확장하는 것.
• 순환 코호몰로지 도구를 통해 양자군의 대수적 이론과 해석적 이론 사이의 다리를 놓는 것.
• 비가환 기하학에서의 전이 인덱스 이론에 이 프레임워크를 적용하는 것.
• 호프 대수의 순환 코호몰로지와 국소적으로 컴팩트한 양자군의 구조를 연결하는 모듈러 특성 호모모르피즘을 수립하는 것.

제안 방법

• 이중복합체 $(CC^{*,*}, b, B)$를 사용하여 순환 코호몰로지를 호프 대수에 적응시키며, 순환성과 호프 대수 작용에 대한 불변성을 포함한다.
• $\tilde{\frak H} = \tilde{H}^{\rm op} \times \tilde{H}$의 표준적 작용을 도입하며, 쌍대항등원 $S$와 변형된 쌍대항등원 $S_{\tilde{d}}$를 포함한 불변 조건을 수립한다.
• $\tilde{H}$ 위에서 $\tau(x) = \tilde{\phi}(\tilde{d}^{-1/4} x \tilde{d}^{-1/4})$로 정의된 중간 무게를 정의하며, 이는 표준적 작용 하에서 $\tilde{\rho}$-불변이자 $\tilde{\rho}$-트레이스이다.
• $\tilde{\frak H}$ 위에서 모듈러 쌍 in involution $(\tilde{\rho}, \tilde{\rho}) = (\tilde{d}^{1/2} \tilde{d}^{-1/2}, \tilde{\sigma}^{1/2} \tilde{\sigma}^{1/2})$를 구성하여, 모듈러 군과 쌍대항등원 구조와의 호환성을 확보한다.
• 이중으로 변형된 쌍대항등원 $(\tilde{\rho}^{-1} \circ S_{\tilde{d}})^2 = I_{\tilde{\frak H}}$의 제곱을 통해 모듈러 스퀘어를 유도하며, 양자군 이중성과의 일致성을 확인한다.
• 순환 코호몰로지의 이중 호프 대수와 원래 대수 간의 연결을 제공하는 모듈러 특성 호모모르피즘 $\gamma_{\tau}^{*}: HC_{(\tilde{\delta},\tilde{\sigma})}^{*}(\tilde{\frak H}) \to HC^{*}(\tilde{H})$를 수립한다.

실험 결과

연구 질문

• RQ1 순환 코호몰로지가 비가환 기하학에서 호프 대칭을 어떻게 코딩할 수 있는가?
• RQ2 순환 코호몰로지 프레임워크 내에서 양자군의 대수적 및 해석적 구조 간 정확한 관계는 무엇인가?
• RQ3 양자군의 하르 무게와 쌍대항등원 구조의 상호작용으로부터 모듈러 쌍 in involution은 어떻게 유도되는가?
• RQ4 구성된 $\tilde{\tau}$-불변 $\tilde{\rho}$-트레이스는 양자군의 이중성과 어떤 방식으로 반영되는가?
• RQ5 모듈러 스퀘어는 대수적 및 해석적 양자군 이론을 통합하는 데 어떤 역할을 하는가?

주요 결과

• 호프 대수 $\tilde{\frak H} = \tilde{H}^{\rm op} \times \tilde{H}$는 모듈러 쌍 in involution $(\tilde{\rho} = \tilde{d}^{1/2} \tilde{d}^{-1/2}, \tilde{\rho} = \tilde{\sigma}^{1/2} \tilde{\sigma}^{1/2})$를 가지며, 이는 양자군의 모듈러 구조를 특징짓는다.
• 중간 무게 $\tau(x) = \tilde{\phi}(\tilde{d}^{-1/4} x \tilde{d}^{-1/4})$는 표준적 작용 하에서 $\tilde{\rho}$-불변이자 $\tilde{\rho}$-트레이스이며, 이는 모듈러 불변성과의 호환성을 보장한다.
• 트레이스 $\tau$의 모듈러 군은 $\sigma^{\tau}_t(x) = \tilde{\sigma}^{it/2} \cdot x \cdot \tilde{\sigma}^{it/2}$로 주어지며, 이는 변형된 쌍대항등원의 작용과 일치하여 트레이스의 불변성을 확인한다.
• 이중으로 변형된 쌍대항등원의 제곱은 $(\tilde{\rho}^{-1} \circ S_{\tilde{d}})^2 = I_{\tilde{\frak H}}$를 만족하며, 이는 모듈러 스퀘어가 인보리션임을 증명하고 이중성 구조의 타당성을 검증한다.
• 모듈러 특성 호모모르피즘 $\gamma_{\tau}^{*}: HC_{(\tilde{\delta},\tilde{\sigma})}^{*}(\tilde{\frak H}) \to HC^{*}(\tilde{H})$는 잘 정의되어 있으며, 이중 호프 대수의 순환 코호몰로지와 원래 대수 간의 다리를 놓는다.
• 프레임워크는 순환 코호몰로지 데이터로부터 모듈러 쌍과 트레이스 구조가 일관되게 유도됨을 통해, 양자군 이론의 대수적 및 해석적 이론 간 놀라운 일치를 보여준다.