[논문 리뷰] Complete systems of invariants for rank 1 curves in Lagrange Grassmannians

Igor Zelenko|ArXiv.org|2004. 11. 09.

Advanced Differential Geometry Research참고 문헌 1인용 수 8

한 줄 요약

이 논문은 라그랑주 그라스만니안 내의 랭크 1 곡선—속도 사상이 랭크 1 선형 연산자인 곡선—에 대한 완전한 심플렉틱 불변량 체계를 구성하는 데 있어 새로운이고 단순화된 접근법을 제시한다. 보편적인 움직이는 기준좌표계를 도입함으로써 최소한의 구조 방정식을 갖는다. 저자들은 $ m $개의 주요 불변량(여기서 $ m $은 심플렉틱 공간의 차원의 절반)으로 이루어진 튜플을 구성하여, 임의의 $ m $개의 매끄러운 함수가 심플렉틱 변환에 대해 유일한 곡선의 불변량이 될 수 있음을 증명함으로써, 이전 연구보다 더 직접적이고 투명한 방식으로 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

Curves in Lagrange Grassmannians naturally appear when one studies intrinsically "the Jacobi equations for extremals", associated with control systems and geometric structures. In this way one reduces the problem of construction of the curvature-type invariants for these objects to the much more concrete problem of finding of invariants of curves in Lagrange Grassmannians w.r.t. the action of the linear Symplectic group. In the present paper we develop a new approach to differential geometry of so-called rank 1 curves in Lagrange Grassmannian, i.e., the curves with velocities being rank one linear mappings (under the standard identification of the tangent space to a point of the Lagrange Grassmannian with an appropriate space of linear mappings). The curves of this class are associated with "the Jacobi equations for extremals", corresponding to control systems with scalar control and to rank 2 vector distributions. In particular, we construct the tuple of m principal invariants, where m is equal to half of dimension of the ambient linear symplectic space, such that for a given tuple of arbitrary m smooth functions there exists the unique, up to a symplectic transformation, rank 1 curve having this tuple, as the tuple of the principal invariants. This approach extends and essentially simplifies some results of our previous paper (J. Dynamical and Control Systems, 8, 2002, No. 1, 93-140), where only the uniqueness part was proved and in rather cumbersome way. It is based on the construction of the new canonical moving frame with the most simple structural equation.

연구 동기 및 목표

• 라그랑주 그라스만니안 내의 랭크 1 곡선에 대한 완전한 심플렉틱 불변량 체계를 개발하는 것—이는 제어 시스템과 기하학적 구조에서 곡률 유형의 불변량 연구에 핵심적인 역할을 한다.
• 이전 방법들이 불편한 방식으로 불변량의 유일성을만 확립한 데 반해, 더 직접적이고 개념적으로 단순한 방법을 도입하여 이러한 한계를 극복하는 것.
• 구조 방정식이 단순화된 보편적인 움직이는 기준좌표계를 구성하여, 불변량의 명시적 유도를 가능하게 하는 것.
• 임의의 $ m $개의 실수 직선 상의 매끄러운 함수들이 심플렉틱 변환에 대해 유일한 랭크 1 곡선의 주요 불변량이 될 수 있음을 증명하는 것—여기서 $ m $은 환경 심플렉틱 공간의 차원의 절반이다.

제안 방법

• 저자들은 주어진 라그랑주 부분공간과 횡단하는 부분공간들의 아핀 구조를 이용하여 랭크 1 곡선에 대한 새로운 보편적인 움직이는 기준좌표계를 도입한다.
• 곡선의 속도가 아핀 공간에서 유도하는 벡터값 함수 $ w(t, \tau) $를 정의하며, 이는 $ t = \tau $에서 $ m $차수의 극을 갖는다. 이를 통해 각 $ \Lambda(\tau) $에서 보편 기저 $ e_1(\tau), \dots, e_m(\tau) $를 추출할 수 있다.
• $ w(t, \tau) $의 $ t = \tau $에서의 로랑 전개는 계수 $ e_1(\tau), \dots, e_m(\tau) $를 얻으며, 이들은 $ \Lambda(\tau) $의 기저를 이룬다. 이 기저는 보편 기준좌표계를 정의하는 데 사용된다.
• $ \Lambda^0(\tau) $는 $ \Lambda(\tau)^{\pitchfork} $ 내에 존재하는 유일한 부분공간으로, $ \Lambda_\tau(t) - \Lambda^0(\tau) $의 로랑 전개에서 상수항이 0이 되도록 정의되어 기준좌표계의 정규화를 보장한다.
• 심플렉틱 쌍대성 $ \sigma(f_i, e_j) = \delta_{ij} $를 통해 쌍대 벡터 $ f_1(\tau), \dots, f_m(\tau) $를 정의함으로써 보편 다르부 기준좌표계 $ (e_1, \dots, e_m, f_1, \dots, f_m) $를 완성한다.
• 이 기준좌표계의 구조 방정식이 가능한 한 단순함을 보이며, 이는 직접적으로 $ m $개의 주요 불변량 $ \lambda_i(t) $를 구성할 수 있게 해주고, 이들은 완전한 심플렉틱 불변량 체계를 이룬다.

실험 결과

연구 질문

• RQ1 이전 방법보다 더 직접적이고 개념적으로 명확한 방식으로, 라그랑주 그라스만니안 내의 랭크 1 곡선에 대한 완전한 심플렉틱 불변량 체계를 구성할 수 있는가?
• RQ2 임의의 주어진 $ m $개의 매끄러운 함수 튜플이 불변량으로서 존재할 때, 이를 유일하게 갖는 랭크 1 곡선(심플렉틱 변환에 대해 유일함)이 존재하는가를 증명할 수 있는가?
• RQ3 구조 방정식이 최소화되고 불변량의 명시적 계산을 가능하게 하는 방식으로 보편적인 움직이는 기준좌표계를 어떻게 구성할 수 있는가?
• RQ4 기저와 기준좌표계 정의에 있어 $ \Lambda^{\pitchfork} $ 위의 아핀 구조는 어떤 역할을 하는가?

주요 결과

• 논문은 $ 2m $차원 심플렉틱 공간의 라그랑주 그라스만니안 내의 랭크 1 곡선에 대해 $ m $개의 주요 불변량 $ \lambda_1(t), \dots, \lambda_m(t) $로 이루어진 완전한 체계를 구성한다.
• 실수 직선 상의 임의의 $ m $개의 매끄러운 함수에 대해, 그 함수들이 정확히 이들 함수를 불변량으로 갖는 랭크 1 곡선이 유일하게 존재한다(심플렉틱 변환에 대해 유일함).
• 새로운 보편적인 움직이는 기준좌표계는 가능한 한 가장 단순한 구조 방정식을 갖으며, 이는 불변량 계산 과정을 크게 단순화시킨다.
• 벡터 함수 $ w(t, \tau) $의 로랑 전개를 기반으로 한 방법은 각 $ \Lambda(\tau) $에서 보편 기저 $ e_1(\tau), \dots, e_m(\tau) $를 유도하며, 이는 기준좌표계 구성에 있어 핵심적이다.
• $ \Lambda^0(\tau) $는 $ \Lambda(\tau)^{\pitchfork} $ 내에 존재하는 유일한 부분공간으로, $ \Lambda_\tau(t) - \Lambda^0(\tau) $의 전개에서 상수항이 0이 되도록 정의되어 기준좌표계의 정규화를 보장한다.
• 최종적으로 유도된 보편 다르부 기준좌표계 $ (e_1, \dots, e_m, f_1, \dots, f_m) $는 곡선의 심플렉틱 불변 매개변수화를 제공하며, 전체 불변량 체계의 유도를 가능하게 한다.