ペーターソン理論をシューベルト多様体へ拡張する「ペーターソン計画」を提案
この論文は、旗多様体の量子コホモロジーを扱ったデール・ペーターソンの理論を、より一般的なシューベルト多様体へ拡張することを目指す「ペーターソン計画」を始めます。著者らはまず、ラングランズ双対の完全旗多様体の中に入る「一般化ペーターソン多様体」という新しいアフィン標的を定義します。さらに、リー理論に基づく「スーパー ポテンシャル」(ランドン=ギンズバーグ型の関数)を構成し、その相対的臨界点集合が一般化ペーターソン多様体を再現することを示します。要点は、幾何学的対象と鏡像(ミラー)としての関数が対応するということです。
研究で行った具体的作業は次のとおりです。まず、位相的・代数的に重要な二つの「トーラス」(ピカール群に対応するピカール・トーラスと、約数類に対応するトーラス)を用意しました。各シューベルト多様体に対して、開リチャードソン多様体の部分集合として一般化された(開)ペーターソン多様体を定義します。また、ピカール・ペーターソン(あるいはペーターソン–トープリッツ)多様体を定義し、そこに置かれる二つの明示的な正則関数(スーパー ポテンシャル)を導入しました。論文はこれらの構成が常に整合すること、特にある自然な写像列の一部が同型になることを示しており、これによって論文の「ステージ1」が成立したと主張します。
なぜ重要かというと、これらの構成は量子コホモロジー(古典的コホモロジーに曲線数え上げ情報=ゲロフ=ウィッテン不変量を加えた代数)と鏡像対称性を結びつける可能性があるためです。著者らは主要な予想として、シューベルト多様体が「スムーズでファノ」な場合には、一般化ペーターソン多様体の座標環が量子コホモロジー環(量子パラメーターで局所化したもの)を再現すると述べています。さらに、旗多様体内の特定の場合には、この多様体を最大トーラスの余接束へ写し込み、部分的なコンパクト化を作ることで完全な量子コホモロジー環をモデル化できるだろう、という予想も示しています。これは既知のGivental–Kimの記述に類似した提案です。
提案を支持する具体的な証拠も示されています。すべてのスムーズなシューベルト除子(次元を一つ下げる部分多様体)について、上述の予想は検証されました。また、Grassmann多様体に対しては、既に知られるRietsch–Williamsのスーパー ポテンシャルと一致することが示されます。小さなランクのトーリック(トーラス作用をもつ)シューベルト多様体の場合には、GiventalやHori–Vafaで知られたトーリックスーパー ポテンシャルを回復する計算結果も報告されています。論文にはタイプAのシューベルト曲面の例や、非ファノのHirzebruch面に対応する例も含まれています。
重要な制約と不確実性も明確にされています。まず「一般化ペーターソン多様体」は場合によって非還元(非reduced)なアフィンスキームになり得ます。さらに、量子コホモロジーと座標環が一致するという主要な主張は一般には証明されておらず、スムーズでファノな場合に対する「予想」として提示されています。論文は「ステージ1」(構成と鏡像的解釈)の大部分を確立しますが、ステージ2(量子コホモロジーの完全な同一視やより一般的な性質の解明)は今後の研究課題として残ります。また、鏡像対称性の扱いは非ファノや特異なシューベルト多様体では微妙であり、その場合の理論はまだ整備途上です。