[論文レビュー] Factorial P- and Q-Schur functions represent equivariant quantum Schubert classes

Takeshi Ikeda, Leonardo C. Mihalcea+1 more|Osaka City University (Osaka City University)|Feb 4, 2014

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

ひとこと要約

本稿では、タイプB、C、Dの最大同相的グレイスマンニアンの等変量子コホモロジー環について、生成子と関係式による表示を提示し、ファクタリアルP-およびQ-シュール関数をシューベルト類の多項式代表として同定する。主な結果は、等変コホモロジーの場合に用いられる同じパフィアン公式が、量子変形なしに量子シューベルト類を表すことができることであり、これはギアムベリの公式を量子設定に拡張するものである。

ABSTRACT

We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.

研究の動機と目的

• 最大同相的グレイスマンニアンのタイプB、C、Dにおける等変量子コホモロジー環の生成子と関係式による表示を提供すること。
• シューベルト類の多項式代表を同定することで、等変量子コホモロジー設定におけるギアムベリ問題を解決すること。
• 等変コホモロジーで以前に用いられた、ファクタリアルP-およびQ-シュール関数からの同じパフィアン公式が、q-変形なしに量子シューベルト類を表すことを示すこと。
• 等変コホモロジーに特殊化した場合に、得られた表示および公式が、標準的バンドルのチャーン類の観点からどのように解釈されるかを示すこと。
• 対称関数からの組合せ的道具を用いて、等変コホモロジーの既知の結果を量子コホモロジー設定に拡張すること。

提案手法

• 等変量子コホモロジー環におけるシューベルト類の多項式代表として、ファクタリアルP-およびQ-シュール関数 $P_{\nu}(x|t)$ と $Q_{\nu}(x|t)$ の使用。
• イヴァノフのファクタリアルシュール関数理論に由来する既知の恒等式を活用し、これらの関数をパフィアン公式で表現する。
• ファクタリアルシュール関数をシューベルト類へ写像する環準同型 $\pi_n: \mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$ の確立。
• 標準的バンドル $\mathcal{V}, \mathcal{Z}_k, \mathcal{L}$ 及びその双対のチャーン類を用いて、コホモロジー環における幾何的関係を導出する。
• 次数解析と torsion-free 性を用いてコホモロジー環における二次関係を証明し、それらを多項式環へ上昇させること。
• 逆極限技術と写像 $\mathbb{Z}[t] \otimes \Gamma' \to \varprojlim_n H_T^*(\mathrm{OG}(n))$ の単射性を用いて、関係を普遍的設定へ上昇させること。

実験結果

リサーチクエスチョン

• RQ1 タイプB、C、Dの最大同相的グレイスマンニアンの等変量子コホモロジー環に対して、生成子と関係式による表示を見つけることができるか？
• RQ2 等変コホモロジーのシューベルト類に用いられた同じパフィアン公式が、量子コホモロジー環におけるシューベルト類を表すことができるか？
• RQ3 標準的バンドルのチャーン類は、等変量子コホモロジー環の構造とどのように関係しているか？
• RQ4 この設定におけるチャーン類が満たす二次関係の幾何的・代数的起源は何か？
• RQ5 q-変形なしに、ファクタリアルP-およびQ-シュール関数を用いて、等変量子シューベルト類のギアムベリの公式を表現できるか？

主な発見

• 最大同相的グレイスマンニアン $\mathcal{G}_n$（タイプB、C、D）の等変量子コホモロジー環 $QH_T^*(\mathcal{G}_n)$ は、生成子 $c_i^{(k)}$ とパフィアン恒等式から導かれる関係式による表示を持つ。
• ファクタリアル $P$-および $Q$-シュール関数 $P_{\nu}(x|t)$ と $Q_{\nu}(x|t)$ は、$QH_T^*(\mathcal{G}_n)$ 内のシューベルト類 $\sigma_\nu$ の多項式代表を提供し、$q$-変形は不要である。
• 等変コホモロジーでシューベルト類を表すのにも用いられた同じパフィアン公式が、量子コホモロジー環においてもシューベルト類を表すことができ、これは量子パラメータ $q$ があるにもかかわらず非自明な結果である。
• $(c_k^{(k)})^2 + c_k^T(\mathcal{Z}_k)c_k^{(k)} + \sum_{i=1}^k (-1)^i c_{k-i}^T(\mathcal{V}^* - \mathcal{L} + \mathcal{Z}_k)c_{k+i}^{(k)} = 0$ のようなコホモロジー環内の関係は、チャーン類の恒等式と torsion-free 性から幾何的に導出される。
• $c_i^{(i)}$ は $1 \leq i \leq n$ に対してシューベルト類 $\sigma_i$ に等しく、$i > n$ では消える。これは幾何的退化局所化公式と整合的であることを確認する。
• $\pi_n$ を通じる $\mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$ の同型写像は、ファクタリアルシュール関数をシューベルト類へ写像し、この構造は逆極限へ上昇し、関係の安定性を保証する。