[논문 리뷰] Deformed Bialgebra of Diffeomorphisms

Marija Dimitrijević Ćirić, Julius Wess|ArXiv.org|2004. 11. 24.

Advanced Topics in Algebra참고 문헌 4인용 수 14

한 줄 요약

이 논문은 비가환 $\theta$-공간 위에서 미분형식의 대칭성을 $\psi$-곱 formalism을 통해 비가환 기하학으로부터 벡터장 대수를 올림으로써 변형된 이중대수를 제안한다. 비록 미분형식의 대수는 원래 리 대수와 동형을 유지하지만, 코승법이 변형되어 비가환 공간 위에서 일관된 미분법과 스칼라, 벡터, 텐서장의 변환 법칙을 가능하게 한다. 주요 기여는 변형된 코행동을 가진 일반화된 미분형식 대수로서, 비가환 중력 이론의 길을 열어 놓는다.

ABSTRACT

The algebra of diffeomorphisms derived from general coordinate transformations on commuting coordinates is represented by differential operators on noncommutative spaces. The algebra remains unchanged, the comultiplication however is deformed, that way we have found a deformed bialgebra of diffeomorphisms. Scalar, vector and tensor fields are defined with appropriate transformation laws under the deformed algebra and a differential calculus is developed. For pedagogical reasons the formalism is developed for the $θ$-deformed space as it is the best known example of deformed spaces.

연구 동기 및 목표

• 비가환 공간, 특히 $\theta$-변형 공간에서 일관된 미분법을 개발하기 위해, 좌표가 비가환하기 때문에 표준적인 미분형식 대칭이 정의되지 않는 상황을 다루는 것.
• 비가환 기하학 환경으로 일반 좌표변환의 재구성하기 위해, $\psi$-곱 formalism을 통해 미분형식을 고차 미분연산자로 표현하는 것.
• 비가환 공간에서 미분형식 대수의 대수는 그대로 유지하지만, 코승법이 수정되어 코결합성과 $\psi$-곱과의 호환성을 유지하는 변형된 이중대수 구조를 구성하는 것.
• 비가환 공간 위에서 스칼라, 벡터, 텐서장을 적절한 변환 법칙과 함께 일관되게 정의하는 것.
• 비가환 시공간으로의 미분기하학의 일반화를 통해 비가환 중력 이론의 기초를 마련하는 것.

제안 방법

• 비가환 대수 $[\hat{x}^\mu, \hat{x}^\nu] = i\theta^{\mu\nu}$에서 유도된 $\psi$-곱(Moyal-Weyl 곱)을 사용하여 $\theta$-변형 공간의 기하학을 수립한다.
• 비가환 공간 위의 미분연산자는 대수적 구조를 유지하는 가역적 등장사상에 의해, 일반적인 변수 위의 고차 미분연산자로 표현된다.
• 일반 공간 위의 벡터장은 비가환 공간 위의 고차 미분연산자로 매핑되며, 이는 동일한 리 대수를 형성하므로, 미분형식 대수의 구조를 유지한다.
• 코승법은 $\Delta(X_\xi) = X_\xi \otimes 1 + 1 \otimes X_\xi - \frac{i}{2}\theta^{\mu\nu}\left((\partial_\mu X_\xi) \otimes \partial_\nu + \partial_\mu \otimes \partial_\nu X_\xi\right)$로 변형되어, 대수를 유지하면서도 코행동을 수정한다.
• 스칼라, 벡터, 텐서장은 $\psi$-곱 formalism으로 올린 변환 법칙을 통해 정의되며, $\delta_\xi \phi = -X_\xi \star \phi$ 및 텐서장에 대한 유사한 표현식을 포함한다.
• 장의 변환 법칙은 $\psi$-곱을 통한 일반 기하학의 표준 변환 법칙을 올림으로써 유도된다.

실험 결과

연구 질문

• RQ1 비가환 공간에서 $[\hat{x}^\mu, \hat{x}^\nu] = i\theta^{\mu\nu}$를 만족할 때 일반 좌표변환을 어떻게 일관되게 정의할 수 있는가?
• RQ2 비가환 공간에서 미분형식 대수의 대수는 유지하면서도 코승법을 수정하여 이중대수 구조를 유지할 수 있는가?
• RQ3 스칼라, 벡터, 텐서장을 $\theta$-변형 공간에서 적절한 변환 법칙과 함께 일관되게 정의할 수 있는가?
• RQ4 $\psi$-곱 formalism에서 미분형식 생성자에 대한 변형된 코승법의 형태는 무엇인가?
• RQ5 비가환 공간에서 표준 미분기하학을 일반화하는 일관된 미분법을 개발할 수 있는가?

주요 결과

• 비가환 $\theta$-공간으로의 올림을 통해 고차 미분연산자와 $\psi$-곱 formalism을 사용할 때, 미분형식 대수는 리 대수로서 유지된다.
• 코승법은 $\Delta(X_\xi) = X_\xi \otimes 1 + 1 \otimes X_\xi - \frac{i}{2}\theta^{\mu\nu}\left((\partial_\mu X_\xi) \otimes \partial_\nu + \partial_\mu \otimes \partial_\nu X_\xi\right)$로 변형되며, 이는 $\psi$-곱과의 호환성과 코결합성을 보장한다.
• 스칼라장은 $\delta_\xi \phi = -X_\xi \star \phi$로 변환되며, 여기서 $X_\xi = \xi^\mu \partial_\mu - \frac{i}{2}\theta^{\rho\sigma}(\partial_\rho \xi^\mu)\partial_\sigma \partial_\mu + \cdots$로 주어지며, $\theta$에 대해 일계수까지 표준 변환 법칙을 유지한다.
• 공변 및 반공변 벡터장은 $\delta_\xi V_\mu = -X_\xi \star V_\mu - X_\mu^{\ \rho} \star V_\rho$ 및 $\delta_\xi V^\mu = -X_\xi \star V^\mu + X^\mu_{\ \rho} \star V^\rho$를 통해 $\psi$-곱 formalism으로 올려지며, $X_\mu^{\ \rho}$는 $\partial_\mu \xi^\rho$로부터 계산된다.
• 미분연산자 $X_\xi$는 $\theta$에 대해 일계수까지 $X_\xi \star \phi = \xi^\mu \partial_\mu \phi$를 만족하여, 일반적 극한과의 일관성을 확보한다.
• 변형된 이중대수 구조는 모든 텐서장 위에서의 미분형식의 일관된 작용을 가능하게 하여, 비가환 미분기하학의 발전과 비가환 중력 이론으로의 길을 열어 놓는다.