[논문 리뷰] Champs de vecteurs et formes différentielles sur une variété des points proches

Basile Guy Richard Bossoto, Eugène Okassa|arXiv (Cornell University)|2010. 10. 18.

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

한 줄 요약

이 논문은 앙드레 빌의 개념에 따라 매끄러운 다양체 $M$와 국소 대수 $A$와 관련된 근접점 다양체 $M^A$ 위에서 벡터장과 미분형식의 새로운 프레임워크를 제안한다. 이는 벡터장의 모듈로 $ \mathfrak{X}(M^A) $ 가 $A$ 위의 리 대수를 이룬다는 것을 증명하고, $A$-미분형식의 코homology 이론을 개발하여, $M^A$의 $d^A$-코homology 가 $A \otimes H_{ \text{dR}}^p(M)$ 와 자연스럽게 동형임을 보이며, 이는 딜람 코homology 를 무한소 이웃 영역의 맥락으로 확장한다.

ABSTRACT

Let M be a smooth manifold, A a local algebra in sense of André Weil, M^{A} the manifold of near points on M of kind A and X(M^{A}) the module of vector fields on M^{A}. We give a new definition of vector fields on M^{A} and we show that X(M^{A}) is a Lie algebra over A. We study the cohomology of A-differential forms.

연구 동기 및 목표

• 국소 대수 $A$ 위에서의 도함수를 사용하여 근접점 다양체 $M^A$ 위의 벡터장을 재정의한다.
• 근접점 다양체 $M^A$ 위의 벡터장 모듈로 $\mathfrak{X}(M^A)$ 가 자연스럽게 $A$ 위의 리 대수의 구조를 지닌다는 것을 확립한다.
• $M^A$ 위의 $A$-미분형식에 대한 코homology 이론을 개발하고, 이와 고전적 딜람 코homology $M$ 간의 관계를 규명한다.

제안 방법

• 각 $\xi \in M^A$ 에서 $\mathbb{R}$-선형 도함수 $v: C^\infty(M) \to A$ 로서, 라이프니츠 법칙 $v(fg) = v(f)\cdot g^A(\xi) + f^A(\xi)\cdot v(g)$ 를 만족하는 $M^A$ 위의 벡터장을 정의한다.
• 접공간 $T_\xi M^A$ 와 $A$-모듈로 $\text{Der}_\xi[C^\infty(M), A]$ 간의 동형사를 구성함으로써, $T_\xi M^A$ 에 $A$-모듈로의 구조를 부여한다.
• $\gamma: C^\infty(M) \to A \otimes C^\infty(M^A)$ 를 사용하여 $M$ 위의 형식의 역상으로서 $M^A$ 위의 $A$-미분형식을 정의하고, 외부 미분 $d$ 를 $\Lambda(M^A, A)$ 위의 $A$-선형 연산자 $d^A$ 로 확장한다.
• $\sigma: C^\infty(M^A, A) \to A \otimes C^\infty(M^A)$ 를 사용하여 $M^A$ 위의 $A$-값을 가진 $C^\infty$ 함수를 $A$-텐서로 $C^\infty(M^A)$ 위에 식별한다.
• 모든 $\omega \in \Lambda(M)$ 에 대해 $d^A(\omega^A) = (d\omega)^A$ 를 증명함으로써, 미분이 $A$-구조와 호환됨을 보장한다.
• 특히 $M^A$ 가 연결되어 있을 경우 $H^0(M^A, A) \cong A$ 를 보이며, $M^A$ 의 $d^A$-코homology 가 $A \otimes H_{\text{dR}}^p(M)$ 와 자연스럽게 동형임을 확립한다.

실험 결과

연구 질문

• RQ1 근접점 다양체 $M^A$ 위의 벡터장을 국소 대수 $A$ 위의 도함수를 사용하여 어떻게 재정의할 수 있는가?
• RQ2 $M^A$ 위의 벡터장 모듈로 $\mathfrak{X}(M^A)$ 가 $A$ 위에서 어떤 대수적 구조를 지닌다?
• RQ3 $M$ 위의 외부 미분은 어떻게 $M^A$ 위의 $A$-값을 가진 미분형식에 대한 미분 연산자 $d^A$ 로 확장되는가?
• RQ4 $M^A$ 의 $d^A$-코homology 와 고전적 딜람 코homology $M$ 간의 관계는 무엇인가?
• RQ5 $M^A$ 의 $d^A$-코homology 가 언제 딜람 코homology $M$ 의 $A$-텐서곱을 회복하는가?

주요 결과

• $M^A$ 위의 벡터장 모듈로 $\mathfrak{X}(M^A)$ 는 도함수의 교환자에 의해 유도되는 리 대수를 $국소 대수 A$ 위에서 형성함을 보였다.
• $M^A$ 의 $d^A$-코homology 는 $A \otimes H_{\text{dR}}^p(M)$ 와 동형임을 보이며, 이는 $M^A$ 위의 $A$-미분형식의 코homology 가 $A$ 와 딜람 코homology $M$ 의 텐서곱으로 복원됨을 의미한다.
• $M^A$ 가 연결되어 있을 경우, 제로차 코hom로지 그룹 $H^0(M^A, A)$ 는 $A$ 와 자연스럽게 동형임을 보였으며, 이는 고전적 결과 $H^0(M, \mathbb{R}) \cong \mathbb{R}$ 를 일반화한다.
• $\Lambda(M)$ 에서 $\Lambda(M^A, A)$ 로의 역상 매핑 $\omega \mapsto \omega^A$ 는 $\mathbb{R}$-대수의 그룹화된 사상이며, 외부 미분을 서로 뒤섞는다: $d^A(\omega^A) = (d\omega)^A$.
• $\sigma$ 를 통한 식별 $C^\infty(M^A, A) \cong A \otimes C^\infty(M^A)$ 는 $C^\infty(M)$ 위의 도함수에서 $M^A$ 위의 벡터장으로의 $A$-모듈로의 구조 이행을 가능하게 하며, 이는 $A$-리 대수의 구조를 구성하는 데 기여한다.
• $A$ 의 기저 선택에 의존하지 않기 때문에, $\mathfrak{X}(M^A)$ 에 부여된 $A$-모듈로의 구조는 잘 정의되고 내재된 성격을 지닌다.