[논문 리뷰] Bohrification of local nets of observables

Joost Nuiten|arXiv (Cornell University)|2011. 09. 07.

Quantum Mechanics and Applications참고 문헌 23인용 수 6

한 줄 요약

이 논문은 이전에 양자역학에 적용된 바이러피케이션(Bohrification)을 스칼라 시공간 위의 관측가능량 넷으로 구성된 대수적 양자장이론(AQFT)으로 확장한다. 관측가능량의 넷으로부터 링티드 토포스의 프레샤프를 구성함으로써, AQFT에서의 인과성 국소성은 국소 기하학적 모르피즘을 통한 내림내림 조건을 만족하는 보르피케이션된 넷과 동치임을 보여준다. 이는 양자장이론에서 국소성의 토포스 이론적 특성화를 제공한다.

ABSTRACT

Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed topos. We extend these ideas from quantum mechanics to algebraic quantum field theory: from a net of observables we construct a presheaf of quantum phase spaces. We can then naturally express the causal locality of the net as a descent condition on the corresponding presheaf of ringed toposes: we show that the net of observables is local, precisely when the presheaf of ringed toposes satisfies descent by a local geometric morphism.

연구 동기 및 목표

• 관측가능량이 시공간 위에 넷으로 배열된 대수적 양자장이론(AQFT)에서 보르피케이션을 양자역학에서의 적용을 일반화한다.
• AQFT에서의 양자 운동론을 링티드 토포스 내부의 고전 운동론으로 기술함으로써, 양자역학에서의 보르피케이션 성공 사례를 반영한다.
• 토포스 이론적 내림내림 조건을 사용하여 AQFT에서의 인과성 국소성을 특성화함으로써, 핵심 물리 원리의 기하학적이고 논리적 재구성화를 제공한다.

제안 방법

• 각 C*-대수에 대해 보르피케이션 절차를 적용하여 시공간 위의 관측가능량 넷으로부터 링티드 토포스의 프레샤프를 구성한다.
• 가환 부분대수의 부분순서집합과 관련된 프레샤프 토포스를 이용하여 링티드 토포스의 구성에 적용한다.
• 토포스 내부의 젤파인드 이중성(duality)을 사용하여 C*-대수의 스펙트럼을 내부 로케일로 해석함으로써 위상공간을 형성한다.
• 국소 기하학적 모르피즘을 사용하여 프레샤프의 링티드 토포스에 대한 내림내림 조건을 정의함으로써 인과성 국소성과 연결한다.
• 관측가능량 넷이 인과성 국소성을 만족함과 동시에 보르피케이션된 프레샤프의 링티드 토포스가 국소 기하학적 모를피즘을 통한 내림내림 조건을 만족함을 보여준다.
• 경계장 이론에 이 프레임워크를 적용하여, 경계 이론의 국소성이 보르피케이션된 넷의 국소 내림내림 조건과 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 원래 양자역학에 대해 개발된 보르피케이션은 대수적 양자장이론(AQFT)으로 확장될 수 있는가?
• RQ2 AQFT에서의 인과성 국소성 개념은 어떻게 토포스 이론적 내림내림 조건을 통해 재구성할 수 있는가?
• RQ3 양자역학에서의 내부 고전 운동론과 유사한, 양자장이론(QFT)에서의 토포스 이론적 운동론 특성화가 존재하는가?
• RQ4 원래 넷이 인과성 국소성을 만족할 때 정확히 보르피케이션된 넷이 내림내림 조건을 만족하는가?
• RQ5 이 프레임워크는 캐리얼 경계장 이론에 적용되어 그 국소성을 특성화할 수 있는가?

주요 결과

• AQFT에서 관측가능량 넷의 인과성 국소성은 보르피케이션된 링티드 토포스의 프레샤프가 국소 기하학적 모를피즘을 통한 내림내림 조건을 만족함과 동치이다.
• 시공간 위의 보르피케이션된 토포스 넷은 시공간의 열린 부분집합 위의 링티드 토포스의 프레샤프로 구성되며, 각 스토크는 보르피케이션된 C*-대수에 대응된다.
• 이 구성은 AQFT에서의 양자 운동론을 링티드 토포스 내부의 고전 운동론으로 실현함으로써, 스피터스 등이 양자역학에서 얻은 결과를 QFT로 일반화한다.
• 보르피케이션된 넷에 대한 내림내림 조건은 인과성 국소성의 물리적 요구사항을 포괄하며, 이 원리의 기하학적이고 논리적 재구성화를 제공한다.
• 경계장 이론의 경우, 캐리얼 경계 이론의 국소성은 관련 프레샤프 토포스의 국소 내림내림 조건으로 특성화된다.
• 이 프레임워크는 기하학적, 논리적, 대수적 구조를 통합하는 기여를 하는 구조적이고 토포스 이론적인 양자장이론의 해석을 제공한다.