[논문 리뷰] Distortion for multifactor bimodules and representations of multifusion categories

Marcel Bischoff, Ian Charlesworth외 3명|arXiv (Cornell University)|2020. 10. 02.

Advanced Operator Algebra Research참고 문헌 37인용 수 5

한 줄 요약

이 논문은 초유한 II₁ 다중팩터 von Neumann 대수에서의 이중모듈러에 대해 모듈러 왜곡을 불변량으로 도입하여, 유한 깊이, 유한 지수, 연결된 다중팩터 포함관계의 완전한 분류를 가능하게 한다. 이는 표준 불변량(유니터리 평면 대수)과 더 작은 대수의 중심으로 제한된 마르코프 추적의 조합을 통해 이루어진다. 주요 기여는 모레타 동치 관계에 대해 이러한 포함관계의 전단사 사상이, 유한 깊이의 분해 불가능한 유니터리 2색 평면 대수와 그 0+-상자 공간 위의 충실한 상태로 이루어진 쌍으로 존재한다는 것이다.

ABSTRACT

We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $ m II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $ m II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines the modular distortion of the associated bimodule. Three crucial ingredients are Popa's uniqueness theorem for such inclusions which are also homogeneous, for which the standard invariant is a complete invariant, a generalized version of the Ocneanu Compactness Theorem, and the notion of Morita equivalence for inclusions. Second, we classify fully faithful representations of unitary multifusion categories into bimodules over hyperfinite $ m II_1$ multifactors in terms of the modular distortion. Every possible distortion arises from a representation, and we characterize the proper subset of distortions that arise from connected $ m II_1$ multifactor inclusions.

연구 동기 및 목표

• 서브팩터에 대한 폴파의 분류 정리를 다중팩터 포함관계의 더 넓은 맥락으로 확장하기 위해.
• 표준 불변량이 완전한 불변량으로서의 한계를 극복하기 위해, 추가로 불변량으로서의 모듈러 왜곡을 도입하기 위해.
• 초유한 II₁ 다중팩터에서의 이중모듈러에 대한 완전한 충실한 유니터리 다중융합 분류 표현을 분류하기 위해.
• 연결된 다중팩터 포함관계로부터 유래하는 어떤 모듈러 왜곡이 발생하는지 특성화하고, 모레타 동치 관계에 대해 유일성을 확립하기 위해.
• 폴파의 유일성 정리와 옥네아누의 컴팩티니스를 다중팩터 맥락으로 일반화하여 분류 결과를 가능하게 하기 위해.

제안 방법

• 존슨 기본 구성의 점근적 행동에서 유도된, II₁ 다중팩터 위의 이중모듈러에 대한 모듈러 왜곡을 불변량으로 정의한다.
• 핌스너-폴라 기저를 사용하여 조건부 기대와 더 작은 대수의 중심 내의 추적 밀도를 계산하고, 인접 행렬 Λ와 차원 행렬 ∆를 포함하는 행렬 재귀식을 도출한다.
• 추적 밀도에 대한 동역학계를 재귀식 ⃗hn = d⁻²∆⁻¹ΛΛᵀ∆⃗hn₋₁를 통해 수립하여, 모듈러 왜곡과 ΛΛᵀ의 프로베니우스-페르로우 고유벡터를 연결한다.
• 포함관계의 모레타 동치를 적용하여 분류 문제를 평면 대수의 동형류로 단순화하고, 모듈러 왜곡을 보완 불변량으로 사용한다.
• 폴파의 동차 포함관계에 대한 유일성 정리와 일반화된 옥네아누 컴팩티니스를 활용하여 평면 대수 데이터로부터 포함관계를 구성한다.
• 추적 밀도의 수렴을 통해 실현 가능한 왜곡의 집합을 특성화하고, 밀도 벡터 ∆⁻¹⃗λ를 통해 충실한 극한 상태를 확보한다.

실험 결과

연구 질문

• RQ1 표준 불변량만으로도, 유한 깊이, 유한 지수, 연결된 다중팩터 포함관계를 동형 관계에 대해 완전히 분류할 수 있는가?
• RQ2 표준 불변량 외에 이러한 포함관계를 완전히 분류하기 위해 추가로 필요한 불변량은 무엇인가?
• RQ3 평면 대수의 0+ 상자 공간 위의 어떤 상태들이 더 큰 대수의 마르코프 추적의 제한으로서 나타나는가?
• RQ4 어떤 모듈러 왜곡이 연결된 다중팩터 포함관계로부터 유래하는가? 그리고 이를 어떻게 특성화할 수 있는가?
• RQ5 모듈러 왜곡은 완전한 충실한 유니터리 다중융합 분류 표현의 존재성과 유일성과 어떻게 관련되어 있는가?

주요 결과

• 모듈러 왜곡은 존슨 기본 구성 하에서 정규화된 추적 밀도의 극한으로 정의되며, 모레타 동치 관계에 대해 유한 깊이, 유한 지수, 연결된 초유한 II₁ 다중팩터 포함관계의 완전한 불변량이다.
• 포함관계 A ⊂ B를 쌍 (PA⊂B•, trMarkov_B|Z(A))로 보내는 사상은, 이러한 포함관계들 간의 모레타 동치 관계와, 유한 깊이의 분해 불가능한 유니터리 2색 평면 대수 P•와 그 P₀₊ 위의 충실한 상태 τ로 이루어진 쌍 (P•, τ) 사이의 전단사 사상이다.
• 추적 밀도 hn은 충실한 극한 상태 τ∞로 수렴하며, 밀도 벡터 ⃗h∞ = ∆⁻¹⃗λ를 갖는다. 여기서 ⃗λ는 ΛΛᵀ의 정규화된 프로베니우스-페르로우 고유벡터이며, 이는 더 큰 대수 위의 유일한 마르코프 추적의 존재를 보장한다.
• P₀₊ 위의 모든 충실한 상태 τ는 어떤 다중팩터 포함관계의 마르코프 추적의 제한으로서 나타나므로, 가능한 모든 왜곡이 실현 가능하다.
• 표준 불변량 PA⊂B•는 포함관계의 동형 관계에 대해 완전한 불변량이 아니며, 오직 모레타 동치 관계에 대해만 완전한 불변량이 되며, 이는 분류에 적합한 동치 관계이다.
• 연결된 다중팩터 포함관계에 의해 실현 가능한 왜곡의 집합은, 관련 행렬 ΛΛᵀ가 정규화된 프로베니우스-페르로우 고유벡터를 유일하게 가지며, 그 성분이 모두 양수인 경우와 정확히 일치한다. 이는 포함관계가 유한 깊이이면서 연결되어 있을 때 성립한다.