[論文レビュー] Integrable systems in 4D associated with sixfolds in Gr(4,6)

Boris Doubrov, Eugene Ferapontov+2 more|arXiv (Cornell University)|May 18, 2017

Geometry and complex manifolds参考文献 24被引用数 6

ひとこと要約

本稿は、グレイスマン数 Gr(4,6) における六重体から生じる4次元分散なし可積分系を分類し、可積分性がすべての解において誘導された計量構造が自己双対であることと同値であることを示している。これらの系は2つのクラスに分けられる：Monge-Ampère型（プラüッカー埋め込みの線形切断）と一般線形的退化系（ℙ⁶ からの二次写像の像）。両方のクラスとも超ハミルトニアン幾何を生じ、分散なしラクス対を有する。

ABSTRACT

Let $Gr(d,n)$ be the Grassmannian of $d$-dimensional linear subspaces of an $n$-dimensional vector space $V$. A submanifold $X\subset Gr(d, n)$ gives rise to a differential system $Σ(X)$ that governs $d$-dimensional submanifolds of $V$ whose Gaussian image is contained in $X$. We investigate a special case of this construction where $X$ is a sixfold in $Gr(4, 6)$. The corresponding system $Σ(X)$ reduces to a pair of first-order PDEs for 2 functions of 4 independent variables. Equations of this type arise in self-dual Ricci-flat geometry. Our main result is a complete description of integrable systems $Σ(X)$. These naturally fall into two subclasses. (1) Systems of Monge-Ampère type. The corresponding sixfolds $X$ are codimension 2 linear sections of the Plücker embedding $Gr(4,6)\subset\mathbb{P}^{14}$. (2) General linearly degenerate systems. The corresponding sixfolds $X$ are the images of quadratic maps $\mathbb{P}^6- Gr(4, 6)$ given by a version of the classical construction of Chasles. We prove that integrability is equivalent to the requirement that the characteristic variety of system $Σ(X)$ gives rise to a conformal structure which is self-dual on every solution. In fact, all solutions carry hyper-Hermitian geometry.

研究の動機と目的

• Gr(4,6) における六重体から生じる4つの独立変数をもつ非退化可積分一階偏微分方程式系をすべて分類すること。
• このような系が可積分であるための幾何的条件を特定すること、特に誘導された計量構造の自己双対性に注目すること。
• 可積分系とGr(4,6) の代数的部分多様体（特に線形切断および二次写像の像）との対応関係を確立すること。
• 可積分性がすべての解において超ハミルトニアン幾何と分散なしラクス対の存在を意味することを証明すること。
• Gr(4,7) における類似の結果を予想し、3成分系への分類の拡張を試みること。

提案手法

• Gr(4,6) に含まれる部分多様体 X ⊂ Gr(4,6) が、6次元空間内の4次元部分多様体の接平面が指定された微分系 Σ(X) を定義する幾何的構成を用いる。
• Σ(X) の特徴的多様体を分析し、計量構造 gij を定義し、可積分性がすべての解においてこの構造が自己双対であることと同値であることを証明する。
• 等価群 SL(6) を用いて、射影的同値性の下で系を分類し、問題を標準形に還元する。
• 延長技法と線形的退化の理論を用いて、系の構造とその流体還元の性質を分析する。
• 解と零測地的完全平面（α-表面）との対応関係を用い、可積分性をペネロウの自己双対性定理と結びつける。
• プラüッカー埋め込みを用いて、Monge-Ampère系を ℙ¹⁴ 内のGr(4,6) のcodimension-2線形切断として特定し、一般線形的退化系のための二次写像 ℙ⁶ ⇢ Gr(4,6) を構成する。

実験結果

リサーチクエスチョン

• RQ1 六重体 X ⊂ Gr(4,6) が、関連する系 Σ(X) を可積分にするために必要な十分な幾何的条件は何か？
• RQ2 Monge-Ampère型と線形的退化系という2つの可積分系クラスは、Gr(4,6) の代数的部分多様体としてどのようにして生じるか？
• RQ3 Σ(X) が誘導する計量構造の自己双対性が可積分性と同値である理由は何か？
• RQ4 分散なしラクス対の存在を、グレイスマン数埋め込みの観点から幾何的に特徴づけることは可能か？
• RQ5 流体還元と三重点三重曲面は、Gr(4,6) 内の可積分六重体を特徴付ける上で果たす役割は何か？

主な発見

• Gr(4,6) における六重体に関連する非退化可積分系は、すべてMonge-Ampère型（プラüッカー埋め込みのcodimension-2線形切断）または一般線形的退化系（ℙ⁶ ⇢ Gr(4,6) の二次写像の像）に分類される。
• 可積分性は、すべての解において誘導された計量構造が自己双対であることと同値であり、これに伴い超ハミルトニアン構造が存在する。
• Σ(X) の特徴的多様体が定める計量構造は、すべての解において半平坦（*W = ±W）であり、自己双対性が裏付けられる。
• すべての可積分系は、スペクトルパラメータを有する分散なしラクス対を有し、幾何的には対応空間上の2次元分布とα-表面に対応する。
• X の射影的接バンドルには、4次数の有理正規スクリューの場が存在し、可積分性は、このスクリューと3点で交わる無限個のホロノミック三重点三重曲面の存在と同値である。
• 分類は完全である：上記2つのクラス以外のGr(4,6) 内の六重体は、可積分系を生じさせない。