[논문 리뷰] Structures de Jacobi sur une variété des points proches

Basile Guy Richard Bossoto|arXiv (Cornell University)|2010. 10. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 4

한 줄 요약

이 논문은 앤드레 빌의 개념에 따라 매끄럽고 국소적으로 콤���한 다양체 $M$와 국소 대수 $A$에 관련된 무한히 가까운 점들의 다양체 $M^A$ 위에 $A$-야코비 구조를 도입하고 연구한다. 만약 $(M, \alpha, \omega)$가 국소적으로 동형 기하학적 구조를 가진 심플렉틱 다양체이면, $\mathfrak{X}(M^A)$ 위의 $A$-리-린하르트-야코비 심플렉틱 구조를 통해 $C^{\infty}(M^A, A)$에 유도된 구조는 잘 정의된 $A$-야코비 대수를 이룬다. 이는 원래 $M$ 위의 야코비 구조를 확장한다.

ABSTRACT

We consider a local algebra A (in the sense of André Weil), M a smooth paracompact manifold and M^{A} the manifold of infinietly near points on M of kind A. In this paper, we define and study the notions of A-Jacobi structures on M^{A}.

연구 동기 및 목표

• 매끄럽고 국소적으로 콤팩트한 다양체 $M$의 무한히 가까운 점들의 다양체인 $M^A$ 위에 $A$-야코비 구조를 정의하고 조사한다.
• 국소 대수 $A$의 프레임워크를 이용하여 야코비 구조의 개념을 $M$에서 $M^A$로 일반화한다.
• $M$ 위의 국소적으로 동형 기하학적 구조와 $M^A$ 위의 $A$-야코비 구조 사이의 대응관계를 확립한다.
• $C^{\infty}(M^A, A)$ 위의 $A$-야코비 구조가 $\mathfrak{X}(M^A)$ 위의 $A$-리-린하르트-야코비 심플렉틱 구조로부터 자연스럽게 유도됨을 보인다.
• $M^A$ 위의 $A$-야코비 괄호가 자연스러운 역상 $f \mapsto f^A$를 통해 원래 $M$ 위의 야코비 괄호를 확장함을 증명한다.

제안 방법

• 유한 차원의 국소 $\mathbb{R}$-대수 $A$이며, 계수 1인 유일한 최대 이상이 존재하는 $A$ 유형의 $M$의 무한히 가까운 점들의 다양체 $M^A$를 사용한다.
• $M^A$ 위의 $A$-값을 가진 매끄러운 함수의 대수인 $C^{\infty}(M^A, A)$를 구성하며, 이는 $A$-대수로서의 교환법칙을 가진 단위원 대수로 된다.
• $\mathfrak{X}(M^A)$ 위의 유도된 $A$-리-린하르트-야코비 심플렉틱 구조를 이용하여, 심플렉틱 형식 $\omega^A$와 1형식 $\alpha^A$를 통해 $C^{\infty}(M^A, A)$ 위의 $A$-야코비 구조를 정의한다.
• 특히 $A$-선형 확장과 차수 $\leq 1$인 연산자들을 활용하여 리-린하르트 대수 및 그의 야코비 확장을 다루는 이론을 적용한다.
• 자연스러운 끌림 $f \mapsto f^A$를 사용하여 $C^{\infty}(M)$에서 $C^{\infty}(M^A, A)$로의 구조 전이를 수행하며, 이는 $A$-모듈로 구조와의 호환성을 보장한다.
• $A$-미분 연산자와 그들의 유일한 확장 $\widetilde{X}$를 $C^{\infty}(M^A)$로 사용하여, $A$-모듈로 작용과 원래 $C^{\infty}(M)$ 위의 미분 연산자와의 일致성을 확보한다.

실험 결과

연구 질문

• RQ1 매끄러운 다양체 $M$의 무한히 가까운 점들의 다양체 $M^A$ 위에 $A$-야코비 구조는 어떻게 정의할 수 있는가?
• RQ2 $M$ 위의 국소적으로 동형 기하학적 구조와 $M^A$ 위에 유도된 $A$-야코비 구조 사이의 관계는 무엇인가?
• RQ3 $C^{\infty}(M^A, A)$ 위의 $A$-야코비 괄호는 원래 $C^{\infty}(M)$ 위의 야코비 괄호를 확장하는가?
• RQ4 $M^A$ 위의 $A$-미분 연산자는 $C^{\infty}(M)$ 위의 미분자들과 어떻게 관련되어 있으며, 어떻게 $C^{\infty}(M^A, A)$로 옮겨지는가?
• RQ5 $\mathfrak{X}(M^A)$ 위의 $A$-리-린하르트-야코비 심플렉틱 구조가 언제 심플렉틱이 되며, 이는 $A$-야코비 대수에 어떤 의미를 갖는가?

주요 결과

• $C^{\infty}(M^A, A)$ 위의 $A$-야코비 구조는 $A$-리-린하르트-야코비 심플렉틱 구조 $\left(\mathfrak{X}(M^A), \rho_{\alpha^A}, \omega^A\right)$를 통해 정의되며, $\omega^A$는 $A$-왜곡 미분 $d_{\alpha^A}^A$에 대해 비퇴화되고 닫혀 있다.
• 만약 $(M, \alpha, \omega)$가 국소적으로 동형 기하학적 구조를 가진다면, $\left(\mathfrak{X}(M^A), \rho_{\alpha^A}, \omega^A\right)$는 $A$-리-린하르트-야코비 심플렉틱 구조이다.
• $C^{\infty}(M^A, A)$ 위의 $A$-야코비 괄호는 $\{F, G\}_{\omega^A} = -\omega^A(X_F, X_G)$로 주어지며, 여기서 $X_F$는 $F$에 대응하는 해밀턴 벡터장이다.
• $f \in C^{\infty}(M)$에 대해 $f^A$에 대응하는 $M^A$ 위의 해밀턴 벡터장은 $X_{f^A} = (X_f)^A$를 만족하여 끌림 사상과의 호환성을 보장한다.
• $A$-야코비 괄호는 $\{f^A, g^A\}_{\omega^A} = \{f, g\}^A$를 만족하며, 이는 $M^A$ 위의 $A$-야코비 구조가 원래 $M$ 위의 야코비 구조를 확장함을 증명한다.
• 이 구성은 원래의 야코비 구조의 대수적 및 기하학적 성질을 유지하면서 $M$ 위의 야코비 구조를 $M^A$로 자연스럽게 $A$-선형으로 확장한다.