[論文レビュー] Linear Congruences and hyperbolic Systems of conservation Laws

Pietro De Poi, Emilia Mezzetti|ArXiv.org|Apr 2, 2005

Polynomial and algebraic computation参考文献 17被引用数 3

ひとこと要約

本稿は、アガフォノフ＝エラポントフの構成を用いて、$ℝ^5$ 内の直線の線型合同関係を分類し、4変数の$T$-系と対応づける。焦点的包絡線は、立方曲面の上にねじれるときの滑らかまたは特異なスクロールであるパラティーニ3次元多様体であると特定し、双対グラスマンニアンおよび特異点集合の幾何的性質に基づく分類のスケッチを提示し、4変数のテンプル系の分類の基盤を提供する。

ABSTRACT

S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular hyperbolic systems of Temple class correspond to congruences of lines that place in planar pencils of lines. The language of Algebraic Geometry turns out to be very natural in the study of these systems. In this article, after recalling the definition and the basic facts on congruences of lines, Agafonov-Ferapontov's construction is illustrated and some results of classification for Temple systems are presented. In particular, we obtain the classification of linear congruences in $\mathbb{P}^5$, which correspond to some classes of $T$-systems in 4 variables.

研究の動機と目的

• 線形合同関係の体系的分類を$ℝ^5$ で開始すること、これは超曲線保存則の研究において未分類であったケースである。
• アガフォノフ＝エラポントフの構成を用いて、そのような合同関係と4変数の$T$-系との対応関係を確立すること。
• 焦点的包絡線の幾何的性質、特にパラティーニ3次元多様体の性質を分析し、双対グラスマンニアン$ℝ(1,5)$ に対する双対$3$次元空間$\check{\Delta}$ の特別な位置関係に起因する特異点を検討すること。
• 立方曲面$S$ の種類とその$ℝ(1,5)$ への埋め込みに基づく分類のスケッチを提示すること。特異点が孤立している場合、二重直線、または可約成分を含む場合を含む。
• 代数幾何学的手法を用いて、4変数の$T$-系の完全な分類の基盤を築くこと。

提案手法

• プラüッカー埋め込みを用いて、グラスマンニアン$ℝ(1,5)$ を$ℝ^{14}$ 内の3次超曲面として実現し、双対$\check{\mathbb{G}}(1,5)$ をパフィアン超曲面とする。
• 線型合同関係は、$ℝ^5$ 内で$ℝ(1,5) \cap \Delta$ と定義され、$\Delta$ は10次元線型部分空間であり、その双対$\check{\Delta}$ は$\check{\mathbb{G}}(1,5)$ との交差を介して分析される。
• 合同関係の焦点的包絡線$F$ は、基本的包絡線への割線の和集合として分析され、$F$ が滑らかであるとき、パラティーニ3次元多様体となる。$S$ に特異点がある場合、$F$ は特異的となる。
• 分類は、立方曲面$S = \check{\Delta} \cap \check{\mathbb{G}}(1,5)$ の幾何的性質に基づく。$S$ が滑らか、孤立特異点を持つ、立方錐である、または二重直線を持つねじれ曲面である場合を含む。
• 特に、$\check{\Delta}$ が$\check{\mathbb{G}}(1,5)$ に点または直線に沿って接する場合に注目し、その結果として線形または二次曲面成分を有する焦点的包絡線が得られることを検討する。
• 本稿は、定秩4の$6\times6$歪対称行列の分類を用いて、可約または特異な$S$ に起因する合同関係を記述し、特に寄生的成分が生じる場合を特に分析する。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^5$ 内の直線の線型合同関係は、高次元における完全分類が存在しないにもかかわらず、同型の意味でどのように分類可能か？
• RQ2 線型合同関係の焦点的包絡線の幾何的構造は何か？また、立方曲面$S$ の種類に応じてどのように変化するか？
• RQ3 立方曲面$S$ に起因する特異点（孤立した二重点や二重直線など）は、関連するパラティーニ3次元多様体および対応する$T$-系の構造にどのように影響するか？
• RQ4 双対$3$次元空間$\check{\Delta}$ が、平面、二次曲面錐、または寄生的直線などの非可約成分を有する焦点的包絡線をもたらす条件は何か？
• RQ5 4変数の$T$-系の分類は、$ℝ^5$ 内の線型合同関係の分類から体系的に導出可能か？

主な発見

• 線型合同関係は、アガフォノフ＝エラポントフの構成を介して、4変数の$T$-系と対応づけられ、焦点的包絡線はパラティーニ3次元多様体である。
• 立方曲面$S = \check{\Delta} \cap \check{\mathbb{G}}(1,5)$ が滑らかであるとき、焦点的包絡線は滑らかなパラティーニスクロールとなり、$S$ の上にねじれるとき、次元$4 + 5 = 9$ の非自明なモジュライ空間を持つ。
• もし$S$ が$ℝ(3,5)$ に存在しない孤立特異点$P_i$ を持つならば、焦点的包絡線はその点で特異的となり、$3$次元空間$\pi_{P_i}$ は焦点的包絡線の非可約成分となる。
• もし$S$ が立方錐または二重直線を持つねじれ曲面であるならば、焦点的包絡線はそれぞれ直線または二次曲面錐に沿って特異的となり、この種の合同関係は$\check{\Delta}$ が$\check{\mathbb{G}}(1,5)$ に直線または点に沿って接する場合に生じる。
• もし$S$ が可約である場合、例えば$\pi \cup Q$ や$C(\mathcal{V}) \cup T$ のように、焦点的包絡線には寄生的成分（直線や曲線）が含まれ、この合同関係は両方の成分と交わる割線から成る。
• 分類は、立方曲面のモジュライおよびその埋め込みの複雑さのため、概ねスケッチ的である。$ℂ$ 上での完全分類はすでに複雑であり、実数上の分類はさらなる精錬を要する。