[논문 리뷰] Homotopy of state orbits

Esteban Andruchow, Alejandro Varela|ArXiv.org|1999. 11. 17.

Advanced Operator Algebra Research참고 문헌 14인용 수 9

한 줄 요약

이 논문은 von Neumann 대수에서 정규 비탈성 상태의 단위 유니터리 궤도의 호모토피 성질을 조사한다. 특히, 조건부 기대에 의해 유도되는 모odular 위상과 일반적인 노름 위상 두 가지 위상에서 고려된 몫공간 $U_M / U_{M^f}$ 에 초점을 맞춘다. 이 논문은 일반적인 위상에서 이 몫공간이 단순연결임을 증명하고, 조건부 기대의 Jones 지수가 유한할 때 정확히 두 위상이 일치함을 보여준다.

ABSTRACT

Let M be a von Neumann algebra, f a faithful normal state and denote by M^f the fixed point algebra of the modular group of f. Let U_M and U_{M^f} be the unitary groups of M and M^f. In this paper we study the quotient U_M/U_{M^f} endowed with two natural topologies: the one induced by the usual norm of M (called here usual topology), and the one induced by the pre-Hilbert C*-module norm given by the f-invariant conditional expectation E_f:M o M^f (called the modular topology). It is shown that U_M/U_{M^f} is simply connected with the usual topology. Both topologies are compared, and it is shown that they coincide if and only if the Jones index of E_f is finite. The set U_M/U_{M^f} can be regarded as a model for the unitary orbit {f \circ Ad(u^*): u\in U_M} of f, and either with the usual or the modular it can be embedded continuously in the conjugate space M* (although not as a topological submanifold).

연구 동기 및 목표

• von Neumann 대수에서 정규 비탈성 상태의 단위 유니터리 궤도의 위상적 구조를 분석한다.
• 몫공간 $U_M / U_{M^f}$ 에서 두 자연스러운 위상, 즉 일반적인 노름 위상과 조건부 기대에 의해 유도된 모듈라 위상 간의 비교를 수행한다.
• 이 두 위상이 일치하는 조건을 규명한다.
• 궤도 공간의 호모토피 유형, 특히 단순연결성을 확립한다.
• 궤도 공간을 $M^*$의 이중공간에 연속적으로 매장하나, 위상적 부분다양체로는 간주하지 않는다.

제안 방법

• 정규 비탈성 상태 $f$ 의 모듈라 자기동형군에 관하여 고정된 원소들로 이루어진 대수 $M^f$ 를 정의한다.
• 여기서 $U_M$ 과 $U_{M^f}$ 는 각각 $M$ 과 $M^f$ 의 유니터리 군임을 고려하여 몫공간 $U_M / U_{M^f}$ 를 연구한다.
• 이 몫공간에 두 위상을 부여한다: $M$ 에서 유도된 일반적인 노름 위상과, $f$-불변 조건부 기대 $E_f: M \to M^f$ 에 의해 유도된 모듈라 위상.
• 연산자 대수학과 $C^*$-모듈러 이론의 기법을 사용하여 몰입공간의 위상적 성질을 분석한다.
• 호모토피 이론의 결과를 적용하여, 일반적인 위상 하에서 $U_M / U_{M^f}$ 가 단순연결임을 보인다.
• 조건부 기대 $E_f$ 의 Jones 지수가 유한한지 여부를 기반으로 두 위상의 일치 여부를 판단하는 기준을 수립한다.

실험 결과

연구 질문

• RQ1 일반적인 노름 위상 하에서 몰입공간 $U_M / U_{M^f}$ 는 단순연결인가?
• RQ2 일반 위상과 모듈라 위상이 $U_M / U_{M^f}$ 에서 일치하는 조건은 무엇인가?
• RQ3 조건부 기대 $E_f$ 의 Jones 지수는 두 위상의 위상 동치성과 어떻게 관련이 있는가?
• RQ4 정규 비탈성 상태의 유니터리 궤도는 이중공간 $M^*$ 에 연속적으로 매장될 수 있는가?
• RQ5 궤도 공간 $U_M / U_{M^f}$ 는 $M^*$ 의 위상적 부분다양체인가?

주요 결과

• 일반적인 노름 위상에서 몰입공간 $U_M / U_{M^f}$ 는 단순연결이다.
• 일반 위상과 모듈라 위상이 $U_M / U_{M^f}$ 에서 일치하는 것은 조건부 기대 $E_f$ 의 Jones 지수가 유한할 때이고, 그 경우에만 해당한다.
• 궤도 공간 $U_M / U_{M^f}$ 는 이중공간 $M^*$ 에 연속적으로 매장되나, 위상적 부분다양체는 아니다.
• 모듈라 위상은 $E_f$ 에 의해 유도된 전히르베르트 $C^*$-모듈러의 구조에서 유래되며, 그 성질은 $E_f$ 의 지수와 관련이 있다.
• 유니터리 궤도 $\{f \circ \text{Ad}(u^*) : u \in U_M\}$ 는 일반적인 위상 하에서 $U_M / U_{M^f}$ 와 위상동형이다.
• Jones 지수의 유한성은 궤도 공간 위상에서 두 자연스러운 위상 간의 위상 동치성에 필수적이고 충분한 조건이다.