[논문 리뷰] Canonical frames for distributions of odd rank and corank 2 with maximal first Kronecker index

Wojciech Kryński, Igor Zelenko|arXiv (Cornell University)|2010. 03. 06.

Mathematical Analysis and Transform Methods참고 문헌 19인용 수 4

한 줄 요약

이 논문은 최대 첫 번째 크로네커 지수와 완전한 리 제곱 닫힘 조건을 만족하는, 계수 2이면서 홀수 차수 ≥7인 분포에 대해 정규 프레임을 구성하고, 최대 대칭 모델을 분류한다. 심플렉티피케이션과 이중 등급의 나이플로턴 리 대수 기법을 사용하여, 오직 차원 7, 9, 11, 15, 그리고 l∈ℕ에 대해 8l−3인 경우에만 유일한 최대 대칭 모델이 존재하며, 차원 19에서는 두 개의 서로 다른 모델이 존재하고, 그 외의 경우는 연속적인 가중치를 가진 가족을 이룬다.

ABSTRACT

We construct canonical frames and find all maximally symmetric models for a natural generic class of corank 2 distributions on manifolds of odd dimension greater or equal to 7. This class of distributions is characterized by the following two conditions: the pencil of 2-forms associated with the corresponding Pfaffian system has the maximal possible first Kronecker index and the Lie square of the subdistribution generated by the kernels of all these 2-forms is equal to the original distribution. In particular, we show that the unique, up to a local equivalence, maximally symmetric model in this class of distributions with given dimension of the ambient manifold exists if and only if the dimension of the ambient manifold is equal to 7, 9, 11, 15 or 8l-3, where $l$ is an arbitrary natural number. Besides, if the dimension of the ambient manifold is equal to 19, then there exist two maximally symmetric models, up to a local equivalence, distinguished by certain discrete invariant. For all other dimensions of ambient manifold there are families of maximally symmetric models, depending on continuous parameters. Our main tool is the so-called symplectification procedure having its origin in Optimal Control Theory. Our results can be seen as an extension of some classical Cartan's results about rank 3 distributions on a 5-dimensional manifold to corank 2 distributions of higher odd rank.

연구 동기 및 목표

• 차원 ≥7인 홀수 차원 다양체 위의 계수 2 분포의 일반적 클래스에 대해 정규 프레임을 구성하기.
• 이 클래스 내에서 국소 동치에 대해 모든 최대 대칭 모델을 분류하기.
• 유일한 최대 대칭 모델이 존재하는 배경 다양체의 차원을 규명하기.
• 이sov의 비동치 최대 대칭 모델을 구분하는 데서 이산 및 연속 불변량의 역할을 규명하기.
• ℝ⁵ 내의 랭크 3 분포에 대한 고전적 카르탕 유형 결과를 더 높은 홀수 차수, 계수 2 설정으로 확장하기.

제안 방법

• 최적 제어 이론에서 유래한 심플렉티피케이션 절차를 사용하여 분포를 더 높은 차원의 심플렉틱 구조로 올리기.
• 관련된 파프시안 시스템과 그 2형식의 진자군을 분석하여 첫 번째 크로네커 지수와 그 최대성을 판단하기.
• 탄카 기호와 유도 플래그를 사용하여 분포의 심볼의 이중 등급의 나이플로턴 리 대수의 구조를 정의하기.
• 무한소 대칭의 최대 가능 대수를 결정하기 위해 심볼의 보편 연장 구조를 구성하기.
• 𝔰𝔩₂의 표현 이론을 적용하여 형식 (k,w)의 이중 등급 나이플로턴 리 대수를 분류하고, 구조 상수에 대한 선형 방정식계를 해결하기.
• 조합적 항등식과 행렬 분석(단사성, 전사성, 핵-이미지의 교차성)을 사용하여 구조 상수에 대한 해의 존재성과 유일성을 증명하기.

실험 결과

연구 질문

• RQ1 차원 ≥7인 홀수 차원 다样的체에서, 최대 첫 번째 크로네커 지수를 가진 계수 2 분포의 클래스 내에서 유일한 최대 대칭 모델이 존재하는 경우는 언제인가?
• RQ2 2형식의 핵들에 의해 생성되는 부분분포가 전체 분포를 생성하기 위해 리 제곱 조건이 수행하는 역할은 무엇인가?
• RQ3 여러 개의 모델이 존재하는 차원에서 이산 불변량은 비동치 최대 대칭 모델을 어떻게 분리하는가?
• RQ4 구조 상수의 해공간이 요구되는 대칭성 및 반대칭성 제약 조건을 만족하는 코디멘션-1 아핀 부분공간을 갖는 조건은 무엇인가?
• RQ5 어떤 차원에서 최대 대칭 모델의 집합이 이산적이 아니라 연속 매개변수에 의존하는가?

주요 결과

• 유일한 최대 대칭 모델이 국소 동치에 대해 존재하는 것은 오직 다가지가 7, 9, 11, 15, 또는 l∈ℕ에 대해 8l−3인 경우에 한해 성립한다.
• 차원 19에서는 서로 비동치인 두 개의 최대 대칭 모델이 존재하며, 이는 이산 불변량으로 구분된다.
• 그 외의 모든 홀수 차원 ≥7에서는 최대 대칭 모델의 집합이 연속 매개변수에 따라 변하는 가족을 이룬다.
• k=8(차원 19)의 경우는 d(k,1)=0 및 d(k,3)=0를 동시에 만족하며, 이는 정확히 두 개의 비동치 모델을 가지며, 그 대칭 대수의 차원은 22이다.
• 이중 등급 리 대수의 구조를 정의하는 방정식계의 해공간이 특정 사상의 핵과 교차성을 가지며, 이는 전단사성과 일반적인 경우의 유일성을 보장한다.
• 증명은 φ₁의 이미지와 φ₂의 핵이 표준 스칼라곱에 대해 수직임을 보여, 이는 사상 φ가 전단사임을 의미하며, 분류를 완성한다.