[논문 리뷰] Dispersionless integrable hierarchies and GL(2,R) geometry

E. V. Ferapontov, Boris Kruglikov|arXiv (Cornell University)|2016. 07. 07.

Advanced Algebra and Geometry참고 문헌 25인용 수 6

한 줄 요약

이 논문은 프로젝티브 코탄젠트 벡터 장에 있는 정규 곡선에 의해 정의되는 인보리셔티브 GL(2,R) 구조—즉, 기하학적 구조—가 분산 없는 통합 계열, 예를 들어 dKP 계열에 의해 지배됨을 밝혀낸다. 핵심 결과는 인보리셔티브 GL(2,R) 구조를 정의하는 완만한 조건 시스템의 일반적인 국소 해가 3개의 변수에 대한 2n−4개의 임의 함수에 의존함을 보여, 이러한 조건들의 통합 가능성임을 증명한다.

ABSTRACT

Paraconformal or $GL(2)$ geometry on an $n$-dimensional manifold $M$ is defined by a field of rational normal curves of degree $n-1$ in the projectivised cotangent bundle $\mathbb{P} T^*M$. Such geometry is known to arise on solution spaces of ODEs with vanishing Wünschmann (Doubrov-Wilczynski) invariants. In this paper we discuss yet another natural source of $GL(2)$ structures, namely dispersionless integrable hierarchies of PDEs (for instance the dKP hierarchy). In the latter context, $GL(2)$ structures coincide with the characteristic variety (principal symbol) of the hierarchy. Dispersionless hierarchies provide explicit examples of various particularly interesting classes of $GL(2)$ structures studied in the literature. Thus, we obtain torsion-free $GL(2)$ structures of Bryant that appeared in the context of exotic holonomy in dimension four, as well as totally geodesic $GL(2)$ structures of Krynski. The latter, also known as involutive $GL(2)$ structures, possess a compatible affine connection (with torsion) and a two-parameter family of totally geodesic $α$-manifolds (coming from the dispersionless Lax equations), which makes them a natural generalisation of the Einstein-Weyl geometry. Our main result states that involutive $GL(2)$ structures are governed by a dispersionless integrable system. This establishes integrability of the system of Wünschmann conditions.

연구 동기 및 목표

• 해결 공간 위의 GL(2,R) 구조의 자연스러운 근원으로서 분산 없는 통합 PDE 계열을 규명하는 것.
• 이러한 계열의 특성 다각형(주요 기호)이 GL(2,R) 구조와 일치함을 보여주는 것.
• dKP, 유니버설 계열, Adler-Shabat 삼중체와 같은 통합계에서 자연스럽게 인보리셔티브 GL(2,R) 구조가 유도됨을 확립하는 것.
• 완만한 조건 시스템의 일반 국소 해가 3개의 변수에 대한 2n−4개의 임의 함수에 의존함을 보여, 이 조건들의 통합 가능성임을 증명하는 것.
• 이러한 구조들이 호환 가능한 애파인 접속을 갖는다는 것을 보여주며, 이를 통해 4차원에서의 이국적인 호로노미와 연결하는 것.

제안 방법

• PGL(2,R) 작용에 따라 변하는 λ와 함께 다항식 1형식 ω(λ) = ω₀ + λω₁ + ⋯ + λⁿ⁻¹ωₙ₋₁를 이용한 인보리셔티브 GL(2,R) 구조의 매개변수화.
• ω(λ) = 0의 영점 집합을 통해 분산 없는 PDE 계열의 특성 다각형(예: dKP)을 이용해 GL(2,R) 구조를 정의하는 것.
• 자유 해상 기법을 적용하여 인보리셔티브 GL(2,R) 구조의 호환 조건을 유도하고, 이를 형식적으로 통합 가능한 PDE 시스템으로 단순화하는 것.
• GL(2,R) 구조와 호환되는 표준 애파인 접속(비틀림이 있는 경우와 없는 경우)을 구성하는 것, 특히 완전하게 기하학적 이완된 경우와 비틀림이 없는 경우에 중점을 두는 것.
• Lax 표현과 대칭 축소를 이용해 dKP, 유니버설 계열, Adler-Shabat 삼중체에 관련된 접속의 명시적 크리스토펠 기호를 유도하는 것.
• Lax 표현을 활용해 두 개의 매개변수를 가진 완전하게 기하학적 이완된 α-다양체의 가족을 생성하는 것으로, 아인슈타인-웨일 기하학을 일반화하는 것.

실험 결과

연구 질문

• RQ1 분산 없는 통합 계열, 예를 들어 dKP 계열이 그 해의 공간 위에서 어떻게 GL(2,R) 구조를 유도하는가?
• RQ2 분산 없는 PDE 계열의 특성 다각형과 그가 유도하는 GL(2,R) 구조 사이의 정확한 관계는 무엇인가?
• RQ3 인보리셔티브 GL(2,R) 구조는 분산 없는 통합계의 해로 나타날 수 있는가? 만약 그렇다면, 그 기능적 자유도는 무엇인가?
• RQ4 통합계에서 유도된 GL(2,R) 구조는 호환 가능한 애파인 접속을 갖는가? 그 기하학적 성질(예: 비틀림, 호로노미)은 무엇인가?
• RQ5 완만한 조건의 통합 가능성은 Lax 표현과 두 개의 매개변수를 가진 α-다양체의 가족 존재와 어떻게 관련되어 있는가?

주요 결과

• 완만한 조건 시스템—인보리셔티브 GL(2,R) 구조를 정의하는 것—의 일반 국소 해는 3개의 변수에 대한 2n−4개의 임의 함수에 의존하며, 이는 시스템의 통합 가능성임을 증명한다.
• 분산 없는 통합 계열(예: dKP)에서 유도된 인보리셔티브 GL(2,R) 구조는 분산 없는 통합계에 의해 지배됨을 보여준다.
• 비틀림이 없는 브라이언트 유형의 GL(2,R) 구조는 4차원에서 dKP 계열의 특성 다각형으로 자연스럽게 나타난다.
• 크리스티니의 유형의 완전하게 기하학적 이완된 GL(2,R) 구조는 분산 없는 Lax 방정식에서 유도되며, 두 개의 매개변수를 가진 완전하게 기하학적 이완된 α-다양체의 가족을 통해 아인슈타인-웨일 기하학을 일반화한다.
• dKP, 유니버설 계열, Adler-Shabat 삼중체 구조에 대해 호환 가능한 애파인 접속(비틀림이 있는 경우와 없는 경우)의 명시적 공식을 도출하여 기하학적 호환성의 확인을 한다.
• Lax 표현의 존재는 두 개의 매개변수를 가진 완전하게 기하학적 이완된 α-다양체의 가족 존재를 보장하며, 이는 아인슈타인-웨일 구조를 일반화하는 핵심 기하학적 특성이다.