[論文レビュー] Lower bounds for numbers of real solutions in problems of Schubert calculus

E. Mukhin, V. Tarasov|arXiv (Cornell University)|Apr 28, 2014

Advanced Combinatorial Mathematics参考文献 12被引用数 5

ひとこと要約

この論文は、グレイスマン数 Gr(n,d) 上のシューベルト計算問題における接するフラッグを含む場合の実解の数の新しい下界を確立した。これは、高次ガウディンハミルトニアンに関連する不定なヘルミート形式の符号数を分析することによって得られた。この手法は gl_n の表現論と対称群の特徴指標に基づいており、多くの場合、特に従来の手法が失敗する場合でも鋭い下界をもたらす。

ABSTRACT

We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.

研究の動機と目的

• Gr(n,d) 上の接するフラッグを含むシューベルト計算問題における実解の数の一般の下界を確立すること。
• 従来の手法ではパラメータの実点の数を考慮できない、あるいは特殊な場合にしか適用できないというギャップを埋めること。
• ガウディンモデルから生じる非退化なヘルミート形式の符号数に基づく、計算可能な表現論的手法を提供すること。
• トポロジー的または偶奇性に基づく手法が 0 や自明な結果を与える場合に、特にそのような場合に特化して、対称群の特徴指標論を用いて既存の下界を改善すること。

提案手法

• 著者たちは、シューベルト問題の解を、gl_n-加群のテンソル積に作用する高次ガウディンハミルトニアンの固有値に同定する。
• パラメータ z_i がすべて実数でないが、複素共役に関して不変な集合を形成するとき、ガウディンハミルトニアンは不確定なヘルミート形式に関して自己随伴である。
• 実固有値の数は、この形式の符号数の絶対値によって下から抑えられ、その符号数は対称群の特徴指標論によって計算される。
• 符号数は、対称群の積の積に、互いに可換な互換の積を作用させるような、フロベニウスの公式に類似した公式を用いて評価される。
• この手法は任意の分岐条件と分割に適用可能であり、1-ボックスまたは対称的分割を要請していた先行研究を一般化する。
• 得られた下界は明示的に計算され、多数のテストケースにおいて既知の下界と一致またはそれを上回ることが示された。これには、広範なコンピュータデータも含まれる。

実験結果

リサーチクエスチョン

• RQ1 パラメータ z_i がすべて実数でないが、複素共役に関して閉じているとき、Gr(n,d) 上のシューベルト問題における接するフラッグを含む場合に、実解の最小数は何か？
• RQ2 ガウディンモデルに基づく表現論的手法は、一般のシューベルト問題における実解の非自明な下界をもたらすことができるか？
• RQ3 ガウディンモデル上の不確定なヘルミート形式の符号数は、これらの問題における実解の数とどのように関係するか？
• RQ4 新しい下界は、トポロジー的次数や偶奇性に基づく推定値と比較して、どのような場合に改善されたり一致したりするか？
• RQ5 計算された下界は、特定のシューベルト問題についてのコンピュータ生成データとどの程度一致するか？

主な発見

• Gr(3,8) において、新しい下界は c=0 から 7 に対してそれぞれ a=6006, 858, 198, 42, 6, 10, 10, 70 を与え、実ワロンスキー写像が全射であることを示している。
• Gr(3,9) で k=18 の場合、c=0 から 5 に対して新しい下界はトポロジー的下界を上回り、c=6,7 では一致する。
• n=2 かつ奇数の m=2s−1 の場合、下界は鋭い値 (2s)!/(s!(s+1)!) と一致し、この場合での最適性を確認している。
• 11 個のテストケースのうち 10 個で [HHS] のコンピュータデータと一致し、Gr(4,8) で c=1 の場合にのみ一貫性のない差が観察された。
• ν=(k−n,…,k−n) のベクトルシューベルト問題において、n=3, k=14 の c=1 の場合、新しい下界は 54 であり、鋭い下界 56 よりも小さい。
• 対称的シューベルト問題では、∑|λ_{2i}| が奇数である場合に特に、下界が鋭くないことがあるため、対称的状況における限界が示唆される。