[논문 리뷰] Prolongation of quasi-principal frame bundles and geometry of flag structures on manifolds

Boris Doubrov, Igor Zelenko|arXiv (Cornell University)|2012. 10. 27.

Nonlinear Waves and Solitons참고 문헌 38인용 수 12

한 줄 요약

이 논문은 다양한 기하적 구조, 특히 혼합 차수의 미분방정식과 부분리만다이언 기하학에서의 등가 문제 해결을 가능하게 하기 위해, 다양체 위의 플래그 구조에 대해 탄카 프로농션 절차를 일반화하기 위해 준주기 프레임(bundle)의 개념을 도입한다. 여기서 플래그의 부분다양체가 분할 생성 분포의 각 섬유에 부드럽게 할당된다. 주기 프레임 번들의 더 약한 구조로써 형식화된 이 구조를 통해, 저자들은 주기적이지 않은 설정으로도 캐논컬 프레임 구축을 확장한다.

ABSTRACT

Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of flags on each fiber. We call them flag structures. The construction of the canonical frames for these structures can be given in the two prolongation steps: the first step, based on our previous works, gives the canonical bundle of moving frames for the fixed submanifolds of flags on each fiber and the second step consists of the prolongation of the bundle obtained in the first step. The bundle obtained in the first step is not as a rule a principal bundle so that the classical Tanaka prolongation procedure for filtered structures can not be applied to it. However, under natural assumptions on submanifolds of flags and on the ambient distribution, this bundle satisfies a nice weaker property. The main goal of the present paper is to formalize this property, introducing the so-called quasi-principle frame bundles, and to generalize the Tanaka prolongation procedure to these bundles. Applications to the equivalence problems for systems of differential equations of mixed order, bracket generating distributions, sub-Riemannian and more general structures on distributions are given.

연구 동기 및 목표

• 다양체 위의 기하적 구조에 대한 등가 문제를 다루며, 각 섬유에 플래그의 부분다양체가 할당된 경우, 특히 미분방정식과 변분 기하학의 맥락에서.
• 플래그 구조에서 자연스럽게 나타나는 주기 프레임 번들과 더 약한 구조인 준주기 프레임 번들을 형식화하여, 일반화된 프로농션 절차를 지원한다.
• 기존 탄카 프로농션 프레임워크를 주기적이지 않은 번들로 확장하기 위해, 캐논컬 프레임 구축을 가능하게 하는 새로운 구조적 성질을 규명한다.
• 혼합 차수의 미분방정식 및 부분리만다이언 기하학에 적용 가능한, 플래그 구조를 지닌 분포에 대한 캐논컬 프레임을 체계적으로 구축하는 방법을 제공한다.
• 기하 제어 이론과 편미분방정식에서의 이중 피브레이션, 선형화, 심플렉틱화를 통해 기존의 등가 문제 접근법을 통합하고 일반화한다.

제안 방법

• 주기 프레임 번들의 일반화로서, 구조군 작용에 대한 더 약한 불변성 성질을 만족하는 준주기 프레임 번들의 개념을 도입한다.
• 고정된 플래그 부분다양체에 대해 표준 이동 기저를 사용하여, 이전의 플래그 기하학과 선형화 작업에 기반한 첫 번째 프로농션 단계를 정의한다.
• 첫 번째 단계에서 확장된 번들을 사용하여 두 번째 프로농션 단계를 구성하며, 프로농션 텐서 공간을 식별 공간 $\mathcal{M}_{k+1}$를 포함하는 직합으로 분해한다.
• 필터링을 유지하는 식별 동형사상 $\mathrm{Id}_{\varphi_{k+1}}^{k+1}$를 통해 섬유의 접선공간과 그레디에이션 벡터공간 $L^{k+1}$ 사이의 캐논컬 식별을 확립한다.
• 기호 대수 $\mathfrak{g}^\bullet$의 그레디에이션 구조와 비완전성 차수 $\mu$를 사용하여, 프로농션이 언제 정지하는지 결정하고, 유한 차수에서 캐논컬 프레임을 도출한다.
• 기호 대수 $\mathfrak{g}^{\bar{l}} \neq 0$ 이지만 $\mathfrak{g}^{\bar{l}+1} = 0$ 이면, $\bar{l}+\mu$-번째 프로농션 번들 $P^{\bar{l}+\mu}$ 가 $P^{\bar{l}+\mu-1}$ 위에 캐논컬 프레임을 정의함을 증명한다.

실험 결과

연구 질문

• RQ1 플래그 구조의 맥락에서, 주기적이지 않은 번들로 탄카 프로농션 절차를 어떻게 일반화할 수 있는가?
• RQ2 주기성보다 더 약한 구조적 성질이지만, 여전히 기하적 구조의 프로농션에서 캐논컬 프레임 구축을 가능하게 하는 것은 무엇인가?
• RQ3 이중 피브레이션과 피브레이션의 선형화가 다양체 위의 플래그 구조를 어떻게 유도하는가?
• RQ4 프로농션 과정이 언제 종료되고 플래그 구조에 대해 캐논컬 프레임을 도출하는가?
• RQ5 제안된 프레임워크는 기하학과 편미분방정식 이론에서의 등가 문제에 대한 기존 접근법을 어떻게 통합하고 일반화하는가?

주요 결과

• 저자들은 주기 프레임 번들의 일반화로서, 주기적이지 않아도 프로농션을 지원할 수 있는 더 약한 불변 조건을 만족하는 준주기 프레임 번들을 정의한다.
• 첫 번째 프로농션 단계는 이전의 플래그 기하학과 선형화 작업에 기반한 고정된 플래그 부분다양체에 대해 표준 이동 기저를 구성한다.
• 두 번째 프로농션 단계는 탄카의 방법을 일반화하기 위해 식별 공간 $\mathcal{M}_{k+1}$를 도입하며, 이는 프로농션 공간을 $L_{\varphi_k}^{k+1}$와의 직합으로 분해함으로써 섬유 간의 캐논컬 식별을 가능하게 한다.
• 식별 동형사상 $\mathrm{Id}_{\varphi_{k+1}}^{k+1}$ 를 통해 $L^{k+1}$ 는 $P^{k+1}$ 가 $P^k$ 위의 섬유에 대한 접선공간과 캐논컬하게 식별되며, 필터링을 유지한다.
• 기호 대수 $\mathfrak{g}^\bullet$ 가 기본적이며 $\mathfrak{g}^{\bar{l}} \neq 0$ 이지만 $\mathfrak{g}^{\bar{l}+1} = 0$ 이면, 프로농션은 차수 $\bar{l} + \mu$ 에서 정지하며, 여기서 $\mu$ 는 비완전성 차수이다.
• 프로농션 번들 $P^{\bar{l}+\mu}$ 는 $P^{\bar{l}+\mu-1}$ 위에 캐논컬 프레임을 정의함으로써 구조를 완성하고 플래그 구조에 대한 등가 문제를 해결한다.