[논문 리뷰] Dirac operator and a twisted cyclic cocycle on the standard Podles quantum sphere

Konrad Schmuedgen, Elmar Wagner|ArXiv.org|2003. 05. 02.

Advanced Operator Algebra Research참고 문헌 9인용 수 37

한 줄 요약

이 논문은 $
\mathrm{S}_{q}^{2}$의 표준 Podleś 양자 구면 위에 실수 스펙트럴 트리플을 구성한다. 이는 $
\mathcal{U}_q(\mathrm{su}_2)$ 생성자들의 우측 작용을 $
\mathcal{O}(\mathrm{SU}_q(2))$의 부분공간 위에서 정의한 딜라크 연산자 $D$를 통해 이루어지며, 주요 결과는 특징적인 2차원 공변 미분계산의 부피형식과 관련된 왜곡된 순환 2-코호몰로지가 $|D|^{-z}$와 추적 잔여치를 포함하는 명시적 공식을 통해 딜라크 연산자로 표현됨을 보여, 왜곡된 순환 코호몰로지에서 비자명성을 입증한다.

ABSTRACT

A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.

연구 동기 및 목표

• 디릴라크 연산자 $D$를 $
  \mathcal{U}_q(\mathrm{su}_2)$-행동으로부터 유도하여 표준 Podleś 양자 구면 $\mathrm{S}_q^2$ 위에 실수 스펙트럴 트리플을 구축한다.
• 디릴라크 연산자 $D$와 $x \in \mathcal{O}(\mathrm{S}_q^2)$의 교환자 $[D,x]$가 $
  \mathcal{O}(\mathrm{S}_q^2)$ 위의 특징적인 2차원 공변 미분계산을 재현함을 보인다.
• 불변 부피형식과 관련된 왜곡된 순환 2-코호몰로지가 딜라크 연산자와 추적 잔여치로 표현됨을 보인다.
• 이 코호몰로지가 왜곡된 순환 코호몰로지에서 비자명한 클래스를 나타냄을 증명한다.

제안 방법

• 디릴라크 연산자 $D = \begin{pmatrix} 0 & R_F \\ R_E & 0 \end{pmatrix}$를 $V^+ \oplus V^-$ 위에 정의한다. 여기서 $R_E, R_F$는 $
  \mathcal{U}_q(\mathrm{su}_2)$의 $E,F$ 생성자들이 $
  \mathcal{O}(\mathrm{SU}_q(2))$ 위에 작용하는 우측 행동이다.
• 디릴라크 연산자 $D$의 스펙트럼이 $[l+1]_q$이며, 각 고유값의 중복도가 $2l+1$임을 증명하여, $\mathrm{Re}\,z > 0$일 때 $|D|^{-z}$가 추적 클래스임을 보장한다.
• $x \in \mathcal{O}(\mathrm{S}_q^2)$에 대해 $[D,x]$가 일阶 미분계산의 유계 교환자 표현을 제공함을 보인다.
• 부피 2-형식 $\omega$를 $\Gamma^{\wedge 2}$의 우측 코인variant 생성자로 정의하고, $\Gamma^{\wedge 2} = \omega \mathcal{O}(\mathrm{S}_q^2)$임을 증명한다.
• 상태 $h$와 쌍대성 $\langle t_2, \omega \rangle = 1$을 통해 왜곡된 순환 2-코호몰로지 $\tau_{\omega,h}$를 정의하고, 명시적 공식을 도출한다.
• 추적 잔여치 공식을 확립한다: $\tau_{\omega,h}(x_0,x_1,x_2) = (q-q^{-1})^{-1}(\log q) \cdot \mathrm{res}_{z=2} \mathrm{Tr}_{\mathcal{K}} \gamma_q K^2 |D|^{-z} x_0[D,x_1][D,x_2]$.

실험 결과

연구 질문

• RQ1 표준 Podleś 양자 구면 위의 특징적인 2차원 공변 미분계산이 스펙트럴 트리플을 통해 실현될 수 있는가?
• RQ2 디릴라크 연산자 $D$가 $
  \mathcal{U}_q(\mathrm{su}_2)$-행동으로부터 유도되었을 때, 그 교환자 $[D,x]$가 유계이면서도 해당 미분계산을 재현하는가?
• RQ3 부피형식과 관련된 왜곡된 순환 2-코호몰로지가 딜라크 연산자와 추적 잔여치로 표현될 수 있는가?
• RQ4 결과로 도출된 코호몰로지가 왜곡된 순환 코호몰로지에서 비자명한 클래스를 나타내는가?
• RQ5 디릴라크 연산자 $D$의 스펙트럴 데이터로부터 $\tau_{\omega,h}$의 명시적 공식을 유도할 수 있는가?

주요 결과

• 디릴라크 연산자 $D$는 $\mathrm{S}_q^2$ 위에 실수 스펙트럴 트리플을 제공하며, $\mathrm{Re}\,z > 0$일 때 $|D|^{-z}$가 추적 클래스임을 확인하여 스펙트럴 차원이 2임을 입증한다.
• 디릴라크 연산자 $D$와 $x \in \mathcal{O}(\mathrm{S}_q^2)$의 교환자 $[D,x]$는 $\mathrm{d}x \sim \mathrm{i}[D,x]$를 통해 특징적인 2차원 공변 미분계산을 실현한다.
• 부피 2-형식 $\omega$는 $\Gamma^{\wedge 2}$를 자유 우측 $\mathcal{O}(\mathrm{S}_q^2)$-모듈로로 생성하며, 우측 코인variant이다.
• 왜곡된 순환 2-코호몰로지에서 $\tau_{\omega,h}$는 비자명하다. 이는 비영인 쌍대성 $\langle t_2, \omega \rangle = 1$에 의해 확인된다.
• 명시적 공식을 유도한다: $\tau_{\omega,h}(x_0,x_1,x_2) = (q-q^{-1})^{-1}(\log q) \cdot \mathrm{res}_{z=2} \mathrm{Tr}_{\mathcal{K}} \gamma_q K^2 |D|^{-z} x_0[D,x_1][D,x_2]$, 이는 코호몰로지가 스펙트럴 데이터와 연결됨을 보여준다.
• 코호몰로지 공식이 $h\big(x_0(R_F(x_1)R_E(x_2) - q^2 R_E(x_1)R_F(x_2))\big)$와 동치임을 보여, 미분계산과의 일致성을 확인한다.