[논문 리뷰] Lie-Rinehart algebras, descent, and quantization

Johannes Huebschmann|ArXiv.org|2003. 03. 02.

Advanced Topics in Algebra참고 문헌 48인용 수 34

한 줄 요약

이 논문은 특이적 상황에서 켈러 양자화가 심플렉틱 축소와 가환하는지 여부라는 문제를 해결하기 위해 리-린하르트 대수를 범주론적 프레임워크로 설정한다. 공층화된 힐버트 공간과 전양자 모듈을 사용하는 계층적 켈러 양자화가, 축소된 공간이 특이적일 경우에도 양자화 이후 축소와 축소 이후 양자화 간의 동치를 보장함을 보여주며, 대칭 표현의 거듭제곱을 통한 양자 불변량의 명시적 실현을 제공한다.

ABSTRACT

A Lie-Rinehart algebra consists of a commutative algebra and a Lie algebra with additional structure which generalizes the mutual structure of interaction between the algebra of functions and the Lie algebra of smooth vector fields on a smooth manifold. Lie-Rinehart algebras provide the correct categorical language to solve the problem whether Kaehler quantization commutes with reduction which, in turn, may be seen as a descent problem.

연구 동기 및 목표

• 특이적 상황에서 켈러 양자화가 심플렉틱 축소와 가환하는지 여부라는 오랫동안 남아있던 문제를 해결하기 위해.
• 축소된 위상공간이 매끄러운 다양체가 아닐 경우에도 계층적 켈러 공간으로의 기하학적 양자화를 확장하기 위해.
• 양자화에서 내림림 문제를 다루기 위한 범주론적 프레임워크—리-린하르트 대수—를 제공하기 위해.
• 공층화된 힐버트 공간과 계층적 극화를 사용하여 특이 위상공간 위에서 일관된 양자 이론을 구성하기 위해.

제안 방법

• 특이 공간 위에서 매끄러운 함수와 벡터장 간의 상호작용을 코딩하는 대수적 구조로 리-린하르트 대수를 활용한다.
• 특이성이 존재할 경우 딜라크 조건을 표현하기 위해 파오아노 대수 위의 전양자 모듈 개념을 적용한다.
• 계층 간의 양자화에 대한 호환성을 보장하는 선형 사상이 존재하는 공층화된 힐버트 공간을 양자 상태 공간으로 도입한다.
• 각 계층에서 양자 표현의 기약성을 보장하기 위해 계층적 켈러 극화를 활용한다.
• 켐프의 내림림 보조정리를 일반화한 형태로 적용하여 축소와 양자화 순서 간의 동치를 확립한다.
• 특수 표현의 대칭 거듭제곱, 예를 들어 $(E_s^{2k})^H$를 통해 양자 불변량을 구성하고, 이를 축소된 공간 위의 선다발의 단면과 일치시킨다.

실험 결과

연구 질문

• RQ1 축소된 공간이 특이적일 경우 켈러 양자화가 심플렉틱 축소와 가환하는가?
• RQ2 비매끄러운 심플렉틱 계층을 가진 계층적 켈러 공간 위에서 일관된 양자 이론을 구성할 수 있는가?
• RQ3 기하학적 양자화에서 내림림 문제를 특이적 상황에서 범주론적으로 어떻게 형식화할 수 있는가?
• RQ4 클래식 위상공간이 특이적일 경우 축소 이후 양자 관측량의 구조는 어떠한가?
• RQ5 군 작용이 존재할 경우 축소된 공간 위의 양자 불변량은 원래 공간의 불변량과 어떻게 관련되는가?

주요 결과

• 클래식 시스템이 컴acts Lie 군 작용을 가진 양의 켈러 다양체일 경우, 축소 이후 양자화와 양자화 이후 축소가 동치인 양자 위상공간을 산출한다.
• 축소된 공간 $Q_s = \mathbb{P}^d\mathbb{C}$ 위에서 초평면 배럴의 $k$제곱의 정칙 단면 공간은 $H = \mathrm{O}(s,\mathbb{R})$-불변 부분공간 $(E_s^{2k})^H$와 동형이다.
• 축소된 공간에서의 표현 $\widetilde{E}_s^k$ 는 최고원소 벡터가 $\delta_1^\alpha \delta_2^\beta \cdots \delta_s^\gamma$ 형태의 단항식이며, $\alpha + 2\beta + \cdots + s\gamma = k$ 를 만족하는 $\mathrm{U}(\ell)$-기약 표현들의 직합이다.
• $\widetilde{E}_s^k$ 에서 $\widetilde{E}_{s-1}^k$ 로의 제약 사상은 $\delta_s$ 를 포함하지 않는 표현들의 스칼라 결합의 범위에서 동형이며, $\delta_s$ 를 포함하는 표현들의 스칼라 결합의 범위를 핵으로 가진다.
• $(\widetilde{E}_1^k, \widetilde{E}_2^k, \dots, \widetilde{E}_s^k)$ 시스템은 계층적 양자 공간을 형성하며, 계층 간의 양자 구조를 코딩한다.
• $k \geq 1$ 인 경우, 홀수 군계수 불변량 $(E_s^{2k-1})^H$ 는 영이 되며, 짝수 군계수 불변량은 축소된 계층 위의 전체 양자 힐버트 공간을 실현한다.