[논문 리뷰] Manifolds over Cayley-Dickson algebras and their immersions

S. V. Lüdkovsky|arXiv (Cornell University)|2012. 04. 06.

Algebraic and Geometric Analysis참고 문헌 27인용 수 11

한 줄 요약

이 논문은 케일리-딕슨 대수에서의 헬름홀로픽 다양체를 도입하여, 복소다양체 이론을 결합이 아닌 대수인 허수와 옥토니언과 같은 비결합 대수로 일반화한다. 사영 기법과 비가환 기하학을 사용하여 매입과 매립 조건을 수립하고, 파라콤팩트 ${\cal A}_r$-헬름홀로픽 다양체가 ${\cal A}_r^{2m}$에 매입되고 ${\cal A}_r^{2m+1}$에 매립되며, 가чёт한 아틀라스를 가진 경우 $l_2(\lambda, {\ ilde{\cal A}}_r)$에 전순 헬름홀로픽 매립이 존재함을 증명한다.

ABSTRACT

Holomorphic manifolds over Cayley-Dickson algebras are defined and their embeddings and immersions are studied.

연구 동기 및 목표

• Cayley-Dickson 대수 ${\cal A}_r$에서의 헬름홀로픽 다양체를 정의하고 연구함으로써, 복소다양체 이론을 비결합 대수로 일반화한다.
• 이러한 다양체가 더 높은 차원의 ${\cal A}_r$-공간으로 매입되거나 매립될 수 있는 조건을 설정한다.
• 사영과 체적 추론을 사용하여 고전적 매립 정리(예: 유티니)를 비결합 설정으로 일반화한다.
• 파라콤팩트 아틀라스를 가진 다양체에 대해 헬름홀로픽 매립이 힐베르트 공간 $l_2(\lambda, {\cal A}_r)$에 존재함을 증명한다.

제안 방법

• ${\cal A}_r$-헬름홀로픽 다양체를 ${\cal A}_r^m$ 또는 $l_2(\lambda, {\cal A}_r)$에 기반한 전환 함수가 ${\cal A}_r$에서 헬름홀로픽인 방식으로 정의한다.
• ${\cal A}_r$-선형 사영 $\pi_l: {\cal A}_r^N \to ({\cal A}_r^{N-1})_l$를 사용하여 계수를 단계적으로 줄이며, 미분의 단사성을 보장한다.
• ${\cal A}_rP^{N-1}$에서 르베그 체적 측도 $\mu$를 사용하여 첫 번째 및 두 번째 종류의 금지된 방향(사영이 매입적이거나 단사적이지 않은 경우)을 분석한다.
• $N > 2m$ 또는 $N > 2m+1$일 때, $\mu(g(Q)) = 0$ 및 $\mu(\psi(\Phi)) = 0$임을 모스 이론을 통해 보여주어 좋은 사영 방향의 존재를 보장한다.
• 비가환 스톤-바이어스트라스 정리와 컴팩턴스를 활용하여 근사 및 매립 성질을 확립한다.
• 무한차원 힐베르트 공간의 동형성과 함께, $M$을 $l_2(\lambda, {\cal A}_r)$로 보내는 헬름홀로픽 함수의 집합 $\psi_j$를 이용해 전역 헬름홀로픽 매립을 구성한다.

실험 결과

연구 질문

• RQ1 비결합 케일리-딕슨 대수, 예를 들어 허수나 옥토니온에서 헬름홀로픽 다양체를 정의할 수 있는가?
• RQ2 이러한 다양체가 유한차원 ${\cal A}_r$-공간으로 매입될 수 있는 조건은 무엇인가?
• RQ3 ${\cal A}_r$-차원 $m$인 파라콤팩트 ${\cal A}_r$-헬름홀로픽 다양체를 매립하기 위해 필요한 최소 계수는 얼마인가?
• RQ4 사영이 실패하는 금지된 방향이 매입 및 매립의 존재에 어떤 영향을 미치는가?
• RQ5 가чёт한 아틀라스를 가진 다양체에 대해 무한차원 헬름홀로픽 매립을 구성할 수 있는가?

주요 결과

• 파라콤팩트 ${\cal A}_r$-헬름홀로픽 다양체는 $N > 2m$일 때 첫 번째 종류의 금지된 방향을 피함으로써 ${\cal A}_r^{2m}$에 매입될 수 있다.
• 이러한 다양체는 $N > 2m+1$일 때 두 번째 종류의 금지된 방향을 피함으로써 ${\cal A}_r^{2m+1}$에 매립될 수 있다.
• 첫 번째 종류의 금지된 방향 집합은 ${{\cal A}_r}P^{N-1}$에서 측도가 0이므로 적절한 사영 방향의 존재를 보장한다.
• 두 번째 종류의 금지된 방향 집합 역시 측도가 0이므로 적절한 이동 후 단사 사영이 가능하다.
• 파라콤팩트 아틀라스를 가진 다양체에 대해 힐베르트 공간 $l_2(\lambda, {\cal A}_r)$에 전역 ${\cal A}_r$-헬름홀로픽 매립이 존재한다. 이는 동형성과 근사 성질 때문이며.
• ${\cal A}_r$-헬름홀로픽 다양체의 접선(bundle) $TM$은 ${\cal A}_r$-헬름홀로픽 구조를 상속받으며, 그 섬유는 ${\cal A}_r$-벡터 공간과 동형이다.