[논문 리뷰] Connections on central bimodules

Michel Dubois‐Violette, Peter W. Michor|arXiv (Cornell University)|1995. 03. 31.

Advanced Topics in Algebra참고 문헌 12인용 수 63

한 줄 요약

이 논문은 비가환 대수 위의 중심 이중모듈러에 대한 유도 기반 접속을 도입하여, 비가환 설정에서 선형 접속과 편미분 기하학을 일반화한다. 유도와 외부 유도를 사용하여 미분 형식, 접속, 계량을 설정하고, 비퇴화성 및 실수 조건 하에서 리베이-시비타 접속의 유일성을 증명한다.

ABSTRACT

We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a noncommutative generalization of linear connections. We also discuss the different noncommutative versions of differential forms based on derivations. Then we investigate reality conditions and a noncommutative generalization of pseudo-riemannian structures.

연구 동기 및 목표

• 유도 기반 미분 해석학을 사용하여 비가환 기하학에서 선형 접속과 편미분 기하학의 일반화를 개발한다.
• 대수가 교환 가능할 경우 표준 접속으로 줄어드는 중심 이중모듈러 위의 접속을 정의하고 연구한다.
• 비퇴화된 내적에 대해 실수 조건과 대칭 조건을 설정하여 편미분 기하학적 계량을 일반화한다.
• 외부 유도 리 대수와 코homology를 통해 모리타 불변의 미분 형식을 식별한다.
• 비가환 기하학에서 특성류와 K-이론을 위한 기초 도구를 마련하며, 대수적 구조와 이중모듈러 범주에 중점을 둔다.

제안 방법

• 최소 및 최대 미분 대수 $ \Omega_{{\rm Der}}(A) $ 와 $ \underline{\Omega}_{{\rm Der}}(A) $ 를 정의하기 위해 $ C({\rm Der}(A), A) $ 의 셰바레-일베르그 복합체를 사용하여, 일반화된 미분 형식을 도입한다.
• 내부 유도에 대해 불변인 부분대수 $ \Omega_{{\rm Out}}(A) $ 와 $ \underline{\Omega}_{{\rm Out}}(A) $ 를 수축 $ i_X $ 와 리 도함수 $ L_X $ 를 사용하여 정의한다.
• 유도 기반 접속을 중심 이중모듈러 위에 정의하며, $ A $-선형 사상 $ \nabla: \underline{\Omega}^1_{{\rm Der}}(A) \to \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) $ 이며, 곱의 법칙을 만족한다.
• 비틀림이 없는 조건과 계량 호환성 조건을 도입하여 비퇴화된 실수 내적 위에서 리베이-시비타 접속을 정의한다.
• ${\rm Der}(A) \otimes_{Z(A)} {\rm Der}(A)$ 의 쌍대공간 위에 이중모듈러 자기동형사상 $ \sigma $ 를 도입하고, 편미분 계량 호환성을 위해 $ \sigma $-불변성을 요구한다.
• 실수이자 비퇴화된 $ \sigma $-불변 내적 $ g $ 가 $ \underline{\Omega}^1_{{\rm Der}}(A) $ 에 존재할 경우, 이는 편미분 기하학적 계량을 일반화한다.

실험 결과

연구 질문

• RQ1 유도를 벡터장으로 삼아 비가환 기하학에서 선형 접속을 어떻게 일반화할 수 있는가?
• RQ2 비가환 설정에서 비퇴화된 실수 내적 위에 리베이-시비타 접속의 존재성과 유일성을 보장하는 조건은 무엇인가?
• RQ3 미분 형식과 이중모듈러 자기동형사상으로 비가환 대수에서 편미분 기하학적 구조를 어떻게 일반화할 수 있는가?
• RQ4 $ \Omega_{{\rm Out}}(A) $ 와 $ \underline{\Omega}_{{\rm Out}}(A) $ 는 어떻게 모리타 불변의 미분 형식 일반화로 기능하는가?
• RQ5 언제 $ \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) $ 가 대칭 $ \sigma $ 에 대해 안정해지며, 이는 계량 정의에 있어 왜 중요한가?

주요 결과

• 비퇴화된 실수 내적 $ g_* $ 에 대해 리베이-시비타 접속은 비틀림이 없고 계량 호환성을 만족할 경우 항상 존재하며 유일하다.
• 실수 접속 $ \nabla $ 는 $ (\nabla_X Y)^* = \nabla_{X^*} (Y^*) $ 를 만족하여 $ * $-구조와 호환됨을 보장한다.
• $ \underline{\Omega}^1_{{\rm Der}}(A) $ 에 정의된 내적 $ g $ 가 편미분 기하학적 계량을 일반화하려면 반드시 $ \sigma $-불변이어야 하며, 즉 $ g = g \circ \sigma $ 여야 한다.
• 대수가 유한 차원일 경우 $ \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) = ({\rm Der}(A) \otimes_{Z(A)} {\rm Der}(A))^* $ 를 만족하여 $ \sigma $-불변성이 보장되고 계량 정의가 가능해진다.
• $ \underline{\Omega}_{{\rm Out}}(A) $ 는 $ C_{Z(A)}({\rm Out}(A), Z(A)) $ 와 동형이며, 이는 미분 형식의 모리타 불변 일반화를 제공한다.
• 제안된 프레임워크는 [13] 에서 제안된 바와 같이 대칭 $ \sigma $ 를 확장함으로써 다른 미분 계산으로의 일반화가 가능하다. 이는 [7],[12] 에서 적용되었다.