[논문 리뷰] Dirac operators on noncommutative principal torus bundles

Alessandro Zucca, Ludwik Dąbrowski|arXiv (Cornell University)|2013. 08. 21.

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

한 줄 요약

이 논문은 스펙트럴 트리플을 통해 비가환 호프 대수 $H = H(\mathbb{T}^{n})$를 생성하는 $n$개의 교환 단위원소를 가진 비가환 주 토러스 $\mathbb{T}^{n}$-bundle에 비가환 기하학을 확장한다. 강한 연결을 통해 새로운 딜라크 연산자 $D_\omega$를 구성하며, 이는 $U(1)$-bundle의 경우를 일반화하는 왜곡된 딜라크 연산자이다. 비가환 토러스와 $\theta$-변형 다각형과의 호환성을 입증하고, 프로젝터블 스펙트럴 트리플에 대한 $\theta$-변형의 함의성도 확립한다.

ABSTRACT

Spectral triples over noncommutative principal $\T^n$-bundles are studied, extending recent results about the noncommutative geometry of principal U(1)-bundles. We relate the noncommutative geometry of the total space of the bundle with the geometry of the base space. Moreover, strong connections are used to build new Dirac operators. We discuss as a particular case the commutative case, the noncommutative tori and theta deformed manifolds.

연구 동기 및 목표

• 스펙트럴 트리플을 사용하여 $U(1)$-bundle의 비가환 기하학을 주 $\mathbb{T}^{n}$-bundle로 일반화하기.
• 강한 연결을 통해 비가환 주 $\mathbb{T}^{n}$-bundle에 새로운 딜라크 연산자를 정의하고 구성하기.
• 딜라크 연산자가 연결에 의해 유도된 미분 계산과 호환됨을 확립하기.
• $\theta$-변형이 주 $\mathbb{T}^{n}$-bundle의 구조와 스펙트럴 트리플 성질을 유지함을 보여주기.
• 결과로 얻어진 스펙트럴 트리플이 $\theta$-변형된 경우 비가환 다양체에 대해 콘네의 공리들을 충족함을 보여주기.

제안 방법

• 비가환 주 $\mathbb{T}^{n}$-bundle 위에서 실수 스펙트럴 트리플의 프레임워크를 사용하며, $n$개의 교환 단위원소로 생성되는 호프 대수 $H = H(\mathbb{T}^{n})$를 고려한다.
• 코작용 $\Delta_R$와 강한 연결 형식 $\omega$를 갖는 주 $H$-코모듈러 대수 $\alpha$를 정의하며, 이는 $\ell: H \to \alpha \otimes \alpha$의 사상에 의해 표현된다.
• 연결 $\omega$를 사용해 수평 딜라크 연산자 $D_0$를 수정함으로써 왜곡된 딜라크 연산자 $D_\omega$를 구성하며, 이는 실 구조 $J$와의 호환성을 보장한다.
• 리에플의 변형 양자화를 적용하여 $\alpha \otimes \beta^{-1}$ 작용에 대한 고정점 부분대수를 사용해 $\theta$-변형 스펙트럴 트리플을 구성한다.
• 변형된 스펙트럴 트리플 $(C^\infty(M_\theta), \mathcal{H}_\theta, D_\theta)$이 비가환 다양체에 대해 콘네의 공리 7개를 모두 충족함을 검증한다.
• 원래 연결 $\omega$가 $D$와 호환될 경우, $M_\theta$ 위의 연결 $\omega_\theta = \omega \otimes 1$이 $D_\theta$와 호환됨을 보여준다.

실험 결과

연구 질문

• RQ1 강한 연결을 통해 비가환 주 $\mathbb{T}^{n}$-bundle에 딜라크 연산자를 어떻게 구성할 수 있는가?
• RQ2 비가환 설정에서 딜라크 연산자와 연결 간의 호환성을 보장하기 위한 조건은 무엇인가?
• RQ3 $\theta$-변형이 비가환 기하학에서 주 번들 구조와 스펙트럴 트리플 성질을 어떻게 유지하는가?
• RQ4 비가환 $\mathbb{T}^{n}$-bundle 위의 스펙트럴 트리플이 콘네의 공리에 따라 비가환 다양체를 만족하는가?
• RQ5 비가환 주 토러스 번들에서 전체 공간의 기하학은 기저 공간과 어떻게 관련이 있는가?

주요 결과

• 강한 연결을 사용해 수평 딜라크 연산자를 변형함으로써 새로운 딜라크 연산자 클래스 $D_\omega$를 구성하였으며, 이는 $U(1)$-bundle의 경우를 일반화한다.
• 연결 $\omega_1^3 = \omega_2^3 = 0$이면 왜곡된 딜라크 연산자 $D_\omega$는 연결 $\omega$와 호환되며, 대수 원소와의 유계된 교환자 조건을 만족한다.
• 스펙트럴 트리플 $(\mathcal{A}, \mathcal{H}, D_\omega)$는 $\sigma^3$가 $\mathcal{A}$와 $D$와 모두 교환되기 때문에 기저에서 스핀어 뭉치의 분할을 반영하여 기저에서 비가환한 경우에 불가분하지 않다.
• $\theta$-변형은 주 $\mathbb{T}^{n}$-bundle의 구조를 유지한다: $M_\theta$는 $\theta$의 하단 우측 블록인 $\theta'$에 의해 정의되는 $N_{\theta'}$ 위의 주 $\mathbb{T}^{n}$-bundle이다.
• 변형된 스펙트럴 트리플 $(C^\infty(M_\theta), \mathcal{H}_\theta, D_\theta)$은 비가환 다양체에 대해 콘네의 공리 7개를 모두 충족한다.
• 원래 연결 $\omega$가 $D$와 호환될 경우, $M_\theta$ 위의 연결 $\omega_\theta = \omega \otimes 1$은 $D_\theta$와 호환되며, 변형에 대한 일관성을 보장한다.