[논문 리뷰] Noncommutative line bundle and Morita equivalence

Branislav Jurčo, Peter Schupp외 1명|ArXiv.org|2001. 06. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 21

한 줄 요약

이 논문은 변형 양자화를 기반으로 한 아벨 비환류 양자역학 이론에서, 가역적인 공변 변환 지도를 통해 비환류 선다발과 비환류 전이 함수를 도입한다. 결과적으로 유도된 스타 곱 $∗'$ 가 원래 $∗$ 와 모리타 동치임을 증명하며, 이는 비환류 기하학을 모리타 동치를 통해 대수적 위상수학과 연결시킨다.

ABSTRACT

Global properties of abelian noncommutative gauge theories based on $\star$-products which are deformation quantizations of arbitrary Poisson structures are studied. The consistency condition for finite noncommutative gauge transformations and its explicit solution in the abelian case are given. It is shown that the local existence of invertible covariantizing maps (which are closely related to the Seiberg-Witten map) leads naturally to the notion of a noncommutative line bundle with noncommutative transition functions. We introduce the space of sections of such a line bundle and explicitly show that it is a projective module. The local covariantizing maps define a new star product $\star'$ which is shown to be Morita equivalent to $\star$.

연구 동기 및 목표

• 비환류 전이 함수를 가진 비환류 선다발을 사용하여 비환류 양자역학 이론의 기하학적 기초를 수립한다.
• 변형 곱 $∗$ 를 기반으로 한 아벨 이론에서 유한한 비환류 양자역학 변환의 일致성을 확립한다.
• 국소적 가역 공변 변환 지도가 새로운 스타 곱 $∗'$ 를 유도하며, 이는 원래 $∗$ 와 모리타 동치임을 보여준다.
• 비환류 선다발의 단면 공간이 비환류 대수 위에서 프로젝티브 모듈러임을 보여준다.
• 변형 양자화와 콘체비치 형식성 사상(의사)를 통해 비환류 구조를 고전 기하학과 연결한다.

제안 방법

• 일致성 조건 $[\Lambda_\alpha[\star], \Lambda_\beta[\star]] + i\delta_\alpha\Lambda_\beta[\star] - i\delta_\beta\Lambda_\alpha[\star] = \Lambda_{[\alpha,\beta]}[\star]$ 를 통해 비환류 양자역학 변환을 구성한다.
• 게이지 변환에 따라 변하는 공변 변환 지도 $\mathcal{D}$ 를 정의하고, $\mathcal{D}(f \star' g) = \mathcal{D}f \star \mathcal{D}g$ 를 통해 새로운 스타 곱 $∗'$ 를 유도한다.
• 비환류 전이 함수 $G_{jk}$ 를 도입하고, 이를 통해 비환류 선다발을 정의하며, 단면들이 프로젝티브 모듈러를 이룸을 보인다.
• 완전 프로젝터 $P$ 와 행렬 값 함수 $M$ 을 통해 등가 이중모듈러 $\mathcal{E}$ 와 $\overline{\mathcal{E}}$ 를 구성하고, $\mathfrak{A}^\prime \cong P \star M(A) \star P$ 를 보여준다.
• 콘체비치 형식성 사상(의사)를 사용하여 $\star$ 가 다양체 $M$ 상의 임의의 파오상 구조의 변형 양자화로 실현됨을 보여준다.
• 명시적인 이중모듈러 동형사상과 피카르 군의 작용을 통해 $\mathfrak{A} = (C^\infty(M)[[\hbar]], \star)$ 와 $\mathfrak{A}^\prime = (C^\infty(M)[[\hbar]], \star')$ 간의 모리타 동치를 증명한다.

실험 결과

연구 질문

• RQ1 유한한 비환류 양자역학 변환은 아벨 비환류 양자역학 이론에서 어떻게 일致성 있게 정의될 수 있는가?
• RQ2 전이 함수가 비환류일 경우 비환류 선다발의 기하학적 구조는 어떻게 되는가?
• RQ3 공변 변환 지도는 세이버그-워든 지도와 어떻게 관련되며, 새로운 스타 곱 $∗'$ 를 어떻게 유도하는가?
• RQ4 새로운 스타 곱 $∗'$ 가 원래 $∗$ 와 모리타 동치가 되는 조건은 무엇인가?
• RQ5 피카르 군의 작용이 변형 양자화에 어떻게 관련되어 있으며, 비환류 대수의 모리타 동치와 어떤 관계가 있는가?

주요 결과

• 아벨 경우에서 비환류 양자역학 변환의 일치 조건이 명시적으로 해결되어 이론의 게이지 불변성이 보장된다.
• 가역적인 공변 변환 지도의 존재는 자연스럽게 비환류 전이 함수를 가진 비환류 선다발의 정의로 이어진다.
• 비환류 선다발의 단면 공간이 비환류 대수 $\mathfrak{A}$ 위에서 프로젝티브 모듈러임이 입증된다.
• 공변 변환 지도에 의해 유도된 새로운 스타 곱 $∗'$ 는 명시적인 등가 이중모듈러 구성으로 인해 원래 $∗$ 과 모리타 동치임이 증명된다.
• 완전 프로젝터 $P$ 와 행렬 값 함수 $M$ 을 통해 모리타 동치가 실현되며, $\mathfrak{A}^\prime \cong P \star M(A) \star P$ 를 만족한다.
• 피카르 군 $\mbox{Pic}(C^\infty(M))$ 의 작용이 스타 곱의 동치류에 대해 모리타 동치를 나타내며, 동일한 파오상 구조를 양자화하는 두 스타 곱은 이 작용에 의해 관련되어 있을 때에만 모리타 동치임이 증명된다.