[논문 리뷰] Polysymplectic spaces, s-Kahler manifolds and lagrangian fibrations

Michele Grassi|ArXiv.org|2000. 06. 21.

Geometry and complex manifolds참고 문헌 3인용 수 3

한 줄 요약

이 논문은 다변수 편미분방정식(PDE)의 기하학적 연구를 위해 대칭과 켈러 기하학의 일반화로 다형심플렉틱 다양체와 s-카이러 다양체를 도입한다. PDE에 대한 자연스러운 레전드르 변환과 해밀턴 형식의 일반화를 수립하고, 특히 칼라비-유만 다양체의 준평탄한 특수 라그랑주 분할을 통해 s-카이러 다양체가 일반화된 호지 이론과 레프셰츠 연산자를 갖춘 бог richest 기하학적 모델을 제공함을 보여준다.

ABSTRACT

In the first part of this paper we begin the study of polysymplectic manifolds, and of their relationship with PDE's. This notion provides a generalization of symplectic manifolds which is very well suited for the geometric study of PDE's with values in a smooth manifold. Some of the standard tools of analytical mechanics, such as the Legendre transformation and Hamilton's equations, are shown to generalize to this new setting. There is a strong link with lagrangian fibrations, which can be used to build polysymplectic manifolds. We then provide the definition and some basic properties of s-Kahler and almost s-Kahler manifolds. These are a generalization of the usual notion of Kahler and almost Kahler manifold, and they reduce to them for s=1. The basic properties of Kahler manifolds, and their Hodge theory, can be generalized to s-Kahler manifolds, with some modifications. The most interesting examples come from semi-flat special lagrangian fibrations of Calabi-Yau manifolds.

연구 동기 및 목표

• 다변수를 가진 PDE를 위한 기하학적 프레임워크를 다형심플렉틱 구조를 사용해 개발하기.
• 레전드르 변환과 해밀턴 방정식과 같은 고전적 해석역학 도구를 다형심플렉틱 설정으로 일반화하기.
• s-카이러 및 거의 s-카이러 다양체를 정의하고 Kähler 기하학의 고차원 일반화로 연구하기.
• 준평탄한 특수 라그랑주 분할이 s-카이러 다양체를 구성하고 그 코homological 성질을 연구하는 데서의 역할 탐색하기.
• 고전적 호지이론 및 레프셰츠 유형 정리들을 s-카이러 설정으로 확장하고, 코homology 위에서 $\mathbf{sl}(s+1,\mathbf{R})$의 작용 고려하기.

제안 방법

• s개의 닫힌 2형식 $\omega_1, \dots, \omega_s$를 통해 다형심플렉틱 다양체 정의. 국소적으로 $\sum_i dx_i \wedge dy^j_i$ 형태로 모델링.
• 고전역학의 코타angent(bundle)을 일반화하여 $^sT^*(M)$의 s중 리프트 곱에 자연스러운 다형심플렉틱 구조 구축.
• 다형심플렉틱 다양체 위에 $s$개의 상호작용 가능한 브라켓으로 일반화된 $s$-포아송 구조 도입.
• s개의 2형식 $\omega_j$와 리만 계량 $\mathbf{g}$를 갖춘 다양체로 s-카이러 다양체 정의. 국소좌표에서 $\omega_j = \sum_i dx_i \wedge dy^j_i$ 이고 $\mathbf{g}_{\alpha\beta} = \delta_{\alpha\beta} + \mathcal{O}(2)$.
• 다형심플렉틱 다양체 위에 호환 가능한 계량을 통해 거의 s-카이러 구조 존재 증명.
• $\mathbf{sl}(s+1,\mathbf{R})$-작용을 코homology에 적용해 원시형식 정의하고, s-카이러 다양체에 대해 s-레프셰츠 정리 증명.

실험 결과

연구 질문

• RQ1 대칭 및 해밀턴 역학의 기하학적 기계장치를 다변수를 가진 PDE로 어떻게 일반화할 수 있는가?
• RQ2 레전드르 변환은 다형심플렉틱 설정에서 어떤 역할을 하는가? 그리고 코어너리널 $s$-포아송 구조와의 관계는 무엇인가?
• RQ3 고전적 켈러 불변량—예를 들어 호지 이론과 레프셰츠 연산자—는 어느 정도 s-카이러 다양체로 일반화되는가?
• RQ4 칼라비-유만 다양체의 준평탄한 특수 라그랑주 분할을 사용해 비자명한 s-카이러 다양체의 예를 구성할 수 있는가?
• RQ5 $\mathbf{sl}(s+1,\mathbf{R})$-작용이 s-카이러 다양체의 코homology에 미치는 영향은 무엇이며, 레프셰츠 정리와의 관계는 어떻게 되는가?

주요 결과

• 다형심플렉틱 다양체는 $s$개의 독립 변수를 가진 PDE에 대해 심플렉틱 다양체를 일반화하며, 국소 모델은 $\omega_j = \sum_i dx_i \wedge dy^j_i$.
• 비퇴직성 라그랑주언의 경우, $^sT(M)$와 $^sT^*(M)$ 사이의 국소 미분동형사상으로서의 레전드르 변환이 존재하며, 유도된 다형심플렉틱 구조가 $^sT^*(M)$의 표준 구조로 매핑됨.
• 모든 다형심플렉틱 다양체에 대해 표준 $s$-포아송 구조 존재. 이는 해밀턴 방정식을 $s$개의 진화 방향으로 일반화 가능하게 함.
• s-카이러 다양체는 켈러 다양체를 일반화하며, $s=1$일 때는 그것과 일치. 일반화된 호지 이론적 구조와 함께 일반화된 레프셰츠 정리 존재.
• $\mathbf{sl}(s+1,\mathbf{R})$-작용은 원시 분해를 유지하며, s-카이러 다양체에 대해 s-레프셰츠 정리 성립.
• 반례를 통해 컴act한 $s$-카이러 다양체에서 $q > n$일 때 $\mathbf{Prim}^q(M)$이 반드시 0이 아니라는 것을 보여주며, 예를 들어 3-토러스 $\mathbf{T}^3$는 $\dim_{\mathbf{R}}(\mathbf{Prim}^2(\mathbf{T}^3)) = 1$.