[논문 리뷰] Bisognano-Wichmann property for rigid categorical extensions and non-local extensions of conformal nets

Bin Gui|arXiv (Cornell University)|2019. 12. 23.

Algebraic structures and combinatorial models참고 문헌 48인용 수 2

한 줄 요약

이 논문은 기약적인 모비우스 공변 넷의 범주적 확장을 위한 일반화된 비소나노-비히만 정리 수립을 통해, 구간에 관련된 모듈라 연산자가 모비우스 군 내에서 확대 작용으로 작용함을 증명한다. 또한 이 결과를 이중가능 모듈러의 범주 내에서 C*-프로베누스 대수를 통해 구성된 국소적이지 않은 확장으로 확장하여, 이러한 구성에서 모듈라 구조가 유지됨을 보이고, 확장된 넷 프레임워크 내에서 비유계 장 연산자의 전폐성과 연관지킨다.

ABSTRACT

Given an (irreducible) Mobius covariant net $\mathcal A$, we prove a Bisognano-Wichmann theorem for its categorical extension $\mathscr E^{ extrm{d}}$ associated to the braided $C^*$-tensor category $ extrm{Rep}^{ extrm{d}}(\mathcal A)$ of dualizable (more precisely "dualized") Mobius covariant $\mathcal A$-modules. As a closely related result, we prove a (modified) Bisognano-Wichmann theorem for any (possibly) non-local extension of $\mathcal A$ obtained by a $C^*$-Frobenius algebra $Q$ in $ extrm{Rep}^{ extrm{d}}(\mathcal A)$. As an application, we discuss the relation between the domains of modular operators and the preclosedness of certain unbounded operators in $\mathscr E^{ extrm{d}}$.

연구 동기 및 목표

• 기본적으로 이중가능 A-모듈러의 브레인드 C*-텐서 범주로부터 유도되는 범주적 확장에 대해 모비우스 공변 넷의 비소나노-비히만 정리를 확장하는 것.
• 이중화된 모듈러의 범주 내에서 C*-프로베누스 대수로부터 구성된 국소적이지 않은 확장에 대해 수정된 비소나노-비히만 성질을 수립하는 것.
• 범주적 확장 내에서 모듈라 연산자와 비유계 장 연산자의 전폐성 간의 관계를 명확히 하는 것.
• 범주적 확장 E_f의 모비우스 및 콥포르멀 공변성을 증명하기 위해, PSU(1,1)의 기본 커버와 콩포르멀 군의 유니터리 표현을 구성하는 것.
• 경로 연속성과 구간 위에서의 상대 텐서곱을 사용하여 기하학적 모듈라 이론과 PCT 대칭성을 범주적 설정으로 일반화하는 것.

제안 방법

• 기본적으로 이중가능 A-모듈러의 브레인드 C*-텐서 범주 Rep_d(A)를 통해 모비우스 공변 넷 A의 범주적 확장 E_d를 구성한다.
• arg-값을 갖는 구간을 사용하여 S¹의 기본 커버 상에서 국소화된 L 및 R 연산자를 정의하고, 기존의 표준 인터티너 구성 방식을 국소적이지 않은 설정으로 일반화한다.
• V(g)L(ξ, rI)η = L(gξ, grI)gη를 통해 Hi ⊗ Hj 위에 ČPSU(1,1)의 유니터리 표현 V를 정의하여 확장의 모비우스 공변성을 확보한다.
• 확장의 국소성과 군 작용에 대해 진공 벡터가 불변임을 이용하여 표현의 유니터리성과 강수렴성을 증명한다.
• 톰이타-타케사키 이론을 적용하여 구간 I에 대해 모듈라 연산자 Δ_I와 켤레 연산자 J_I를 정의하고, Δ_I^it = δ_I(-2πt)인 확대 작용임을 증명한다.
• ČPSU(1,1)를 콩포르멀 군 GA로 대체하여 콩포르멀 공변성을 확보하고, gξg⁻¹ ∈ H_i(gI)의 변환 법칙을 적용한다.

실험 결과

연구 질문

• RQ1 기본적으로 이중가능 A-모듈러로부터 유도된 범주적 확장 E_d에 대해 비소나노-비히만 정리는 성립하는가?
• RQ2 범주적 확장 E_d에서 모듈라 연산자 Δ_I는 확대 작용 δ_I(-2πt)로 식별될 수 있는가?
• RQ3 Rep_d(A) 내에서 C*-프로베누스 대수 Q로부터 구성된 A의 국소적이지 않은 확장에서 PCT 대칭성은 어떻게 일반화되는가?
• RQ4 E_d 내에서 모듈라 연산자의 정의역과 비유계 장 연산자의 전폐성 간의 관계는 무엇인가?
• RQ5 범주적 확장 E_f는 모비우스 공변성을 가지며, S¹의 기본 커버 위에서 그 표현을 일관되게 정의할 수 있는가?

주요 결과

• 강한 범주적 확장 E_d에 대해 비소나노-비히만 정리가 성립한다: 모듈라 연산자 Δ_I^it는 구간 I 위에서 확대 δ_I(-2πt)로 작용한다.
• 반유니터리 사상 Θ = J_{S¹_+}는 E_d에 대해 PCT 연산자로 작용하며, 모든 g ∈ PSU(1,1)에 대해 ΘApI)Θ = Ap_rI) 및 ΘU(g)Θ = U(rgr⁻¹)를 만족한다.
• Rep_d(A) 내에서 임의의 C*-프로베누스 대수 Q에 대해, 관련된 국소적이지 않은 확장은 수정된 비소나노-비히만 성질을 만족하며, 모듈라 자료는 대수적 구조와 연결된다.
• 범주적 확장 E_f는 모비우스 공변성을 가지며, V(g)L(ξ, rI)η = L(gξ, grI)gη로 정의된 ČPSU(1,1)의 Hi ⊗ Hj 위의 유니터리 표현이 존재한다.
• 구성은 L(gξ, grI) = gL(ξ, rI)g⁻¹ 및 R(gξ, grI) = gR(ξ, rI)g⁻¹를 보장하여 군 작용에 대한 공변성을 유지한다.
• E_d 내에서 모듈라 연산자 Δ_I의 정의역은 비유계 장 연산자의 전폐성과 관련이 있으며, 균일 유계성과 연속성에 의해 L(g_nξ, g_n rI)가 L(ξ, rI)로 강수렴함이 증명된다.