[논문 리뷰] Cartan structure equations and Levi-Civita connection in braided geometry

Paolo Aschieri|arXiv (Cornell University)|2020. 06. 04.

Advanced Topics in Algebra인용 수 8

한 줄 요약

이 논문은 삼각형 호프 대칭에 의해 작용하는 브레이드 비가환 대수에서 비가환 리만 기하학의 프레임워크를 수립하며, 왼쪽 및 오른쪽 접속을 사용하여 새로운 형태의 카르탕 기구 방정식과 비앙키 항등식을 제안한다. 임의의 브레이드 대칭 편미분 리만 계량에 대해 선형 접속의 존재성과 유일성을 보이며, 특별한 미분이나 이중 모듈러 연결을 요구하지 않는다.

ABSTRACT

We study the differential and Riemannian geometry of algebras $A$ endowed with an action of a triangular Hopf algebra $H$ and noncomutativity compatible with the associated braiding. The modules of one forms and of braided derivations are modules in a compact closed category of $H$-modules $A$-bimodules, whose internal morphisms correspond to tensor fields. Different approaches to curvature and torsion are proven to be equivalent by extending the Cartan calculus to left (right) $A$-module connections. The Cartan structure equations and the Bianchi identities are derived. Existence and uniqueness of the Levi-Civita connection for arbitrary braided symmetric pseudo-Riemannian metrics is proven.

연구 동기 및 목표

• 삼각형 호프 대칭 작용과 브레이드 가환성을 갖춘 대수를 위한 일관된 미분 기하학 및 리만 기하학을 개발하는 것.
• 이중 모듈러 연결과 중심 제한 계량의 비가환 기하학의 한계를 극복하기 위해 A-이중모듈러 위의 왼쪽 및 오른쪽 접속을 사용하는 것.
• H-등변 계량이나 특별한 미분을 가정하지 않고 브레이드 설정에서 카르탕 기구 방정식과 비앙키 항등식을 유도하는 것.
• undeformed 미분가 없는 상황에서 계량 호환성과 토션 자유 접속을 위한 코즐 공식을 수립하는 것.
• 리치 텐서, 스칼라 곡률, 아인슈타인 공간을 브레이드 호프 모듈러의 카테고리에서 정의함으로써 비가환 중력 모델을 가능하게 하는 것.

제안 방법

• H-모듈러와 A-이중모듈러의 콪 pact closed 카테고리로 내부 호모모르피즘을 텐서 장으로 정의한다.
• 일차형식의 모듈러 위에 왼쪽 및 오른쪽 접속을 도입하며, 코바리언트 도함수는 오른쪽 접속과 내부 도함수의 복합으로 정의된다.
• 곡률과 토션 표현을 통합하기 위해 브레이드 카르탕 관계식 $[ \nabla_u, \text{i}_v ] = \text{i}_{[u,v]}$ 를 유도한다.
• 카테고리 내의 쌍대성 작용을 통해 추적과 곡률 수축을 정의함으로써 리치 및 스칼라 곡률의 구성이 가능해진다.
• 코즐 공식을 통해 연산자 $K_{\text{g}}$ 를 활용하여 계량 호환성과 토션 자유 조건에서 리만-비에트시 접속을 유도한다.
• 계량의 브레이드 대칭성과 공평가 맵을 사용하여 도출된 접속의 계량 호환성과 토션 자유성을 증명한다.

실험 결과

연구 질문

• RQ1 브레이드 비가환 기하학에서 카르탕 기구 방정식과 비앙키 항등식은 어떻게 일관되게 제시될 수 있는가?
• RQ2 특정 미분이 없는 상황에서 임의의 브레이드 대칭 편미분 리만 계량에 대해 리만-비에트시 접속이 존재하고 유일하게 정의될 수 있는가?
• RQ3 왼쪽 및 오른쪽 접속은 비가환 설정에서 곡률과 토션을 어떻게 통합하는가?
• RQ4 H-모듈러의 콤���트 클로즈드 카테고리에서 리치 텐서와 스칼라 곡률는 어떻게 대수적으로 정의될 수 있는가?
• RQ5 이 프레임워크에서 진공 아인슈타인 방정식을 어떻게 제시할 수 있으며, 비가환 아인슈타인 공간을 정의하는 조건은 무엇인가?

주요 결과

• 유한 생성 프로젝티브 모듈러 위의 임의의 브레이드 대칭 편미분 리만 계량에 대해 리만-비에트시 접속이 존재하고 유일하다.
• 코즐 공식과 브레이드 카르탕 관계를 통해 계량 호환성과 토션 자유성이 증명된다.
• 브레이드 카르탕 미적분학과 쌍대성 구조 덕분에 곡률과 토션 텐서는 서로 다른 표현 방식으로 동치이다.
• 리치 텐서는 콤팩트 클로즈드 카테고리 내의 공평가 맵을 통해 리만 곡률의 추적으로 정의된다.
• 스칼라 곡률는 계량의 역행을 통해 유도되는 사상에 의해 리치 텐서와 수축하여 얻어진다.
• 비가환 아인슈타인 공간은 조건 $\text{Ric} = \lambda \langle \cdot, \mathsf{g} \rangle$ 로 정의되며, 고전적 아인슈타인 방정식을 브레이드 설정으로 일반화한다.