[논문 리뷰] Completely positive inner products and strong Morita equivalence

Henrique Bursztyn, Stefan Waldmann|ArXiv.org|2003. 09. 24.

Advanced Topics in Algebra참고 문헌 34인용 수 6

한 줄 요약

이 논문은 *-대수에서 강한 모리타 동치의 통합 프레임워크를 수립하며, 이를 C*-대수와 파울슨 다양체 위의 헤르미트 스타 곱에 적용한다. 완전히 양의 내적을 도입함으로써, 강한 모리타 동치와 링 이론적 모리타 동치가 동일한 동치 관계를 유도하지만, 서로 다른 피카르 군환을 유도함을 증명한다. 이 차이는 변형 양자화에서 코homologically 기록된다.

ABSTRACT

We develop a general framework for the study of strong Morita equivalence in which $C^*$-algebras and hermitian star products on Poisson manifolds are treated in equal footing. We compare strong and ring-theoretic Morita equivalences in terms of their Picard groupoids for a certain class of unital $^*$-algebras encompassing both examples. Within this class, we show that both notions of Morita equivalence induce the same equivalence relation but generally define different Picard groups. For star products, this difference is expressed geometrically in cohomological terms.

연구 동기 및 목표

• C*-대수와 헤르미트 스타 곱에 모두 적용 가능한 강한 모리타 동치의 일반적인 대수적 프레임워크를 개발하는 것.
• 순서가 주어진 링 위의 *-대수의 맥락에서 강한 모리타 동치와 링 이론적 모리타 동치 간의 관계를 명확히 하는 것.
• 강한 피카르 군환과 고전적 피카르 군환 간의 차이를 코homological한 장벽을 통해 특성화하는 것.
• C*-대수와 변형 양자화에서 알려진 모리타 동치 결과를 공통의 대수적 설정으로 확장하는 것.
• 헤르미트 스타 곱의 경우, 강한 피카르 군환에서 고전적 피카르 군환으로의 표준 사상이 단사임을 보이며, 전사성은 첫 번째 파울슨 코homology의 영함에 따라 달라진다.

제안 방법

• R(i) 형태의 링(예: R 및 R[[λ]]) 위의 *-대수에서 완전히 양의 내적을 사용한 순수 대수적 강한 모리타 동치의 개념을 도입한다.
• 비퇴직적, 아이디포텐트 *-대수의 범주에서 이원자체를 사상으로 하는 강한 피카르 군환 Pic^str를 정의한다.
• 리에플의 표현 유도 및 텐서곱 구성이 이 대수적 설정으로 일반화됨을 증명한다.
• Pic^str와 Pic 간의 표준 군환 사상으로 비교하여, 동일한 궤도(동치류)를 가지지만 다른 이소트로피 군을 가짐을 보인다.
• 베이커–캠프벨–하우스도르프 공식과 스타 자기동형사상 분해를 사용하여 스타 곱의 *-자기동형사상을 e^{iλD}∘Ψ 형태로 분석한다.
• Pic^str ≅ Pic 가 성립하지 않는 장벽을 코homological한 형태로 표현하며, 특히 첫 번째 파울슨 코homology 군 H^1_{dR}(M,C)를 통해 기술한다.

실험 결과

연구 질문

• RQ1 강한 모리타 동치와 링 이론적 모리타 동치는 넓은 범위의 *-대수에 대해 동일한 동치 관계를 정의하는가?
• RQ2 *-대수에서 강한 피카르 군환 Pic^str와 고전적 피카르 군환 Pic 간의 정확한 관계는 무엇인가?
• RQ3 Pic^str와 Pic의 이소트로피 군은 어떻게 다를 수 있으며, 이러한 차이를 제어하는 코homological한 불변량은 무엇인가?
• RQ4 헤르미트 스타 곱의 경우, 표준 사상 Pic^str → Pic 가 동형이 되는 조건은 무엇인가?
• RQ5 스타 곱의 자기동형사상의 구조는 단위원과 내부 유사 부분으로 분해될 수 있으며, 이는 모리타 동치에 어떤 영향을 미치는가?

주요 결과

• 조건 (I), (II+), 및 (III)를 만족하는 유니탈 *-대수에 대해, 강한 모리타 동치와 링 이론적 모리타 동치는 동일한 동치 관계를 유도한다. 즉, 피카르 군환 내에서 동일한 궤도를 가진다.
• 헤르미트 스타 곱의 경우, 표준 사상 Pic^str → Pic 는 코로나리에이 8.7에서 보여지듯이 단사적이다.
• 사상 Pic^str → Pic 가 전사적(따라서 동형)임은 유일하게 모든 *-미분연산자가 준내부적임을 뜻한다. 즉, 어떤 H에 대해 (i/λ)ad(H) 형태여야 한다.
• 심플렉틱 다양체의 경우, 사상 Pic^str → Pic 가 동형이 되는 것은 유일하게 첫 번째 드 라함 코homology 군 H^1_{dR}(M,C) 가 영일 때 성립한다.
• 모든 헤르미트 스타 곱의 *-자기동형사상은 유일하게 Φ = e^{iλD}∘Ψ 형태로 분해되며, 여기서 D는 *-미분연산자이고 Ψ는 *-자기동형사상이다. 이는 8.8조에서 증명되었다.
• 강한 피카르 군환과 고전적 피카르 군환의 이소트로피 군은 일반적으로 다르며, 동치류가 일치하더라도 강한 모리타 동치는 링 이론적 모리타 동치보다 엄밀한 불변량임을 시사한다.