[논문 리뷰] On the superselection theory of the Weyl algebra for diffeomorphism invariant quantum gauge theories

Hanno Sahlmann, Thomas Thiemann|ArXiv.org|2003. 02. 21.

Noncommutative and Quantum Gravity Theories참고 문헌 23인용 수 46

한 줄 요약

이 논문은 미세한 추가 가정 하에, 미분형 불변 양자 게이지 이론에서 Ashtekar-Lewandowski (AL) 표현의 유일성을 입증하기 위해 기존의 Weyl 대수와 유사한 새로운 $C^*$-대수를 도입함으로써, 미분형 불변성에 기반한 양자 게이지 이론에서 AL 표현의 유일성을 확립한다. 이는 유일성 조건인 기저가 되는 표현의 불가약성과 연속성 조건을 만족하는, 미분형 및 게이지 불변 표현이 유일하게 단위 동치를 제외하고는 AL 표현 뿐임을 증명하며, 루프 양자 중력 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

Much of the work in loop quantum gravity and quantum geometry rests on a mathematically rigorous integration theory on spaces of distributional connections. Most notably, a diffeomorphism invariant representation of the algebra of basic observables of the theory, the Ashtekar-Lewandowski representation, has been constructed. This representation is singled out by its mathematical elegance, and up to now, no other diffeomorphism invariant representation has been constructed. This raises the question whether it is unique in a precise sense. In the present article we take steps towards answering this question. Our main result is that upon imposing relatively mild additional assumptions, the AL-representation is indeed unique. As an important tool which is also interesting in its own right, we introduce a C*-algebra which is very similar to the Weyl algebra used in the canonical quantization of free quantum field theories.

연구 동기 및 목표

• canonical 양자 중력 이론에서 Ashtekar-Lewandowski (AL) 표현이 유일한 미분형 및 게이지 불변 표현인지 규명하는 것.
• AL 표현이 수학적으로 아름답고 물리적으로 중심적인 위치를 차지하고 있음에도 불구하고, 그 외의 표현이 존재하지 않는 이유를 설명하는 것.
• 미분형 및 게이지 불변성 이외의 물리적으로 타당하고 경미한 추가 가정 하에 유일성을 확립하는 것.
• 배경 독립적 게이지 이론에 적합하게 조정된, Weyl 대수와 유사한 새로운 $C^*$-대수적 프레임워크를 개발하는 것.
• 루프 양자 중력 이론의 표현 이론적 기초를 철저히 확립하는 것.

제안 방법

• 자유 양자장 이론에서 사용되는 Weyl 대수와 유사한 $C^*$-대수적 구조를 도입하여, 양자 게이지 이론의 헬로니-플럭스 대수에 특화된 구조를 제공한다.
• 표현에 대해 불가약성, 미분형 불변성, 게이지 불변성 조건을 적용하고, 기술적 연속성 및 가측성 가정을 추가한다.
• 게이지 군과 미분형 군에 대한 평균화 기법을 사용하여 문제를 불변 상태로 환원하고, Peter-Weyl 정리를 활용한다.
• 리 대수 생성자들의 지수 함수를 사용하여 플럭스 연산자의 $C^\infty$-벡터를 구성함으로써 표현 공간에서 부드러운 벡터를 사용할 수 있도록 한다.
• Peter-Weyl 정리를 적용하여 행렬 계수를 분해하고, 일반화된 접속 공간 위의 측도가 Ashtekar-Lewandowski 측도 $\mu_0$여야 한다는 것을 보여준다.
• 전체 대칭군에 대해 불변인 상태가 유일하게 AL 측도여야 하며, 이는 표현이 단위 동치임을 이끌어낸다.

실험 결과

연구 질문

• RQ1 양자 중력 이론에서 헬로니-플럭스 대수의 Ashtekar-Lewandowski 표현은 유일한 미분형 및 게이지 불변 표현인가?
• RQ2 물리적으로 타당하고 경미한 추가 가정 하에 AL 표현의 유일성은 입증될 수 있는가?
• RQ3 배경 독립적 양자장 이론에서 Weyl 대수의 엄밀한 유사체로 작용할 수 있는 대수적 구조는 무엇인가?
• RQ4 플럭스 연산자의 $C^\infty$-벡터를 체계적으로 구성하여 부드러움과 대칭 조건과의 호환성을 확보할 수 있는가?
• RQ5 게이지 군과 미분형 군에 대한 평균화 절차는 일반화된 접속 공간 위의 가능한 불변 측도를 어느 정도 제약하는가?

주요 결과

• 불가약성, 미분형 불변성, 게이지 불변성, 행렬 계수의 연속성 조건을 만족하는 한, Ashtekar-Lewandowski 표현은 단위 동치를 제외하고는 유일하다.
• 일반화된 접속 공간 위의 유일한 가능한 불변 측도는 Ashtekar-Lewandowski 측도 $\mu_0$이며, 이는 미분형 및 게이지 불변성을 모두 만족한다.
• 플럭스 연산자의 $C^\infty$-벡터를 $Y^+_j(S)$ 생성자들을 통해 구성함으로써, 불변인 조밀한 부드러운 정의역을 확보할 수 있다.
• 게이지 군에 대한 평균화 절차를 통해 이산적 부분군이 필요 없이도 불변성을 확보할 수 있으며, 이는 유일성 증명을 단순화한다.
• Peter-Weyl 정리를 적용하여 표현의 행렬 계수가 구조군의 Haar 측도와 호환되어야 하며, 이는 $\mu_\nu = \mu_0$를 이끌어낸다.
• 증명은 주어진 조건을 만족하는 모든 표현이 반드시 AL 표현과 단위 동치임을 입증하며, 이는 AL 표현의 물리적 및 수학적 우선성을 확인한다.