[論文レビュー] Consequences of the Lakshmibai-Sandhya Theorem: the ubiquity of permutation patterns in Schubert calculus and related geometry

Hiraku Abe, Sara Billey|arXiv (Cornell University)|Mar 18, 2014

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

ひとこと要約

この論文は、パーミュテーションのパターン回避によって滑らかさを特徴付けるラクシュミバイ＝サンダヤの定理がシューベルト多様体に与える広範な影響を調査する。多数の幾何学的・組合せ論的性質—例えばゴレンシュタイン、因子的、局所的完遂交差条件—がパターン回避によって完全に特徴付けられることを示し、これにより線形時間アルゴリズムが効率的に実行可能となり、テンナのパーミュテーションパターン回避データベースを通じて統合的かつ一元的なアクセスが可能になる。

ABSTRACT

In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$ ext{ü}$tzenberger also used pattern avoidance to characterize vexillary permutations in the 1980's. Now, there are many geometrical properties of Schubert varieties that use pattern avoidance as a method for characterization including Gorenstein, factorial, local complete intersections, and properties of Kazhdan-Lusztig polynomials. These are what we call consequences of the Lakshmibai-Sandhya theorem. We survey the many beautiful results, generalizations, and remaining open problems in this area. We highlight the advantages of using pattern avoidance characterizations in terms of linear time algorithms and the ease of access to the literature via Tenner's Database of Permutation Pattern Avoidance. This survey is based on lectures by the second author at Osaka, Japan 2012 for the Summer School of the Mathematical Society of Japan based on the topic of Schubert calculus.

研究の動機と目的

• シューベルト計算および関連する幾何学におけるラクシュミバイ＝サンダヤの定理の広範な結果をサーベイすること。
• パターン回避がシューベルト多様体の主要な幾何学的性質を統一的に特徴付けるフレームワークをどのように提供するかを強調すること。
• パターンに基づく特徴付けによる計算的利点—特に線形時間アルゴリズムとデータベース統合—を強調すること。
• パターン回避に関するシューベルト多様体および関連代数的構造の未解決問題と今後の方向性を提示すること。
• 対称群を超えて他のコクセター群や幾何的族へパターン回避技法を拡張すること。

提案手法

• 滑らかなシューベルト多様体を321パターンの回避によって特徴付けるラクシュミバイ＝サンダヤの定理を基盤として用いる。
• パターン回避技法を用いて、ゴレンシュタイン、因子的、局所的完遂交差条件など、シューベルト多様体の10種類の異なる幾何学的性質を特徴付ける。
• 複数のパターン回避性質を記述する統一的な言語としてマークドメッシュパターンを導入する。
• ギルモットとマルクスのパーミュテーションパターン包含の線形時間アルゴリズム（$O(n)$）を活用し、従来$O(n^k)$のブルートフォース検査が必要だった幾何学的性質の計算を効率化する。
• パーミュテーションパターン回避データベース（DPPA）を用いて、新しい結果をパターンベースのフィンガープrintを通じて既存の文献とリンクする。
• パターン回避の概念を他のコクセター群へ拡張し、より広範な幾何的応用を探索する。

実験結果

リサーチクエスチョン

• RQ1 どのシューベルト多様体の幾何学的性質がパーミュテーションのパターン回避によって完全に特徴付けられるか？
• RQ2 ゴレンシュタイン、LCI、因子的の各領域が有限個のパターン集合によって記述可能か？
• RQ3 なぜこのような複雑な幾何学的性質を特徴付けるために有限個のパターンで十分なのか？
• RQ4 対称群や他のタイプにおけるゴレンシュタイン、因子的、滑らかなパーミュテーションの個数を数える生成関数は存在するか？
• RQ5 パターンに基づく特徴付けを、$GL_p \times GL_q$-軌道閉包やペテルソン多様体などの他の多様体へ拡張可能か？

主な発見

• ラクシュミバイ＝サンダヤの定理は、シューベルト多様体の幾何学的性質—321パターンの回避による滑らかさ—を特徴付けるためにパターン回避を初めて用いた。
• ゴレンシュタイン、因子的、局所的完遂交差など、10種類の異なるシューベルト多様体の幾何学的性質が、パターン回避またはその変種によって完全に特徴付けられる。
• ギルモットとマルクスのパーミュテーションパターン包含の線形時間アルゴリズム（$O(n)$）により、従来$O(n^k)$のブルートフォースチェックが必要だった幾何学的性質の計算が、効率的に可能になった。
• マークドメッシュパターンは、滑らかさ、ゴレンシュタイン、321ヘキサゴン回避といった複数の性質を統一的に記述でき、強力な新しい形式的体系を提供する。
• テンナのパーミュテーションパターン回避データベース（DPPA）は、検索可能で言語に依存しないリソースであり、パターンフィンガープリントを通じて新しい定理と既存の文献をリンクする。
• いくつかの未解決問題が残っており、特にカジダン＝ルシュティグ多様体や多重度$k$のシューベルト多様体の有限パターン特徴付けが含まれる。一部の予想（例：多重度≤2）は、より深いパターンに基づく構造を示唆している。