[논문 리뷰] Geometry of rank 2 distributions with nonzero Wilczynski invariants and affine control systems with one input

Boris Doubrov, Igor Zelenko|arXiv (Cornell University)|2013. 01. 13.

Advanced Algebra and Geometry참고 문헌 26인용 수 3

한 줄 요약

이 논문은 일반화된 Wilczynski 불변량이 영이 아닌 $ \mathbb{R}^n$ 에서의 최대 계수 2 분포와 하나의 입력을 가진 애파인 제어 시스템에 대해, 비정상 최적 궤도의 정규화된 매개변수화를 활용하여 캐논리컬 프레임을 구축한다. $ \mathfrak{sl}_2$ 표현과 곡선의 사영 불변량을 이용하여, 노름화 근사나 성장 벡터에 의존하지 않는 $(2n-3)$-차원 캐논리컬 프레임를 수립한다. $n \geq 5$일 때 대칭 모델의 모듈리 공간이 완전히 특징지어지며, 주요 기여는 잭비 곡선의 심플렉틱 기하학을 이용한 이러한 시스템에 대한 통합적이고 불변적인 기하 프레임워크를 제공하는 것이다.

ABSTRACT

We demonstrate how the novel approach to the local geometry of structures of nonholonomic nature, originated by Andrei Agrachev, works in the following two situations: rank 2 distributions of maximal class in R^n with non-zero generalized Wilczynski invariants and rank 2 distributions of maximal class in R^n with additional structures such as affine control system with one input spanning these distributions, sub-(pseudo)Riemannian structures etc. The common feature of these two situations is that each abnormal extremal (of the underlying rank 2 distribution) possesses a distinguished parametrization. This fact allows one to construct the canonical frame on a (2n-3)-dimensional bundle in both situations for arbitrary n greater than 4. The moduli spaces of the most symmetric models for both situations are described as well. The relation of our results to the divergence equivalence of Lagrangians of higher order is given

연구 동기 및 목표

• 일반화된 Wilczynski 불변량이 영이 아닌 $ \mathbb{R}^n$ 에서의 최대 계수 2 분포에 대해, 영 불변량 사례를 초월하여 캐논리컬 프레임을 개발한다.
• 비정상 최적 궤도의 정규화된 매개변수화를 활용하여 하나의 입력을 가진 애파인 제어 시스템에 기하학적 프레임워크를 수립한다.
• 심플렉틱 불변량과 $ \mathfrak{sl}_2$ 표현을 이용하여 두 설정 모두에서 가장 대칭적인 모델의 모듈리 공간을 특징짓는다.
• 분포, 부분 리만 기하학, 제어 시스템 등 다양한 기하적 구조에 걸쳐 캐논리컬 프레임을 통합적으로 구성하기 위해, 잭비 곡선의 미분 기하학을 활용한다.

제안 방법

• 비정상 최적 궤도의 잭비 곡선을 이용하여, 라그랑주 그라스만니안에 있는 곡선으로부터 심플렉틱 불변량을 추출한다.
• 특히 $ \mathbb{R}P^{n-2}$ 에서의 곡선에 대한 사영 구조 이론을 적용하며, 모비우스 변환에 대해 정의된 정규화된 매개변수화의 존재를 활용한다.
• 일반화된 Wilczynski 불변량이 영이 아니면 비정상 최적 궤도의 특별한 매개변수화가 가능하므로, 사영 구조를 대체할 수 있음을 이용한다.
• 잭비 곡선의 심플렉틱 곡률의 구조와 $ \mathfrak{sl}_2$ 표현 이론을 기반으로 $(2n-3)$-차원 번들의 캐논리컬 프레임을 구성한다.
• 핵심 식에는 $[e, \varepsilon_1] = -\frac{1}{2}\varepsilon_1$ 및 $[h, \varepsilon_{2m}] = \sum_{i=1}^{m-1} (-1)^{i+1} r_i \varepsilon_{2(m-i)}$와 같은 브라켓 관계가 포함되며, 이는 프레임의 구조를 결정한다.
• 이 방법은 노름화 근사나 성장 벡터에 의존하지 않으며, 대신 잭비 곡선의 내재 기하학과 그 심플렉틱 불변량에 기반한다.

실험 결과

연구 질문

• RQ1 일반화된 Wilczynski 불변량이 영이 아닌 $ \mathbb{R}^n$ 에서의 최대 계수 2 분포에 대해 캐논리컬 프레임를 어떻게 구성할 수 있으며, 그 프레임 번들의 최소 차원은 얼마인가?
• RQ2 비영 불변량일 때 비정상 최적 궤도의 정규화된 매개변수화가 사영 구조를 어떻게 대체하는가?
• RQ3 일반화된 Wilczynski 불변량이 영이 아닐 때, 하나의 입력을 가진 애파인 제어 시스템에 대한 캐논리컬 프레임 구성은 표준 탄카 프로롱레이션과 어떻게 다를까?
• RQ4 분포와 제어 시스템 설정 모두에서 가장 대칭적인 모델의 모듈리 공간은 무엇이며, 어떻게 매개변수화되는가?
• RQ5 캐논리컬 프레임 구성이 분포의 노름화 근사와 성장 벡터에 대해 얼마나 독립적인가?

주요 결과

• 일반화된 Wilczynski 불변량이 영이 아닌 $ \mathbb{R}^n$ 에서의 최대 계수 2 분포에 대해, 모든 $n \geq 5$에 대해 $(2n-3)$-차원 번들 위에 캐논리컬 프레임를 구성하였다.
• 이 구성은 비정상 최적 궤도의 정규화된 매개변수화의 존재에 기반하며, 불변량이 영이 아닐 경우 사영 구조를 대체한다.
• 가장 대칭적인 모델의 모듈리 공간은 $(r_1, \ldots, r_{n-3})$의 튜플로 기술되며, 이 $r_i$들은 잭비 곡선에서 유도된 심플렉틱 곡률이다.
• 캐논리컬 프레임의 구조 함수는 튜플 $(r_1, \ldots, r_{n-3})$에 의해 완전히 결정되며, 모든 비자명한 브라켓은 이 상수들로 표현 가능하다.
• 이 프레임는 노름화 근사나 성장 벡터에 의존하지 않아, 고전적 탄카 방법보다 더 넓은 범주에 적용 가능한 분포에 대해 유효하다.
• 하나의 입력을 가진 애파인 제어 시스템의 경우, 정규성 조건이 비정상 최적 궤도의 정규화된 매개변수화가 잘 정의되며, 동일한 $(2n-3)$-차원 번들 위에 유일한 캐논리컬 프레임를 이끌어낸다.