[논문 리뷰] Lectures on Differential Geometry of Modules and Rings

G. Sardanashvily|ArXiv.org|2009. 10. 08.

Advanced Topics in Algebra참고 문헌 72인용 수 8

한 줄 요약

이 논문은 교환 법칙을 만족하는, 그레이드 교환 법칙을 만족하는, 비가환 환에 대해 미분기하학을 모듈러와 환으로 일반화하여 연결, 미분 연산자, 미적분을 대수적으로 기술한다. 𝒜 = C∞(X)일 때, 환 𝒜 위의 체바레-에일렌버그 복합체는 de Rham 형식과 동형인 미분계산을 제공하며, 이 틀을 비가환 기하학과 슈퍼기하학으로 확장하여 양자 이론과 장 이론에서 기하학적 구조에 대한 통합된 대수적 기초를 제공한다.

ABSTRACT

Generalizing differential geometry of smooth vector bundles formulated in algebraic terms of the ring of smooth functions, its derivations and the Koszul connection, one can define differential operators, differential calculus and connections on modules over arbitrary commutative, graded commutative and noncommutative rings. For instance, this is the case of quantum theory, SUSY theory and noncommutative geometry, respectively. The relevant material on this subject is summarized.

연구 동기 및 목표

• 부드러운 다양체와 벡터 번들의 미분기하학을 부드러운 함수의 환을 사용하여 순수하게 대수적 형태로 재구성하기.
• 임의의 교환 법칙을 만족하는, 그레이드 교환 법칙을 만족하는, 비가환 환 위의 모듈러에 대해 미분계산과 연결을 일반화하기.
• 양자역학, 초대칭, 비가환 기하학에서 기하학적 구조에 대한 통합된 대수적 프레임워크 제공하기.
• 체바레-에일렌버그 복합체를 환 위의 미분계산으로 설정하여 부드러운 경우에 de Rham 코homology를 복원하기.
• 비가환 미분의 교환 법칙이 성립하지 않음에도 불구하고, 비가환 기하학의 기초 문제를 비가환 미분 연산자와 연결을 대수적으로 정의함으로써 해결하기.

제안 방법

• Serre–Swan 정리를 사용하여 C∞(X) 위의 유한생성 프로젝티브 모듈러를 부드러운 벡터 번들의 단면과 동치로 식별한다.
• 제트 모듈러 𝒥sP를 통한 𝒦-선형 미분 연산자 정의로, 𝒜-모듈러 간의 고차 미분 연산자를 대수적으로 일반화한다.
• 도함수 τ ∈ d𝒜에 대해 Leibniz 법칙을 만족하는 𝒦-선형 사상 ∇τ: P → P로 𝒜-모듈러 위의 연결을 정의한다.
• d𝒜에서 𝒜로의 다중선형 사상의 체바레-에일렌버그 복합체를 도입하여, '체바레-에일렌버그 미분계산'이라 불리는 미분가환대수를 형성한다.
• 비가환 환에 대해 미분형식을 𝒪*(d𝒜, d)의 원소로 정의함으로써 de Rham 이론을 일반화하여 계산에 적용한다.
• 비가환 환에 대해, 플라브 및 파인 층 해상으로부터 층 코homology를 대수적으로 정의하여, 적절한 사상 하에서 코homology 군의 이sovomorphism과 약한 계산 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 부드러운 벡터 번들의 미분기하학은 오직 C∞(X) 환과 그 도함수들만을 사용하여 어떻게 완전히 재구성할 수 있는가?
• RQ2 교환 법칙을 만족하는 환 위의 모듈러에 대한 연결 개념은 비가환 환으로 일반화될 수 있는가? 이때 Leibniz 법칙은 유지되는가?
• RQ3 비가환 기하학에서의 미분형식의 대수적 구조는 무엇이며, de Rham 복합체와의 관계는 어떠한가?
• RQ4 제트 모듈러와 체바레-에일렌버그 복합체는 비가환 환 환경에서 고차 미분 연산자의 일관된 프레임워크를 어떻게 제공하는가?
• RQ5 파라콤팩트 공간에서, 층의 표준 플라브 해상이 표준 층 코homology와 동일한 코homology를 유도하는 조건은 무엇인가?

주요 결과

• C∞(X) 위의 체바레-에일렌버그 미분계산은 부드러운 다양체 X 위의 표준 de Rham 복합체를 복원한다.
• 𝒜-모듈러 위의 연결은 도함수 τ ∈ d𝒜를 통한 대수적 정의로 이루어지며, 벡터 번들의 선형 연결을 일반화한다.
• 제트 모듈러 𝒥¹P는 𝒜-모듈러 위의 일阶 미분 연산자에 대한 보편적 구성법을 제공한다.
• 파라콤팩트 공간 X에 대해, 층 S의 코homology는 그 표준 플라브 해상의 단면 복합체의 코homology와 일치한다.
• 파라콤팩트 공간 위의 파인 층은 약한 계산 가능하며, 단위 분할을 이용해 구성된 호모토피 연산자를 통한 코homology를 계산할 수 있다.
• 표준 플라브 해상 0 → S → S₀^F → S₁^F → ⋯는 임의의 파라콤팩트 공간에서 층 코hom로의 보편 해상으로서 유효하다.