[논문 리뷰] Algebra with indefinite involution and its representation in Krein space

Katsunori Kawamura|ArXiv.org|2006. 10. 02.

Advanced Operator Algebra Research참고 문헌 29인용 수 4

한 줄 요약

이 논문은 양자장론에서 무한대 계량 공간의 기원을 새로운 대수적 메커니즘을 통해 설명한다: 표준 호환자 $\dagger$를 대수 $\mathcal{A}$ 위에서 새로운 호환자 $*$로 대체함으로써, 표준 $C^*$-대수는 크레인 공간 표현으로 변환된다. 핵심 결과는 $({\mathcal{A}},*)$의 공변 표현이 새로운 호환자 하에서 자연스럽게 크레인 공간 표현을 유도하며, 이는 복소 고유값을 가진 비헤르미트릭이지만 페시브 허미트릭 해밀토니안의 출현을 설명한다.

ABSTRACT

It is often inevitable to introduce an indefinite-metric space in quantum field theory, for example, which is explained for the sake of the manifestly covariant quantization of the electromagnetic field. We show two more evident mathematical reasons why such indefinite metric appears. The first idea is the replacement of involution on an algebra. For an algebra ${\cal A}$ with an involution $\sdag$ such that a representation of the involutive algebra $({\cal A},\sdag)$ brings an indefinite-metric space, we replace the involution $\sdag$ with a new one * on ${\cal A}$ such that $({\cal A},*)$ is a well-known involutive algebra acting on a representation space with positive definite metric. This explains that non-isomorphic two involutive algebras are transformed each other by the replacement of involution. The second is that a covariant (Hilbert space) representation $({\cal H},π,U)$ of an involutive dynamical system $(({\cal A},*),{\bf Z}_{2},α)$ brings a Krein space representation of the algebra ${\cal A}$ with the replaced involution. For example, we show representations of abnormal CCRs, CARs and pseudo-Cuntz algebras arising from those of standard CCRs, CARs and Cuntz algebras.

연구 동기 및 목표

• 무한대 계량 공간의 수학적 기원을 명확히 하여, 특히 전자기장의 명시적 공변 양자화와 같은 맥락에서 발생함을 밝히는 것.
• 동일한 대수 위에서 한 호환자를 다른 호환자로 대체함으로써 비동형의 호환자 대수가 유도됨을 보여주어 보기에 서로 다를 것 같았던 대수적 구조를 통합하는 것.
• 표준 $C^*$-대수(예: CCR, CAR, 쿤츠 대수)의 표현이 새로운 호환자 $*$ 하에서 크레인 공간 표현으로 이어지며, 이는 무한대 계량을 가진 체계를 체계적으로 제공하는 프레임워크를 수립하는 것.
• 복소 고유값을 가진 해밀토니안—예를 들어 리 모델과 같은 모델에서 흔한 것—이 원래 $\dagger$ 하에서는 자기수반임에도 불구하고, 새로운 $*$ 호환자 하에서는 비자기수반 연산자로 간주될 수 있음을 보여주는 것.

제안 방법

• 대수 $\mathcal{A}$ 위에 호환자 $\dagger$를 갖는 대수 $({\mathcal{A}},\dagger)$의 자동형 $\alpha$를 통해 새로운 호환자 $*$를 정의함: $x^* \equiv \alpha(x^\dagger)$로 하여 원래의 $\dagger$-호환자를 새로운 $*$-호환자로 전환함.
• 새로운 호환자 $*$ 가 $({\mathcal{A}},*)$ 가 힐베르트 공간 위에서 정규 양의 계량을 갖는 표준 $C^*$-대수로 작용하도록 보장함.
• 대수 $(({\mathcal{A}},*), \mathbb{Z}_2, \alpha)$의 호환자 동역계에 대해 공변 표현 $({\mathcal{H}}, \pi, U)$를 구성함.
• 이 공변 표현이 $*$-구조로부터 유도된 무한대 허미트 형식을 갖는 표현 공간에 부여함으로써, $({\mathcal{A}}, \dagger)$의 크레인 공간 표현을 유도함을 증명함.
• 행렬 해석을 통해 두 수준 해밀토니안 $H|_V = \begin{pmatrix} m_A & -g \\ \bar{g} & m_B \end{pmatrix}$ 가 무한대 계량 하에서 고유값을 계산함으로써, $|m_A - m_B|$ 가 $2|g|$ 와의 상대적 크기에 따라 의존함을 보임.
• 새로운 호환자 $*$ 하에서 동일한 해밀토니안 $H$ 는 양의 정규 계량 공간에서 자기수반적이지 않지만, 스펙트럼은 그대로 유지됨을 보여, 무한대 계량이 $\dagger$ 하에서 자기수반성을 유지하는 데 필수적임을 설명함.

실험 결과

연구 질문

• RQ1 표준 $\dagger$-호환자를 갖는 대수는 정규 양의 계량 표현을 유도하지만, 이를 어떻게 하면 무한대 계량 표현을 유도하는 대수로 변환할 수 있는가?
• RQ2 호환자 자동형 $\alpha$ 는 $C^*$-대수를 새로운 호환자 $*$ 하에서 크레인 공간 표현으로 전환시키는 데 어떤 역할을 하는가?
• RQ3 어떤 양자장 이론 모델들(예: 리 모델)에서 해밀토니안이 물리적으로 의미 있는데도 불구하고 복소 고유값을 나타내는 이유는 무엇인가?
• RQ4 호환자 $\dagger \to *$ 로의 대체가 장이론 모델에서 실수와 복소 고유값이 공존하는 현상을 어떻게 설명하는가?
• RQ5 CCR, CAR, 쿤츠 대수의 표준 표현들이 호환자 대체를 통해 체계적으로 크레인 공간 표현으로 재해석될 수 있는가?

주요 결과

• 만약 $|m_A - m_B| > 2|g|$ 이면, 해밀토니안은 두 개의 서로 다른 실수 고유값을 가지며, 그 중 하나는 무한대 계량 하에서 음의 노름을 가진 고유벡터에 해당하여 크레인 공간의 구조가 존재함을 확인한다.
• 만약 $|m_A - m_B| = 2|g|$ 이면, 해밀토니안은 하나의 실수 고유값을 가지며, 이는 무한대 계량 하에서 중성(노름이 0인) 고유벡터와 관련되어 있으며, 무한대 계량 하에서의 디제너레이션 상태를 나타낸다.
• 만약 $|m_A - m_B| < 2|g|$ 이면, 해밀토니안은 두 개의 비실수 고유값을 가지며, 이는 연산자가 $\dagger$-자기수반임에도 불구하고 무한대 계량 하에서 스펙트럼이 복소수가 될 수 있음을 보여준다.
• 두 차원 부분공간 $V = \text{Lin}\langle a_A^\dagger\Omega, a_B^\dagger\Omega \rangle$ 에서 해밀토니안의 행렬 표현은 $H|_V = \begin{pmatrix} m_A & -g \\ \bar{g} & m_B \end{pmatrix}$ 로 주어지며, 무한대 계량이면 표준 $\dagger$-구조 하에서 허미트가 아니게 된다.
• 새로운 호환자 $*$ 가 $\alpha(a_B) = -a_B$ 를 만족하도록 정의되면, 동일한 해밀토니안 $H$ 는 양의 정규 계량 공간에서 자기수반적이지 않지만, 스펙트럼은 그대로 유지된다. 이는 무한대 계량이 $\dagger$ 하에서 자기수반성을 유지하는 데 필수적이며, $*$ 는 표준 $C^*$-구조를 복원함을 보여준다.
• 이 구성은 비표준 CCR, CAR, 그리고 가짜 쿤츠 대수들이 새로운 호환자 $*$ 하에서 표준 CCR, CAR, 쿤츠 대수의 표현으로서 나타남을 보여주며, 무한대 계량 이론을 위한 통합된 대수적 프레임워크를 제공한다.